הבדלים בין גרסאות בדף "88-112 לינארית 1 תיכוניסטים קיץ תשעא/מערך תרגול/9"

מתוך Math-Wiki
קפיצה אל: ניווט, חיפוש
(←‏תרגיל חשוב!)
 
(38 גרסאות ביניים של 6 משתמשים אינן מוצגות)
שורה 3: שורה 3:
 
==מטריצות מייצגות==
 
==מטריצות מייצגות==
  
−
'''הגדרה.''' תהי <math>T:V\rightarrow W</math> העתקה לינארית, ויהיו <math>E,F</math> בסיסים ל<math>V,W</math> בהתאמה. נסמן <math>E=\{v_1,...,v_n\}</math>. אזי '''המטריצה המייצגת''' את T מבסיס E לבסיס F הינה המטריצה שעמודותיה הן הקואורדינטות לפי הבסיס F של התמונות של איברי הבסיס E מסמנים  
+
'''הגדרה.''' תהי <math>T:V\rightarrow W</math> העתקה לינארית, ויהיו <math>E,F</math> בסיסים ל<math>V,W</math> בהתאמה. נסמן <math>E=\{v_1,...,v_n\}</math>. אזי '''המטריצה המייצגת''' את T מבסיס E לבסיס F הינה המטריצה שעמודותיה הן הקואורדינטות לפי הבסיס F של התמונות של איברי הבסיס E. מסמנים  
  
  
שורה 16: שורה 16:
 
\end{pmatrix} </math>
 
\end{pmatrix} </math>
  
 +
 +
'''הערה''' : המטריצה <math>[T]^E_F</math> היא המטריצה היחידה המקיימת את הטענה הבאה
  
 
לכל וקטור <math>v\in V</math> מתקיים ש <math>[T]^E_F[v]_E=[Tv]_F</math>
 
לכל וקטור <math>v\in V</math> מתקיים ש <math>[T]^E_F[v]_E=[Tv]_F</math>
  
−
'''הערה:''' שימו לב שאם ניקח את הוקטורים <math>Tv_1,...,Tv_n</math> ונשים אותם באופן נאיבי בעמודות מטריצה נקבל <math>[T]^E_S</math>.
+
'''הערה''': שימו לב שמטריצת מעבר <math>[I]_B^{B'}</math> היא מקרה פרטי של מטריצה מייצגת. היא מייצגת את העתקת הזהות (ומכאן הסימון) <math>I:V\to V</math>
 +
כאשר <math>B,B'</math> שני בסיסים של המרחב.
  
−
===אלגוריתם למציאת מטריצה המייצגת את העתקה בין בסיסים כלשהם===
+
 
 +
 
 +
 
 +
=== דוגמא ===
 +
דוגמא: <math>V=\mathbb{R}_{2}[x],\,W=\mathbb{R}^{2}</math>.
 +
ויהיו
 +
<math>
 +
E=\{1,x,x^{2}\},F=\{\left(\begin{array}{c}
 +
1\\
 +
0
 +
\end{array}\right),\left(\begin{array}{c}
 +
0\\
 +
1
 +
\end{array}\right)\}</math>
 +
בסיסים בהתאמה
 +
 
 +
נגדיר <math>T:V\to W</math> ה"ל בעזרת משפט ההגדרה
 +
<math>T(a+bx+cx^{2})=\left(\begin{array}{c}
 +
b+c\\
 +
a
 +
\end{array}\right)</math>
 +
.
 +
 
 +
מצא את <math>[T]_{F}^{E}</math>
 +
 +
 
 +
'''פתרון:'''
 +
<math>T(1)=\left(\begin{array}{c}
 +
0\\
 +
1
 +
\end{array}\right)=0\cdot\left(\begin{array}{c}
 +
1\\
 +
0
 +
\end{array}\right)+(1)\cdot\left(\begin{array}{c}
 +
0\\
 +
1
 +
\end{array}\right)</math>
 +
ולכן
 +
<math>[T(1)]_{F}=\left(\begin{array}{c}
 +
0\\
 +
1
 +
\end{array}\right)</math>
 +
 +
 
 +
<math>T(x)=\left(\begin{array}{c}
 +
1\\
 +
0
 +
\end{array}\right)=1\cdot\left(\begin{array}{c}
 +
1\\
 +
0
 +
\end{array}\right)+0\cdot\left(\begin{array}{c}
 +
0\\
 +
1
 +
\end{array}\right)</math>
 +
ולכן
 +
<math>[T(x)]_{F}=\left(\begin{array}{c}
 +
1\\
 +
0
 +
\end{array}\right)</math>
 +
 +
 
 +
<math>T(x^{2})=\left(\begin{array}{c}
 +
1\\
 +
0
 +
\end{array}\right)=1\cdot\left(\begin{array}{c}
 +
1\\
 +
0
 +
\end{array}\right)+0\cdot\left(\begin{array}{c}
 +
0\\
 +
1
 +
\end{array}\right)</math>
 +
ולכן
 +
<math>[T(x^{2})]_{F}=\left(\begin{array}{c}
 +
1\\
 +
0
 +
\end{array}\right)</math>
 +
 +
 
 +
ולכן, בסך הכל נקבל
 +
<math>[T]_{F}^{E}=\left(\begin{array}{ccc}
 +
0 & 1 & 1\\
 +
1 & 0 & 0
 +
\end{array}\right)</math>
 +
 +
'''הערה:''' שימו לב, כפי שראינו בתרגיל זה,  שאם ניקח את הוקטורים <math>Tv_1,...,Tv_n</math> ונשים אותם באופן נאיבי בעמודות מטריצה נקבל <math>[T]^E_S</math> (כאשר S הוא הבסיס הסטנדרטי)
 +
 
 +
=== תרגיל (6.12)===
 +
 
 +
תהי <math>T:\mathbb{R}^2\rightarrow \mathbb{R}^2</math> העתקה של שיקוף ביחס לציר x. מצא בסיס סדור B ל <math>\mathbb{R}^2</math> עבורו <math>[T]_B=\begin{pmatrix} -1 & 2 \\ 0 & 1 \end{pmatrix}</math>
 +
 
 +
'''פתרון.'''
 +
 
 +
בסיס סדור יכיל שני וקטורים <math>v_1=(a,b),v_2=(c,d)</math>. לפי הנתונים <math>T(a,b)=(a,-b)</math>  וגם <math>T(c,d)=(c,-d)</math>.
 +
 
 +
עמודות המטריצה המייצגת הינן הקואורדינטות של התמונות של איברי הבסיס, לפי הבסיס. לכן
 +
 
 +
<math>(a,-b)=T(a,b)=(-1)\cdot (a,b) + 0 \cdot (c,d)</math>
 +
 
 +
<math>(c,-d)=T(c,d)=2\cdot (a,b) + 1 \cdot (c,d)</math>
 +
 
 +
ביחד קיבלנו 4 משוואות:
 +
 
 +
<math>a=-a \Rightarrow a=0</math>
 +
 
 +
<math>-b=-b</math>
 +
 
 +
<math>c=2a+c=c</math>
 +
 
 +
<math>-d = 2b+d \Rightarrow d=-b</math>
 +
 
 +
לכן, עלינו לבחור <math>b,c,d</math> שיקיימו את המשוואות לעיל '''וגם''' יתקיים שהוקטורים <math>(a,b),(c,d)</math> בת"ל.
 +
 
 +
לכן b אינו אפס, וגם c אינו אפס. d חייב להיות -b.
 +
 
 +
ניקח <math>(0,1),(1,-1)</math> ואכן תנאי השאלה מתקיימים.
 +
 
 +
===  תרגיל ===
 +
יהיו <math>V_1, V_2, V_3</math> מרחבים וקטורים עם בסיסים <math>B_1, B_2, B_3</math>בהתאמה.
 +
יהיו <math>T:V_1\to V_2 S:V_2\to V_3</math>  שתי ה"ל אזי מתקיים
 +
<math>[S\circ T]^{B_1}_{B_3}=[S]^{B_2}_{B_3}\cdot[T]^{B_1}_{B_2}</math>
 +
 
 +
'''הוכחה''' מ"ל כי לכל <math>v\in V_1 </math> מתקיים <math>[S]^{B_2}_{B_3}\cdot[T]^{B_1}_{B_2}[v]_{B_1} =[(S\circ T)(v)]_{B_3} </math> (כי המטריצה המייצגת היא היחידה המקיימת את התנאי הזה)
 +
 
 +
ואכן, לפי הגדרת מטריצה מייצגת נקבל כי
 +
 
 +
<math>
 +
[S]^{B_2}_{B_3}\cdot[T]^{B_1}_{B_2}[v]_{B_1} =
 +
 
 +
[S]^{B_2}_{B_3}\cdot [Tv]_{B_2}=
 +
[S(T(v))]_{B_3} =
 +
 
 +
[(S\circ T)(v)]_{B_3} </math>
 +
 
 +
==== מסקנה ====
 +
יהי <math>V</math> מ"ו, יהיו <math>B,B'</math> שני בסיסים שלו. אזי מטריצת המעבר <math>[I]_B^{B'}</math> הפיכה ומתקיים <math>([I]_B^{B'})^{-1} =[I]_{B'}^{B} </math> (כלומר ההופכית היא מטריצת המעבר "בכיוון ההפוך")
 +
 
 +
הוכחה: ישירות מתרגיל הקודם, <math>[I]_B^{B'}\cdot [I]_{B'}^{B} =[I]_{B}^{B} =I </math>
 +
 
 +
===תרגיל===
 +
יהי <math>V</math> מ"ו, <math>B,C</math> בסיסים, <math>T:V\to V</math> הע"ל. הוכיחו או הפריכו: <math>([T]_B^C)^{-1}=[T]_C^B</math>.
 +
 
 +
====פתרון====
 +
ממש לא. ראשית, מי אמר שמטריצה שמייצגת העתקה בכלל הפיכה? ושנית, כדאי להבין מה כן נותן הכפל בין המטריצות הללו: לפי הגדרת ההרכבה נקבל: <math>[T]_B^C\cdot [T]_C^B=[T^2]_B</math>, ואכן: <math>[T]_B^C\cdot [T]_C^B[v]_B=[T]_B^C[Tv]_C=[T^2v]_B</math>.
 +
 
 +
=== תרגיל ===
 +
<math>V=\mathbb{R}_{2}[x],\,W=\mathbb{R}^{2}</math>. ויהיו
 +
<math>E=\{-1,2+x,3+x+x^{2}\},F=\{\left(\begin{array}{c}
 +
1\\
 +
0
 +
\end{array}\right),\left(\begin{array}{c}
 +
1\\
 +
1
 +
\end{array}\right)\}</math>
 +
בסיסים בהתאמה
 +
 
 +
נגדיר <math>T:V\to W</math>
 +
ה"ל באופן הבא (בעזרת משפט ההגדרה)
 +
<math>T(a+bx+cx^{2})=\left(\begin{array}{c}
 +
b+c\\
 +
a
 +
\end{array}\right)</math>
 +
.
 +
מצא את <math>[T]_{F}^{E}</math>
 +
 +
 
 +
'''פתרון:'''
 +
<math>T(-1)=\left(\begin{array}{c}
 +
0\\
 +
-1
 +
\end{array}\right)=1\cdot\left(\begin{array}{c}
 +
1\\
 +
0
 +
\end{array}\right)+(-1)\cdot\left(\begin{array}{c}
 +
1\\
 +
1
 +
\end{array}\right)</math>
 +
ולכן
 +
<math>[T(-1)]_{F}=\left(\begin{array}{c}
 +
1\\
 +
-1
 +
\end{array}\right)</math>
 +
 +
 
 +
<math>T(2+x)=\left(\begin{array}{c}
 +
1\\
 +
2
 +
\end{array}\right)=-1\cdot\left(\begin{array}{c}
 +
1\\
 +
0
 +
\end{array}\right)+2\cdot\left(\begin{array}{c}
 +
1\\
 +
1
 +
\end{array}\right)</math>
 +
ולכן
 +
<math>[T(2+x)]_{F}=\left(\begin{array}{c}
 +
-1\\
 +
2
 +
\end{array}\right)</math>
 +
 +
 
 +
<math>T(3+x+x^{2})=\left(\begin{array}{c}
 +
2\\
 +
3
 +
\end{array}\right)=-1\cdot\left(\begin{array}{c}
 +
1\\
 +
0
 +
\end{array}\right)+3\cdot\left(\begin{array}{c}
 +
1\\
 +
1
 +
\end{array}\right)</math>
 +
ולכן
 +
<math>[T(3+x+x^{2})]_{F}=\left(\begin{array}{c}
 +
-1\\
 +
3
 +
\end{array}\right)</math>
 +
 +
ולכן, בסופו של דבר,
 +
<math>[T]_{F}^{E}=\left(\begin{array}{ccc}
 +
1 & -1 & -1\\
 +
-1 & 2 & 3
 +
\end{array}\right)</math>
 +
 
 +
==== דרך פתרון נוספת ====
 +
לא תמיד קל להביע וקטור כצ"ל של האחרים (בתרגיל הזה זה פשוט נתון..). הנה עוד דרך, נמצא את המטריצות <math>[I]_F^S,[T]_S^E</math>, כאשר <math>S</math> הוא בסיס סטנדרטי (שימו לב שיש פה שניים) ואז נכפול בניהם, ולפי הערה ממקודם נקבל <math> [I]_F^S \cdot [T]_S^E = [T]_F^E</math>.
 +
 
 +
המטריצה <math>[T]_S^E</math> קלה לחישוב כי חישוב של צ"ל לפי <math>S</math> זה קל
 +
 
 +
<math>
 +
[T]_S^E =
 +
\begin{pmatrix}
 +
0 & 1 & 2 \\
 +
-1 & 2 & 3
 +
\end{pmatrix}
 +
</math>
 +
 
 +
כעת בשביל לחשב את  <math>[I]_F^S</math> יש לחשב את ההופכית של 
 +
<math>[I]_S^F =
 +
\begin{pmatrix}
 +
1 & 1  \\
 +
0 & 1 
 +
\end{pmatrix}
 +
</math>
 +
 
 +
שהיא (זה מטריצה אלמנטרית ולכן קל להפוך..)
 +
 
 +
<math>[I]_F^S =
 +
\begin{pmatrix}
 +
1 & -1  \\
 +
0 & 1 
 +
\end{pmatrix}
 +
 
 +
</math>
 +
 
 +
נכפיל את המטריצות ואכן נקבל
 +
 
 +
<math>
 +
 
 +
[T]_F^E= [I]_F^S [T]_S^E =
 +
\begin{pmatrix}
 +
1 & -1  \\
 +
0 & 1 
 +
\end{pmatrix}
 +
\cdot
 +
\begin{pmatrix}
 +
0 & 1 & 2 \\
 +
-1 & 2 & 3
 +
\end{pmatrix}
 +
 
 +
 
 +
=
 +
 
 +
\begin{pmatrix}
 +
1 & -1 & -1 \\
 +
-1 & 2 & 3
 +
\end{pmatrix}
 +
</math>
 +
 
 +
=== תרגיל חשוב!===
 +
תהא <math>T:\mathbb{R}^{2\times2}\to\mathbb{R}^{2\times2}</math> המקיימת כי
 +
<math>T\left(\begin{array}{cc}
 +
1 & 0\\
 +
0 & 0
 +
\end{array}\right),T\left(\begin{array}{cc}
 +
0 & 1\\
 +
0 & 0
 +
\end{array}\right),T\left(\begin{array}{cc}
 +
0 & 0\\
 +
1 & 0
 +
\end{array}\right)\in\text{span}\left\{ \left(\begin{array}{cc}
 +
1 & 1\\
 +
0 & 0
 +
\end{array}\right),\left(\begin{array}{cc}
 +
1 & 0\\
 +
1 & 0
 +
\end{array}\right)\right\}</math>
 +
ובנוסף נתונה מטריצה מייצגת שלה
 +
<math>[T]_{C}^{B}=\left(\begin{array}{cccc}
 +
1 & 2 & 3 & 4\\
 +
0 & 5 & 6 & 7\\
 +
0 & 0 & 8 & x\\
 +
0 & 0 & 4 & x
 +
\end{array}\right)</math>
 +
(עבור איזה שהן בסיסים <math>B,C</math>) מצאו את <math>x</math>.
 +
 
 +
*קבעו איזה איברים של השורה האחרונה של <math>[T^{10}]_{S}^{S}</math> הם בודאות ששוים לאפס .(כאשר S הוא  הבסיס הסטנדרטי).
 +
 
 +
*הוכיחו שקיים בסיס <math>D</math> ל <math>\mathbb{R}^{2\times2}</math> כך המטריצה המייצגת מהצורה
 +
<math>[T]_{D}^{D}=\left(\begin{array}{cccc}
 +
0 & * & * & *\\
 +
0 & * & * & *\\
 +
0 & * & * & *\\
 +
0 & * & * & *
 +
\end{array}\right)</math>
 +
 
 +
ויש בנוסף שורת אפסים
 +
 
 +
=== תרגיל חשוב! ===
 +
יהא <math>V=\mathbb{R}_{2}[x]</math> ושני בסיסים <math>B=\left\{ 2+x,3-x+x^{2},-2+4x-x^{2}\right\} ,C=\left\{ 1+x+x^{2},2+2x,x+2x^{2}\right\}</math> שני בסיסים של <math>V</math>. בנוסף, נסמן <math>S=\left\{ 1,x,x^{2}\right\}</math>  את הבסיס הסטנדרטי של <math>V</math>.
 +
 
 +
*מצאו את מטריצות המעבר <math>[I]_{C}^{B},[I]_{S}^{B},[I]_{C}^{S}</math> ומצאו את <math>[I]_{B}^{C}</math>
 +
 
 +
* נגדיר <math>T:V\to V</math> ע"י הכלל <math>T(p(x))=p(x+1)</math>. מצאו את המטריצה <math>[T]_{C}^{B},[T]_{C}^{C}</math>.
 +
 
 +
 
 +
 
 +
** הוכיחו/הפריכו: קיימת <math>\hat{T}:\mathbb{R}_{2}[x]\to\mathbb{R}_{2}[x]</math> כך ש <math>[\hat{T}\circ T]_{C}^{B} =\left(\begin{array}{ccc}
 +
3 & 0 & 0\\
 +
0 & 0 & 0\\
 +
0 & 0 & 0
 +
\end{array}\right)</math>
 +
וגם<math>
 +
[T\circ\hat{T}]_{B}^{C} =\left(\begin{array}{ccc}
 +
0 & 0 & 0\\
 +
0 & 0 & 0\\
 +
0 & 0 & 0
 +
\end{array}\right)
 +
</math>
 +
**הוכיחו/הפריכו: קיימת <math>\hat{T}:\mathbb{R}_{2}[x]\to\mathbb{R}_{2}[x]</math> כך ש
 +
<math>[\hat{T}\circ T]_{B}^{B} =\left(\begin{array}{ccc}
 +
1 & 0 & 0\\
 +
0 & 2 & 0\\
 +
0 & 0 & 0
 +
\end{array}\right)</math>
 +
וגם
 +
<math>[T\circ\hat{T}]_{S}^{C} =\left(\begin{array}{ccc}
 +
1 & 0 & 0\\
 +
0 & 2 & 0\\
 +
0 & 0 & 3
 +
\end{array}\right)</math>
 +
 
 +
** מצאו לאילו ערכי <math>a</math> קיימת <math>\hat{T}:\mathbb{R}_{2}[x]\to\mathbb{R}_{2}[x]</math> כך ש
 +
<math>[\hat{T}\circ T]_{C}^{B} =\left(\begin{array}{ccc}
 +
1 & 2 & 3\\
 +
4 & 5 & 6\\
 +
7 & 8 & a
 +
\end{array}\right)</math>
 +
 
 +
===אלגוריתם למציאת מטריצה המייצגת את ההעתקה בין בסיסים כלשהם===
 +
 
 +
הנה אלגוריתם שמכליל את הדוגמא הקודמת.
  
 
יהיו מ"ו V,W והעתקה T בינהם ובסיסים E,F בדיוק כמו בהגדרה לעיל. אזי:
 
יהיו מ"ו V,W והעתקה T בינהם ובסיסים E,F בדיוק כמו בהגדרה לעיל. אזי:
  
−
# מצא את מטריצה המעבר <math>[I]^F_S</math> (קל, לשים את הקואורדינטות לפי הבסיס הסטנדרטי של איברי F בעמודות)
+
# מצא את מטריצת המעבר <math>[I]^F_S</math> (קל, לשים את הקואורדינטות לפי הבסיס הסטנדרטי של איברי F בעמודות)
 
# הפוך אותה על מנת לקבל את <math>[I]^S_F</math>  
 
# הפוך אותה על מנת לקבל את <math>[I]^S_F</math>  
 
# הפעל את ההעתקה T על איברי הבסיס E לקבל <math>Tv_1,...,Tv_n</math>
 
# הפעל את ההעתקה T על איברי הבסיס E לקבל <math>Tv_1,...,Tv_n</math>
שורה 32: שורה 394:
  
 
===אלגוריתם למציאת העתקה מפורשת לפי תמונות איברי הבסיס בלבד===
 
===אלגוריתם למציאת העתקה מפורשת לפי תמונות איברי הבסיס בלבד===
−
תהי T העתקה לינארית הנתונה על ידי התמונות של איברי בסיס <math>B=\{v_1,...,v_n\}</math>. רוצים למצוא את <math>Tv</math> עבור <math>v\in V</math> וקטור כלשהו.  
+
תהי T העתקה לינארית הנתונה על ידי התמונות של איברי בסיס <math>E=\{v_1,...,v_n\}</math>. רוצים למצוא את <math>Tv</math> עבור <math>v\in V</math> וקטור כלשהו.  
  
 
#נבצע את האלגוריתם לעיל על מנת למצוא את <math>[T]^E_S</math>.  
 
#נבצע את האלגוריתם לעיל על מנת למצוא את <math>[T]^E_S</math>.  
 
#נכפול במטריצת המעבר על מנת לקבל <math>[T]=[T]^S_S=[T]^E_S[I]^S_E</math>
 
#נכפול במטריצת המעבר על מנת לקבל <math>[T]=[T]^S_S=[T]^E_S[I]^S_E</math>
−
#<math>[T][v]=[Tv]</math> מכיוון שכל אלא בבסיס הסטנדרטי, נכפול בוקטור כללי מהמרחב על מנת למצוא לאן הוא נשלח במפורש.
+
#<math>[T][v]=[Tv]</math> מכיוון שכל אלה בבסיס הסטנדרטי, נכפול בוקטור כללי מהמרחב על מנת למצוא לאן הוא נשלח במפורש.
  
 
===דוגמא===
 
===דוגמא===
−
'''תרגיל.''' יהיו <math>V=span\{v_1=(1,0,-1,1),v_2=(-2,1,2,0),v_3=(0,-1,0,1)\}</math> ו <math>W=\mathbb{R}_3[x]</math> מ"ו. תהי העתקה T מV לE המקיימת <math>\forall i:Tv_i=w_i</math> כאשר
+
'''תרגיל.''' יהיו <math>V=span\{v_1=(1,0,-1,1),v_2=(-2,1,2,0),v_3=(0,-1,0,1)\}</math> ו <math>W=\mathbb{R}_3[x]</math> מ"ו. תהי העתקה T מV לW המקיימת <math>\forall i:Tv_i=w_i</math> כאשר
 
   
 
   
 
<math>w_1=1+x</math>
 
<math>w_1=1+x</math>
שורה 50: שורה 412:
  
  
−
'''פתרון.'''
+
====פתרון====
−
דבר ראשון נמצא את המטריצה המייצגת מB לבסיס הסטדנרטי של הפולינומים S. נשים את התמונות בעמודות  
+
דבר ראשון נמצא את המטריצה המייצגת מ <math>B=\{v_1,v_2,v_3\}</math> לבסיס הסטדנרטי של הפולינומים S. נשים את התמונות בעמודות  
  
 
<math>[T]^B_S =\begin{pmatrix}
 
<math>[T]^B_S =\begin{pmatrix}
שורה 84: שורה 446:
 
  </math>
 
  </math>
  
−
כעת נמצא את מטריצת המעבר. שימו לב שאנו עוסקים במקרה מיוחד. המרחב שלנו אינו מרחב מוכר, ואנו צריכים למצוא לו בסיס סטנרטי על מנת לקחת את הקואורדינטות של איברי הבסיס הנתון לפי אותו בסיס סטנדרטי שנמציא.
+
כעת נמצא את מטריצת המעבר. שימו לב שאנו עוסקים במקרה מיוחד. המרחב שלנו אינו מרחב מוכר, ואנו צריכים למצוא לו בסיס סטנרטי על מנת לקחת את הקואורדינטות של איברי הבסיס הנתון לפי אותו בסיס סטנדרטי שנמציא. נדרג מטריצה ששורתיה עם הוקטורים הנ"ל. כיוון שמרחב השורות לא משתנה נקבל בסיס אחר יותר נח.
  
−
כל הוקטורים בV הינם צירופים לינאריים של הבסיס הנתון. ניקח צירוף לינארי כללי ונראה בקלות שהוא מהצורה <math>(-s,t,s,r))</math> ולכן בסיס סטנדרטי שקל להוציא את הקואורדינטות לפיו יהיה <math>S_V=\{(-1,0,1,0),(0,1,0,0),(0,0,0,1)\}</math>. מדוע הוא סטנדרטי? קל מאד לראות שלכל וקטור במרחב <math>[(-x,y,x,z)]_{S_V}=(x,y,z)</math>.
+
<math>
 +
\begin{pmatrix}
 +
1 & 0 & -1 &1 \\
 +
-2 & 1 & 2 & 0 \\
 +
0 &-1 & 0 &1
 +
\end{pmatrix}
 +
\to
 +
\begin{pmatrix}
 +
1 & 0 & -1 &1 \\
 +
0 & 1 & 0 & 2 \\
 +
0 &-1 & 0 &1
 +
\end{pmatrix}
 +
\to
 +
\begin{pmatrix}
 +
1 & 0 & -1 &1 \\
 +
0 & 1 & 0 & 2 \\
 +
0 &0 & 0 &3
 +
\end{pmatrix}
 +
\to
 +
\begin{pmatrix}
 +
1 & 0 & -1 &0 \\
 +
0 & 1 & 0 & 0 \\
 +
0 &0 & 0 &1
 +
\end{pmatrix}
 +
</math>
 +
ולכן בסיס אלטרנטיבי למרחב שלנו הוא
 +
<math>S_V=\{(-1,0,1,0),(0,1,0,0),(0,0,0,1)\}</math>. מדוע הוא סטנדרטי? קל מאד לראות שלכל וקטור במרחב <math>[(-x,y,x,z)]_{S_V}=(x,y,z)</math>.
  
  
שורה 188: שורה 576:
  
 
<math>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>
 
