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

מתוך Math-Wiki
קפיצה אל: ניווט, חיפוש
(תרגילים ממבחנים בנושא העתקות לינאריות)
(תרגיל.)
 
(11 גרסאות ביניים של 2 משתמשים אינן מוצגות)
שורה 4: שורה 4:
 
'''הגדרה.''' יהי V מ"ו ויהי U תת מרחב שלו. יהי B בסיס לV. אזי '''מרחב הקואורדינטות''' של U לפי B הינו <math>[U]_B:=\{[u]_B:u\in U\}</math>. כפי שלמדנו העתקת הקואורדינטות הינה איזומורפיזם ולכן בהנתן מרחב קואורדינטות קל למצוא את המרחב המקורי.
 
'''הגדרה.''' יהי V מ"ו ויהי U תת מרחב שלו. יהי B בסיס לV. אזי '''מרחב הקואורדינטות''' של U לפי B הינו <math>[U]_B:=\{[u]_B:u\in U\}</math>. כפי שלמדנו העתקת הקואורדינטות הינה איזומורפיזם ולכן בהנתן מרחב קואורדינטות קל למצוא את המרחב המקורי.
  
'''תרגיל.''' תהי A מטריצה ו-f פונקציה המוגדרת על ידי כפל במטריצה f(v)=Av. מצא את הגרעין ואת התמונה של f.
+
===תרגיל.===
 +
תהי A מטריצה ו-f פונקציה המוגדרת על ידי כפל במטריצה f(v)=Av. מצא את הגרעין ואת התמונה של f.
  
 
'''פתרון.''' קל לראות שהגרעין הינו <math>N(A)</math> והתמונה הינה <math>C(A)</math> (שכן Av הינו צירוף לינארי של עמודות A עם הסקלרים מv).
 
'''פתרון.''' קל לראות שהגרעין הינו <math>N(A)</math> והתמונה הינה <math>C(A)</math> (שכן Av הינו צירוף לינארי של עמודות A עם הסקלרים מv).
  
  
'''מסקנה.''' תהי 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>
+
'''מסקנה.''' תהי 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>
  
 
===אלגוריתם למציאת גרעין ותמונה של העתקה לפי המטריצה המייצגת===
 
===אלגוריתם למציאת גרעין ותמונה של העתקה לפי המטריצה המייצגת===
שורה 16: שורה 21:
 
# '''העבר חזרה''' את מרחבי הקואורדינטות לצורה המקורית (ע"י כפל הסקלרים מהקואורדינטות באיברי הבסיס)
 
# '''העבר חזרה''' את מרחבי הקואורדינטות לצורה המקורית (ע"י כפל הסקלרים מהקואורדינטות באיברי הבסיס)
  
 +
=== תרגיל ===
 +
נגדיר ה"ל <math>T:\mathbb{R}^{2\times3}\to\mathbb{R}^{2}</math>
 +
ע"י <math>T(A)=C_{1}(A)+C_{3}(A)</math>
 +
(כאשר <math>C_{i}(A)</math> פירושו העמודה ה <math>i</math>-ית של <math>A</math>).
 +
 +
1. נגדיר <math>S=\left\{ e_{1,1},e_{1,2},e_{1,3},e_{2,1},e_{2,2},e_{2.3}\right\}</math>
 +
להיות הבסיס הסטנדרטי של <math>\mathbb{R}^{2\times3}</math>
 +
ו
 +
<math>B=\left\{ \left(\begin{array}{c}
 +
1\\
 +
0
 +
\end{array}\right),\left(\begin{array}{c}
 +
1\\
 +
1
 +
\end{array}\right)\right\}</math>
 +
בסיס ל <math>\mathbb{R}^{2}</math>. מצא את המטריצה המייצגת <math>[T]_{B}^{S}</math>
 +
 +
2. מצא בסיס לגרעין של T
 +
 +
====פתרון====
 +
1.
 +
 +
נסמן
 +
<math>v_{1}=\left(\begin{array}{c}
 +
1\\
 +
0
 +
\end{array}\right),v_{2}=\left(\begin{array}{c}
 +
1\\
 +
1
 +
\end{array}\right)</math>
 +
מתקיים
 +
 +
<math>Te_{1,1}=T(\left(\begin{array}{ccc}
 +
1 & 0 & 0\\
 +
0 & 0 & 0
 +
\end{array}\right))=\left(\begin{array}{c}
 +
1\\
 +
0
 +
\end{array}\right)+\left(\begin{array}{c}
 +
0\\
 +
0
 +
\end{array}\right)=\left(\begin{array}{c}
 +
1\\
 +
0
 +
\end{array}\right)=1\cdot v_{1}+0\cdot v_{2}
 +
 +
\\
 +
 +
Te_{1,2}=\left(\begin{array}{c}
 +
0\\
 +
0
 +
\end{array}\right)=0v_{1}+0v_{2}
 +
 +
