נדרג את מערכת המשוואות ממקודם: 100200010−110130000 ולכן r(A)=2. ⇐ (לפי משפט) dim(U∩W)=n−r(A)=5−2=3.
מצאנו קבוצה פורשת של 3 וקטורים dim=3 ⇐ 3 הוקטורים הם בסיס.
לפי הנתון אנו יודעים כי: 3=dim(U∩W)≤dimU<dimW. לפי הנתון השני ולפי משפט, W אינו המרחב כולו ולכן המימד של W לא יכול להיות 5.
כלומר: 3=dim(U∩W)≤dimU<dimW≤4. ולכן, קיבלנו כי dimW=4 וכי dimU=3.
מאי השוויון קיבלנו כי dimU=dim(U∩W)=3 ולכן אנו יודעים כי U⊆U∩W ולכן, לפי משפט, נקבל כי U=U∩W. ולכן:
BU=⎩⎨⎧−21000,10−110,−10−301⎭⎬⎫
האם U+W=R5?
אם U∩W=U ⇐ U⊆W ⇐ U+W=W=R5.
תרגיל
יהיו B∈Fn×p ו-A∈Fm×n. נתון AB=0.
הוכיחו כי r(A)+r(B)≤n.
נעביר אגפים באי השוויון ונקבל r(B)≤n−r(A). כעת, נוכיח את זה.
בשביל זה נייצג את B כאוסף של עמודות.
B=∣B1∣∣B2∣…∣Bp∣
על פי הנתון A⋅Bj=0 לכל 1≤j≤p. כלומר, כל Bj הינו פתרון של המערכת Ax=0.
לכן מתקיים:
תהי A∈Fn×n.
הוכיחו/הפריכו: קיים פולינום p(x)=0 מעל F ממעלה שווה או קטנה מ-n2 כך ש-p(A)=0.
הוכחה:
הערה (טיוטא)
פולינום ממעלה n2:
an2An2+an2−1An2−1+⋯+a1A+a0I=P(A)
נשים לב כי יש לנו צ"ל של מטריצות מעל אותו שדה ומאותו הסדר ולכן מה שאנו רואים כאן זה צ"ל של n2+1 מטריצות אשר הינן תלויות ליניארית, שכן כל אחת מהן היא חזקה מסויימת של A ולכן, נוכל למצוא סקלרים לא כולם אפס כך שהתוצאה תהא 0.
עכשיו, נוכל לכתוב זאת פורמלית
נתבונן בקבוצת המטריצות מטריצותn2+1{An2,An2−1,…,A,I}. בנוסף, אנו יודעים כי dimFn×n=n2 ולכן, לפי משפט, קבוצת המטריצות ת"ל.
⇐ לפי הגדרה, קיימים {an2,an2−1,…,a1,a0}∈F כאשר לא כולם אפס כך ש-∑k=0n2ak⋅Ak=0.
נסמן p(x)=∑k=0n2akAk זהו פולינום אשר לו degp≤n2. כך p(A)=0 כנדרש. ∎
תרגיל
תהי A∈R4×4. נתון כי הווקטורים הבאים הינם פתרונות של המערכת ההומוגנית Ax=0.
א. נסמן W=sp{v1,v2,v3,v4}. מצאו את dimW ואת BW.
ב. מצאו את r(A).
ג. מצאו בסיס ל-col(A).
ד. מצאו את הצורה הקנונית של A.
פתרון א':
נשים את וקטורי העמודה הללו בשורות של מטריצה, נדרג את המטריצה ונקח רק את השורות שישארו לאחר דירוג והן יהיו בת"ל ופורשת לפי משפט(שני משפטים שונים במקרה הזה) ולכן בסיס.
פתרון ב':
לפי המשפט, dim(מרחב הפתרונות שלAx=0)=n−r(A)=−r(A)
על פי הנתון W⊆(מרחב הפתרונות שלAx=0) ⇐ dim(מרחב הפתרונות שלAx=0)≥3. ⇐ r(A)∈{0,1}.
על פי הנתון ש-Ax=1234 הינה מערכת פתירה, נקבל כי r(A)=0 ולכן, r(A)=1. פתרון ג':
לפי משפט, dimcolA=r(A)=1 ולכן אנו יודעים כי עלינו למצוא רק וקטור אחד. נזכר במשפט:
משפט
למערכת Ax=b קייפ פתרון ⟺b∈colA.
על פי הנתון, 1234∈colA ולכן, BcolA=⎩⎨⎧1234⎭⎬⎫. פתרון ד':
אנו יודעים כי r(A)=1 ולכן הצורה הכללית היא: a000b000c000d000 כאשר האיבר המוביל של שורה 1 הוא 1.
מכיוון ש-dimW=3 וגם 4−1 אזי W זה כל מרחב הפתרונות. נציב את הוקטורים של BW במשוואה: ax1+bx2+cx3+dx4=0 ונקבל כי:
⎩⎨⎧a−d=0⟹a=db+21d=0⟹b=−21dc−21d=0⟹c=21d
מכיוון שזוהי לא יכולה להיות שורת אפסים, אזי d=0 ולכן a=0 ומכיוון שזוהי מטריצה קנונית, אזי a=1 ולכן d=1 ולכן: {b=−21c=21 וזוהי המטריצה: