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

תוכן שנמחק תוכן שנוסף
אין תקציר עריכה
מ החלפת קוד LaTeX מיושן mw:Extension:Math/Roadmap
שורה 6:
שם=העתקה לינארית (קריטריון מקוצר)|
תוכן=
יהיו <math>V,W</math> מרחבים וקטוריים מעל <math>\Bbbmathbb F</math> ותהי הפונקציה <math>T:V\to W</math> (כלומר "העתקה <math>T</math> "לוקחת" וקטורים ממרחב <math>V</math> ומפעילה עליהם פעולות כך שהם יוצגו ב־<math>W</math>".)
:<math>T\begin{bmatrix}x_1\\\vdots\\x_n\end{bmatrix}=\begin{bmatrix}
a_{11}x_1&a_{12}x_2&\cdots&a_{1n}x_n\\a_{21}x_1&a_{22}x_2&\cdots&a_{2n}x_n\\\vdots&\vdots&\ddots&\vdots\\a_{m1}x_1+&a_{m2}x_2&\cdots&a_{mn}x_n\end{bmatrix}</math>
תיקרא העתקה לינארית (ובקיצור '''ה.ל''') אמ"מ מתקיימים התנאים הבאים:
*אדיטיביות: <math>\forall\ \vec{v}_1,\vec{v}_2\in V:\ T(\vec{v}_1+\vec{v}_2)=T(\vec{v}_1)+T(\vec{v}_2)</math>
*הומוגניות: <math>\forall\alpha\in\Bbbmathbb F,\vec{v}\in V:\ T(\alpha\vec{v})=\alpha T(\vec{v})</math>
 
{{הוכחה|
תהי <math>T:V\to W</math> פונקציה. <math>T</math> היא ה.ל אמ"מ <math>\forall\ \vec{v}_1,\vec{v}_2\in V,\alpha\in\Bbbmathbb F:\ T(\vec{v}_1+\alpha\vec{v}_2)=T(\vec{v}_1)+\alpha T(\vec{v}_2)</math>
 
הוכחה: אם <math>T</math> ה.ל אזי <math>T(\vec{v}_1+\alpha\vec{v}_2)=T(\vec{v}_1)+T(\alpha\vec{v}_2)=T(\vec{v}_1)+\alpha T(\vec{v}_2)</math>
שורה 25:
 
===תכונות של העתקה===
יהיו <math>V,W</math> מ"ו מעל שדה <math>\Bbbmathbb F</math>. תהי <math>T:V\to W</math> ה.ל.
#<math>T(\vec0_V)=\vec0_W</math> כלומר העתקת האפס נותנת אפס.
#:הוכחה: <math>T(\vec0_V)=T(0_F\cdot\vec0_V)=0_F\cdot T(\vec0_V)=\vec0_W</math>
# <math>T(-\vec{v})=-T(\vec{v})</math>
#:הוכחה: <math>T(-\vec{v})=T(-1\cdot\vec{v})=-1\cdot T(\vec{v})=-T(\vec{v})</math>.
#העתקה שומרת על צירופים לינאריים: לכל סדרת וקטורים <math>\vec{v}_1,\ldots,\vec{v}_n\in V</math> ולכל סדרת סקלרים <math>c_1,\ldots,c_n\in\Bbbmathbb F</math> מתקיים
#:<math>T(c_1\vec{v}_1+\ldots+c_n\vec{v}_n)=c_1T(\vec{v}_1)+\ldots+c_nT(\vec{v}_n)</math> (ובקיצור <math>T\left(\sum_{i=1}^nc_i\vec{v}_i\right)=\sum_{i=1}^nc_iT(\vec{v}_i)</math>)
#:הוכחה: <math>T(c_1\vec{v}_1+\cdots+c_n\vec{v}_n)=T(c_1\vec{v}_1)+\cdots+T(c_n\vec{v}_n)=c_1T(\vec{v}_1)+\cdots+c_nT(\vec{v}_n)</math> ובקיצור <math>T\left(\sum_{i=1}^nc_i\vec{v}_i\right)=\sum_{i=1}^nT(c_i\vec{v}_i)=\sum_{i=1}^nc_iT(\vec{v}_i)</math>
שורה 37:
מספר=1|
שם=העתקה לינארית|
תוכן= יהי מרחב ווקטורי מעל <math>V=\Bbbmathbb F</math> ו־<math>W=\Bbbmathbb F</math>. יהי <math>d\in\Bbbmathbb{F}</math>.
 
נגדיר העתקה <math>T:V\to W</math> ע"י <math>T_d(v)=d\vec{v}</math> לכל <math>\vec{v}\in V</math>.
שורה 61:
{{תרגיל
|מספר=2
|שאלה=<math>\Bbbmathbb F=\R</math> ו־<math>V=W=\R,T:\R\to\R,T(x)=x^2</math> האם <math>T</math> העתקה לינארית?
|פתרון=
<math>T</math> אינה העתקה לינארית כי לא מקיימת סגירות לחיבור <math>T(1+2)=3^2=9\ne5=1^2+2^2=T(1)+T(2)</math>.