חזור לתיקייה: תרגול

14 - עוד בסיס ומימד

חיפוש בתיקיה
Ctrl K
לחץ כאן או הקש Ctrl K כדי לחפש בכל התיקיה
  • כללי

14 - עוד בסיס ומימד

01040166

אלגברה אמ

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

עוד בסיס ומימד

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

uni-folder.vercel.app

תרגיל

יהיו U,WU,WU,W שני ת"מ של R5\mathbb{R}^5R5.
נתון כי U∩WU \cap WU∩W הוא מרחב הפתרונות של המערכת.

{2x1+4x2+x3−4x4+5x5=0x1+2x2+x3+4x5=0x3+x4+3x5=0\begin{cases} 2x_{1}+4x_{2}+x_{3}-4x_{4}+5x_{5}=0 \\ x_{1}+2x_{2}+x_{3}+4x_{5}=0 \\ x_{3}+x_{4}+3x_{5}=0 \end{cases}⎩⎨⎧​2x1​+4x2​+x3​−4x4​+5x5​=0x1​+2x2​+x3​+4x5​=0x3​+x4​+3x5​=0​

נתון בנוסף כי (−3,1,0,0,1)∉W(-3,1,0,0,1)\not\in W(−3,1,0,0,1)∈W וגם כי dim⁡U<dim⁡W\dim U<\dim WdimU<dimW.

מצאו את המימד והבסיס ל-UUU.
האם U+W=R5U+W=\mathbb{R}^5U+W=R5?

A=(241−450123040001130)A=\left(\begin{array}{ccccc|c} 2 & 4 & 1 & -4 & 5 & 0 \\ 1 & 2 & 3 & 0 & 4 & 0 \\ 0 & 0 & 1 & 1 & 3 & 0 \end{array}\right)A=​210​420​131​−401​543​000​​

נדרג ונמצא את פתרון הכללי:

U∩W={(−2x2+x4−x5x2−x4−3x5x4x5)}=sp{(−21000),(10−110),(−10−301)}U \cap W=\left\{ \begin{pmatrix} -2x_{2}+x_{4}-x_{5} \\ x_{2} \\ -x_{4}-3x_{5} \\ x_{4} \\ x_{5} \end{pmatrix} \right\}=sp\left\{ \begin{pmatrix} -2 \\ 1 \\ 0 \\ 0 \\ 0 \end{pmatrix},\begin{pmatrix} 1 \\ 0 \\ -1 \\ 1 \\ 0 \end{pmatrix},\begin{pmatrix} -1 \\ 0 \\ -3 \\ 0 \\ 1 \end{pmatrix} \right\}U∩W=⎩⎨⎧​​−2x2​+x4​−x5​x2​−x4​−3x5​x4​x5​​​⎭⎬⎫​=sp⎩⎨⎧​​−21000​​,​10−110​​,​−10−301​​⎭⎬⎫​

נדרג את מערכת המשוואות ממקודם: (120−110001130000000)\left(\begin{array}{ccccc|c}1&2&0&-1&1&0\\0&0&1&1&3&0\\0&0&0&0&0&0\end{array}\right)​100​200​010​−110​130​000​​ ולכן r(A)=2r(A)=2r(A)=2. ⇐ (לפי משפט) dim⁡(U∩W)=n−r(A)=5−2=3\dim(U \cap W)=n-r(A)=5-2=3dim(U∩W)=n−r(A)=5−2=3.
מצאנו קבוצה פורשת של 3 וקטורים dim=3dim=3dim=3 ⇐ 3 הוקטורים הם בסיס.
לפי הנתון אנו יודעים כי: 3=dim⁡(U∩W)≤dim⁡U<dim⁡W3=\dim(U \cap W)\leq \dim U< \dim W3=dim(U∩W)≤dimU<dimW. לפי הנתון השני ולפי משפט, WWW אינו המרחב כולו ולכן המימד של WWW לא יכול להיות 5.
כלומר: 3=dim⁡(U∩W)≤dim⁡U<dim⁡W≤43=\dim(U \cap W)\leq \dim U<\dim W\leq 43=dim(U∩W)≤dimU<dimW≤4. ולכן, קיבלנו כי dim⁡W=4\dim W=4dimW=4 וכי dim⁡U=3\dim U=3dimU=3.
מאי השוויון קיבלנו כי dim⁡U=dim⁡(U∩W)=3\dim U=\dim(U \cap W)=3dimU=dim(U∩W)=3 ולכן אנו יודעים כי U⊆U∩WU \subseteq U \cap WU⊆U∩W ולכן, לפי משפט, נקבל כי U=U∩WU=U \cap WU=U∩W. ולכן:

BU={(−21000),(10−110),(−10−301)}B_{U}=\left\{ \begin{pmatrix} -2 \\ 1 \\ 0 \\ 0 \\ 0 \end{pmatrix},\begin{pmatrix} 1 \\ 0 \\ -1 \\ 1 \\ 0 \end{pmatrix},\begin{pmatrix} -1 \\ 0 \\ -3 \\ 0 \\ 1 \end{pmatrix} \right\}BU​=⎩⎨⎧​​−21000​​,​10−110​​,​−10−301​​⎭⎬⎫​

האם U+W=R5U+W=\mathbb{R}^5U+W=R5?

אם U∩W=UU \cap W=UU∩W=U ⇐ U⊆WU \subseteq WU⊆W ⇐ U+W=W≠R5U+W=W\neq \mathbb{R}^5U+W=W=R5.

תרגיל

יהיו B∈Fn×pB \in F_{n\times p}B∈Fn×p​ ו-A∈Fm×nA \in F_{m\times n}A∈Fm×n​. נתון AB=0AB=0AB=0.
הוכיחו כי r(A)+r(B)≤nr(A)+r(B)\leq nr(A)+r(B)≤n.

נעביר אגפים באי השוויון ונקבל r(B)≤n−r(A)r(B)\leq n-r(A)r(B)≤n−r(A). כעת, נוכיח את זה.
בשביל זה נייצג את BBB כאוסף של עמודות.

B=(∣∣∣B1B2…Bp∣∣∣)B=\begin{pmatrix} \lvert & \lvert && \lvert \\ B_{1} & B_{2} & \dots & B_{p} \\ \lvert & \lvert && \lvert \end{pmatrix}B=​∣B1​∣​∣B2​∣​…​∣Bp​∣​​

על פי הנתון A⋅Bj=0A\cdot B_{j}=0A⋅Bj​=0 לכל 1≤j≤p1\leq j\leq p1≤j≤p. כלומר, כל BjB_{j}Bj​ הינו פתרון של המערכת Ax=0Ax=0Ax=0.
לכן מתקיים:

r(B)=↓לפי משפטdim⁡col(B)≤dim⁡(P(x))=↓לפי משפטn−r(A)r(B)\underset{\begin{matrix} \downarrow \\ \R{\text{לפי משפט}} \end{matrix}}{=}\dim col(B)\leq \dim(P(x))\underset{\begin{matrix} \downarrow \\ \R{\text{לפי משפט}} \end{matrix}}{=}n-r(A)r(B)↓לפי משפט​=​dimcol(B)≤dim(P(x))↓לפי משפט​=​n−r(A)

כנדרש.

תרגיל

תהי A∈Fn×nA \in F^{n\times n}A∈Fn×n.
הוכיחו/הפריכו: קיים פולינום p(x)≠0p(x)\neq0p(x)=0 מעל FFF ממעלה שווה או קטנה מ-n2n^2n2 כך ש-p(A)=0p(A)=0p(A)=0.

הוכחה:

הערה (טיוטא)

פולינום ממעלה n2n^2n2:

an2An2+an2−1An2−1+⋯+a1A+a0I=P(A)a_{n^2}A^{n^2}+a_{n^2-1}A^{n^2-1}+\dots+a_{1}A+a_{0}I=P(A)an2​An2+an2−1​An2−1+⋯+a1​A+a0​I=P(A)

נשים לב כי יש לנו צ"ל של מטריצות מעל אותו שדה ומאותו הסדר ולכן מה שאנו רואים כאן זה צ"ל של n2+1n^2+1n2+1 מטריצות אשר הינן תלויות ליניארית, שכן כל אחת מהן היא חזקה מסויימת של AAA ולכן, נוכל למצוא סקלרים לא כולם אפס כך שהתוצאה תהא 000.
עכשיו, נוכל לכתוב זאת פורמלית

נתבונן בקבוצת המטריצות {An2,An2−1,…,A,I}⏟ מטריצותn2+1\underbrace{\left\{ A^{n^2},A^{n^2-1},\dots,A,I \right\}}_{\R{\text{ מטריצות}}n^2+1} מטריצותn2+1{An2,An2−1,…,A,I}​​. בנוסף, אנו יודעים כי dim⁡Fn×n=n2\dim F^{n\times n}=n^2dimFn×n=n2 ולכן, לפי משפט, קבוצת המטריצות ת"ל.
⇐ לפי הגדרה, קיימים {an2,an2−1,…,a1,a0}∈F\left\{ a_{n^2},a_{n^2-1},\dots,a_{1},a_{0} \right\}\in F{an2​,an2−1​,…,a1​,a0​}∈F כאשר לא כולם אפס כך ש-∑k=0n2ak⋅Ak=0\sum_{k=0}^{n^2}a_{k}\cdot A^k=0∑k=0n2​ak​⋅Ak=0.
נסמן p(x)=∑k=0n2akAkp(x)=\sum_{k=0}^{n^2}a_{k}A^kp(x)=∑k=0n2​ak​Ak זהו פולינום אשר לו deg⁡p≤n2\deg p\leq n^2degp≤n2. כך p(A)=0p(A)=0p(A)=0 כנדרש.
∎

תרגיל

תהי A∈R4×4A \in \mathbb{R}^{4\times4}A∈R4×4. נתון כי הווקטורים הבאים הינם פתרונות של המערכת ההומוגנית Ax=0Ax=0Ax=0.

{v1=(1200),v2=(−12−44),v3=(−3022),v4=(220−1)}\left\{ v_{1}=\begin{pmatrix} 1\\2\\0\\0 \end{pmatrix},v_{2}=\begin{pmatrix} -1\\2\\-4\\4 \end{pmatrix},v_{3}=\begin{pmatrix} -3\\0\\2\\2 \end{pmatrix},v_{4}=\begin{pmatrix} 2\\2\\0\\-1 \end{pmatrix} \right\}⎩⎨⎧​v1​=​1200​​,v2​=​−12−44​​,v3​=​−3022​​,v4​=​220−1​​⎭⎬⎫​

נתון גם שלמערכת Ax=(1234)Ax=\begin{pmatrix}1\\2\\3\\4\end{pmatrix}Ax=​1234​​ קיים פתרון.

א. נסמן W=sp{v1,v2,v3,v4}W=sp\left\{ v_{1},v_{2},v_{3},v_{4} \right\}W=sp{v1​,v2​,v3​,v4​}. מצאו את dim⁡W\dim WdimW ואת BWB_{W}BW​.
ב. מצאו את r(A)r(A)r(A).
ג. מצאו בסיס ל-col(A)col(A)col(A).
ד. מצאו את הצורה הקנונית של AAA.

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

(1200−12−44−3022220−1)→(100−101012001−120000)\begin{pmatrix} 1 & 2 & 0 & 0 \\ -1 & 2 & -4 & 4 \\ -3 & 0 & 2 & 2 \\ 2 & 2 & 0 & -1 \end{pmatrix}\to \begin{pmatrix} 1 & 0 & 0 & -1 \\ 0 & 1 & 0 & \frac{1}{2} \\ 0 & 0 & 1 & -\frac{1}{2} \\ 0 & 0 & 0 & 0 \end{pmatrix}​1−1−32​2202​0−420​042−1​​→​1000​0100​0010​−121​−21​0​​

מכאן אנו יודעים כי dim⁡W=3\dim W=3dimW=3 והבסיס של WWW הינו:

BW={(100−1),(01012),(001−12)}B_{W}=\left\{ \begin{pmatrix} 1 \\ 0 \\ 0 \\ -1 \end{pmatrix},\begin{pmatrix} 0 \\ 1 \\ 0 \\ \frac{1}{2} \end{pmatrix},\begin{pmatrix} 0 \\ 0 \\ 1 \\ -\frac{1}{2} \end{pmatrix} \right\}BW​=⎩⎨⎧​​100−1​​,​01021​​​,​001−21​​​⎭⎬⎫​

פתרון ב':
לפי המשפט, dim⁡(מרחב הפתרונות שלAx=0)=n−r(A)=−r(A)\dim\left(\begin{matrix}\R{\text{מרחב הפתרונות של}}\\Ax=0\end{matrix}\right)=n-r(A)=-r(A)dim(מרחב הפתרונות שלAx=0​)=n−r(A)=−r(A)
על פי הנתון W⊆(מרחב הפתרונות שלAx=0)W \subseteq \left(\begin{matrix}\R{\text{מרחב הפתרונות של}}\\Ax=0\end{matrix}\right)W⊆(מרחב הפתרונות שלAx=0​) ⇐ dim⁡(מרחב הפתרונות שלAx=0)≥3\dim\left(\begin{matrix}\R{\text{מרחב הפתרונות של}}\\Ax=0\end{matrix}\right)\geq 3dim(מרחב הפתרונות שלAx=0​)≥3. ⇐ r(A)∈{0,1}r(A)\in \left\{ 0,1 \right\}r(A)∈{0,1}.
על פי הנתון ש-Ax=(1234)Ax=\begin{pmatrix}1\\2\\3\\4\end{pmatrix}Ax=​1234​​ הינה מערכת פתירה, נקבל כי r(A)≠0r(A)\neq0r(A)=0 ולכן, r(A)=1r(A)=1r(A)=1.
פתרון ג':
לפי משפט, dim⁡colA=r(A)=1\dim colA=r(A)=1dimcolA=r(A)=1 ולכן אנו יודעים כי עלינו למצוא רק וקטור אחד. נזכר במשפט:

משפט

למערכת Ax‾=b‾A\underline{x}=\underline{b}Ax​=b​ קייפ פתרון   ⟺  \iff⟺ b∈colAb \in colAb∈colA.

על פי הנתון, (1234)∈colA\begin{pmatrix}1\\2\\3\\4\end{pmatrix}\in colA​1234​​∈colA ולכן, BcolA={(1234)}B_{col A}=\left\{ \begin{pmatrix}1\\2\\3\\4\end{pmatrix} \right\}BcolA​=⎩⎨⎧​​1234​​⎭⎬⎫​.
פתרון ד':
אנו יודעים כי r(A)=1r(A)=1r(A)=1 ולכן הצורה הכללית היא: (abcd000000000000)\begin{pmatrix}a&b&c&d\\0&0&0&0\\0&0&0&0\\0&0&0&0\end{pmatrix}​a000​b000​c000​d000​​ כאשר האיבר המוביל של שורה 1 הוא 111.
מכיוון ש-dim⁡W=3\dim W=3dimW=3 וגם 4−14-14−1 אזי WWW זה כל מרחב הפתרונות. נציב את הוקטורים של BWB_{W}BW​ במשוואה: ax1+bx2+cx3+dx4=0ax_{1}+bx_{2}+cx_{3}+dx_{4}=0ax1​+bx2​+cx3​+dx4​=0 ונקבל כי:

{a−d=0  ⟹  a=db+12d=0  ⟹  b=−12dc−12d=0  ⟹  c=12d\begin{cases} a-d=0 \implies a=d\\ b+\frac{1}{2}d=0 \implies b=-\frac{1}{2}d \\ c-\frac{1}{2}d=0 \implies c=\frac{1}{2}d \end{cases}⎩⎨⎧​a−d=0⟹a=db+21​d=0⟹b=−21​dc−21​d=0⟹c=21​d​

מכיוון שזוהי לא יכולה להיות שורת אפסים, אזי d≠0d\neq0d=0 ולכן a≠0a\neq0a=0 ומכיוון שזוהי מטריצה קנונית, אזי a=1a=1a=1 ולכן d=1d=1d=1 ולכן: {b=−12c=12\begin{cases}b=-\frac{1}{2}\\c=\frac{1}{2}\end{cases}{b=−21​c=21​​ וזוהי המטריצה:

(1−12121000000000000)\begin{pmatrix} 1 & -\frac{1}{2} & \frac{1}{2} & 1 \\ 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 \end{pmatrix}​1000​−21​000​21​000​1000​​