\\
 +
 +
Te_{1,3}=\left(\begin{array}{c}
 +
1\\
 +
0
 +
\end{array}\right)=1\cdot v_{1}+0\cdot v_{2}
 +
 +
\\
 +
 +
Te_{2,1}=\left(\begin{array}{c}
 +
0\\
 +
1
 +
\end{array}\right)=-1\cdot v_{1}+1\cdot v_{2}
 +
 +
\\
 +
 +
Te_{2,2}=\left(\begin{array}{c}
 +
0\\
 +
0
 +
\end{array}\right)=0v_{1}+0v_{2}
 +
 +
\\
 +
 +
Te_{2,3}=\left(\begin{array}{c}
 +
0\\
 +
1
 +
\end{array}\right)=-1\cdot v_{1}+1\cdot v_{2}</math>
 +
 +
ולכן <math>[T]_{B}^{S}=\left(\begin{array}{cccccc}
 +
1 & 0 & 1 & -1 & 0 & -1\\
 +
0 & 0 & 0 & 1 & 0 & 1
 +
\end{array}\right)</math>
 +
 +
2.
 +
 +
הגרעין של המטריצה המייצגת הוא
 +
 +
<math>ker [T]_{B}^{S} =
 +
N(
 +
\begin{pmatrix}
 +
1 & 0 & 1 & 0 & 0 & 0\\
 +
0 & 0 & 0 & 1 & 0 & 1
 +
\end{pmatrix}
 +
 +
)
 +
=
 +
\{
 +
\begin{pmatrix}
 +
-y\\
 +
x\\
 +
y\\
 +
-t\\
 +
s\\
 +
t\\
 +
\end{pmatrix}
 +
: x,y,s,t\in \mathbb{R}
 +
\}
 +
=span
 +
\{
 +
\begin{pmatrix}
 +
-1\\
 +
0\\
 +
1\\
 +
0\\
 +
0\\
 +
0\\
 +
\end{pmatrix},
 +
\begin{pmatrix}
 +
0\\
 +
1\\
 +
0\\
 +
0\\
 +
0\\
 +
0\\
 +
\end{pmatrix},
 +
\begin{pmatrix}
 +
0\\
 +
0\\
 +
0\\
 +
-1\\
 +
0\\
 +
1\\
 +
\end{pmatrix},
 +
\begin{pmatrix}
 +
0\\
 +
0\\
 +
0\\
 +
0\\
 +
1\\
 +
0\\
 +
\end{pmatrix}
 +
\}
 +
 +
</math>
 +
 +
ולכן
 +
 +
<math>Ker T =
 +
span
 +
\{
 +
\begin{pmatrix}
 +
-1& 0& 1 \\
 +
0& 0& 0
 +
\end{pmatrix},
 +
\begin{pmatrix}
 +
0& 1& 0 \\
 +
0& 0& 0
 +
\end{pmatrix},
 +
\begin{pmatrix}
 +
0& 0& 0\\
 +
-1& 0& 1
 +
 +
\end{pmatrix},
 +
\begin{pmatrix}
 +
0& 0& 0 \\
 +
0& 1& 0
 +
\end{pmatrix}
 +
\}
 +
</math>
  
'''תרגיל. (6.14)'''
+
===תרגיל. (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}^4\rightarrow \mathbb{R}^4</math> כך שמתקיים <math>Im(T)=span\{(2,4,5,7),(1,2,1,1)\}</math>
שורה 24: שורה 201:
  
  
'''פתרון.'''
+
====פתרון.====
  
 
א. פה אין דרישות רבות לתרגיל, רק דורשים תמונה מסוימת. אם כן, נשלח כל וקטור במרחב לצירוף לינארי של הוקטורים הנתונים, ונדאג לעבור על כל הצירופים האפשריים. <math>T(x,y,z,w)=x(2,4,5,7)+y(1,2,1,1)</math>. קל לראות שהתמונה היא בדיוק כפי שנדרש ע"י הכלה דו כיוונית.
 
א. פה אין דרישות רבות לתרגיל, רק דורשים תמונה מסוימת. אם כן, נשלח כל וקטור במרחב לצירוף לינארי של הוקטורים הנתונים, ונדאג לעבור על כל הצירופים האפשריים. <math>T(x,y,z,w)=x(2,4,5,7)+y(1,2,1,1)</math>. קל לראות שהתמונה היא בדיוק כפי שנדרש ע"י הכלה דו כיוונית.
שורה 41: שורה 218:
  
  
'''תרגיל. (6.16)''' תהי <math>T:\mathbb{R}^3\rightarrow\mathbb{R}^3</math> העתקה לינארית המוגדרת על ידי <math>T(x,y,z)=(x+y,y+z,2x-2z)</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
 
