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

מתוך Math-Wiki
קפיצה אל: ניווט, חיפוש
(←‏דוגמאות נגדיות)
(←‏דוגמא 2)
 
(46 גרסאות ביניים של 3 משתמשים אינן מוצגות)
שורה 1: שורה 1:
−
=העתקות לינאריות (ה"ל)=
+
=העתקות לינאריות (הע"ל)=
  
−
'''הגדרה:''' יהיו <math>V,W</math> שני מ"ו מעל ''אותו'' שדה <math>\mathbb{F}</math>. ה"ל היא פונקציה <math>T:V\to W</math> אם
+
'''הגדרה:''' יהיו <math>V,W</math> שני מ"ו מעל ''אותו'' שדה <math>\mathbb{F}</math>. פונקציה <math>T:V\to W</math> היא הע"ל אם
 
# <math>\forall v_1,v_2\in V : \; T(v_1+v_2)=T(v_1)+T(v_2)</math>
 
# <math>\forall v_1,v_2\in V : \; T(v_1+v_2)=T(v_1)+T(v_2)</math>
 
# <math>\forall \alpha\in \mathbb{F}, v\in V : \; T(\alpha v)=\alpha T(v)</math>
 
# <math>\forall \alpha\in \mathbb{F}, v\in V : \; T(\alpha v)=\alpha T(v)</math>
שורה 16: שורה 16:
 
   
 
   
  
−
==דוגמאות ==
+
==דוגמאות==
  
 
1. יהיו <math>V=\mathbb{F}^{n},\,W=\mathbb{F}^{m}</math> שניהם מעל <math>\mathbb{F}</math>.  תהא<math>A\in\mathbb{F}^{m\times n}</math>
 
1. יהיו <math>V=\mathbb{F}^{n},\,W=\mathbb{F}^{m}</math> שניהם מעל <math>\mathbb{F}</math>.  תהא<math>A\in\mathbb{F}^{m\times n}</math>
−
אזי העתקה <math>L_{A}:V\to W</math> המוגדרת <math>v\mapsto Av</math> היא ה"ל.
+
אזי העתקה <math>L_{A}:V\to W</math> המוגדרת <math>v\mapsto Av</math> היא הע"ל.
  
 
הוכחה: לכל <math>v_{1},v_{2}\in V,\,\alpha\in\mathbb{F}</math> מתקיים  
 
הוכחה: לכל <math>v_{1},v_{2}\in V,\,\alpha\in\mathbb{F}</math> מתקיים  
שורה 26: שורה 26:
  
  
−
2. <math>V=\mathbb{F}^{n\times n},\,W=\mathbb{F}</math> שניהם מעל <math>\mathbb{F}</math>. אזי העתקה <math>trace:V\to W</math>
+
2.ההעתקה <math>trace:\mathbb{F}^{n\times n}\to \mathbb{F}</math>
−
המגודרת <math>A\mapsto tr(A)</math> היא ה"ל.
+
המגודרת <math>A\mapsto tr(A)</math> היא הע"ל.
  
 
הוכחה: לכל <math>\alpha \in \mathbb{F}, A,B\in \mathbb{F}^{n\times n}</math>
 
הוכחה: לכל <math>\alpha \in \mathbb{F}, A,B\in \mathbb{F}^{n\times n}</math>
שורה 34: שורה 34:
  
  
−
3. <math>V=\mathbb{R}_{n}[x],\,W=\mathbb{R}_{n-1}[x]</math> שניהם מעל <math>\mathbb{R}</math>. אזי העתקה <math>D:V\to W</math>  
+
3. ההעתקה <math>D:\mathbb{R}_{n}[x]\to \mathbb{R}_{n-1}[x]</math>  
−
המגודרת <math>p(x)\mapsto\frac{d}{dx}p(x)=p'(x)</math> היא ה"ל.  
+
המגודרת <math>p(x)\mapsto\frac{d}{dx}p(x)=p'(x)</math> היא הע"ל.  
  
 
הוכחה:
 
הוכחה:
שורה 42: שורה 42:
  
  
−
4. העתקת הזהות <math>I:V\to V</math> המוגדרת <math>v\mapsto v</math> היא ה"ל.
+
4. העתקת הזהות <math>I:V\to V</math> המוגדרת <math>v\mapsto v</math> היא הע"ל.
  
−
5. העתקת האפס <math>0:V\to W</math> המוגדרת <math>v\mapsto 0</math> היא ה"ל.
+
5. העתקת האפס <math>0:V\to W</math> המוגדרת <math>v\mapsto 0</math> היא הע"ל.
  
 
6. יהי <math>V</math> מ"ו מעל <math>\mathbb{F}</math> מימד <math>n</math> ויהי <math>B</math> בסיס אזי הפונקציה <math>T:V\to \mathbb{F}^n</math>
 
6. יהי <math>V</math> מ"ו מעל <math>\mathbb{F}</math> מימד <math>n</math> ויהי <math>B</math> בסיס אזי הפונקציה <math>T:V\to \mathbb{F}^n</math>
−
המוגדרת <math>v\mapsto [v]_B</math> היא ה"ל.
+
המוגדרת <math>v\mapsto [v]_B</math> היא הע"ל.
  
 
=== דוגמאות נגדיות ===
 
=== דוגמאות נגדיות ===
שורה 53: שורה 53:
 
1. יהיו <math>V=\mathbb{R}^{2}=W</math>.   
 
1. יהיו <math>V=\mathbb{R}^{2}=W</math>.   
 
אזי העתקה <math>f:V\to W</math> המוגדרת  
 
אזי העתקה <math>f:V\to W</math> המוגדרת  
−
<math>\begin{pmatrix} a // b \end{pmatrix}\mapsto \begin{pmatrix} a^2 // b \end{pmatrix}v</math>
+
<math>\begin{pmatrix} a \\ b \end{pmatrix}\mapsto \begin{pmatrix} a^2 \\ b \end{pmatrix}v</math>
−
אינה ה"ל.
+
אינה הע"ל.
  
 
כי למשל  
 
כי למשל  
  
 
<math>
 
<math>
−
f( 3\begin{pmatrix} 1 // 1 \end{pmatrix} =  
+
f( 3\begin{pmatrix} 1 \\ 1 \end{pmatrix}) =  
−
f(  \begin{pmatrix} 3 // 3 \end{pmatrix} =
+
f(  \begin{pmatrix} 3 \\ 3 \end{pmatrix} )=
−
\begin{pmatrix} 9 // 3 \end{pmatrix}
+
\begin{pmatrix} 9 \\ 3 \end{pmatrix}
 
</math>
 
</math>
  
שורה 67: שורה 67:
  
 
<math>
 
<math>
−
3 f(\right(\begin{pmatrix} 1 // 1 \end{pmatrix} \left) =  
+
3 f(\begin{pmatrix} 1 \\ 1 \end{pmatrix} ) =  
−
3\begin{pmatrix} 1 // 1 \end{pmatrix} =
+
3\begin{pmatrix} 1 \\ 1 \end{pmatrix} =
−
\begin{pmatrix} 3 // 3 \end{pmatrix}
+
\begin{pmatrix} 3 \\ 3 \end{pmatrix}
 
</math>
 
</math>
  
−
== תרגיל ==
+
=== תרגיל ===
−
יהיו <math>T,S:V\to W</math> שתי ה"ל. <math>B=\{v_{1},\dots,v_{n}\}</math> בסיס ל <math>V</math>. נניח <math>T(v_{i})=S(v_{i})</math> לכל <math>1\leq i\leq n</math>
+
יהיו <math>T,S:V\to W</math> שתי הע"ל. <math>B=\{v_{1},\dots,v_{n}\}</math> בסיס ל <math>V</math>. נניח <math>T(v_{i})=S(v_{i})</math> לכל <math>1\leq i\leq n</math>
 
   
 
   
 
הוכח: <math>T=S</math>. כלומר לכל <math>v\in V</math> מתקיים <math>T(v)=S(v)</math>
 
הוכח: <math>T=S</math>. כלומר לכל <math>v\in V</math> מתקיים <math>T(v)=S(v)</math>
שורה 89: שורה 89:
 
וקטורים כלשהם.
 
וקטורים כלשהם.
  
−
אזי קימת ה"ל יחידה <math>T:V\to W</math> כך ש <math>T(v_{i})=w_{i}</math> לכל <math>i</math>
+
אזי קימת הע"ל יחידה <math>T:V\to W</math> כך ש <math>T(v_{i})=w_{i}</math> לכל <math>i</math>
 
    
 
    
−
'''מסקנה''' ניתן להגדיר ה"ל יחידה ע"י קביעה לאן ישלח בסיס ל '''V'''
+
'''מסקנה''' ניתן להגדיר הע"ל יחידה ע"י קביעה לאן ישלח בסיס ל '''V'''
  
 
===דוגמאות  ===
 
===דוגמאות  ===
  
−
1.
+
==== דוגמא 1 ====
−
<math>V=\mathbb{R}_{2}[x]</math> מצא את '''ה'''ה"ל <math>T:V\to V</math>
+
<math>V=\mathbb{R}_{2}[x]</math> מצא את '''ה'''הע"ל <math>T:V\to V</math>
 
המקימת <math>T(1)=x+2,\,T(x)=1,\,T(x^{2})=-2x+1</math>. כתוב את העתקה מפורשות, כלומר לאן <math>T</math>
 
המקימת <math>T(1)=x+2,\,T(x)=1,\,T(x^{2})=-2x+1</math>. כתוב את העתקה מפורשות, כלומר לאן <math>T</math>
 
שולחת פולינום כללי <math>a+bx+cx^{2}</math>
 
שולחת פולינום כללי <math>a+bx+cx^{2}</math>
שורה 104: שורה 104:
 
T(a+bx+cx^{2})=aT(1)+bT(x)+cT(x^{2}) = \\
 
T(a+bx+cx^{2})=aT(1)+bT(x)+cT(x^{2}) = \\
 
=a(x+2)+b(1)+c(-2x+1)=(2a+b+c)+(a-2c)x</math>
 
=a(x+2)+b(1)+c(-2x+1)=(2a+b+c)+(a-2c)x</math>
 +
 +
==== דוגמא 2 ====
 +
יהיו <math>
 +
v_1=\begin{pmatrix} 1\\ 2 \\ 3 \end{pmatrix},
 +
v_2= \begin{pmatrix} 1\\ 1 \\ 1 \end{pmatrix},
 +
v_3= \begin{pmatrix} 1\\ 4 \\ 7 \end{pmatrix}
 +
 +
\in \mathbb{R}^3
 +
</math>
 +
 +
עוד יהיו
 +
 +
<math>
 +
w_1= \begin{pmatrix} 1\\ 0 \end{pmatrix},
 +
w_2= \begin{pmatrix} 0\\ 1 \end{pmatrix},
 +
w_3= \begin{pmatrix} 3\\ -2 \end{pmatrix}
 +
 +
\in \mathbb{R}^2
 +
</math>
 +
 +
האם קיימת הע"ל <math>T:\mathbb{R}^3 \to \mathbb{R}^2</math> המקיימת <math>Tv_i=w_i</math> לכל <math>i</math>?
 +
 +
פתרון:
 +
 +
אם <math>v_1,v_2,v_3</math> היו בסיס אז לפי משפט ההגדרה היתה ה"ל כנדרש אבל...
 +
 +
<math>
 +
\begin{pmatrix}
 +
1 & 1 & 1 \\
 +
2 & 1 & 4 \\
 +
3 & 1 & 7 \\
 +
\end{pmatrix}
 +
\to
 +
\begin{pmatrix}
 +
1 & 1 & 1 \\
 +
0 & -1 & 2 \\
 +
0 & -2 & 4 \\
 +
\end{pmatrix}
 +
\to
 +
\begin{pmatrix}
 +
1 & 0 & 3 \\
 +
0 & 1 & -2 \\
 +
0 & 0 & 0 \\
 +
\end{pmatrix}
 +
</math>
 +
 +
מפתרון המערכת רואים שהוקטורים ת"ל ומתקיים
 +
<math>v_3= 3v_1-2v_2</math>
 +
 +
לכן גם אם נפעיל את הע"ל על שני האגפים נקבל שיוון, כלומר
 +
 +
<math>w_3=Tv_3= T(3v_1-2v_2)=3Tv_1-2Tv_2= 3w_1-2w_2</math>
 +
 +
ולכן הדרישה כי <math>Tv_3=w_3</math> מתקבלת "בחינם" ולכן אפשר לוותר עליה.. כעת, ניתן להשלים את <math>v_1,v_2</math> לבסיס <math>v_1,v_2,v</math>
 +
ולהגדיר <math>Tv_i=w_i, Tv=0</math>/ לפי משפט ההגדרה, אכן הגדרנו ה"ל. לפי ההגדרה שהגדנו היא מקיימת את תנאי השאלה.
 +
 +
 +
#מה היה קורה אם היינו מחליפים את <math>v_1,v_2,v_3</math> להיות
 +
 +
<math>
 +
u_1=\begin{pmatrix} 1\\ 1 \\ 1 \end{pmatrix},
 +
u_2= \begin{pmatrix} 2\\ 1 \\ 4 \end{pmatrix},
 +
u_3= \begin{pmatrix} 3\\ 1 \\ 7 \end{pmatrix}
 +
 +
\in \mathbb{R}^3
 +
</math>
 +
?
 +
האם קיימת הע"ל <math>T:\mathbb{R}^3 \to \mathbb{R}^2</math> המקיימת <math>Tu_i=w_i</math> לכל <math>i</math>?
 +
 +
#מה היה קורה אם היינו מחליפים ומגדירים <math>w_3= \begin{pmatrix} 3\\ 3 \end{pmatrix}</math> ?
 +
 +
תשובה: לא היינו יכולים להגדיר הע"ל כנדרש בשאלה כי מתקיים ש <math>v_3= 3v_1-2v_2</math> ואם מתקיים <math>Tv_1=w_1,Tv_2=w_2</math> אזי בהכרח <math>Tv_3</math> צריך להיות מוגדר לפי הקשר <math>w_3=Tv_3= T(3v_1-2v_2)=3Tv_1-2Tv_2= 3w_1-2w_2</math> שלא מתקיים עבור <math>w_3= \begin{pmatrix} 3\\ 3 \end{pmatrix}</math>
 +
 +
== גרעין, תמונה ודרגה==
 +
תהא <math>T:V\to W</math> הע"ל.
 +
#הגרעין של <math>T</math> מוגדר <math>\ker T=\{v\in V\,|\,T(v)=0\}\leq V</math>
 +
#התמונה של <math>T</math> מוגדרת <math>ImT=\{T(v)\,|\,v\in V\}\leq W</math>
 +
#הדרגה של <math>T</math> מוגדרת <math>rank(T)=dim(ImT)</math>
 +
 +
=== דוגמאות ===
 +
1.
 +
יהיו <math>V=\mathbb{F}^{n},\,W=\mathbb{F}^{m}</math>.  תהא<math>A\in\mathbb{F}^{m\times n}</math>ונסתכל על העתקה <math>L_{A}:V\to W</math> המוגדרת <math>v\mapsto Av</math>.
 +
אזי
 +
# <math>kerT=N(A)</math>
 +
# <math>ImT=C(A)</math>
 +
# <math>rankT=rankA</math>
 +
 +
2.
 +
יהי <math>V</math> מ"ו מעל <math>\mathbb{F}</math> מימד <math>n</math> ויהי <math>B</math> בסיס והעל הלינארית  <math>T:V\to \mathbb{F}^n</math>
 +
המוגדרת <math>v\mapsto [v]_B</math>.
 +
 +
אזי
 +
# <math>kerT=\{0\}</math>
 +
# <math>ImT=\mathbb{F}^n</math>
 +
 +
=== תרגיל  ===
 +
תהא <math>T:V\to V</math> הע"ל. הוכח
 +
# <math>KerT \subseteq KerT^2</math>
 +
# <math>ImT^2 \subseteq ImT</math>
 +
 +
פתרון:
 +
# יהא <math>v\in KerT</math> אזי <math>Tv=0</math> ולכן <math>T^2v=T(Tv))=T0=0</math>. כלומר <math>v\in KerT^2</math>
 +
# יהא <math>v\in ImT^2</math> אזי <math>\exists w: T^2w=v</math> ולכן <math>T(Tw)=T^2w=v</math>. כלומר <math>v\in ImT</math>
 +
 +
=== משפט  ===
 +
 +
תהא <math>T:V\to W</math> הע"ל.
 +
 +
אזי <math>T</math> חח"ע <math>\Leftrightarrow</math> מתקיים כי  <math>kerT=\{0\}</math>
 +
 +
==== תרגיל: ====
 +
 +
תהא <math>T:V\to W</math> הע"ל. ויהיו <math>\{v_1,\dots, v_n\}</math> וקטורים ב <math>V</math> אזי
 +
# אם <math>\{Tv_1,\dots, Tv_n\}</math> בת"ל אז <math>\{v_1,\dots, v_n\}</math> בת"ל
 +
# אם <math>T</math> חח"ע אז גם הכיוון ההפוך נכון. כלומר אם <math>\{v_1,\dots, v_n\}</math> בת"ל אז <math>\{Tv_1,\dots, Tv_n\}</math>
 +
 +
=====הוכחה=====
 +
#  נניח <math>\sum_{i=1}^n\alpha_iv_i = 0</math>. נפעיל <math>T</math> על שני האגפים ונקבל מלינאריות של <math>T</math> כי <math>\sum_{i=1}^n\alpha_iTv_i = 0</math>. כיוון שנתון ש <math>\{Tv_1,\dots, Tv_n\}</math> בת"ל נקבל כי <math>\forall i \alpha_i=0 </math> כנדרש.
 +
# נניח כי <math>\sum_{i=1}^n\alpha_iTv_i = 0</math>. מלינאריות נקבל כי <math>T(\sum_{i=1}^n\alpha_iv_i)_ = 0</math> כיוון ש <math>T</math> חח"ע נקבל כי <math>\sum_{i=1}^n\alpha_iv_i = 0</math>. כיוון ש <math>\sum_{i=1}^n\alpha_iv_i = 0</math> בת"ל נקבל כי <math>\forall i \alpha_i=0 </math> כנדרש.
 +
 +
==== תרגיל ====
 +
<math>V=\mathbb{R}_{2}[x],\,W=\mathbb{R}^{2}</math> האם קימת <math>T:V\to W</math> ה"ל חח"ע?
 +
 +
פתרון: נניח בשלילה כי <math>T</math> חח"ע אזי כיוון ש <math>1,x,x^2</math> בתל גם <math>T(1),T(x),T(x^2)</math> בת"ל אבל <math>T(1),T(x),T(x^2)</math> שייכים למרחב וקטורי מימד 2 ולכן הקבוצה הבת"ל המקס'  היא מגודל 2.
 +
 +
==== תרגיל ====
 +
<math>V=\mathbb{R}^3,\,W=\mathbb{R}^{4}</math> האם קימת <math>T:V\to W</math>  ה"ל על?
 +
 +
פתרון: נניח בשלילה כי <math>T</math> על אזי יש מקור  ל <math>e_1,e_2,e_3,e_4</math>. נסמן את המקורות ב<math>v_i</math> כלומר  <math>Tv_i=e_i</math>. כיוון ש <math>e_1,e_2,e_3,e_4</math> בת"ל גם <math>v_1,v_2,v_3,v_4</math> בת"ל אבל <math>v_1,v_2,v_3,v_4</math> שייכים למרחב וקטורי מימד 3 ולכן הקבוצה הבת"ל המקס'  היא מגודל 3.
 +
 +
=== תרגיל ===
 +
תהא <math>T:V\to W</math> ה"ל. תהא <math>A\subseteq V</math> תת קבוצה. אזי <math>T(span(A))=spanT(A)</math>
 +
 +
הוכחה:
 +
 +
(<math>\subseteq</math>) יהא <math>v=\sum_{i=1}^n\alpha_i v_i</math> צ"ל באיברי <math>A</math> אזי <math>Tv\in T(span(A))</math> הוא איבר כללי.
 +
 +
כעת <math>Tv=\sum_{i=1}^n\alpha_i Tv_i </math> שזה צ"ל באיברי <math>T(A)</math> ולכן שייך ל <math>spanT(A)</math>
 +
 +
(<math>\supseteq</math>) יהא צ"ל באיברי <math>T(A)</math> אזי הוא מהצורה <math>\sum_{i=1}^n\alpha_i Tv_i</math> כאשר <math>v_i\in A</math>
 +
 +
מלינאריות נקבל כי <math>T(\sum_{i=1}^n\alpha_i v_i)\in T(span(A))</math>
 +
 +
'''מסקנה:''' לכל תת מרחב <math>W\leq V</math> מתקיים כי <math>T(W)</math> תת מרחב.
 +
 +
=== תרגיל ===
 +
יהיו <math>V=\mathbb{R}^{3},\,W=\mathbb{R}^{2}</math> והמישור
 +
<math>U=\{ \left(
 +
\begin{array}{c}
 +
x\\
 +
y\\
 +
z
 +
\end{array}
 +
\right): x+y+z=0\}
 +
=
 +
span\{\left(\begin{array}{c}
 +
1\\
 +
0\\
 +
-1
 +
\end{array}\right),\left(\begin{array}{c}
 +
0\\
 +
1\\
 +
-1
 +
\end{array}\right)\}
 +
\leq V</math>
 +
 +
מצא ה"ל <math>T:V\to W</math> כך ש <math>kerT=U</math> וגם
 +
<math>ImT=span(\{\left(\begin{array}{c}
 +
1\\
 +
1
 +
\end{array}\right)\})</math>
 +
 +
====פתרון ====
 +
 +
נשלים לבסיס ל V
 +
בעזרת
 +
<math>
 +
\{
 +
v_1=
 +
\begin{pmatrix}
 +
1\\
 +
0\\
 +
-1
 +
\end{pmatrix},
 +
v_2=
 +
\begin{pmatrix}
 +
0\\
 +
1\\
 +
-1
 +
\end{pmatrix},
 +
v_3=
 +
\begin{pmatrix}
 +
1\\
 +
0\\
 +
0
 +
\end{pmatrix}
 +
\}</math>
 +
 +
לפי משפט ההגדרה מספיק להגדיר <math>T</math> בעזרת הבסיס.
 +
 +
נגדיר <math>Tv_1=Tv_2 = 0, Tv_3 = \begin{pmatrix}
 +
1\\
 +
1\\
 +
\end{pmatrix}</math>
 +
 +
ואז
 +
<math>T(U)=T(span\{v_1,v_2\})= span\{Tv_1,Tv_2\} = span\{0\} = \{0\} </math>
 +
ולכן <math>U\subseteq kerT</math>
 +
 +
בכיוון השני, יהיה <math>v=\alpha_1v_1 +\alpha_2v_2+\alpha_3v_3 \in KerT</math> אזי <math>0=Tv= \alpha_1Tv_1 +\alpha_2Tv_2+\alpha_3Tv_3=\alpha_3 \begin{pmatrix}
 +
1\\
 +
1\\
 +
\end{pmatrix}
 +
</math>
 +
ולכן  <math>\alpha_3=0</math> ואז <math>v\in U</math>
 +
 +
בנוסף, באופן דומה,
 +
 +
<math>ImT=T(V)=T(span\{v_1,v_2,v_3\}) = span\{Tv_1,Tv_2,Tv_3\}
 +
= span
 +
\begin{pmatrix}
 +
1\\
 +
1\\
 +
\end{pmatrix}
 +
</math>
 +
 +
כנדרש.
 +
 +
=== תרגיל ===
 +
 +
תהא <math>T:V\to V</math> הע"ל, <math>W\leq V</math> ת"מ. נתון כי <math>W\cap KerT=0</math>. הוכח כי <math>\dim W = \dim T(W)</math>
 +
 +
הוכחה:
 +
 
 +
נסתכל על ה"ל <math>T_W:W\to V</math> אזי מתקיים כי <math>KerT_W = W\cap kerT=0</math> ולכן <math>T_W</math> חח"ע. אם נבחר בסיס <math>B</math> ל -<math>W</math>, אזי <math>T(B)</math> גם כן בסיס
 +
 +
ואז <math>\dim W =|B|=|T(B)|= \dim T(W)</math>
 +
 +
== משפט הדרגה ==
 +
 +
תהא <math>T:V\to W</math> הע"ל. אזי <math>\dim ImT+\dim KerT=dimV</math>
 +
 +
'''הערה''': שימו לב שזה הכללה עבור מטריצה <math>A\in \mathbb{F}^{m\times n}</math> ומשפט <math>\dim C(A)+\dim N(A)=n</math> (זיכרו שמטריצה היא מקרה פרטי של ה"ל)
 +
 +
=== תרגיל ===
 +
נסתכל על ה"ל <math>T:\mathbb{F}^{n\times n} \to \mathbb{F} </math> המוגדרת <math>T(A)=tr(A)</math> מצא בסיס לגרעין העתקה.
 +
 +
====פתרון:====
 +
 +
<math>T</math> היא על כי לכל <math>a\in \mathbb{F}</math> יש מקור. למשל <math>a\cdot E_{1,1}</math>.
 +
לכן <math>\dim ImT= \dim \mathbb{F} =1</math> ממשפט הדרגה נסיק  כי <math>\dim KerT=dimV-\dim ImT=n^2 -1</math>
 +
 +
כעת לפי משפט השלישי חינם מספיק למצוא <math>n^2-1</math> מטריצות בת"ל ששיכות לגרעין ואז הם יהיו בסיס.
 +
 +
למשל המטריצות <math>\{E_{i.j} \; | \; i\neq j\} \cup \{E_{1,1}-E_{i,i} \; | \; 2\leq i \leq n\} </math>
 +
 +
בקבוצה זאת יש אכן <math>(n^2-n)+(n-1)=n^2-1</math> מטריצות בת"ל
 +
 +
=== תרגיל ===
 +
 +
תהא <math>T:V\to V</math> הע"ל. הוכח שהבאים שקולים:
 +
 +
1. <math>KerT = KerT^2</math>.
 +
 +
2. <math>ImT^2 = ImT</math>.
 +
 +
3. <math>V=KerT\oplus ImT</math>.
 +
 +
====פתרון:====
 +
 +
ממשפט הדרגה מתקיים (פעם אחת עבור <math>T</math> ופעם אחת עבור <math>T^2</math> כי
 +
 +
<math>\dim ImT+\dim KerT=dimV=\dim ImT^2+\dim KerT^2</math>
 +
 +
ולכן <math>\dim ImT=\dim ImT^2</math> אמ"מ <math>\dim KerT=\dim KerT^2</math>
 +
 +
אם <math>\dim ImT=\dim ImT^2</math> אזי <math> ImT= ImT^2</math> (ראינו <math>ImT^2 \subseteq ImT</math>, אם תת מרחב מוכל בתת מרחב אחר מאותו מימד אז הוא שווה לו)
 +
 +
אם <math>\dim KerT=\dim KerT^2</math> אזי <math> ImT= ImT^2</math> (ראינו <math>KerT \subseteq KerT^2</math>, אם תת מרחב מוכל בתת מרחב אחר מאותו מימד אז הוא שווה לו)
 +
 +
ולכן 1. ו 2. שקולים.
 +
 +
נשאר להוכיח שקילות בין 1. ל 3.
 +
 +
<math>3 \Leftarrow 1</math>
 +
 +
נראה כי הסכום '''ישר''': יהא <math>v\in KerT\cap ImT </math> אזי <math>(\exists w: Tw=v)\land Tv=0</math> ואז <math>T^2w=Tv=0</math> ולכן <math>w\in KerT^2=KerT</math>
 +
ומכאן ש <math>v=Tw=0</math> כנדרש.
 +
 +
'''סכום''': לפי משפט המימדים ומשפט הדרגה נקבל כי
 +
<math>\dim (KerT+ ImT)= \dim KerT + \dim ImT - \dim (KerT\cap ImT)=\dim KerT + \dim ImT= \dim V</math>.
 +
 +
כיוון ש <math>KerT+ ImT\subseteq V</math> מאותו מימד נקבל שיוויון
 +
 +
<math>3 \Rightarrow 1</math>
 +
 +
מ"ל כי <math>KerT^2 \subseteq KerT</math>. יהא <math>v\in KerT^2</math> אזי מצד אחד <math>Tv\in KerT</math> ומצד שני (לפי הגדרה) <math>Tv\in ImT</math>
 +
 +
לכן <math>Tv\in KerT\cap ImT=\{0\}</math> ולכן <math>Tv=0</math> כלומר <math>v\in KerT</math> כנדרש
 +
 +
== הפיכות ואיזמורפיזם ==
 +
 +
ה"ל  <math>T:V\to W</math> היא הפיכה אם יש הע"ל<math>S:W\to V</math> כך ש: <math>ST=Id_V,TS=Id_W</math>. במקרה זה מסמנים <math>T^{-1}=S</math>
 +
 +
===משפט===
 +
<math>T</math> הפיכה אמ"מ <math>T</math> חח"ע ועל
 +
 +
(שימו לב שידוע ש'''פונקציה''' חח"ע ועל היא הפיכה כפונקציה. המשפט אומר שבמקרה זה '''הפונקציה''' היא הע"ל)
 +
 +
 +
===תכונות===
 +
# אם <math>T</math> הפיכה אז גם ההופכית ומתקיים<math>(T^{-1})^{-1}=T</math>
 +
# יהיו <math>T,S:V\to V</math> שתי הע"ל אזי <math>T,S</math> הפיכות אמ"מ ההרכבה <math>ST</math> הפיכה. במקרה זה מתקיים <math>(ST)^{-1} =T^{-1}S^{-1}</math>
 +
# אם ה"ל <math>L_A(v)=Av</math> הפיכה אז ההופכית היא <math>L_{A^{-1}}</math>
 +
 +
=== איזומורפיזם ===
 +
 +
'''הגדרה'''  הע"ל <math>T:V\to W</math> תקרא
 +
# מונומורפיזם אם <math>T</math> חח"ע
 +
# אפימורפיזם אם <math>T</math> על
 +
# איזומורפיזם אם <math>T</math> חח"ע ועל (כלומר הפיכה). במקרה זה נאמר ש <math>V</math> ו <math>W</math> איזומורפים ונסמן <math>V\cong W</math>
 +
 +
'''הערה:''' <math>\cong</math> מתנהג כמו יחס שקילות. כלומר
 +
#<math>\forall V : V\cong V</math>
 +
#<math>V\cong W \Rightarrow  W\cong V</math>
 +
#<math>V_1\cong V_2 \land V_2 \cong V_3 \Rightarrow  V_1\cong V_3</math>
 +
 +
'''הערה''' 2 מרחבים איזומורפים בעצם אומר שהם "אותו דבר" במובן מסוים. יש להם אותו מבנה במובן שאם "נטשטש" את זהות האיברים ונסתכל רק על המבנה (למשל שחיבור של שני וקטורים מסוימים שווה וקטור מסוים אחר) אז נראה אותו דבר בשני המרחבים.
 +
 +
 +
דוגמא: <math>T:\mathbb{F}^{m\times n} \to \mathbb{F}^{n\times m}</math> המוגדרת <math>T(A)=A^t</math> היא איזומורפיזם.
 +
 +
==== משפט ====
 +
יהיו <math>V,W</math> שני מרחבים וקטורים. אזי
 +
 +
<math>V\cong W \iff \dim V = \dim W</math>
 +
 +
"הוכחה"
 +
 +
(<math>\Rightarrow</math>)  נבחר בסיס <math>B</math> עבור <math>V</math>. מהנתון, קיימת <math>T:V\to W</math> הפיכה. לכן <math>|B|=|T(B)|</math> ובנוסף, <math>T(B)</math> בסיס ל <math>W</math>. זה אומר שהמימדים שווים.
 +
 +
(<math>\Leftarrow </math>) נבחר <math>B=\{v_1,\dots, v_n\}, B'=\{w_1,\dots , w_n\}</math> בסיסים. לפי משפט ההגדרה נגדיר <math>T:V\to W</math> ע"י <math>Tv_i=w_i</math>. במקרה זה <math>T</math> הע"ל הפיכה, כלומר המרחבים איזומורפים.
 +
 +
'''הערה''' אפשר למצוא את איזו' בצורה מפורשת ע"י הצגה לפי בסיס
 +
 +
אם נגדיר <math>T_B:V\to \mathbb{F}^n</math>  המוגדרת ע"י <math>T(v)=[v]_B</math> כאשר <math>B=\{v_1,\dots ,v_n\}</math> היא איזומורפיזם.
 +
 +
כעת עבור מציאת איזו' בין 2 מרחבים <math>V,W</math> זה פשוט יהיה <math>T_{B'}^{-1}T_B</math> כאשר <math>B</math> בסיס ל <math>V</math> ו- <math>B'</math> בסיס ל <math>W</math>
 +
 +
====דוגמא====
 +
 +
<math>\mathbb{C}^{2\times 3} \cong \mathbb{C}^6 \cong \mathbb{C}_5 [x] \cong span\{e_1, e_7, e_{12},e_{101}\} </math>

גרסה אחרונה מ־13:12, 30 ביולי 2020

העתקות לינאריות (הע"ל)

הגדרה: יהיו V,W שני מ"ו מעל אותו שדה \mathbb{F}. פונקציה T:V\to W היא הע"ל אם

  1. \forall v_1,v_2\in V : \; T(v_1+v_2)=T(v_1)+T(v_2)
  2. \forall \alpha\in \mathbb{F}, v\in V : \; T(\alpha v)=\alpha T(v)

(או באופן שקול: אם לכל v_{1},v_{2}\in V,\,\alpha\in\mathbb{F} מתקיים T(\alpha v_{1}+v_{2})=\alpha T(v_{1})+T(v_{2}))


תכונות בסיסיות:

.1 T(\alpha_{1}v_{1}+\alpha_{2}v_{2}+\cdots+\alpha_{n}v_{n})=\alpha_{1}T(v_{1})+\alpha_{2}T(v_{2})+\cdots+\alpha_{n}T(v_{n})


.2 T(0_{V})=0_{W}


דוגמאות

1. יהיו V=\mathbb{F}^{n},\,W=\mathbb{F}^{m} שניהם מעל \mathbb{F}. תהאA\in\mathbb{F}^{m\times n} אזי העתקה L_{A}:V\to W המוגדרת v\mapsto Av היא הע"ל.

הוכחה: לכל v_{1},v_{2}\in V,\,\alpha\in\mathbb{F} מתקיים

L_{A}(\alpha v_{1}+v_{2})=A(\alpha v_{1}+v_{2})=\alpha Av_{1}+Av_{2}=\alpha L_{A}(v_{1})+L_{A}(v_{2})


2.ההעתקה trace:\mathbb{F}^{n\times n}\to \mathbb{F} המגודרת A\mapsto tr(A) היא הע"ל.

הוכחה: לכל \alpha \in \mathbb{F}, A,B\in \mathbb{F}^{n\times n}

tr(\alpha A+B)=\alpha tr(A)+tr(B)


3. ההעתקה D:\mathbb{R}_{n}[x]\to \mathbb{R}_{n-1}[x] המגודרת p(x)\mapsto\frac{d}{dx}p(x)=p'(x) היא הע"ל.

הוכחה:

D[\alpha p_{1}(x)+p_{2}(x)]=[\alpha p_{1}(x)+p_{2}(x)]'=\alpha p_{1}'(x)+p_{2}'(x)=\alpha D[p_{1}(x)]+D[p_{2}(x)]


4. העתקת הזהות I:V\to V המוגדרת v\mapsto v היא הע"ל.

5. העתקת האפס 0:V\to W המוגדרת v\mapsto 0 היא הע"ל.

6. יהי V מ"ו מעל \mathbb{F} מימד n ויהי B בסיס אזי הפונקציה T:V\to \mathbb{F}^n המוגדרת v\mapsto [v]_B היא הע"ל.

דוגמאות נגדיות

1. יהיו V=\mathbb{R}^{2}=W. אזי העתקה f:V\to W המוגדרת \begin{pmatrix} a \\ b \end{pmatrix}\mapsto \begin{pmatrix} a^2 \\ b \end{pmatrix}v אינה הע"ל.

כי למשל

f( 3\begin{pmatrix} 1 \\ 1 \end{pmatrix}) = f( \begin{pmatrix} 3 \\ 3 \end{pmatrix} )= \begin{pmatrix} 9 \\ 3 \end{pmatrix}

שלא שווה ל

3 f(\begin{pmatrix} 1 \\ 1 \end{pmatrix} ) = 3\begin{pmatrix} 1 \\ 1 \end{pmatrix} = \begin{pmatrix} 3 \\ 3 \end{pmatrix}

תרגיל

יהיו T,S:V\to W שתי הע"ל. B=\{v_{1},\dots,v_{n}\} בסיס ל V. נניח T(v_{i})=S(v_{i}) לכל 1\leq i\leq n

הוכח: T=S. כלומר לכל v\in V מתקיים T(v)=S(v)

הוכחה: יהי v\in V אזי v=\sum\limits _{i=1}^{n}\alpha_{i}v_{i} כי B בסיס ובפרט פורשת. ואז

עיבוד הנוסחה נכשל (שגיאת תחביר): T(v)=T(\alpha_{1}v_{1}+\alpha_{2}v_{2}+\cdots+\alpha_{n}v_{n})=\alpha_{1}T(v_{1})+\alpha_{2}T(v_{2})+\cdots+\alpha_{n}T(v_{n}) = \\ = \alpha_{1}S(v_{1})+\alpha_{2}S(v_{2})+\cdots+\alpha_{n}S(v_{n})=S(\alpha_{1}v_{1}+\alpha_{2}v_{2}+\cdots+\alpha_{n}v_{n})=S(v)


משפט ההגדרה

יהיו V,W שני מ"ו מעל \mathbb{F}. יהי B=\{v_{1},\dots,v_{n}\} בסיס ל V ויהיו w_{1},\dots,w_{n}\in W וקטורים כלשהם.

אזי קימת הע"ל יחידה T:V\to W כך ש T(v_{i})=w_{i} לכל i

מסקנה ניתן להגדיר הע"ל יחידה ע"י קביעה לאן ישלח בסיס ל V

דוגמאות

דוגמא 1

V=\mathbb{R}_{2}[x] מצא את ההע"ל T:V\to V המקימת T(1)=x+2,\,T(x)=1,\,T(x^{2})=-2x+1. כתוב את העתקה מפורשות, כלומר לאן T שולחת פולינום כללי a+bx+cx^{2}

פתרון: עיבוד הנוסחה נכשל (שגיאת תחביר): T(a+bx+cx^{2})=aT(1)+bT(x)+cT(x^{2}) = \\ =a(x+2)+b(1)+c(-2x+1)=(2a+b+c)+(a-2c)x


דוגמא 2

יהיו v_1=\begin{pmatrix} 1\\ 2 \\ 3 \end{pmatrix}, v_2= \begin{pmatrix} 1\\ 1 \\ 1 \end{pmatrix}, v_3= \begin{pmatrix} 1\\ 4 \\ 7 \end{pmatrix} \in \mathbb{R}^3

עוד יהיו

w_1= \begin{pmatrix} 1\\ 0 \end{pmatrix}, w_2= \begin{pmatrix} 0\\ 1 \end{pmatrix}, w_3= \begin{pmatrix} 3\\ -2 \end{pmatrix} \in \mathbb{R}^2

האם קיימת הע"ל T:\mathbb{R}^3 \to \mathbb{R}^2 המקיימת Tv_i=w_i לכל i?

פתרון:

אם v_1,v_2,v_3 היו בסיס אז לפי משפט ההגדרה היתה ה"ל כנדרש אבל...

\begin{pmatrix} 1 & 1 & 1 \\ 2 & 1 & 4 \\ 3 & 1 & 7 \\ \end{pmatrix} \to \begin{pmatrix} 1 & 1 & 1 \\ 0 & -1 & 2 \\ 0 & -2 & 4 \\ \end{pmatrix} \to \begin{pmatrix} 1 & 0 & 3 \\ 0 & 1 & -2 \\ 0 & 0 & 0 \\ \end{pmatrix}

מפתרון המערכת רואים שהוקטורים ת"ל ומתקיים v_3= 3v_1-2v_2

לכן גם אם נפעיל את הע"ל על שני האגפים נקבל שיוון, כלומר

w_3=Tv_3= T(3v_1-2v_2)=3Tv_1-2Tv_2= 3w_1-2w_2

ולכן הדרישה כי Tv_3=w_3 מתקבלת "בחינם" ולכן אפשר לוותר עליה.. כעת, ניתן להשלים את v_1,v_2 לבסיס v_1,v_2,v ולהגדיר Tv_i=w_i, Tv=0/ לפי משפט ההגדרה, אכן הגדרנו ה"ל. לפי ההגדרה שהגדנו היא מקיימת את תנאי השאלה.


  1. מה היה קורה אם היינו מחליפים את v_1,v_2,v_3 להיות

u_1=\begin{pmatrix} 1\\ 1 \\ 1 \end{pmatrix}, u_2= \begin{pmatrix} 2\\ 1 \\ 4 \end{pmatrix}, u_3= \begin{pmatrix} 3\\ 1 \\ 7 \end{pmatrix} \in \mathbb{R}^3 ? האם קיימת הע"ל T:\mathbb{R}^3 \to \mathbb{R}^2 המקיימת Tu_i=w_i לכל i?

  1. מה היה קורה אם היינו מחליפים ומגדירים w_3= \begin{pmatrix} 3\\ 3 \end{pmatrix} ?

תשובה: לא היינו יכולים להגדיר הע"ל כנדרש בשאלה כי מתקיים ש v_3= 3v_1-2v_2 ואם מתקיים Tv_1=w_1,Tv_2=w_2 אזי בהכרח Tv_3 צריך להיות מוגדר לפי הקשר w_3=Tv_3= T(3v_1-2v_2)=3Tv_1-2Tv_2= 3w_1-2w_2 שלא מתקיים עבור w_3= \begin{pmatrix} 3\\ 3 \end{pmatrix}

גרעין, תמונה ודרגה

תהא T:V\to W הע"ל.

  1. הגרעין של T מוגדר \ker T=\{v\in V\,|\,T(v)=0\}\leq V
  2. התמונה של T מוגדרת ImT=\{T(v)\,|\,v\in V\}\leq W
  3. הדרגה של T מוגדרת rank(T)=dim(ImT)

דוגמאות

1. יהיו V=\mathbb{F}^{n},\,W=\mathbb{F}^{m}. תהאA\in\mathbb{F}^{m\times n}ונסתכל על העתקה L_{A}:V\to W המוגדרת v\mapsto Av. אזי

  1. kerT=N(A)
  2. ImT=C(A)
  3. rankT=rankA

2. יהי V מ"ו מעל \mathbb{F} מימד n ויהי B בסיס והעל הלינארית T:V\to \mathbb{F}^n המוגדרת v\mapsto [v]_B.

אזי

  1. kerT=\{0\}
  2. ImT=\mathbb{F}^n

תרגיל

תהא T:V\to V הע"ל. הוכח

  1. KerT \subseteq KerT^2
  2. ImT^2 \subseteq ImT

פתרון:

  1. יהא v\in KerT אזי Tv=0 ולכן T^2v=T(Tv))=T0=0. כלומר v\in KerT^2
  2. יהא v\in ImT^2 אזי \exists w: T^2w=v ולכן T(Tw)=T^2w=v. כלומר v\in ImT

משפט

תהא T:V\to W הע"ל.

אזי T חח"ע \Leftrightarrow מתקיים כי kerT=\{0\}

תרגיל:

תהא T:V\to W הע"ל. ויהיו \{v_1,\dots, v_n\} וקטורים ב V אזי

  1. אם \{Tv_1,\dots, Tv_n\} בת"ל אז \{v_1,\dots, v_n\} בת"ל
  2. אם T חח"ע אז גם הכיוון ההפוך נכון. כלומר אם \{v_1,\dots, v_n\} בת"ל אז \{Tv_1,\dots, Tv_n\}
הוכחה
  1. נניח \sum_{i=1}^n\alpha_iv_i = 0. נפעיל T על שני האגפים ונקבל מלינאריות של T כי \sum_{i=1}^n\alpha_iTv_i = 0. כיוון שנתון ש \{Tv_1,\dots, Tv_n\} בת"ל נקבל כי \forall i \alpha_i=0 כנדרש.
  2. נניח כי \sum_{i=1}^n\alpha_iTv_i = 0. מלינאריות נקבל כי T(\sum_{i=1}^n\alpha_iv_i)_ = 0 כיוון ש T חח"ע נקבל כי \sum_{i=1}^n\alpha_iv_i = 0. כיוון ש \sum_{i=1}^n\alpha_iv_i = 0 בת"ל נקבל כי \forall i \alpha_i=0 כנדרש.

תרגיל

V=\mathbb{R}_{2}[x],\,W=\mathbb{R}^{2} האם קימת T:V\to W ה"ל חח"ע?

פתרון: נניח בשלילה כי T חח"ע אזי כיוון ש 1,x,x^2 בתל גם T(1),T(x),T(x^2) בת"ל אבל T(1),T(x),T(x^2) שייכים למרחב וקטורי מימד 2 ולכן הקבוצה הבת"ל המקס' היא מגודל 2.

תרגיל

V=\mathbb{R}^3,\,W=\mathbb{R}^{4} האם קימת T:V\to W ה"ל על?

פתרון: נניח בשלילה כי T על אזי יש מקור ל e_1,e_2,e_3,e_4. נסמן את המקורות בv_i כלומר Tv_i=e_i. כיוון ש e_1,e_2,e_3,e_4 בת"ל גם v_1,v_2,v_3,v_4 בת"ל אבל v_1,v_2,v_3,v_4 שייכים למרחב וקטורי מימד 3 ולכן הקבוצה הבת"ל המקס' היא מגודל 3.

תרגיל

תהא T:V\to W ה"ל. תהא A\subseteq V תת קבוצה. אזי T(span(A))=spanT(A)

הוכחה:

(\subseteq) יהא v=\sum_{i=1}^n\alpha_i v_i צ"ל באיברי A אזי Tv\in T(span(A)) הוא איבר כללי.

כעת Tv=\sum_{i=1}^n\alpha_i Tv_i שזה צ"ל באיברי T(A) ולכן שייך ל spanT(A)

(\supseteq) יהא צ"ל באיברי T(A) אזי הוא מהצורה \sum_{i=1}^n\alpha_i Tv_i כאשר v_i\in A

מלינאריות נקבל כי T(\sum_{i=1}^n\alpha_i v_i)\in T(span(A))

מסקנה: לכל תת מרחב W\leq V מתקיים כי T(W) תת מרחב.

תרגיל

יהיו V=\mathbb{R}^{3},\,W=\mathbb{R}^{2} והמישור U=\{ \left( \begin{array}{c} x\\ y\\ z \end{array} \right): x+y+z=0\} = span\{\left(\begin{array}{c} 1\\ 0\\ -1 \end{array}\right),\left(\begin{array}{c} 0\\ 1\\ -1 \end{array}\right)\} \leq V

מצא ה"ל T:V\to W כך ש kerT=U וגם ImT=span(\{\left(\begin{array}{c} 1\\ 1 \end{array}\right)\})

פתרון

נשלים לבסיס ל V בעזרת \{ v_1= \begin{pmatrix} 1\\ 0\\ -1 \end{pmatrix}, v_2= \begin{pmatrix} 0\\ 1\\ -1 \end{pmatrix}, v_3= \begin{pmatrix} 1\\ 0\\ 0 \end{pmatrix} \}

לפי משפט ההגדרה מספיק להגדיר T בעזרת הבסיס.

נגדיר Tv_1=Tv_2 = 0, Tv_3 = \begin{pmatrix} 1\\ 1\\ \end{pmatrix}

ואז T(U)=T(span\{v_1,v_2\})= span\{Tv_1,Tv_2\} = span\{0\} = \{0\} ולכן U\subseteq kerT

בכיוון השני, יהיה v=\alpha_1v_1 +\alpha_2v_2+\alpha_3v_3 \in KerT אזי 0=Tv= \alpha_1Tv_1 +\alpha_2Tv_2+\alpha_3Tv_3=\alpha_3 \begin{pmatrix} 1\\ 1\\ \end{pmatrix} ולכן \alpha_3=0 ואז v\in U

בנוסף, באופן דומה,

ImT=T(V)=T(span\{v_1,v_2,v_3\}) = span\{Tv_1,Tv_2,Tv_3\} = span \begin{pmatrix} 1\\ 1\\ \end{pmatrix}

כנדרש.

תרגיל

תהא T:V\to V הע"ל, W\leq V ת"מ. נתון כי W\cap KerT=0. הוכח כי \dim W = \dim T(W)

הוכחה:

נסתכל על ה"ל T_W:W\to V אזי מתקיים כי KerT_W = W\cap kerT=0 ולכן T_W חח"ע. אם נבחר בסיס B ל -W, אזי T(B) גם כן בסיס

ואז \dim W =|B|=|T(B)|= \dim T(W)

משפט הדרגה

תהא T:V\to W הע"ל. אזי \dim ImT+\dim KerT=dimV

הערה: שימו לב שזה הכללה עבור מטריצה A\in \mathbb{F}^{m\times n} ומשפט \dim C(A)+\dim N(A)=n (זיכרו שמטריצה היא מקרה פרטי של ה"ל)

תרגיל

נסתכל על ה"ל T:\mathbb{F}^{n\times n} \to \mathbb{F} המוגדרת T(A)=tr(A) מצא בסיס לגרעין העתקה.

פתרון:

T היא על כי לכל a\in \mathbb{F} יש מקור. למשל a\cdot E_{1,1}. לכן \dim ImT= \dim \mathbb{F} =1 ממשפט הדרגה נסיק כי \dim KerT=dimV-\dim ImT=n^2 -1

כעת לפי משפט השלישי חינם מספיק למצוא n^2-1 מטריצות בת"ל ששיכות לגרעין ואז הם יהיו בסיס.

למשל המטריצות \{E_{i.j} \; | \; i\neq j\} \cup \{E_{1,1}-E_{i,i} \; | \; 2\leq i \leq n\}

בקבוצה זאת יש אכן (n^2-n)+(n-1)=n^2-1 מטריצות בת"ל

תרגיל

תהא T:V\to V הע"ל. הוכח שהבאים שקולים:

1. KerT = KerT^2.

2. ImT^2 = ImT.

3. V=KerT\oplus ImT.

פתרון:

ממשפט הדרגה מתקיים (פעם אחת עבור T ופעם אחת עבור T^2 כי

\dim ImT+\dim KerT=dimV=\dim ImT^2+\dim KerT^2

ולכן \dim ImT=\dim ImT^2 אמ"מ \dim KerT=\dim KerT^2

אם \dim ImT=\dim ImT^2 אזי ImT= ImT^2 (ראינו ImT^2 \subseteq ImT, אם תת מרחב מוכל בתת מרחב אחר מאותו מימד אז הוא שווה לו)

אם \dim KerT=\dim KerT^2 אזי ImT= ImT^2 (ראינו KerT \subseteq KerT^2, אם תת מרחב מוכל בתת מרחב אחר מאותו מימד אז הוא שווה לו)

ולכן 1. ו 2. שקולים.

נשאר להוכיח שקילות בין 1. ל 3.

3 \Leftarrow 1

נראה כי הסכום ישר: יהא v\in KerT\cap ImT אזי (\exists w: Tw=v)\land Tv=0 ואז T^2w=Tv=0 ולכן w\in KerT^2=KerT ומכאן ש v=Tw=0 כנדרש.

סכום: לפי משפט המימדים ומשפט הדרגה נקבל כי \dim (KerT+ ImT)= \dim KerT + \dim ImT - \dim (KerT\cap ImT)=\dim KerT + \dim ImT= \dim V.

כיוון ש KerT+ ImT\subseteq V מאותו מימד נקבל שיוויון

3 \Rightarrow 1

מ"ל כי KerT^2 \subseteq KerT. יהא v\in KerT^2 אזי מצד אחד Tv\in KerT ומצד שני (לפי הגדרה) Tv\in ImT

לכן Tv\in KerT\cap ImT=\{0\} ולכן Tv=0 כלומר v\in KerT כנדרש

הפיכות ואיזמורפיזם

ה"ל T:V\to W היא הפיכה אם יש הע"לS:W\to V כך ש: ST=Id_V,TS=Id_W. במקרה זה מסמנים T^{-1}=S

משפט

T הפיכה אמ"מ T חח"ע ועל

(שימו לב שידוע שפונקציה חח"ע ועל היא הפיכה כפונקציה. המשפט אומר שבמקרה זה הפונקציה היא הע"ל)


תכונות

  1. אם T הפיכה אז גם ההופכית ומתקיים(T^{-1})^{-1}=T
  2. יהיו T,S:V\to V שתי הע"ל אזי T,S הפיכות אמ"מ ההרכבה ST הפיכה. במקרה זה מתקיים (ST)^{-1} =T^{-1}S^{-1}
  3. אם ה"ל L_A(v)=Av הפיכה אז ההופכית היא L_{A^{-1}}

איזומורפיזם

הגדרה הע"ל T:V\to W תקרא

  1. מונומורפיזם אם T חח"ע
  2. אפימורפיזם אם T על
  3. איזומורפיזם אם T חח"ע ועל (כלומר הפיכה). במקרה זה נאמר ש V ו W איזומורפים ונסמן V\cong W

הערה: \cong מתנהג כמו יחס שקילות. כלומר

  1. \forall V : V\cong V
  2. V\cong W \Rightarrow W\cong V
  3. V_1\cong V_2 \land V_2 \cong V_3 \Rightarrow V_1\cong V_3

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


דוגמא: T:\mathbb{F}^{m\times n} \to \mathbb{F}^{n\times m} המוגדרת T(A)=A^t היא איזומורפיזם.

משפט

יהיו V,W שני מרחבים וקטורים. אזי

V\cong W \iff \dim V = \dim W

"הוכחה"

(\Rightarrow) נבחר בסיס B עבור V. מהנתון, קיימת T:V\to W הפיכה. לכן |B|=|T(B)| ובנוסף, T(B) בסיס ל W. זה אומר שהמימדים שווים.

(\Leftarrow ) נבחר B=\{v_1,\dots, v_n\}, B'=\{w_1,\dots , w_n\} בסיסים. לפי משפט ההגדרה נגדיר T:V\to W ע"י Tv_i=w_i. במקרה זה T הע"ל הפיכה, כלומר המרחבים איזומורפים.

הערה אפשר למצוא את איזו' בצורה מפורשת ע"י הצגה לפי בסיס

אם נגדיר T_B:V\to \mathbb{F}^n המוגדרת ע"י T(v)=[v]_B כאשר B=\{v_1,\dots ,v_n\} היא איזומורפיזם.

כעת עבור מציאת איזו' בין 2 מרחבים V,W זה פשוט יהיה T_{B'}^{-1}T_B כאשר B בסיס ל V ו- B' בסיס ל W

דוגמא

\mathbb{C}^{2\times 3} \cong \mathbb{C}^6 \cong \mathbb{C}_5 [x] \cong span\{e_1, e_7, e_{12},e_{101}\}

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