<math>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>T:\mathbb{R}^2\rightarrow \mathbb{R}^2</math> העתקה של שיקוף ביחס לציר x. מצא בסיס סדור B ל <math>\mathbb{R}^2</math> עבורו <math>[T]_B=\begin{pmatrix} -1 & 2 \\ 0 & 1 \end{pmatrix}</math>
 
−
 
−
'''פתרון.'''
 
−
 
−
בסיס סדור יכיל שני וקטורים <math>v_1=(a,b),v_2=(c,d)</math>. לפי הנתונים <math>T(a,b)=(a,-b)</math>  וגם <math>T(c,d)=(c,-d)</math>.
 
−
 
−
עמודות המטריצה המייצגת הינן הקואורדינטות של התמונות של איברי הבסיס, לפי הבסיס. לכן
 
−
 
−
<math>(a,-b)=T(a,b)=(-1)\cdot (a,b) + 0 \cdot (c,d)</math>
 
−
 
−
<math>(c,-d)=T(c,d)=2\cdot (a,b) + 1 \cdot (c,d)</math>
 
−
 
−
ביחד קיבלנו 4 משוואות:
 
−
 
−
<math>a=-a \Rightarrow a=0</math>
 
−
 
−
<math>-b=-b</math>
 
−
 
−
<math>c=2a+c=c</math>
 
−
 
−
<math>-d = 2b+d \Rightarrow d=-b</math>
 
−
 
−
לכן, עלינו לבחור <math>b,c,d</math> שיקיימו את המשוואות לעיל '''וגם''' יתקיים שהוקטורים <math>(a,b),(c,d)</math> בת"ל.
 
−
 
−
לכן b אינו אפס, וגם c אינו אפס. d חייב להיות -b.
 
−
 
−
ניקח <math>(0,1),(1,-1)</math> ואכן תנאי השאלה מתקיימים.
 
  
 
===מחלקת שקילות של מטריצות המייצגות העתקה===
 
===מחלקת שקילות של מטריצות המייצגות העתקה===
  
−
'''תרגיל.''' נגדיר יחס על המטריצות הריבועיות: A ביחס לB אם B הינה המטריצה המייצגת של ההעתקה <math>T_Av:=Av</math> ביחס לבסיס כלשהו. הוא שזהו יחס שקילויות, והוכח שפונקצית הtrace מוגדרת היטב על חבורת המנה
+
טענה: יהא <math>V</math> מ"ו מימד סופי <math>B=\{v_1,\dots v_n\}</math> בסיס. תהא <math>A\in \mathbb{F}^{n\times n}</math> הפיכה.  
−
 
+
אזי קיים <math>B'</math> בסיס אחר כך ש <math>[I]^{B'}_B= A</math>  
−
'''הוכחה.'''
+
−
 
+
−
*רפלקסיביות: A מייצגת את ההעתקה של עצמה ביחס לבסיס הסטנדרטי, שכן <math>Ae_i=C_i(A)</math>
+
−
 
+
−
 
+
−
*סימטריות: נניח B מייצגת את ההעתקה של A. אזי <math>B=[T_A]^E_E</math>. כפי שהראינו קודם <math>B=[T_B]^S_S</math> לכן <math>[T_B]^S_S=[I]^S_E[T_A]^S_S[I]^E_S=[I]^S_EA[I]^E_S</math> ומכאן נובע <math>A=[I]^E_S[T_B]^S_S[I]^S_E</math>
+
−
 
+
−
 
+
−
'''טענה:''' כל מטריצה הפיכה הינה מטריצת מעבר מקבוצת העמודות שלה, לבסיס הסטנדרטי (קל להוכיח).
+
−
 
+
−
 
+
−
לכן נמשיך, נסמן בF את קבוצת העמודות של המטריצה <math>[I]^S_E</math> וסה"כ נקבל <math>A=[I]^S_SF[T_B]^S_S[I]^F_S=[T_B]^F_F</math> כפי שרצינו.
+
−
 
+
−
 
+
−
 
+
−
*טרנזיטיביות: נניח <math>B=[T_A]^E_E</math> וגם <math>C=[T_B]^F_F</math> לכן ביחד
+
−
 
+
−
<math>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>
+
  
 +
(במילים: המטריצה A היא מטריצת מעבר מאיזה שהוא בסיס אחר לבסיס הנתון)
  
−
'''טענה:''' יהי בסיס E. אזי כל מטריצה הפיכה הינה מטריצת מעבר מבסיס כלשהו לבסיס E. ניקח את הצירופים הלינאריים של איברי E עם הסקלרים מעמודות המטריצה ההפיכה. מכיוון שעמודות המטריצה ההפיכה בת"ל, הקואורדינטות בת"ל ולכן גם הצירופים הלינאריים עצמם בת"ל ולכן מהווים בסיס המקיים את הדרוש.
+
הוכחה: נגדיר  <math>B'=\{v'_1,\dots v'_n\}</math> ע"י <math>v'_j=\sum_{i=1}^n A_{i,j}\cdot v_i </math>.
 +
