חזור לתיקייה: 01040166 - אלגברה אמ

6 - צירופים ליניאריים

חיפוש בתיקיה
Ctrl K
לחץ כאן או הקש Ctrl K כדי לחפש בכל התיקיה
  • סיפורים
  • צירופים ליניאריים
  • פרישה
  • תלות ליניארית
  • סיפורים vol.2
  • בחזרה לפורמליות
  • צירופים ליניאריים של שורות מטריצה
  • מרחב העמודות של מטריצה

6 - צירופים ליניאריים

01040166

אלגברה אמ

רשימות הרצאה לקריאה בשבת

צירופים ליניאריים

הופק מתוך תקיית התואר של שקד

uni-folder.vercel.app

סיפורים

2(12)+3(34)=(1116)2 \begin{pmatrix} 1 \\ 2 \end{pmatrix}+3 \begin{pmatrix} 3 \\ 4 \end{pmatrix}=\begin{pmatrix} 11 \\ 16 \end{pmatrix}2(12​)+3(34​)=(1116​)

אזי נאמר כי (1116)\begin{pmatrix}11 \\ 16\end{pmatrix}(1116​) צירוף ליניארי של (12)\begin{pmatrix}1 \\ 2\end{pmatrix}(12​) ו-(34)\begin{pmatrix}3 \\ 4\end{pmatrix}(34​).
הווקטור (00)\begin{pmatrix}0 \\ 0\end{pmatrix}(00​) הוא גם צירוף ליניארי של (12)\begin{pmatrix}1 \\ 2\end{pmatrix}(12​) ו-(34)\begin{pmatrix}3 \\ 4\end{pmatrix}(34​).
כעת, נקח:

3(12)+5(24)=(1326)3\begin{pmatrix} 1 \\ 2 \end{pmatrix}+5\begin{pmatrix} 2 \\ 4 \end{pmatrix}=\begin{pmatrix} 13 \\ 26 \end{pmatrix}3(12​)+5(24​)=(1326​) 0(12)+0(24)=(00)0\begin{pmatrix} 1 \\ 2 \end{pmatrix}+0\begin{pmatrix} 2 \\ 4 \end{pmatrix}=\begin{pmatrix} 0 \\ 0 \end{pmatrix}0(12​)+0(24​)=(00​) 2(12)+(−1)(24)=(00)2\begin{pmatrix} 1 \\ 2 \end{pmatrix}+(-1)\begin{pmatrix} 2 \\ 4 \end{pmatrix}=\begin{pmatrix} 0 \\ 0 \end{pmatrix}2(12​)+(−1)(24​)=(00​)

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

α1(12)+α2(34)=(00)\alpha_{1}\begin{pmatrix} 1 \\ 2 \end{pmatrix}+\alpha_{2}\begin{pmatrix} 3 \\ 4 \end{pmatrix}=\begin{pmatrix} 0 \\ 0 \end{pmatrix}α1​(12​)+α2​(34​)=(00​) (1324)⟶(130−2)⟶(1001)  ⟹  α1=α2=0\begin{pmatrix} 1&3 \\ 2&4 \end{pmatrix}\longrightarrow \begin{pmatrix} 1&3 \\ 0&-2 \end{pmatrix}\longrightarrow \begin{pmatrix} 1&0 \\ 0&1 \end{pmatrix} \implies \alpha_{1}=\alpha_{2}=0(12​34​)⟶(10​3−2​)⟶(10​01​)⟹α1​=α2​=0

צירופים ליניאריים

הגדרה 1 (צירוף ליניארי)

