בסיס (אלגברה)

מתוך ויקיפדיה, האנציקלופדיה החופשית

באלגברה לינארית, קבוצה של וקטורים במרחב וקטורי נקראת בסיס אם אפשר להציג כל איבר של המרחב כצירוף לינארי של הווקטורים שלה, באופן יחיד. לכל מרחב וקטורי יש בסיס, ולכל שני בסיסים של מרחב וקטורי יש אותו גודל, הנקרא ממד. לבסיסים חשיבות עקרונית באלגברה לינארית, בכך שבסיס קובע לכל וקטור, וקטור קואורדינטות. לפיכך, בחירה של בסיס מאפשרת 'לממש' עצמים מופשטים המתייחסים למרחב (כגון העתקה לינארית) על-ידי מבנים קונקרטיים (כגון מטריצה).

אפשר לאפיין בסיס כקבוצה פורשת מינימלית, כלומר כזו שאם מסירים ממנה ולו וקטור אחד, היא כבר אינה פורשת; או, באופן שקול, כקבוצה בלתי תלויה מקסימלית, כלומר כזו שאם יוסיפו לה ולו וקטור אחד היא תפסיק להיות בלתי תלויה.

בסיס יכול להיות סופי, או אין-סופי. אם במרחב יש קבוצה פורשת סופית, אז הוא בעל בסיס סופי (ולכן גם ממד סופי). ההוכחה לכך שלכל מרחב וקטורי יש בסיס מסתמכת על הלמה של צורן, וממילא תוצאה זו דורשת את אקסיומת הבחירה.

נהוג לכנות בסיס אלגברי גם בשם בסיס המל, בעיקר בהקשר של מרחב מממד אינסופי (ולעיתים אף לא בר מנייה).

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


תוכן עניינים

[עריכה] משפטים מרכזיים

התוצאה היסודית על בסיסים היא צמד המאפיינים שצוטטו בפתיחה. כדי לפתח את הנושא ללא הנחות מוקדמות, יש להוכיח כצעד ראשון שאם B קבוצה בלתי תלויה מקסימלית ו- C קבוצה פורשת מינימלית, אז \ |C|\leq |B| (למשל באינדוקציה על גודל החיתוך של B,C ושימוש בלמת ההחלפה של שטייניץ). לאחר מכן אפשר להוכיח שאם D גם היא קבוצה בלתי תלויה, אז \ |D|\leq |B|. מכאן נובע מיד שלכל שתי קבוצות בלתי-תלויות מקסימליות יש אותו גודל. מכאן אפשר להמשיך כך:

משפט. התכונות הבאות שקולות עבור קבוצה A של וקטורים:

  • הקבוצה בלתי-תלויה מקסימלית.
  • הקבוצה פורשת מינימלית.
  • הקבוצה פורשת ובלתי תלויה.

משפט. נניח שלמרחב V יש בסיס בגודל n. אז התכונות הבאות שקולות עבור קבוצה A:

  • A בלתי תלויה מקסימלית.
  • A פורשת מינימלית.
  • A בסיס.
  • A בלתי תלויה וגודלה \ n\leq.
  • A בלתי תלויה וגודלה \ n=.
  • A פורשת וגודלה \ n \geq.
  • A פורשת וגודלה \ n =.

כאשר n סופי אומרים של-V יש מימד n, ולפי המשפט n יחיד.

תכונה חשובה נוספת: כל קבוצה בלתי תלויה אפשר להשלים לבסיס (ובאופן דואלי, מכל קבוצה פורשת סופית אפשר 'לזרוק' וקטורים עד שתהפוך להיות בסיס).

טענה. העמודות של מטריצה ריבועית מעל שדה F מהוות בסיס למרחב \ F^n אם ורק אם הדטרמיננטה שלה שונה מאפס.

מסקנה. עבור מרחב וקטורי ממימד סופי n, השימוש בדטרמיננטה היא דרך חישובית ישירה לקביעה האם קבוצה של n וקטורים היא בסיס.

משפט. כשמגדירים טרנספורמציה לינארית על המרחב, די לקבוע מה תהיה פעולתה על אברי הבסיס כדי לקבוע חד משמעית כיצד תפעל על כל אברי המרחב. זו הסיבה לכך שניתן לייצג טרנספורמציות באמצעות מטריצות (הייצוג תלוי בבסיס שאיתו עובדים).

[עריכה] דוגמה

[עריכה] הבסיס הסטנדרטי

יהא \ V=\mathbb{R}^n, אז הקבוצה של וקטורי היחידה \ e_1=(1,0,\dots,0),e_2=(0,1,\dots,0),\dots,e_n=(0,0,\dots,1) היא בסיס למרחב \ V. זאת כי היא מכילה בדיוק \ n וקטורים, והיא פורשת את \ V: אם \ a=(a_1,\dots,a_n)\isin V אז \ \sum_{i=1}^n a_ie_i=a.

זהו מקרה פרטי של בסיס אורתונורמלי.

[עריכה] דוגמאות מספריות

  • במרחב \mathbb{R}^2 הבסיס הסטנדרטי הוא { (1,0) , (0,1) } .
  • במרחב \mathbb{R}^2 הקבוצה { (1,1) , (1, 1-) } היא בסיס.
  • במרחב \mathbb{R}^2 הקבוצה { (0,0) ,(1,1) , (1, 1-) } איננה בסיס, זאת מאחר שהווקטור (0,0) תלוי לינארית ב-2 הווקטורים האחרים.
  • במרחב הילברט \ L_2[-\pi,\pi] קבוצת הפונקציות \left\{ \hat{e_n} = \frac{e^{inx}}{\sqrt{2 \pi}} \right\}_{n = -\infty}^{\infty} מהווה מערכת אורתונורמלית שלמה, שכן \ \lang \hat{e_n} , \hat{e_m} \rang = \delta_{m,n}. להרחבה, ראו: טור פורייה.

[עריכה] ראו עוד


נושאים באלגברה לינארית

מרחב וקטורי | וקטור | תלות לינארית | צירוף לינארי | קבוצה פורשת | בסיס | קואורדינטות | מרחב מכפלה פנימית | מטריצה | כפל מטריצות | מטריצה משוחלפת | דטרמיננטה | מטריצה מצורפת | טרנספורמציה לינארית | טרנספורמציה נורמלית | משוואה לינארית | דמיון מטריצות | ערך עצמי | פולינום אופייני | לכסון מטריצות | צורת ז'ורדן | אורתוגונליות | תבנית בילינארית | מכפלה סקלרית | מכפלה וקטורית | אופרטור הרמיטי | יוניטריות | מרחב הילברט | טנזור