לינארית 2 לתיכוניסטים תש"ע: הבדלים בין גרסאות בדף
(←תשובה) |
(←שאלה) |
||
שורה 88: | שורה 88: | ||
==שאלה== | ==שאלה== | ||
בהוכחה של משפט אוילר כתוב שאם ההצגה של T אורתוגונלי לפי בא"נ B במרחב ממימד 2 היא Ref a, ניתן לשנות את הבסיס ככה שזה ייצא מטריצה שיש בה במקום 11 מינוס אחת, במקום 22 אחת ובשאר אפסים. איך משנים את הבסיס כדי שייצא ככה? | בהוכחה של משפט אוילר כתוב שאם ההצגה של T אורתוגונלי לפי בא"נ B במרחב ממימד 2 היא Ref a, ניתן לשנות את הבסיס ככה שזה ייצא מטריצה שיש בה במקום 11 מינוס אחת, במקום 22 אחת ובשאר אפסים. איך משנים את הבסיס כדי שייצא ככה? | ||
===תשובה=== | |||
ניקח אופרטור שיקוף לפי ישר מסוים. מה האופרטור עושה לוקטור שנמצא על הישר? כלום, משאיר אותו כמו שהוא. מה האופרטור עושה לוקטור המאונך לישר? הופך אותו לצד השני, כלומר מחזיר את מינוס הוקטור. לכן ניקח את הבסיס שהוא וקטור על הישר שלפיו משקפים ווקטור מאונך לו. זה תמיד יהיה בסיס (למה?). | |||
זה הסבר ל2 על 2. אבל למדנו שכל אופרטור א"ג הוא סכום ישר של אופרטורים על מרחבי 2 על 2. |
גרסה מ־20:51, 30 בינואר 2010
- [math]\displaystyle{ \begin{bmatrix} \lambda & 0 & 0 \\ 0 &\lambda & 0 \\ 0 & 0 & \lambda \end{bmatrix} }[/math]
הוראות
כאן המקום לשאול שאלות. כל שעליכם לעשות הוא ללחוץ על [עריכה] (משמאל לכותרת "שאלות"), להוסיף בתחתית הדף את השורה הבאה:
== כותרת שאלה ==
לכתוב מתחתיה את השאלה שלכם, וללחוץ על 'שמירה'.
(אין צורך להרשם לאתר. רק לעקוב אחרי ההוראות הפשוטות...)
ארכיון
ארכיון 1 - שאלות על תרגילים 1-4
ארכיון 2 - שאלות על תרגילים 5-8
ארכיון 3 - שאלות על תרגילים 10-11
ארכיון 4 - שאלות על תרגיל 12 והמבחן
ארכיון 5 - שאלות על המבחן
שאלות
שאלה
אפשר בבקשה לצרף את משפט הליכסון? ההוכחה שלו לא הייתה בצורה מלאה במחברת... תודה!
תשובה
אתם צריכים להיות מסוגלים להוכיח את זה לבד. הרי המשפט אומר שמטריצה לכסינה אם"ם יש בסיס למרחב כולו המורכב מו"ע שלה. קל מאד להוכיח שזה נכון אם"ם קיימת P הפיכה כך שAP=PD כאשר D אלכסונית.
- לא נראה לי שהוא התכוון לזה.. לפי דעתי הוא התכוון למשפט עם התכונות השקולות (ר"ג=ר"א, וכו').
- תצטרכו לנסח אותו במדיוק. אם הריבוי הגיאומטרי שווה לאלגברי ברור שיש בסיס המורכב מוקטורים עצמיים, כי ידוע שו"ע של ע"ע שונים הם בת"ל. בכיוון ההפוך, אם הריבוי הגיאומטרי קטן ממש מהאלגברי אז ברור שאין בסיס המורכב מו"ע משיקולי מימדים.
שאלה
בשינוי בסיס של מכפלה פנימית אמרו ש-C היא מטריצת המעבר מבסיס B ל-B1 אבל למעשה אנו מסתכלים על הוקטורים כוקטורי שורה ולא עמודה. למעשה מדובר במטריצת המעבר המשוחלפת?
לכסון ושילוש - אורתוגונלי ואוניטרי
מה בדיוק המטרה של יצירת כינוי חדש לפעולה מעל R? איך הידיעה על כך שהלכסון/שילוש שביצענו היא מעל R יכולה לעזור לנו?
בלכסון אני יכול להבין שקל יותר לעבוד איתה כי יש לה פחות דרישות (מעצם העובדה שב-R אין מרוכבים), אבל בשילוש יש דווקא יותר דרישות עבור המקרה הפרטי של R, אז למה שמישהו ירצה לשלש אורתוגונלית כשהוא צריך לבדוק שהפולינום האופייני מל"ל מעל R, אם הוא יכול פשוט לשלש אוניטרית בלי לבדוק תנאים מקדימים?
תשובה
לפעמים אנחנו פשוט מעל R ולא מעניינים אותנו המרוכבים, למשל בכל מה שקשור לזויות והיטלים. ההבדל העיקרי הוא, שהמטריצה המלכסנת/משלשת מכילה ערכים מרוכבים, ולפעמים אנחנו לא מעוניינים בזה.
זה כמו שיש מטריצות שהן לא לכסינות מעל הממשיים אבל כן מעל המרוכבים, ויש מטריצות שאינן לכסינות כלל.
שאלה
כיצד מוכיחים שלמטריצות דומות אותם פולינומים מינימליים?
תשובה
בקלות: [math]\displaystyle{ f_A=|A-xI|=|P^{-1}BP-xI|=|P^{-1}BP-xP^{-1}P|= |P^{-1}||B-xI||P|=|B-xI|=f_B }[/math]
- זו ההוכחה לפולינומים אופיינים. כדי להוכיח פולינומים מינימליים, תראה שעבור כל פולינום שמאפס את A, הוא מאפס גם את B וההפך. זה מראה לך בוודאות שהפולינום המינימליים שווים.
- צודק, טעות שלי. עשינו אבל את ההוכחה הזו עשינו בתרגיל באמת (כמו שרשמת מראים שיש אותם פולינומים מאפסים)
שאלה
האם אופרטור שומר מרחקים הוא בהכרח אוניטרי?
- איפה הטעות שלי?
נניח Length Tv = Length v (אני כותב LENGTH במקום נורמה כי אני לא יודע לכתוב מתמטית חח) אזי vxv=TvxTv כשהמכפלה זה המכפלה הפנימית. כלומר Tv-vxTv-v=0 לכן בהכרח Tv=v ולכן בהכרח T=I
תשובה
קודם כל, אונטרי זה לא I, אלא T אוניטרי אם TT*=I.
שנית, אסור לעשות את מה שרשמת עם מכפלה פנימית. [math]\displaystyle{ \lt Tv,Tv\gt -\lt v,v\gt \neq \lt Tv-v,Tv-v\gt }[/math]. הכלל הנכון הינו [math]\displaystyle{ \lt v,u\gt -\lt w,u\gt =\lt v-w,u\gt }[/math]
שלישית, למדנו בתרגיל שאופרטור הוא אוניטרי אם"ם שומר אורכים אם"ם שומר מכפלה פנימית. ואם זה לא מספיק, ההוכחה שאופרטור ששומר אורכים שומר מכפלה פנימית נמצאת באתר בעמוד הראשי.
- השאלה שלי הייתה אם אופרטור שומר מרחקים הוא בהכרח אוניטרי. לא נורמות ולא מ"פ. מרחקים.
- ומה ההבדל בין שמירת נורמה לשמירת מרחקים? איך מודדים מרחק? אתה בעצמך רשמת נורמה בשאלה...
- אני כתבתי רק את השאלה המקורית, לא את שתי השורות שמתחתיה. מרחק זה הנורמה של הפרש הוקטורים.
- ומה ההבדל בין שמירת נורמה לשמירת מרחקים? איך מודדים מרחק? אתה בעצמך רשמת נורמה בשאלה...
- השאלה שלי הייתה אם אופרטור שומר מרחקים הוא בהכרח אוניטרי. לא נורמות ולא מ"פ. מרחקים.
החזרת תרגילים
ארז - ביום שני הקרוב (מחרתיים) יש לנו שיעור חזרה, ועדיין לא קבלתי את כל התרגילים בחזרה וחשוב לי לראות מה עשיתי - האם הם כבר נבדקו? ולגבי אלה שנבדקו, מאיפה אפשר לאסוף אותם?
תשובה
אם הם יחזרו אלינו אנחנו נחזיר אותם ביום שני. בכל מקרה אני ממליץ לקרוא את הפתרונות שיש באתר (בלי שום קשר לתרגילים)
שאלה
בהוכחה של משפט אוילר כתוב שאם ההצגה של T אורתוגונלי לפי בא"נ B במרחב ממימד 2 היא Ref a, ניתן לשנות את הבסיס ככה שזה ייצא מטריצה שיש בה במקום 11 מינוס אחת, במקום 22 אחת ובשאר אפסים. איך משנים את הבסיס כדי שייצא ככה?
תשובה
ניקח אופרטור שיקוף לפי ישר מסוים. מה האופרטור עושה לוקטור שנמצא על הישר? כלום, משאיר אותו כמו שהוא. מה האופרטור עושה לוקטור המאונך לישר? הופך אותו לצד השני, כלומר מחזיר את מינוס הוקטור. לכן ניקח את הבסיס שהוא וקטור על הישר שלפיו משקפים ווקטור מאונך לו. זה תמיד יהיה בסיס (למה?).
זה הסבר ל2 על 2. אבל למדנו שכל אופרטור א"ג הוא סכום ישר של אופרטורים על מרחבי 2 על 2.