יהא VVV מ"ו מעל F\mathbb{F}F ויהיו v‾1,…,v‾n\underline{v}_{1},\dots,\underline{v}_{n}v​1​,…,v​n​ סדרת ווקטורים סופית ב-VVV.
הווקטור v‾∈V\underline{v}\in Vv​∈V נקרא צירוף ליניארי(קומבינציה ליניארית - ק"ל) של הווקטורים v‾1,…,v‾n\underline{v}_{1},\dots,\underline{v}_{n}v​1​,…,v​n​ אם קיימים סקלרים α1,…αn∈F\alpha_{1},\dots\alpha_{n}\in \mathbb{F}α1​,…αn​∈F כך ש-v‾=α1v‾1+⋯+αnv‾n\underline{v}=\alpha_{1}\underline{v}_{1}+\dots+\alpha_{n}\underline{v}_{n}v​=α1​v​1​+⋯+αn​v​n​.

α1,…αn\alpha_{1},\dots\alpha_{n}α1​,…αn​ נקראים המקדמים הליניאריים.
כמו כן, הצירוף הליניארי היחיד של קבוצה ריקה של ווקטורים הוא וקטור האפס 0‾\underline{0}0​.

הערה

ניתן להגדיר צירוף ליניארי של הווקטורים v‾1,…,v‾n\underline{v}_{1},\dots,\underline{v}_{n}v​1​,…,v​n​ בצורה α1v‾1+⋯+αnv‾n\alpha_{1}\underline{v}_{1}+\dots+\alpha_{n}\underline{v}_{n}α1​v​1​+⋯+αn​v​n​.

תרגיל

האם v‾=(434)\underline{v}=\begin{pmatrix}4\\ 3\\ 4\end{pmatrix}v​=​434​​ הוא צ"ל(צירוף ליניארי) של v‾1=(123),v‾2=(2−1−2)\underline{v}_{1}=\begin{pmatrix}1\\2\\3\end{pmatrix},\underline{v}_{2}=\begin{pmatrix}2\\-1\\-2\end{pmatrix}v​1​=​123​​,v​2​=​2−1−2​​?

פתרון:

(434)=α1(123)+α2(2−1−2)\begin{pmatrix} 4 \\ 3 \\ 4 \end{pmatrix}=\alpha_{1}\begin{pmatrix} 1 \\ 2 \\ 3 \end{pmatrix}+\alpha_{2}\begin{pmatrix} 2 \\ -1 \\ -2 \end{pmatrix}​434​​=α1​​123​​+α2​​2−1−2​​ (1242−133−24)⟶(102011000)\left(\begin{array}{cc|c} 1 & 2 & 4\\ 2 & -1 & 3\\ 3 & -2 & 4 \end{array}\right)\longrightarrow \left(\begin{array}{cc|c} 1 & 0 & 2\\ 0 & 1 & 1\\ 0 & 0 & 0 \end{array}\right)​123​2−1−2​434​​⟶​100​010​210​​

ולכן, α1=2,α2=1\alpha_{1}=2,\alpha_{2}=1α1​=2,α2​=1 ולכן, (434)\begin{pmatrix}4 \\3 \\4\end{pmatrix}​434​​ צ"ל של (123)\begin{pmatrix}1\\2\\3\end{pmatrix}​123​​ ו-(2−1−2)\begin{pmatrix}2\\-1\\-2\end{pmatrix}​2−1−2​​.

הערה

במידה וזה לא היה צ"ל, לא היה פתרון.

ברור כי (123)≠α1(100)+α2(110)\begin{pmatrix}1\\ 2\\3\end{pmatrix}\neq \alpha_{1}\begin{pmatrix}1\\0\\0\end{pmatrix}+\alpha_{2}\begin{pmatrix}1\\1\\0\end{pmatrix}​123​​=α1​​100​​+α2​​110​​. לא כל ווקטור הוא צירוף ליניארי.

פרישה

הגדרה 2 (קבוצה נפרשת)

יהא VVV מ"ו מעל F\mathbb{F}F ותהא A={v1,v2,…,vn}A=\{ v_{1},v_{2},\dots,v_{n} \}A={v1​,v2​,…,vn​} קבוצת ווקטורים ב-VVV.
הקבוצה הנפרשת על על ידי AAA או הנוצרת על ידי AAA היא:

sp(A)=sp({v‾,…,v‾n})={v‾ ∣ v‾=α1v‾1+⋯+αnv‾n,α1,α2,…,αn∈F}sp(A)=sp(\{ \underline{v},\dots,\underline{v}_{n} \})=\{ \underline{v}\ |\ \underline{v}=\alpha_{1}\underline{v}_{1}+\dots+\alpha_{n}\underline{v}_{n}, \alpha_{1},\alpha_{2},\dots,\alpha_{n}\in \mathbb{F} \}sp(A)=sp({v​,…,v​n​})={v​ ∣ v​=α1​v​1​+⋯+αn​v​n​,α1​,α2​,…,αn​∈F} sp(A)={α1v‾1+⋯+αnv‾n∣α1,α2,…,αn∈F}sp(A)=\{ \alpha_{1}\underline{v}_{1}+\dots+\alpha_{n}\underline{v}_{n}|\alpha_{1},\alpha_{2},\dots,\alpha_{n}\in \mathbb{F} \}sp(A)={α1​v​1​+⋯+αn​v​n​∣α1​,α2​,…,αn​∈F}

ואם A=∅A=\emptysetA=∅ אזי sp(∅)={0‾}sp(\emptyset)=\{ \underline{0} \}sp(∅)={0​}.
זוהי קבוצת כל הצירופים הליניאריים האפשריים של איברי AAA.

דוגמה

sp{(10),(01)}=R2sp\left\{ \begin{pmatrix} 1 \\ 0 \end{pmatrix},\begin{pmatrix} 0 \\ 1 \end{pmatrix} \right\}=\mathbb{R}^2sp{(10​),(01​)}=R2 {a(10)+b(01)a,b∈R}\left\{ \begin{array}{c|c} a\begin{pmatrix} 1 \\ 0 \end{pmatrix}+b\begin{pmatrix} 0 \\ 1 \end{pmatrix} & a,b \in \mathbb{R} \end{array} \right\}{a(10​)+b(01​)​a,b∈R​}
הערה

עבור A⊆VA \subseteq VA⊆V כלשהי(סופית או אינסופית) sp(A)sp(A)sp(A) הוא אוסף כל הצירופים הליניאריים הסופיים של וקטורים מתוך AAA.

משפט

תהא A={v‾1,…,v‾n}A=\{ \underline{v}_{1},\dots,\underline{v}_{n} \}A={v​1​,…,v​n​} קבוצת ווקטורים במרחב ווקטורי VVV מעל F\mathbb{F}F. אזי:

  1. sp(A)sp(A)sp(A) ת"מ של VVV המכילה את AAA.
  2. כל ת"מ WWW של VVV המכיל את AAA מכיל גם את sp(A)sp(A)sp(A).

הוכחה: (1)

  1. לא ריקה: 0‾∈sp(A)\underline{0}\in sp(A)0​∈sp(A). (לוקחים סקלרים אפסים)
  2. סגורה לחיבור:
    נקח v‾,w‾∈sp(A)\underline{v},\underline{w}\in sp(A)v​,w​∈sp(A) אזי קיימים α1,…αn\alpha_{1},\dots \alpha_{n}α1​,…αn​ כך ש-v‾=α1v‾1+⋯+αnv‾n\underline{v}=\alpha_{1}\underline{v}_{1}+\dots+\alpha_{n}\underline{v}_{n}v​=α1​v​1​+⋯+αn​v​n​.
    וקיימים β1,…,βn\beta_{1},\dots,\beta_{n}β1​,…,βn​ כך ש-w‾=β1v‾1+⋯+βnv‾n\underline{w}=\beta_{1}\underline{v}_{1}+\dots+\beta_{n}\underline{v}_{n}w​=β1​v​1​+⋯+βn​v​n​.
    ולכן: v‾+w‾=(α1+β1)v‾1+⋯+(αn+βn)v‾n∈sp(A)\underline{v}+\underline{w}=(\alpha_{1}+\beta_{1})\underline{v}_{1}+\dots+(\alpha_{n}+\beta_{n})\underline{v}_{n}\in sp(A)v​+w​=(α1​+β1​)v​1​+⋯+(αn​+βn​)v​n​∈sp(A).
  3. סגורה לכפל בסקלר: נקח v‾∈sp(A)\underline{v}\in sp(A)v​∈sp(A) ו-λ∈F\lambda \in \mathbb{F}λ∈F.
    קיימים α1,…,αn∈F\alpha_{1},\dots,\alpha _n \in \mathbb{F}α1​,…,αn​∈F כך ש-v‾=α1v‾1+⋯+αnv‾n\underline{v}=\alpha_{1}\underline{v}_{1}+\dots+\alpha_{n}\underline{v}_{n}v​=α1​v​1​+⋯+αn​v​n​
    λv‾=(α1λ)v‾1+⋯+(αnλ)v‾n∈sp(A)\lambda \underline{v}=(\alpha_{1}\lambda)\underline{v}_{1}+\dots+(\alpha_{n}\lambda)\underline{v}_{n}\in sp(A)λv​=(α1​λ)v​1​+⋯+(αn​λ)v​n​∈sp(A)
    ∎

הוכחה: (2)

ברור\R{ברור}ברור

אנו יודעים כי A⊆WA \subseteq WA⊆W ו-WWW הוא מ"ו, אז לפי 1, sp(A)sp(A)sp(A) הוא ת"מ של WWW ולכן sp(A)⊆Wsp(A)\subseteq Wsp(A)⊆W.
כעת ניתן לכתוב כי: sp(A)sp(A)sp(A) הוא תת המרחב הנפרש ע"י AAA.
∎

מסקנה

sp(A)sp(A)sp(A) הוא ת"מ הקטן ביותר שמכיל את AAA (במובן זה שאם יש תת מרחב אחר שמכיל את AAA הוא מכיל גם את sp(A)sp(A)sp(A))

הערה (על המסקנה)

ת"מ קטן ביותר(מינימלי) הוא יחיד.
שהרי אם WWW ו-W′W'W′ הם ת"מ מינימליים שמכילים את AAA אזי W⊆W′W \subseteq W'W⊆W′ ו-W′⊆WW' \subseteq WW′⊆W ולכן W=W′W=W'W=W′.

משפט

יהא VVV מ"ו מעל F\mathbb{F}F. A,B⊆VA,B \subseteq VA,B⊆V תת קבוצות של VVV אזי:

sp(A)+sp(B)=sp(A∪B)sp(A)+sp(B)=sp(A \cup B)sp(A)+sp(B)=sp(A∪B)

הוכחה:

sp(A)⊆sp(A∪B)sp(B)⊆sp(A∪B)sp(A) \subseteq sp(A \cup B) \qquad sp(B)\subseteq sp(A \cup B)sp(A)⊆sp(A∪B)sp(B)⊆sp(A∪B)

שלושתם תת מרחבים ולכן:

sp(A)+sp(B)⊆sp(A∪B)sp(A)+sp(B)\subseteq sp(A \cup B)sp(A)+sp(B)⊆sp(A∪B)

כעת, A⊆sp(A)A \subseteq sp(A)A⊆sp(A) ⇐ A⊆sp(A)+sp(B)A \subseteq sp(A)+sp(B)A⊆sp(A)+sp(B).
וגם B⊆sp(B)B \subseteq sp(B)B⊆sp(B) ⇐ B⊆sp(A)+sp(B)B \subseteq sp(A)+sp(B)B⊆sp(A)+sp(B)
ולכן: A∪B⊆דמקהsp(A)+sp(B)A \cup B \underset{\R{\text{דמקה}}}{\subseteq}sp(A)+sp(B)A∪Bדמקה⊆​sp(A)+sp(B)
אנו יודעים כי sp(A)+sp(B)sp(A)+sp(B)sp(A)+sp(B) ת"מ ולכן, sp(A∪B)⊆sp(A)+sp(B)sp(A \cup B)\subseteq sp(A)+sp(B)sp(A∪B)⊆sp(A)+sp(B).
ולכן, על פי הכלה דו כיוונית:

sp(A)+sp(B)=sp(A∪B)sp(A)+sp(B)=sp(A \cup B)sp(A)+sp(B)=sp(A∪B)

∎
למה זה טוב?

U=sp{(123),(456)}W=sp{(101),(91−1)}U=sp\left\{ \begin{pmatrix} 1 \\ 2 \\ 3 \end{pmatrix},\begin{pmatrix} 4 \\ 5 \\ 6 \end{pmatrix} \right\}\qquad W=sp\left\{ \begin{pmatrix} 1 \\ 0 \\ 1 \end{pmatrix},\begin{pmatrix} 9 \\ 1 \\ -1 \end{pmatrix} \right\}U=sp⎩⎨⎧​​123​​,​456​​⎭⎬⎫​W=sp⎩⎨⎧​​101​​,​91−1​​⎭⎬⎫​ U+W=sp{(123),(456),(101),(91−1)}U+W=sp\left\{ \begin{pmatrix} 1 \\ 2 \\ 3 \end{pmatrix},\begin{pmatrix} 4 \\ 5 \\ 6 \end{pmatrix},\begin{pmatrix} 1 \\ 0 \\ 1 \end{pmatrix},\begin{pmatrix} 9 \\ 1 \\ -1 \end{pmatrix} \right\}U+W=sp⎩⎨⎧​​123​​,​456​​,​101​​,​91−1​​⎭⎬⎫​
הגדרה 3 (קבוצה פורשת)

יהא VVV מ"ו מעל F\mathbb{F}F. WWW ת"מ של VVV. AAA תת קבוצה של WWW.
אם W=sp(A)W=sp(A)W=sp(A) נאמר כי AAA קבוצה פורשת של WWW.

הערה (מקרה פרטי)

יהא VVV מ"ו מעל F\mathbb{F}F. AAA תת קבוצה של VVV.
אם V=sp(A)V=sp(A)V=sp(A) נאמר כי AAA קבוצה פורשת של VVV.

דוגמה

R2=sp{(10),(01)}\mathbb{R}^2=sp\left\{ \begin{pmatrix} 1 \\ 0 \end{pmatrix},\begin{pmatrix} 0 \\ 1 \end{pmatrix} \right\}R2=sp{(10​),(01​)}

אזי: {(10),(01)}\left\{ \begin{pmatrix}1 \\0\end{pmatrix},\begin{pmatrix}0 \\ 1\end{pmatrix} \right\}{(10​),(01​)} קבוצה פורשת של R2\mathbb{R}^2R2.

במקרה בו V=R2V=\mathbb{R}^2V=R2 ו-W=sp{(10)}W=sp\left\{ \begin{pmatrix}1\\0\end{pmatrix} \right\}W=sp{(10​)} אזי, (10)\begin{pmatrix}1\\0\end{pmatrix}(10​) פורשת את WWW אבל לא פורשת את VVV.

הערה

  1. איך בודקים האם מתקיים: (123)∈sp{(101),(1−12),(001)}\begin{pmatrix}1\\2\\3\end{pmatrix}\in sp\left\{ \begin{pmatrix}1\\0\\1\end{pmatrix},\begin{pmatrix}1\\-1\\2\end{pmatrix},\begin{pmatrix}0\\0\\1\end{pmatrix} \right\}​123​​∈sp⎩⎨⎧​​101​​,​1−12​​,​001​​⎭⎬⎫​?
    נפתור את מערכת המשוואות: (11010−1021213)\left(\begin{array}{ccc|c}1&1&0&1\\ 0&-1&0&2\\1&2&1&3\end{array}\right)​101​1−12​001​123​​.
  2. איך מוצאים קבוצה פורשת לתת-מרחב נתון?
    א. מצאו קבוצה פורשת לת"מ WWW של R2[x]\mathbb{R}_2[x]R2​[x].
W={p(x)∈R2[x] ∣ p(1)=0} W=\{ p(x) \in \mathbb{R}_{2}[x]\ |\ p(1)=0\}W={p(x)∈R2​[x] ∣ p(1)=0}

[???] נקח p(x)∈Wp(x)\in Wp(x)∈W ⇔ p(x)=ax2+bx+c,p(1)=0p(x)=ax^2+bx+c,p(1)=0p(x)=ax2+bx+c,p(1)=0 ⇔ a+b+c=0a+b+c=0a+b+c=0 ⇔ a=−b−ca=-b-ca=−b−c
נחליף את bbb ב-β\betaβ ואת CCC ב-γ\gammaγ מכאן, נקבל כי W={(−β−γ)x2+βx+γ∣β,γ∈R}={β(−x2+x)+γ(−x2+1)∣β,γ∈R}=sp{−x2+x,−x2+1}W=\left\{(-\beta-\gamma)x^2+\beta x+\gamma|\beta,\gamma \in \mathbb{R}\right\}=\{ \beta(-x^2+x)+\gamma(-x^2+1)|\beta,\gamma \in \mathbb{R} \}=sp\{ -x^2+x,-x^2+1 \}W={(−β−γ)x2+βx+γ∣β,γ∈R}={β(−x2+x)+γ(−x2+1)∣β,γ∈R}=sp{−x2+x,−x2+1}.
ב. מצאו קבוצה פורשת לתת המרחב UUU של M(R)2×2M \underset{2\times{2}}{(\mathbb{R})}M2×2(R)​ כאשר:

U={A∈M(R)2×2(1111)A=(0000)} U=\left\{ \begin{array}{c|c}A \in M \underset{2\times2}{(\mathbb{R})} & \begin{pmatrix} 1& 1 \\ 1&1 \end{pmatrix}A=\begin{pmatrix} 0&0\\0&0 \end{pmatrix}\end{array} \right\}U={A∈M2×2(R)​​(11​11​)A=(00​00​)​} A=(abcd)∈U  ⟺  (1111)(abcd)=(0000)  ⟺  (a+cb+da+cb+d)=(0000) A=\begin{pmatrix} a&b\\ c&d \end{pmatrix}\in U \iff \begin{pmatrix} 1&1\\1&1 \end{pmatrix}\begin{pmatrix} a&b\\ c&d \end{pmatrix}=\begin{pmatrix} 0&0\\0&0 \end{pmatrix} \iff \begin{pmatrix} a+c & b+d \\ a+c & b+d \end{pmatrix}=\begin{pmatrix} 0&0\\0&0 \end{pmatrix}A=(ac​bd​)∈U⟺(11​11​)(ac​bd​)=(00​00​)⟺(a+ca+c​b+db+d​)=(00​00​)

⇔ מתקיים: a+c=0b+d=0  ⟺  a=−cb=−d\begin{matrix}a+c=0\\ b+d=0\end{matrix}\iff \begin{matrix}a=-c\\ b=-d\end{matrix}a+c=0b+d=0​⟺a=−cb=−d​.
נחליף את המשתנים כך: c=s,d=t,a=−s,b=−tc=s,d=t,a=-s,b=-tc=s,d=t,a=−s,b=−t וכך נקבל:

U={(−s−tst)s,t∈R}={s(−1010)+t(0−101)s,t∈R}=sp{(−1010),(0−101)} U=\left\{\begin{array}{c|c} \begin{pmatrix} -s & -t \\ s&t \end{pmatrix} & s,t \in \mathbb{R} \end{array}\right\}=\left\{\begin{array}{c|c} s\begin{pmatrix} -1 & 0 \\ 1&0 \end{pmatrix} +t\begin{pmatrix} 0 & -1 \\ 0&1 \end{pmatrix} & s,t \in \mathbb{R} \end{array}\right\}=sp\left\{\begin{pmatrix} -1&0 \\ 1&0 \end{pmatrix},\begin{pmatrix} 0&-1 \\ 0&1 \end{pmatrix}\right\}U={(−ss​−tt​)​s,t∈R​}={s(−11​00​)+t(00​−11​)​s,t∈R​}=sp{(−11​00​),(00​−11​)}
  1. יהא V=R4V=\mathbb{R}^4V=R4 ו-U=sp{(1011),(−1100)}U=sp\left\{\begin{pmatrix}1\\0\\1\\1\end{pmatrix},\begin{pmatrix}-1\\1\\0\\0\end{pmatrix}\right\}U=sp⎩⎨⎧​​1011​​,​−1100​​⎭⎬⎫​ ו-W=sp{(0011),(−1001)}W=sp \left\{\begin{pmatrix}0\\0\\1\\1\end{pmatrix},\begin{pmatrix}-1\\0\\0\\1\end{pmatrix}\right\}W=sp⎩⎨⎧​​0011​​,​−1001​​⎭⎬⎫​ ת"מ של VVV. מצאו את U∩WU \cap WU∩W ואת U+WU+WU+W.
U+W=sp{(1011),(−1100),(0011),(−1001)} U+W=sp \left\{\begin{pmatrix} 1 \\ 0 \\ 1 \\ 1 \end{pmatrix},\begin{pmatrix} -1 \\ 1 \\ 0 \\ 0 \end{pmatrix},\begin{pmatrix} 0 \\ 0 \\ 1 \\ 1 \end{pmatrix},\begin{pmatrix} -1 \\ 0 \\ 0 \\ 1 \end{pmatrix}\right\}U+W=sp⎩⎨⎧​​1011​​,​−1100​​,​0011​​,​−1001​​⎭⎬⎫​

נמצא את U∩WU \cap WU∩W. נקח v‾∈U∩W\underline{v} \in U \cap Wv​∈U∩W. אזי קיימים α1,α2,α3,α4\alpha_{1},\alpha_{2},\alpha_{3},\alpha_{4}α1​,α2​,α3​,α4​ כך ש-

α1(1011)+α2(−1100)=v‾=α3(0011)+α4(−1001) \alpha_{1}\begin{pmatrix} 1 \\ 0 \\ 1 \\ 1 \end{pmatrix}+\alpha_{2}\begin{pmatrix} -1 \\ 1 \\ 0 \\ 0 \end{pmatrix}=\underline{v}=\alpha_{3}\begin{pmatrix} 0 \\ 0 \\ 1 \\ 1 \end{pmatrix}+\alpha_{4}\begin{pmatrix} -1 \\ 0 \\ 0 \\ 1 \end{pmatrix}α1​​1011​​+α2​​−1100​​=v​=α3​​0011​​+α4​​−1001​​

כלומר:

α1(1011)+α2(−1100)+α3(0011)+α4(−1001)=(0000) \alpha_{1}\begin{pmatrix} 1 \\ 0 \\ 1 \\ 1 \end{pmatrix}+\alpha_{2}\begin{pmatrix} -1 \\ 1 \\ 0 \\ 0 \end{pmatrix}+\alpha_{3}\begin{pmatrix} 0 \\ 0 \\ 1 \\ 1 \end{pmatrix}+\alpha_{4}\begin{pmatrix} -1 \\ 0 \\ 0 \\ 1 \end{pmatrix}=\begin{pmatrix} 0\\0\\0\\0 \end{pmatrix}α1​​1011​​+α2​​−1100​​+α3​​0011​​+α4​​−1001​​=​0000​​ (0−1−11000−110−1011−10)→(11−100−10000−11000−1) \begin{pmatrix} 0&-1&-1&1 \\ 0&0&0&-1 \\ 1&0&-1&0\\ 1&1&-1&0 \end{pmatrix} \to \begin{pmatrix} 1&1&-1&0 \\ 0&-1&0&0 \\ 0&0&-1&1 \\ 0&0&0&-1 \end{pmatrix}​0011​−1001​−10−1−1​1−100​​→​1000​1−100​−10−10​001−1​​

קיבלנו כי יש לנו פתרון יחיד ובו: (α1α2α3α4)=(0000)\begin{pmatrix}\alpha_{1}\\\alpha_{2}\\\alpha_{3}\\\alpha_{4}\end{pmatrix}=\begin{pmatrix}0\\0\\0\\0\end{pmatrix}​α1​α2​α3​α4​​​=​0000​​
ולכן: U∩W={(0000)}U \cap W=\left\{ \begin{pmatrix}0\\0\\0\\0\end{pmatrix} \right\}U∩W=⎩⎨⎧​​0000​​⎭⎬⎫​
במקרה אחר:

V=R3 V=\mathbb{R}^3V=R3 W=sp{(123),(456)}W=sp{(579),(001)}W=sp\left\{ \begin{pmatrix} 1 \\ 2 \\ 3 \end{pmatrix},\begin{pmatrix} 4 \\ 5 \\ 6 \end{pmatrix} \right\} \qquad W=sp\left\{ \begin{pmatrix} 5 \\ 7 \\ 9 \end{pmatrix},\begin{pmatrix} 0 \\ 0 \\ 1 \end{pmatrix} \right\}W=sp⎩⎨⎧​​123​​,​456​​⎭⎬⎫​W=sp⎩⎨⎧​​579​​,​001​​⎭⎬⎫​

נמצא U∩WU \cap WU∩W. נקח v‾∈U∩W\underline{v}\in U \cap Wv​∈U∩W אזי קיימים α1,α2,α3,α4\alpha_{1},\alpha_{2},\alpha_{3},\alpha_{4}α1​,α2​,α3​,α4​ כך ש-

α1(123)+α2(456)=v‾=α3(579)+α4(001)\alpha_{1}\begin{pmatrix} 1\\2\\3 \end{pmatrix}+\alpha_{2}\begin{pmatrix} 4\\5\\6 \end{pmatrix}=\underline{v}=\alpha_{3}\begin{pmatrix} 5\\7\\9 \end{pmatrix}+\alpha_{4}\begin{pmatrix} 0\\0\\1 \end{pmatrix}α1​​123​​+α2​​456​​=v​=α3​​579​​+α4​​001​​ α1(123)+α2(456)+α3(579)+α4(001)=(000)\alpha_{1}\begin{pmatrix} 1\\2\\3 \end{pmatrix}+\alpha_{2}\begin{pmatrix} 4\\5\\6 \end{pmatrix}+\alpha_{3}\begin{pmatrix} 5\\7\\9 \end{pmatrix}+\alpha_{4}\begin{pmatrix} 0\\0\\1 \end{pmatrix}=\begin{pmatrix} 0\\0\\0 \end{pmatrix}α1​​123​​+α2​​456​​+α3​​579​​+α4​​001​​=​000​​ (14−5025−7036−9−1)→(10−1001−100001)  ⟹  {α1−α3=0α2−α3=0α4=0\begin{pmatrix} 1&4&-5&0 \\ 2&5&-7&0 \\ 3&6&-9&-1 \end{pmatrix}\to \begin{pmatrix} 1&0&-1&0 \\ 0&1&-1&0 \\ 0&0&0&1 \end{pmatrix} \implies \begin{cases} \alpha_{1}-\alpha_{3}=0 \\ \alpha_{2}-\alpha_{3}=0 \\ \alpha_{4}=0 \end{cases}​123​456​−5−7−9​00−1​​→​100​010​−1−10​001​​⟹⎩⎨⎧​α1​−α3​=0α2​−α3​=0α4​=0​ α1=α3=α2=t,α4=0\alpha_{1}=\alpha_{3}=\alpha_{2}=t,\alpha_{4}=0α1​=α3​=α2​=t,α4​=0

נציב:

t(123)+t(456)=v‾=t(579)+0(001)t\begin{pmatrix} 1\\2\\3 \end{pmatrix}+t\begin{pmatrix} 4\\5\\6 \end{pmatrix}=\underline{v}=t\begin{pmatrix} 5\\7\\9 \end{pmatrix}+0\begin{pmatrix} 0\\0\\1 \end{pmatrix}t​123​​+t​456​​=v​=t​579​​+0​001​​ U∩W={t(579)t∈R}=sp{(579)}U \cap W=\left\{\begin{array}{c|c} t\begin{pmatrix} 5\\7\\9 \end{pmatrix}&t \in \mathbb{R} \end{array} \right\}=sp\left\{ \begin{pmatrix} 5\\7\\9 \end{pmatrix} \right\}U∩W=⎩⎨⎧​t​579​​​t∈R​⎭⎬⎫​=sp⎩⎨⎧​​579​​⎭⎬⎫​

נבדוק מה הסכום:

U+W=sp{(123),(456)}+sp{(579),(001)}=sp{(123),(456),(579),(001)}U+W=sp\left\{ \begin{pmatrix} 1\\2\\3 \end{pmatrix},\begin{pmatrix} 4\\5\\6 \end{pmatrix} \right\}+sp\left\{ \begin{pmatrix} 5\\7\\9 \end{pmatrix},\begin{pmatrix} 0\\0\\1 \end{pmatrix} \right\}=sp\left\{ \begin{pmatrix} 1\\2\\3 \end{pmatrix},\begin{pmatrix} 4\\5\\6 \end{pmatrix},\begin{pmatrix} 5\\7\\9 \end{pmatrix},\begin{pmatrix} 0\\0\\1 \end{pmatrix} \right\}U+W=sp⎩⎨⎧​​123​​,​456​​⎭⎬⎫​+sp⎩⎨⎧​​579​​,​001​​⎭⎬⎫​=sp⎩⎨⎧​​123​​,​456​​,​579​​,​001​​⎭⎬⎫​
הגדרה 4

  1. בהינתן מטריצה AAA. נסמן את עמודות AAA: A↓1,A↓2,…,A↓nA \downarrow 1,A \downarrow 2,\dots,A \downarrow nA↓1,A↓2,…,A↓n.
    אזי, col(A)=sp{A↓1,A↓2,…,A↓n}col(A)=sp\{ A \downarrow 1,A \downarrow 2,\dots,A \downarrow n \}col(A)=sp{A↓1,A↓2,…,A↓n} ונקרא מרחב העמודות של AAA.
  2. נסמן את שורות AAA ב-A→1,A→2,…,A→nA \to1,A\to 2,\dots,A\to nA→1,A→2,…,A→n.
    אזי: row(A)=sp{A→1,A→2,…,A→n}row(A)=sp\{ A \to1,A\to 2,\dots,A\to n \}row(A)=sp{A→1,A→2,…,A→n} ונקרא מרחב השורות של AAA.
דוגמה

A=(1231456−178917)A=\begin{pmatrix} 1&2&3&1 \\ 4&5&6&-1 \\ 7&8&9&17 \end{pmatrix}A=​147​258​369​1−117​​ col(A)=sp{(147),(258),(369),(1−117)}col(A)=sp\left\{\begin{pmatrix} 1\\4\\7 \end{pmatrix},\begin{pmatrix} 2\\5\\8 \end{pmatrix},\begin{pmatrix} 3\\6\\9 \end{pmatrix},\begin{pmatrix} 1\\-1\\17 \end{pmatrix}\right\}col(A)=sp⎩⎨⎧​​147​​,​258​​,​369​​,​1−117​​⎭⎬⎫​ row(A)=sp{(1231),(456−1),(78917)}row(A)=sp\left\{ \begin{pmatrix} 1\\2\\3\\1 \end{pmatrix},\begin{pmatrix} 4\\5\\6\\-1 \end{pmatrix},\begin{pmatrix} 7\\8\\9\\17 \end{pmatrix} \right\}row(A)=sp⎩⎨⎧​​1231​​,​456−1​​,​78917​​⎭⎬⎫​
הערה

אם קיים פתרון למערכת האי-הומוגנית Ax‾=b‾A\underline{x}=\underline{b}Ax​=b​ אזי b‾∈col(A)\underline{b} \in col(A)b​∈col(A).

הערה

נניח כי U1,U2,U3U_{1},U_{2},U_{3}U1​,U2​,U3​ ת"מ של מ"ו VVV.
האם U1+U2=U1+U3U_{1}+U_{2}=U_{1}+U_{3}U1​+U2​=U1​+U3​ ⇐ U2=U3U_{2}=U_{3}U2​=U3​. לא! וגם לא בסכום ישר!\color{red}\R{\text{לא! \qquad וגם לא בסכום ישר!}}לא! וגם לא בסכום ישר!
דוגמה:

V=R2V=\mathbb{R}^2V=R2 R2=sp{(10)}⊕sp{(11)}=sp{(10)}⊕sp{(01)}\mathbb{R}^2=sp\left\{ \begin{pmatrix} 1\\0 \end{pmatrix} \right\}\oplus sp\left\{ \begin{pmatrix} 1\\1 \end{pmatrix} \right\}=sp\left\{ \begin{pmatrix} 1 \\ 0 \end{pmatrix} \right\}\oplus sp\left\{ \begin{pmatrix} 0 \\ 1 \end{pmatrix} \right\}R2=sp{(10​)}⊕sp{(11​)}=sp{(10​)}⊕sp{(01​)} sp{(10)}כמובן אסור לצמצם את \color{red}sp\left\{ \begin{pmatrix} 1\\0 \end{pmatrix} \right\} \R{\text{כמובן אסור לצמצם את }}sp{(10​)}כמובן אסור לצמצם את 

כלומר, אין חוק הצמצום בסכום(וגם בסכום ישר) של ת"מ.

הערה (שלוש במספר)

האם x2+2x+3∈sp{4x2+5x+6,7x2+8x+9}x^2+2x+3 \in sp\{ 4x^2+5x+6,7x^2+8x+9 \}x2+2x+3∈sp{4x2+5x+6,7x2+8x+9}?
בודקים האם קיימים α1,α2\alpha_{1},\alpha_{2}α1​,α2​ כך ש:

x2+2x+3=α1(4x2+5x+6)+α2(7x2+8x+9)x^2+2x+3=\alpha_{1}(4x^2+5x+6)+\alpha_{2}(7x^2+8x+9)x2+2x+3=α1​(4x2+5x+6)+α2​(7x2+8x+9) =(4α1+3α2)x2+(5α1+8α2)x+(6α1+9α2)=(4\alpha_{1}+3\alpha_{2})x^2+(5\alpha_{1}+8\alpha_{2})x+(6\alpha_{1}+9\alpha_{2})=(4α1​+3α2​)x2+(5α1​+8α2​)x+(6α1​+9α2​)

נבצע השוואת מקדמים:

{4α1+7α2=15α1+8α2=26α1+9α2=3\begin{cases} 4\alpha_{1}+7\alpha_{2}=1 \\ 5\alpha_{1}+8\alpha_{2}=2 \\ 6\alpha_{1}+9\alpha_{2}=3 \end{cases}⎩⎨⎧​4α1​+7α2​=15α1​+8α2​=26α1​+9α2​=3​

נעשה מערכת משוואות ("חצי שעה ככה בתנור" - יוס)

(471582693)14R1→R1→(17414582693)R2−5R1→R2R3−6R4→R3→(174140−34340−6464)\left(\begin{array}{cc|c} 4&7&1 \\ 5&8&2 \\ 6&9&3 \end{array}\right)\overrightarrow{\frac{1}{4}R_{1}\to R_{1}}\left(\begin{array}{cc|c} 1& \frac{7}{4} & \frac{1}{4} \\ 5&8&2 \\ 6&9&3 \end{array}\right)\overrightarrow{\begin{matrix} R_{2}-5R_{1}\to R_{2} \\ R_{3}-6R_{4}\to R_{3} \end{matrix}}\left(\begin{array}{cc|c} 1& \frac{7}{4} & \frac{1}{4} \\ 0& -\frac{3}{4} & \frac{3}{4} \\ 0& -\frac{6}{4}& \frac{6}{4} \end{array}\right)​456​789​123​​41​R1​→R1​​​156​47​89​41​23​​R2​−5R1​→R2​R3​−6R4​→R3​​​​100​47​−43​−46​​41​43​46​​​ →(47101−1000)\overrightarrow{}\left(\begin{array}{cc|c} 4& 7 & 1 \\ 0& 1 & -1 \\ 0&0&0 \end{array}\right)​400​710​1−10​​

(∗)(*)(∗) אם שואלים אותי האם (1234)∈sp{(5678),(9101112)}\begin{pmatrix}1&2\\3&4\end{pmatrix}\in sp\left\{ \begin{pmatrix}5&6\\7&8\end{pmatrix},\begin{pmatrix}9&10\\11&12\end{pmatrix} \right\}(13​24​)∈sp{(57​68​),(911​1012​)}. באופן דומה!

הגדרה 5 (מ"ו נוצר סופית)

נאמר כי מ"ו VVV נוצר סופית אם קיימת קבוצה סופית AAA כך ש-V=sp(A)V=sp(A)V=sp(A).

דוגמה

R3=sp{(100),(010),(001)}\mathbb{R}^3=sp \left\{\begin{pmatrix} 1\\0\\0 \end{pmatrix},\begin{pmatrix} 0\\1\\0 \end{pmatrix},\begin{pmatrix} 0\\0\\1 \end{pmatrix}\right\}R3=sp⎩⎨⎧​​100​​,​010​​,​001​​⎭⎬⎫​

נוצר סופית ולמעשה כל הדוגמות שראינו למעט F[x]\mathbb{F}[x]F[x].

F[x]=sp{1,x,x2,…,xn,… }\mathbb{F}[x]=sp\{ 1,x,x^2,\dots ,x^{n},\dots \}F[x]=sp{1,x,x2,…,xn,…}

תלות ליניארית

R2=sp{(10),(01)}\mathbb{R}^2=sp\left\{ \begin{pmatrix} 1 \\ 0 \end{pmatrix},\begin{pmatrix} 0 \\ 1 \end{pmatrix}\right\}R2=sp{(10​),(01​)}
הגדרה 6 (תלות ליניארית)

יהא VVV מ"ו מעל F\mathbb{F}F.
נאמר כי {v‾1,…,v‾n}\{ \underline{v}_{1},\dots,\underline{v}_{n} \}{v​1​,…,v​n​} תלויים ליניארית אם קיימים סקלארים α1,α2,…,αn∈F\alpha_{1},\alpha_{2},\dots,\alpha_{n}\in \mathbb{F}α1​,α2​,…,αn​∈F לא כולם אפס כך ש-α1v‾1+α2v‾2+⋯+αnv‾n=0‾\alpha_{1}\underline{v}_{1}+\alpha_{2}\underline{v}_{2}+\dots+\alpha _n\underline{v}_{n}=\underline{0}α1​v​1​+α2​v​2​+⋯+αn​v​n​=0​.
אם {v‾1,…,v‾n}\{ \underline{v}_{1},\dots,\underline{v}_{n} \}{v​1​,…,v​n​} אינם תלויים ליניארית נאמר שהם בלתי תלויים ליניארית. כלומר, {v‾1,…,v‾n}\{ \underline{v}_{1},\dots,\underline{v}_{n} \}{v​1​,…,v​n​} בת"ל(בלתי תלויים ליניארית) אם הצירוף הליניארי היחיד שנותן את ווקטור האפס הוא הצירוף הטריוויאלי(כלומר, כל הסקלרים אפסים).

דוגמה

{(12),(34)}\left\{\begin{pmatrix} 1\\2 \end{pmatrix},\begin{pmatrix} 3\\4 \end{pmatrix}\right\}{(12​),(34​)}

איך נדע אם קיים רק הפתרון הטריוויאלי?

α1(12)+α2(34)=(00)\alpha_{1}\begin{pmatrix} 1\\2 \end{pmatrix}+\alpha_{2}\begin{pmatrix} 3\\4 \end{pmatrix}=\begin{pmatrix} 0\\0 \end{pmatrix}α1​(12​)+α2​(34​)=(00​) (1324)→(130−2)  ⟹  r(A)−n=2−2=0\begin{pmatrix} 1&3\\2&4 \end{pmatrix}\to \begin{pmatrix} 1 & 3\\ 0 & -2 \end{pmatrix} \implies r(A)-n=2-2=0(12​34​)→(10​3−2​)⟹r(A)−n=2−2=0

לכן, מתקיימת בת"ל.

דוגמה (משעמם ליוסי בבית)

{(12),(24)}\left\{ \begin{pmatrix} 1\\2 \end{pmatrix},\begin{pmatrix} 2\\4 \end{pmatrix} \right\}{(12​),(24​)}

אזי, חוץ מהפתרון הטריוויאלי קיים גם:

2(12)+(−1)(24)=(00)2\begin{pmatrix} 1\\2 \end{pmatrix}+(-1)\begin{pmatrix} 2 \\4 \end{pmatrix}=\begin{pmatrix} 0 \\ 0 \end{pmatrix}2(12​)+(−1)(24​)=(00​)

ולכן מתקיימת ת"ל(תלות ליניארית).

דוגמה (עוד אחת בשביל החברה)

{(10),(00)}\left\{\begin{pmatrix} 1 \\ 0 \end{pmatrix},\begin{pmatrix} 0\\0 \end{pmatrix}\right\}{(10​),(00​)} 0(10)+□(00)=(00)0\begin{pmatrix} 1 \\ 0 \end{pmatrix}+\square \begin{pmatrix} 0 \\ 0 \end{pmatrix}=\begin{pmatrix} 0\\0 \end{pmatrix}0(10​)+□(00​)=(00​)

ולכן, קיימת ת"ל.

הערה

קבוצה אינסופית AAA תקרא ת"ל אם קיימת לה תת קבוצה שהיא ת"ל.

תרגיל

הוכיחו אם WWW ת"מ ו-sp(W)=Wsp(W)=Wsp(W)=W.

משפט

{v‾1,v‾2,…,v‾n}\{ \underline{v}_{1},\underline{v}_{2},\dots,\underline{v}_{n} \}{v​1​,v​2​,…,v​n​} ת"ל ⇔ אחד הוקטורים הוא צירוף ליניארי של האחרים.

דוגמה

{(10),(00)}\left\{\begin{pmatrix}1\\0\end{pmatrix},\begin{pmatrix}0\\0\end{pmatrix}\right\}{(10​),(00​)} ת"ל.

(10)≠α(00)\begin{pmatrix}1\\0\end{pmatrix}\neq \alpha\begin{pmatrix}0\\0\end{pmatrix}(10​)=α(00​)

הוכחה:
⇐: נניח כי v‾1,…,v‾n\underline{v}_{1},\dots,\underline{v}_{n}v​1​,…,v​n​ ת"ל. אזי, קיימים α1,…,αn\alpha_{1},\dots,\alpha_{n}α1​,…,αn​ לא כולם אפס, כך ש-

α1v‾1+α2v‾2+⋯+αnv‾n=0‾\alpha_{1}\underline{v}_{1}+\alpha_{2}\underline{v}_{2}+\dots+\alpha_{n}\underline{v}_{n}=\underline{0}α1​v​1​+α2​v​2​+⋯+αn​v​n​=0​

נניח בה"כ כי α1≠0\alpha_{1}\neq0α1​=0 ⇐ v‾1=−α2α1v‾2−α3α1v‾3−⋯−αnα1v‾n\underline{v}_{1}=-\frac{\alpha_{2}}{\alpha_{1}}\underline{v}_{2}-\frac{\alpha_{3}}{\alpha_{1}}\underline{v}_{3}-\dots-\frac{\alpha_{n}}{\alpha_{1}}\underline{v}_{n}v​1​=−α1​α2​​v​2​−α1​α3​​v​3​−⋯−α1​αn​​v​n​.
⇒: נניח בה"כ כי v‾1\underline{v}_{1}v​1​ צ"ל של האחרים. אזי קיימים α1,…,αn∈F\alpha_{1},\dots ,\alpha_{n}\in \mathbb{F}α1​,…,αn​∈F כך ש:

v‾1=α2v‾2+⋯+αnv‾n  ⟹  v‾1−α2v‾2−⋯−αnv‾n=0‾\underline{v}_{1}=\alpha_{2}\underline{v}_{2}+\dots+\alpha_{n}\underline{v}_{n}\implies \underline{v}_{1}-\alpha_{2}\underline{v}_{2}-\dots-\alpha_{n}\underline{v}_{n}=\underline{0}v​1​=α2​v​2​+⋯+αn​v​n​⟹v​1​−α2​v​2​−⋯−αn​v​n​=0​

ולכן הקבוצה ת"ל.
∎

משפט

  1. קבוצת וקטורים המכילה את וקטור האפס ת"ל.
  2. שני ווקטורים תלויים ליניארית ⇔ אחד מהם הוא כפולה בסקלר של השני.
  3. קבוצה המכילה קבוצה ת"ל היא גם ת"ל.
  4. קבוצה המוכלת בקבוצה בת"ל היא בת"ל.
  5. סדרת וקטורים {v‾1,…,v‾n}\{ \underline{v}_{1},\dots,\underline{v}_{n} \}{v​1​,…,v​n​} ת"ל ⇔ קיים בה וקטור v‾i\underline{v}_{i}v​i​ שהוא צ"ל של קודמיו.
  6. סדרת וקטורים {v‾1,…,v‾n}\{ \underline{v}_{1},\dots,\underline{v}_{n} \}{v​1​,…,v​n​} ת"ל ⇔ קיים בה וקטור v‾i\underline{v}_{i}v​i​ שהוא צ"ל של הבאים האחריו.
  7. תהא {v‾1,…,v‾n}\{ \underline{v}_{1},\dots,\underline{v}_{n} \}{v​1​,…,v​n​} בת"ל. אזי, {v‾1,…,v‾n,v‾}\{ \underline{v}_{1},\dots,\underline{v}_{n},\underline{v} \}{v​1​,…,v​n​,v​} ת"ל ⇔ v‾∈sp{v‾1,…,v‾n}\underline{v}\in sp\{ \underline{v}_{1},\dots,\underline{v}_{n} \}v​∈sp{v​1​,…,v​n​}.

הוכחה:

  1. ברור - נקח 0‾,v‾1,…,v‾n\underline{0},\underline{v}_{1},\dots,\underline{v}_{n}0​,v​1​,…,v​n​ אזי 17⋅0‾+0⋅v‾1+⋯+0⋅v‾n=0‾17\cdot \underline{0}+0\cdot \underline{v}_{1}+\dots+0\cdot \underline{v}_{n}=\underline{0}17⋅0​+0⋅v​1​+⋯+0⋅v​n​=0​.
  2. נניח כי v1,v2v_{1},v_{2}v1​,v2​ ת"ל. אזי, לפי המשפט שראינו, לפחות אחד הווקטורים הוא צ"ל של האחרים. כלומר, v1v_{1}v1​ כפולה של v2v_{2}v2​ או v2v_{2}v2​ כפולה של v1v_{1}v1​.
    בה"כ v1=αv2v_{1}=\alpha v_{2}v1​=αv2​ אז v1−αv2=0v_{1}-\alpha v_{2}=0v1​−αv2​=0 ולכן v1,v2v_{1},v_{2}v1​,v2​ ת"ל.
  3. נניח כי A={v‾1,…,v‾k}A=\{ \underline{v}_{1},\dots,\underline{v}_{k} \}A={v​1​,…,v​k​} ו-B={v‾1,…,v‾k,v‾k+1,…,v‾n}B=\{ \underline{v}_{1},\dots,\underline{v}_{k},\underline{v}_{k+1},\dots,\underline{v}_{n} \}B={v​1​,…,v​k​,v​k+1​,…,v​n​}.
    לפי הנחה AAA ת"ל ולכן קיימים α1,…,αn∈F\alpha_{1},\dots,\alpha_{n}\in \mathbb{F}α1​,…,αn​∈F לא כולם אפס, כך ש-α1v‾1+⋯+αkv‾k=0‾\alpha_{1}\underline{v}_{1}+\dots+\alpha_{k}\underline{v}_{k}=\underline{0}α1​v​1​+⋯+αk​v​k​=0​.
    לכן קיימים α1,…,αk∈F\alpha_{1},\dots,\alpha_{k}\in \mathbb{F}α1​,…,αk​∈F לא כולם אפס, כך ש-α1v‾1+⋯+αkv‾k+0⋅v‾k+1+⋯+0⋅v‾n=0‾\alpha_{1}\underline{v}_{1}+\dots+\alpha_{k}\underline{v}_{k}+0\cdot \underline{v}_{k+1}+\dots+0\cdot \underline{v}_{n}=\underline{0}α1​v​1​+⋯+αk​v​k​+0⋅v​k+1​+⋯+0⋅v​n​=0​ זוהי קבוצה ת"ל.
  4. נניח בשלילה כי לקבוצה בת"ל קיימת תת קבוצה ת"ל0. לפי (3) נקבל הקבוצה ת"ל - סתירה!

ל-5,65,65,6 נעשה הוכחה בדרך של החברה כדי לא לבזבז זמן.

0⋅v‾1+0⋅v‾2+3⋅v‾3+4⋅v‾4−11⋅v‾5+9v‾6+0⋅v‾7+0⋅v‾8=0‾0\cdot \underline{v}_{1}+0\cdot \underline{v}_{2}+3\cdot \underline{v}_{3}+4\cdot \underline{v}_{4}-11\cdot \underline{v}_{5}+9\underline{v}_{6}+0\cdot \underline{v}_{7}+0\cdot \underline{v}_{8}=\underline{0}0⋅v​1​+0⋅v​2​+3⋅v​3​+4⋅v​4​−11⋅v​5​+9v​6​+0⋅v​7​+0⋅v​8​=0​

נעביר אגפים לפי מה שנרצה להשיג.
הבנתם? יופי.
7. תהא {v‾1,…,v‾n}\{ \underline{v}_{1},\dots,\underline{v}_{n} \}{v​1​,…,v​n​} בת"ל. נניח כי {v‾,v‾1,…,v‾n}\{ \underline{v},\underline{v}_{1},\dots,\underline{v}_{n} \}{v​,v​1​,…,v​n​} ת"ל. אזי קיימים α,α1,…,αn\alpha,\alpha_{1},\dots,\alpha_{n}α,α1​,…,αn​ לא כולם אפס, כך ש- αv‾+α1v‾1+⋯+αnv‾n=0\alpha \underline{v}+\alpha_{1}\underline{v}_{1}+\dots+\alpha_{n}\underline{v}_{n}=0αv​+α1​v​1​+⋯+αn​v​n​=0.
אם α=0\alpha=0α=0 (בשלילה) נקבל כי α1=α2=⋯=αn=0\alpha_{1}=\alpha_{2}=\dots=\alpha_{n}=0α1​=α2​=⋯=αn​=0. שהרי {v‾1,…,v‾n}\{ \underline{v}_{1},\dots,\underline{v}_{n} \}{v​1​,…,v​n​} בת"ל. לכן α≠0\alpha\neq0α=0 זאת אומרת v‾=−α1αv‾1−⋯−αnαv‾n  ⟹  v‾∈sp{v‾1,…,v‾n}\underline{v}=-\frac{\alpha_{1}}{\alpha}\underline{v}_{1}-\dots-\frac{\alpha_{n}}{\alpha}\underline{v}_{n}\implies \underline{v} \in sp\{ \underline{v}_{1},\dots,\underline{v}_{n} \}v​=−αα1​​v​1​−⋯−ααn​​v​n​⟹v​∈sp{v​1​,…,v​n​}.
⇒: נניח כי v‾∈sp{v‾1,…,v‾n}\underline{v} \in sp\{ \underline{v}_{1},\dots,\underline{v}_{n} \}v​∈sp{v​1​,…,v​n​} אזי קיימים α1,…,αn∈F\alpha_{1},\dots,\alpha_{n}\in \mathbb{F}α1​,…,αn​∈F כך ש-v‾=α1v‾1+⋯+αnv‾n\underline{v}=\alpha_{1}\underline{v}_{1}+\dots+\alpha_{n}\underline{v}_{n}v​=α1​v​1​+⋯+αn​v​n​ ⇐ v‾−α1v‾1−⋯−αnv‾n=0‾\underline{v}-\alpha_{1}\underline{v}_{1}-\dots-\alpha_{n}\underline{v}_{n}=\underline{0}v​−α1​v​1​−⋯−αn​v​n​=0​.
משמע, {v‾,v‾1,…,v‾n}\{ \underline{v},\underline{v}_{1},\dots,\underline{v}_{n} \}{v​,v​1​,…,v​n​} ת"ל.
∎

טענה (מסעיף 2 של המשפט)

יהא VVV מ"ו מעל F\mathbb{F}F ויהיו v‾1,…,v‾k,w‾1,…,w‾m∈V\underline{v}_{1},\dots,\underline{v}_{k},\underline{w}_{1},\dots,\underline{w}_{m}\in Vv​1​,…,v​k​,w​1​,…,w​m​∈V.
אם כל v‾i\underline{v}_{i}v​i​ צ"ל של ה-w‾j\underline{w}_{j}w​j​-ים אזי sp{v‾1,…,v‾n}⊆sp{w‾1,…,w‾m}sp\{ \underline{v}_{1},\dots,\underline{v}_{n} \}\subseteq sp\{ \underline{w}_{1},\dots,\underline{w}_{m} \}sp{v​1​,…,v​n​}⊆sp{w​1​,…,w​m​}.

הוכחה:

ברור\R{\text{ברור}}ברור

הסבר: "אז לוקחים v‾i\underline{v}_{i}v​i​ ואז נהנהנהנהנהנה-נהנה - הבנתם? יופי"-יוסי.
∎

הוכחה: (כי מישהו הצליח לשכנע אותו להוכיח)
מתקיים v‾i∈sp{w‾1,…,w‾n}\underline{v}_{i}\in sp\{ \underline{w}_{1},\dots,\underline{w}_{n} \}v​i​∈sp{w​1​,…,w​n​} לכל v‾i∈{v‾1,…,v‾k}\underline{v}_{i}\in \{ \underline{v}_{1},\dots,\underline{v}_{k} \}v​i​∈{v​1​,…,v​k​}.
לכן, {v‾1,…,v‾k}⊆sp{w‾1,…,w‾m}\{ \underline{v}_{1},\dots,\underline{v}_{k} \}\subseteq sp\{ \underline{w}_{1},\dots,\underline{w}_{m} \}{v​1​,…,v​k​}⊆sp{w​1​,…,w​m​} ⇐ sp{v‾1,…,v‾n}⊆sp{w‾1,…,w‾m}sp\{ \underline{v}_{1},\dots,\underline{v}_{n} \}\subseteq sp\{ \underline{w}_{1},\dots,\underline{w}_{m} \}sp{v​1​,…,v​n​}⊆sp{w​1​,…,w​m​}.
∎

טענה

יהא VVV מ"ו מעל F\mathbb{F}F ויהיו v‾1,…,v‾k,w‾1,…,w‾m∈V\underline{v}_{1},\dots,\underline{v}_{k},\underline{w}_{1},\dots,\underline{w}_{m}\in Vv​1​,…,v​k​,w​1​,…,w​m​∈V.
מתקיים sp{v‾1,…,v‾k}=sp{w‾1,…,w‾m}sp\{ \underline{v}_{1},\dots,\underline{v}_{k} \}=sp\{ \underline{w}_{1},\dots,\underline{w}_{m} \}sp{v​1​,…,v​k​}=sp{w​1​,…,w​m​} ⇔ כל v‾i\underline{v}_{i}v​i​ צ"ל של ה-w‾j\underline{w}_{j}w​j​-ים וגם כל w‾i\underline{w}_{i}w​i​ צ"ל של ה-v‾i\underline{v}_{i}v​i​-ים.

הערה

תלמיד: "זה כמו הכלה דו כיוונית, לא?"
יוסי: "זה בדיוק זה. למדת את זה במתקא, לא? - אני מיישם המתקא שלך."

הוכחה:

ברור ממקודם\R{\text{ברור ממקודם}}ברור ממקודם

∎

מסקנה

sp{v‾,…,v‾k,w‾}=sp{v‾1,…,v‾k}sp\{ \underline{v},\dots,\underline{v}_{k},\underline{w} \}=sp\{ \underline{v}_{1},\dots,\underline{v}_{k} \}sp{v​,…,v​k​,w​}=sp{v​1​,…,v​k​} ⇔ w‾\underline{w}w​ צ"ל של ה-v‾i\underline{v}_{i}v​i​-ים.

זוהי טענה דומה בהקשר של אי תלות.
ה-7 מדבר על המשפט הקודם.

משפט (שקול ל-7)

{v‾1,…,v‾n}\{ \underline{v}_{1},\dots ,\underline{v}_{n} \}{v​1​,…,v​n​} בת"ל אזי {v‾,v‾1,…,v‾n}\{ \underline{v},\underline{v}_{1},\dots,\underline{v}_{n} \}{v​,v​1​,…,v​n​} בת"ל ⇔ v‾∉sp{v‾1,…,v‾n}\underline{v} \not\in sp\{ \underline{v}_{1},\dots,\underline{v}_{n} \}v​∈sp{v​1​,…,v​n​}.

סיפורים vol.2vol.2vol.2

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

W=sp{(123),(456),(789)}V=R3W=sp\left\{ \begin{pmatrix} 1 \\ 2 \\ 3 \end{pmatrix},\begin{pmatrix} 4 \\ 5 \\ 6 \end{pmatrix},\begin{pmatrix} 7 \\ 8 \\ 9 \end{pmatrix} \right\} \qquad \qquad V=\mathbb{R}^3W=sp⎩⎨⎧​​123​​,​456​​,​789​​⎭⎬⎫​V=R3 (123456789)R2−4R1→R2R3−7R1→R3→(1230−3−60−6−12)R3−2R1→R3→(1230−3−6000)\begin{pmatrix} 1 & 2 & 3 \\ 4 & 5 & 6 \\ 7 & 8 & 9 \end{pmatrix}\overrightarrow{\begin{matrix} R_{2}-4R_{1}\to R_{2} \\ R_{3}-7R_{1}\to R_{3} \end{matrix}}\begin{pmatrix} 1 & 2 & 3 \\ 0 & -3 & -6 \\ 0 & -6 & -12 \end{pmatrix}\overrightarrow{R_{3}-2R_{1}\to R_{3}}\begin{pmatrix} 1 & 2 & 3 \\ 0 & -3 & -6 \\ 0 & 0 & 0 \end{pmatrix}​147​258​369​​R2​−4R1​→R2​R3​−7R1​→R3​​​​100​2−3−6​3−6−12​​R3​−2R1​→R3​​​100​2−30​3−60​​ −13R2→R2אסתטיקה→(123012000)\overrightarrow{\begin{matrix} -\frac{1}{3}R_{2}\to R_{2} \\ \R{\text{אסתטיקה}} \end{matrix}}\begin{pmatrix} 1 & 2 & 3 \\ 0 & 1 & 2 \\ 0 & 0 & 0 \end{pmatrix}−31​R2​→R2​אסתטיקה​​​100​210​320​​

יוסי טוען כי sp{(123),(456),(789)}=sp{(123),(012)}sp\left\{ \begin{pmatrix}1\\2\\3\end{pmatrix},\begin{pmatrix}4\\5\\6\end{pmatrix},\begin{pmatrix}7\\8\\9\end{pmatrix} \right\}=sp\left\{ \begin{pmatrix}1\\2\\3\end{pmatrix},\begin{pmatrix}0\\1\\2\end{pmatrix} \right\}sp⎩⎨⎧​​123​​,​456​​,​789​​⎭⎬⎫​=sp⎩⎨⎧​​123​​,​012​​⎭⎬⎫​.
מדירוג בכיוון שדירגנו, אנו מקבלים כי sp{(123),(012)}⊆sp{(123),(456),(789)}sp\left\{ \begin{pmatrix}1\\2\\3\end{pmatrix},\begin{pmatrix}0\\1\\2\end{pmatrix} \right\}\subseteq sp\left\{ \begin{pmatrix}1\\2\\3\end{pmatrix},\begin{pmatrix}4\\5\\6\end{pmatrix},\begin{pmatrix}7\\8\\9\end{pmatrix} \right\}sp⎩⎨⎧​​123​​,​012​​⎭⎬⎫​⊆sp⎩⎨⎧​​123​​,​456​​,​789​​⎭⎬⎫​.
מדירוג בכיוון ההפוך, נקבל כי sp{(123),(456),(789)}⊆sp{(123),(012)}sp\left\{ \begin{pmatrix}1\\2\\3\end{pmatrix},\begin{pmatrix}4\\5\\6\end{pmatrix},\begin{pmatrix}7\\8\\9\end{pmatrix} \right\}\subseteq sp\left\{ \begin{pmatrix}1\\2\\3\end{pmatrix},\begin{pmatrix}0\\1\\2\end{pmatrix} \right\}sp⎩⎨⎧​​123​​,​456​​,​789​​⎭⎬⎫​⊆sp⎩⎨⎧​​123​​,​012​​⎭⎬⎫​.
ולכן, (לפי דמקה) נקבל שוויון.
נרצה להראות כי הווקטורים הללו הם בת"ל.

α1(123)+α2(012)=(000)  ⟹  {α1=0α2=0\alpha_{1}\begin{pmatrix} 1 \\ 2 \\ 3 \end{pmatrix}+\alpha_{2}\begin{pmatrix} 0 \\ 1 \\ 2 \end{pmatrix}=\begin{pmatrix} 0 \\ 0 \\ 0 \end{pmatrix}\implies \begin{cases} \alpha_{1}=0 \\ \alpha_{2}=0 \end{cases}α1​​123​​+α2​​012​​=​000​​⟹{α1​=0α2​=0​

לכן, הם בת"ל. ולכן:

W=sp{(123),(012)}W=sp\left\{ \begin{pmatrix} 1 \\ 2 \\ 3 \end{pmatrix},\begin{pmatrix} 0 \\ 1 \\ 2 \end{pmatrix} \right\}W=sp⎩⎨⎧​​123​​,​012​​⎭⎬⎫​

עוד רגע נקרא לזה בסיס. נגיד ש-{(123),(012)}\left\{ \begin{pmatrix}1 \\2 \\3\end{pmatrix},\begin{pmatrix}0 \\1 \\2\end{pmatrix} \right\}⎩⎨⎧​​123​​,​012​​⎭⎬⎫​ בסיס.

בחזרה לפורמליות

משפט

  1. תהיינה A,BA,BA,B מטריצות שקולות שורה.
    השורות של AAA ת"ל ⇔ השורות של BBB ת"ל.
  2. שורות שונות מאפס של מטריצה מדורגת הן בת"ל.

הוכחה: (1)
נראה כי השורות של AAA בת"ל ⇔ השורות של BBB בת"ל. נראה את הטענה עבור מטריצה CCC המתקבלת מ-AAA ע"י פעולה אלמנטרית אחת. כלומר, נראה כי AAA בת"ל ⇔ השורות של CCC בת"ל. (וזה יספיק כמובן)
נסמן את שורות AAA ב-A→1,A→2,…,A→nA\to_{1},A\to_{2},\dots,A\to_{n}A→1​,A→2​,…,A→n​ ונניח שהן בת"ל.
עבור Ri↔RjR_{i}\leftrightarrow R_{j}Ri​↔Rj​ אין מה להוכיח. (זה רק החלפה של הסדר)
עבור βRi→Ri\beta R_{i}\to R_{i}βRi​→Ri​, כאשר β≠0\beta\neq0β=0, שורות CCC הן: A→1,A→2,…,βA→i,…,A→nA\to_{1},A\to_{2},\dots,\beta A\to_{i},\dots,A\to_{n}A→1​,A→2​,…,βA→i​,…,A→n​. נניח כי:

α1(A→1)+α2(A→2)+⋯+αi(βiA→i)+⋯+αn(A→n)=0‾\alpha_{1}(A\to_{1})+\alpha_{2}(A\to_{2})+\dots+\alpha_{i}(\beta_{i}A\to_{i})+\dots+\alpha_{n}(A\to_{n})=\underline{0}α1​(A→1​)+α2​(A→2​)+⋯+αi​(βi​A→i​)+⋯+αn​(A→n​)=0​

אבל, A→1,A→2,…,A→nA\to_{1},A\to_{2},\dots,A\to_{n}A→1​,A→2​,…,A→n​ בת"ל ולכן, α1=0,α2=0,αiβ=0,…,αm=0\alpha_{1}=0,\alpha_{2}=0,\alpha _i\beta=0,\dots ,\alpha_{m}=0α1​=0,α2​=0,αi​β=0,…,αm​=0 אנו יודעים כי β≠0\beta\neq0β=0 ולכן αi=0\alpha_{i}=0αi​=0.
עבור βRj+Ri→Ri\beta R_{j}+R_{i}\to R_{i}βRj​+Ri​→Ri​, שורות CCC הן A→1,A→2,…,A→i+βA→j,…,A→mA\to_{1},A\to_{2},\dots,A\to_{i}+\beta A\to_{j},\dots,A\to_{m}A→1​,A→2​,…,A→i​+βA→j​,…,A→m​. נניח כי:

λ1A→1+λ2A→2+⋯+λi(A→i+βA→j)+⋯+λmA→m=0‾\lambda_{1}A\to_{1}+\lambda_{2}A\to_{2}+\dots+\lambda_{i}(A\to_{i}+\beta A\to_{j})+\dots+\lambda_{m}A\to_{m}=\underline{0}λ1​A→1​+λ2​A→2​+⋯+λi​(A→i​+βA→j​)+⋯+λm​A→m​=0​

נקבל:

λ1A→1+λ2A→2+⋯+λiA→i+⋯+(λj+λiβ)A→j+⋯+λmA→m=0‾\lambda_{1}A\to_{1}+\lambda_{2}A\to_{2}+\dots+\lambda_{i}A\to _{i}+\dots+(\lambda_{j}+\lambda_{i}\beta)A\to_{j}+\dots+\lambda_{m}A\to_{m}=\underline{0}λ1​A→1​+λ2​A→2​+⋯+λi​A→i​+⋯+(λj​+λi​β)A→j​+⋯+λm​A→m​=0​

כיוון ש-A→1,A→2,…,A→i,…,A→j,…,A→nA\to_{1},A\to_{2},\dots,A\to_{i},\dots,A\to_{j},\dots,A\to_{n}A→1​,A→2​,…,A→i​,…,A→j​,…,A→n​ בת"ל, נקבל כי: λ1=0,λ2=0,…,λi=0,…,λj+λiβ=0,…,λm=0\lambda_{1}=0,\lambda_{2}=0,\dots,\lambda_{i}=0,\dots,\lambda_{j}+\lambda_{i}\beta=0,\dots,\lambda_{m}=0λ1​=0,λ2​=0,…,λi​=0,…,λj​+λi​β=0,…,λm​=0.
לכן, λj=−βλi=0\lambda _j=-\beta\lambda_{i}=0λj​=−βλi​=0, שכן λi=0\lambda_{i}=0λi​=0.
∎

דוגמה (לסעיף 2 במשפט)

(12345670091−100000432100000110)\begin{pmatrix} 1 & 2 & 3 & 4 & 5 & 6 & 7 \\ 0 & 0 & 9 & 1 & -1 & 0 & 0 \\ 0 & 0 & 0 & 4 & 3 & 2 & 1 \\ 0 & 0 & 0 & 0 & 0 & 11 & 0 \end{pmatrix}​1000​2000​3900​4140​5−130​60211​7010​​ α1(1234567)+α2(0091−100)+α3(0004321)+α4(00000110)=(0000000)\alpha_{1}\begin{pmatrix} 1\\2\\3\\4\\5\\6\\7 \end{pmatrix}+\alpha_{2}\begin{pmatrix} 0\\0\\9\\1\\-1\\0\\0 \end{pmatrix}+\alpha_{3}\begin{pmatrix} 0\\0\\0\\4\\3\\2\\1 \end{pmatrix}+\alpha_{4}\begin{pmatrix} 0\\0\\0\\0\\0\\11\\0 \end{pmatrix}=\begin{pmatrix} 0\\0\\0\\0\\0\\0\\0 \end{pmatrix}α1​​1234567​​+α2​​0091−100​​+α3​​0004321​​+α4​​00000110​​=​0000000​​

כל המקדמים אפסים.

צירופים ליניאריים של שורות מטריצה

הערה (תזכורת)

אם A↓1,A↓2,…,A↓nA \downarrow1,A \downarrow 2,\dots,A \downarrow nA↓1,A↓2,…,A↓n עמודות המטריצה AAA, אזי col(A)=sp{A↓1,…,A↓n}col(A)=sp\{ A \downarrow 1,\dots,A \downarrow n \}col(A)=sp{A↓1,…,A↓n}
אם A→1,A→2,…,A→nA\to_{1},A\to_{2},\dots,A\to_{n}A→1​,A→2​,…,A→n​ שורות המטריצה AAA, אזי row(A)={A→1,…,A→n}row(A)=\{ A\to_{1},\dots,A\to_{n} \}row(A)={A→1​,…,A→n​}.

משפט

A,BA,BA,B שקולות שורה ⇐ row(A)=row(B)row(A)=row(B)row(A)=row(B).

הוכחה:

ברור\R{\text{ברור}}ברור

∎

גם הטענה ההפוכה נכונה.

טענה

אם ל-A,BA,BA,B אותו מספר שורות וגם row(A)=row(B)row(A)=row(B)row(A)=row(B) ⇐ A,BA,BA,B שקולות שורה.

הוכחה של החברה: (לא פורמלית)
נסמן את שורות AAA ב-A→1,…,A→mA\to_{1},\dots,A\to_{m}A→1​,…,A→m​ ואת שורות BBB ב-B→1,…,B→mB\to_{1},\dots,B\to_{m}B→1​,…,B→m​ (מס' זהה לפי ההנחה)
לפי ההנחה, row(A)=row(B)row(A)=row(B)row(A)=row(B), כלומר, sp{A→1,…,A→m}=sp{B→1,…,A→m}sp\{ A\to_{1},\dots,A\to_{m} \}=sp\{ B\to_{1},\dots,A\to_{m} \}sp{A→1​,…,A→m​}=sp{B→1​,…,A→m​}.
ממשפט שראינו, נקבל כי כל B→iB\to_{i}B→i​ הוא צ"ל של ה-A→jA\to_{j}A→j​-ים. בפרט, BMB_{M}BM​ הוא צ"ל של ה-A→jA\to_{j}A→j​-ים.
מכאן נובע שבאמצעות פעולות אלמנטריות על ה-A→jA\to_{j}A→j​-ים נוכל להפוך את אחד ה-A→jA\to_{j}A→j​-ים ל-B→mB\to_{m}B→m​.
כיוון שפעולות אלמנטריות אינן משנות את ה-spanspanspan נקבל כי:

sp{A→1,A→2,…,A→j−1,B→M,A→j+1,…,A→m}=sp{B→1,…,B→m}sp\{ A\to_{1},A\to_{2},\dots,A\to_{j-1},B\to_{M},A\to_{j+1},\dots,A\to_{m} \}=sp\{ B\to_{1},\dots,B\to_{m} \}sp{A→1​,A→2​,…,A→j−1​,B→M​,A→j+1​,…,A→m​}=sp{B→1​,…,B→m​}   ⟹  sp{A→1,…,A→j−1,A→j+1,…,A→m}=sp{B→1,…,B→m−1}\implies sp\{ A\to_{1},\dots,A\to_{j-1},A\to_{j+1},\dots,A\to_{m} \}=sp\{ B\to_{1},\dots,B\to_{m-1} \}⟹sp{A→1​,…,A→j−1​,A→j+1​,…,A→m​}=sp{B→1​,…,B→m−1​}

באופן דומה נשמיט את B→m−1B\to_{m-1}B→m−1​ עד שנגיע ל-B→1B\to_{1}B→1​.
∎

הערה

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

דוגמה

W=sp{(1,0,−1),(0,1,2)}U=sp{(1,2,3),(3,2,1),(2,2,2)}\begin{matrix} W=sp\left\{ (1,0,-1),(0,1,2) \right\} \\ U=sp\{ (1,2,3),(3,2,1),(2,2,2) \} \end{matrix}W=sp{(1,0,−1),(0,1,2)}U=sp{(1,2,3),(3,2,1),(2,2,2)}​

האם המרחבים זהים?

(123321222)→(10−1012000)\begin{pmatrix} 1 & 2 & 3\\3 & 2 & 1\\ 2 & 2 & 2 \end{pmatrix}\to \begin{pmatrix} 1 & 0 & -1\\0 & 1 & 2\\0 & 0 & 0 \end{pmatrix}​132​222​312​​→​100​010​−120​​

לכן המרחבים זהים!

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

ראשית, col(A)=row(At)col(A)=row(A^t)col(A)=row(At).

טענה (ראינו)

למערכת Am×nx‾=b‾\underset{m\times n}{A}\underline{x}=\underline{b}m×nA​x​=b​ יש פתרון ⇔ b∈col(A)b \in col(A)b∈col(A).

טענה

למערכת Ax‾=0‾A\underline{x}=\underline{0}Ax​=0​ יש פתרון לא טריוויאלי ⇔ עמודות AAA ת"ל.

הוכחה:
⇐: נניח שלמערכת Ax‾=0‾A\underline{x}=\underline{0}Ax​=0​ יש פתרון לא טריוויאלי, אזי קיימים (a1⋮αn)≠0\begin{pmatrix}a_{1}\\\vdots\\\alpha_{n}\end{pmatrix}\neq0​a1​⋮αn​​​=0 כך ש-A(α1⋮αn)=0‾A\begin{pmatrix}\alpha_{1}\\ \vdots\\\alpha_{n}\end{pmatrix}=\underline{0}A​α1​⋮αn​​​=0​. זאת אומרת, קיבלנו צ"ל לא טריוויאלי של העמודות שנותן את וקטור האפס ולכן הם ת"ל.
⇒: "פשוט ללכת בכיוון ההפוך" - יוס
∎