אלגברה לינארית 1 תיכוניסטים קיץ תשעב/פתרון מועד א': הבדלים בין גרסאות בדף

מתוך Math-Wiki
שורה 171: שורה 171:


==שאלה 5==
==שאלה 5==
לפי משפט המימדים
<math>dim(W_1+W_3)=dim(W_1)+dim(W_3)-dim(W_1 \cap W_3) = 2n-1</math>
לכן, שוב לפי משפט המימדים
<math>dim(W_1+W_3+W_2) = dim(W_1+W_3)+dim(W_2)-dim((W_1+W_3)\cap W_2) = 3n-1-dim((W_1+W_3)\cap W_2)</math>
כעת, היות ו <math>(W_1+W_3)\cap W_2 \subseteq W_2</math> מתקיים ש <math>0 \leq dim((W_1+W_3)\cap W_2) \leq n</math>
לכן <math>2n-1\leq dim(W_1+W_2+W_3) \leq 3n-1</math>
שזה כבר פוסל את אפשרויות א'+ב'.
כדי להיות בטוחים שהתשובה היא ג'. צריך להראות שכל אחד מהמספרים האלה אפשרי.
אם <math>v_1</math> הוא בסיס ל <math>W_1 \cap W_3</math>, אז אפשר להשלים אותו לבסיס עבור <math>W_1+W_3</math>:
<math>\{v_1,v_2, \ldots, v_{2n-1}\}</math>.
ואת הבסיס הזה אפשר להשלים לבסיס של <math>V</math> עם עוד <math>8n+1</math> וקטורים <math>\{u_1,\ldots, u_{8n+1}\}</math>.
עבור כל <math>0\leq k\leq 10</math> אפשר לבחור <math>k</math> וקטורים מתוך <math>\{u_1,\ldots, u_{8n+1}\}</math>
ועוד <math>n-k</math> וקטורים מתוך <math>\{v_1,v_2, \ldots, v_{2n-1}\}</math>.
אם נגדיר את <math>W_2</math> בתור המרחב שנפרש על ידי <math>n</math> וקטורים בלתי תלויים אלו. נקבל שהמימד של
<math>W_1+W_2+W_3</math> הוא <math>2n-1+k</math>. לכן באמת כל מספר בתחום אפשרי.
התשובה היא ג'.
==שאלה 6==

גרסה מ־12:04, 5 בספטמבר 2012

חלק א'

שאלה 1

ב. הפרכה:

נניח כי [math]\displaystyle{ T }[/math] באמת חד חד ערכית.

זה אומר כי [math]\displaystyle{ Ker(T)=\{0\} }[/math], ולכן [math]\displaystyle{ dimKer(T)=0 }[/math].

לפי משפט הדרגה [math]\displaystyle{ dimKer(T)+dimIm(T)=dimV=n }[/math]

היות ו [math]\displaystyle{ dimKer(T)=0 }[/math].

נקבל כי [math]\displaystyle{ dimIm(T)=n }[/math].

מצד שני, [math]\displaystyle{ Im(T) \subseteq W }[/math] ולכן [math]\displaystyle{ dimIm(T) \leq dim W =m }[/math].

קיבלנו ש [math]\displaystyle{ n=dimIm(T)\leq m }[/math]

כלומר [math]\displaystyle{ n \leq m }[/math] בסתירה לנתון ש [math]\displaystyle{ n \gt m }[/math].

סתירה.

ולכן [math]\displaystyle{ T }[/math] לא יכולה להיות חד חד ערכית.

שאלה 2

ראשית נוכיח כי [math]\displaystyle{ B }[/math] בת"ל.

נייצג את איברי [math]\displaystyle{ B }[/math] בתור וקטורי קוארדינטות ב [math]\displaystyle{ \mathbb{R}^4 }[/math] לפי הבסיס הסטנדרטי ונקבל

[math]\displaystyle{ (1,1,1,1),(3,4,0,5) }[/math].

נשים וקטורים אלו בשורות מטריצה ונדרג אותה כדי לוודא שהם בלתי תלויים.


[math]\displaystyle{ \begin{bmatrix} 1 & 1 & 1 & 1 \\ 3 & 4 & 0 & 5 \end{bmatrix} \overset{R_2=R_2-3R_1} {\rightarrow} \begin{bmatrix} 1 & 1 & 1 & 1 \\ 0 & 1 & -3 & 2 \end{bmatrix} }[/math]

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

(הערה: מי שהראה שכל צירוף [math]\displaystyle{ \alpha (1+x+x^2+x^3) + \beta(3+4x+5x^3)=0 }[/math] מחייב ש [math]\displaystyle{ \alpha=\beta=0 }[/math]. זאת גם תשובה טובה. וגם מי שהראה שאין [math]\displaystyle{ \alpha }[/math] כך ש [math]\displaystyle{ \alpha(1+x+x^2+x^3)=3+4x+5x^3 }[/math] זו גם תשובה נכונה).