לפי הגדרה מתקיים כי <math>[I]^{B'}_B= A</math>. נותר להוכיח כי אכן <math>B'</math> בסיס.
 +
כיוון ש <math>|B'|=n</math> אזי אם נוכיח כי <math>B'</math> בת"ל אזי הוא בסיס לפי השלישי חינם.
  
 +
נוכיח כי <math>B'</math> בת"ל
  
−
נמשיך, <math>C=[I]^E_G[T_A]^E_E[I]^G_E=[T_A]^G_G</math> כפי שרצינו.
+
נניח כי <math>\sum_{j=1}^n \alpha_j v'_j =0</math>. צ"ל כי  <math>\forall i \; \alpha_i =0</math>
  
  
−
על מנת להוכיח שפונקצית הtrace מוגדרת היטב יש להראות שהיא שווה על כל שתי מטריצות שקולות. אבל זה קל כיוון ש
+
<math>0=\sum_{j=1}^n \alpha_j v'_j =\sum_{j=1}^n \alpha_j \sum_{i=1}^n A_{i,j}\cdot v_i =\sum_{i=1}^n \big( \sum_{j=1}^n \alpha_j  A_{i,j} \big) \cdot v_i </math>
−
<math>tr(B)=tr([I]^S_EA[I]^E_S)=tr(A[I]^S_E[I]^E_S)=tr(A)</math>
+
  
−
==מציאת גרעין ותמונה בעזרת מטריצה מייצגת==
+
כיוון ש <math>B</math> בת"ל נקבל כי לכל <math>i</math> מתקיים כי <math> \sum_{j=1}^n \alpha_j  A_{i,j} =0</math>
−
'''הגדרה.''' יהי V מ"ו ויהי U תת מרחב שלו. יהי B בסיס לV. אזי '''מרחב הקואורדינטות''' של U לפי B הינו <math>[U]_B:=\{[u]_B:u\in U\}</math>. כפי שלמדנו העתקת הקואורדינטות הינה איזומורפיזם ולכן בהנתן מרחב קואורדינטות קל למצוא את המרחב המקורי.
+
  
−
'''תרגיל.''' תהי A מטריצה ו-f פונקציה המוגדרת על ידי כפל במטריצה f(v)=Av. מצא את הגרעין ואת התמונה של f.
+
אבל זה בדיוק הקורדינאטה ה <math>i</math> - ית של הכפל <math>(\alpha_1,\dots \alpha_n)\cdot A </math>
  
−
'''פתרון.''' קל לראות שהגרעין הינו <math>N(A)</math> והתמונה הינה <math>C(A)</math> (שכן Av הינו צירוף לינארי של עמודות A עם הסקלרים מv).
+
ולכן <math>(\alpha_1,\dots \alpha_n)\cdot A =(0,0,\dots ,0) </math> ע"י הכפלה מימין ב <math>A^{-1}</math> נקבל את הדרוש.
  
  
−
'''מסקנה.''' תהי T העתקה לינארית מV לW, עם E וF בסיסים בהתאמה. אזי מרחב הקואורדינטות של הגרעין הינו <math>[kerT]_E=\{[v]_E:Tv=0\}=\{[v]_E:[Tv]_F=[T]^E_F[v]_E=0\}=N([T]^E_F)</math>. מרחב הקואורדינטות של התמונה הינו <math>[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>\mathbb{F}^{n\times n}</math> נגדיר יחס שקילות באופן הבא:
−
# מצא מטריצה מייצגת <math>A=[T]^E_F</math>
+
<math>A\approx B</math> אם קיימת מטריצה הפיכה <math>P</math> כך ש <math>A=P^{-1}BP</math>.
−
# מצא את מרחבי הקואורדינטות של הגרעין והתמונה <math>N(A)=[kerT]_E,C(A)=[ImT]_F</math>
+
−
# '''העבר חזרה''' את מרחבי הקואורדינטות לצורה המקורית (ע"י כפל הסקלרים מהקואורדינטות באיברי הבסיס)
+
  
 +
יחס זה נקרא "הצמדה".
  
−
'''תרגיל. (6.14)'''
+
הוכיחו כי זהו אכן יחס שקילות.
  
−
א. מצא בצורה מפורשת העתקה לינארית <math>T:\mathbb{R}^4\rightarrow \mathbb{R}^4</math> כך שמתקיים <math>Im(T)=span\{(2,4,5,7),(1,2,1,1)\}</math>
+
'''טענה מרכזית'''
  
−
ב. מצא בצורה מפורשת העתקה לינארית <math>T:\mathbb{R}^3\rightarrow \mathbb{R}^3</math> כך ש <math>ker(T)=span\{(1,3,7),(2,5,6)\}</math> וגם <math>Im(T)=span\{(1,2,3)\}</math>
+
יהא <math>V</math> מ"ו מימד סופי <math>n</math>. תהא <math>T:V\to V</math> ה"ל.
 +
ונשתמש בסימון <math>\approx</math> כיחס ההצמדה על המטריצות <math>\mathbb{F}^{n\times n}</math> שהגדרנו לעיל.
  
 +
מתקיים כי
  
−
'''פתרון.'''
+
1. <math>[T]_B \approx [T]_{B'}</math> עבור כל 2 בסיסים <math>B,B'</math>
−
 
+
−
א. פה אין דרישות רבות לתרגיל, רק דורשים תמונה מסוימת. אם כן, נשלח כל וקטור במרחב לצירוף לינארי של הוקטורים הנתונים, ונדאג לעבור על כל הצירופים האפשריים. <math>T(x,y,z,w)=x(2,4,5,7)+y(1,2,1,1)</math>. קל לראות שהתמונה היא בדיוק כפי שנדרש ע"י הכלה דו כיוונית.
+
−
 
+
−
ב. נשלים את הוקטורים הנתונים לבסיס ע"י הוקטור <math>(0,0,1)</math>. נסמן <math>w_1=w_2=0</math> ונסמן <math>w_3=(1,2,3)</math>. נמצא את העתקה במפורש לפי האלגוריתם. ברור שהקבוצה הדרושה מוכלת בגרעין, משיקולי מימד היא שווה לו (כי התמונה ממימד אחד לפחות).
+
−
 
+
−
 
+
−
 
+
−
'''תרגיל. (6.16)''' תהי <math>T:\mathbb{R}^3\rightarrow\mathbb{R}^3</math> העתקה לינארית המוגדרת על ידי <math>T(x,y,z)=(x+y,y+z,2x-2z)</math>
+
−
 
+
−
א. מצא בסיס לגרעין ולתמונה של T
+
−
 
+
−
ב. מצא בסיס סדור E ל<math>\mathbb{R}^3</math> כך ש <math>[T]^E_E=\begin{pmatrix} 0 & 0 & 0 \\ 0 & * & * \\ 0 & * & * \end{pmatrix}</math>
+
−
 
+
−
'''פתרון.'''
+
−
 
+
−
א. נמצא מטריצה מייצגת לפי הבסיס הסטנדרטי. נראה מה התמונה של איברי הבסיס:
+
−
 
+
−
<math>T(1,0,0)=(1,0,2)</math>
+
−
 
+
−
<math>T(0,1,0)=(1,1,0)</math>
+
−
 
+
−
<math>T(0,0,1)=(0,1,-2)</math>
+
−
 
+
−
ולכן
+
−
 
+
−
<math>[T]=[T]^S_S=\begin{pmatrix} 1 & 1 & 0 \\ 0 & 1 & 1 \\ 2 & 0 & -2\end{pmatrix}</math>
+
−
 
+
−
מעל הבסיס הסטנדרטי, מרחב הקואורדינטות של תת מרחב U הוא U בעצמו. ולכן גרעין ההעתקה הינו <math>N([T])</math> ותמונת ההעתקה הינה <math>C([A])</math>.
+
−
 
+
−
יוצא ש <math>kerT=span\{(1,-1,1)\}</math> ויוצא <math>ImT=span\{(1,0,2),(1,1,0)\}</math>
+
−
 
+
−
ב. במקרה שלנו, יצא ש <math>kerT \oplus ImT = \mathbb{R}^3</math>. נגדיר את E להיות בסיס המורכב מאיחוד הבסיסים של הגרעין והתמונה, ונביט המטריצה המייצגת את ההעתקה לפי בסיס זה. מכיוון שהוקטור הראשון הוא בסיס לגרעין, התמונה שלו היא אפס וכך גם הקואורדינטות.
+
−
 
+
−
כמו כן, נביט בקואורדינטות של כל וקטור התמונה. מכיוון שזהו סכום ישר, יש הצגה יחידה של וקטור בתמונה לפי הבסיס שלנו E. אבל, גם יש לו הצגה יחידה לפי הבסיס לתמונה (שהוא מוכל בE) ולכן הקואורדינטות לפי וקטור הגרעין חייבות להיות אפס, כלומר השורה הראשונה הינה שורת אפסים.
+
−
 
+
−
 
+
−
 
+
−
'''תרגיל.'''
+
−
יהיו <math>V=\mathbb{Z}_2^3</math> ו<math>W=P(\{1,2,3\})</math> מ"ו מעל השדה <math>\mathbb{Z}_2</math>. (זכרו כי החיבור הוקטורי בקבוצת החזקה הינו הפרש סימטרי). תהי העתקה לינארית המוגדרת לפי משפט ההגדרה על ידי
+
−
 
+
−
<math>T(1,1,0)=\{2,3\}</math>
+
−
 
+
−
<math>T(0,1,1)=\{1,3\}</math>
+
−
 
+
−
<math>T(0,0,1)=\{1,2\}</math>
+
−
 
+
−
מצא את הגרעין ואת התמונה של ההעתקה.
+
−
 
+
−
'''פתרון.'''
+
−
 
+
−
שוב אנו נתקלים במרחב יחסית חדש ואנו זקוקים למצוא לו בסיס סנדרטי. הבסיס הסטנדרטי למרחב קבוצה החזקה הוא באופן טבעי הנקודונים, שכן כל תת קבוצה הינה הפרש סימטרי של הנקודונים של האיברים שבה. אם כן הבסיס הסטנדרטי הינו <math>S_P=\{\{1\},\{2\},\{3\}\}</math>. נגדיר בסיס
+
−
<math>E=\{(1,1,0),(0,1,1),(0,0,1)\}</math>.
+
  
−
לכן המטריצה המייצגת הינה: <math>[T]^E_{S_P}=\begin{pmatrix}0 & 1 & 1 \\ 1 & 0 & 1 \\ 1 & 1 & 0\end{pmatrix}</math>
+
2.  אם <math>[T]_B \approx A</math> עבור <math>B </math> בסיס כל שהוא אזי קיים בסיס <math>B'</math>
 +
כך ש <math>[T]_{B'}=A</math>
  
 +
במילים- המטריצה המייצגת של <math>T</math> יחידה עד כדי הצמדה.
  
−
נמצא את הגרעין. <math>[kerT]_E=N([T]^E_{S_P})=span\{(1,1,1)\}</math>. אלו הקואורדינטות של הבסיס, ולכן הבסיס הוא הצירופים הלינאריים של איברי E עם הקואורדינטות הנ"ל כלומר <math>kerT = span\{(1,1,0)+(0,1,1)+(0,0,1)=(1,0,0)\}</math>. קל מאד לראות שהגרעין '''שונה''' ממרחב הקואורדינטות שלו.
+
כלומר אם נייצג את <math>T</math> ע"י 2 בסיסים נקבל מטריצות צמודות ומאידך גיסא אם יש מטריצה <math>A</math> הצמודה לאיזה שהוא מטריצה מייצגת של <math>T</math> אז גם המטריצה <math>A</math> מייצגת את <math>T</math>
  
 +
הוכחה:
  
−
נמצא את התמונה. <math>[ImT]_{S_P}=C([T]^E_{S_P})=span\{(0,1,1),(1,0,1)\}</math>.
+
1. מתקיים בגלל השיוויון <math>[T]^B_B=[I]^{B'}_B[T]^{B'}_{B'}[I]^B_{B'}</math> ומתקיים כי <math>[I]^{B'}_B</math> הופכית של <math>[I]^B_{B'}</math>
  
 +
2. נתון כי קיימת מטריצה הפיכה <math>P</math> כך ש <math>P^{-1}[T]_BP = A</math> מהטענה שהוכחנו לעיל קיים בסיס <math>B'</math> כך ש <math>[I]^{B'}_B= P</math> ואז <math>A=P^{-1}[T]_BP = [I]^B_{B'}[T]_B[I]^{B'}_B=[T]^{B'}_{B'}</math>
 +
כלומר <math>A</math> אכן מייצגת את <math>T</math> לפי הבסיס <math>B'</math>.
  
−
אם <math>[v]_{S_P}=(0,1,1)</math> אזי
 
  
  
−
<math>v=(0\cdot\{1\})\Delta (1\cdot\{2\}) \Delta (1\cdot\{3\})=\{2,3\}</math>
+
הגדרה:
 +
יהא <math>V</math> מ"ו מימד סופי <math>n</math>.  תהא <math>T:V\to V</math> ה"ל.
  
 +
אזי העקבה של <math>T</math> מוגדרת להיות
 +
<math>trace(T)=trace([T]_B)</math> כאשר <math>B</math> בסיס כלשהוא. (או בקיצור <math>tr([T]_B)</math>)
  
−
באופן דומה <math>(1,0,1)</math> תואם ל<math>\{1,3\}</math>
+
הערה: ההגדרה לא תלויה בבחירת הבסיס. כלומר עבור 2 בסיסים <math>B,B'</math>  
 +
מתקיים כי <math>trace([T]_{B'})=trace([T]_B)</math>.
  
 +
למה? לפי הטענה המרכזית קיימת <math>P</math> הפיכה כך ש
 +
<math>[T]_B=P^{-1}[T]_{B'}P</math>
 +
ואז מתקיים <math>tr([T]_B)=tr(P^{-1}[T]_{B'}P)=tr(PP^{-1}[T]_{B'})=tr([T]_{B'})</math>
  
−
לסיכום <math>ImT=span\Big\{\{2,3\},\{1,3\}\Big\}=\Big\{\{\},\{1,3\},\{2,3\},\{1,2\}\Big\}</math> וזו התמונה של ההעתקה.
+
המעבר באמצע נובע מהעובדה כי לכל 2 מטריצות <math>A,B</math> מתקיים כי  <math>tr(AB)=tr(BA)</math>

גרסה אחרונה מ־13:46, 11 באוגוסט 2020

חזרה למערכי התרגול

מטריצות מייצגות

הגדרה. תהי T:V\rightarrow W העתקה לינארית, ויהיו E,F בסיסים לV,W בהתאמה. נסמן E=\{v_1,...,v_n\}. אזי המטריצה המייצגת את T מבסיס E לבסיס F הינה המטריצה שעמודותיה הן הקואורדינטות לפי הבסיס F של התמונות של איברי הבסיס E. מסמנים


[T]^E_F =\begin{pmatrix} | & | & & | \\ \big[Tv_1]_F & [Tv_2]_F &\cdots &[Tv_n]_F \\ | & | & & | \\ \end{pmatrix}


הערה : המטריצה [T]^E_F היא המטריצה היחידה המקיימת את הטענה הבאה

לכל וקטור v\in V מתקיים ש [T]^E_F[v]_E=[Tv]_F

הערה: שימו לב שמטריצת מעבר [I]_B^{B'} היא מקרה פרטי של מטריצה מייצגת. היא מייצגת את העתקת הזהות (ומכאן הסימון) I:V\to V כאשר B,B' שני בסיסים של המרחב.



דוגמא

דוגמא: V=\mathbb{R}_{2}[x],\,W=\mathbb{R}^{2}. ויהיו E=\{1,x,x^{2}\},F=\{\left(\begin{array}{c} 1\\ 0 \end{array}\right),\left(\begin{array}{c} 0\\ 1 \end{array}\right)\} בסיסים בהתאמה

נגדיר T:V\to W ה"ל בעזרת משפט ההגדרה T(a+bx+cx^{2})=\left(\begin{array}{c} b+c\\ a \end{array}\right) .

מצא את [T]_{F}^{E}


פתרון: T(1)=\left(\begin{array}{c} 0\\ 1 \end{array}\right)=0\cdot\left(\begin{array}{c} 1\\ 0 \end{array}\right)+(1)\cdot\left(\begin{array}{c} 0\\ 1 \end{array}\right) ולכן [T(1)]_{F}=\left(\begin{array}{c} 0\\ 1 \end{array}\right)


T(x)=\left(\begin{array}{c} 1\\ 0 \end{array}\right)=1\cdot\left(\begin{array}{c} 1\\ 0 \end{array}\right)+0\cdot\left(\begin{array}{c} 0\\ 1 \end{array}\right) ולכן [T(x)]_{F}=\left(\begin{array}{c} 1\\ 0 \end{array}\right)


T(x^{2})=\left(\begin{array}{c} 1\\ 0 \end{array}\right)=1\cdot\left(\begin{array}{c} 1\\ 0 \end{array}\right)+0\cdot\left(\begin{array}{c} 0\\ 1 \end{array}\right) ולכן [T(x^{2})]_{F}=\left(\begin{array}{c} 1\\ 0 \end{array}\right)


ולכן, בסך הכל נקבל [T]_{F}^{E}=\left(\begin{array}{ccc} 0 & 1 & 1\\ 1 & 0 & 0 \end{array}\right)

הערה: שימו לב, כפי שראינו בתרגיל זה, שאם ניקח את הוקטורים Tv_1,...,Tv_n ונשים אותם באופן נאיבי בעמודות מטריצה נקבל [T]^E_S (כאשר S הוא הבסיס הסטנדרטי)

תרגיל (6.12)

תהי T:\mathbb{R}^2\rightarrow \mathbb{R}^2 העתקה של שיקוף ביחס לציר x. מצא בסיס סדור B ל \mathbb{R}^2 עבורו [T]_B=\begin{pmatrix} -1 & 2 \\ 0 & 1 \end{pmatrix}

פתרון.

בסיס סדור יכיל שני וקטורים v_1=(a,b),v_2=(c,d). לפי הנתונים T(a,b)=(a,-b) וגם T(c,d)=(c,-d).

עמודות המטריצה המייצגת הינן הקואורדינטות של התמונות של איברי הבסיס, לפי הבסיס. לכן

(a,-b)=T(a,b)=(-1)\cdot (a,b) + 0 \cdot (c,d)

(c,-d)=T(c,d)=2\cdot (a,b) + 1 \cdot (c,d)

ביחד קיבלנו 4 משוואות:

a=-a \Rightarrow a=0

-b=-b

c=2a+c=c

-d = 2b+d \Rightarrow d=-b

לכן, עלינו לבחור b,c,d שיקיימו את המשוואות לעיל וגם יתקיים שהוקטורים (a,b),(c,d) בת"ל.

לכן b אינו אפס, וגם c אינו אפס. d חייב להיות -b.

ניקח (0,1),(1,-1) ואכן תנאי השאלה מתקיימים.

תרגיל

יהיו V_1, V_2, V_3 מרחבים וקטורים עם בסיסים B_1, B_2, B_3בהתאמה. יהיו T:V_1\to V_2 S:V_2\to V_3 שתי ה"ל אזי מתקיים [S\circ T]^{B_1}_{B_3}=[S]^{B_2}_{B_3}\cdot[T]^{B_1}_{B_2}

הוכחה מ"ל כי לכל v\in V_1 מתקיים [S]^{B_2}_{B_3}\cdot[T]^{B_1}_{B_2}[v]_{B_1} =[(S\circ T)(v)]_{B_3} (כי המטריצה המייצגת היא היחידה המקיימת את התנאי הזה)

ואכן, לפי הגדרת מטריצה מייצגת נקבל כי

[S]^{B_2}_{B_3}\cdot[T]^{B_1}_{B_2}[v]_{B_1} = [S]^{B_2}_{B_3}\cdot [Tv]_{B_2}= [S(T(v))]_{B_3} = [(S\circ T)(v)]_{B_3}

מסקנה

יהי V מ"ו, יהיו B,B' שני בסיסים שלו. אזי מטריצת המעבר [I]_B^{B'} הפיכה ומתקיים ([I]_B^{B'})^{-1} =[I]_{B'}^{B} (כלומר ההופכית היא מטריצת המעבר "בכיוון ההפוך")

הוכחה: ישירות מתרגיל הקודם, [I]_B^{B'}\cdot [I]_{B'}^{B} =[I]_{B}^{B} =I

תרגיל

יהי V מ"ו, B,C בסיסים, T:V\to V הע"ל. הוכיחו או הפריכו: ([T]_B^C)^{-1}=[T]_C^B.

פתרון

ממש לא. ראשית, מי אמר שמטריצה שמייצגת העתקה בכלל הפיכה? ושנית, כדאי להבין מה כן נותן הכפל בין המטריצות הללו: לפי הגדרת ההרכבה נקבל: [T]_B^C\cdot [T]_C^B=[T^2]_B, ואכן: [T]_B^C\cdot [T]_C^B[v]_B=[T]_B^C[Tv]_C=[T^2v]_B.

תרגיל

V=\mathbb{R}_{2}[x],\,W=\mathbb{R}^{2}. ויהיו E=\{-1,2+x,3+x+x^{2}\},F=\{\left(\begin{array}{c} 1\\ 0 \end{array}\right),\left(\begin{array}{c} 1\\ 1 \end{array}\right)\} בסיסים בהתאמה

נגדיר T:V\to W ה"ל באופן הבא (בעזרת משפט ההגדרה) T(a+bx+cx^{2})=\left(\begin{array}{c} b+c\\ a \end{array}\right) . מצא את [T]_{F}^{E}


פתרון: T(-1)=\left(\begin{array}{c} 0\\ -1 \end{array}\right)=1\cdot\left(\begin{array}{c} 1\\ 0 \end{array}\right)+(-1)\cdot\left(\begin{array}{c} 1\\ 1 \end{array}\right) ולכן [T(-1)]_{F}=\left(\begin{array}{c} 1\\ -1 \end{array}\right)


T(2+x)=\left(\begin{array}{c} 1\\ 2 \end{array}\right)=-1\cdot\left(\begin{array}{c} 1\\ 0 \end{array}\right)+2\cdot\left(\begin{array}{c} 1\\ 1 \end{array}\right) ולכן [T(2+x)]_{F}=\left(\begin{array}{c} -1\\ 2 \end{array}\right)


T(3+x+x^{2})=\left(\begin{array}{c} 2\\ 3 \end{array}\right)=-1\cdot\left(\begin{array}{c} 1\\ 0 \end{array}\right)+3\cdot\left(\begin{array}{c} 1\\ 1 \end{array}\right) ולכן [T(3+x+x^{2})]_{F}=\left(\begin{array}{c} -1\\ 3 \end{array}\right)

ולכן, בסופו של דבר, [T]_{F}^{E}=\left(\begin{array}{ccc} 1 & -1 & -1\\ -1 & 2 & 3 \end{array}\right)

דרך פתרון נוספת

לא תמיד קל להביע וקטור כצ"ל של האחרים (בתרגיל הזה זה פשוט נתון..). הנה עוד דרך, נמצא את המטריצות [I]_F^S,[T]_S^E, כאשר S הוא בסיס סטנדרטי (שימו לב שיש פה שניים) ואז נכפול בניהם, ולפי הערה ממקודם נקבל [I]_F^S \cdot [T]_S^E = [T]_F^E.

המטריצה [T]_S^E קלה לחישוב כי חישוב של צ"ל לפי S זה קל

[T]_S^E = \begin{pmatrix} 0 & 1 & 2 \\ -1 & 2 & 3 \end{pmatrix}

כעת בשביל לחשב את [I]_F^S יש לחשב את ההופכית של [I]_S^F = \begin{pmatrix} 1 & 1 \\ 0 & 1 \end{pmatrix}

שהיא (זה מטריצה אלמנטרית ולכן קל להפוך..)

[I]_F^S = \begin{pmatrix} 1 & -1 \\ 0 & 1 \end{pmatrix}

נכפיל את המטריצות ואכן נקבל

[T]_F^E= [I]_F^S [T]_S^E = \begin{pmatrix} 1 & -1 \\ 0 & 1 \end{pmatrix} \cdot \begin{pmatrix} 0 & 1 & 2 \\ -1 & 2 & 3 \end{pmatrix} = \begin{pmatrix} 1 & -1 & -1 \\ -1 & 2 & 3 \end{pmatrix}

תרגיל חשוב!

תהא T:\mathbb{R}^{2\times2}\to\mathbb{R}^{2\times2} המקיימת כי T\left(\begin{array}{cc} 1 & 0\\ 0 & 0 \end{array}\right),T\left(\begin{array}{cc} 0 & 1\\ 0 & 0 \end{array}\right),T\left(\begin{array}{cc} 0 & 0\\ 1 & 0 \end{array}\right)\in\text{span}\left\{ \left(\begin{array}{cc} 1 & 1\\ 0 & 0 \end{array}\right),\left(\begin{array}{cc} 1 & 0\\ 1 & 0 \end{array}\right)\right\} ובנוסף נתונה מטריצה מייצגת שלה [T]_{C}^{B}=\left(\begin{array}{cccc} 1 & 2 & 3 & 4\\ 0 & 5 & 6 & 7\\ 0 & 0 & 8 & x\\ 0 & 0 & 4 & x \end{array}\right) (עבור איזה שהן בסיסים B,C) מצאו את x.

  • קבעו איזה איברים של השורה האחרונה של [T^{10}]_{S}^{S} הם בודאות ששוים לאפס .(כאשר S הוא הבסיס הסטנדרטי).
  • הוכיחו שקיים בסיס D ל \mathbb{R}^{2\times2} כך המטריצה המייצגת מהצורה

[T]_{D}^{D}=\left(\begin{array}{cccc} 0 & * & * & *\\ 0 & * & * & *\\ 0 & * & * & *\\ 0 & * & * & * \end{array}\right)

ויש בנוסף שורת אפסים

תרגיל חשוב!

יהא V=\mathbb{R}_{2}[x] ושני בסיסים B=\left\{ 2+x,3-x+x^{2},-2+4x-x^{2}\right\} ,C=\left\{ 1+x+x^{2},2+2x,x+2x^{2}\right\} שני בסיסים של V. בנוסף, נסמן S=\left\{ 1,x,x^{2}\right\} את הבסיס הסטנדרטי של V.

  • מצאו את מטריצות המעבר [I]_{C}^{B},[I]_{S}^{B},[I]_{C}^{S} ומצאו את [I]_{B}^{C}
  • נגדיר T:V\to V ע"י הכלל T(p(x))=p(x+1). מצאו את המטריצה [T]_{C}^{B},[T]_{C}^{C}.


    • הוכיחו/הפריכו: קיימת \hat{T}:\mathbb{R}_{2}[x]\to\mathbb{R}_{2}[x] כך ש [\hat{T}\circ T]_{C}^{B} =\left(\begin{array}{ccc} 3 & 0 & 0\\ 0 & 0 & 0\\ 0 & 0 & 0 \end{array}\right)

וגם [T\circ\hat{T}]_{B}^{C} =\left(\begin{array}{ccc} 0 & 0 & 0\\ 0 & 0 & 0\\ 0 & 0 & 0 \end{array}\right)

    • הוכיחו/הפריכו: קיימת \hat{T}:\mathbb{R}_{2}[x]\to\mathbb{R}_{2}[x] כך ש

[\hat{T}\circ T]_{B}^{B} =\left(\begin{array}{ccc} 1 & 0 & 0\\ 0 & 2 & 0\\ 0 & 0 & 0 \end{array}\right) וגם [T\circ\hat{T}]_{S}^{C} =\left(\begin{array}{ccc} 1 & 0 & 0\\ 0 & 2 & 0\\ 0 & 0 & 3 \end{array}\right)

    • מצאו לאילו ערכי a קיימת \hat{T}:\mathbb{R}_{2}[x]\to\mathbb{R}_{2}[x] כך ש

[\hat{T}\circ T]_{C}^{B} =\left(\begin{array}{ccc} 1 & 2 & 3\\ 4 & 5 & 6\\ 7 & 8 & a \end{array}\right)

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

הנה אלגוריתם שמכליל את הדוגמא הקודמת.

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

  1. מצא את מטריצת המעבר [I]^F_S (קל, לשים את הקואורדינטות לפי הבסיס הסטנדרטי של איברי F בעמודות)
  2. הפוך אותה על מנת לקבל את [I]^S_F
  3. הפעל את ההעתקה T על איברי הבסיס E לקבל Tv_1,...,Tv_n
  4. שים את הקואורדינטות לפי הבסיס הסטנדרטי של התמונות משלב שלוש בעמודות מטריצה [T]^E_S
  5. כפול מטריצות על מנת לקבל [T]^E_F=[I]^S_F[T]^E_S

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

תהי T העתקה לינארית הנתונה על ידי התמונות של איברי בסיס E=\{v_1,...,v_n\}. רוצים למצוא את Tv עבור v\in V וקטור כלשהו.

  1. נבצע את האלגוריתם לעיל על מנת למצוא את [T]^E_S.
  2. נכפול במטריצת המעבר על מנת לקבל [T]=[T]^S_S=[T]^E_S[I]^S_E
  3. [T][v]=[Tv] מכיוון שכל אלה בבסיס הסטנדרטי, נכפול בוקטור כללי מהמרחב על מנת למצוא לאן הוא נשלח במפורש.

דוגמא

תרגיל. יהיו V=span\{v_1=(1,0,-1,1),v_2=(-2,1,2,0),v_3=(0,-1,0,1)\} ו W=\mathbb{R}_3[x] מ"ו. תהי העתקה T מV לW המקיימת \forall i:Tv_i=w_i כאשר

w_1=1+x

w_2=x^3+x^2+x+1

w_3=0

מצא את ההעתקה T במפורש.


פתרון

דבר ראשון נמצא את המטריצה המייצגת מ B=\{v_1,v_2,v_3\} לבסיס הסטדנרטי של הפולינומים S. נשים את התמונות בעמודות

[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}

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

\begin{pmatrix} 1 & 0 & -1 &1 \\ -2 & 1 & 2 & 0 \\ 0 &-1 & 0 &1 \end{pmatrix} \to \begin{pmatrix} 1 & 0 & -1 &1 \\ 0 & 1 & 0 & 2 \\ 0 &-1 & 0 &1 \end{pmatrix} \to \begin{pmatrix} 1 & 0 & -1 &1 \\ 0 & 1 & 0 & 2 \\ 0 &0 & 0 &3 \end{pmatrix} \to \begin{pmatrix} 1 & 0 & -1 &0 \\ 0 & 1 & 0 & 0 \\ 0 &0 & 0 &1 \end{pmatrix} ולכן בסיס אלטרנטיבי למרחב שלנו הוא S_V=\{(-1,0,1,0),(0,1,0,0),(0,0,0,1)\}. מדוע הוא סטנדרטי? קל מאד לראות שלכל וקטור במרחב [(-x,y,x,z)]_{S_V}=(x,y,z).


כעת נמצא מטריצת מעבר [I]^B_{S_V}= \begin{pmatrix} -1 & 2 & 0 \\ 0 & 1 & -1 \\ 1 & 0 & 1 \\ \end{pmatrix}

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

[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}


ביחד אנו מקבלים

[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}


לכן, [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}


ולכן בסופו של דבר:

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

מחלקת שקילות של מטריצות המייצגות העתקה

טענה: יהא V מ"ו מימד סופי B=\{v_1,\dots v_n\} בסיס. תהא A\in \mathbb{F}^{n\times n} הפיכה. אזי קיים B' בסיס אחר כך ש [I]^{B'}_B= A

(במילים: המטריצה A היא מטריצת מעבר מאיזה שהוא בסיס אחר לבסיס הנתון)

הוכחה: נגדיר B'=\{v'_1,\dots v'_n\} ע"י v'_j=\sum_{i=1}^n A_{i,j}\cdot v_i . לפי הגדרה מתקיים כי [I]^{B'}_B= A. נותר להוכיח כי אכן B' בסיס. כיוון ש |B'|=n אזי אם נוכיח כי B' בת"ל אזי הוא בסיס לפי השלישי חינם.

נוכיח כי B' בת"ל

נניח כי \sum_{j=1}^n \alpha_j v'_j =0. צ"ל כי \forall i \; \alpha_i =0


0=\sum_{j=1}^n \alpha_j v'_j =\sum_{j=1}^n \alpha_j \sum_{i=1}^n A_{i,j}\cdot v_i =\sum_{i=1}^n \big( \sum_{j=1}^n \alpha_j A_{i,j} \big) \cdot v_i

כיוון ש B בת"ל נקבל כי לכל i מתקיים כי \sum_{j=1}^n \alpha_j A_{i,j} =0

אבל זה בדיוק הקורדינאטה ה i - ית של הכפל (\alpha_1,\dots \alpha_n)\cdot A

ולכן (\alpha_1,\dots \alpha_n)\cdot A =(0,0,\dots ,0) ע"י הכפלה מימין ב A^{-1} נקבל את הדרוש.


בניה:

על המטריצות הריבועיות \mathbb{F}^{n\times n} נגדיר יחס שקילות באופן הבא: A\approx B אם קיימת מטריצה הפיכה P כך ש A=P^{-1}BP.

יחס זה נקרא "הצמדה".

הוכיחו כי זהו אכן יחס שקילות.

טענה מרכזית

יהא V מ"ו מימד סופי n. תהא T:V\to V ה"ל. ונשתמש בסימון \approx כיחס ההצמדה על המטריצות \mathbb{F}^{n\times n} שהגדרנו לעיל.

מתקיים כי

1. [T]_B \approx [T]_{B'} עבור כל 2 בסיסים B,B'

2. אם [T]_B \approx A עבור B בסיס כל שהוא אזי קיים בסיס B' כך ש [T]_{B'}=A

במילים- המטריצה המייצגת של T יחידה עד כדי הצמדה.

כלומר אם נייצג את T ע"י 2 בסיסים נקבל מטריצות צמודות ומאידך גיסא אם יש מטריצה A הצמודה לאיזה שהוא מטריצה מייצגת של T אז גם המטריצה A מייצגת את T

הוכחה:

1. מתקיים בגלל השיוויון [T]^B_B=[I]^{B'}_B[T]^{B'}_{B'}[I]^B_{B'} ומתקיים כי [I]^{B'}_B הופכית של [I]^B_{B'}

2. נתון כי קיימת מטריצה הפיכה P כך ש P^{-1}[T]_BP = A מהטענה שהוכחנו לעיל קיים בסיס B' כך ש [I]^{B'}_B= P ואז A=P^{-1}[T]_BP = [I]^B_{B'}[T]_B[I]^{B'}_B=[T]^{B'}_{B'} כלומר A אכן מייצגת את T לפי הבסיס B'.


הגדרה: יהא V מ"ו מימד סופי n. תהא T:V\to V ה"ל.

אזי העקבה של T מוגדרת להיות trace(T)=trace([T]_B) כאשר B בסיס כלשהוא. (או בקיצור tr([T]_B))

הערה: ההגדרה לא תלויה בבחירת הבסיס. כלומר עבור 2 בסיסים B,B' מתקיים כי trace([T]_{B'})=trace([T]_B).

למה? לפי הטענה המרכזית קיימת P הפיכה כך ש [T]_B=P^{-1}[T]_{B'}P ואז מתקיים tr([T]_B)=tr(P^{-1}[T]_{B'}P)=tr(PP^{-1}[T]_{B'})=tr([T]_{B'})

המעבר באמצע נובע מהעובדה כי לכל 2 מטריצות A,B מתקיים כי tr(AB)=tr(BA)

מקור: https://math-wiki.com/index.php?title=88-112_לינארית_1_תיכוניסטים_קיץ_תשעא/מערך_תרגול/9&oldid=85522