הבדלים בין גרסאות בדף "88-112 לינארית 1 תיכוניסטים קיץ תשעא/מערך תרגול/7"

גרסה מ־10:34, 17 ביולי 2015

חזרה למערכי התרגול

תוכן עניינים

1 מרחבי המטריצות

מרחבי המטריצות

תהי מטריצה $A\in\mathbb{F}^{m\times n}$ . מגדירים 4 מרחבים עיקריים:

מרחב העמודות של A. זהו המרחב הנפרש על ידי עמודות המטריצה A. נסמן $C(A)=span\{C_1(A),...,C_n(A)\}=\{Ax\; | \; x\in \mathbb{F}^n\}\leq\mathbb{F}^m$
'מרחב השורות של A. זהו המרחב הנפרש על ידי עמודות המטריצה A. נסמן $R(A)=span\{R_1(A),...,R_m(A)\}=\{A^tx\; | \; x\in \mathbb{F}^m\}=C(A^t)\leq\mathbb{F}^n$
מרחב האפס של A. זהו מרחב הפתרונות של המערכת ההומוגנית $Ax=0$ . נסמן $N(A)=\{x\in\mathbb{F}^n|Ax=0\}\leq\mathbb{F}^n$
מרחב האפס השמאלי של A. זהו מרחב הפתרונות של המערכת ההומוגנית $A^tx=0$ . נסמן $N(A^t)=\{x\in\mathbb{F}^m|A^tx=0\}=\{x\in\mathbb{F}^m|x^tA=0\} \leq \mathbb{F}^m$

דוגמא:

$A=\left(\begin{array}{ccc} 1 & 0 & 0\\ 0 & 0 & 1 \end{array}\right)$ אזי

1. $C(A)=span\{\left(\begin{array}{c} 1\\ 0 \end{array}\right),\left(\begin{array}{c} 0\\ 1 \end{array}\right)\}$

2. $R(A)=span\{\left(\begin{array}{c} 1\\ 0\\ 0 \end{array}\right),\left(\begin{array}{c} 0\\ 0\\ 1 \end{array}\right)\}$

3. $N(A)=\{\left(\begin{array}{c} 0\\ t\\ 0 \end{array}\right)\}$

4. $N(A^{t})=\{0\}$

מרחב השורות

תרגיל: תהא $A\in\mathbb{F}^{m\times n}$ ותהא $E\in\mathbb{F}^{m\times m}$ מטריצה הפיכה (למשל מכפלת מטריצות אלמנטריות שמדרגות את $A$ ).

הוכח $R(A)=R(EA)$ .

הוכחה:

( $\supseteq$ ) יהא $(EA)^{t}x\in R(EA)$ אזי

$(EA)^{t}x=A^{t}E^{t}x=A^{t}(E^{t}x)=A^{t}y\in R(A)$ .

( $\subseteq$ ) יהא $A^{t}x\in R(A)$ אזי

$A^{t}x=(E^{-1}EA)^{t}x= (EA)^tE^{-t}x = (EA)^ty \in R(EA)$

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

תרגיל/דוגמא:

תהא $A=\left(\begin{array}{cccc} 1 & 2 & 3 & 4\\ 0 & 1 & 0 & 1\\ 1 & 3 & 3 & 5 \end{array}\right)$ מצא את $R(A)$ .

פתרון: $\left(\begin{array}{cccc} 1 & 2 & 3 & 4\\ 0 & 1 & 0 & 1\\ 1 & 3 & 3 & 5 \end{array}\right)\to\left(\begin{array}{cccc} 1 & 2 & 3 & 4\\ 0 & 1 & 0 & 1\\ 0 & 1 & 0 & 1 \end{array}\right)\to\left(\begin{array}{cccc} 1 & 2 & 3 & 4\\ 0 & 1 & 0 & 1\\ 0 & 0 & 0 & 0 \end{array}\right)$ .

כיוון שמרחב השורות של $A$ שווה למרחב השורות לאחר דירוג נקבל ש

$R(A)=span\{ \left(\begin{array}{cccc} 1 & 2 & 3 & 4\end{array}\right),\left(\begin{array}{cccc} 0 & 1 & 0 & 1\end{array}\right)\}=\{\left(\begin{array}{c} a\\ 2a+b\\ 3a\\ 4a+b \end{array}\right) \; | \; a,b\in \mathbb{R}\}$

