MentoraLINEAR 2

מסקנות — מה נובע ממה

109 מסקנות לאורך כל הקורס. כשתרגיל "לא נפתח", זה בדרך כלל לא כי חסר ידע — אלא כי לא ברור מה הנתון קונה לך. הדף הזה הופך כל נתון לשורה ראשונה.

אם נתון לי… אז אני יודעת

7 מסקנות · זה מה שכותבים בשורה הראשונה של הפתרון
T:V→WT:V\to W העתקה לינארית
  • T(0V)=0WT(0_V)=0_W (משפט 1)
  • T(−v)=−T(v)T(-v)=-T(v) ו-T(α1v1+⋯+αkvk)=α1T(v1)+⋯+αkT(vk)T(\alpha_1v_1+\cdots+\alpha_kv_k)=\alpha_1T(v_1)+\cdots+\alpha_kT(v_k) (הערה 1)
  • ker⁡T\ker T הוא תמ"ו של VV (משפט 3) ו-Im⁡T\operatorname{Im}T הוא תמ"ו של WW (משפט 4)
  • אם v1,…,vmv_1,\dots,v_m פורשים את VV אז T(v1),…,T(vm)T(v_1),\dots,T(v_m) פורשים את Im⁡T\operatorname{Im}T (משפט 11)
הכיוון ההפוך של משפט 1 אינו נכון: T(0V)=0WT(0_V)=0_W אינו מוכיח לינאריות. וגם — ker⁡T⊆V\ker T\subseteq V אבל Im⁡T⊆W\operatorname{Im}T\subseteq W, קל להתבלבל לאיזה מרחב כל אחד שייך.
TT חח"ע
  • ker⁡T={0V}\ker T=\{0_V\} (משפט 10)
  • dim⁡ker⁡T=0\dim\ker T=0
  • TT מעבירה בת"ל לבת"ל (משפט 12)
  • אם TT גם על — TT הפיכה ו-T−1T^{-1} בעצמה לינארית (משפט 9)
משפט 12 דורש חח"ע. בלי חח"ע TT יכולה למעוך קבוצה בת"ל לת"ל. לעומת זאת "פורשת לפורשת" (משפט 11) נכון לכל ה"ל — אבל היא פורשת את Im⁡T\operatorname{Im}T, לא את WW.
נתון ש-T(v)=T(u)T(v)=T(u) עבור v≠uv\neq u
  • v−u∈ker⁡Tv-u\in\ker T ו-v−u≠0Vv-u\neq0_V
  • ולכן ker⁡T≠{0V}\ker T\neq\{0_V\} ו-TT אינה חח"ע (משפט 10)
  • ולכן TT אינה הפיכה
זה הכלי להפרכת חח"ע: מספיק וקטור אחד לא אפסי בגרעין. אין צורך לתאר את כל הגרעין.
v1,…,vnv_1,\dots,v_n בסיס של VV ו-TT הפיכה
  • T(v1),…,T(vn)T(v_1),\dots,T(v_n) בסיס של WW (משפט 13)
  • ולכן dim⁡W=n=dim⁡V\dim W=n=\dim V
  • ההפך גם נכון: אם התמונות של בסיס הן בסיס של WW — TT הפיכה
משפט 13 הוא אם"ם, אבל הוא מנוסח על בסיס של VV. תמונות של קבוצה פורשת שאינה בסיס לא נותנות מסקנה על הפיכות.
T=TAT=T_A עבור A∈Mm×n(F)A\in M_{m\times n}(\mathbb{F})
  • TT לינארית — אין מה לבדוק (משפט 2)
  • ker⁡TA\ker T_A הוא בדיוק אוסף הפתרונות של המערכת ההומוגנית Ax⃗=0⃗A\vec x=\vec0
  • Im⁡TA\operatorname{Im}T_A נפרש ע"י TA(e⃗1),…,TA(e⃗n)T_A(\vec e_1),\dots,T_A(\vec e_n), כלומר ע"י עמודות AA (משפט 11)
