שיחה:88-113 לינארית 2 סמסטר א תשעב

מתוך Math-Wiki

חזרה לדף הקורס


גלול לתחתית העמוד


הוספת שאלה חדשה

הוסף שאלה חדשה (רשום כותרת לשאלה, רשום את תוכן השאלה ולחץ על שמירה למטה מימין לסיום).

-עזרה על עיצוב הטקסט וכתיב מתמטי תוכלו למצוא כאן

אם אתם רוצים לשאול שאלה עליכם ליצור חשבון משתמש באתר.

שאלות

שיעורי בית

איפה אפשר לראות את שיעורי הבית  ?

בדף התרגילים, כמובן (: --ארז שיינר

תודה !

ריבוי של ע"ע

איך מוכיחים שריבוי אלגברי של ע"ע גדול מהריבוי הגיאומטרי שלו? (רמז יהיה נחמד)

אה, נניח שהריבוי הגיאומטרי של ע"ע a הוא r, אזי קיימים r וקטורים בת"ל ששייכים למרחב העצמי של a. נשלים אותם לבסיס B של המרחב שלנו. הפולינום האופייני של מטר' דומות זהה. נסתכל על המטר' (או הע"ל) שלנו לפי בסיס B, יהיה לנו את השורש a לפחות r פעמים, זה נובע מדטרמיננטה של מטריצת בלוקים (ב r עמודות יהיו לנו וקטורים מהצורה a*ei)

ליכסון מטריצה

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

זה נכון גם עבור מטריצה?

זו הייתה ההוכחה הראשונה בהרצאה ביום שלישי O_O

דבר ראשון, קל לראות באמצעות מטריצות מייצגות שההבדל בין העתקות לינאריות למטריצות הוא זניח. שנית, אין דבר כזה "איבר עצמי" אם הכוונה שלך היא לע"ע אז המשפט שאמרת לא נכון - לדוגמא אופרטור הזהות. אם התכוונת לו"ע המשפט גם לא נכון, הרי קיימים אינסוף ו"ע (על ידי כפל בקבועים). ניתן לדבר על סכום מימדי המרחבים העצמיים שצריך להיות שווה לN ואז יהיה משפט נכון (גם עבור מטריצות). --ארז שיינר

ליכסון

בהרצאה הוכחנו שהמטריצה היחידה שניתנת לליכסון למטריצת היחידה היא מטריצת היחידה , האם זה אומר שמטריצת היחידה לכסינה או שלא ?

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

תרגיל 1 שאלה 1

מה הפירוש של לטרנספורמציה אין ערכים עצמיים שונים - 0 ערכים עצמיים או ערך עצמי אחד?

כן, או שאין ערכים עצמיים או שיש אחד.

תרגיל 1 שאלה 5

אפשר רמז או הדרכה לפתרון ?

מתי מעלים את תרגיל 2 ?

? מצטרף לשאלה


מצטרף לשאלה.

שאלה

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

תרגיל 2

מתי מעלים את תרגיל 2?

,תרגילים 2 ו1

מה זה ריבוב? למדנו על ריבוי

זה אותו דבר, ריבוב אלגברי = ריבוי אלגברי, ריבוב גיאומטרי = ריבוי גיאומטרי

מערכי תרגול

האם תוכלו בבקשה להוסיף מערכי תרגול גם ללינארית?

תשובות לשיעורי הבית

למה לא העלו את הפתרון לתרגיל 5 בשיעורי בית 5? התרגיל היחידי הבעייתי...

מותר בבוחן להשתמש בהגדרה השנייה של פ"א בלי הסבר?

(נוחה יותר כשהכל חיובי)

אפשר אולגריתם לשילוש מטריצה?

תודה

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

טעות בפתרון תרגיל 2 שאלה 4

הוציאו קצת לפני סוף הפירוק לגורמים לינארים להוציא (1+ג) {ג=למדה} עשו את הפעולה אך כתבו כאילו הוציאו (1-ג) ואז נוצר ערך עצמי מיותר הפולינום האופייני היה (1+ג)(1-ג)(ג-8) במקום (ג-8)2^(1+ג)

נוסחא לחישוב דטרמיננטה של מטריצה 3*3

הדטרמיננטה של המטריצה [math]\displaystyle{ \begin{pmatrix} a & b & c \\ d & e & f \\ g & h & i \end{pmatrix} }[/math]

היא: a*e*i+b*f*g+c*d*h-c*e*g-b*d*i-a*f*h

הבודק :)

תרגיל 4 שאלה 1

בסעיף א', הכוונה לע"ע של A, נכון? לא למדנו ע"ע של סקלרים ;)

אני חושבת שהכוונה היא ל A^k

מה זה מרחב -אינווריאנטי

והאם הוא יכול להיות שאחד הבסיסים בו ישלח ל0 תודה

אפשר בבקשה להלעות אלגוריתם לג'רדון מטריצה?

תודה

הודעה חשובה מהבודק

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

סטודנט שיגיש ש"ב מלאים קשקושים, מחיקות, וטיוטות, עבודתו לא תבדק.

תודה, הבודק

צורת ג'ורדן של מטריצה/העתקה לינארית

יכול להיות שצורת ג'ורדן של מטריצה/העתקה לינארית לא תהיה בלוק ג'ורדן? שאלה 2 בשאלות האמריקאיות במבחן הזה http://u.cs.biu.ac.il/~tsaban/Pdf/lin2b62ts.pdf

(לא מתרגל) כל הצורות המוצגות כאופציות הן צורות ג'ורדן.

טעות נפוצה בשיעורי הבית

במהלך תרגיל 4, הופיעה במספר תרגילים הטענה: [math]\displaystyle{ x }[/math] ע"ע של [math]\displaystyle{ A }[/math] אמ"מ [math]\displaystyle{ x^k }[/math] ע"ע של [math]\displaystyle{ A^k }[/math]. מעל שדה [math]\displaystyle{ F^{n*n} }[/math]

הראתם בתרגיל 2 את הכיוון שמאל גורר ימין.

הכיוון השני לאו דווקא נכון, ותלוי בשדה!

יתכן כי [math]\displaystyle{ x^k }[/math] יהיה בשדה אך [math]\displaystyle{ x }[/math] לא יהיה וכתוצאה מזה הוא לא יהיה ע"ע של [math]\displaystyle{ A }[/math] בשדה הנ"ל.

לדוגמא,

[math]\displaystyle{ A = \begin{pmatrix} 0 & 1 \\ -1 & 0 \end{pmatrix} }[/math] עם ע"ע [math]\displaystyle{ x=\pm i }[/math]


[math]\displaystyle{ A^2 = \begin{pmatrix} -1 & 0 \\ 0 & -1 \end{pmatrix} }[/math] עם ע"ע [math]\displaystyle{ x=-1 }[/math]

גם [math]\displaystyle{ A }[/math] וגם [math]\displaystyle{ A^2 }[/math] נמצאים ב[math]\displaystyle{ R^{2*2} }[/math] וכן [math]\displaystyle{ x^2 }[/math] נמצא ב[math]\displaystyle{ R }[/math].

אבל, [math]\displaystyle{ x }[/math] לא נמצא ב[math]\displaystyle{ R }[/math] ולכן הוא אינו ע"ע של [math]\displaystyle{ A }[/math] שם.

ולכן, לא ניתן להשתמש בטענה זו בתרגיל 4 שאלה 1 שכן אין אנו יודעים דבר על השדה [math]\displaystyle{ F }[/math] הנתון.

הבודק.


יהי [math]\displaystyle{ \alpha }[/math] ע"ע של A אזי [math]\displaystyle{ \alpha ^{k} }[/math] ע"ע של [math]\displaystyle{ A^{k} = 0 }[/math] ולכן [math]\displaystyle{ \alpha ^ {k} = 0 }[/math] כי 0 הוא הע"ע היחיד של מטריצת האפס... ולכן [math]\displaystyle{ \alpha = 0 }[/math] וזה הכיוון הראשון.
[A חייבת להיות לא הפיכה, אחרת [math]\displaystyle{ A^{k} }[/math] הפיכה, ובהכרח שונה מ 0, סתירה. לכן קיים צ"ל שמאפס את העמודות של A, ז"א שקיים וקטור v עבורו [math]\displaystyle{ Av=0 }[/math] וזה אומר ש 0 אכן ע"ע].
ההוכחה הזו תקפה?


ההוכחה הזו אכן תקפה

הוכחה לאי שוויון המשולש

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

אז חשבתי על הוכחה אלמנטרית ביותר להוכחת אי-שוויון המשולש: יהיו u,v וקטורים במרחב מכפלה פנימית. נסמן [math]\displaystyle{ |v| }[/math] אורך של וקטור v (כדי לקצר את הכתיבה):

[math]\displaystyle{ 0 \leqslant \lt \frac{u}{|u|}-\frac{v}{|v|}, \frac{u}{|u|}-\frac{v}{|v|}\gt = 1+1 - \frac{\lt u,v\gt }{|u||v|} - \frac{\lt v,u\gt }{|u||v|} }[/math]

[math]\displaystyle{ \Rightarrow \lt u,v\gt + \lt v,u\gt \leqslant 2|u||v| \Rightarrow \lt u,u\gt +\lt u,v\gt + \lt v,u\gt + \lt v,v\gt \leqslant \lt u,u\gt + 2|u||v| + \lt v,v\gt \Rightarrow \lt u+v,u+v\gt \leqslant (|u|+|v|)^{2} \Rightarrow |u+v| \leqslant |u| + |v| }[/math]

קראתי את התרגול ואני לא מבין איך מג'רדנים מטריצה!! אפשר הסבר טווב ומפורט בבקשה? תודה

מה אתה נדחף לפה? תפתח שאלה חדשה. [אגב, תקרא את הסיכום של ד"ר בועז]

(איפה כאן הוכחת את קושי-שוורץ? )

איך מוכיחים את השוויון שבפתרון תרגיל 6?

שאלה 2ג: [math]\displaystyle{ [T]^K=[T^k] }[/math]

יהיו S,H הע"ל שהתחום של S הוא הטווח של H אזי [math]\displaystyle{ [S][H]=[SH] }[/math] ואינדוקציה

נחמד.

דרך אחרת היא להראות שלכל פול' [math]\displaystyle{ P }[/math] מתקיים [math]\displaystyle{ P[T]_B=[P(T)]_B }[/math] ובפרט עבור P=t^k. (נכון?)

איך אתה מוכיח את זה?
באמצעות מה שניסיתי להוכיח ._.

הנחה שגויה נוספת בתרגיל 4

בתרגיל 4, הרבה מכם הניחו שאם [math]\displaystyle{ A }[/math] נילפוטנטית אז [math]\displaystyle{ A }[/math] היא מטריצה משולשית עם 0 על האלכסון.

הנחה זו שגויה!.

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

לדוגמא, [math]\displaystyle{ A = \begin{pmatrix} 6 & -9 \\ 4 & -6 \end{pmatrix} }[/math] היא נילפוטנטית מסדר 2 (בדקו זאת!) והיא לא בעלת אפסים על האלכסון.

הבודק.

הם כנראה התכוונו לכך ש-A דומה למשולשית כזאת, שזה כמובן נכון.
אם כן, היה צורך לציין זאת או להוכיח את זה. בכל המקרים הנחה זו צוינה כעובדה, ללא נימוק, או הוכחה כלשהי.

הבוחן

על איזה תריגילים הבוחן באינפי וו בלינארית ??

ציטוט מנתניהו בהשלמה להרצאה

מתי הוא אמר את זה?

"נסיים בציטוט שלא היה". קרא היטב. --עמנואל

חחחחחחח באמת חשבת שנתניהו אמר את זה?? :)

לא הבנתי את חלק מפתרון תר' 6

תשובה 3C - מה עשו שם עם חישוב חזקות? (למה מותר? האם הכוונה ב"בסיס סטנ'" היא לבסיס הסטנ' של מרחב העמודות, שאנחנו אמורים להבין שהוא אוסף העמודות עצמן?)

תשובה 6 - איפה הוכיחו שקיום גורר [math]\displaystyle{ M^2=0 }[/math]?

[math]\displaystyle{ M=AB, BA = 0 }[/math]
ולכן [math]\displaystyle{ M^{2}=ABAB = A0B = 0 }[/math] כי כבר הוכחנו שיש אסוציאטיביות בכפל מטר'

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

כן [ואתה לא משתמש במונחים נכון]


האם כשיש לי שאלה חדשה, אני צריך לכתוב אותה בנושא חדש במקום סתם לשים בשאלה האחרונה? אתם פשוט לא לומדים =.= (לא שזה משנה כאן, כי המתרגלים במילא לא מסתכלים על הדף הזה.)

תפתח שאלה חדשה י'מעצבן... [בא לי למחוק את השאלה שלך]

אוסף בעיות שניתקלתי בהן ולא הצלחתי לפתור

-תהיינה [math]\displaystyle{ N1 }[/math],[math]\displaystyle{ N2 }[/math] מטריצות מסדר 3x3 (מעל אותו שדה, כמובן). צריך להוכיח: המטריצות דומות אמ"ם יש להן אותו פולינום מינימאלי.

-השתמש בתוצאה של התרגיל הקודם כדי להוכיח את המשפטון הבא: תהיינה A,B מטריצות מסדר [math]\displaystyle{ nxn }[/math] מעל אותו שדה בעלות אותו פ"א [math]\displaystyle{ f(X)=(X-\lambda_1)^{a_1}...(X-\lambda_k)^{a_k} }[/math] ואותו פולינום מינימאלי. הוכח: אם אף [math]\displaystyle{ a_i }[/math] אינו גדול מ3 אז, A דומה לB.

-אם A מט' מסדר nxn בעלת פ"א [math]\displaystyle{ f(X)=(X-\lambda_1)^{a_1}...(X-\lambda_k)^{a_k} }[/math] מהו [math]\displaystyle{ tr(A) }[/math]?

הוכחנו טענה על מקדמי הפ״א. דרך קלה יותר היא לזכור שtr של מטריצות דומות הוא זהה, ולכן מספיק לחשב עבור צורת ז׳ורדן, לפי המשפט על המעריכים בפ״א.

- תהיינה A,B מט' נילפוטנטיות מסדר 6x6 בעלות אותו פולינום מינימאלי ואותו מרחב אפס. צריך להוכיח שהן דומות ושהדבר לא נכון עבור מטריצות נילפוטנטיות מסדר 7x7.

- השתמש בפתרון של התרגיל הקודם כדי להוכיח את המשפטון הבא: A,B מטריצות מסדר nxn בעלות אותו פ"א [math]\displaystyle{ f(X)=(X-\lambda_1)^{a_1}...(X-\lambda_k)^{a_k} }[/math] ופולינום מינימאלי. נניח גם שלכל i הממידים של מרחבי האפס של המטריצות [math]\displaystyle{ (A-c_iI) }[/math] ,[math]\displaystyle{ (B-c_iI) }[/math] שווים. אם אף [math]\displaystyle{ d_i }[/math] אינו גדול מ6, אז A ו-B דומות.

-יהי [math]\displaystyle{ n\geq2 }[/math] טבעי ותהי מט' A מסדר nxn ונילפוטנטית מסדר n (כלומר [math]\displaystyle{ A^n=0 }[/math] אבל [math]\displaystyle{ A^{n-1}\neq0 }[/math]). הוכח שאין מטריצה B מסדר nxn המקיימת [math]\displaystyle{ B^2=A }[/math].

B^2n=0 אבל B^(2n-2) != 0 הוכחנו כבר שאינדקס נילפוטנטיות של מטר' קטן או שווה ל n, משמע נקבל 2n-1<=n ולכן n<=1 בסתירה לנתון.

כמה שאלות:

1. בפיתרון של תרגיל 6 שאלה 7 השתמשו במשפט "מספר בלוקי ג'ורדן מגודל 3 הוא [math]\displaystyle{ \rho (A^2) - 2 \rho (A^3) + \rho (A^4) }[/math] ". מתי למדנו את המשפט הזה? מותר להשתמש בו? אם לא, איך כן פותרים את התרגיל הזה?

2. אם נתון לי ש- [math]\displaystyle{ A = A_1\oplus A_2\oplus ... \oplus A_k }[/math], אז אני יכול לומר ש- [math]\displaystyle{ A^s = A_1^s\oplus A_2^s\oplus ... \oplus A_k^s }[/math] ?

3. אם מבקשים ממני לשלש מטריצה, אני יכול להעביר לצורת ג'ורדן (כי הרי היא משולשית)?

1) בקבוצה של יפית למדנו את זה
2) זה נובע ישירות מכפל מטריצת בלוקים באינדוקציה.

מטריצה משלשת ומג'רדנת

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

מה זה בעצם בסיס סטנדרטי?

1) מה מייחד את הבסיסים הסטנדרטיים מסתם בא״נ?

2) איך מגדירים במדוייק בסיס סטנ׳?

3) האם לכל מרחב וקטורי קיים בסיס סטנ׳?