אלגברה לינארית/העתקות לינאריות: הבדלים בין גרסאות בדף

תוכן שנמחק תוכן שנוסף
מאין תקציר עריכה
אין תקציר עריכה
שורה 1:
==הגדרה==
יהיו <math>V,W</math> מרחבים וקטוריים מעל <math>\mathbb{F}</math> , ותהי <math>T:V\to W</math> פונקציה. <math>T</math> תיקרא העתקה לינארית (ובקיצור '''ה"ל''') אמ"מ מתקיימים התנאים הבאים:
*אדיטיביות: <math>\forall u,v\in V:T(u+v)=T(u)+T(v)</math>
*הומוגניות: <math>\forall\alpha\in\mathbb{F},u\in V:T(\alpha u)=\alpha T(u)</math>
שורה 11:
בכיוון ההפוך, אם תנאי זה מתקיים, נקבל:
*<math>T(u+v)=T(u+1v)=T(u)+1T(v)=T(u)+T(v)</math>
*<math>T(\vec 0_V)=T(\vec 0_V+(-1)\vec 0_V)=T(\vec 0_V)-T(\vec 0_V)=\vec 0_W\Rightarrow \rArr\ T(\alpha u)=T(\vec 0_V+\alpha u)=\vec 0_W+\alpha T(u)=\alpha T(u)</math>
 
==תכונות==
שורה 17:
*מהוכחת הקריטריון המקוצר, נובע: <math>T(\vec 0_V)=\vec 0_W</math>
*שמירה על צירופים לינאריים: <math>T(\sum_{i=1}^n \alpha_iu_i)=\sum_{i=1}^n \alpha_iT(u_i)</math>
**הוכחה: <math>T\left(\sum_{i=1}^n \alpha_iu_i\right)=\sum_{i=1}^n T(\alpha_iu_i)=\sum_{i=1}^n \alpha_iT(u_i)</math>
 
==פעולות על העתקות==
תהיינה <math>T,S:V\rightarrowto W</math> ה"ל, ו- <math>\alpha\in\mathbb{F}</math> . אזי:
*סכום העתקות, יוגדר בצורה הבאה: <math>T+S=\lambda u\in V:(T(u)+S(u))\in W</math>
*מכפלת העתקה בסקלר, תוגדר כך: <math>\alpha T=\lambda u\in V:(\alpha T(u))\in W</math>
 
קל לראות, ש-כי <math>\alpha T,T+S</math> גם הן העתקות לינאריות מ-<math>V</math> ל-<math>W</math> .
 
מתכונות מרחבים וקטוריים, אפשר לראות שקבוצת ההעתקות הלינאריות מ-<math>V</math> ל-<math>W</math> מהווה מרחב וקטורי מעל <math>\mathbb{F}</math> . קבוצה זו, תסומן <math>\mboxtext{Hom}(V,W)</math>
 
==הרכבה==
יהיו <math>V,W,U</math> מרחבים וקטוריים מעל <math>\mathbb{F}</math> , ותהיינה <math>T:V\rightarrowto W, S:W\to U</math> העתקות לינאריות.
 
ההרכבה <math>ST=\lambda u\in V : S(T(u))\in U</math> , גם היא העתקה לינארית. נוכיח זאת לפי הקריטריון המקוצר:
 
יהיו <math>u,v\in V,\alpha\in\mathbb{F}</math> . אזי <math>ST(u+\alpha v)=S\big(T(u+\alpha v)\big)=S\big(T(u)+\alpha T(v)\big)=S(T(u))+\alpha S(T(v))=ST(u)+\alpha ST(v)</math>
 
==גרעין==
תהי <math>T:V\to W</math> ה"ל. הגרעין של <math>T,</math> יוגדר להיות:
*<math>\mboxtext{Ker}(T)=\{u\in V|T(u)=\vec 0_W\}\subseteq V</math> .
 
הגרעין של העתקה לינארית, הוא תת -מרחב של המקור. הוכחה: נבדוק ע"פ הקריטריון המקוצר:
*<math>T(\vec 0_V)=0_W\Rightarrow rArr\vec 0_V\in\mboxtext{Ker}(T)\RightarrowrArr\mboxtext{Ker}(T)\ne\emptyvarnothing</math>
*<math>\forall\alpha\in\mathbb{F},u,v\in\mboxtext{Ker}(T):T(u+\alpha v)=T(u)+\alpha T(v)=\vec 0_W+\alpha\vec 0_W=\vec 0_W\Rightarrow rArr(u+\alpha v)\in\mboxtext{Ker}(T)</math>
 
האפסיות של T, תוגדר להיות <math>\nu T=\dim(\mbox{Ker}(T))</math>