שינויים
/* תרגיל. */
'''הגדרה.''' יהי V מ"ו ויהי U תת מרחב שלו. יהי B בסיס לV. אזי '''מרחב הקואורדינטות''' של U לפי B הינו <math>[U]_B:=\{[u]_B:u\in U\}</math>. כפי שלמדנו העתקת הקואורדינטות הינה איזומורפיזם ולכן בהנתן מרחב קואורדינטות קל למצוא את המרחב המקורי.
'''פתרון.''' קל לראות שהגרעין הינו <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>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>
א. מצא בצורה מפורשת העתקה לינארית <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(x,y,z,w)=x(2,4,5,7)+y(1,2,1,1)</math>. קל לראות שהתמונה היא בדיוק כפי שנדרש ע"י הכלה דו כיוונית.
א. מצא בסיס לגרעין ולתמונה של T
ב. מצא בסיס סדור E ל<math>\mathbb{R}^3</math> כך ש <math>[T]^E_E=\begin{pmatrix} 0 & 0 & 0 \\ 0 & * & * \\ 0 & * & * \end{pmatrix}</math>
א. נמצא מטריצה מייצגת לפי הבסיס הסטנדרטי. נראה מה התמונה של איברי הבסיס:
כמו כן, נביט בקואורדינטות של כל וקטור התמונה. מכיוון שזהו סכום ישר, יש הצגה יחידה של וקטור בתמונה לפי הבסיס שלנו E. אבל, גם יש לו הצגה יחידה לפי הבסיס לתמונה (שהוא מוכל בE) ולכן הקואורדינטות לפי וקטור הגרעין חייבות להיות אפס, כלומר השורה הראשונה הינה שורת אפסים.
יהיו <math>V=\mathbb{Z}_2^3</math> ו<math>W=P(\{1,2,3\})</math> מ"ו מעל השדה <math>\mathbb{Z}_2</math>. (זכרו כי החיבור הוקטורי בקבוצת החזקה הינו הפרש סימטרי). תהי העתקה לינארית המוגדרת לפי משפט ההגדרה על ידי
מצא את הגרעין ואת התמונה של ההעתקה.
שוב אנו נתקלים במרחב יחסית חדש ואנו צריכים למצוא לו בסיס סנדרטי. הבסיס הסטנדרטי למרחב קבוצת החזקה הוא באופן טבעי הנקודונים, שכן כל תת קבוצה הינה הפרש סימטרי של הנקודונים של האיברים שבה. אם כן הבסיס הסטנדרטי הינו <math>S_P=\{\{1\},\{2\},\{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>\mathbb{F}=\mathbb{Z}_3</math> ותהי <math>T:\mathbb{F}_2[x]\rightarrow\mathbb{F}^3</math> ההעתקה הלינארית המקיימת
יהא <math>V=(\mathbb{Z}_2)^3</math>. נגדיר פונקציה <math>T:V\rightarrow V</math> על ידי: