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

מתוך Math-Wiki
קפיצה אל: ניווט, חיפוש

חלק א'

שאלה 1

ב. הפרכה:

נניח כי T באמת חד חד ערכית.

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

לפי משפט הדרגה dimKer(T)+dimIm(T)=dimV=n

היות ו dimKer(T)=0.

נקבל כי dimIm(T)=n.

מצד שני, Im(T) \subseteq W ולכן dimIm(T) \leq dim W =m.

קיבלנו ש n=dimIm(T)\leq m

כלומר n \leq m בסתירה לנתון ש n > m.

סתירה.

ולכן T לא יכולה להיות חד חד ערכית.

שאלה 2

ראשית נוכיח כי B בת"ל.

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

(1,1,1,1),(3,4,0,5).

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


\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}

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

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


השלמת B לבסיס:

הואיל ובמטריצה המדורגת שהגענו אליה יש איברים מובילים בעמודות 1,2 למדנו שאפשר להוסיף את (0,0,1,0),(0,0,0,1) כלומר e_i עבור כל עמודה i של משתנה חופשי.

ולכן קיבלנו בסיס 1+x+x^2+x^3,3+4x+5x^2,x^2,x^3.

שימו לב שצריך לנמק למה מוסיפים את x^2,x^3 - מי שסתם כתב שמוסיפים אותם בלי הסבר איבד נקודות.

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

יש איברים מובילים בעמודות 1,2.

יש משתנים חופשיים בעמודות 3,4

אם מוסיפים את e_3,e_4 המטריצה נשארת מדורגת.

אם מוסיפים את e_3,e_4 שורות המטריצה עדיין בלתי תלויות לינארית.


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


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

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

שאלה 3

חלק ב'

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


שאלה 1

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


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

ג' שגוי. כי A0=0 ו 0\in R(A).

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

שאלה 2

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


\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}

קל לראות שאם a\neq 2 יש שלושה איברים מובילים ולכן יש פתרון יחיד

נותר לראות מה קורה במקרה a=2, נציב a=2 ונזכור ש 5=0. נקבל:



\begin{bmatrix}1 & 1 & 2 & | & 2 \\ 0 & 0 & 0 & | & 4 \\ 0 & 0 & 0 & | & 0\end{bmatrix}

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

לכן התשובה היא ד. אין ערך a עבורו למערכת יש 5 פתרונות.


שאלה 3

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


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}

ו


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}

ולכן התשובה הנכונה היא ב. A^2 \neq 0 אבל A^3 = 0.


שאלה 4

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

אם נוסיף איבר ל A, יתקיים ש dimV<|A| ולא ייתכן שהיא תהיה בת"ל.

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

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

ב) ניקח V=\mathbb{R}^2 ו A=\mathbb{R}^2.

ד) כמו א'.


שאלה 5

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

dim(W_1+W_3)=dim(W_1)+dim(W_3)-dim(W_1 \cap W_3) = 2n-1

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

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)


כעת, היות ו (W_1+W_3)\cap W_2 \subseteq W_2 מתקיים ש 0 \leq dim((W_1+W_3)\cap W_2) \leq n

לכן 2n-1\leq dim(W_1+W_2+W_3) \leq 3n-1

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

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

אם v_1 הוא בסיס ל W_1 \cap W_3, אז אפשר להשלים אותו לבסיס עבור W_1+W_3:

\{v_1,v_2, \ldots, v_{2n-1}\}.

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

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

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

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

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

שאלה 6

הטריק פה הוא להבין שהמטריצה A לא הפיכה בעוד שעבור כל בסיס C המטריצה [I]^S_C היא הפיכה.

לכן אין בסיסים C שיקיימו את הדרוש והתשובה היא א'.

שאלה 7

לפי משפט הדרגה


dimKer(T)+dimIm(T)=dimV=4.

מצד שני Im(T)\subseteq W ולכן dimIm(T)\leq dimW=2.

כלומר

4=dimKer(T)+dimIm(T) \leq dimKer(T) +2 ולכן

2\leq dimKer(T)

בנוסף, נשים לב ש T היא העתקת האפס, אם ורק אם dimKer(T)=4, היות ונתון שהיא לא העתקת האפס

dimKer(T) \leq 3.

לכן קיבלנו ש 2\leq dimKer(T)\leq 3.

לכן ג' וד' לא נכונים ונשאר להכריע בין א' לב'.

קל לראות ששתי האפשרויות 2,3 באמת אפשריות.

למשל אם V=\mathbb{R}^4 ו W=\mathbb{R}^2 אז אפשר לקחת

T(x,y,z,w)=(x,0) וכאן dimKer(T)=3

ואם מגדירים T(x,y,z,w)=(x,y) אז dimKer(T)=2.