א. מצא בסיס לגרעין ולתמונה של T
שורה 47: שורה 225:
 
ב. מצא בסיס סדור E ל<math>\mathbb{R}^3</math> כך ש <math>[T]^E_E=\begin{pmatrix} 0 & 0 & 0 \\ 0 & * & * \\ 0 & * & * \end{pmatrix}</math>
 
ב. מצא בסיס סדור E ל<math>\mathbb{R}^3</math> כך ש <math>[T]^E_E=\begin{pmatrix} 0 & 0 & 0 \\ 0 & * & * \\ 0 & * & * \end{pmatrix}</math>
  
'''פתרון.'''
+
====פתרון.====
  
 
א. נמצא מטריצה מייצגת לפי הבסיס הסטנדרטי. נראה מה התמונה של איברי הבסיס:  
 
א. נמצא מטריצה מייצגת לפי הבסיס הסטנדרטי. נראה מה התמונה של איברי הבסיס:  
שורה 69: שורה 247:
 
כמו כן, נביט בקואורדינטות של כל וקטור התמונה. מכיוון שזהו סכום ישר, יש הצגה יחידה של וקטור בתמונה לפי הבסיס שלנו E. אבל, גם יש לו הצגה יחידה לפי הבסיס לתמונה (שהוא מוכל בE) ולכן הקואורדינטות לפי וקטור הגרעין חייבות להיות אפס, כלומר השורה הראשונה הינה שורת אפסים.
 
כמו כן, נביט בקואורדינטות של כל וקטור התמונה. מכיוון שזהו סכום ישר, יש הצגה יחידה של וקטור בתמונה לפי הבסיס שלנו E. אבל, גם יש לו הצגה יחידה לפי הבסיס לתמונה (שהוא מוכל בE) ולכן הקואורדינטות לפי וקטור הגרעין חייבות להיות אפס, כלומר השורה הראשונה הינה שורת אפסים.
  
 
+
===תרגיל.===
 
+
'''תרגיל.'''
+
 
יהיו <math>V=\mathbb{Z}_2^3</math> ו<math>W=P(\{1,2,3\})</math> מ"ו מעל השדה <math>\mathbb{Z}_2</math>. (זכרו כי החיבור הוקטורי בקבוצת החזקה הינו הפרש סימטרי). תהי העתקה לינארית המוגדרת לפי משפט ההגדרה על ידי  
 
יהיו <math>V=\mathbb{Z}_2^3</math> ו<math>W=P(\{1,2,3\})</math> מ"ו מעל השדה <math>\mathbb{Z}_2</math>. (זכרו כי החיבור הוקטורי בקבוצת החזקה הינו הפרש סימטרי). תהי העתקה לינארית המוגדרת לפי משפט ההגדרה על ידי  
  
שורה 82: שורה 258:
 
מצא את הגרעין ואת התמונה של ההעתקה.
 
מצא את הגרעין ואת התמונה של ההעתקה.
  
'''פתרון.'''
+
====פתרון.====
  
 
שוב אנו נתקלים במרחב יחסית חדש ואנו צריכים למצוא לו בסיס סנדרטי. הבסיס הסטנדרטי למרחב קבוצת החזקה הוא באופן טבעי הנקודונים, שכן כל תת קבוצה הינה הפרש סימטרי של הנקודונים של האיברים שבה. אם כן הבסיס הסטנדרטי הינו <math>S_P=\{\{1\},\{2\},\{3\}\}</math>. נגדיר בסיס  
 
שוב אנו נתקלים במרחב יחסית חדש ואנו צריכים למצוא לו בסיס סנדרטי. הבסיס הסטנדרטי למרחב קבוצת החזקה הוא באופן טבעי הנקודונים, שכן כל תת קבוצה הינה הפרש סימטרי של הנקודונים של האיברים שבה. אם כן הבסיס הסטנדרטי הינו <math>S_P=\{\{1\},\{2\},\{3\}\}</math>. נגדיר בסיס  
שורה 106: שורה 282:
  
 
לסיכום <math>ImT=span\Big\{\{2,3\},\{1,3\}\Big\}=\Big\{\{\},\{1,3\},\{2,3\},\{1,2\}\Big\}</math> וזו התמונה של ההעתקה.
 
לסיכום <math>ImT=span\Big\{\{2,3\},\{1,3\}\Big\}=\Big\{\{\},\{1,3\},\{2,3\},\{1,2\}\Big\}</math> וזו התמונה של ההעתקה.
 
  
 
==תרגילים ממבחנים בנושא העתקות לינאריות==
 
==תרגילים ממבחנים בנושא העתקות לינאריות==
'''תרגיל ממבחן מועד א' סמסטר קיץ תשעא (אלי בגנו, אפי כהן).'''
+
===תרגיל ===
 +
נגדיר <math>T:\mathbb{R}^4\rightarrow \mathbb{R}^4</math> ע"י
 +