אם ההעתקה נתונה בנוסחה — כדאי קודם לבדוק אם אפשר לכתוב אותה כ-Ax⃗A\vec x. אם יש בנוסחה איבר חופשי, ריבוע, ערך מוחלט או צמוד — היא אינה מהצורה הזאת.
S,T:V→WS,T:V\to W לינאריות ו-α,β∈F\alpha,\beta\in\mathbb{F}
  • αT+βS\alpha T+\beta S לינארית (משפט 7)
  • Hom(V,W)Hom(V,W) הוא תמ"ו של WVW^V (מסקנה 1) — ובפרט מרחב וקטורי בפני עצמו
  • הרכבה של לינאריות היא לינארית (משפט 8)
הרכבה דורשת התאמת מרחבים: S∘TS\circ T מוגדרת כאשר T:V→WT:V\to W ו-S:W→US:W\to U. הסדר S∘TS\circ T הוא "קודם TT".
בשאלה מופיע צמוד מרוכב או שנאמר "מעל R\mathbb{R}"/"מעל C\mathbb{C}"
  • הצמוד T(z)=zˉT(z)=\bar z אינו לינארי כאשר C\mathbb{C} נחשב מ"ו מעל C\mathbb{C} (דוגמה 4)
  • אותה TT בדיוק כן לינארית כאשר C\mathbb{C} נחשב מ"ו מעל R\mathbb{R} (דוגמה 5)
  • ולכן: לפני כל בדיקת לינאריות — לרשום מהו השדה
הבדיקה שנופלת היא הומוגניות עם סקלר לא ממשי. תמיד להציב α=i\alpha=i ולא רק α=2\alpha=2.

איך מפריכים

מהבדיקה הזולה ביותר לכיוון היקרה
להפריך שהעתקה TT היא לינארית
  1. 1הזול ביותר — הצבה אחת: חשבי T(0V)T(0_V). אם T(0V)≠0WT(0_V)\neq0_W, סיימת: לפי משפט 1 כל ה"ל מעבירה אפס לאפס, ולכן TT אינה לינארית. סימן מזהה: איבר חופשי בנוסחה.
  2. 2שימי לב היטב: T(0V)=0WT(0_V)=0_W מפריך ולעולם אינו מוכיח. אם קיבלת 0W0_W — לא הוכחת כלום ואי אפשר לעצור כאן. דוגמה: T(x,y)=(x2,0)T(x,y)=(x^2,0) מקיימת T(0⃗)=0⃗T(\vec0)=\vec0 ובכל זאת אינה לינארית.
  3. 3השנייה בזול — הומוגניות עם סקלר קונקרטי אחד: קחי וקטור פשוט (למשל v⃗=(1,0)\vec v=(1,0)) ובדקי T(2v⃗)=2T(v⃗)T(2\vec v)=2T(\vec v), או T(−v⃗)=−T(v⃗)T(-\vec v)=-T(\vec v). אם השדה C\mathbb{C}, בדקי במיוחד α=i\alpha=i.
  4. 4רק אם שתי אלה עברו — אדיטיביות עם שני וקטורים קונקרטיים ומספריים: בחרי u⃗,v⃗\vec u,\vec v פשוטים והשווי T(u⃗+v⃗)T(\vec u+\vec v) מול T(u⃗)+T(v⃗)T(\vec u)+T(\vec v). חשוב לרשום את שני הצדדים כמספרים ולא באופן כללי.
  5. 5בסיום — לנסח: "עבור u⃗=…,v⃗=…\vec u=\dots,\vec v=\dots מתקיים T(u⃗+v⃗)=…≠⋯=T(u⃗)+T(v⃗)T(\vec u+\vec v)=\dots\neq\dots=T(\vec u)+T(\vec v), ולכן TT אינה לינארית." דוגמה נגדית אחת קונקרטית מספיקה.
להפריך שקיימת ה"ל עם הנתונים שבשאלה
  1. 1בדקי אם וקטורי המקור ת"ל: אם v2=αv1v_2=\alpha v_1 אז חייב להתקיים T(v2)=αT(v1)T(v_2)=\alpha T(v_1).
  2. 2אם השוויון הזה נכשל — סיימת: לא קיימת ה"ל כזאת. (זה בדיוק תרגיל 1: T(1,1)=(1,2)T(1,1)=(1,2) ו-T(2,2)=(2,1)T(2,2)=(2,1) בעוד 2⋅(1,2)=(2,4)≠(2,1)2\cdot(1,2)=(2,4)\neq(2,1).)
  3. 3אם המקורות ת"ל בצירוף מסובך יותר — פתרי v3=αv1+βv2v_3=\alpha v_1+\beta v_2 ובדקי את T(v3)=αT(v1)+βT(v2)T(v_3)=\alpha T(v_1)+\beta T(v_2).
  4. 4אם הנתון הוא T(0V)=w≠0WT(0_V)=w\neq0_W — הופרך מיד לפי משפט 1.
