חזור לתיקייה: שיעורי בית

גליון 5

חיפוש בתיקיה
Ctrl K
לחץ כאן או הקש Ctrl K כדי לחפש בכל התיקיה
  • תרגיל 1
  • תרגיל 2
  • תרגיל 3
  • תרגיל 4
  • תרגיל 5

גליון 5

01040166

אלגברה אמ

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

גליון 5

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

uni-folder.vercel.app

תרגיל 1

תרגיל (1 [א])

נסמן ב-VVV את אוסף כל הפולינומים, עם מקדמים ממשיים, ממעלה קטנה או שווה ל-3.
נגדיר על VVV פעולות חיבור וכפל בסקלאר ממשי:
חיבור: p(x)⊕q(x)=p(x)+q(x)+x2p(x)\oplus q(x)=p(x)+q(x)+x^2p(x)⊕q(x)=p(x)+q(x)+x2
כפל בסקלר: α⊙p(x)=αp(x)+(α−1)x2\alpha \odot p(x)=\alpha p(x)+(\alpha-1)x^2α⊙p(x)=αp(x)+(α−1)x2
(הסימנים באגף ימין מתייחסים לפעולות הרגילות על פולינומים)

הוכיחו כי קבוצה זו עם שתי הפעולות שהוגדרו מהווה מרחב וקטורי מעל השדה R\mathbb{R}R.

הוכחה:
מכיוון ש-Rn[x]\mathbb{R}_{n}[x]Rn​[x] הוא מ"ו ידוע מעל R\mathbb{R}R, וגם V⊆Rn[x]V \subseteq \mathbb{R}_{n}[x]V⊆Rn​[x] נדרש להוכיח רק כי VVV הוא ת"מ.
א. 0‾∈V\underline{0}\in V0​∈V מכיוון שהוא נדרש לקיים 0‾+p(x)=p(x)\underline{0}+p(x)=p(x)0​+p(x)=p(x) אזי 0‾\underline{0}0​ הינו הפולינום −x2-x^2−x2 אשר נמצא ב-R3[x]\mathbb{R}_{3}[x]R3​[x]. שכן:

p(x)+(−x2)=p(x)+(−x2)+x2=p(x)p(x)+(-x^2)=p(x)+(-x^2)+x^2=p(x)p(x)+(−x2)=p(x)+(−x2)+x2=p(x)

ולכן, VVV אינה ריקה.
ב. יהיו α∈R,p(x),q(x)∈V\alpha \in \mathbb{R},p(x),q(x)\in Vα∈R,p(x),q(x)∈V. צ.ל: αp(x)+q(x)∈V\alpha p(x)+q(x)\in Vαp(x)+q(x)∈V.
נתון: a,b,c,m,n,k∈Ra,b,c,m,n,k \in \mathbb{R}a,b,c,m,n,k∈R צ.ל: α(ax2+bx+c)+(mx2+nx+k)∈V\alpha(ax^2+bx+c)+(mx^2+nx+k)\in Vα(ax2+bx+c)+(mx2+nx+k)∈V.
הוכחה:

α(ax2+bx+c)+(α−1)x2+(mx2+nx+k)+x2=↓קומוטטיביותRוחוקי כפל ב-\alpha(ax^2+bx+c)+(\alpha-1)x^2+(mx^2+nx+k)+x^2\underset{\begin{matrix} \downarrow \\ \R{קומוטטיביות} \\ \mathbb{R}\R{\text{וחוקי כפל ב-}} \end{matrix}}{=}α(ax2+bx+c)+(α−1)x2+(mx2+nx+k)+x2↓קומוטטיביותRוחוקי כפל ב-​=​ αax2+αbx+αc+(α−1)x2+mx2+nx+k+x2=(αa+α+m)x2+(αb+n)x+(αc+k)\alpha ax^2+\alpha bx+\alpha c+(\alpha-1)x^2+mx^2+nx+k+x^2=(\alpha a+\alpha+m)x^2+(\alpha b+n)x+(\alpha c+k)αax2+αbx+αc+(α−1)x2+mx2+nx+k+x2=(αa+α+m)x2+(αb+n)x+(αc+k)

