חזור לתיקייה: תרגול

5 - מטריצות

חיפוש בתיקיה
Ctrl K
לחץ כאן או הקש Ctrl K כדי לחפש בכל התיקיה
  • חוקים
  • מטריצות מיוחדות

5 - מטריצות

01040166

אלגברה אמ

רשימות תרגול לקריאה בשבת

מטריצות

הופק מתוך תקיית התואר של שקד

uni-folder.vercel.app

A=(1234512π2)2×4A=\begin{pmatrix} 1&2&3&4 \\ 5& \frac{1}{2} & \pi & \sqrt{ 2 } \end{pmatrix}_{2\times4}A=(15​221​​3π​42​​)2×4​ (A)1,2=a1,2=2(A)_{1,2}=a_{1,2}=2(A)1,2​=a1,2​=2

"עולם חדש של מטריצות" - גלית

חיבור A+BA+BA+B ניתן לביצוע רק אם שתיהן בדיוק באותו הגודל:

(A+B)i,j=Aij+Bij(A+B)_{i,j}=A_{ij}+B_{ij}(A+B)i,j​=Aij​+Bij​ (αA)ij=αaij(\alpha A)_{ij}=\alpha a_{ij}(αA)ij​=αaij​

חוקים

נסמן: α,β∈F\alpha,\beta \in \mathbb{F}α,β∈F ו-A∈Fn×m,Fn×m,Mm×n(F)A \in \mathbb{F}_{n\times m},\mathbb{F}^{n\times m},M_{m\times n}(\mathbb{F})A∈Fn×m​,Fn×m,Mm×n​(F)

A+B=B+AA+B=B+AA+B=B+A (A+B)+C=A+(B+C)(A+B)+C=A+(B+C)(A+B)+C=A+(B+C) α(A+B)=αA+αB\alpha(A+B)=\alpha A+\alpha Bα(A+B)=αA+αB (α+β)A=αA+βA(\alpha+\beta)A=\alpha A+\beta A(α+β)A=αA+βA (αB)A=α(BA)(\alpha B)A=\alpha(BA)(αB)A=α(BA)

נסתכל על פעולת הtransposetransposetranspose:

At=(152123π42)A^t=\begin{pmatrix} 1 & 5 \\ 2 & \frac{1}{2} \\ 3 & \pi \\ 4 & \sqrt{ 2 } \end{pmatrix}At=​1234​521​π2​​​
הגדרה 1 (פעולת הtransposetransposetranspose)

(At)ij=aji(A^t)_{ij}=a_{ji}(At)ij​=aji​
(At)t=A(A^{t})^t=A(At)t=A (A±B)t=At±Bt(A\pm B)^t=A^t\pm B^t(A±B)t=At±Bt (αA)t=αAt(\alpha A)^t=\alpha A^t(αA)t=αAt

מטריצות מיוחדות

  1. מטריצת האפס - מטריצה שכולה אפסים.
    כל המטריצות הבאות ריבועיות:
  2. מטריצת היחידה(InI_{n}In​) = (1001)\begin{pmatrix}1&0\\ 0&1\end{pmatrix}(10​01​) זוהי בגודל 2×22\times22×2 אבל מטריצת היחידה יכולה להיות בכל גודל n×nn \times nn×n
  3. מטריצה סקלארית: αIn\alpha I_{n}αIn​.
  4. מטריצה אלכסונית: DnD_{n}Dn​: ∀i≠j: Dij=0\forall i\neq j:\ D_{ij}=0∀i=j: Dij​=0 כל איבר מחוץ לאלכסון הינו 000.
  5. משולשת עליונה: ∀i>j: Aij=0\forall i>j:\ A_{ij}=0∀i>j: Aij​=0
  6. משולשת תחתונה: ∀i<j: Bij=0\forall i<j:\ B_{ij}=0∀i<j: Bij​=0
  7. מטריצה סימטרית: aij=ajia_{ij}=a_{ji}aij​=aji​ או A=AtA=A^tA=At
  8. מטריצה אנטי סמטרית: aij=−ajia_{ij}=-a_{ji}aij​=−aji​ או A=−AtA=-A^tA=−At
    במטריצה זו, האלכסון כולו אפסים, אלא אם אנחנו מעל Z2\mathbb{Z}_{2}Z2​ ואז יתכן שיש באלכסון גם "1"\text{"1"}"1".
תרגיל

תהיא מטריצה A∈Fn×nA \in F^{n\times n}A∈Fn×n הוכיחו:
א. A+AtA+A^tA+At סימטרית.
ב. A−AtA-A^tA−At אנטי-סמטרית להוכיח לבד בבית
ג. AAA ניתנת לכתיבה כסכום של סימטרית עם אנטי סמטרית

הוכחה: (א)
לפי הגדרת החיבור:

(A+At)ij=Aij+Aijt(A+A^t)_{ij}=A_{ij}+A^t_{ij}(A+At)ij​=Aij​+Aijt​

לפי הגדרת הטרנספוז:

=aij+aji=a_{ij}+a_{ji}=aij​+aji​

כעת, באותה הדרך:

(A+At)ji=Aji+Ajit=aji+aij(A+A^t)_{ji}=A_{ji}+A^t_{ji}=a_{ji}+a_{ij}(A+At)ji​=Aji​+Ajit​=aji​+aij​

ולכן, על פי הקומוטטיביות ב-F\mathbb{F}F:

aij+aji=aji+aija_{ij}+a_{ji}=a_{ji}+a_{ij}aij​+aji​=aji​+aij​

ולכן:

(A+At)ij=(A+At)ij(A+A^t)_{ij}=(A+A^t)_{ij}(A+At)ij​=(A+At)ij​

‎∎

נסתכל על הוכחה נוספת לסעיף (א):
נסתכל על ההגדרה השקולה לסימטריות ונראה כי אנו צריכים להוכיח: A+At=(A+At)tA+A^t=(A+A^t)^tA+At=(A+At)t
נוכיח כך:

(A+At)t=קוחAt+(At)t=קוחAt+A=A+At(A+A^t)^t \underset{קוח}{=}A^t+(A^t)^t\underset{קוח}{=}A^t+A=A+A^t(A+At)tקוח=​At+(At)tקוח=​At+A=A+At

‎∎

הוכחה: (ג)

12(A+At)+12(A−At)=A\frac{1}{2}(A+A^t)+\frac{1}{2}(A-A^t)=A21​(A+At)+21​(A−At)=A
טענה (טענת עזר)

אם BBB סימטרית אז αB\alpha BαB סימטרית.

טענה (טענת עזר 2)

אם CCC אנטי-סימטרית אז αC\alpha CαC אנטי-סימטרית.

הוכחה:
נתון כי C=−CtC=-C^tC=−Ct.
נראה כי:

(−αC)t=קוח−αCt=ןותנ−α(−C)=αC(-\alpha C)^t\underset{קוח}{=}-\alpha C^t\underset{ןותנ}{=}-\alpha(-C)=\alpha C(−αC)tקוח=​−αCtןותנ=​−α(−C)=αC

‎טענת עזר 2 ∎

נראה כי לאור סעיף א' וטענת העזר, אנו יודעים כי 12(A+At)\frac{1}{2}(A+A^t)21​(A+At) הינה סימטרית. ולאור סעיף ב' וטענת העזר השנייה אנו יודעים כי 12(A−At)\frac{1}{2}(A-A^t)21​(A−At) הינה אנטי סימטרית.
‎∎