מרחב העמודות

את מרחב העמודות ניתן למצוא כמו את מרחב השורות ע"י מעבר ל $A^{t}$ . נראה ע"י דוגמא עוד דרך:

דוגמא: מצא את מרחב העמודות של $A=\left(\begin{array}{cccc} 1 & 2 & 3 & 4\\ 0 & 1 & 0 & 1\\ 1 & 3 & 3 & 5 \end{array}\right)$

פתרון: אחרי דירוג קיבלנו $\left(\begin{array}{cccc} 1 & 2 & 3 & 4\\ 0 & 1 & 0 & 1\\ 0 & 0 & 0 & 0 \end{array}\right)$

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

אצלנו בדוגמא שעמודות הציר הן עמודות מספר 1 ו - 2 נקבל כי מרחב העמודות הוא $C(A)=span\{\left(\begin{array}{c} 1\\ 0\\ 1 \end{array}\right),\left(\begin{array}{c} 2\\ 1\\ 3 \end{array}\right)\}$

שימו לב שזה לא שווה למה שנפרש ע"י עמודות הציר של המטריצה המדורגת (כלומר מרחב העמודות "מתקלקל" בדירוג):

$C(A) \not= span\{\left(\begin{array}{c} 1\\ 0\\ 0 \end{array}\right),\left(\begin{array}{c} 2\\ 1\\ 0 \end{array}\right)\}$ כי $\left(\begin{array}{c} 1\\ 0\\ 1 \end{array}\right)\notin span\{\left(\begin{array}{c} 1\\ 0\\ 0 \end{array}\right),\left(\begin{array}{c} 2\\ 1\\ 0 \end{array}\right)$

תרגיל: נסו להוכיח את הטענה שהשתמשנו בה בתרגיל. טענה: מרחב העמודות $C(A)=span \{C_{i_1}(A),\dots C_{i_r}(A)\}$ כאשר $i_1,\dots i_r$ אלו עמודות הציר במטריצה המדורגת.

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

משפט: $dim[R(A)]=dim[C(A)]$

הגדרה: הדרגה של $A$ מוגדרת להיות $rank(A)=dim[R(A)]$

אבחנה: מימדי מרחבים המטריצה והדרגה

תהי $A$ מטריצה. המספרים הבאים שווים (זה נובע מהחומר שלמדנו עד עכשיו):

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

המספרים הבאים שווים:

מספר המשתנים החופשיים
מימד מרחב הפתרונות של המערכת ההומוגנית

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

כלומר עבור $A\in \mathbb{F}^{m\times n}$ מתקיים $rank(A)+\dim N(A) = n$

תרגיל

יהיו $A\in\mathbb{F}^{m\times n},B\in\mathbb{F}^{n\times p}$ מטריצות

הוכח: $rank(AB)\leq rank(A),rank(B)$

הוכחה: ש"ל $dim[C(AB)]\leq dim[C(A)]$ נסמן $\{a_{1},\dots,a_{l}\}$ בסיס למרחב העמודות.

בנוסף $C(AB)=span \{C_1(AB),\dots , C_p(AB)\}=span\{AC_{1}(B),\dots,AC_{p}(B)\}$ כיוון שלכל $i$ מתקיים כי $AC_{i}(B)$ הוא צ"ל של עמודות $A$ מקבלים ש

$C(AB)=span\{AC_{1}(B),\dots,AC_{p}(B)\}\subseteq span\{a_{1},\dots,a_{l}\}=C(A)$

ולכן $dim[C(AB)]\leq dim[C(A)]$ .

באופן דומה $dim[R(AB)]\leq dim[R(A)]$

מסקנה: יהיו $A\in\mathbb{F}^{m\times n},B\in\mathbb{F}^{n\times n}$ ו - $B$ הפיכה אזי $rank(AB)=rank(A)$

הוכחה: $rank(A)=rank(ABB^{-1})\leq rank(AB)\leq rank(A)$

מרחב האפס

דוגמא. מצא בסיס למרחב האפס של המטריצה $\begin{pmatrix}1 & 0 & 1 & 1 \\ 2 & 1 & 1 & 2\\ 1 & 1 & 0 & 1\end{pmatrix}$

דבר ראשון, נדרג קנונית את המטריצה לקבל

$\begin{pmatrix}1 & 0 & 1 & 1\\ 0 & 1 & -1 & 0 \\ 0 & 0 & 0 & 0\end{pmatrix}$

לפיכך המשתנה השלישי והרביעי הם חופשיים, נציב במקומם פרמטרים t,s והפתרון הכללי הוא מהצורה $(-t-s,t,t,s)$ . תמיד ניתן לפרק את הפתרון הכללי לסכום של וקטורים קבועים כפול הסקלרים שהם הפרמטרים: $t(-1,1,1,0) +s(-1,0,0,1)$ . וקטורים קבועים אלה תמיד מהווים בסיס למרחב הפתרונות:

אנו רואים שכל פתרון הוא צירוף לינארי של הוקטורים הללו עם הסקלרים שהם הפרמטרים (במקרה זה - t,s)
וקטורים אלה תמיד בת"ל, שכן אם יש צירוף לינארי שלהם שמתאפס, מכיוון שהפרמטרים תמיד מופיעים לבדם בעמודה של המשתנה שלהם, הם חייבים להיות אפס

לכן הבסיס למרחב האפס הינו $\{(-1,0,0,1),(-1,1,1,0)\}$

מרחב האפס השמאלי

אלגוריתם למציאת שלושת מרחבי המטריצה עיבוד הנוסחה נכשל (שגיאת לקסינג): Cׂ(A),R(A),N(A)

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

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

תרגיל.

הוכח כי לכל מטריצה $A\in\mathbb{R}^{m\times n}$ מתקיים $\mathbb{R}^n=R(A)\oplus N(A)$

פתרון. מכיוון שהרגע ראינו כי סכום המימדים מקיים $dimR(A)+dimN(A)=n$ לפי משפט המימדים מספיק להוכיח שהחיתוך בינהם הינו אפס.

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

מכיוון ש-v במרחב הפתרונות של A, הוא גם במרחב הפתרונות של המטריצה לאחרת פעולות השורה B, ומתקיים $Bv=0$ . אבל האיבר הראשון במכפלה שווה ל $0=R_1(A)v=v^tv$ וכפי שלמדנו זהו סכום ריבועים שמתאפס ולכן v=0 כפי שרצינו.

@@ שורה 204: / שורה 204: @@
 נסמן <math>\{a_{1},\dots,a_{l}\}</math> בסיס למרחב העמודות.
-בנוסף <math>C(AB)=span\{AC_{1}(B),\dots,AC_{p}(B)\}</math>
+בנוסף <math>C(AB)=span \{C_1(AB),\dots , C_p(AB)\}=span\{AC_{1}(B),\dots,AC_{p}(B)\}</math>
 כיוון שלכל <math>i</math>  מתקיים כי
 <math>AC_{i}(B)</math> הוא צ"ל של עמודות <math>A</math>
 מקבלים ש
-<math>C(AB)=span\{AC_{1}(B),\dots,AC_{p}(B)\}\subset span\{a_{1},\dots,a_{l}\}=C(A)</math>
+<math>C(AB)=span\{AC_{1}(B),\dots,AC_{p}(B)\}\subseteq span\{a_{1},\dots,a_{l}\}=C(A)</math>
 ולכן <math>dim[C(AB)]\leq dim[C(A)]</math>.

הבדלים בין גרסאות בדף "88-112 לינארית 1 תיכוניסטים קיץ תשעא/מערך תרגול/7"

גרסה מ־10:34, 17 ביולי 2015

תוכן עניינים

מרחבי המטריצות

מרחב השורות

מרחב העמודות

אבחנה: מימדי מרחבים המטריצה והדרגה

תרגיל

מרחב האפס

מרחב האפס השמאלי

אלגוריתם למציאת שלושת מרחבי המטריצה עיבוד הנוסחה נכשל (שגיאת לקסינג): Cׂ(A),R(A),N(A)

תרגיל.

תפריט הניווט

כלים אישיים

גרסאות שפה

מרחבי שם

חיפוש

עוד

צפיות

ניווט

כלים