על פי סגירות לחיבור וכפל ב-R\mathbb{R}R אנו יודעים כי (αa+α+m)x2+(αb+n)x+(αc+k)∈R3[x](\alpha a+\alpha+m)x^2+(\alpha b+n)x+(\alpha c+k) \in \mathbb{R}_{3}[x](αa+α+m)x2+(αb+n)x+(αc+k)∈R3​[x]. ולכן, (αa+α+m)x2+(αb+n)x+(αc+k)∈V(\alpha a+\alpha+m)x^2+(\alpha b+n)x+(\alpha c+k)\in V(αa+α+m)x2+(αb+n)x+(αc+k)∈V.

לכן, VVV הינו ת"מ של R3[x]\mathbb{R}_{3}[x]R3​[x] ולכן הוא מ"ו בעצמו.
∎

תרגיל (1 [ב])

לאילו מספרים ממשיים β\betaβ תהיה הקבוצה: W={p(x)∈V∣p(2)=β}W=\{ p(x)\in V|p(2)=\beta \}W={p(x)∈V∣p(2)=β} ת"מ של VVV?
הוכיחו.

הוכחה:
כדי שהקבוצה תהיה ת"מ של VVV נדרש לשלושה תנאים:
א. W⊆VW \subseteq VW⊆V - זה מתרחש מכיוון ש-WWW מכיל את כל הפולינומים ב-VVV שלהם מתקיים p(2)=βp(2)=\betap(2)=β ולכן, כל האיברים ב-WWW נמצאים גם ב-VVV ולכן, לפי הגדרת הכלה, התנאי מתקיים.
ב. 0‾∈W\underline{0}\in W0​∈W - נבדוק לאילו ערכי β\betaβ זה מתרחש. נסתכל על חיבור של שני פולינומים: p(x)∈Wp(x)\in Wp(x)∈W ו-0‾\underline{0}0​. צ.ל: p(x)+0‾=p(x)p(x)+\underline{0}=p(x)p(x)+0​=p(x) ו-0‾(2)=β\underline{0}(2)=\beta0​(2)=β:

p(x)+0‾=p(x)+0‾+x2=לפי הנחהp(x)p(x)+\underline{0}=p(x)+\underline{0}+x^2\underset{\R{\text{לפי הנחה}}}{=}p(x)p(x)+0​=p(x)+0​+x2לפי הנחה=​p(x) 0‾(2)=−22=−4\underline{0}(2)=-2^2=-40​(2)=−22=−4

במקרה בו 0‾(2)=β\underline{0}(2)=\beta0​(2)=β אנו יודעים כי −4=β-4=\beta−4=β. לכן, 0‾∈W\underline{0}\in W0​∈W רק אם β=−4\beta=-4β=−4
מכיוון שיש לנו רק אופציה אחת ל-β\betaβ, נבדוק רק עליה את התנאי האחרון שהוא סגירות כפל לסקלר וסגירות חיבור.
יהיו α∈Fv,u∈W\alpha \in \mathbb{F} \quad v,u \in Wα∈Fv,u∈W נדרש להוכיח כי αv+u∈W\alpha v+u \in Wαv+u∈W. כלומר, נתון לנו כי: v(2)=−4u(2)=−4\begin{matrix}v(2)=-4 \\u(2)=-4\end{matrix}v(2)=−4u(2)=−4​ ונדרש להוכיח כי αv(2)=−4(u+v)(2)=−4\begin{matrix}\alpha v(2)=-4\\ (u+v)(2)=-4\end{matrix}αv(2)=−4(u+v)(2)=−4​.

αv(2)=αv(2)+(α−1)⋅42=−4α+4α−4=−4\alpha v(2)=\alpha v(2)+(\alpha-1)\cdot 4^2 =-4\alpha+4\alpha-4=-4αv(2)=αv(2)+(α−1)⋅42=−4α+4α−4=−4 (u+v)(2)=(u+v+x2)(2)=−4−4+4=−4(u+v)(2)=(u+v+x^2)(2)=-4-4+4=-4(u+v)(2)=(u+v+x2)(2)=−4−4+4=−4

לכן, בשביל β=−4\beta=-4β=−4 מתקיםם כי WWW הוא ת"מ של VVV.
∎

תרגיל 2

תרגיל (2 [א] (i))

