88-112 לינארית 1 תיכוניסטים קיץ תשעא/מערך תרגול/9
מטריצות מייצגות
הגדרה. תהי [math]\displaystyle{ T:V\rightarrow W }[/math] העתקה לינארית, ויהיו [math]\displaystyle{ E,F }[/math] בסיסים ל[math]\displaystyle{ V,W }[/math] בהתאמה. נסמן [math]\displaystyle{ E=\{v_1,...,v_n\} }[/math]. אזי המטריצה המייצגת את T מבסיס E לבסיס F הינה המטריצה שעמודותיה הן הקואורדינטות לפי הבסיס F של התמונות של איברי הבסיס E. מסמנים
[math]\displaystyle{ [T]^E_F =\begin{pmatrix}
| & | & & | \\
\big[Tv_1]_F & [Tv_2]_F &\cdots &[Tv_n]_F \\
| & | & & | \\
\end{pmatrix} }[/math]
לכל וקטור [math]\displaystyle{ v\in V }[/math] מתקיים ש [math]\displaystyle{ [T]^E_F[v]_E=[Tv]_F }[/math]
הערה: שימו לב שאם ניקח את הוקטורים [math]\displaystyle{ Tv_1,...,Tv_n }[/math] ונשים אותם באופן נאיבי בעמודות מטריצה נקבל [math]\displaystyle{ [T]^E_S }[/math] (כאשר S הוא הבסיס הסטנדרטי)
אלגוריתם למציאת מטריצה המייצגת את ההעתקה בין בסיסים כלשהם
יהיו מ"ו V,W והעתקה T בינהם ובסיסים E,F בדיוק כמו בהגדרה לעיל. אזי:
- מצא את מטריצת המעבר [math]\displaystyle{ [I]^F_S }[/math] (קל, לשים את הקואורדינטות לפי הבסיס הסטנדרטי של איברי F בעמודות)
- הפוך אותה על מנת לקבל את [math]\displaystyle{ [I]^S_F }[/math]
- הפעל את ההעתקה T על איברי הבסיס E לקבל [math]\displaystyle{ Tv_1,...,Tv_n }[/math]
- שים את הקואורדינטות לפי הבסיס הסטנדרטי של התמונות משלב שלוש בעמודות מטריצה [math]\displaystyle{ [T]^E_S }[/math]
- כפול מטריצות על מנת לקבל [math]\displaystyle{ [T]^E_F=[I]^S_F[T]^E_S }[/math]
אלגוריתם למציאת העתקה מפורשת לפי תמונות איברי הבסיס בלבד
תהי T העתקה לינארית הנתונה על ידי התמונות של איברי בסיס [math]\displaystyle{ B=\{v_1,...,v_n\} }[/math]. רוצים למצוא את [math]\displaystyle{ Tv }[/math] עבור [math]\displaystyle{ v\in V }[/math] וקטור כלשהו.
- נבצע את האלגוריתם לעיל על מנת למצוא את [math]\displaystyle{ [T]^E_S }[/math].
- נכפול במטריצת המעבר על מנת לקבל [math]\displaystyle{ [T]=[T]^S_S=[T]^E_S[I]^S_E }[/math]
- [math]\displaystyle{ [T][v]=[Tv] }[/math] מכיוון שכל אלה בבסיס הסטנדרטי, נכפול בוקטור כללי מהמרחב על מנת למצוא לאן הוא נשלח במפורש.
דוגמא
תרגיל. יהיו [math]\displaystyle{ V=span\{v_1=(1,0,-1,1),v_2=(-2,1,2,0),v_3=(0,-1,0,1)\} }[/math] ו [math]\displaystyle{ W=\mathbb{R}_3[x] }[/math] מ"ו. תהי העתקה T מV לW המקיימת [math]\displaystyle{ \forall i:Tv_i=w_i }[/math] כאשר
[math]\displaystyle{ w_1=1+x }[/math]
[math]\displaystyle{ w_2=x^3+x^2+x+1 }[/math]
[math]\displaystyle{ w_3=0 }[/math]
מצא את ההעתקה T במפורש.
פתרון.
דבר ראשון נמצא את המטריצה המייצגת מB לבסיס הסטדנרטי של הפולינומים S. נשים את התמונות בעמודות
[math]\displaystyle{ [T]^B_S =\begin{pmatrix} | & | & | \\ \big[Tv_1]_S & [Tv_2]_S &[Tv_3]_S \\ | & | & | \\ \end{pmatrix}= \begin{pmatrix} | & | & | \\ \big[w_1]_S & [w_2]_S &[w_3]_S \\ | & | & | \\ \end{pmatrix}= \begin{pmatrix} 1 & 1 & 0 \\ 1 & 1 & 0 \\ 0 & 1 & 0 \\ 0 & 1 & 0 \\ \end{pmatrix} }[/math]
כעת נמצא את מטריצת המעבר. שימו לב שאנו עוסקים במקרה מיוחד. המרחב שלנו אינו מרחב מוכר, ואנו צריכים למצוא לו בסיס סטנרטי על מנת לקחת את הקואורדינטות של איברי הבסיס הנתון לפי אותו בסיס סטנדרטי שנמציא.
כל הוקטורים בV הינם צירופים לינאריים של הבסיס הנתון. ניקח צירוף לינארי כללי ונראה בקלות שהוא מהצורה [math]\displaystyle{ (-s,t,s,r)) }[/math] ולכן בסיס סטנדרטי שקל להוציא את הקואורדינטות לפיו יהיה [math]\displaystyle{ S_V=\{(-1,0,1,0),(0,1,0,0),(0,0,0,1)\} }[/math]. מדוע הוא סטנדרטי? קל מאד לראות שלכל וקטור במרחב [math]\displaystyle{ [(-x,y,x,z)]_{S_V}=(x,y,z) }[/math].
כעת נמצא מטריצת מעבר [math]\displaystyle{ [I]^B_{S_V}=
\begin{pmatrix}
-1 & 2 & 0 \\
0 & 1 & -1 \\
1 & 0 & 1 \\
\end{pmatrix}
}[/math]
נהפוכו על מנת לקבל:
[math]\displaystyle{ [I]^{S_V}_B=([I]^B_{S_V})^{-1}=\frac{1}{3} \begin{pmatrix} -1 & 2 & 2 \\ 1 & 1 & 1 \\ 1 & -2 & 1 \\ \end{pmatrix} }[/math]
ביחד אנו מקבלים
[math]\displaystyle{ [T]^{S_V}_S=[T]^{B}_S\cdot [I]^{S_V}_B= \begin{pmatrix} 1 & 1 & 0 \\ 1 & 1 & 0 \\ 0 & 1 & 0 \\ 0 & 1 & 0 \\ \end{pmatrix} \cdot \frac{1}{3} \begin{pmatrix} -1 & 2 & 2 \\ 1 & 1 & 1 \\ 1 & -2 & 1 \\ \end{pmatrix} = \frac{1}{3} \begin{pmatrix} 0 & 3 & 3 \\ 0 & 3 & 3 \\ 1 & 1 & 1 \\ 1 & 1 & 1 \\ \end{pmatrix} }[/math]
לכן, [math]\displaystyle{ [T(-x,y,x,z)]_S=[T]^{S_V}_S[(-x,y,x,z)]_{S_V}=
\frac{1}{3}
\begin{pmatrix}
0 & 3 & 3 \\
0 & 3 & 3 \\
1 & 1 & 1 \\
1 & 1 & 1 \\
\end{pmatrix}
\cdot
\begin{pmatrix}
x \\
y \\
z \\
\end{pmatrix}
=
\begin{pmatrix}
y+z \\
y+z \\
\frac{1}{3}(x+y+z) \\
\frac{1}{3}(x+y+z) \\
\end{pmatrix}
}[/math]
ולכן בסופו של דבר:
[math]\displaystyle{ T(-a,b,a,d)=b+d +(b+d)x + \frac{1}{3}(a+b+d)x^2+ \frac{1}{3}(a+b+d)x^3 }[/math]
תרגיל. (6.12) תהי [math]\displaystyle{ T:\mathbb{R}^2\rightarrow \mathbb{R}^2 }[/math] העתקה של שיקוף ביחס לציר x. מצא בסיס סדור B ל [math]\displaystyle{ \mathbb{R}^2 }[/math] עבורו [math]\displaystyle{ [T]_B=\begin{pmatrix} -1 & 2 \\ 0 & 1 \end{pmatrix} }[/math]
פתרון.
בסיס סדור יכיל שני וקטורים [math]\displaystyle{ v_1=(a,b),v_2=(c,d) }[/math]. לפי הנתונים [math]\displaystyle{ T(a,b)=(a,-b) }[/math] וגם [math]\displaystyle{ T(c,d)=(c,-d) }[/math].
עמודות המטריצה המייצגת הינן הקואורדינטות של התמונות של איברי הבסיס, לפי הבסיס. לכן
[math]\displaystyle{ (a,-b)=T(a,b)=(-1)\cdot (a,b) + 0 \cdot (c,d) }[/math]
[math]\displaystyle{ (c,-d)=T(c,d)=2\cdot (a,b) + 1 \cdot (c,d) }[/math]
ביחד קיבלנו 4 משוואות:
[math]\displaystyle{ a=-a \Rightarrow a=0 }[/math]
[math]\displaystyle{ -b=-b }[/math]
[math]\displaystyle{ c=2a+c=c }[/math]
[math]\displaystyle{ -d = 2b+d \Rightarrow d=-b }[/math]
לכן, עלינו לבחור [math]\displaystyle{ b,c,d }[/math] שיקיימו את המשוואות לעיל וגם יתקיים שהוקטורים [math]\displaystyle{ (a,b),(c,d) }[/math] בת"ל.
לכן b אינו אפס, וגם c אינו אפס. d חייב להיות -b.
ניקח [math]\displaystyle{ (0,1),(1,-1) }[/math] ואכן תנאי השאלה מתקיימים.
מחלקת שקילות של מטריצות המייצגות העתקה
תרגיל. נגדיר יחס על המטריצות הריבועיות: A נמצאת ביחס עם B (או "A מתייחסת ל-B") אם B הינה המטריצה המייצגת של ההעתקה [math]\displaystyle{ T_Av:=Av }[/math] ביחס לבסיס כלשהו. הראו שזהו יחס שקילויות, והוכיחו שפונקציית הtrace מוגדרת היטב על חבורת המנה
הוכחה.
- רפלקסיביות: A מייצגת את ההעתקה של עצמה ביחס לבסיס הסטנדרטי, שכן [math]\displaystyle{ Ae_i=C_i(A) }[/math]
- סימטריות: נניח B מייצגת את ההעתקה של A. אזי [math]\displaystyle{ B=[T_A]^E_E }[/math]. כפי שהראינו קודם [math]\displaystyle{ B=[T_B]^S_S }[/math] לכן [math]\displaystyle{ [T_B]^S_S=[I]^S_E[T_A]^S_S[I]^E_S=[I]^S_EA[I]^E_S }[/math] ומכאן נובע [math]\displaystyle{ A=[I]^E_S[T_B]^S_S[I]^S_E }[/math]
טענה: כל מטריצה הפיכה הינה מטריצת מעבר מקבוצת העמודות שלה, לבסיס הסטנדרטי (קל להוכיח).
לכן נמשיך, נסמן בF את קבוצת העמודות של המטריצה [math]\displaystyle{ [I]^S_E }[/math] וסה"כ נקבל [math]\displaystyle{ A=[I]^S_F[T_B]^S_S[I]^F_S=[T_B]^F_F }[/math] כפי שרצינו.
- טרנזיטיביות: נניח [math]\displaystyle{ B=[T_A]^E_E }[/math] וגם [math]\displaystyle{ C=[T_B]^F_F }[/math] לכן ביחד
[math]\displaystyle{ C=[T_B]^F_F=[I]^S_F[T_B]^S_S[I]^F_S=[I]^S_FB[I]^F_S=[I]^S_F[T_A]^E_E[I]^F_S= }[/math]
טענה: יהי בסיס E. אזי כל מטריצה הפיכה הינה מטריצת מעבר מבסיס כלשהו לבסיס E. ניקח את הצירופים הלינאריים של איברי E עם הסקלרים מעמודות המטריצה ההפיכה. מכיוון שעמודות המטריצה ההפיכה בת"ל, הקואורדינטות בת"ל ולכן גם הצירופים הלינאריים עצמם בת"ל ולכן מהווים בסיס המקיים את הדרוש.
נמשיך, [math]\displaystyle{ C=[I]^E_G[T_A]^E_E[I]^G_E=[T_A]^G_G }[/math] כפי שרצינו.
על מנת להוכיח שפונקצית הtrace מוגדרת היטב יש להראות שהיא שווה על כל שתי מטריצות שקולות. אבל זה קל כיוון ש
[math]\displaystyle{ tr(B)=tr([I]^S_EA[I]^E_S)=tr(A[I]^S_E[I]^E_S)=tr(A) }[/math]
מציאת גרעין ותמונה בעזרת מטריצה מייצגת
הגדרה. יהי V מ"ו ויהי U תת מרחב שלו. יהי B בסיס לV. אזי מרחב הקואורדינטות של U לפי B הינו [math]\displaystyle{ [U]_B:=\{[u]_B:u\in U\} }[/math]. כפי שלמדנו העתקת הקואורדינטות הינה איזומורפיזם ולכן בהנתן מרחב קואורדינטות קל למצוא את המרחב המקורי.
תרגיל. תהי A מטריצה ו-f פונקציה המוגדרת על ידי כפל במטריצה f(v)=Av. מצא את הגרעין ואת התמונה של f.
פתרון. קל לראות שהגרעין הינו [math]\displaystyle{ N(A) }[/math] והתמונה הינה [math]\displaystyle{ C(A) }[/math] (שכן Av הינו צירוף לינארי של עמודות A עם הסקלרים מv).
מסקנה. תהי T העתקה לינארית מV לW, עם E וF בסיסים בהתאמה. אזי מרחב הקואורדינטות של הגרעין הינו [math]\displaystyle{ [kerT]_E=\{[v]_E:Tv=0\}=\{[v]_E:[Tv]_F=[T]^E_F[v]_E=0\}=N([T]^E_F) }[/math]. מרחב הקואורדינטות של התמונה הינו [math]\displaystyle{ [ImT]_F=\{[Tv]_F:v\in V\}=\{[Tv]_F=[T]^E_F[v]_E:[v]_E\in\mathbb{F}^n\}=C([T]^E_F) }[/math]
אלגוריתם למציאת גרעין ותמונה של העתקה לפי המטריצה המייצגת
- מצא מטריצה מייצגת [math]\displaystyle{ A=[T]^E_F }[/math]
- מצא את מרחבי הקואורדינטות של הגרעין והתמונה [math]\displaystyle{ N(A)=[kerT]_E,C(A)=[ImT]_F }[/math]
- העבר חזרה את מרחבי הקואורדינטות לצורה המקורית (ע"י כפל הסקלרים מהקואורדינטות באיברי הבסיס)
תרגיל. (6.14)
א. מצא בצורה מפורשת העתקה לינארית [math]\displaystyle{ T:\mathbb{R}^4\rightarrow \mathbb{R}^4 }[/math] כך שמתקיים [math]\displaystyle{ Im(T)=span\{(2,4,5,7),(1,2,1,1)\} }[/math]
דרך נוספת לפתרון: ניתן להגדיר את T לפי משפט ההגדרה באופן הבא:
- [math]\displaystyle{ T(1,0,0,0)=(2,4,5,7) }[/math]
- [math]\displaystyle{ T(0,1,0,0)=(1,2,1,1) }[/math]
- [math]\displaystyle{ T(0,0,1,0)=(0,0,0,0) }[/math]
- [math]\displaystyle{ T(0,0,0,1)=(0,0,0,0) }[/math]
לאחר מכן קל למצוא את המטריצה המייצגת ולהכפיל אותה בווקטור כללי (כך ששתתקבל הצורה המפורשת של ההעתקה)
ב. מצא בצורה מפורשת העתקה לינארית [math]\displaystyle{ T:\mathbb{R}^3\rightarrow \mathbb{R}^3 }[/math] כך ש [math]\displaystyle{ ker(T)=span\{(1,3,7),(2,5,6)\} }[/math] וגם [math]\displaystyle{ Im(T)=span\{(1,2,3)\} }[/math]
פתרון.
א. פה אין דרישות רבות לתרגיל, רק דורשים תמונה מסוימת. אם כן, נשלח כל וקטור במרחב לצירוף לינארי של הוקטורים הנתונים, ונדאג לעבור על כל הצירופים האפשריים. [math]\displaystyle{ T(x,y,z,w)=x(2,4,5,7)+y(1,2,1,1) }[/math]. קל לראות שהתמונה היא בדיוק כפי שנדרש ע"י הכלה דו כיוונית.
ב. נשלים את הוקטורים הנתונים לבסיס ע"י הוקטור [math]\displaystyle{ (0,0,1) }[/math]. נסמן [math]\displaystyle{ w_1=w_2=0 }[/math] ונסמן [math]\displaystyle{ w_3=(1,2,3) }[/math]. נמצא את העתקה במפורש לפי האלגוריתם. ברור שהקבוצה הדרושה מוכלת בגרעין, משיקולי מימד היא שווה לו (כי התמונה ממימד אחד לפחות).
תרגיל. (6.16) תהי [math]\displaystyle{ T:\mathbb{R}^3\rightarrow\mathbb{R}^3 }[/math] העתקה לינארית המוגדרת על ידי [math]\displaystyle{ T(x,y,z)=(x+y,y+z,2x-2z) }[/math]
א. מצא בסיס לגרעין ולתמונה של T
ב. מצא בסיס סדור E ל[math]\displaystyle{ \mathbb{R}^3 }[/math] כך ש [math]\displaystyle{ [T]^E_E=\begin{pmatrix} 0 & 0 & 0 \\ 0 & * & * \\ 0 & * & * \end{pmatrix} }[/math]
פתרון.
א. נמצא מטריצה מייצגת לפי הבסיס הסטנדרטי. נראה מה התמונה של איברי הבסיס:
[math]\displaystyle{ T(1,0,0)=(1,0,2) }[/math]
[math]\displaystyle{ T(0,1,0)=(1,1,0) }[/math]
[math]\displaystyle{ T(0,0,1)=(0,1,-2) }[/math]
ולכן
[math]\displaystyle{ [T]=[T]^S_S=\begin{pmatrix} 1 & 1 & 0 \\ 0 & 1 & 1 \\ 2 & 0 & -2\end{pmatrix} }[/math]
מעל הבסיס הסטנדרטי, מרחב הקואורדינטות של תת מרחב U הוא U בעצמו. ולכן גרעין ההעתקה הינו [math]\displaystyle{ N([T]) }[/math] ותמונת ההעתקה הינה [math]\displaystyle{ C([A]) }[/math].
יוצא ש [math]\displaystyle{ kerT=span\{(1,-1,1)\} }[/math] ויוצא [math]\displaystyle{ ImT=span\{(1,0,2),(1,1,0)\} }[/math]
ב. במקרה שלנו, יצא ש [math]\displaystyle{ kerT \oplus ImT = \mathbb{R}^3 }[/math]. נגדיר את E להיות בסיס המורכב מאיחוד הבסיסים של הגרעין והתמונה, ונביט במטריצה המייצגת את ההעתקה לפי בסיס זה. מכיוון שהוקטור הראשון הוא בסיס לגרעין, התמונה שלו היא אפס וכך גם הקואורדינטות.
כמו כן, נביט בקואורדינטות של כל וקטור התמונה. מכיוון שזהו סכום ישר, יש הצגה יחידה של וקטור בתמונה לפי הבסיס שלנו E. אבל, גם יש לו הצגה יחידה לפי הבסיס לתמונה (שהוא מוכל בE) ולכן הקואורדינטות לפי וקטור הגרעין חייבות להיות אפס, כלומר השורה הראשונה הינה שורת אפסים.
תרגיל. יהיו [math]\displaystyle{ V=\mathbb{Z}_2^3 }[/math] ו[math]\displaystyle{ W=P(\{1,2,3\}) }[/math] מ"ו מעל השדה [math]\displaystyle{ \mathbb{Z}_2 }[/math]. (זכרו כי החיבור הוקטורי בקבוצת החזקה הינו הפרש סימטרי). תהי העתקה לינארית המוגדרת לפי משפט ההגדרה על ידי
[math]\displaystyle{ T(1,1,0)=\{2,3\} }[/math]
[math]\displaystyle{ T(0,1,1)=\{1,3\} }[/math]
[math]\displaystyle{ T(0,0,1)=\{1,2\} }[/math]
מצא את הגרעין ואת התמונה של ההעתקה.
פתרון.
שוב אנו נתקלים במרחב יחסית חדש ואנו צריכים למצוא לו בסיס סנדרטי. הבסיס הסטנדרטי למרחב קבוצת החזקה הוא באופן טבעי הנקודונים, שכן כל תת קבוצה הינה הפרש סימטרי של הנקודונים של האיברים שבה. אם כן הבסיס הסטנדרטי הינו [math]\displaystyle{ S_P=\{\{1\},\{2\},\{3\}\} }[/math]. נגדיר בסיס [math]\displaystyle{ E=\{(1,1,0),(0,1,1),(0,0,1)\} }[/math].
לכן המטריצה המייצגת הינה: [math]\displaystyle{ [T]^E_{S_P}=\begin{pmatrix}0 & 1 & 1 \\ 1 & 0 & 1 \\ 1 & 1 & 0\end{pmatrix} }[/math]
נמצא את הגרעין. [math]\displaystyle{ [kerT]_E=N([T]^E_{S_P})=span\{(1,1,1)\} }[/math]. אלו הקואורדינטות של הבסיס, ולכן הבסיס הוא הצירופים הלינאריים של איברי E עם הקואורדינטות הנ"ל כלומר [math]\displaystyle{ kerT = span\{(1,1,0)+(0,1,1)+(0,0,1)=(1,0,0)\} }[/math]. קל מאד לראות שהגרעין שונה ממרחב הקואורדינטות שלו.
נמצא את התמונה. [math]\displaystyle{ [ImT]_{S_P}=C([T]^E_{S_P})=span\{(0,1,1),(1,0,1)\} }[/math].
אם [math]\displaystyle{ [v]_{S_P}=(0,1,1) }[/math] אזי
[math]\displaystyle{ v=(0\cdot\{1\})\Delta (1\cdot\{2\}) \Delta (1\cdot\{3\})=\{2,3\} }[/math]
באופן דומה [math]\displaystyle{ (1,0,1) }[/math] תואם ל[math]\displaystyle{ \{1,3\} }[/math]
לסיכום [math]\displaystyle{ ImT=span\Big\{\{2,3\},\{1,3\}\Big\}=\Big\{\{\},\{1,3\},\{2,3\},\{1,2\}\Big\} }[/math] וזו התמונה של ההעתקה.