שיחה:88-113 לינארית 2 סמסטר א תשעד: הבדלים בין גרסאות בדף
איתמר שטיין (שיחה | תרומות) |
Shakedamitay (שיחה | תרומות) (←פתרון המבחן: פסקה חדשה) |
||
| שורה 383: | שורה 383: | ||
--[[משתמש:איתמר שטיין|איתמר שטיין]] ([[שיחת משתמש:איתמר שטיין|שיחה]]) 07:17, 6 בפברואר 2014 (EST) | --[[משתמש:איתמר שטיין|איתמר שטיין]] ([[שיחת משתמש:איתמר שטיין|שיחה]]) 07:17, 6 בפברואר 2014 (EST) | ||
== פתרון המבחן == | |||
האם יועלה פתרון של המבחן שנערך בראשון? | |||
גרסה מ־07:37, 11 בפברואר 2014
הוספת שאלה חדשה
הוסף שאלה חדשה (רשום כותרת לשאלה, רשום את תוכן השאלה ולחץ על שמירה למטה מימין לסיום).
-עזרה על עיצוב הטקסט וכתיב מתמטי תוכלו למצוא כאן
אם אתם רוצים לשאול שאלה עליכם ליצור חשבון משתמש באתר.
שאלות
תרגיל 3
האם קיימת מטריצה נילפותנטית לא לכסינה?והאם מטריצת האפס לכסינה באופן ריק?
- כן, בלוק ז'ורדן לעולם אינו לכסין, אך בלוק ז'ורדן עם אפסים באלכסון הוא ניליפוטנטי. כמו כן מטריצה האפס לכסינה ולא באופן ריק, אלא מתוך השיוויון [math]\displaystyle{ 0=I0I }[/math] --ארז שיינר
יותר מזה. המטריצה הנילפוטנטית היחידה שהיא לכסינה היא [math]\displaystyle{ 0 }[/math].--איתמר שטיין (שיחה) 04:32, 13 בנובמבר 2013 (EST)
Kλ=K'λ
הוכחנו בכיתה ש 'K של למדא שווה לK של למדא,לפי איך שהגדרנו את 'K,לא נובע מזה שהמרחב המוכלל עבור למדא כלשהו הוא יחיד?
- תשובה: צר לי, אבל אני לא מכיר את הסימון הזה. [math]\displaystyle{ K_\lambda }[/math] הכוונה למרחב העצמי המוכלל. איך הגדרתם את [math]\displaystyle{ {K'}_\lambda }[/math]?
בכל מקרה אני גם לא בטוח שהבנתי את השאלה. זה באמת נכון שעבור כל ערך עצמי יש מרחב מוכלל יחיד (הוא מוגדר בצורה מפורשת, אז ברור שהוא יחיד). --איתמר שטיין (שיחה) 03:38, 15 בנובמבר 2013 (EST)
תרגיל 4 שאלה 2
הניסוח של השאלה מאד מעורפל ודי מבלבל,למה מתכוונים בעצם בשאלה?
- הייתה באמת טעות. יובל סידר את זה.--איתמר שטיין (שיחה) 02:42, 27 בנובמבר 2013 (EST)
שאלה אחרונה בתרגיל 5
שלום,
האם התכוונתם שהמטריצה N בשאלה 8 של תרגיל 5, יכולה להיות גם מטריצת האפס?
תודה
כן. גם מטריצת האפס היא נילפוטנטית.--איתמר שטיין (שיחה) 09:30, 4 בדצמבר 2013 (EST)
מועד הגשת תרגיל 5
למתי יש להגיש את תרגיל חמש?
בינתיים עוד לא תחמנו תאריך הגשה לאף תרגיל. אני לא רואה את המדיניות הזאת משתנה בקרוב.--איתמר שטיין (שיחה) 09:31, 4 בדצמבר 2013 (EST)
השאלה השנייה בתרגיל 5
בשאלה השניה מתבקשים למצוא צורת ז'ורדן של מטריצה 5X5,כאשר פעלתי לפי האלגוריתם,בשלב השני שמוצאים בסיס למרחב העמודות של A ופותרים את המשוואה 0=(A(xC2+xC4 מקבלים את C2 לפי האלגוריתם אבל הוא תלוי לינארית במה שכבר מצאנו. כלומר מצאנו מסלול מגודל 3 והריבוי האלגברי הוא 5 איך ממשיכים מכאן?
- ראשית, לא ביקשנו למצוא בסיס מז'רדן, אלא רק את צורת ז'ורדן. ולכן במקרה הזה שזאת מטריצה קטנה יחסית לא חייבים להשתמש באלגוריתם ז'ירדון.
(אני ויובל גם עדיין לא הספקנו להראות את האלגוריתם לכיתות שלנו).
שנית, אם אתה כן רוצה להשתמש באלגוריתם, אני לא בטוח שאני מבין את הסימונים שלך אבל אני חושב שאני יכול לענות לך.גילית ש [math]\displaystyle{ C_2 }[/math] תלוי במה שכבר מצאת. כלומר שאין וקטורים חדשים שאתה יכול להוסיף כדי ליצור בסיס ל [math]\displaystyle{ \im(T)\cap \ker(T) }[/math] (או בסימוני מטריצות [math]\displaystyle{ C(A)\cap N(A) }[/math]) זה אומר לך שאין מסלולים באורך 2. ואם אתה רוצה להמשיך למצוא בסיס מז'רדן אתה צריך להשלים את הבסיס של [math]\displaystyle{ \ker(T)\cap \im(T^2) }[/math] שכבר יש לך לבסיס של [math]\displaystyle{ \ker(T) }[/math]. וזה יוסיף לך עוד שני וקטורים שיתנו לך בסיס מז'רדן.--איתמר שטיין (שיחה) 12:39, 7 בדצמבר 2013 (EST)
העתקה נילפוטנטית
בהנחה והעתקה לינארית היא נילפוטנטית מדרגה 4,האם ייתכן איבר v כך ש(T^4(v שונה מאפס? והאם ייתכן איבר v כך שחזקה קטנה מארבע של העתקה מאפסת אותו?
- תשובה: ראשית, אני מניח שכשאתה אומר נילפוטנטית מדרגה 4 אתה מתכוון שסדר הנילפוטנטיות שלה הוא 4. ולא הדרגה במובן [math]\displaystyle{ rank }[/math].
אז אם [math]\displaystyle{ T }[/math] נילפוטנטית עם סדר נילפוטנטיות [math]\displaystyle{ 4 }[/math] אז לכל [math]\displaystyle{ v }[/math] מתקיים [math]\displaystyle{ T^4(v)=0 }[/math] (כי [math]\displaystyle{ T^4=0 }[/math]). כמו כן, בטוח שיש איברים כך שחזקה יותר קטנה מ[math]\displaystyle{ 4 }[/math] מאפסת אותם. למשל אם [math]\displaystyle{ T^4(v)=0 }[/math] אז [math]\displaystyle{ T }[/math] מאפס את [math]\displaystyle{ T^3(v) }[/math].--איתמר שטיין (שיחה) 11:46, 7 בדצמבר 2013 (EST)
מבנה הבוחן
אמרתם אתמול בתירגול שיהיה היום את המבנה של הבוחן ופירוט עליו. תוכלו להעלות את זה?
- יהיו בבוחן 3 שאלות (אולי עם סעיפים). אחת מהן תהיה מתרגילי הבית.
--איתמר שטיין (שיחה) 09:42, 12 בדצמבר 2013 (EST)
תרגילי בית
האם אפשר להעלות בבקשה פתרונות מלאים לתרגילי הבית?
- חסר כרגע פתרון לתרגיל 3 ולחלק מ4. לכל השאר יש. אנחנו דואגים להשלים את זה בהקדם--איתמר שטיין (שיחה) 09:42, 12 בדצמבר 2013 (EST)
שאלה בהקשר לבוחן
למתרגלים שלום, במידע ולא הצליח בבוחן הזה האם ניתן להפוכו למגן? הבעיה שלא העלו את הפתרונות בתרגיל 3 וגם הפתרונות של תרגילים 4,5 לא ברוריים. אני וקבוצת תלמידים רחבה לא מסוגלים לתרגל אפילו את ש"ב שלנו ואנחנו חוששים להיכשל בבוחן הזה ולכן אנחנו מבקשים לתת לנו אותו כמגן למקרה הצורך כמו בלינארית 1 ששם המון אנשים השתמשו בו. אשמח לתשובה
- אני לא יכול להבטיח כרגע שהבוחן יהיה מגן.--איתמר שטיין (שיחה) 11:44, 15 בדצמבר 2013 (EST)
בוחן
איפה אפשר למצוא תרגילים להכנה לבוחן? חיפשתי כאן בחנים משנים קודמות, ומצאתי רק את הבוחן משנה שעברה. האם תוכלו לתת תרגילים נוספים?
הספר של בועז צבאן (אם כי על משפט זורדן אין שם הרבה).
פרק 5 של הספר הזה. http://joshua.smcvt.edu/linearalgebra/
--איתמר שטיין (שיחה) 11:52, 15 בדצמבר 2013 (EST)
תרגיל 5
האם תרגיל 5 נמצא בחומר לבוחן ? כי הכול שם שייך לאלגוריתם לז'ירדון שלא שייך לחומר
- תרגיל 5 בחומר לבוחן. יש שם אולי חצי שאלה שקשורה לאלגוריתם לז'ירדון.--איתמר שטיין (שיחה) 03:45, 17 בדצמבר 2013 (EST)
תרגיל 7-השאלה בין 6 ל7
יש דרך מסודרת למצוא מרחב ניצב? אם כן מהי? אם לא,מה הדרך למצוא את המרחב הניצב בשאלה זו?
- במקרה הזה קל להבין מה המרחב הניצב בלי אלגוריתם מיוחד.
אבל יש אלגוריתם למציאת המרחב הניצב ואני אכתוב אותו כאן עוד מעט.--איתמר שטיין (שיחה) 12:50, 6 בינואר 2014 (EST)
- אלגוריתם למצוא את המרחב הניצב:
נניח ש [math]\displaystyle{ U\subseteq V }[/math] תת מרחב.
נניח ש [math]\displaystyle{ \dim V=n }[/math] ו [math]\displaystyle{ \dim U =m }[/math].
איך מוצאים בסיס ל [math]\displaystyle{ U^{\perp} }[/math]?
דרך א' (תודה ליובל):
- מוצאים בסיס ל [math]\displaystyle{ U }[/math] (בגודל [math]\displaystyle{ m }[/math]).
- מרחיבים אותו לבסיס עבור [math]\displaystyle{ V }[/math].
- משתמשים בגרהם שמידט כדי להפוך אותו לבסיס אורתונורמלי.
[math]\displaystyle{ n-m }[/math] הוקטורים האחרונים יהיו בסיס ל [math]\displaystyle{ U^{\perp} }[/math].
דרך ב' (תודה לי):
- בוחרים בסיס כלשהוא [math]\displaystyle{ B }[/math] (רצוי אורתונורמלי) ומעבירים את כל הבעיה ל [math]\displaystyle{ \mathbb{C}^n }[/math] או [math]\displaystyle{ \mathbb{R}^n }[/math].
- בוחרים בסיס ל [math]\displaystyle{ U }[/math]. שמים את וקטורי הבסיס בשורות מטריצה: נניח A.
[math]\displaystyle{ U^{\perp} }[/math] הוא מרחב האפס של המטריצה [math]\displaystyle{ \overline{AG_B} }[/math].
(כאשר [math]\displaystyle{ G_B }[/math] היא מטריצה גרהם המתאימה לבסיס שבחרנו)
לכן כדי למצוא בסיס צריך למצוא בסיס למרחב האפס.
כמובן שאם מלכתחילה בחרנו בסיס אורתונורמלי אז [math]\displaystyle{ G_B=I }[/math] ואם זה מעל [math]\displaystyle{ \mathbb{R} }[/math] אז [math]\displaystyle{ \overline{AG_B}=AG_B }[/math].
--איתמר שטיין (שיחה) 09:07, 7 בינואר 2014 (EST)
תודה רבה,בתרגיל 8 שאלה ראשונה בהנחה ולקחתי בסיס B={(1,2,3),(0,1,0),(0,0,1)} לR3 לאחר שהרחבתי את הבסיס לU,האם מספיק לעשות גרהם-שמידט רק ל(0,1,0) ו(0,0,1) או שיש צורך לעשות גרהם שמידט לכל השלושה ולהתחיל מ(1,2,3)?
- האמת שלא חשבתי על זה. גרהם שמידט זאת גם דרך מצוינת לפתור את זה.
צריך לעשות גרהם שמידט לכל השלושה ולהתחיל מ [math]\displaystyle{ (1,2,3) }[/math] ואז שני הוקטורים האחרים יהיו בסיס ל [math]\displaystyle{ U^{\perp} }[/math].--איתמר שטיין (שיחה) 07:48, 16 בינואר 2014 (EST)
תשובות לתרגילים 6-7
שלום רב, לשאלות רבות של נכון\לא נכון יש אך ורק תשובות סופיות אך אין דרך פיתרון, ולכן לא ניתן ללמוד מתרגילי הבית. האם אפשר לקבל גם פיתרון מלבד תשובות סופיות ?
- נעלה בעז"ה גם תשובות מלאות.--איתמר שטיין (שיחה) 12:47, 6 בינואר 2014 (EST)
תרגיל 8 שאלה 8
האם יש חשיבות למכפלה הפנימית? הרי אפשר להציג את T לפי הבסיס הסטנדרטי(שהוא גם אורתונורמלי) בלי תלות במכפלה הפנימית ולקבל מטריצה צמודה לעצמה
- מצטער על העיכוב בתשובה. הבסיס הסטנדרטי הוא אורתונורמלי רק לפי המכפלה הפנימית הסטנדרטית. אם יש מכפלה פנימית אחרת, אז הצגה לפי הבסיס הסטנדרטי לא תלמד אותך כלום.
כך שוודאי שיש חשיבות למכפלה הפנימית. באופן כללי כדאי לזכור שההגדרה של [math]\displaystyle{ T^{\ast} }[/math] היא תלויה במכפלה פנימית. ולכל מכפלה פנימית שונה [math]\displaystyle{ T^{\ast} }[/math] תצא פונקציה אחרת.--איתמר שטיין (שיחה) 07:45, 16 בינואר 2014 (EST)
שתי שאלות
שתי מטריצות שיש להן פ"א אופייני שווה ופ"מ ממעלה אחת שווה (הריבוי הגיאומטרי של כל ע"ע הוא 1) דומות? ועוד משהו - אם A דומה לB אפשר להגיד משהו על הדמיון בין A^2 ו- B^2?
- דבר ראשון: פולינום מינימלי ממעלה אחת זה לא אותו דבר כמו ריבוי גיאומטרי של כל ע"ע הוא 1.
למשל הפולינום המינימלי של [math]\displaystyle{ I }[/math] הוא [math]\displaystyle{ x-1 }[/math] אבל הריבוי הגיאומטרי של [math]\displaystyle{ 1 }[/math] הוא [math]\displaystyle{ n }[/math].
לגוף השאלה: אם הפולינום המינימלי הוא ממעלה אחת אז הוא מהצורה [math]\displaystyle{ x-c }[/math] כלומר המטריצה חייבת להיות סקלרית כלומר [math]\displaystyle{ cI }[/math] כאשר [math]\displaystyle{ c }[/math] הוא הע"ע היחיד. אז אם יש שתי מטריצות עם פולינום מינימלי ממעלה אחת ופ"א שווה הן ממש שוות ולא רק דומות.
משהו יותר חזק נכון: אם יש שתי מטריצות עם פולינום מינימלי שמתפרק לגורמים לינאריים (כלומר המטריצות לכסינות) ואותו פולינום אופייני אז המטריצות דומות (כי הן דומות לאותה מטריצה אלכסונית).
עוד משהו: כן. אפשר אם [math]\displaystyle{ A }[/math] דומה ל [math]\displaystyle{ B }[/math] אז [math]\displaystyle{ A^2 }[/math] דומה ל [math]\displaystyle{ B^2 }[/math] עם אותה מטריצת מעבר בין בסיסים.
כי אם [math]\displaystyle{ A=PBP^{-1} }[/math] אז [math]\displaystyle{ A^2=PBP^{-1}PBP^{-1}=PB^{2}P^{-1} }[/math].
משהו יותר חזק נכון. קל לבדוק באותו אופן שאם [math]\displaystyle{ A }[/math] דומה ל [math]\displaystyle{ B }[/math] ו [math]\displaystyle{ p(x) }[/math] פולינום כלשהוא אז [math]\displaystyle{ p(A) }[/math] דומה ל [math]\displaystyle{ p(B) }[/math].
השאלה שאתה שאלת זה המקרה [math]\displaystyle{ p(x)=x^2 }[/math].
--איתמר שטיין (שיחה) 02:25, 19 בינואר 2014 (EST)
אתה צודק... אני אהיה קצת יותר מפורט. בשאלה נתון שהפ"א של שתי המט' שווה והפ"מ שווה ל (x-4)(x-5)(x-7). החזקה של כל אחד מהגורמים הלינאריים היא 1. האם אפשר להגיד שהחזקה של הפולינום המינימלי זה הבלוק המקסימלי לכל גורם לינארי?, כלומר ל(x-4) למשל גודל הבלוק המקסימלי הוא 1 --> הגודל הוא בדיוק 1 וכן לגבי הבלוקים האחרים ואז לשתי המט' צורת ז'ורדן J1(4)+J1(5)+J1(7) האם זה נכון? כי אם כן, אפשר להכליל את זה לכל מספר של גורמים לינאריים, כלומר, לכל שתי מט' שהפ"א שלהם שווה והפ"מ שווה והחזקה של כל אחד מהגורמים הלינאריים בפ"מ היא 1 אז הם דומות?
- כן. בדיוק כזה דבר היה לכם בבוחן. אם החזקה של [math]\displaystyle{ x-4 }[/math] בפולינום המינימלי היא [math]\displaystyle{ 1 }[/math] אז זה אומר שהבלוקי ז'ורדן של [math]\displaystyle{ 4 }[/math] הם לכל היותר בגודל [math]\displaystyle{ 1 }[/math] כלומר כולם בגודל [math]\displaystyle{ 1 }[/math].
במקרה שאתה כתבת אם הריבויים האלגבריים הם [math]\displaystyle{ a_4\quad a_5\quad a_7 }[/math] אז הצורת ז'ורדן תהיה [math]\displaystyle{ a_4 }[/math] פעמים את הבלוק [math]\displaystyle{ J_1(4) }[/math] וכו'. במילים אחרות מטריצה שהפולינום המינימלי שלה מתפרק לגורמים לינאריים היא לכסינה.
ולכן באמת שתי מטריצות עם פולינום אופייני שווה ועם פולינום מינימלי שווה שמתפרק לגורמים לינאריים הן דומות.--איתמר שטיין (שיחה) 04:29, 23 בינואר 2014 (EST)
תודה רבה!
מבנה המבחן
מה יהיה מבנה המבחן ? וכמה שאלות יהיו?
- הבחינה תהיה במתכונת הבאה: חלק א' - שאלות גדולות: בחירה של 2 שאלות מתוך 3, 35 נק' כל אחת. חלק ב' - שאלות הוכח או הפרך: בחירה של 2 שאלות מתוך 3, 15 נק' כל אחת. חלק ג' - שאלת בונוס במשקל 5 נקודות. הבחינה תהיה דומה לבחינות של השנים הקודמות בקורס, עם קצת יותר דגש על הבנה על חשבון שאלות חישוביות.
פתרונות מלאים
תוכלו להעלות פתרונות מלאים לכל תרגילי הבית? יש עוד כמה תרגילים ללא פתרונות מלאים. בנוסף, מאיזה מקורות אני יכול לתרגל? מלבד מבחנים משנים קודמות...
תודה :)
תשובה: לרוב השאלות יש פתרון. חסר רק חלק מתרגיל 7 וזה יעלה בימים הקרובים.
יש כמובן את הספר של צבאן. יש חומרים שנמצאים כאן ב math-wiki משנים קודמות.
יש ספרים טובים גם באנגלית למשל:
http://joshua.smcvt.edu/linearalgebra/ שבפרק האחרון שלו יש תרגילים טובים על דמיון מטריצות.
--איתמר שטיין (שיחה) 02:29, 3 בפברואר 2014 (EST)
תרגיל 6 שאלות 1-3
בשאלות אלו נתבקשנו לבדוק האם מטריצת הגרהאם הנתונה באמת מגדירה מכפלה פנימית. לפי הפיתרונות שהועלו נבדק רק התנאי הראשון למכפלה פנימית ז"א שהמכפלה הפנימית תהיה גדולה מאפס ושווה לאפס אם ורק אם מכפלה פנימית של וקטור האפס. מה עם שאר התנאים למכפלה פנימית ? ז"א אחד וחצי לינאריות והרמיטיות ? אותם לא צריך לבדוק ולוודא שמתקיימים ?
- ברגע שמכפלה פנימית מוגדרת בצורה
[math]\displaystyle{ \lt u,v\gt =uA\overline{v} }[/math] אז אתה מקבל בחינם שהיא לינארית (צריך אולי לציין את זה) זה נובע בקלות מתכונות של כפל מטריצות.
הרמיטיות תתקבל אם ורק אם המטריצה הרמיטית (במקרה של [math]\displaystyle{ \mathbb{R} }[/math] סימטרית) שזו גם כן בדיקה מיידית - צריך רק להסתכל על המטריצה.
אולי הייתי צריך להדגיש את זה יותר בפתרון.--איתמר שטיין (שיחה) 10:30, 4 בפברואר 2014 (EST)
אפשר לעבור על השאלות האלו בתרגול חזרה? או במקום לקבל כיוון\פתרון פה יהיה נחמד.
http://up403.siz.co.il/up1/zw10mwgimmny.jpg
- אני אשתדל להעלות הנה תשובות לשאלות האלה במהלך היום.
אבל יש לי הצעה יותר טובה. אולי שכמה סטודנטים ייקחו על עצמם להעלות פתרונות לשאלות הלאה (כל אחד שאלה או שתיים)
חלק מהן גם פתרנו בתרגול חזרה.
מה שלא תעשו אני אשתדל להשלים. --איתמר שטיין (שיחה) 01:37, 6 בפברואר 2014 (EST)
בסוף הספקתי לכתוב תשובות.
להלן.--איתמר שטיין (שיחה) 07:18, 6 בפברואר 2014 (EST)
[math]\displaystyle{ Ker(T^n)\cap Im(T^n)=0 }[/math]
שלב א':
נבחר [math]\displaystyle{ n = dim V }[/math]
טענת עזר: אם [math]\displaystyle{ T^{2n}(y)=0 }[/math] אז [math]\displaystyle{ T^n(y)=0 }[/math]
במילים אחרות: [math]\displaystyle{ Ker(T^n)=Ker(T^{2n}) }[/math]
הוכחה:
נשים לב שיש שרשרת עולה של תתי מרחבים
[math]\displaystyle{ Ker(T)\subseteq Ker(T^2) \subseteq \cdots }[/math]
אבל המימד שלהם לא יכול לגדול לנצח (כי לכל היותר הוא יהיה [math]\displaystyle{ n }[/math].)
ולכן קיים [math]\displaystyle{ k }[/math] עבורו [math]\displaystyle{ Ker(T^k)=Ker(T^{k+1}) }[/math]
אבל אז אם [math]\displaystyle{ x\in Ker(T^{k+2}) }[/math] אז [math]\displaystyle{ T(x)\in Ker(T^{k+1}) }[/math]
ולכן [math]\displaystyle{ T(x) \in Ker(T^k) }[/math] ולכן [math]\displaystyle{ x \in Ker(T^{k+1}) }[/math]
כלומר השויון ממשיך
ויש לנו [math]\displaystyle{ Ker(T^k)=Ker(T^{k+1})=Ker(T^{k+2})=\cdots }[/math] וכו'.
נסמן ב [math]\displaystyle{ k }[/math] את הפעם הראשונה בשרשרת שבה [math]\displaystyle{ Ker(T^k)=Ker(T^{k+1}) }[/math]
בהכרח יתקיים [math]\displaystyle{ k\leq n }[/math] כי לא יכול להיות שהשרשרת גדלה יותר מ [math]\displaystyle{ n }[/math] פעמים. (בכל פעם שהיא גדלה, התווסף לפחות עוד 1 למימד - ובסך הכל המימד הוא [math]\displaystyle{ n }[/math]).
ולכן בהכרח [math]\displaystyle{ Ker(T^n)=Ker(T^{2n}) }[/math]
שלב ב': נניח ש [math]\displaystyle{ x\in Im(T^n) \cap \Ker(T^n) }[/math]
אז [math]\displaystyle{ T^n(x)=0 }[/math] ו [math]\displaystyle{ T^n(y)=x }[/math]
כלומר [math]\displaystyle{ T^{2n}(y)=0 }[/math] לפי שלב א' [math]\displaystyle{ x=T^n(y)=0 }[/math] כנדרש.
--איתמר שטיין (שיחה) 07:02, 6 בפברואר 2014 (EST)
אם [math]\displaystyle{ \lambda }[/math] ערך עצמי יחיד ו [math]\displaystyle{ A^r=I }[/math] אז [math]\displaystyle{ A=\lambda I }[/math]
אם [math]\displaystyle{ A^r=I }[/math] זה אומר ש [math]\displaystyle{ x^r-1 }[/math] מאפס את [math]\displaystyle{ A }[/math].
כלומר הפולינום המינימלי מחלק את [math]\displaystyle{ x^r-1 }[/math]. אבל [math]\displaystyle{ x^r-1 }[/math] מתפצל לגורמים לינאריים שונים
והפולינום המינימלי הוא מהצורה [math]\displaystyle{ (x-\lambda)^k }[/math] ולכן [math]\displaystyle{ k=1 }[/math] והפולינום המינימלי הוא [math]\displaystyle{ x-\lambda }[/math].
נציב את [math]\displaystyle{ A }[/math] ונקבל ש [math]\displaystyle{ A=\lambda I }[/math] כנדרש --איתמר שטיין (שיחה) 07:06, 6 בפברואר 2014 (EST)
לא קיימת T כך ש [math]\displaystyle{ T=TT^{\ast}+I }[/math]
נניח שקיימת. אז [math]\displaystyle{ T }[/math] צמודה לעצמה (כי [math]\displaystyle{ TT^{\ast}+I }[/math] צמוד לעצמו).
ולכן כל הערכים העצמיים ממשיים (ויש ל [math]\displaystyle{ T }[/math] ערכים עצמיים כי היא ניתנת ללכסון).
אבל [math]\displaystyle{ T }[/math] מקיימת גם
[math]\displaystyle{ T=TT^\ast+I=T^2+I }[/math]
כלומר [math]\displaystyle{ T^2-T+I }[/math]
כלומר הפולינום [math]\displaystyle{ x^2-x+1 }[/math] מאפס את [math]\displaystyle{ T }[/math]
אז הפולינום המינימלי צריך לחלק אותו.
אבל ל [math]\displaystyle{ TT^{\ast}+I }[/math] אין שורשים ממשיים. ממילא גם לפולינום המינימלי אין שורשים ממשיים.
אז ערכים עצמיים ממשיים.
בסתירה
--איתמר שטיין (שיחה) 07:12, 6 בפברואר 2014 (EST)
אם [math]\displaystyle{ i }[/math] ע"ע של [math]\displaystyle{ T }[/math] אז קיים [math]\displaystyle{ v }[/math] כך שלכל [math]\displaystyle{ u }[/math] מתקיים [math]\displaystyle{ v\neq T^2u+u }[/math]
או בשפה של בני אדם.
[math]\displaystyle{ T^2+I }[/math] היא לא על.
מדובר כאן על מצב ש [math]\displaystyle{ T:V\rightarrow V }[/math]
ולכן [math]\displaystyle{ T }[/math] על אם ורק אם היא [math]\displaystyle{ הפיכה }[/math]
אבל [math]\displaystyle{ T^2+I=(T-iI)(T+iI) }[/math]
וההעתקה [math]\displaystyle{ T-iI }[/math] לא הפיכה כי [math]\displaystyle{ i }[/math] ע"ע.
ולכן גם [math]\displaystyle{ T^2+I }[/math] לא הפיכה. כנדרש
[math]\displaystyle{ Im(T^\ast)=(Ker(T))^\perp }[/math]
ברור שזה שקול לטענה
[math]\displaystyle{ (Im(T^\ast))^\perp=(Ker(T)) }[/math]
ואת זה נוכיח בקלות
[math]\displaystyle{ x \in Ker(T) }[/math] אם ורק אם [math]\displaystyle{ T(x)=0 }[/math]
אם ורק אם [math]\displaystyle{ \forall u \quad \lt T(x),u\gt =0 }[/math]
אם ורק אם [math]\displaystyle{ \forall u \quad \lt x,T^\ast(u)\gt =0 }[/math]
אם ורק אם [math]\displaystyle{ x\in (Im(T^\ast))^\perp }[/math]
כנדרש
--איתמר שטיין (שיחה) 07:17, 6 בפברואר 2014 (EST)
פתרון המבחן
האם יועלה פתרון של המבחן שנערך בראשון?