בסיס (אלגברה) – הבדלי גרסאות

נוספו 2 בתים ,  לפני שנתיים
אין תקציר עריכה
מ (הוספת {{תב|ויקישיתוף בשורה}} בקישורים חיצוניים במידה וחסר (תג))
אין תקציר עריכה
 
לכל מרחב וקטורי יש בסיס, ומספר הווקטורים שבבסיס מוגדר באופן חד-משמעי, והוא נקרא '''[[ממד (אלגברה ליניארית)|ממד]]'''. לבסיסים חשיבות עקרונית באלגברה ליניארית, בכך שבסיס קובע לכל וקטור את [[וקטור קואורדינטות|וקטור הקואורדינטות]] המתאים לו. לפיכך, בחירה של בסיס מאפשרת 'לממש' עצמים מופשטים המתייחסים למרחב (כגון [[העתקה ליניארית]]) על ידי מבנים קונקרטיים (כגון [[מטריצה]]).
 
בסיס יכול להיות סופי, או אין-סופי. אם במרחב יש קבוצה פורשת סופית, אז הוא בעל בסיס סופי (ולכן גם ממד סופי). ההוכחה לכך שלכל מרחב וקטורי יש בסיס מסתמכת על [[הלמה של צורן]], וממילא תוצאה זו דורשת את [[אקסיומת הבחירה]]. בסיס שהווקטורים בו מופיעים בסדר מסוים נקרא '''בסיס סדור'''. פעמים רבות כשמתייחסים לבסיס מניחים שהוא אכן סדור בסדר שרירותי כלשהו.
 
בסיס שהווקטורים בו מופיעים בסדר מסוים נקרא '''בסיס סדור'''. פעמים רבות כשמתייחסים לבסיס מניחים שהוא אכן סדור בסדר שרירותי כלשהו.
 
ב[[מרחב נורמי|מרחבים נורמיים]] יש משמעות להתכנסות של טור, ואז אפשר להגדיר 'בסיס טופולוגי': זוהי קבוצת איברים שאפשר להציג כל וקטור במרחב באופן יחיד כ[[צירוף ליניארי]] (לאו דווקא סופי) של איבריה. בסיס טופולוגי בדרך כלל אינו בסיס במובן הרגיל (משום שהוא אינו פורש במובן הסופי), ובסיס בדרך כלל אינו מהווה בסיס טופולוגי (משום שנוצרות בו תלויות ליניאריות במובן של טורים).
משתמש אלמוני