השלמת [math]\displaystyle{ B }[/math] לבסיס:

הואיל ובמטריצה המדורגת שהגענו אליה יש איברים מובילים בעמודות [math]\displaystyle{ 1,2 }[/math] למדנו שאפשר להוסיף את [math]\displaystyle{ (0,0,1,0),(0,0,0,1) }[/math] כלומר [math]\displaystyle{ e_i }[/math] עבור כל עמודה [math]\displaystyle{ i }[/math] של משתנה חופשי.

ולכן קיבלנו בסיס [math]\displaystyle{ 1+x+x^2+x^3,3+4x+5x^2,x^2,x^3 }[/math].

שימו לב שצריך לנמק למה מוסיפים את [math]\displaystyle{ x^2,x^3 }[/math] - מי שסתם כתב שמוסיפים אותם בלי הסבר איבד נקודות.

הסברים מקובלים:

יש איברים מובילים בעמודות [math]\displaystyle{ 1,2 }[/math].

יש משתנים חופשיים בעמודות [math]\displaystyle{ 3,4 }[/math]

אם מוסיפים את [math]\displaystyle{ e_3,e_4 }[/math] המטריצה נשארת מדורגת.

אם מוסיפים את [math]\displaystyle{ e_3,e_4 }[/math] שורות המטריצה עדיין בלתי תלויות לינארית.


או משהו בסגנון.


יש סטודנטים שהמציאו שני וקטורים כלשהם (לאו דווקא [math]\displaystyle{ x^2,x^3 }[/math]) והראו שהקבוצה הנוצרת היא בת"ל/ פורשת ולכן לפי השלישי חינם היא בסיס. יש סטודנטים שהמציאו שני וקטורים והוכיחו שהקבוצה הנוצרת בת"ל+ פורשת (שזה מיותר כי אפשר להשתמש בשלישי חינם) גם התשובות האלה התקבלו, אמנם זה מייגע, אבל זה נכון.

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

שאלה 3

חלק ב'

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


שאלה 1

קל להוכיח שלמערכת [math]\displaystyle{ Ax=b }[/math] יש פתרון [math]\displaystyle{ \Leftrightarrow }[/math] [math]\displaystyle{ b \in C(A) }[/math]. ולכן א' וב' הם לא התשובה.


אם [math]\displaystyle{ N(A)=C(A) }[/math] מתקיים גם [math]\displaystyle{ dimN(A)=dimC(A) }[/math] והיות ו [math]\displaystyle{ dimN(A)+dimC(A)=n }[/math] נקבל כי [math]\displaystyle{ n }[/math] חייב להיות מספר זוגי ולכן [math]\displaystyle{ |-A|=(-1)^n|A|=|A| }[/math]. לכן גם ד' היא טענה נכונה.

ג' שגוי. כי [math]\displaystyle{ A0=0 }[/math] ו [math]\displaystyle{ 0\in R(A) }[/math].

לכן התשובה היא ג'.

שאלה 2

המטריצה שמייצגת את מערכת המשוואות היא

[math]\displaystyle{ \begin{bmatrix}1 & 1 & a & | & 2 \\ -a & -2 & 1 & | & 0 \\ 1 & 1 & 2 & | & a\end{bmatrix} \overset{R_2=R_2+aR_1}{\rightarrow} \begin{bmatrix}1 & 1 & a & | & 2 \\ 0 & -2+a & 1+a^2 & | & 2a \\ 1 & 1 & 2 & | & a\end{bmatrix} \overset{R_3=R_3-R_1}{\rightarrow} \begin{bmatrix}1 & 1 & a & | & 2 \\ 0 & -2+a & 1+a^2 & | & 2a \\ 0 & 0 & 2-a & | & a-2\end{bmatrix} }[/math]

קל לראות שאם [math]\displaystyle{ a\neq 2 }[/math] יש שלושה איברים מובילים ולכן יש פתרון יחיד

נותר לראות מה קורה במקרה [math]\displaystyle{ a=2 }[/math], נציב [math]\displaystyle{ a=2 }[/math] ונזכור ש [math]\displaystyle{ 5=0 }[/math]. נקבל:


[math]\displaystyle{ \begin{bmatrix}1 & 1 & 2 & | & 2 \\ 0 & 0 & 0 & | & 4 \\ 0 & 0 & 0 & | & 0\end{bmatrix} }[/math]

השורה השנייה היא שורת סתירה ולכן אין פתרון

לכן התשובה היא ד. אין ערך [math]\displaystyle{ a }[/math] עבורו למערכת יש [math]\displaystyle{ 5 }[/math] פתרונות.


שאלה 3

