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

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


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


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



== משפטים מרכזיים ==
== משפטים מרכזיים ==

גרסה מ־21:28, 7 באפריל 2012

מערכות צירים וקואורדינטות
מערכות צירים נפוצות
ראו גם

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

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

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

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

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

משפטים מרכזיים

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

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

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

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

  • A בלתי תלויה מקסימלית.
  • A פורשת מינימלית.
  • A בסיס.
  • A בלתי תלויה וגודלה .
  • A בלתי תלויה וגודלה .
  • A פורשת וגודלה .
  • A פורשת וגודלה .

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

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

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

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

דוגמה

הבסיס הסטנדרטי

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

  • הבסיס הסטנדרטי של מרחב וקטורי כולל את וקטורי היחידה

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

  • הבסיס הסטנדרטי של מרחב המטריצות מורכב מ"מטריצות יחידה", שהן המטריצות עם אפס בכל רכיב, פרט ל- 1 במקום ה- (i,j).
  • הבסיס הסטנדרטי של מרחב הפולינומים כולל את הווקטורים .

דוגמאות מספריות

  • במרחב הבסיס הסטנדרטי הוא { (1,0) , (0,1) } .
  • במרחב הקבוצה { (1,1) , (1, 1-) } היא בסיס.
  • במרחב הקבוצה { (2,3) ,(1,1) , (1, 1-) } איננה בסיס, זאת מאחר שכל ווקטור בה תלוי לינארית בשניים האחרים. למעשה, כל קבוצה של 3 ווקטורים ב תהייה תלויה לינארית, וזו בעצם משמעותה של הטענה כי הוא מרחב מממד 2.
  • בכל מרחב וקטורי, כל קבוצה המכילה את ווקטור האפס אינה יכולה להיות בסיס, כי וקטור האפס תמיד ניתן לייצוג כצירוף לינארי (כשכל המקדמים הם 0) של כל קבוצה של וקטורים.
  • במרחב הילברט קבוצת הפונקציות מהווה מערכת אורתונורמלית שלמה, שכן . להרחבה, ראו: טור פורייה.

ראו גם