להפריך ש-TT חח"ע / על
  1. 1לחח"ע: מצאי 0V≠v0_V\neq v עם T(v)=0WT(v)=0_W — פתרי את המערכת ההומוגנית. וקטור אחד מספיק (משפט 10).
  2. 2לחלופין: הציגי שני וקטורים שונים עם אותה תמונה.
  3. 3לעל: הראי w∈Ww\in W קונקרטי שאינו ב-Im⁡T\operatorname{Im}T — כלומר שהמערכת T(v)=wT(v)=w אינה פתירה.
  4. 4אם כבר יש לך קבוצה פורשת של Im⁡T\operatorname{Im}T (תמונות של בסיס, משפט 11) — מספיק להראות ש-ww אינו בפרישה שלה.

איך מוכיחים

המהלכים שעובדים בשבוע הזה
להוכיח ש-TT לינארית
  1. 1קודם כול — נסי לזהות T=TAT=T_A: אם כל רכיב בפלט הוא צירוף לינארי הומוגני של רכיבי הקלט, כתבי את AA וסיימת (משפט 2).
  2. 2אחרת — קחי v1,v2∈Vv_1,v_2\in V כלליים ו-α1,α2∈F\alpha_1,\alpha_2\in\mathbb{F} כלליים.
  3. 3חשבי את T(α1v1+α2v2)T(\alpha_1v_1+\alpha_2v_2) לפי ההגדרה — פיתוח מלא.
  4. 4חשבי בנפרד את α1T(v1)+α2T(v2)\alpha_1T(v_1)+\alpha_2T(v_2) ופתחי גם אותו.
  5. 5השווי את שני הצדדים רכיב-רכיב וסכמי: תנאי אחד עם שני סקלרים מספיק — אין צורך לבדוק אדיטיביות והומוגניות בנפרד.
להוכיח שקבוצה היא תת-מרחב
  1. 1הכי מהיר: לזהות אותה כ-ker⁡T\ker T או כ-Im⁡T\operatorname{Im}T של ה"ל מתאימה — ואז זה מיידי לפי משפטים 3,4.
  2. 2אחרת — הקריטריון הקצר: הראי שהיא לא ריקה (בדרך כלל ע"י 0V0_V בתוכה).
  3. 3ואז סגירות לצירוף לינארי אחד: לכל u,wu,w בקבוצה ולכל α,β\alpha,\beta בשדה, αu+βw\alpha u+\beta w בקבוצה.
  4. 4לא צריך לבדוק את שמונה האקסיומות — הן יורשות מהמרחב הגדול.
למצוא בסיס ל-ker⁡T\ker T ול-Im⁡T\operatorname{Im}T
  1. 1ל-ker⁡T\ker T: פתרי את המערכת ההומוגנית T(v)=0WT(v)=0_W וקחי בסיס למרחב הפתרונות.
  2. 2ל-Im⁡T\operatorname{Im}T: הפעילי את TT על בסיס של VV — התמונות פורשות את Im⁡T\operatorname{Im}T (משפט 11).
  3. 3הקבוצה הפורשת הזאת בדרך כלל ת"ל — נקי אותה לבסיס (דירוג).
  4. 4לסיום — בדיקת שפיות: האם המספרים מסתדרים עם גודל המערכת.
להוכיח ש-TT הפיכה
  1. 1קחי בסיס v1,…,vnv_1,\dots,v_n של VV וחשבי את T(v1),…,T(vn)T(v_1),\dots,T(v_n).
  2. 2הראי שהתמונות האלה מהוות בסיס של WW — אז TT הפיכה לפי משפט 13.
  3. 3לחלופין: הראי חח"ע (ker⁡T={0V}\ker T=\{0_V\}) וגם על (Im⁡T=W\operatorname{Im}T=W) לפי ההגדרה.
  4. 4זכרי ש-T−1T^{-1} מתקבלת אוטומטית כה"ל (משפט 9), אין צורך להוכיח את לינאריותה.