חישוב פשוט מראה ש

[math]\displaystyle{ A^2 = \begin{bmatrix} 1 & -4 & 3 \\ 1 & -3 & 2 \\ 1 & -3 & 2\end{bmatrix} \begin{bmatrix} 1 & -4 & 3 \\ 1 & -3 & 2 \\ 1 & -3 & 2\end{bmatrix} = \begin{bmatrix} 0 & -1 & 1 \\ 0 & -1 & 1 \\ 0 & -1 & 1\end{bmatrix} }[/math]

ו

[math]\displaystyle{ A^3 = \begin{bmatrix} 1 & -4 & 3 \\ 1 & -3 & 2 \\ 1 & -3 & 2\end{bmatrix} \begin{bmatrix} 0 & -1 & 1 \\ 0 & -1 & 1 \\ 0 & -1 & 1\end{bmatrix} = \begin{bmatrix} 0 & 0 & 0 \\ 0 & 0 & 0 \\ 0 & 0 & 0\end{bmatrix} }[/math]

ולכן התשובה הנכונה היא ב. [math]\displaystyle{ A^2 \neq 0 }[/math] אבל [math]\displaystyle{ A^3 = 0 }[/math].


שאלה 4

התשובה היא כמובן ג', קבוצה פורשת היא מגודל של לפחות [math]\displaystyle{ dimV }[/math] וקבוצה בלתי תלויה לינארית היא מגודל לכל היותר [math]\displaystyle{ dimV }[/math].

אם נוסיף איבר ל [math]\displaystyle{ A }[/math], יתקיים ש [math]\displaystyle{ dimV\lt |A| }[/math] ולא ייתכן שהיא תהיה בת"ל.

קל גם למצוא דוגמאות נגדיות לאפשרויות האחרות.

א) ניקח [math]\displaystyle{ V=\mathbb{R}^2 }[/math] ו [math]\displaystyle{ A=\{(1,0),(0,1)\} }[/math].

ב) ניקח [math]\displaystyle{ V=\mathbb{R}^2 }[/math] ו [math]\displaystyle{ A=\mathbb{R}^2 }[/math].

ד) כמו א'.


שאלה 5

לפי משפט המימדים

[math]\displaystyle{ dim(W_1+W_3)=dim(W_1)+dim(W_3)-dim(W_1 \cap W_3) = 2n-1 }[/math]

לכן, שוב לפי משפט המימדים

[math]\displaystyle{ dim(W_1+W_3+W_2) = dim(W_1+W_3)+dim(W_2)-dim((W_1+W_3)\cap W_2) = 3n-1-dim((W_1+W_3)\cap W_2) }[/math]


כעת, היות ו [math]\displaystyle{ (W_1+W_3)\cap W_2 \subseteq W_2 }[/math] מתקיים ש [math]\displaystyle{ 0 \leq dim((W_1+W_3)\cap W_2) \leq n }[/math]

לכן [math]\displaystyle{ 2n-1\leq dim(W_1+W_2+W_3) \leq 3n-1 }[/math]

שזה כבר פוסל את אפשרויות א'+ב'.

כדי להיות בטוחים שהתשובה היא ג'. צריך להראות שכל אחד מהמספרים האלה אפשרי.

אם [math]\displaystyle{ v_1 }[/math] הוא בסיס ל [math]\displaystyle{ W_1 \cap W_3 }[/math], אז אפשר להשלים אותו לבסיס עבור [math]\displaystyle{ W_1+W_3 }[/math]:

[math]\displaystyle{ \{v_1,v_2, \ldots, v_{2n-1}\} }[/math].

ואת הבסיס הזה אפשר להשלים לבסיס של [math]\displaystyle{ V }[/math] עם עוד [math]\displaystyle{ 8n+1 }[/math] וקטורים [math]\displaystyle{ \{u_1,\ldots, u_{8n+1}\} }[/math].

עבור כל [math]\displaystyle{ 0\leq k\leq 10 }[/math] אפשר לבחור [math]\displaystyle{ k }[/math] וקטורים מתוך [math]\displaystyle{ \{u_1,\ldots, u_{8n+1}\} }[/math]

ועוד [math]\displaystyle{ n-k }[/math] וקטורים מתוך [math]\displaystyle{ \{v_1,v_2, \ldots, v_{2n-1}\} }[/math].

אם נגדיר את [math]\displaystyle{ W_2 }[/math] בתור המרחב שנפרש על ידי [math]\displaystyle{ n }[/math] וקטורים בלתי תלויים אלו. נקבל שהמימד של [math]\displaystyle{ W_1+W_2+W_3 }[/math] הוא [math]\displaystyle{ 2n-1+k }[/math]. לכן באמת כל מספר בתחום אפשרי.

התשובה היא ג'.

שאלה 6