בכל אחד מהמקרים הבאים מתקיים W⊆VW \subseteq VW⊆V.
החליטו עבור המקרים הבאים האם WWW ת"מ של VVV. אם כן, נמקו. אם לא, תנו דוגמה לתנאי שלא מתקיים.

V=Rn×nV=\mathbb{R}^{n\times n}V=Rn×n ו-=W=W=W קבוצת כל המטריצות שמכפלת איבריהן שווה ל-0.

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

A=(1203)B=(1023)A=\begin{pmatrix} 1&2 \\ 0&3 \end{pmatrix} \qquad B=\begin{pmatrix} 1&0 \\ 2&3 \end{pmatrix}A=(10​23​)B=(12​03​)

מכפלת כל מטריצה הינה 0, שכן יש איבר השווה ל-0 בכל מטריצה.

A+B=(2223)A+B=\begin{pmatrix} 2&2 \\ 2&3 \end{pmatrix}A+B=(22​23​)

במצב זה, לאחר החיבור בין המטריצות, נראה כי אין איבר השווה ל-0 ולכן, מכפלת האיברים תהיה: 2⋅2⋅2⋅3=32≠02 \cdot 2 \cdot 2 \cdot 3 =32\neq 02⋅2⋅2⋅3=32=0.
לכן, המטריצה החדשה אינה ב-WWW ולכן, WWW אינה סגורה לחיבור ולכן היא אינה ת"מ.
∎

תרגיל (2 [א] (ii))

V=Rn×nV=R^{n \times n}V=Rn×n ו-=W=W=W קבוצת כל המטריצות מדרגה קטנה או שווה ל-1.

הוכחה:
הטענה אינה נכונה. נסתכל על דוגמה נגדית:

A=(5656)B=(1224)A=\begin{pmatrix} 5 & 6 \\ 5 & 6 \end{pmatrix} \qquad B=\begin{pmatrix} 1 & 2 \\ 2 & 4 \end{pmatrix}A=(55​66​)B=(12​24​)

שתי המטריצות האלו בעלות דרגה 1=1=1= לאור הדירוג הבא:

A:  (5656)R2=R2−R1→(5600)A:\; \begin{pmatrix} 5 & 6 \\ 5 & 6 \end{pmatrix} \overrightarrow{R_{2}=R_{2}-R_{1}}\begin{pmatrix} 5 & 6 \\ 0& 0 \end{pmatrix}A:(55​66​)R2​=R2​−R1​​(50​60​) B:  (1224)R2=R2−2R1→(1200)B:\; \begin{pmatrix} 1&2 \\ 2&4 \end{pmatrix}\overrightarrow{R_{2}=R_{2}-2R_{1}}\begin{pmatrix} 1&2 \\ 0&0 \end{pmatrix}B:(12​24​)R2​=R2​−2R1​​(10​20​)

אך כאשר נחבר אותן:

(5656)+(1224)=(68710)\begin{pmatrix} 5&6 \\ 5&6 \end{pmatrix}+\begin{pmatrix} 1&2 \\ 2&4 \end{pmatrix}=\begin{pmatrix} 6&8 \\ 7&10 \end{pmatrix}(55​66​)+(12​24​)=(67​810​)

ננסה לדרג מטריצה זו:

R1=16R1→(186710)R2=R2−7R1→(186023)\overrightarrow{R_{1}=\frac{1}{6}R_{1}}\begin{pmatrix} 1& \frac{8}{6} \\ 7 & 10 \end{pmatrix}\overrightarrow{R_{2}=R_{2}-7R_{1}}\begin{pmatrix} 1 & \frac{8}{6} \\ 0& \frac{2}{3} \end{pmatrix}R1​=61​R1​​(17​68​10​)R2​=R2​−7R1​​(10​68​32​​)

למטריצה זו r=2r=2r=2 מה שלא מקיים את התנאים ולכן:

(5656)+(1224)∉W\begin{pmatrix} 5&6 \\ 5&6 \end{pmatrix}+\begin{pmatrix} 1&2 \\ 2&4 \end{pmatrix} \not\in W(55​66​)+(12​24​)∈W

מה שעומד בניגוד לתכונות המ"ו ולכן WWW אינו מ"ו ולכן אינו ת"מ.
∎

תרגיל (2 [ב])

