שינויים
/* הסקה על ערכים עצמיים של מטריצה */
'''חשוב!!!
''' 3.2.2011
'''שלום לכולם,
'''שעור חזרה (מתרגלים) יתקיים [[בשני הקרוב,7.2]] בשעה 16:00.
'''נא להתעדכן באתר במיקומו בראשון בבוקר.
'''עדי'''
{{הוראות דף שיחה}}
=ארכיון=
*[[שיחה:88-113 סמסטר א' תשעא/קבוצת דיון-עדי ניב/ ארכיון 1| ארכיון 1]]
*[[שיחה:88-113 סמסטר א' תשעא/קבוצת דיון-עדי ניב/ ארכיון 2| ארכיון 2]]
*[[שיחה:88-113 סמסטר א' תשעא/קבוצת דיון-עדי ניב/ ארכיון 3| ארכיון 3]]
*[[שיחה:88-113 סמסטר א' תשעא/קבוצת דיון-עדי ניב/ ארכיון 4| ארכיון 4]]
*[[שיחה:88-113 סמסטר א' תשעא/קבוצת דיון-עדי ניב/ ארכיון 5| ארכיון 5]]
=שאלות=
== תרגיל 9, שאלות 2.5, 2.8, מה זה "אנטי-צמוד לעצמו"? ==
אני מקדים תרופה למכה ועונה על השאלה הזאת לפני שהיא עוד נשאלה. בתירגול דיברנו על 3 סוגים של אופרטורים: נורמלי, אוניטרי (נקרא גם אורתוגונלי כאשר שדה הבסיס הוא הממשיים), צמוד לעצמו (צל"ע) (נקרא גם הרמיטי / סימטרי בהתאם להאם השדה הוא מרוכב או ממשי). יש גם סוג רביעי, הנקרא "אנטי-צמוד לעצמו" (או: אנטי-הרמיטי / אנטי-סימטרי בהתאם לשדה ..). ההגדרה היא ש-<math>T</math> אנטי-צמוד לעצמו אם <math>T^{*}== למה? ==-T</math>. שימו לב לדמיון בין הגדרת מטריצה סימטרית / אנטי-סימטרית להגדרת אופרטור צמוד לעצמו / אנטי-צמוד לעצמו (הדמיון כמובן לא מקרי - ראינו כי עבור מטריצות ממשיות ההגדרות מתלכדות). בכל אופן ההגדרות מופיעות גם בחוברת כמה שורות לפני התרגילים עצמם. [[משתמש:דורון פרלמן|דורון פרלמן]] 06:12, 19 בדצמבר 2010 (IST)
2. אם כתוב f|g זה אומר ש-f מחלק את g או ש-g מחלק את f ? תודה! .:1. כן, זה חלק מההגדרה. 2. זה אומר ש-f מחלק את g. [[משתמש:Gordo6דורון פרלמן|גל א.דורון פרלמן]]19:52, 20 בדצמבר 2010 (IST)::תודה!
==5.22 לגבי ה-traceגרעין של מטריצה ==שלום רב,אני חושב שאני יודע איך ה-trace של המט', אך רק מתוך אינטואיציה, מישהו יכול להיות אולי רמז לדרך הפתרון?תודה [[משתמש:Sretter|שקד רטר]]
'''עדי: <math>ker(A)=\{v\in V:Av= תיקונים בחוברת של ד"ר צבאן ==0\}</math>
עדי :את סעיף ב'''של השאלה הנ"ל להשאיר כמו שהוא או לשנות את התנאי בהתאם ל <math>\lambda \le 1</math>? [[משתמש:לידור.4א.|-לידור.א.-]] 18:33, 25 בדצמבר 2010 (IST):גם ב-ב' זה ככה או לא?::כן, לשנות גם את סעיף ב'.[[משתמש:דורון פרלמן|דורון פרלמן]] 11:08, 28 בדצמבר 2010 (IST) == תרגיל 10 - שאלה 3.23א' == בסעיף א', מבקשים להוכיח כי אופרטור נורמלי צמוד לעצמו אם"ם קבוצת הערכים העצמיים שלו ממשית. את הכיוון =>, כלומר, T צמוד לעצמו גורר שקבוצת הערכים העצמיים שלו היא ממשית, קל להוכיחואף עברנו עליו בהרצאה ובתרגול. לעומת זאת, הכיוון השני אינו טריוויאלי כל כך. האם אפשר כיוון כלשהו ע"מ להוכיח את הכיוון השני?:כל סעיף 3 הוא בעצם על ליכסון ושילוש אוניטריים. תנסה למצוא שימוש בזה :):: האמת שבסוף הצלחתי לבד לחשוב על איך לפתור את כל 3.23 בעזרת שימוש בלכסון/שילוש אוניטרי, הבעיה היא עכשיו התרגילים האחרים^^, אני אנסה לחשוב איך עוד לכסון אוניטרי יכול להיכנס. תודה;) == תרגיל 10 - השאלה האחרונה- הבונוס שאינו בונוס == מדובר על מ"פ סטנדרטית? V הוא כל מ"ו?:זו המ"פ הסטנדרטית, ו-<math>V=\mathbb{C}^{n}</math>. [[משתמש:דורון פרלמן|דורון פרלמן]] 11:11, 28 בדצמבר 2010 (IST) == משפט או לא? == שאלה: אם T ניתן לליכסון אוניטרי אז T צל"ע? (אם לא, אז האם יש עוד תנאי שיהפוך את T לצל"ע?)(צל"ע=צמוד לעצמו):מעל הממשיים או המרוכבים? מעל המרובים יש לך את משפט הליכסון האוניטרי: T נורמלי אם ורק אם יש בסיס אורתונורמלי כך ש-<math>[T]_{B}</math> אלכסונית. ומעל הממשיים יש את משפט הליכסון האורתוגונלי: T ניתן ללכסון אורתוגונלי אם ורק אם T צמוד לעצמו. בנוגע לתנאים נוספים שאת/ה מחפש/ת, על איזה תרגיל מדובר? אני מניח שיש תנאים נוספים שנתונים. [[משתמש:דורון פרלמן|דורון פרלמן]] 11:31, 28 בדצמבר 2010 (IST) ::התרגיל הראשון בשיעורי בית 10. נתון שהע"ע שלו ממשיים, ושהוא נורמלי. (אבל מעל למרוכבים) אז מזה שהוא נורמלי אני יודעת שהוא ניתן ללכיסון אוניטרי (משפט הליכסון האוניטרי), ועכשיו בזכות המשפט שנתת, משפט הליכסון האורתוגונלי (לא ידעתי שזה אם ורק אם), אפשר להגיד שהוא צל"ע ומ.ש.ל. אבל עוד לא הבנתי מה ההבדל בין ליכסון אורתוגונלי לאוניטרי, אז.. אני מחכה לתשובה למטה. תודה! == 3.27 == אפשר רמז? '''עדי: היזכר בתצוגה של מספר מרוכב ע"י המספר e == ליכסון אוניטרי ואורתוגונלי == מה ההגדרה של "מטריצה A ניתנת לליכסון אורתוגונלי"? ומה ההגדרה של "מטריצה A ניתנת לליכסון אוניטרי"? ומה ההגדרה של "אופרטור T ניתן לליכסון אורתוגונלי"?
ומה ההגדרה של "אופרטור T ניתן ליכסון אוניטרי"?
'''עדי:אני לא מתרגל, אבל לדעתי הרעיון בוקטרים מעל שדה הוא שיש לך, כמו שאמרת, את הוקטורים e1, e2, ... en מעל כל שדה, וזה שיש לך i לא אמור לשנות לך.::לא הבנתי..מטריצה ניתנת לליכסון אם היא דומה לאלכסונית.
'''עדי:נכון מאוד. הכוונה שאתה יכול ליצור כל וקטור מרוכב מצרוף לינארי של e1,...,en כאשר i הוא אחר הסקלרים האפשריים.אופרטור ניתן לליכסון אם קיים בסיס ו"ע (כלומר בסיס כך שהמייצגת אלכסונית)
'''לגבי החלק השני, למה החלטת שאלו וקטורי עמודות? כמובן שאם דורשים <math>vAu^*</math> אז הוקטורים מוגדרים כך שהמכפלה ביניהם מוגדרת.:פעלתי לפי הרמז, וכדי לחשב את האגף עם המטריצות, צריך לעשות את כפל A עם v משמאל- ולפי הרמז, צריך לכתוב את v כסכום של הוקטורים הסטנדרטיים, שבדרך כלל אנחנו ליכסון אוניטרי הוא מיקרה פרטי בו הבסיס (או המט'''מתייחסים אליהם כוקטורי עמודה''' ולא שורה, ולכן שאלתי אם אפשר הפעם להתחייס אליהם כוקטורי שורה. אם כן אפשר להתחייס אליהם כוקטורי שורה, אז נראה לי שצריך להשתמש בכפל שורה שורה כדי לבדוק את הכפל... לא?(ראי שאלה למטההמלכסנת).אוניטרי
'''למה וקטור שורה כפול מטריצה הוא שורה שורה? עושים כרגיל שורה כפול עמודה ומקבלים שוב וקטור. אורתוגונליות היא אוניטריות מעל הממשיים
:תודה!
== כפל שורה שורה בילבול קטן ==
== תרגיל 11 ==
:ב. לא נתון הסדר של A, אבל אפשר רמז לתרגיל 1.13? אין לי מושג מאיפה להתחיל בכלל...להסיק אותו בקלות מהפולינום האופייני: תנסה לחשב את המכפלה הפנימית הדרגה של סכום ארבעת הוקטורים ;)::ווואי פתאום זה כל כך קל! תודה רבה!!!::: בכיף ;)הפולינום האופייני הוא הסדר של המטריצה, למשל ב-א' המטריצה היא 5 על 5, ב-ג' 7 על 7 וכו'.
:ג. עשינו המון דוגמאות מאוד דומות גם בתרגול האחרון וגם בזה שלפניו, אני ממליץ לעבור על החומר של שני התרגולים האחרונים, במיוחד השאלות שבהן נתון הפולינום האופייני והפולינום המינימאלי ומהם צריך להסיק את צורת ג'ורדן (או צורות ג'ורדן האפשריות). ממש בקצרה: צריך לעבוד עבור כל ע"ע בנפרד. הריבוי האלגברי שלו יהיה הגודל של המטריצה המתאימה לו. החזקה המתאימה בפולינום המינימאלי תהיה הגודל של הבלוק ג'ורדן המקסימלי (עבור ע"ע זה), וכל שאר הבלוקים יהיו מגדלים קטנים או שווים לגודל של הבלוק הזה.:[[משתמש:דורון פרלמן|דורון פרלמן]] 03:18, 6 בינואר 2011 (IST)::תודה רבה!!; אבל התכוונת שב-א' המטריצה היא מגודל 4 על 4 (כי הפ"א הוא (x-2)^2*(x-3)^2 )?::ועוד שאלה קטנה: מה זה אומר "הר"א שלו (של הע"ע) יהיה הגודל של המטריצה המתאימה לו"? תודה!:::קודם כל כן, התבלבלתי, המטריצה היא באמת 4 על 4. בנוגע לריבוי האלגברי: מטריצת ג'ורדן מורכבת מבלוקי ג'ורדן. לערך עצמי מסוים יכול להתאים יותר מבלוק ג'ורדן אחד. סה"כ הסדר של המטריצה שהיא הסכום הישר של כל בלוקי הג'ורדן עבור ערך עצמי מסוים, שווה לריבוי האלגברי של אותו הערך העצמי. למשל אם יש ערך עצמי 7 עם ריבוי אלגברי 11, זה אומר שבצורת ג'ורדן יש (בין היתר) מטריצה 11 על 11 שמורכבת מבלוקי ג'ורדן שיש לכולם 7 על האלכסון הראשי. [[משתמש:דורון פרלמן|דורון פרלמן]] 23:01, 6 בינואר 2011 (IST)== הרצאה ותרגול בחנוכה תרגיל 11 - שאלה 5 ==
== תרגיל 11 - שאלה 2 ==מזאת אומרת שצורת ג'''עדיורדן נקבעת באופן יחיד ע"י הפ"א והפ"מ ?: בעיקרון זה תלוי בהספק שלנו בתירגול הקרוב אבל כפי שנראה כרגע (לאמתרגל)- מוזר, רק בוחן ב9/12.למדנו בדיוק ההפך- שצורת ג'ורדן לא נקבעת באופן יחיד, אלא אפשר לקבל כמה צורות ג'ורדן ע"י שינוי סדר האיברים!
== תרגול 11 ==
בתרגול 11 '''כןשאלה 4''' נכתב ש-<math>J=J_{14}(x)</math>, לאחר מכן נתונים על <math>J-xI</math> ואז אנחנו נשאלים כמה בלוקי ג'ורדן מכל סדר יש '''ב-<math>J</math>'''. אבל <math>J</math> היא לא מטריצת ג'ורדן ולכן צורת הג'ורדן שלה היא עצמה (ולכן יש בה בלוק אחד מסדר 14)? למה הנתונים על <math>J-xI</math>?
דורון, אמרת שתעלה את התרגיל שלא הספקת לעשות בשיעור, וגם את התרגיל שלפניו לאתר. נשמח אם תעלה כי זה יעזור לנו לפתור את שיעורי בית.
דבר שני, כשצריך למצוא צורת ג'ורדן ומטריצה הפיכה P כך ש (...) כמו בשאלה 5- אני רוצה לוודא- אפשר פשוט לקחת את V להיות וקטור כלשהו, נגיד (1,0,0), לחשב את Av, ו A^2v, וכך הלאה, לשים את הוקטורים האלה בעמודות P ואז המכפלה של P הופכית, A,P אמורה לתת את צורת הג'ורדן?
ומה קורה אם יצא לי ש A^2v שווה וקטור האפס?
תודה!
:דבר ראשון: אני לא מעלה את התרגיל שלא הספקנו בסוף שיעור אחרון בגלל שנעשה אותו בתחילת שיעור הבא (בגלל זה שינינו את שאלה 7 - בשביל שתוכלו לפתור את תרגיל 11 גם בלי התרגיל שלא הספקנו). בנוגע לתרגיל שלפניו - בסדר, אני אשתדל להעלות סיכום שלו עד מחר. דבר שני: לא צריך לבחור וקטור v אקראי, אלא וקטור ככה ש-A^2v יתן לך בסיס ל-ImA^2 (בהנחה שמימד ImA^2 הוא 1). אם קיבלת ש-A^2v=0 אז הוא לא מהווה בסיס לכן הבחירה שלך של v לא היתה טובה. כמו כן צריך לזכור שאחרי שמחשבים זאת צריך להמשיך להשלים את הבסיס עד שמקבלים בסיס ל-Ker. [[משתמש:דורון פרלמן|דורון פרלמן]] 21:30, 8 בינואר 2011 (IST)
::ואיך מוצאים בסיס ל-ImA^2? ומה אם מימד ImA^2 הוא לא 1? וגם, מתי, איך ומה משלימים כדי לקבל בסיס ל-Ker?
::ועוד שאלה: נגיד לוקחים V רנדומלי ומוצאים ש Av, A^2v לא אפס. האם זה בסדר או שאי אפשר להסתמך על זה?
::ושאלה אחרונה: אם A^2v חייב להיות אפס בגלל ש A בריבוע היא אפס- מה עושים? אף v שנבחר לא יתן לנו משהו שונה מאפס...
::תודה רבה!
:::(לא מתרגלת) בקשר לשאלה האחרונה, אתה מתייחס רק לv ולAv,ואז אתה משלים לבסיס של הגרעין, ומשלושת הוקטורים האלה מקבלים מטריצה P הפיכה.
::::1. זה פתרון מערכת משוואות לינאריות. אם המימד הוא לא 1, אלא למשל 2, אז צריך למצוא שני וקטורים בבסיס. מתי משלימים לבסיס של הגרעין? כמעט תמיד, כמו שראינו בתרגול. הפעמים היחידות שלא תצטרכו להשלים הן כאשר ImT=KerT (למשל מטריצה 2 על 2 עם דרגה 1). תמיד אפשר להשלים כי <math>ImT \subset KerT</math> . כמו כן שימו לב כי לא תמיד משלימים ישירות את <math>ImT^{n}</math> ל-KerT, הרבה פעמים יש שלבים באמצע, זה תלוי בדרגת הנילפוטנטיות של המטריצה. אם המטריצה נילפוטנטית מסדר 2 כלומר <math>A^2=0</math> אז אין שלבים באמצע.
::::2. כל וקטור שונה מאפס מהווה בסיס למרחב וקטורי ממימד 1. לכן אם את/ה יודע/ת שהמימד הוא 1 (למשל ע"י בדיקת ה-rank) אז מספיק לעשות מה שרשמת.
::::3. אם A^2v חייב להיות אפס כי A^2 היא אפס, זה אומר שסדר הנילפוטנטיות הוא 2 ואז למה את/ה מחפש/ת בסיס ל-ImA^2? את/ה צריכ/ה לחפש בסיס ל-ImA.
::::4. העלתי את התרגיל האחרון שעשינו בכיתה (ראה למטה), אולי זה יעזור. [[משתמש:דורון פרלמן|דורון פרלמן]] 19:32, 9 בינואר 2011 (IST)
למה כדי להוכיח ש V=U(+)W (סכום ישר), מספיק להוכיח שהחיתוך בין U לW הוא 0, וש dimV= שאלה dim(U+W)? ברור שצריך להוכיח שהחיתוך הוא אפס, אבל איך זה שבשביל להוכיח את הסכום מספיק להוכיח שוויון בין המימדים? תודה:מתישהו בלינארית 1.6 =הוכחתם שאם B תת-מרחב של A כך שהמימד של B שווה למימד של A אז A=B. במקרה זה אם המימד של U+W שווה למימד של V אז U+W שווה ל-V. אם בנוסף החיתוך שלהם הוא 0, אז הסכום הוא ישר. [[משתמש:דורון פרלמן|דורון פרלמן]] 21:37, 8 בינואר 2011 (IST)::תודה רבה!
לבקשתכם, העלתי את התרגיל האחרון שפתרנו בכיתה בתרגול האחרון בנוגע לצורת ג'ורדן של מטריצה לא נילפוטנטית בעלת ערך עצמי יחיד. הוא נמצא בעמוד הראשי בהודעות של התאריך 04.01.2011. לחילופין קישור ישיר [[מדיה:Linear2-Hashlama-Targil.pdf|כאן]]. [[משתמש:דורון פרלמן|דורון פרלמן]] 19:19, 9 בינואר 2011 (IST):תודה! יש לי שאלה על זה: כתבת בהערה שיש דרך הרבה יותר קלה למצוא את צורת ג'ורדן. האם יש דרך קלה יותר למצוא את צורת ג'ורדן, וגם למצוא את P המג'רדנת? כי עד כמה שאני יודע השיטה עם הפ"א והפ"מ עוזרת רק למצוא את צורת הג'ורדן...:שאלה אחרת, חכמה יותר: אם יש לי 2 מטריצות דומות, האם יש אלגוריתם קל, ואם כן מהו, לגלות מטריצה P המדמה ביניהן (AP==רמז ל 1PB) ?::לשאלה הראשונה: יש דרכים שמקצרות את מציאת P המג'רדנת, אבל (לפי מיטב הבנתי) בכולן יש עבודה לעשות, כלומר הן לא מקצרות יותר מדי.6ובנוגע לשאלה השניה: אם היה אלגוריתם קל כזה, אז בהינתן צורת הג'ורדן J היית יכול/ה למצוא באמצעותו את המטריצה המג'רדנת P, ואז היתה לך תשובה גם לשאלה הראשונה. התשובה שלי היא שאני לא באמת יודע, אבל הניחוש שלי הוא שאין שיטות מאוד טובות, כלומר שמשפרות משמעותית את השיטה ה"רגילה" שלמדנו. [[משתמש:דורון פרלמן|דורון פרלמן]] 22:03, 10 בינואר 2011 (IST)== תרגיל 11-ז'ירדון מטריצות ==
==שאלה 1.4בקשה - שיעור שלא העתקתי ==סעיף ב': לא הבנתי איך מחשבים מכפלה פנימית של מטריצות ומה הקשר לתרגיל 1.1(ג)?סעיף ג': לא הבנתי איזה מ"ו זה ומעל איזה שדה? מה הקשר ל1.1(ד) ומה הם a,b?
האם ידוע מבנה המבחן? אפשר להגיד פרטים חשובים להתכוננות למבחן- כמו האם יהיה במבחן שאלות על הוכחות של משפטים? יהיו דברים חישוביים או רק מופשטים? וכדומה? תודה רבה:לגבי מבנה המבחן: תסתכל בדף הראשי של הקורס, שם מופיע "הדף הראשון של המבחן" ובו הסבר על מבנה הבחינה (קישור: [http://math-wiki.com/images/7/7a/LA.pdf דף ראשון מועד א]). לגבי הוכחת משפטים - אני לא יודע. [[משתמש:Gordo6|גל א.]]
==משפט פיתגורס =לגבי שאלות מהמבחנים===כוונתך היא בעצם ששאלה יכולה להופיע אם התוכן שלה נלמד בקרוס זה (לינארית 2) אבל בלי קשר למבחן שבו היא מופיעה (ברור לי שייתכן שהשתנה סדר הלימוד וכל אלה ולכן ייתכן שיש שאלה במחבן ישן של לינארית 1 שיתאם את החומר שנלמד בקורס זה)? תודה מראש!
בהרבה הוכחות, למשל בהוכחה לאי שוויון קושי שוורץ ואי שוויון בסל, צבאן כתב:" ממשפט פיתגורס: <math>||v||^2== שאלה על סכום ישר של תת מרחבים ==|<v,u/||u||>|^2+|<v,v'>|^2</math> " (כאשר במקרה הזה u/||u||, v' בא"נ). ממש לא הבנתי איך אפשר להסיק את זה ממשפט פיתגורס. תודה!
''' אז מי זה v, כתבתם זאת לכל v? או ש <math>v===תשובה===v'+u/||u||</math>תרשום את כל המשפט.סכום של שני תתי מרחבים מוגדר באופן הבא: אוקי. כל מה שנתון הוא ההנחה למקרה הזה שבו u,v בת"ל. מתחילים מהקבוצה <math>U+W=\{u+w/||u\in U,w\in W\||}</math>. כלומרשהיא א"נ, כל הסכומים האפשרים בין וקטור מU לוקטור מW. אומרים שהסכום בין U וW הוא ישרמשלימים אותה לבא"נ של sp{u, אם החיתוך ביניהם הוא אפס (כפי שאמרת) ואז מסמנים v}, <math>U+WB=U\oplus W{u/||u||,v'}</math>. ואז "ממשפט פיתגורס"- המשוואה שרשמתי, וממנה ההוכחה לאי"ש קושי שוורץ.
כבר הוחלט משקל התרגילים מהציון הסופי (זה לא כתוב בדף הקורס)? תודה.
'''בימים הקרובים == מתכונת שיעור החזרה (של המתרגלים) == שיעור החזרה של המתרגלים יהיה במתכונת שאלות ותשובות או שאלות שהמתרגלים מביאים? תודה '''אני אפתור מבחן המייצג את החומר הנלמד אצלכם וששאלותיו הופיעו בקבוצת הדיון במהלך הזמן == לכסון אורתוגונלי == שלום,אני זוכר שבתחילת הקורס היה בדף הראשי של האתר אלגוריתם עם דוגמה ללכסון אורתוגונלי, ועכשיו אני לא מוצא אותו (זה חשוב כי אני לא מבין בכלל את הנושא). אפשר אולי להעלות אותו שוב? תודה! [http:בנוסף//www.math-wiki.com/index.php?title=%D7%9C%D7%9B%D7%A1%D7%95%D7%9F_%D7%90%D7%95%D7%A8%D7%AA%D7%95%D7%92%D7%95%D7%A0%D7%9C%D7%99 לכסון אורתוגונלי] [http://www.math-wiki.com/images/8/85/09Linear2Triangulation.pdf שילוש אורתוגונלי] == שאלה מתרגול == אפשר עזרה בפתרון שאלה מהחוברת- שאלה 3.26 בפרק של אופרטורים מיוחדים: T צל"ע, נכון לומר x1,..xn ע"ע של T. הוכח: א. לכל v מתקיים <Tv,v> > אפס אם ורק אם xi>0 לכל i (גדול שווה ב2 המקרים לא גדול). ב. אגף ימין כנ"ל גורר שקיים S צל"ע כך ש U+W הינו תת המרחב הקטן ביותר שמכיל גם S^2=T. תודה! '''צל"ע=>נורמלי=>יש ליכסון אורתונ'. כעת יישם את U וגם <math><Tv,v> >=0</math> עבור הבסיס המלכסן האורתונ'.'''ב-ב', התבונן בשורשי הערכים העצמיים של T == מט' נילפוטנטית == למה אם מט' שהע"ע היחיד שלה הוא 0 היא נילפוטנטית?תודה! '''אנחנו נפתור את W (קל לראות זה היום. שים לב שזה נכון מתוך סגירות לחיבורלמט' מעל המרוכבים, מה שמעיד כי הפ"א שלה ממ"פ ולכן שלישה:תודה (כבר לא צריך תשובה כי עשינו בתרגול) == מה זה "דרגה דטרמיננטית"? == יש לי את ההגדרה במחברת, אבל לא ממש הבנתי אותה ואת המשפט הקשור וההוכחה שלו (שהדרגה הדטרמיננטית שווה לדרגה של המטריצה).:לא משנה, הבנתי. == שאלה למתרגלים == האם תפרסמו את פתרונות תרגילים 11 ו-12 עוד לפני המבחן?בתודה רבה! == דימיון בין מטריצות מייצגות == למה המטריצה המייצגת של T לפי בסיס B1 דומה למטריצה המייצגת של T לפי בסיס B2? מהי מטריצת הדימיון? ולמה עיבוד הנוסחה נכשל כשאני מנסה לכתוב את זה מתמטית? == למה מכפלת הערכים העצמיים שווה לדטרמיננטה? == לא הבנתי את ההוכחה שכתובה לי, אשמח להסבר או הוכחה ברורה.:{{לא מתרגל}} הוכחה אפשרית: תהא <math>A\in\mathbb F^{n\times n}</math> ויהיו <math>\lambda_1,\ \dots,\ \lambda_n</math> הערכים העצמיים שלה. אזי <math>\lambda_1\cdot\dots\cdot\lambda_n=(-1)^n(0-\lambda_1)\cdot\dots\cdot(0-\lambda_n)=(-1)^n p_a(0)=(-1)^n |0I-A|=|A|</math>. (בגלל תקלה זמנית אי אפשר לראות את הנוסחאות כמו שצריך. חכה לתיקון או העתק אותן לוויקיפדיה (מבלי לשמור)). ::הוכחה מאוד יפה! תודה.::רגע, אבל אם הפולינום האופייני לא מתפרק לגורמים לינאריים, אז <math>P_A(0)</math> הוא לא מה שכתבת שהוא... לא?:::{{לא מתרגל}} לא בדיוק, כי המשפט מדבר מלתחלחילה על מטריצה שכל הע"ע שלה ב-<math>\mathbb F</math>. למשל ל-<math>\begin{pmatrix}1&2\\-1&-1\end{pmatrix}</math> אין ע"ע ב-<math>\mathbb R</math> (ולכן בוודאי שמכפלתם אינה הדטרמיננטה), אבל בסגור האלגברי שלו (<math>\mathbb C</math>) הע"ע הם <math>\pm i</math>, ומכפלתם שווה לדטרמיננטה. == למה אם אופרטור T על V לכסין אז קיים בסיס של V המורכב מהו"ע של T? == ניסיתי וניסיתי ואני פשוט לא מבינה את ההוכחה:"נניח ש-T לכסין. ז"א קיים בסיס {v_1,v_2,...,v_n} כך שמטריצה A של T ביחס לבסיס זה לכסינה, ז"א: C^{-1}AC=D, כאשר D מטריצה אלכסונית. נעבור מבסיס {v_1,v_2,...v_n} לבסיס {v'_1,v'_2,...,v'_n} (בעזרת מטריצת המעבר C). מטריצה D של T ביחס לבסיס {v'_1,v'_2,...,v'_n} היא אלכסונית: T(v'_1)=Dv'_1=z_1v'_1 , ... , T(v'_n)=Dv'_n=z_nv'_n. לכן D היא מטריצה אלכסונית עם z_1,...,z_n על האלכסון. את כל החלק מאז שעוברים מבסיס אחד לאחר (כולל) - לא הבנתי. בבקשה עזרה!! :יהי אופרטור T על V, נניח כי T לכסין, כלומר קיים בסיס B של V כך ש <math>{\left[ T \right]_B}</math> מטריצה אלכסונית. נסמן{B={v1,....,vn , אזי כיוון ש <math>{\left[ T \right]_B}</math> אלכסונית:<math>{\left( {{{\left[ {T{v_1}} \right]}_B},...,{{\left[ {T{v_1}} \right]}_B}} \right) = {\left[ T \right]_B} = \left( {\begin{array}{*{20}{c}}{{\lambda _1}}&0&0\\0& \ddots &0\\0&0&{{\lambda _n}}\end{array}} \right) = \left( {{\lambda _1}{e_1},...,{\lambda _n}{e_n}} \right)}</math>(אני רואה שזה לא עובד אז אני אנסה להסביר: כל עמודה ב<math>{\left[ T \right]_B}</math> היא מהצורה Tv_i]B] וכיוון שהיא אלכסונית היא שווה לעמודה מהצורה , ae_i ולכן Tv_i=av_i , משמע v_i וקטור עצמי של T, הדבר נכון לכל איברי הבסיס B לכן B הינו בסיס המורכב מו"ע של T. [[משתמש:ארז שיינרלידור.א.|ארז שיינר-לידור.א.-]] 1714:3731, 2 בדצמבר 2010 9 בפברואר 2011 (IST) == פתרונות של התרגילים == אתם יכולים בבקשה להעלות לפני את המבחן את הפתרונות של תרגילים 11 ו-12?זה ממש יעזור... == פתרונות 11 ו 12 !!! == מה עם פתרונות של תרגילים 11 ו 12 ?? חיכיתי עד לרגע האחרון אבל אני רואה שלא העלתם את הפתרונות אני לא יכולתי להגיע לשיעור חזרה ויש לי כמה אי ודאויות לגבי תרגילים אלה... == עזרה בשאלה ממבחן- 2002 A תשס"ב מועד א' שאלה 1 ג' == נתון שהערך המוחלט של המ"פ של v ו w שווה למכפלת הנורמות שלהם ולא שווה 0. צ"ל dim Span{w,v}.ברור שבגלל שמכפלת הנורמות לא שווה אפס, היא גדולה מאפס ולכן w וv לא שווים אפס ולכן המימד הוא 1 או 2, תלוי אם הוקטורים ת"ל או בת"ל. אבל זה מה שלא הצלחתי למצוא, ניסיתי להניח את שני המקרים ולא הגעתי לסתירה באף אחד מהם. תשובה (לא מתרגלת..):הוקטורים תלויים לינארית ולכן המימד הוא 1.מניחים בשלילה שהם בת"ל ונתון כי מתקיים שיוויון קושי שוורץ. ומגיעים לסתירה כשמחשבים דטרמיננטה של מטריצת גראם של {v,w}(של הsp כמובן..). נגיע לדטרמיננטה השווה ל-0 בסתירה לעובדה שדטרמיננטה של מטריצת גראם תמיד גדולה ממש מ-0. זהו, מקווה שלא שחכתי פרטים...:תודהלא הבנתי. דבר ראשון, הקבוצה שלי (צבאן) לא למדה אף משפט על זה שהדט' של מט' גראם תמיד גדולה מאפס. דבר שני, אני מניח שהתכוונת לחשב את הדט' של מט' גראם של v ו w (ולא הספאן שלהם, מט' גראם היא על קבוצת וקטורים) אבל אז הדט' של יוצאת<math><u,u><v,v>-<u,v><v,u></math>, ולא הצלחתי להגיע מהעובדה שהוקטורים בת"ל לזה שהביטוי הנ"ל שווה לאפס.::{{הערה|לא מתרגל אחר}} אני חושב שהפתרון הזה שגוי, כי הדטרמיננטה של מטריצת גראם '''יכולה''' להיות 0 (אם"ם הוקטורים ת"ל), למשל <math>\left|G_{\{\vec0,(1,0)\}}\right|=\begin{vmatrix}0&0\\0&\langle(1,0),(1,0)\rangle\end{vmatrix}=0</math> == עזרה בשאלה ממבחן- 2002 A תשס"ב מועד א' שאלה 2 ג' == אני לא מצליח למצוא דוגמה למט' לא לכסינה מעל C, הרי כל מט' שאני לוקח, אם היא מעל C, הפ"א מל"ל (אפילו עם בלוק ג'ורדן, למשוואה (x-lamda)^n יש n שורשים מעל C) ואז המט' לכסינה!:{{לא מתרגל}} אם הפ"א מל"ל אז המטריצה ניתנת לשילוש (כדי שתהיה לכסינה צריך להתקיים גם שלכל ע"ע ר"ג=ר"א). אתה יכול לקחת את <i dir="ltr">J<sub>2</sub>(מספר כלשהו)</i>, ולפי משפט בלוק ז'ורדן לכסין אם"ם הוא בגודל אחד או אפס, לכן הוא לא לכסין. {{משל}}:אוקי, תודה רבה. == עזרה בשאלה ממבחן == השאלה: יהיו A וB מטריצות 2 על 2 מעל R. הוכח שקיימת C כך ש C לא שווה ל f(A)+g(B) לכל זוג פולינומים f,g. שאלה מוזרה ואין לי מושג מאיפה להתחיל. עזרה?:{{תשובה מתחכמת}} קח מטריצה Cשהיא לא מגודל 2 על 2, אלא מגודל שלוש על שלוש. ברור שגם לאחר ההצבה בפולינומים לא יתקיים שוויון כי f(A)+g(B) מגודל 2 על 2 בעוד ש-<C מגודל שלוש על שלוש.:אם בשאלה כתוב (דבר שאתה לא כתבת) ש-C צריכה להיות מגודל 2 על 2, ונניח שהכוונה בשאלה היא ש-C היא מעל R (עוד דבר שלא כתבת) אזי נקח את הפולינומים f(x)=g(x)=i ולכן f(A)+g(B)=2i*Id ולכן לא קיימת C מעל הממשיים ששווה לסכום זה.:אם גם הפולינומים צריכים להיות מעל <math>\R</math> אז אני לא יודע... [[משתמש:Gordo6|גל א.]]::ברור שגם C היא 2 על 2 מעל R.. נגדיר V מרחב הפולינומים מעל RV מרחב וקטורינתבונן ב-VxV שגם זהו מרחב וקטורי.נבנה העתקה T:VxV->M2(R)zz כך ש-T(f,g)=f(A)+g(B)zzברור שאם f=pA ו-g=pB אז ההעתקה שולחת אותם לאפס (הכוונה לפולינומי האופיינים). כלומר dimKerT הוא לא 0 ולפי משפט הדרגה dimImT הוא לא 4 ולכן ההעתקה לא על, כלומר קיימת C כך שאין זוג פולינומים f,g כך ש-f(A)+g(B)=C(בהנחה שנתונה דרגת הפולינומים, אחרת אנחנו מדברים על מרחב ממימד אינסופי ואני לא בטוח שמשפט הדרגה תקף) == עזרה בעוד שאלה ממבחן ==
נתון A,B נורמליות ויש להן אותם ו"ע. צ"ל AB=BA. למישהו יש רעיונות?:עריכה: אני חושב שהצלחתי, A,B נורמליות ולכן ניתנות לליכסון אוניטרי (כך שהמט' המלכסנות P-1=P*) אבל יש להן אותן ו"ע לכן בליכסון מתקבלים אותן מט' מלכסנות P, P-1 לכן A=עוד שאלה קטנה ויכול להיות שלא ממש חכמהP*DP, B===הקבוצה <math>\{x \in R| -3<x<3\}</math> יכולה להיות תת מרחב של R? או קבוצת כל הממשיים האי שליליים? או שלא בגלל תכונות כפל בסקלר וכאלה?P*EP ואז בודקים והכפל בין A לB הפיך.
== שאלה בקשר למבחן ==בשאלה 3 סעיף ב אמרו:כמו שאמרת- לאהגדר מכפלה פנימית כך שהבסיס {x, בגלל כפל בסקלר. תכפול ב2 ותקבל מספרים קרוב ל6, שאינם בקבוצה. בנוסף R הוא ממימד 1 מעל עצמו, ולכן לא יכול להיות לא שום תת מרחב פרט למרחב האפס (כי תת מרחב אמיתי הוא ממימד קטן ממש, כפי שלמדנו). --[[משתמש:ארז שיינר|ארז שיינר]] 20:32, 2 בדצמבר 2010 (IST)::אז אני מתקשה מאוד למצוא את תתי המרחבים הדרושים בתרגיל 2 כשאר V=Rx^2. לפי המגבלות שציינת, התתי מרחבים היחדים שאני מצליח למצוא הם מרחב ה0, מרחב כל הזוגות (x,0) ומרחב כל הזוגות (0,y), ואם אני לא טועה, הסכום של שלושתם כן ישר^3...:::הזוגות מהצורה (,x^n} הוא בא"נ,x) לא מהוות תת מרחב?האם צריך להוכיח שהמכפלה הפנימית שהגדרנו היא אכן מכפלה פנימית, רק ביקשו להגדיר מכפלה כזאת ושהבסיס הנתון יהיה בא"נ.
משתמש אלמוני