Unit 4: העתקות ליניאריות

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

הקדמה: העתקות ליניאריות – הלב הפועם של האלגברה הליניארית

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

מהי העתקה ליניארית? הגדרה ותכונות יסוד

הגדרה פורמלית

שני תנאים אלו ניתנים לאיחוד לתנאי יחיד: T(αu + βv) = αT(u) + βT(v) לכל u, v ∈ V ו- α, β ∈ F. תנאי זה מדגיש את שימור הצירופים הליניאריים.

חשיבות התכונות

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

מושגי מפתח: גרעין, תמונה, ומשפט המימדים

גרעין (Kernel)

הגרעין קשור ישירות לשאלת חד-חד ערכיות (אינג'קטיביות) של ההעתקה. T היא חד-חד ערכית אם ורק אם Ker(T) = {0_V}.

תמונה (Image)

התמונה קשורה ישירות לשאלת העל (סורג'קטיביות) של ההעתקה. T היא על אם ורק אם Im(T) = W.

משפט המימדים (Rank-Nullity Theorem)

ייצוג מטריציוני ושינוי בסיס

הקשר בין העתקות למטריצות

אחד הרעיונות המרכזיים באלגברה ליניארית הוא שכל העתקה ליניארית בין מרחבים וקטוריים סוף-ממדיים ניתנת לייצוג באמצעות מטריצה. בחירת בסיסים למרחב המקור V ולמרחב היעד W קובעת באופן חד-חד ערכי את המטריצה המייצגת את ההעתקה. אם V בעל מימד n ו-W בעל מימד m, המטריצה המייצגת תהיה בגודל m x n.

כלומר, אם [v]_B הוא וקטור הקואורדינטות של v בבסיס B, אז [T(v)]_C = [T]_C^B[v]_B.

שינוי בסיס

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

שאלות לדיון

• האם כל פונקציה מ-R² ל-R² היא העתקה ליניארית? תנו דוגמה לפונקציה שאינה ליניארית והסבירו מדוע.
• כיצד ניתן להשתמש במשפט המימדים כדי לקבוע האם העתקה ליניארית היא חד-חד ערכית או על, מבלי לחשב במפורש את הגרעין או התמונה?
• בהינתן העתקה ליניארית T: V → V, מה המשמעות של העובדה ש-Ker(T) = Im(T)?
• כיצד בחירת בסיסים שונים משפיעה על המטריצה המייצגת של אותה העתקה ליניארית? האם תכונות מהותיות של ההעתקה (כמו דרגה או מימד גרעין) משתנות?

נקודות לתשובת מודל

• הגדרה ובדיקה: כדי לבדוק אם פונקציה היא העתקה ליניארית, יש לבדוק את שני תנאי ההגדרה (אדיטיביות והומוגניות). דוגמה נפוצה לפונקציה לא ליניארית היא T(x,y) = (x+1, y) או T(x,y) = (x², y).
• יישום משפט המימדים: אם dim(V) = n:
  • T היא חד-חד ערכית אם ורק אם dim(Ker(T)) = 0. ממשפט המימדים, זה אומר ש-dim(Im(T)) = n.
  • T היא על אם ורק אם dim(Im(T)) = dim(W). אם V=W, אז T היא על אם ורק אם dim(Im(T)) = n, מה שגורר ש-dim(Ker(T)) = 0.
• Ker(T) = Im(T): מצב זה אפשרי רק אם dim(V) הוא מספר זוגי (2k), ואז dim(Ker(T)) = dim(Im(T)) = k. פירושו שכל וקטור שהעתקתו נמצאת בתמונה, בהכרח מועתק לאפס אם נפעיל עליו את T שוב (T(T(v)) = 0).
• השפעת שינוי בסיס: בחירת בסיסים שונים משנה את המטריצה המייצגת של ההעתקה, אך לא משנה את תכונותיה המהותיות (אינווריאנטיות) כמו דרגה (Rank), מימד הגרעין (Nullity), ערכים עצמיים (בהמשך הקורס), או הדטרמיננטה (אם מדובר באופרטור). המטריצות המייצגות ביחס לבסיסים שונים הן מטריצות דומות.