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].

אלגוריתם למציאת מטריצה המייצגת את העתקה בין בסיסים כלשהם

יהיו מ"ו V,W והעתקה T בינהם ובסיסים E,F בדיוק כמו בהגדרה לעיל. אזי:

1. מצא את מטריצה המעבר [math]\displaystyle{ [I]^F_S }[/math] (קל, לשים את הקואורדינטות לפי הבסיס הסטנדרטי של איברי F בעמודות)
2. הפוך אותה על מנת לקבל את [math]\displaystyle{ [I]^S_F }[/math]
3. הפעל את ההעתקה T על איברי הבסיס E לקבל [math]\displaystyle{ Tv_1,...,Tv_n }[/math]
4. שים את הקואורדינטות לפי הבסיס הסטנדרטי של התמונות משלב שלוש בעמודות מטריצה [math]\displaystyle{ [T]^E_S }[/math]
5. כפול מטריצות על מנת לקבל [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] וקטור כלשהו.

1. נבצע את האלגוריתם לעיל על מנת למצוא את [math]\displaystyle{ [T]^E_S }[/math].
2. נכפול במטריצת המעבר על מנת לקבל [math]\displaystyle{ [T]=[T]^S_S=[T]^E_S[I]^S_E }[/math]
3. [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 לE המקיימת [math]\displaystyle{ \forall i:Tv_i=w_i }[/math] כאשר [math]\displaystyle{ w_3=0 }[/math], [math]\displaystyle{ w_2=x^3+x^2+x+1 }[/math], [math]\displaystyle{ w_1=1+x }[/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 \\ 0 & 0 & 1 \\ \end{pmatrix} }[/math]

נהפוכו על מנת לקבל:

[math]\displaystyle{ [I]^{S_V}_B=([I]^B_{S_V})^{-1}= \begin{pmatrix} -1 & 2 & 2 \\ 0 & 1 & 1 \\ 0 & 0 & 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 \begin{pmatrix} -1 & 2 & 2 \\ 0 & 1 & 1 \\ 0 & 0 & 1 \\ \end{pmatrix} = \begin{pmatrix} -1 & 3 & 3 \\ -1 & 3 & 3 \\ 0 & 1 & 1 \\ 0 & 1 & 1 \\ \end{pmatrix} }[/math]

לכן, [math]\displaystyle{ [T(-x,y,x,z)]_S=[T]^{S_V}_S[(-x,y,x,z)]_{S_V}= \begin{pmatrix} -1 & 3 & 3 \\ -1 & 3 & 3 \\ 0 & 1 & 1 \\ 0 & 1 & 1 \\ \end{pmatrix} \cdot \begin{pmatrix} x \\ y \\ z \\ \end{pmatrix} = \begin{pmatrix} -x+3y+3z \\ -x+3y+3z \\ y+z \\ y+z \\ \end{pmatrix} }[/math]