איתמר שטיין (שיחה | תרומות) (←שאלה 1) |
איתמר שטיין (שיחה | תרומות) (←סעיף ג) |
||
(4 גרסאות ביניים של אותו משתמש אינן מוצגות) | |||
שורה 30: | שורה 30: | ||
<math>A</math> היא מטריצה הפיכה, ולכן הצורה המדורגת קנונית שלה היא <math>I</math>. | <math>A</math> היא מטריצה הפיכה, ולכן הצורה המדורגת קנונית שלה היא <math>I</math>. | ||
− | אם נסמן ב E_1,\ | + | אם נסמן ב <math>E_1, \ldots ,E_5</math> את המטריצות האלמנטריות המתאימות לפעולות הנתונות. אז בעצם |
<math>E_5E_4E_3E_2E_1A=I</math> | <math>E_5E_4E_3E_2E_1A=I</math> | ||
שורה 75: | שורה 75: | ||
<math>A^-1=E_5E_4E_3E_2E_1I</math> | <math>A^-1=E_5E_4E_3E_2E_1I</math> | ||
− | כלומר צריך לבצע את הפעולות האלה על <math>I</math> כדי להגיע ל <math>A^-1</math> | + | כלומר צריך לבצע את הפעולות האלה על <math>I</math> כדי להגיע ל <math>A^{-1}</math> |
לכן קל לחשב ש | לכן קל לחשב ש | ||
− | <math>A^-1=\begin{bmatrix} | + | <math>A^{-1}=\begin{bmatrix} |
0 & 0 & 0 & 0 & 1 \\ | 0 & 0 & 0 & 0 & 1 \\ | ||
שורה 94: | שורה 94: | ||
− | היות ו <math>A^-1=E_5E_4E_3E_2E_1I</math> נקבל ש | + | היות ו <math>A^{-1}=E_5E_4E_3E_2E_1I</math> נקבל ש |
<math>(E_1)^{-1}(E_2)^{-1}(E_3)^{-1}(E_4)^{-1}(E_5)^{-1}A^-1=I</math> | <math>(E_1)^{-1}(E_2)^{-1}(E_3)^{-1}(E_4)^{-1}(E_5)^{-1}A^-1=I</math> | ||
− | כלומר הפעולות שצריך לעשות כדי לדרג את <math>A^-1</math> הן הפעולות שהפוכות לפעולת הכתובות בסדר הפוך כלומר: | + | כלומר הפעולות שצריך לעשות כדי לדרג את <math>A^{-1}</math> הן הפעולות שהפוכות לפעולת הכתובות בסדר הפוך כלומר: |
<math>R_1 \leftrightarrow R_5</math> | <math>R_1 \leftrightarrow R_5</math> | ||
שורה 110: | שורה 110: | ||
<math>R_1 = \frac{1}{2} R_1</math> | <math>R_1 = \frac{1}{2} R_1</math> | ||
− | (זאת כמובן לא הדרך היחידה להביא את <math>A^-1</math> לצורה מדורגת קנונית, אבל זאת הדרך הכי פשוטה.) | + | (זאת כמובן לא הדרך היחידה להביא את <math>A^{-1}</math> לצורה מדורגת קנונית, אבל זאת הדרך הכי פשוטה.) |
+ | |||
+ | |||
+ | ===שאלה 3=== | ||
+ | |||
+ | ====סעיף א==== | ||
+ | |||
+ | הוכחה: יהי <math>\alpha_1 (v_1+v_2) + \alpha_2(v_2+v_3) +\alpha_3 (v_1+v_3) = 0</math> צירוף לינארי מתאפס כלשהוא של הוקטורים שבשאלה. | ||
+ | |||
+ | צריך להוכיח ש <math>\alpha_1=\alpha_2=\alpha_3=0</math>. | ||
+ | |||
+ | קל לראות שהצירוף הלינארי שווה ל | ||
+ | |||
+ | <math>(\alpha_1+\alpha_3) v_1 +(\alpha_1+\alpha_2)v_2+(\alpha_2+\alpha_3)v_3 = 0</math> | ||
+ | |||
+ | היות ו <math>v_1,v_2,v_3</math> בת"ל. נקבל ש | ||
+ | |||
+ | <math>\alpha_1+\alpha_3=\alpha_1+\alpha_2=\alpha_2+\alpha_3=0</math> | ||
+ | |||
+ | זה נותן לנו מערכת משוואות פשוטה. | ||
+ | |||
+ | קל להסיק ממנה ש | ||
+ | |||
+ | <math>\alpha_1=-\alpha_2,\quad \alpha_1=-\alpha_3</math> | ||
+ | |||
+ | אבל בגלל ש <math>\alpha_2+\alpha_3=0</math> | ||
+ | |||
+ | נקבל ש <math>-2\alpha_1=0</math> | ||
+ | |||
+ | בגלל שהמאפיין שונה מ <math>2</math> אפשר לחלק ב <math>2</math> ולקבל | ||
+ | |||
+ | <math>-\alpha_1=0</math> כלומר <math>\alpha_1=0</math> | ||
+ | |||
+ | ומכאן ברור גם <math>\alpha_2=\alpha_3=0</math>. | ||
+ | |||
+ | ====סעיף ב==== | ||
+ | לא נכון. נבחר <math>V=\mathbb{R}^2</math> ו <math>U=span\{(1,0)\}</math> ו <math>W=span\{(0,1)\}</math> | ||
+ | |||
+ | ברור ש <math>(1,0),(0,1)\in U\cup W</math> | ||
+ | |||
+ | אם האיחוד היה מרחב וקטורי הוא היה סגור לחיבור ולכן גם <math>(1,1)\in U\cup W</math> | ||
+ | |||
+ | אבל זה לא נכון. סתירה. | ||
+ | |||
+ | |||
+ | ====סעיף ג==== | ||
+ | |||
+ | לא רק שהטענה לא נכונה. אלא שלכל מערכת לא הומוגנית זה לא נכון. | ||
+ | |||
+ | דוגמא נגדית פשוטה היא המערכת <math>x+y=1</math> מעל <math>\mathbb{R}</math>. | ||
+ | |||
+ | ניקח פתרונות <math>v_1=\begin{bmatrix} 1 \\0 \end{bmatrix}</math> | ||
+ | |||
+ | <math>v_2=\begin{bmatrix} 0 \\1 \end{bmatrix}</math> | ||
+ | |||
+ | סכומם | ||
+ | |||
+ | <math>v_1+v_2=\begin{bmatrix} 1 \\1 \end{bmatrix}</math> | ||
+ | |||
+ | הוא לא פתרון. |
גרסה אחרונה מ־06:49, 16 באוגוסט 2013
שאלה 1
לפי כפל עמודה עמודה קל לראות שמחפשים 3 עמודות
שמקיימות
כך שקיבלנו 3 משוואות, כל אחת בשני נעלמים.
אם נפתור את המשוואה הראשונה
נראה שיש משתנה חופשי אחד (ואין שורות סתירה) ולכן יש פתרונות.
אותה הדבר קורה בשביל שאר המשוואות ולכן בסך הכל יש
פתרונות.
שאלה 2
היא מטריצה הפיכה, ולכן הצורה המדורגת קנונית שלה היא .
אם נסמן ב את המטריצות האלמנטריות המתאימות לפעולות הנתונות. אז בעצם
ולכן
כלומר, אם נבצע את הפעולות ההפוכות בסדר הפוך על , נגיע ל .
הפעולות ההפוכות בסדר הפוך הן:
ולכן קל לחשב ש
היות ו
נקבל ש
כלומר צריך לבצע את הפעולות האלה על כדי להגיע ל
לכן קל לחשב ש
היות ו נקבל ש
כלומר הפעולות שצריך לעשות כדי לדרג את הן הפעולות שהפוכות לפעולת הכתובות בסדר הפוך כלומר:
(זאת כמובן לא הדרך היחידה להביא את לצורה מדורגת קנונית, אבל זאת הדרך הכי פשוטה.)
שאלה 3
סעיף א
הוכחה: יהי צירוף לינארי מתאפס כלשהוא של הוקטורים שבשאלה.
צריך להוכיח ש .
קל לראות שהצירוף הלינארי שווה ל
היות ו בת"ל. נקבל ש
זה נותן לנו מערכת משוואות פשוטה.
קל להסיק ממנה ש
אבל בגלל ש
נקבל ש
בגלל שהמאפיין שונה מ אפשר לחלק ב ולקבל
כלומר
ומכאן ברור גם .
סעיף ב
לא נכון. נבחר ו ו
ברור ש
אם האיחוד היה מרחב וקטורי הוא היה סגור לחיבור ולכן גם
אבל זה לא נכון. סתירה.
סעיף ג
לא רק שהטענה לא נכונה. אלא שלכל מערכת לא הומוגנית זה לא נכון.
דוגמא נגדית פשוטה היא המערכת מעל .
ניקח פתרונות
סכומם
הוא לא פתרון.