לדלג לתוכן

אלגברה לינארית/השלמת קבוצה בת"ל כך שתפרוש את המרחב

מתוך ויקיספר, אוסף הספרים והמדריכים החופשי

השלמה לבסיס

[עריכה]

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


מסקנה: כל קבוצה בת"ל של איברים מ ניתן להשלים לבסיס ע"י וקטורים מהקבוצה .

הוכחה דרך 2

[עריכה]

משפט: כל קבוצה פורשת מכילה בסיס, וכל קבוצה בת"ל מוכלת בבסיס. (בשני המקרים, הכוונה שקיים בסיס כזה)


הוכחה

חלק א': יהי . ניקח אבר , ונמשיך עבור כל , כך:

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

נמשיך כך עד . בת"ל, ו- , ולכן, בסיס.

חלק ב': נסמן . אם n=m, סיימנו. אחרת, . נסמן עבור כל , נבצע את התהליך הבא:

  • אינה פורשת (נבדוק בסוף כל שלב), כלומר, קיים שאינו צ"ל של
  • מכיון שבקבוצה ת"ל קיים אבר שהוא צ"ל של קודמיו, בת"ל
  • אם , נקבל , ולכן אינה פורשת.

קיבלנו בסוף, בת"ל, ו- , ולכן בסיס.


הצגה לפי בסיס

[עריכה]
יחידות ההצגה
[עריכה]

משפט: תהי . בסיס ל- אמ"מ לכל יש הצגה יחידה כצ"ל של .


הוכחה

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

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

נקבל: , בסתירה לכך ש- בת"ל. לכן, ההצגה יחידה.


ההצגה
[עריכה]

יהי בסיס סדור ל- , ויהי . תהי ההצגה היחידה של כצ"ל של .

ההצגה של לפי תוגדר להיות: (כלומר, וקטור עמודה)

פעולות
[עריכה]

נגדיר חיבור וקטורי עמודה, וכפל בסקלר, בדרך הטריוויאלית - אבר אבר.

יהי בסיס סדור ל- , ויהיו . אזי .

הוכחה: נציג את כצ"ל של  : , נקבל: