השכלה

בחלק זה נרענן ונחדד מושגים אשר הסברנו אום באופן פשטני בפרק פעולות במרחב R^n

הגדרה 1: מרחב השורות של המטריצה

תהי המטריצה $A\in \mathbb {F} ^{m\times n}$ אז מרחב השורות של A זהו המרחב הנפרש ע"י שורות המטריצה.

אם נסמן ב- $R$ את שורות המטריצה, אזי $R_{1}(A),R_{2}(A),\dots ,R_{m}(A)$ הן שורות המטריצה $A$ ומרחב השורות הוא $R(A)={\mbox{span}}\{R_{1},R_{2},\dots ,R_{m}\}$ .

מתוך תכונת כפל מטריצות והעובדה ש- span זה בעצם כל הצירופים הלינאריים של הוקטורים, אפשר לתאר את המרחב גם בצורה הבאה: $\{vA|v\in \mathbb {F} ^{1\times m}\}$ או $\{A^{t}v|v\in \mathbb {F} ^{m}\}$

הגדרה 2: מרחב העמודות של המטריצה

תהי המטריצה $A\in \mathbb {F} ^{m\times n}$ אז מרחב העמודות של A הוא המרחב הנפרש ע"י עמודות המטריצה.

אם נסמן ב- $C$ את עמודות המטריצה, אזי $C_{1}(A),C_{2}(A),\dots ,C_{n}(A)$ הן עמודות המטריצה A ומרחב העמודות הוא $C(A)={\mbox{span}}\{C_{1},C_{2},\dots ,C_{n}\}$ .

מתוך תכונת כפל מטריצות והעובדה ש- span זה בעצם כל הצירופים הלינאריים של הוקטורים, אפשר לתאר את המרחב גם בצורה הבאה: $\{Av|v\in \mathbb {F} ^{n}\}$ .

נראה כי מימד מרחב העמודות הוא תמיד מספר המשתנים התלויים במערכת $Ax=0$ (ראה מרחב האפס והמשפט אחריו).

הגדרה 3: מרחב האפס

מרחב האפס הוא מרחב כל הוקטורים שמאפסים את מטריצה $A$ כלומר, $N(A)=\{v\in \mathbb {F} ^{n}|Av=0\}$ .

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

נראה כי מימד מרחב האפס הוא תמיד מספר המשתנים החופשיים במערכת $Ax=0$ .

הוכחה: כידוע, תמיד מספר המשתנים התלויים + מספר המשתנים החופשיים = מספר העמודות ולכן מתקבל: $\dim C(A)+\dim N(A)=n$

תרגיל 1:
תהי המטריצה

{\begin{bmatrix}1&0&-1\\-2&1&0\\3&-2&1\end{bmatrix}}

מצאו מטריצה כך ש- $span(v_{1},v_{2},v_{3})=\{x\in \mathbb {R} |A=0\}$

מאחר ש- $v_{3}\in span\{v_{1},v_{2}\}$ (בגלל ש- ${\begin{bmatrix}1\\-2\\3\end{bmatrix}}=-2{\begin{bmatrix}0\\1\\-2\end{bmatrix}}+(-1){\begin{bmatrix}1\\0\\1\end{bmatrix}}$ על כן נפתור את מערכת המשוואות $Ax=0$ עבור $v_{1},v_{2}$ גרידא.

לפי כפל מטריצה בווקטור $Av=v_{1}c_{1}+\dots +v_{n}c_{n}$

${\begin{bmatrix}x_{1}&x_{2}&x_{3}\end{bmatrix}}{\begin{bmatrix}-1\\0\\1\end{bmatrix}}=-x_{1}+x_{3}=0$ על כן אחרי הכפלה נקבל $x_{1}=x_{3}$

עבור $v_{2}$ נקבל את המערכת ${\begin{bmatrix}x_{1}&x_{2}&x_{3}\end{bmatrix}}{\begin{bmatrix}0\\1\\-2\end{bmatrix}}=x_{2}-2x_{3}$ לכן אחרי הכפלה נקבל $x_{2}=2x_{3}$

קבלנו כי המקדמים הינם $x_{1},\ x_{2}=2,x_{3}=x_{1}=1$ כלומר $v={\begin{bmatrix}1\\2\\1\end{bmatrix}}$

משפט 2: $\dim C(A)=\dim R(A)$

השכלה

חוזרים בתבונה התנועה ליהדות חופשית

מרחב העמודות, השורות והאפס