F=CV=C3F=\mathbb{C} \qquad V=\mathbb{C}^3F=CV=C3 W={(z1,z2,z3)∈V∣z1+z2‾=z3}W=\{ (z_{1},z_{2},z_{3})\in V|z_{1}+\overline{z_{2}}=z_{3} \}W={(z1​,z2​,z3​)∈V∣z1​+z2​​=z3​}

הוכחה:
איבר האפס הוא (0,0,0)(0,0,0)(0,0,0). נראה אם הוא בקבוצה:

0+0=00+0=00+0=0

כן - איזה יופי :)

α(a1,a2,a3)+(b1,b2,b3)=(αa1+b1,αa2+b2,αa3+b3)\alpha (a_{1},a_{2},a_{3})+(b_{1},b_{2},b_{3})=(\alpha a_{1}+b_{1},\alpha a_{2}+b_{2},\alpha a_{3}+b_{3})α(a1​,a2​,a3​)+(b1​,b2​,b3​)=(αa1​+b1​,αa2​+b2​,αa3​+b3​) αa1+b1+αa2+b2‾=α(a1+a2‾)+(b1+b2‾)\alpha a_{1}+b_{1}+\overline{\alpha a_{2}+b_{2}}=\alpha (a_{1}+\overline{a_{2}})+(b_{1}+\overline{b_{2}})αa1​+b1​+αa2​+b2​​=α(a1​+a2​​)+(b1​+b2​​) αa1+b1+αa2‾+b2‾=αa1+αa2‾+b1+b2‾\alpha a_{1}+b_{1}+\alpha\overline{a_{2}}+\overline{b_{2}}=\alpha a_{1}+\alpha \overline{a_{2}}+b_{1}+\overline{b_{2}}αa1​+b1​+αa2​​+b2​​=αa1​+αa2​​+b1​+b2​​

אוקי, יש הוכחה - יאי!

נוכיח כי 0‾∈W\underline{0}\in W0​∈W על מנת להוכיח ש-W≠∅W\neq \emptysetW=∅.
על פי תכונות חיבור מטריצות, נראה שאיבר האפס בין מטריצות הוא מטריצת האפס, וכך גם במקרה הזה:

(z1,z2,z3)+(0,0,0)=(z1+0,z2+0,z3+0)=(z1,z2,z3)(z_{1},z_{2},z_{3})+(0,0,0)=(z_{1}+0,z_{2}+0,z_{3}+0)=(z_{1},z_{2},z_{3})(z1​,z2​,z3​)+(0,0,0)=(z1​+0,z2​+0,z3​+0)=(z1​,z2​,z3​)

נבדוק האם תנאי WWW מתקיימים לווקטור האפס:

0+0‾=00+\overline{0}=00+0=0

דבר זה מתקיים ולכן, 0‾∈W\underline{0}\in W0​∈W ולכן W≠∅W \neq \emptysetW=∅.
כעת, נוכיח כי לכל v‾,u‾∈W\underline{v},\underline{u} \in Wv​,u​∈W מתקיים αv‾+u‾∈W\alpha \underline{v}+\underline{u} \in Wαv​+u​∈W על מנת להוכיח סגירות לחיבור וסגירות לכפל בסקלר:

α(v1,v2,v3)+(u1,u2,u3)=(αv1+u1,αv2+u2,αv3+u3)\alpha(v_{1},v_{2},v_{3})+(u_{1},u_{2},u_{3})=(\alpha v_{1}+u_{1},\alpha v_{2}+u_{2},\alpha v_{3}+u_{3})α(v1​,v2​,v3​)+(u1​,u2​,u3​)=(αv1​+u1​,αv2​+u2​,αv3​+u3​)

נתון: v1+v2‾=v3u1+u2‾=u3\begin{matrix}v_{1}+\overline{v_{2}}=v_{3}\\ u_{1}+\overline{u_{2}}=u_{3}\end{matrix}v1​+v2​​=v3​u1​+u2​​=u3​​. צ.ל: αv1+u1+αv2+u2‾=αv3+u3\alpha v_{1}+u_{1}+\overline{\alpha v_{2}+u_{2}}=\alpha v_{3}+u_{3}αv1​+u1​+αv2​+u2​​=αv3​+u3​.