לכן תשובה ב' נכונה.

שאלה 8

לפי משפט ההגדרה, אם (1,0,0),(0,2,3),(3,2) מהווים בסיס, אז קיימת העתקה יחידה עם התכונות האלה.

כדי לבדוק אם הם בסיס, נשים אותם במטריצה ונדרג (נשים לב שאנחנו עובדים ב \mathbb{Z}_p בלי לדעת מהו p)


\begin{bmatrix} 1& 0 & 0 \\ 0 & 2 & 3 \\ 0 & 3 & 2 \end{bmatrix}
\overset{R_3=R_3-R_2}{\rightarrow}
\begin{bmatrix} 1& 0 & 0 \\ 0 & 2 & 3 \\ 0 & 1 & -1 \end{bmatrix}
\overset{R_2=R_2-2R_3}{\rightarrow}
\begin{bmatrix} 1& 0 & 0 \\ 0 & 0 & 5 \\ 0 & 1 & -1 \end{bmatrix}
\overset{R_2\leftrightarrow R_3}{\rightarrow}
\begin{bmatrix} 1& 0 & 0 \\ 0 & 1 & -1 \\ 0 & 0 & 5 \end{bmatrix}

הגענו לצורה מדורגת.

ניתן לראות שאם p\neq 5 המטריצה ללא שורת אפסים, ולכן שורותיה בת"ל- ולכן הם בסיס ויש רק העתקה אחת עם התכונות האלה.

נותר לבדוק מה קורה אם p=5.

נניח שיש T מוגדרת כנ"ל. נשים לב ש (1,1,3,4,1)=(1,1,-2,4,1)=T(0,2,3)=-T(0,-2,-3)=-T(0,3,2)=(0,-1,0,-3,0)=(0,4,0,2,0)

היות ו (1,1,3,4,1)\neq (0,4,0,2,0) קיבלנו סתירה.

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

שאלה 9

היות ו [I]^{B'}_{B} היא מטריצה הפיכה, כמובן שג' לא נכון.

כמו כן, אם ניקח למשל n=2 V=\mathbb{R}^2 B=\{(1,0),(0,1)\} ו \sigma = (12)

נקבל ש B' = \{(0,1),(1,0)\}


ולכן [I]^{B'}_{B}=\begin{bmatrix} 0 & 1 \\ 1& 0\end{bmatrix}

ואז |[I]^{B'}_{B}|=-1=sgn(\sigma).

לכן, גם ב' לא נכון.

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

נבחר v_i\in B.

האיבר ה k של B' הוא v_{\sigma(k)}.


יש 1\leq k \leq n כך ש \sigma(k)=i ועבורו v_{\sigma(k)}=v_i.


לכן [v_i]_{B'}=e_k או באופן יותר ברור [v_i]_{B'} = e_{\sigma^{-1}(i)}.


לכן C_i([I]^B_{B'})=e_{{\sigma}^{-1}(i)}. (שימו לב שמדובר כאן על [I]^B_{B'} ולא [I]^{B'}_{B}.


כלומר ([I]^B_{B'})_{{\sigma}^{-1}(i),i}=1 ושאר כל האיברים הם 0.


באופן יותר ברור אפשר לכתוב ([I]^B_{B'})_{i,\sigma(i)}=1 ושאר כל האיברים הם 0.


(שימו לב שעבור מטריצה A כלשהיא ותמורה \sigma \in S_n מסוימת, \{A_{i,\sigma(i)} \mid i=1,\ldots ,n\} = \{A_{\sigma^{-1}(i),i} \mid i=1,\ldots ,n\})


לפי הנוסחא של דטרמיננטה

|[I]^B_{B'}|=\displaystyle\sum_{\tau\in S_n}sgn(\tau){[I]^B_{B'}}_{1,\tau(1)}\cdot\ldots \cdot {[I]^B_{B'}}_{n,\tau(n)}

אפשר לראות שהמכפלה מתאפסת חוץ מאשר כש \tau = \sigma ולכן זה שווה ל

sgn(\sigma){[I]^B_{B'}}_{1,\sigma(1)}\cdot\ldots \cdot {[I]^B_{B'}}_{n,\sigma(n)}=sgn(\sigma)

לכן |[I]^B_{B'}|=sgn(\sigma)

ולכן |[I]^{B'}_B|=(|[I]^B_{B'}|)^{-1}=(sgn(\sigma))^{-1}=sgn(\sigma)

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

שאלה 10

זאת שאלת מתנה.

אם A\in \mathbb{F}^{5\times 5} מדרגה 3, זה אומר שהיא לא הפיכה.

לכן |A|=0.

היות ו A\cdot adj(A)= |A|I

נקבל ש A\cdot adj(A)=0.

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