<math>T(x,y,z,w)= (x+y,w,0,z)</math>
 +
 
 +
א. מצא <math>[T]^n</math> לכל n טבעי (לפי הבסיס הסטנ')
 +
 
 +
ב. מצא בסיס לגרעין ותמונה
 +
 
 +
ג. נגדיר <math>E=\{(1,1,0,0).(1,-1,1,1),(0,0,1,2),(0,0,-1,1)\}</math>. מצא <math>[T^3]_E</math>
 +
 
 +
 
 +
פתרון:
 +
 
 +
א. מתקיים כי <math>[T^n]=[T]^n</math>.
 +
נחשב
 +
<math>[T]=
 +
\begin{pmatrix}
 +
1 & 1& 0 & 1 \\
 +
0 & 0 &0 & 1 \\
 +
0 & 0 & 0 & 0 \\
 +
0 & 0 & 1 & 0
 +
\end{pmatrix}
 +
</math>
 +
 
 +
נחשב חזקות של המטריצה הזאת
 +
 
 +
<math>[T]^2=
 +
\begin{pmatrix}
 +
1 & 1& 0 & 1 \\
 +
0 & 0 &1 & 0 \\
 +
0 & 0 & 0 & 0 \\
 +
0 & 0 & 0 & 0
 +
\end{pmatrix}
 +
</math>
 +
 
 +
<math>[T]^3=
 +
\begin{pmatrix}
 +
1 & 1& 1 & 1 \\
 +
0 & 0 &0 & 0 \\
 +
0 & 0 & 0 & 0 \\
 +
0 & 0 & 0 & 0
 +
\end{pmatrix}
 +
</math>
 +
 
 +
ומתקיים כי <math>[T]^n=[T]^3</math> לכל <math>3\leq n</math>
 +
 
 +
ב. בסיס לתמונה הם עמודות 2 3 ו -4
 +
 
 +
מרחב האפס הוא
 +
 
 +
<math>kerT= N([T])=
 +
 
 +
\{
 +
\begin{pmatrix}
 +
-t  \\
 +
t  \\
 +
0 \\
 +
 +
\end{pmatrix}
 +
: t\in \mathbb{R}
 +
\}
 +
 
 +
= span \{
 +
\begin{pmatrix}
 +
-1  \\
 +
1  \\
 +
0 \\
 +
 +
\end{pmatrix}
 +
</math>
 +
 
 +
ג.
 +
 
 +
מתקיים כי
 +
<math>[T^3]= [I]^S_E[T]^S_S[I]^E_S</math>
 +
 
 +
מתקיים כי
 +
<math>[I]^E_S =
 +
\begin{pmatrix}
 +
1 & 1& 0 & 0 \\
 +
1 & -1 &0 & 0 \\
 +
0 & 1 & 1 & -1 \\
 +
0 & 1 & 2 & 1
 +
\end{pmatrix}
 +
</math>
 +
 
 +
ולכן
 +
 
 +
<math>[T^3]= [I]^S_E[T]^S_S[I]^E_S
 +
 
 +
\begin{pmatrix}
 +
1 & 1& 0 & 0 \\
 +
1 & -1 &0 & 0 \\
 +
0 & 1 & 1 & -1 \\
 +
0 & 1 & 2 & 1
 +
\end{pmatrix}^{-1}
 +
 
 +
\begin{pmatrix}
 +
1 & 1& 1 & 1 \\
 +
0 & 0 &0 & 0 \\
 +
0 & 0 & 0 & 0 \\
 +
0 & 0 & 0 & 0
 +
\end{pmatrix}
 +
 
 +
\begin{pmatrix}
 +
1 & 1& 0 & 0 \\
 +
1 & -1 &0 & 0 \\
 +
0 & 1 & 1 & -1 \\
 +
0 & 1 & 2 & 1
 +
\end{pmatrix}
 +
</math>
 +
 
 +
===תרגיל ממבחן מועד א' סמסטר קיץ תשעא (אלי בגנו, אפי כהן).===
  
 
תהי <math>T:\mathbb{R}_3[x]\rightarrow \mathbb{R}</math> המוגדרת ע"י: לכל <math>p(x)\in\mathbb{R}_3[x]</math> נגדיר <math>T(p(x)):=p(0)</math>.
 
תהי <math>T:\mathbb{R}_3[x]\rightarrow \mathbb{R}</math> המוגדרת ע"י: לכל <math>p(x)\in\mathbb{R}_3[x]</math> נגדיר <math>T(p(x)):=p(0)</math>.
  
תהי <math>S:\mathbb{R}\rightarrow\mathbb{R}_3[x]</math> העתקה המוגדרת ע"י: לכל <math>a\in\mathbb{R}</math> נגדיר <math>T(a)=a(x^3_1)</math>
+
תהי <math>S:\mathbb{R}\rightarrow\mathbb{R}_3[x]</math> העתקה המוגדרת ע"י: לכל <math>a\in\mathbb{R}</math> נגדיר <math>T(a)=a(x^3+1)</math>
  
 
הוכח/הפרך:
 
הוכח/הפרך:
שורה 144: שורה 431:
  
  
'''תרגיל ממבחן מועד א' סמסטר קיץ תשס"ח (אלי מצרי, בועז צבאן).'''
+
===תרגיל ממבחן מועד א' סמסטר קיץ תשס"ח (אלי מצרי, בועז צבאן).===
  
 
יהי <math>\mathbb{F}=\mathbb{Z}_3</math> ותהי <math>T:\mathbb{F}_2[x]\rightarrow\mathbb{F}^3</math> ההעתקה הלינארית המקיימת
 
יהי <math>\mathbb{F}=\mathbb{Z}_3</math> ותהי <math>T:\mathbb{F}_2[x]\rightarrow\mathbb{F}^3</math> ההעתקה הלינארית המקיימת
שורה 161: שורה 448:
  
  
'''תרגיל ממבחן מועד ב' סמסטר קיץ תשס"ח (אלי מצרי, בועז צבאן).'''
+
===תרגיל ממבחן מועד ב' סמסטר קיץ תשס"ח (אלי מצרי, בועז צבאן).===
  
 
יהא <math>V=(\mathbb{Z}_2)^3</math>. נגדיר פונקציה <math>T:V\rightarrow V</math> על ידי:
 
יהא <math>V=(\mathbb{Z}_2)^3</math>. נגדיר פונקציה <math>T:V\rightarrow V</math> על ידי:

גרסה אחרונה מ־07:08, 13 באוגוסט 2019

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

מציאת גרעין ותמונה בעזרת מטריצה מייצגת

הגדרה. יהי V מ"ו ויהי U תת מרחב שלו. יהי B בסיס לV. אזי מרחב הקואורדינטות של U לפי B הינו [U]_B:=\{[u]_B:u\in U\}. כפי שלמדנו העתקת הקואורדינטות הינה איזומורפיזם ולכן בהנתן מרחב קואורדינטות קל למצוא את המרחב המקורי.

תרגיל.

תהי A מטריצה ו-f פונקציה המוגדרת על ידי כפל במטריצה f(v)=Av. מצא את הגרעין ואת התמונה של f.

פתרון. קל לראות שהגרעין הינו N(A) והתמונה הינה C(A) (שכן Av הינו צירוף לינארי של עמודות A עם הסקלרים מv).


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

מרחב הקואורדינטות של הגרעין הינו [kerT]_E=\{[v]_E:Tv=0\}=\{[v]_E:[Tv]_F=[T]^E_F[v]_E=0\}=N([T]^E_F).

מרחב הקואורדינטות של התמונה הינו [ImT]_F=\{[Tv]_F:v\in V\}=\{[Tv]_F=[T]^E_F[v]_E:[v]_E\in\mathbb{F}^n\}=C([T]^E_F)

אלגוריתם למציאת גרעין ותמונה של העתקה לפי המטריצה המייצגת

  1. מצא מטריצה מייצגת A=[T]^E_F
  2. מצא את מרחבי הקואורדינטות של הגרעין והתמונה N(A)=[kerT]_E,C(A)=[ImT]_F
  3. העבר חזרה את מרחבי הקואורדינטות לצורה המקורית (ע"י כפל הסקלרים מהקואורדינטות באיברי הבסיס)

תרגיל

נגדיר ה"ל T:\mathbb{R}^{2\times3}\to\mathbb{R}^{2} ע"י T(A)=C_{1}(A)+C_{3}(A) (כאשר C_{i}(A) פירושו העמודה ה i-ית של A).

1. נגדיר S=\left\{ e_{1,1},e_{1,2},e_{1,3},e_{2,1},e_{2,2},e_{2.3}\right\} להיות הבסיס הסטנדרטי של \mathbb{R}^{2\times3} ו B=\left\{ \left(\begin{array}{c}
1\\
0
\end{array}\right),\left(\begin{array}{c}
1\\
1
\end{array}\right)\right\} בסיס ל \mathbb{R}^{2}. מצא את המטריצה המייצגת [T]_{B}^{S}

2. מצא בסיס לגרעין של T

פתרון

1.

נסמן v_{1}=\left(\begin{array}{c}
1\\
0
\end{array}\right),v_{2}=\left(\begin{array}{c}
1\\
1
\end{array}\right) מתקיים

עיבוד הנוסחה נכשל (שגיאת תחביר): Te_{1,1}=T(\left(\begin{array}{ccc} 1 & 0 & 0\\ 0 & 0 & 0 \end{array}\right))=\left(\begin{array}{c} 1\\ 0 \end{array}\right)+\left(\begin{array}{c} 0\\ 0 \end{array}\right)=\left(\begin{array}{c} 1\\ 0 \end{array}\right)=1\cdot v_{1}+0\cdot v_{2} \\ Te_{1,2}=\left(\begin{array}{c} 0\\ 0 \end{array}\right)=0v_{1}+0v_{2} \\ Te_{1,3}=\left(\begin{array}{c} 1\\ 0 \end{array}\right)=1\cdot v_{1}+0\cdot v_{2} \\ Te_{2,1}=\left(\begin{array}{c} 0\\ 1 \end{array}\right)=-1\cdot v_{1}+1\cdot v_{2} \\ Te_{2,2}=\left(\begin{array}{c} 0\\ 0 \end{array}\right)=0v_{1}+0v_{2} \\ Te_{2,3}=\left(\begin{array}{c} 0\\ 1 \end{array}\right)=-1\cdot v_{1}+1\cdot v_{2}


ולכן [T]_{B}^{S}=\left(\begin{array}{cccccc}
1 & 0 & 1 & -1 & 0 & -1\\
0 & 0 & 0 & 1 & 0 & 1
\end{array}\right)

2.

הגרעין של המטריצה המייצגת הוא

ker [T]_{B}^{S} =
N(
\begin{pmatrix}
1 & 0 & 1 & 0 & 0 & 0\\
0 & 0 & 0 & 1 & 0 & 1
\end{pmatrix}

)
=
\{
\begin{pmatrix}
-y\\
x\\
y\\
-t\\
s\\
t\\
\end{pmatrix}
: x,y,s,t\in \mathbb{R}
\}
=span
\{
\begin{pmatrix}
-1\\
0\\
1\\
0\\
0\\
0\\
\end{pmatrix},
\begin{pmatrix}
0\\
1\\
0\\
0\\
0\\
0\\
\end{pmatrix},
\begin{pmatrix}
0\\
0\\
0\\
-1\\
0\\
1\\
\end{pmatrix},
\begin{pmatrix}
0\\
0\\
0\\
0\\
1\\
0\\
\end{pmatrix}
\}

ולכן

Ker T =
span
\{
\begin{pmatrix}
-1& 0& 1 \\
0& 0& 0
\end{pmatrix},
\begin{pmatrix}
0& 1& 0 \\
0& 0& 0
\end{pmatrix},
\begin{pmatrix}
0& 0& 0\\
-1& 0& 1 

\end{pmatrix},
\begin{pmatrix}
0& 0& 0 \\
0& 1& 0 
\end{pmatrix}
\}

תרגיל. (6.14)

א. מצא בצורה מפורשת העתקה לינארית T:\mathbb{R}^4\rightarrow \mathbb{R}^4 כך שמתקיים Im(T)=span\{(2,4,5,7),(1,2,1,1)\}

ב. מצא בצורה מפורשת העתקה לינארית T:\mathbb{R}^3\rightarrow \mathbb{R}^3 כך ש ker(T)=span\{(1,3,7),(2,5,6)\} וגם Im(T)=span\{(1,2,3)\}


פתרון.

א. פה אין דרישות רבות לתרגיל, רק דורשים תמונה מסוימת. אם כן, נשלח כל וקטור במרחב לצירוף לינארי של הוקטורים הנתונים, ונדאג לעבור על כל הצירופים האפשריים. T(x,y,z,w)=x(2,4,5,7)+y(1,2,1,1). קל לראות שהתמונה היא בדיוק כפי שנדרש ע"י הכלה דו כיוונית.


דרך נוספת לפתרון: ניתן להגדיר את T לפי משפט ההגדרה באופן הבא:

T(1,0,0,0)=(2,4,5,7)
T(0,1,0,0)=(1,2,1,1)
T(0,0,1,0)=(0,0,0,0)
T(0,0,0,1)=(0,0,0,0)

לאחר מכן קל למצוא את המטריצה המייצגת ולהכפיל אותה בווקטור כללי (כך ששתתקבל הצורה המפורשת של ההעתקה)

ב. נשלים את הוקטורים הנתונים לבסיס ע"י הוקטור (0,0,1). נסמן w_1=w_2=0 ונסמן w_3=(1,2,3). נמצא את העתקה במפורש לפי האלגוריתם. ברור שהקבוצה הדרושה מוכלת בגרעין, משיקולי מימד היא שווה לו (כי התמונה ממימד אחד לפחות).


תרגיל. (6.16)

תהי T:\mathbb{R}^3\rightarrow\mathbb{R}^3 העתקה לינארית המוגדרת על ידי T(x,y,z)=(x+y,y+z,2x-2z)

א. מצא בסיס לגרעין ולתמונה של T

ב. מצא בסיס סדור E ל\mathbb{R}^3 כך ש [T]^E_E=\begin{pmatrix} 0 & 0 & 0 \\ 0 & * & * \\ 0 & * & * \end{pmatrix}

פתרון.

א. נמצא מטריצה מייצגת לפי הבסיס הסטנדרטי. נראה מה התמונה של איברי הבסיס:

T(1,0,0)=(1,0,2)

T(0,1,0)=(1,1,0)

T(0,0,1)=(0,1,-2)

ולכן

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

מעל הבסיס הסטנדרטי, מרחב הקואורדינטות של תת מרחב U הוא U בעצמו. ולכן גרעין ההעתקה הינו N([T]) ותמונת ההעתקה הינה C([A]).

יוצא ש kerT=span\{(1,-1,1)\} ויוצא ImT=span\{(1,0,2),(1,1,0)\}

ב. במקרה שלנו, יצא ש kerT \oplus ImT = \mathbb{R}^3. נגדיר את E להיות בסיס המורכב מאיחוד הבסיסים של הגרעין והתמונה, ונביט במטריצה המייצגת את ההעתקה לפי בסיס זה. מכיוון שהוקטור הראשון הוא בסיס לגרעין, התמונה שלו היא אפס וכך גם הקואורדינטות.

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

תרגיל.

יהיו V=\mathbb{Z}_2^3 וW=P(\{1,2,3\}) מ"ו מעל השדה \mathbb{Z}_2. (זכרו כי החיבור הוקטורי בקבוצת החזקה הינו הפרש סימטרי). תהי העתקה לינארית המוגדרת לפי משפט ההגדרה על ידי

T(1,1,0)=\{2,3\}

T(0,1,1)=\{1,3\}

T(0,0,1)=\{1,2\}

מצא את הגרעין ואת התמונה של ההעתקה.

פתרון.

שוב אנו נתקלים במרחב יחסית חדש ואנו צריכים למצוא לו בסיס סנדרטי. הבסיס הסטנדרטי למרחב קבוצת החזקה הוא באופן טבעי הנקודונים, שכן כל תת קבוצה הינה הפרש סימטרי של הנקודונים של האיברים שבה. אם כן הבסיס הסטנדרטי הינו S_P=\{\{1\},\{2\},\{3\}\}. נגדיר בסיס E=\{(1,1,0),(0,1,1),(0,0,1)\}.

לכן המטריצה המייצגת הינה: [T]^E_{S_P}=\begin{pmatrix}0 & 1 & 1 \\ 1 & 0 & 1 \\ 1 & 1 & 0\end{pmatrix}


נמצא את הגרעין. [kerT]_E=N([T]^E_{S_P})=span\{(1,1,1)\}. אלו הקואורדינטות של הבסיס, ולכן הבסיס הוא הצירופים הלינאריים של איברי E עם הקואורדינטות הנ"ל כלומר kerT = span\{(1,1,0)+(0,1,1)+(0,0,1)=(1,0,0)\}. קל מאד לראות שהגרעין שונה ממרחב הקואורדינטות שלו.


נמצא את התמונה. [ImT]_{S_P}=C([T]^E_{S_P})=span\{(0,1,1),(1,0,1)\}.


אם [v]_{S_P}=(0,1,1) אזי


v=(0\cdot\{1\})\Delta (1\cdot\{2\}) \Delta (1\cdot\{3\})=\{2,3\}


באופן דומה (1,0,1) תואם ל\{1,3\}


לסיכום ImT=span\Big\{\{2,3\},\{1,3\}\Big\}=\Big\{\{\},\{1,3\},\{2,3\},\{1,2\}\Big\} וזו התמונה של ההעתקה.

תרגילים ממבחנים בנושא העתקות לינאריות

תרגיל

נגדיר T:\mathbb{R}^4\rightarrow \mathbb{R}^4 ע"י T(x,y,z,w)= (x+y,w,0,z)

א. מצא [T]^n לכל n טבעי (לפי הבסיס הסטנ')

ב. מצא בסיס לגרעין ותמונה

ג. נגדיר E=\{(1,1,0,0).(1,-1,1,1),(0,0,1,2),(0,0,-1,1)\}. מצא [T^3]_E


פתרון:

א. מתקיים כי [T^n]=[T]^n. נחשב [T]=
\begin{pmatrix}
 1 & 1& 0 & 1 \\
 0 & 0 &0 & 1 \\
 0 & 0 & 0 & 0 \\
 0 & 0 & 1 & 0 
\end{pmatrix}

נחשב חזקות של המטריצה הזאת

[T]^2=
\begin{pmatrix}
 1 & 1& 0 & 1 \\
 0 & 0 &1 & 0 \\
 0 & 0 & 0 & 0 \\
 0 & 0 & 0 & 0 
\end{pmatrix}

[T]^3=
\begin{pmatrix}
 1 & 1& 1 & 1 \\
 0 & 0 &0 & 0 \\
 0 & 0 & 0 & 0 \\
 0 & 0 & 0 & 0 
\end{pmatrix}

ומתקיים כי [T]^n=[T]^3 לכל 3\leq n

ב. בסיס לתמונה הם עמודות 2 3 ו -4

מרחב האפס הוא

kerT= N([T])=

\{
\begin{pmatrix}
-t  \\
t  \\
 0 \\
 0  
\end{pmatrix}
: t\in \mathbb{R}
\}

= span \{
\begin{pmatrix}
-1  \\
1  \\
 0 \\
 0  
\end{pmatrix}

ג.

מתקיים כי [T^3]= [I]^S_E[T]^S_S[I]^E_S

מתקיים כי [I]^E_S =
\begin{pmatrix}
 1 & 1& 0 & 0 \\
 1 & -1 &0 & 0 \\
 0 & 1 & 1 & -1 \\
 0 & 1 & 2 & 1 
\end{pmatrix}

ולכן

[T^3]= [I]^S_E[T]^S_S[I]^E_S

\begin{pmatrix}
 1 & 1& 0 & 0 \\
 1 & -1 &0 & 0 \\
 0 & 1 & 1 & -1 \\
 0 & 1 & 2 & 1 
\end{pmatrix}^{-1}

\begin{pmatrix}
 1 & 1& 1 & 1 \\
 0 & 0 &0 & 0 \\
 0 & 0 & 0 & 0 \\
 0 & 0 & 0 & 0 
\end{pmatrix}

\begin{pmatrix}
 1 & 1& 0 & 0 \\
 1 & -1 &0 & 0 \\
 0 & 1 & 1 & -1 \\
 0 & 1 & 2 & 1 
\end{pmatrix}

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

תהי T:\mathbb{R}_3[x]\rightarrow \mathbb{R} המוגדרת ע"י: לכל p(x)\in\mathbb{R}_3[x] נגדיר T(p(x)):=p(0).

תהי S:\mathbb{R}\rightarrow\mathbb{R}_3[x] העתקה המוגדרת ע"י: לכל a\in\mathbb{R} נגדיר T(a)=a(x^3+1)

הוכח/הפרך:

א. S לינארית
ב. dimkerT=3
ג. ImT=\mathbb{R}
ד. אם B=\{1,x,x^2,x^3\} אזי tr([S\circ T]_B)=0


פתרון.

א. הוכחה: טריוויאלי להוכחה לפי הקריטריון המקוצר

ב. הוכחה: המימד של מרחב הפולינומים \mathbb{R}_3[x] הינו 4. לכן לפי סעיף ג' (שנוכיח בהמשך) יחד עם משפט הדרגה אנו מקבלים:

dimkerT=4-dimImT=3


ג. הוכחה: לכל a\in\mathbb{R} ניקח את הפולינום הקבוע p(x)\equiv a ונקבל T(p(x))=p(0)=a. לכן הפונקציה הינה על כדרוש.

ד. הפרכה: S\circ T(a+bx+cx^2+dx^3)=S(a)=a(x^3+1). לכן קל לוודא כי

[S\circ T]_B=\begin{pmatrix} 1 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 \\ 1 & 0 & 0 & 0 \\ \end{pmatrix}

ומתקיים tr([S\circ T]_B)=1\neq 0


תרגיל ממבחן מועד א' סמסטר קיץ תשס"ח (אלי מצרי, בועז צבאן).

יהי \mathbb{F}=\mathbb{Z}_3 ותהי T:\mathbb{F}_2[x]\rightarrow\mathbb{F}^3 ההעתקה הלינארית המקיימת

T(1+2x+x^2)=(1,1,2)

T(1+x+2x^2)=(2,1,1)

T(2+x+x^2)=(1,2,1)

א. הוכח כי T איזומורפיזם.
ב. חשב את [T^{-1}]^{S_2}_{S_1} כאשר S_1,S_2 הם הבסיסים הסטנדרטיים
ג. מהו T^{-1}(a,b,c) עבור a,b,c\in\mathbb{F} כלשהם?


תרגיל ממבחן מועד ב' סמסטר קיץ תשס"ח (אלי מצרי, בועז צבאן).

יהא V=(\mathbb{Z}_2)^3. נגדיר פונקציה T:V\rightarrow V על ידי:

T(x,y,z)=(x^2+y^2,y^2+z^2,x^2+z^2)

א. הוכח כי T הינה העתקה לינארית.
ב. מצא בסיסים לגרעין ולתמונה של T.
ג. מצא את מספר האיברים בגרעין ובתמונה.
ד. נסמן בB את איחוד הבסיסים שמצאת בסעיף ב'. הוכח שB בסיס של V.
ה. חשב את [T]^S_B, כאשר S הוא הבסיס הסטנדרטי של V.