88-112 לינארית 1 תיכוניסטים קיץ תשעא/מערך תרגול/3

מתוך Math-Wiki
גרסה מ־06:41, 22 ביולי 2011 מאת ארז שיינר (שיחה | תרומות) (יצירת דף עם התוכן "==מטריצות הפיכות== '''הגדרה''': מטריצה A נקראת '''הפיכה''' אם קיימת מטריצה B כך ש <math>AB=BA=I</math>. במקרה...")

(הבדל) → הגרסה הקודמת | הגרסה האחרונה (הבדל) | הגרסה הבאה ← (הבדל)
קפיצה אל: ניווט, חיפוש

מטריצות הפיכות

הגדרה: מטריצה A נקראת הפיכה אם קיימת מטריצה B כך ש AB=BA=I. במקרה זה, מטריצה B נקראת ההופכית של A ומסומנת B=A^{-1}.

תכונות:

  • מטריצה הפיכה היא בהכרח ריבועית
  • אם A ריבועית וAB=I אזי גם AB=BA=I וB הינה ההופכית של A
  • (AB)^{-1}=B^{-1}A^{-1}

תרגיל 6.1 וחצי

הוכח שאם A הפיכה אזי גם המשוחלפת שלה הפיכה ומתקיים (A^t)^{-1}=(A^{-1})^t. הסק שאם A הפיכה וסמטרית אזי גם ההופכית שלה סימטרית.

פתרון

נניח A הפיכה, אזי קיימת לה הופכית כך ש AA^{-1}=I. נשחלף את שני האגפים ונקבל (A^{-1})^tA^t=I^t=I ומכאן המש"ל כיוון שA ריבועית וכך גם המשוחלפת שלה.

אם A הפיכה וסימטרית מתקיים (A^{-1})^t=(A^t)^{-1}=A^{-1} כלומר ההופכית גם סימטרית.

מטריצות אלמנטריות

דיברנו כבר על פעולות שורה אלמנטריות כאשר דיברנו על פעולות שלא משנות את מרחב הפתרונות של המערכת המתאימה למטריצה. נזכיר מהן פעולות השורה האלמנטריות:

  1. R_i \leftrightarrow R_j
  2. R_i \rightarrow \alpha R_i, כאשר 0\neq\alpha\in\mathbb{F}
  3. R_i \rightarrow R_i+\alpha R_j כאשר i\neq j

פעולת שורה היא למעשה פונקציה שניתן להפעיל על כל מטריצה. למשל נסמן את פעולת השורה R_1\rightarrow R_1-R_2 באות \rho אזי מתקיים לדוגמא:

\rho\begin{pmatrix}1 & 1 \\ 0 & 1\end{pmatrix}=\begin{pmatrix}1 & 0 \\ 0 & 1\end{pmatrix}

\rho\begin{pmatrix}1 & 2 \\ 3 & 4\end{pmatrix}=\begin{pmatrix}-2 & -2 \\ 3 & 4\end{pmatrix}


מטריצות אלמנטריות

מטריצת שורה אלמנטרית היא מטריצה המתקבלת מהפעלת פעולת שורה אלמנטרית על מטריצת היחידה.

משפט: לכל מטריצה A מתקיים \rho(A) = \rho(I)A.

כלומר, הפעלת פעולת שורה אלמנטרית שקולה לכפל במטריצת השורה האלמנטרית המתאימה.


יש משפט והגדרה דומים עבור מטריצות עמודה אלמנטריות עם כפל בצד השני. כמו כן, כל מטריצת שורה אלמנטרית הינה מטריצת עמודה אלמנטרית עבור פעולה מתאימה. מטריצות אלה נקראות ביחד מטריצות אלמנטריות.

מסקנה - אלגוריתם למציאת מטריצה הופכית

דירוג מטריצה שקול לכפל במטריצות אלמנטריות המתאימות לפעולות הדירוג. לכן, אם דירגנו מטריצה ריבועית לצורת מטריצה היחידה קיבלנו \rho_1(I)\cdots\rho_k(I)A=I ולפיכך מתקיים שהמטריצה A הפיכה וההופכית שלה הינה \rho_1(I)\cdots\rho_k(I).

אם נדרג קנונית את מטריצת הבלוקים (A|I) נקבל מטריצה מהצורה (I|\rho_1(I)\cdots\rho_k(I)) (שכן לפי כפל מטריצת בלוקים, כפל במטריצה האלמנטרית מופעל במקביל על כל אחד מהבלוקים). לכן כאשר אנחנו מדרגים את (A|I) עד שנקבל את מטריצת היחידה משמאל, מימין נקבל את המטריצה ההופכית (I|A^{-1}).