αv1+u1+αv2+u2‾=↓לפי חוקימספר צמודαv1+αv2‾+u1+u2‾=α(v1+v2‾)+(u1+u2‾)\alpha v_{1}+u_{1}+\overline{\alpha v_{2}+u_{2}}\underset{\begin{matrix} \downarrow \\ \R{\text{לפי חוקי}} \\ \R{\text{מספר צמוד}} \end{matrix}}{=}\alpha v_{1}+\alpha \overline{v_{2}}+u_{1}+\overline{u_{2}}=\alpha(v_{1}+\overline{v_{2}})+(u_{1}+\overline{u_{2}})αv1​+u1​+αv2​+u2​​↓לפי חוקימספר צמוד​=​αv1​+αv2​​+u1​+u2​​=α(v1​+v2​​)+(u1​+u2​​) α(v1+v2‾)+(u1+u2‾)=↓לפי נתוןαv3+u3\alpha(v_{1}+\overline{v_{2}})+(u_{1}+\overline{u_{2}})\underset{\begin{matrix} \downarrow \\ \R{\text{לפי נתון}} \end{matrix}}{=}\alpha v_{3}+u_{3}α(v1​+v2​​)+(u1​+u2​​)↓לפי נתון​=​αv3​+u3​

ולכן מתקיים: αv1+u1+αv2+u2‾=αv3+u3\alpha v_{1}+u_{1}+\overline{\alpha v_{2}+u_{2}}=\alpha v_{3}+u_{3}αv1​+u1​+αv2​+u2​​=αv3​+u3​ ולכן, α(v1,v2,v3)+(u1,u2,u3)∈W\alpha(v_{1},v_{2},v_{3})+(u_{1},u_{2},u_{3})\in Wα(v1​,v2​,v3​)+(u1​,u2​,u3​)∈W ולכן מתקיימת סגירות לחיבור וכפל בסקלר.
לכן, WWW הינו ת"מ של VVV.
∎

תרגיל 3

תרגיל (3)

יהא VVV מ"ו מעל שדה F\mathbb{F}F. יהי WWW ת"מ של VVV ויהיו v1,v2v_{1},v_{2}v1​,v2​ שני וקטורים ב-VVV.
נגדיר שתי תת קבוצות ב-VVV:

T1={v1+w∣w∈W}T2={v2+w∣w∈W}T_{1}=\{ v_{1}+w|w \in W \} \qquad T_{2}=\{ v_{2}+w|w \in W \}T1​={v1​+w∣w∈W}T2​={v2​+w∣w∈W}

נתון כי T1∩T2≠∅T_{1} \cap T_{2}\neq\emptysetT1​∩T2​=∅ (כלומר קיים v∈Vv \in Vv∈V כך ש: v∈T1∩T2v \in T_{1} \cap T_{2}v∈T1​∩T2​). הוכיחו T1=T2T_{1}=T_{2}T1​=T2​.

הוכחה:
נתון לנו כי T1∩T2≠∅T_{1} \cap T_{2}\neq \emptysetT1​∩T2​=∅, משמע w1,w2∈Ww_{1},w_{2} \in Ww1​,w2​∈W כך שמתקיים:

v1+w1=v2+w2v_{1}+w_{1}=v_{2}+w_{2}v1​+w1​=v2​+w2​

מכיוון ש-WWW ת"מ, לכל w∈Ww \in Ww∈W קיים נגדי. נסמן את הנגדי של w1w_{1}w1​ כך: (−w1)(-w_{1})(−w1​) ונוסיף אותו לשני צידי המשוואה:

v1=v2+w2+(−w1)v_{1}=v_{2}+w_{2}+(-w_{1})v1​=v2​+w2​+(−w1​)

