לדלג לתוכן
שינוי מצב סרגל צד
Math-Wiki
חיפוש
יצירת חשבון
כלים אישיים
יצירת חשבון
כניסה לחשבון
דפים לעורכים שלא נכנסו לחשבון
מידע נוסף
שיחה
תרומות
ניווט
עמוד ראשי
שינויים אחרונים
העלאת קובץ
כלים
דפים המקושרים לכאן
שינויים בדפים המקושרים
דפים מיוחדים
מידע על הדף
עריכת הדף "
88-112 לינארית 1 תיכוניסטים קיץ תשעא/מערך תרגול/3
" (פסקה)
דף
שיחה
עברית
קריאה
עריכה
גרסאות קודמות
עוד
קריאה
עריכה
גרסאות קודמות
אזהרה:
אינכם מחוברים לחשבון. כתובת ה־IP שלכם תוצג בפומבי אם תבצעו עריכות כלשהן. אם
תיכנסו לחשבון
או
תיצרו חשבון
, העריכות שלכם תיוחסנה לשם המשתמש שלכם ותקבלו גם יתרונות אחרים.
בדיקת אנטי־ספאם.
אין
למלא שדה זה!
==מציאת הופכית והצגה כמכפלה של מטריצות אלמנטריות== דיברנו כבר על פעולות שורה אלמנטריות כאשר דיברנו על פעולות שלא משנות את מרחב הפתרונות של המערכת המתאימה למטריצה. נזכיר מהן פעולות השורה האלמנטריות: # <math>R_i \leftrightarrow R_j</math> # <math>\alpha R_i \rightarrow R_i</math>, כאשר <math>0\neq\alpha\in\mathbb{F}</math> # <math>R_i +\alpha R_j \rightarrow R_i</math> כאשר <math>i\neq j</math> את הפעולות הללו ביצענו על מטריצות (ככה דירגנו אותם). למשל נסמן את פעולת השורה <math>R_1\rightarrow R_1-R_2</math> באות <math>\rho</math> אזי מתקיים לדוגמא: <math>\rho\begin{pmatrix}1 & 1 \\ 0 & 1\end{pmatrix}=\begin{pmatrix}1 & 0 \\ 0 & 1\end{pmatrix}</math> <math>\rho\begin{pmatrix}1 & 2 \\ 3 & 4\end{pmatrix}=\begin{pmatrix}-2 & -2 \\ 3 & 4\end{pmatrix}</math> כעת נרצה להחליף את ביצוע הפעולה בכפל במטריצה המכונה '''מטריצה אלמנטרית'''. ===מטריצות אלמנטריות=== מטריצת (שורה) אלמנטרית היא מטריצה המתקבלת מהפעלת פעולת שורה אלמנטרית על מטריצת היחידה. דוגמאות (ב <math>\mathbb{F}^{3\times3}</math>): #החלפת שורות <math>R_{2}\leftrightarrow R_{3}</math> מתאים למטירצה <math>\left(\begin{array}{ccc} 1 & 0 & 0\\ 0 & 0 & 1\\ 0 & 1 & 0 \end{array}\right)</math> #הכפלת שורה 1 ב-5 <math>5\cdot R_{1}\rightarrow R_{1}</math> מתאים למטריצה <math>\left(\begin{array}{ccc} 5 & 0 & 0\\ 0 & 1 & 0\\ 0 & 0 & 1 \end{array}\right)</math> #החסרת שורה 3 משורה 1 <math>R_{1}-R_{3}\rightarrow R_{1}</math> מתאים למטריצה <math>\left(\begin{array}{ccc} 1 & 0 & -1\\ 0 & 1 & 0\\ 0 & 0 & 1 \end{array}\right)</math> '''משפט''': לכל מטריצה A מתקיים <math>\rho(A) = \rho(I)A</math>. כלומר, הפעלת פעולת שורה אלמנטרית שקולה לכפל במטריצת השורה האלמנטרית המתאימה. '''משפט''': מטריצה אלמנטרית <math>E=\rho(I)</math> היא הפיכה ומתקיים <math>E^{-1}=\rho^{-1}(I)</math>. דוגמא: נמצא את ההופכית של המטריצות ממקודם: #<math>\left(\begin{array}{ccc} 1 & 0 & 0\\ 0 & 0 & 1\\ 0 & 1 & 0 \end{array}\right)^{-1}=\left(\begin{array}{ccc} 1 & 0 & 0\\ 0 & 0 & 1\\ 0 & 1 & 0 \end{array}\right)</math> #<math>\left(\begin{array}{ccc} 5 & 0 & 0\\ 0 & 1 & 0\\ 0 & 0 & 1 \end{array}\right)^{-1}=\left(\begin{array}{ccc} \frac{1}{5} & 0 & 0\\ 0 & 1 & 0\\ 0 & 0 & 1 \end{array}\right)</math> #<math>\left(\begin{array}{ccc} 1 & 0 & -1\\ 0 & 1 & 0\\ 0 & 0 & 1 \end{array}\right)^{-1}=\left(\begin{array}{ccc} 1 & 0 & 1\\ 0 & 1 & 0\\ 0 & 0 & 1 \end{array}\right)</math> יש משפט והגדרה דומים עבור מטריצות עמודה אלמנטריות עם כפל בצד השני. כמו כן, כל מטריצת שורה אלמנטרית הינה מטריצת עמודה אלמנטרית עבור פעולה מתאימה. מטריצות אלה נקראות ביחד '''מטריצות אלמנטריות'''. ===מסקנה - אלגוריתם למציאת מטריצה הופכית=== בהנתן מטריצה A הפיכה ניתן לעבור מ A ל- I ע"י פעולות שורה אלמנטריות. כלומר <math>E_{k}\cdots E_2 E_{1}\cdot A=I </math> כאשר <math>E_i</math> היא המטריצה האלמנטרית שמתאימה לפעולה האלמנטרית שביצענו במהלך הדירוג. מכאן רואים בקלות כי <math>A^{-1}=E_{k}\cdots E_2 E_{1}</math> כיוון ש <math>E_{k}\cdots E_2 E_{1}=E_{k}\cdots E_2 E_{1}\cdot I</math> אז ההופכית מתקבלת מהכפלת המטריצות האלמנטריות ב I (או באופן שיקול ביצוע הפעולות האלמנטריות על I) לכן אם נסתכל על המטריצה <math>(A|I)</math> ונדרג אותה נקבל לאחר הדירוג <math>(I|A^{-1})</math> פעולות הדירוג מתבצעות סימולטנית גם על A וגם על I. ברגע שהגענו מ A ל I אז במקביל הגענו מ I להופכית של A. דוגמא: נמצא את ההופכית של תהא <math>A=\left(\begin{array}{ccc} 0 & 1 & 1\\ 1 & 1 & 0\\ 0 & 0 & 2 \end{array}\right)</math> . נעשה פעולות דירוג על <math>(A|I)</math> <math> \left(\begin{array}{ccc|ccc} 0 & 1 & 1 & 1 & 0 & 0 \\ 1 & 1 & 0 & 0 & 1 & 0\\ 0 & 0 & 2 & 0 & 0 & 1 \end{array}\right) \xrightarrow{R_{1}\leftrightarrow R_{2}}\left(\begin{array}{ccc|ccc} 1 & 1 & 0 & 0 & 1 & 0\\ 0 & 1 & 1 & 1 & 0 & 0 \\ 0 & 0 & 2 & 0 & 0 & 1 \end{array}\right) \xrightarrow{R_{2}-0.5R_{3}\rightarrow R_{2}}\\ \left(\begin{array}{ccc|ccc} 1 & 1 & 0 & 0 & 1 & 0\\ 0 & 1 & 0 & 1 & 0 & -0.5 \\ 0 & 0 & 2 & 0 & 0 & 1 \end{array}\right) \xrightarrow{R_{1}-R_{2}\rightarrow R_{1}}\left(\begin{array}{ccc|ccc} 1 & 0 & 0 & -1 & 1 & 0.5\\ 0 & 1 & 0 & 1 & 0 & -0.5 \\ 0 & 0 & 2 & 0 & 0 & 1 \end{array}\right) \xrightarrow{0.5R_{3}\rightarrow R_{3}}\\ \left(\begin{array}{ccc|ccc} 1 & 0 & 0 & -1 & 1 & 0.5\\ 0 & 1 & 0 & 1 & 0 & -0.5 \\ 0 & 0 & 1 & 0 & 0 & 0.5 \end{array}\right) </math> לפי התיאוריה ממקודם נקבל כי <math>A^{-1}= \left(\begin{array}{ccc} -1 & 1 & 0.5\\ 1 & 0 & -0.5 \\ 0 & 0 & 0.5 \end{array}\right) </math> ====תוספת: הצגת מטריצה כמכפלה של אלמנטריות ==== נשים לב כי קיבלנו ש <math>A^{-1}=E_{k}\cdots E_2 E_{1}</math> המטריצה ההופכית היא מכפלה של מטריצות אלמנטריות. ומכאן שגם <math>A</math> ניתנת להצגה של מכפלה של מטריצות אלמנטריות כיוון ש <math>A=(A^{-1})^{-1}=(E_{k}\cdots E_2 E_{1})^{-1}=E_1^{-1}E_2^{-1} \cdots E_k^{-1}</math> כלומר <math>A</math> היא מכפלת בסדר הפוך של ההופכיות של האלמנטריות. נמשיך בדוגמא להמחיש את הענין. ראינו שהדירוג מ תהא <math>A=\left(\begin{array}{ccc} 0 & 1 & 1\\ 1 & 1 & 0\\ 0 & 0 & 2 \end{array}\right)</math> . ל <math>I</math> מתבצע ע"י 4 פעולות שורה. המטריצות האלמנטריות המתאימות הן 1. <math>E_1 = \left(\begin{array}{ccc} 0 & 1 & 0 \\ 1 & 0 & 0 \\ 0 & 0 & 1 \end{array}\right) </math> (החלפת שורות 1 ו -2) 2. <math>E_2 = \left(\begin{array}{ccc} 1 & 0 & 0 \\ 0 & 1 & -0.5 \\ 0 & 0 & 1 \end{array}\right) </math> (החסרת חצי שורה 3 משורה 2) 3. <math>E_3 = \left(\begin{array}{ccc} 1 & -1 & 0 \\ 0 & 1 & 0\\ 0 & 0 & 1 \end{array}\right) </math> (החסרת שורה 2 משורה 1) 4. <math>E_4 = \left(\begin{array}{ccc} 1 & 0 & 0 \\ 0 & 1 & 0\\ 0 & 0 & 0.5 \end{array}\right) </math> (הכפלת שורה 3 בחצי) במילים אחרות <math>E_4E_3E_2E_1A=I</math> ולכן *<math>A^{-1}=E_4E_3E_2E_1</math> *<math>A=E_1^{-1}E_2^{-1}E_3^{-1}E_4^{-1}</math> ====הערות ==== 1. אם אחרי הדירוג של <math>A</math> לא קיבלנו <math>I</math> אזי <math>A</math> אינה הפיכה. הוכחה: נסמן ב <math>E</math> את מכפלת המטריצות האלמנטריות שמדרגות את <math>A</math> לצורה קנונית. ברור כי <math>E</math> הפיכה כמכפלה של מטריצות הפיכות. אם <math>A</math> הפיכה אזי גם <math>EA</math> הפיכה. אבל ב <math>EA</math> יש שורת אפסים כי <math>EA\not=I</math> סתירה לתרגיל מתחילת התרגול. (מסקנה: אחרי דירוג <math>A</math> או שגילינו שהיא לא הפיכה או שמצאנו את ההופכית. ולכן האלגוריתם שראינו מתבצע גם אם לא יודעים מראש ש <math>A</math> הפיכה) 2. בהנתן מטריצה ריבועית <math>A</math>, אזי <math>A</math> הפיכה '''אם ורק אם''' למערכת <math>Ax=b</math> קיים פתרון יחיד. פתרון: בכיוון הראשון הפתרון הוא <math>x=A^{-1}b</math>. בכיוון ההפוך, אם היא לא הפיכה אז במדורגת יש שורת אפסים ואז או שורת סתירה או משתנה חופשי. ===תרגיל=== תהא <math>A=\left(\begin{array}{ccc} a & 1 & 1\\ 1 & a & 1\\ 1 & 1 & a \end{array}\right)\in\mathbb{R}^{3\times3}</math> התלויה בפרמטר <math>a</math> 1. עבור אילו ערכי <math>a</math> המטריצה הפיכה 2. עבור איזה ערך <math>a</math> (אם בכלל) מתקיים כי <math>A^{-1}=\frac{1}{2}\left(\begin{array}{ccc} -1 & 1 & 1\\ 1 & -1 & 1\\ 1 & 1 & -1 \end{array}\right)</math> ==== פתרון ==== הנה הדירוג הרלוונטי <math>\left(\begin{array}{ccc} a & 1 & 1\\ 1 & a & 1\\ 1 & 1 & a \end{array}\right) \xrightarrow{R_{1}\leftrightarrow R_{3}}\left(\begin{array}{ccc} 1 & a & 1\\ 1 & 1 & a\\ a & 1 & 1 \end{array}\right) \xrightarrow[R_{3}\leftarrow R_{3}-aR_{1}]{R_{2}\leftarrow R_{2}-R_{1}}\left(\begin{array}{ccc} 1 & a & 1\\ 0 & 1-a & a-1\\ 0 & 1-a^{2} & 1-a \end{array}\right)</math> <math>\xrightarrow{R_{3}\leftarrow R_{3}-\left(1+a\right)R_{1}}\left(\begin{array}{ccc} 1 & a & 1\\ 0 & 1-a & a-1\\ 0 & 0 & 1-a-\left(1+a\right)\left(a-1\right) \end{array}\right) =\left(\begin{array}{ccc} 1 & a & 1\\ 0 & 1-a & a-1\\ 0 & 0 & \left(1-a\right)\left(a+2\right) \end{array}\right)</math> ===תרגיל=== תהא <math>A</math> מטריצה ריבועית הפיכה. תהא <math>B</math> מטריצה המתקבלת מהחלפת שורות 1,2 של <math>A</math>. כלומר <math>A\xrightarrow{R_{1}\leftrightarrow R_{2}}B</math>. מה הקשר בין ההופכית של <math>A</math> להופכית של <math>B</math>? ===תרגיל=== נסמן <math>A=\left(\begin{array}{ccc} 1 & 1 & 2\\ 1 & 0 & 3 \end{array}\right)</math> א. מצאו <math>B\in \mathbb{R}^{3\times 2}</math> כך ש- <math>AB=I_2</math>. ב. האם <math>B</math> שמצאתם היא יחידה? ג. האם יש <math>B\in \mathbb{R}^{3\times 2}</math> כך ש- <math>BA=I_3</math>? ====פתרון==== א. ניקח לדוגמא את החלק השמאלי של <math>A</math>, ונמצא לו הופכית ע"י דירוג. נקבל: <math>\left(\begin{array}{cc} 1 & 1 \\ 1 & 0 \end{array}\right) \left(\begin{array}{cc} 0 & 1 \\ 1 & -1 \end{array}\right)=I_{2\times 2}</math> , ולכן נוכל לקחת <math>B=\left(\begin{array}{cc} 0 & 1 \\ 1 & -1 \\ 0 & 0 \end{array}\right)</math> ונקבל <math>AB=I</math>. ב. היא לא יחידה. אפשר לעשות רעיון דומה עם החלק הימני של <math>A</math> למשל. ג. לא קיימת. נניח בשלילה שקיימת <math>B=\left(\begin{array}{cc} b_1 & b_2 \\ b_3 & b_4 \\ b_5 & b_6 \end{array}\right)</math> כך ש- <math>BA=I_{3\times 3}</math>, אזי אם נוסיף שורת אפסים ל-<math>A</math> (למטה) ועמודת אפסים ל-<math>B</math> (מימין), נקבל גם שמכפלתם היא היחידה (כי בכל הכניסות נקבל אותו דבר בדיוק כמו קודם), בסתריה לכך שמטריצה עם שורת (או עמודת) אפסים לא הפיכה, ושמכפלה הפיכה אם ורק אם המוכפלות הפיכות. ===תרגיל=== תהי <math>0\neq A\in \mathbb{F}^{n\times n}</math>. הוכיחו: <math>A</math> לא הפיכה אם ורק אם היא מחלקת אפס. ====פתרון==== משמאל לימין: נתון שהיא מחלקת אפס, ולכן יש <math>B\neq 0</math> כך ש- <math>AB=0</math>. נניח בשלילה ש<math>A</math> הפיכה. לכן יש לה הופכית <math>A^{-1}</math> ונקבל: <math>B=IB=A^{-1}AB=A^{-1}0=0</math> בסתירה. מימין לשמאל: <math>A</math> לא הפיכה. לכן בצורה המדוגרת יש שורת אפסים ומשתנה חופשי, ומכאן שיש פתרון לא טריוויאלי למערכת ההומוגנית. כלומר, יש <math>x\neq 0</math> כך ש- <math>Ax=0</math>. ניקח מטריצה <math>B</math> שבכל עמודה יש את וקטור העמודה <math>x</math> הנ"ל, נקבל (לפי כפל עמודה) <math>AB=0</math>.
תקציר:
לתשומת לבך: תורמים אחרים עשויים לערוך או אף להסיר את תרומתך ל־Math-Wiki. אם אינך רוצה שעבודתך תהיה זמינה לעריכה על־ידי אחרים, אין לפרסם אותה פה.
כמו־כן, שמירת העריכה משמעה הבטחה שכתבת את הטקסט הזה בעצמך, או העתקת אותו ממקור שאינו מוגן בזכויות יוצרים (אפשר לעיין בדף
Math-Wiki:זכויות יוצרים
לפרטים נוספים).
אין לעשות שימוש בחומר המוגן בזכויות יוצרים ללא רשות!
ביטול
עזרה בעריכה
(נפתח בחלון חדש)