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

[[88-112 לינארית 1 תיכוניסטים קיץ תשעא/מערך תרגול|חזרה למערכי התרגול]]

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

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

'''פתרון.''' קל לראות שהגרעין הינו <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>

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

=== תרגיל ===
נגדיר ה"ל <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)===

א. מצא בצורה מפורשת העתקה לינארית <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>T(x,y,z,w)=x(2,4,5,7)+y(1,2,1,1)</math>. קל לראות שהתמונה היא בדיוק כפי שנדרש ע"י הכלה דו כיוונית.


דרך נוספת לפתרון: ניתן להגדיר את T לפי משפט ההגדרה באופן הבא: 
:<math>T(1,0,0,0)=(2,4,5,7)</math>
:<math>T(0,1,0,0)=(1,2,1,1)</math>
:<math>T(0,0,1,0)=(0,0,0,0)</math>
:<math>T(0,0,0,1)=(0,0,0,0)</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>


נמצא את הגרעין. <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>[ImT]_{S_P}=C([T]^E_{S_P})=span\{(0,1,1),(1,0,1)\}</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>(1,0,1)</math> תואם ל<math>\{1,3\}</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 \\
 0  
\end{pmatrix}
: t\in \mathbb{R}
\}

= span \{
\begin{pmatrix}
-1  \\
1  \\
 0 \\
 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>S:\mathbb{R}\rightarrow\mathbb{R}_3[x]</math> העתקה המוגדרת ע"י: לכל <math>a\in\mathbb{R}</math> נגדיר <math>T(a)=a(x^3+1)</math>

הוכח/הפרך:

:א. S לינארית

:ב. dimkerT=3

:ג. <math>ImT=\mathbb{R}</math>

:ד. אם <math>B=\{1,x,x^2,x^3\}</math> אזי <math>tr([S\circ T]_B)=0</math>


'''פתרון.'''

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

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

<math>dimkerT=4-dimImT=3</math>


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

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

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

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


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

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

<math>T(1+2x+x^2)=(1,1,2)</math>

<math>T(1+x+2x^2)=(2,1,1)</math>

<math>T(2+x+x^2)=(1,2,1)</math>

:א. הוכח כי T איזומורפיזם.

:ב. חשב את <math>[T^{-1}]^{S_2}_{S_1}</math> כאשר <math>S_1,S_2</math> הם הבסיסים הסטנדרטיים

:ג. מהו <math>T^{-1}(a,b,c)</math> עבור <math>a,b,c\in\mathbb{F}</math> כלשהם?


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

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

<math>T(x,y,z)=(x^2+y^2,y^2+z^2,x^2+z^2)</math>

:א. הוכח כי T הינה העתקה לינארית.

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

:ג. מצא את מספר האיברים בגרעין ובתמונה.

:ד. נסמן בB את איחוד הבסיסים שמצאת בסעיף ב'. הוכח שB בסיס של V.

:ה. חשב את <math>[T]^S_B</math>, כאשר S הוא הבסיס הסטנדרטי של V.