מכיוון ש-WWW ת"מ, הוא סגור לחיבור ולכן: (w2+(−w1))∈W(w_{2}+(-w_{1}))\in W(w2​+(−w1​))∈W. לכן, מתקיים v2+(w2+(−w1))∈T2v_{2}+(w_{2}+(-w_{1}))\in T_{2}v2​+(w2​+(−w1​))∈T2​ ולכן, v1∈T2v_{1}\in T_{2}v1​∈T2​.
כך אנו יודעים כי כל איבר t∈T1t \in T_{1}t∈T1​ מקיים t∈T2t \in T_{2}t∈T2​ ולכן, על פי הגדרה, T1⊆T2T_{1} \subseteq T_{2}T1​⊆T2​.
על פי הגדרת T2T_{2}T2​ אנו יודעים כי קיים w∈Ww \in Ww∈W כך ש: v2+w=v1v_{2}+w=v_{1}v2​+w=v1​. ולכן, v2=v1+(−w)v_{2}=v_{1}+(-w)v2​=v1​+(−w) ⇐ v2∈T1v_{2} \in T_{1}v2​∈T1​ בעזרת אותה הדרך ממקודם.
כך אנו יודעים כי כל איבר t∈T2t \in T_{2}t∈T2​ מקיים t∈T1t \in T_{1}t∈T1​ ולכן, על פי הגדרה, T2⊆T1T_{2} \subseteq T_{1}T2​⊆T1​.
לכן, על פי משפט, T1=T2T_{1}=T_{2}T1​=T2​.
∎

תרגיל 4

תרגיל (4)

יהא VVV מ"ו ו-UUU ת"מ לא טרויוויאלי של VVV(כלומר: U≠V,U≠{0}U\neq V,U\neq \{ 0 \}U=V,U={0}).
הוכיחו כי לא קיים v0∈Vv_{0} \in Vv0​∈V כך שכל v∈V,v∉Uv \in V,v \not\in Uv∈V,v∈U מקיים v∈sp{v0}v \in sp\{ v_{0} \}v∈sp{v0​}.

הוכחה:
נסתכל על שלילת הטענה: קיים v0∈Vv_{0}\in Vv0​∈V כך שקיים v∈Uv \in Uv∈U אשר מקיים v∈sp{v0}v \in sp\{ v_{0} \}v∈sp{v0​}.
אם נוכיח את שלילת הטענה, אזי הטענה המקורית לא תתקיים.
על פי תכונות מ"ו, 0⋅v0=0‾0 \cdot v_{0}=\underline{0}0⋅v0​=0​.
מכיוון ש-UUU ת"מ של VVV, איבר ה-000 שלו שווה לאיבר ה-000 של VVV.
התנאי v∈sp{v0}v \in sp\{ v_{0} \}v∈sp{v0​} משמעו v=αv0v=\alpha v_{0}v=αv0​ ל-α∈F\alpha \in \mathbb{F}α∈F מסויים. ל-α=0\alpha=0α=0 מתקיים v=0‾v=\underline{0}v=0​. ולכן: v∈Uv \in Uv∈U מה שמקיים את שלילת הטענה ולכן הטענה המקורית לא מתקיימת.
∎

תרגיל 5

תרגיל (5 [א])

יהא V=R2×2V=\mathbb{R}^{2\times2}V=R2×2 ותהי A=(1−2−11)A=\begin{pmatrix}1&-2\\ -1&1\end{pmatrix}A=(1−1​−21​).
נגדיר שני ת"מ של VVV באופן הבא: W={B∈V:  AB=BA},U=sp{(0011),(3−204)}W=\{ B \in V:\; AB=BA \},\quad U=sp\left\{ \begin{pmatrix}0&0\\1&1\end{pmatrix},\begin{pmatrix}3&-2\\ 0&4\end{pmatrix} \right\}W={B∈V:AB=BA},U=sp{(01​01​),(30​−24​)}.

מצאו איבר כללי של U∩WU \cap WU∩W.

תחילה, נראה כיצד נראה איבר כללי ב-UUU :

sp{(0011),(3−204)}=α(0011)+β(3−204)sp\left\{ \begin{pmatrix} 0&0 \\ 1&1 \end{pmatrix},\begin{pmatrix} 3&-2 \\ 0&4 \end{pmatrix} \right\}=\alpha \begin{pmatrix} 0&0 \\ 1&1 \end{pmatrix}+\beta \begin{pmatrix} 3&-2 \\ 0&4 \end{pmatrix}sp{(01​01​),(30​−24​)}=α(01​01​)+β(30​−24​)

כאשר α,β∈R\alpha,\beta \in \mathbb{R}α,β∈R. לכן, איבר כללי ב-UUU יראה כך:

