הבדלים בין גרסאות בדף "88-112 לינארית 1 תיכוניסטים קיץ תשעא/מערך תרגול/7"
(←אלגוריתם למציאת שלושת מרחבי המטריצה) |
(←מרחבי המטריצות) |
||
שורה 4: | שורה 4: | ||
*'''מרחב העמודות''' של A. זהו המרחב הנפרש על ידי עמודות המטריצה A. נסמן <math>C(A)=span\{C_1(A),...,C_n(A)\}\subseteq\mathbb{F}^m</math> | *'''מרחב העמודות''' של A. זהו המרחב הנפרש על ידי עמודות המטריצה A. נסמן <math>C(A)=span\{C_1(A),...,C_n(A)\}\subseteq\mathbb{F}^m</math> | ||
*'''מרחב האפס''' של A. זהו מרחב הפתרונות של המערכת ההומוגנית Ax=0. נסמן <math>N(A)=\{x\in\mathbb{F}^n|Ax=0\}\subseteq\mathbb{F}^n</math> | *'''מרחב האפס''' של A. זהו מרחב הפתרונות של המערכת ההומוגנית Ax=0. נסמן <math>N(A)=\{x\in\mathbb{F}^n|Ax=0\}\subseteq\mathbb{F}^n</math> | ||
+ | |||
'''משפט:''' לכל מטריצה <math>A\in\mathbb{F}^{m\times n}</math> מתקיים <math>\mathbb{F}^n=R(A)\oplus N(A)</math> | '''משפט:''' לכל מטריצה <math>A\in\mathbb{F}^{m\times n}</math> מתקיים <math>\mathbb{F}^n=R(A)\oplus N(A)</math> |
גרסה מ־07:09, 1 באוגוסט 2011
מרחבי המטריצות
תהי מטריצה . מגדירים שלושה מרחבים עיקריים:
- מרחב השורות של A. זהו המרחב הנפרש על ידי שורות המטריצה A. נסמן
- מרחב העמודות של A. זהו המרחב הנפרש על ידי עמודות המטריצה A. נסמן
- מרחב האפס של A. זהו מרחב הפתרונות של המערכת ההומוגנית Ax=0. נסמן
משפט: לכל מטריצה מתקיים
הגדרה: דרגת המטריצה A שווה למספר השורות בצורה המדורגת שלה השונות מאפס. מסומן rankA
משפט: . אלה שווים למספר המשתנים התלויים, ומימד מרחב האפס שווה למספר המשתנים החופשיים.
דוגמא.
מצא בסיס למרחב האפס של המטריצה
דבר ראשון, נדרג קנונית את המטריצה לקבל
לפיכך המשתנה השלישי והרביעי הם חופשיים, נציב במקומם פרמטרים t,s והפתרון הכללי הוא מהצורה . תמיד ניתן לפרק את הפתרון הכללי לסכום של וקטורים קבועים כפול הסקלרים שהם הפרמטרים:
. וקטורים קבועים אלה תמיד מהווים בסיס למרחב הפתרונות:
- אנו רואים שכל פתרון הוא צירוף לינארי של הוקטורים הללו עם הסקלרים שהם הפרמטרים (במקרה זה - t,s)
- וקטורים אלה תמיד בת"ל, שכן אם יש צירוף לינארי שלהם שמתאפס, מכיוון שהפרמטרים תמיד מופיעים לבדם בעמודה של המשתנה שלהם, הם חייבים להיות אפס
לכן הבסיס למרחב האפס הינו
אלגוריתם למציאת שלושת מרחבי המטריצה
- דרג את המטריצה קנונית
- השורות השונות מאפס מהוות בסיס למרחב השורה
- העמודות במטריצה המקורית המהוות עמודות ציר (כלומר יש איבר פותח בעמודה בצורה הקנונית), מהוות בסיס למרחב העמודה
- הצב פרמטרים במקום המשתנים החופשיים
- מצא את הפתרון הכללי
- פרק את הפתרון הכללי לצירוף לינארי של וקטורים קבועים כפול הפרמטרים
- הוקטורים הקבועים מהווים בסיס למרחב האפס
שימו לב: בהנתן מרחב כלשהו (פולינומים, מטריצות, פונקציות) ניתן לבצע את החישובים על מרחב הקואורדינטות. כפי שראינו בשיעור שעבר, מציאת בסיס למרחבים רבים שקולה למציאת בסיס למרחב האפס של מטריצה מסוימת.