(3β−2βαα+4β)\begin{pmatrix} 3\beta&-2\beta \\ \alpha&\alpha+4\beta \end{pmatrix}(3βα​−2βα+4β​)

כעת, נראה איך נראה איבר כללי ב-WWW:

(abcd)∈R2:  (1−2−11)(abcd)=(abcd)(1−2−11)\begin{pmatrix} a & b \\ c & d \end{pmatrix} \in \mathbb{R}^2:\; \begin{pmatrix} 1&-2 \\ -1&1 \end{pmatrix}\begin{pmatrix} a & b \\ c & d \end{pmatrix}=\begin{pmatrix} a & b \\ c & d \end{pmatrix}\begin{pmatrix} 1&-2 \\ -1&1 \end{pmatrix}(ac​bd​)∈R2:(1−1​−21​)(ac​bd​)=(ac​bd​)(1−1​−21​) (a−2cb−2dc−ad−b)=(a−bb−2ac−dd−2c)\begin{pmatrix} a-2c & b-2d \\ c-a&d-b \end{pmatrix}=\begin{pmatrix} a-b & b-2a \\ c-d & d-2c \end{pmatrix}(a−2cc−a​b−2dd−b​)=(a−bc−d​b−2ad−2c​) {a−2c=a−b  ⟹  b=2cb−2d=b−2a  ⟹  a=dc−a=c−d  ⟹  a=dd−b=d−2c  ⟹  b=2c\begin{cases} a-2c=a-b \implies b=2c \\ b-2d=b-2a\implies a=d \\ c-a=c-d \implies a=d \\ d-b=d-2c \implies b=2c \end{cases}⎩⎨⎧​a−2c=a−b⟹b=2cb−2d=b−2a⟹a=dc−a=c−d⟹a=dd−b=d−2c⟹b=2c​

נראה כי איבר כללי ב-WWW נראה כך:

(a2cca)\begin{pmatrix} a&2c \\ c&a \end{pmatrix}(ac​2ca​)

לכן, נראה כי באיבר כללי ב-U∩WU \cap WU∩W צריך להתקיים כי: 2α=−2β2\alpha=-2\beta2α=−2β ולכן: α=−β\alpha=-\betaα=−β.
לכן, איבר כללי ב-U∩WU \cap WU∩W יהיה: (−3β2ββ−3β)\begin{pmatrix}-3\beta & 2\beta \\\beta & -3\beta\end{pmatrix}(−3ββ​2β−3β​) לכל β∈R\beta \in \mathbb{R}β∈R.

תרגיל (5 [ב])

מצאו איבר כללי של U+WU+WU+W.

לאחר שנזכר מהאיברים הכללים של U,WU,WU,W מהסעיף הקודם, נוכל לחבר אותם במקום לקחת את החיתוך כל:

(3β−2βαα+4β)+(a2cca)=(3β+a2c−2βα+cα+4β+a)\begin{pmatrix} 3\beta&-2\beta \\ \alpha&\alpha+4\beta \end{pmatrix}+\begin{pmatrix} a&2c \\ c&a \end{pmatrix}=\begin{pmatrix} 3\beta+a & 2c-2\beta \\ \alpha+c&\alpha+4\beta+a \end{pmatrix}(3βα​−2βα+4β​)+(ac​2ca​)=(3β+aα+c​2c−2βα+4β+a​) ={α(0,0,1,1)+β(3,−2,0,4)+a(1,0,0,1)+c(0,2,1,0)}=sp{(0,0,1,1),(3,−2,0,4),(1,0,0,1),(0,2,1,0)}=\{ \alpha(0,0,1,1)+\beta(3,-2,0,4)+a(1,0,0,1)+c(0,2,1,0) \}=sp\{ (0,0,1,1),(3,-2,0,4),(1,0,0,1),(0,2,1,0) \}={α(0,0,1,1)+β(3,−2,0,4)+a(1,0,0,1)+c(0,2,1,0)}=sp{(0,0,1,1),(3,−2,0,4),(1,0,0,1),(0,2,1,0)} (00113−20410010210)R3↔R1→(10013−20400110210)R2=R2−3R1→(10010−20100110210)\begin{pmatrix} 0&0&1&1 \\ 3&-2&0&4 \\ 1&0&0 & 1 \\ 0 & 2 & 1 & 0 \end{pmatrix}\overrightarrow{R_{3}\leftrightarrow R_{1}}\begin{pmatrix} 1&0&0 & 1 \\ 3&-2&0&4 \\ 0&0&1&1 \\ 0 & 2 & 1 & 0 \end{pmatrix}\overrightarrow{R_{2}=R_{2}-3R_{1}}\begin{pmatrix} 1&0&0&1 \\ 0 & -2 & 0 & 1 \\ 0&0&1&1 \\ 0&2&1&0 \end{pmatrix}​0310​0−202​1001​1410​​R3​↔R1​​​1300​0−202​0011​1410​​R2​=R2​−3R1​​​1000​0−202​0011​1110​​ R2=−12R2→(1001010−1200110210)R4=R4−2R2→(1001010−1200110011)R4=R4−R3→(1001010−1200110000)\overrightarrow{R_{2}=-\frac{1}{2}R_{2}}\begin{pmatrix} 1&0&0&1 \\ 0 & 1 & 0 & -\frac{1}{2} \\ 0&0&1&1 \\ 0&2&1&0 \end{pmatrix}\overrightarrow{R_{4}=R_{4}-2R_{2}}\begin{pmatrix} 1&0&0&1 \\ 0 & 1 & 0 & -\frac{1}{2} \\ 0&0&1&1 \\ 0&0&1&1 \end{pmatrix}\overrightarrow{R_{4}=R_{4}-R_{3}}\begin{pmatrix} 1&0&0&1 \\ 0 & 1 & 0 & -\frac{1}{2} \\ 0&0&1&1 \\ 0&0&0&0 \end{pmatrix}R2​=−21​R2​​​1000​0102​0011​1−21​10​​R4​=R4​−2R2​​​1000​0100​0011​1−21​11​​R4​=R4​−R3​​​1000​0100​0010​1−21​10​​ =sp{(1,0,0,1),(0,1,0,−0.5),(0,0,1,1)}={α(1,0,0,1)+β(0,1,0,−0.5)+a(0,0,1,1)}=sp\{ (1,0,0,1),(0,1,0,-0.5),(0,0,1,1) \}=\{ \alpha(1,0,0,1)+\beta(0,1,0,-0.5)+a(0,0,1,1) \}=sp{(1,0,0,1),(0,1,0,−0.5),(0,0,1,1)}={α(1,0,0,1)+β(0,1,0,−0.5)+a(0,0,1,1)}

לכן, איבר כללי של U+WU+WU+W יהא:

(αβaα−12β+a)\begin{pmatrix} \alpha & \beta \\ a & \alpha-\frac{1}{2}\beta+a \end{pmatrix}(αa​βα−21​β+a​)
תרגיל (5 [ג])

נתונה המטריצה C=(3−4−32)C=\begin{pmatrix}3&-4\\-3&2\end{pmatrix}C=(3−3​−42​). מצאו שתי מטריצות: F∈U,E∈WF \in U,E \in WF∈U,E∈W כך ש: C=F+EC=F+EC=F+E וגם EEE משולשת עליונה או הוכיחו כי לא קיימות מטריצות כאלו.

הוכחה:
נקח את המטריצות:

E=(−300−3)F=(6−4−35)E=\begin{pmatrix} -3 & 0 \\ 0 & -3 \end{pmatrix} \qquad F=\begin{pmatrix} 6&-4 \\ -3&5 \end{pmatrix}E=(−30​0−3​)F=(6−3​−45​)

המטריצה EEE הינה משולשת עליונה שכן לכל i>ji>ji>j מתקיים: aij=0a_{ij}=0aij​=0.
כעת, נחבר את שתי המטריצות הללו:

(−300−3)+(6−4−35)=(3−4−32)=↓לפי נתוןC\begin{pmatrix} -3 & 0 \\ 0 & -3 \end{pmatrix}+\begin{pmatrix} 6&-4 \\ -3&5 \end{pmatrix}=\begin{pmatrix} 3&-4 \\ -3&2 \end{pmatrix}\underset{\begin{matrix} \downarrow \\ \R{\text{לפי נתון}} \end{matrix}}{=}C(−30​0−3​)+(6−3​−45​)=(3−3​−42​)↓לפי נתון​=​C

∎