לינארית 2 לתיכוניסטים תש"ע: הבדלים בין גרסאות בדף

מתוך Math-Wiki
(ביטול גרסה 519 של 77.126.21.152 (שיחה))
 
(868 גרסאות ביניים של יותר מ־100 משתמשים אינן מוצגות)
שורה 1: שורה 1:
:::<math>
::<math>
\begin{bmatrix}
\begin{bmatrix}
\lambda & 0 & 0 \\
\lambda & 0 & 0 \\
שורה 11: שורה 11:
'''<nowiki>== כותרת שאלה ==</nowiki>'''
'''<nowiki>== כותרת שאלה ==</nowiki>'''


ולכתוב מתחתיה את השאלה שלכם.
לכתוב מתחתיה את השאלה שלכם, וללחוץ על 'שמירה'.


= שאלות =
(אין צורך להרשם לאתר. רק לעקוב אחרי ההוראות הפשוטות...)
==שאלה לדוגמא ==
מה זה Span?
===תשובה ===
אוסף כל הצירופים הלינאריים
--[[משתמש:ארז שיינר|ארז שיינר]] 20:07, 22 באוקטובר 2009 (UTC)
:הבנתי, תודה.
::בשמחה
:::יותר קונסטרוקטיבי לחשוב על זה כ"המרחב הנפרש", התת-מרחב הקטן ביותר שמכיל את הקבוצה הנתונה.


== הערה לגבי תרגיל 1.4 ==
=ארכיון=
תרגיל 1.4 ב'. שימו לב: המכפלה הפנימית היא לפי סעיף 1.3 ג' ולא 1.1 ג'.
'''[[לינארית 2 לתיכוניסטים תש"ע - ארכיון 1|ארכיון 1]]''' - שאלות על תרגילים 1-4


וסעיף ג' של אותה שאלה לפי מה זה??
'''[[לינארית 2 לתיכוניסטים תש"ע - ארכיון 2|ארכיון 2]]''' - שאלות על תרגילים 5-8


==תרגיל 2.14==
'''[[לינארית 2 לתיכוניסטים תש"ע - ארכיון 3|ארכיון 3]]''' - שאלות על תרגילים 10-11
איך פותרים את תרגיל 2.14?
===תשובה===
לפי ההדרכה. אפשר להניח שתרגיל 1.10 הוא נכון. תזכורת: יש n שורשי יחידה מסדר n. --[[משתמש:ארז שיינר|ארז שיינר]] 12:13, 29 באוקטובר 2009 (UTC)
:בנוסף, אפשר להעזר בתרגיל 7.4 בעמוד 76 --[[משתמש:ארז שיינר|ארז שיינר]] 13:18, 29 באוקטובר 2009 (UTC)


'''[[לינארית 2 לתיכוניסטים תש"ע - ארכיון 4|ארכיון 4]]''' - שאלות על תרגיל 12 והמבחן


'''שאלה נוספת בנוגע לאותו תרגיל:'''
'''[[לינארית 2 לתיכוניסטים תש"ע - ארכיון 5|ארכיון 5]]''' - שאלות על המבחן
::בנוגע להגדרה שניתנה על p^0, p, p^2, ... , p^n-1
*האם הכוונה היא ש-P הוא הערך העצמי של הוקטור?
*בנוסף, איך אני יכול להסיק שכל ערכי ה-P שונים זה מזה? (נראה הכרחי, אחרת הוקטורים לא בת"ל)


===תשובה===
'''[[לינארית 2 לתיכוניסטים תש"ע - ארכיון 6|ארכיון 6]]''' - שאלות על המבחן
שים לב שp הינו שורש יחידה מסדר n. כפי שציינתי קודם לכן, יש n שורשי יחידה '''שונים''' מסדר n.
הערך העצמי של הוקטור אינו p בהכרח ואינו רלוונטי לשאלה 2.14. --[[משתמש:ארז שיינר|ארז שיינר]] 16:23, 29 באוקטובר 2009 (UTC)
:הבנתי, תודה


= שאלות =
==פתיחת מחברות==
מתי יש פתיחת מחברות של מועד ב'?


::אבל מדובר בשדה F כלשהו. כיצד ניתן להסביר שלמשוואה x^n-1=0 מעל שדה F יש בדיוק n פתרונות?
:תשאלו את המרצים
::: יפה מאד! זו הערה נכונה, לא שמתי לב לכך. התייחסו למטריצה כמרוכבת, ולא כמעל שדה כלשהו. --[[משתמש:ארז שיינר|ארז שיינר]] 18:09, 29 באוקטובר 2009 (UTC)


==מבחן מועד א'==
העלתם את הפתרונות של מועד א' אבל לא העליתם את המבחן עצמו.
אתם יכולים להעלות את המבחן?
תודה.


עוד שאלה, ניתן להניח שתרגיל 7.4 בעמוד 76 נכון?
===תשובה===
:כן. צריך להסביר היטב אבל
תצלם מאחד החברים, אני אפילו לא בטוח שיש לי אותו


::*תודה רבה על העזרה - אבל נותרתי עם שאלה אחת... למה הכוונה "שורשי היחידה", אם לא לערכים של למדא שיאפסו את הפולינום האופייני?
==פתיחת מחברות==
מתי בדיוק תתקיים פתיחת מחברות לקבוצה של ד"ר צבאן?


:::שורשי יחידה לא קשורים לפולינום אופיינים או כלל למטריצות. שורשי יחידה מסדר n הם מספרים שאם תעלה אותם בחזקת n תקבל 1. במילים אחרות הם השורשים של הפולינום <math>z^n=1</math>. --[[משתמש:ארז שיינר|ארז שיינר]] 09:53, 31 באוקטובר 2009 (UTC)
==פתרון המבחן-בקשה מהמתרגלים והמרצים==
תוכל לעלות בבקשה את הפתרון למבחן (מועד א'). כך שנוכל לראות בצורה מדוייקת
איך צריך לגשת לשאולות, איך לנסח את הפתרון - והכי חשוב את לפתור את כל השאלות.
זה חשוב גם לאילו שמעוניינים לגשת למועד ב'.
  ,תודה רבה.




::::ארז האם תוכל להסביר את תרגיל 2.14 ואת כל השלבים שצריך לעשות ואיך לעשות אותם כי דיברתי עם כמה אנשים בתכנית ואין להם מושג איך לעשות את זה ומה זה הדטרמיננטה של מטריצ ונדרמונדה ומה זה מטריצת ונדרמונדה ואיך מוכיחים שוקטורים עצמיים הם בלתי תלויים זאת אומרת איך מגיעים לזה ואם יש לי n ערכים עצמיים זה אומר שיש לי n וקטורים עצמיים ? חשוב שתענה על כל השאלות בשביל שנוכל להבין .. תודה !!
:פתרון המבחן כבר עלה לפני שבוע. נמצא עם פתרונות התרגילים.
:::::מטרת הפורום היא לכוון ולא שאני אפתור בשבילכם. מבין התרגילים 7.4, 1.10 וההדרכה של 2.14 עצמו אני לא רואה סיבה שלא תוכלו לפתור.


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


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


::::::::: מה שחשוב לדעת לגבי המטריצה הוא שזו הדטרמיננטה שלה: <math>\det(A) = \prod_{1\le i<j\le n} (a_j-a_i). </math> (למטריצה כפי שהיא רשומה בתרגיל 7.4).
==מקום הפרסום==
==תרגיל 3.17==
היי ארז. איפה יפורסמו הציונים של המבחן? במידע אישי לסטודנט?
ואתה תוכל בבקשה לפרסם הודעה באתר כשהציונים יפורסמו? תודה!


כיצד מוצאים מטריצה הופכית בעזרת פולינום אופייני? (משפט קיילי המילטון רק אומר שהמטריצה מאפסת את הפולינום האופייני שלה)


===תשובה===
אני לא יודע, אני אודיע כשאדע


== שאלה ==


=== אני אנסה להראות דרך ===
אהמ, מישהו יודע אם יש מצב להקדים מועד ב' ??


==שאלה==


<math> 0=p(A)=A^n+c_{n-1}A^{n-1}+\cdots+c_1A+(-1)^n\det(A)I_n
אם נתון לי בסיס E וקיימת לי מטריצה אוניטרית P, מותר לי להגדיר בא"נ B כך ש P תיהיה מטריצת המעבר מ B ל E?
</math>


שזה כמו
===תשובה===
כן. כי אם נכפיל בשמאל במטריצה המעבר מE לS הסטנדרטי היא תהיה אוניטרית לכן המכפלה תהיה אוניטרית והמכפלה תהיה מטריצה המעבר מB לS ולכן B בא"נ.


== הוכח\הפרך == 
 
שאלה מהמבחן של בוריס שנה שעברה, האם מישו הצליח לפתור?- 
תהי A מטריצה ממעלה >=2 כך ש-<math>degA=2 <= rkA=1(</math>


<math>    -(-1)^n\det(A)I_n = A(A^{n-1}+c_{n-1}A^{n-2}+\cdots+c_{1}I_n)</math>,
===תשובה===
אני הצלחתי להוכיח - אבל אני לא בטוח ב - 100% בנכונות של זה - תנסה לכתוב את A בצורה מפורשת ותעבוד עם זה
:גם אני חשבתי ככה (כתבתי את A בתור שורה אחת עם ערכים שאני לא יודע מה הם וכל שאר השורות אפס, ואז הראתי שהפולינום המינימלי על ידי בדיקה הוא באמת ממעלה 2 תמיד), אבל זה ש RANK A = 2 לא בהכרח אומר שלA יש N-1 שורות אפסים, אלא שאפשר להביא אותה לצורה מדורגת כך. לכן הדרך של כתיבה מפורשת לדעתי לא נכונה (ואכן אני לא יודע איך כן להוכיח את זה...).


נכפיל בהופכית של A מצד שמאל
'''תשובה:''' (נכונה) rankA=1 => dimIm(A)=1 ולכן dimKer(A)=n-1 ואז המימד של המרחב העצמי של 0 הוא n-1 (הריבוי הגיאומטרי של 0). מכיוון שהריבוי האלגברי תמיד גדול או שווה לגיאומטרי הוא או N או N-1. אם הוא N אז לפי משפט צורת ז'ורדן יש N-1 בלוקים של 0 אך כל הN עמודות הן של 0 ולכן הבלוק בגודל הכי גדול הוא בגודל 2 ואז M(A)=A^2 כדרוש. אם הוא N-1 אז מכיוון שסכום כל הריבועים האלגבריים הוא N אז יש עוד ערך עצמי עם ריבוי אלגברי (ולכן גם ריבוי גיאומטרי) של 1. לכן לפי משפט צורת ז'ורדן, יש N-1 בלוקים של 0 ו-1 של הערך העצמי הנוסף (נגיד X) ואז הגודל המקסימלי של כל בלוק הוא 1 והפולינום המינימלי הוא M(A)=A(A-X)=> rank(M)=2 מש"ל
(סליחה שלא כתבתי הכל בכתיב מתמטי אבל אין לי באמת מושג איך..)


<math>  A^{-1}=\frac{(-1)^{n-1}}{\det(A)}(A^{n-1}+c_{n-1}A^{n-2}+\cdots+c_{1}I_n)</math>.
== שאלה ==


מקווה שעזרתי,
אני יודעת שאתמול הוכחת לנו את זה לפני השיעור חזרה, אבל זה היה ממש לא מסודר ולא ממש הצלחתי לעקוב, אז אני אשמח אם אתה (או מישהו אחר בכיף(:) יתן תשובה:
סער
ככה: T נורמלי הוכח ש- <math>im(T)=im(T^*)</math>




:פתרון יפה, אבל איך יודעים שA הפיכה?
===הוכחה===
::אם יש מטריצה הופכית, אז המטריצה הפיכה. הוא הראה שיש מטריצה שאם תכפול בה בA תקבל את מטריצת היחידה. זה אומר ישירות שA הפיכה. --[[משתמש:ארז שיינר|ארז שיינר]] 12:07, 30 באוקטובר 2009 (UTC)
דבר ראשון נוכיח ש<math>ker(T)=ker(T^*)</math>. נניח <math>v \in kerT</math> לכן <math>Tv=0</math> ולכן <math>\forall u: <T^*Tv,u>=<0,u>=0</math> אבל <math>T^*T=TT^*</math> ולכן <math>\forall u: <TT^*v,u>=0</math> ולכן <math>\forall u: <T^*v,T^*u>=0</math> ובפרט זה נכון עבור v=u ולכן <math><T^*v,T^*v>=0</math> ולכן <math>T^*v=0</math> כלומר <math>v \in ker T^*</math>. בכיוון ההפוך ההוכחה דומה.


::למי ששאל איך יודעים ש-A הפיכה - תראה שהדטרמיננטה שלה שונה מאפס :) זה אחד הדברים היותר פשוטים בתרגילים עם נתונים "מספריים". אגב, בפולינום האופייני : הדטרמיננטה תהיה שווה למקדם של x^0 (של החזקה הכי קטנה)


== תרגיל 4.3 ==
עכשיו נוכיח את הטענה. <math>v \in kerT</math> אם"ם <math>\forall u: <Tv,u>=0</math> אם"ם <math>\forall u: <v,T^*u>=0</math> אם"ם <math>v \in (ImT^*)^\bot</math> ולכן <math>kerT = (ImT^*)^\bot</math>. בצורה דומה <math>kerT^*=(ImT)^\bot</math>. אבל הגרעינים שווים ולכן <math>(ImT)^\bot=(ImT^*)^\bot</math> ומזה נובע שהם שווים (כי המרחב המאונך הינו יחיד, והמאונך של המאונך הינו המרחב עצמו).


אני לא כל כך מבין איך למצוא את המטריצה המשולשית העליונה הדומה - מישהו יכול לעזור?
==השלמה לבסיס==
האם קיימת דרך בה ניתן להשלים וקטור <math>v_1</math> לבסיס עבור <math>F^n</math> .
למשל שמשלשים וצריך להשלים לבסיס?


===תשובה===
===תשובה===
בוא ננסה ביחד, ותסביר באיזה שלב אתה לא מצליח. נניח A מטריצה ריבועית, רוצים לשלש אותה:
זו שאלה מלינארית 1. על מנת להשלים קבוצת וקטורים לבסיס, אתה שם אותם בשורות מטריצה, מדרג אותה, ומוסיף וקטורים שמשלימים את הצירים החסרים.
* מוצאים את הע"ע של המטריצה
*לוקחים ערך עצמי <math>\lambda_1</math> עם ריבוי אלגברי מקסימלי (במילים פשוטות, שורש של הפולינום האופייני שהחזקה שלו בפולינום היא מקסימלית). למשל, 2 אם הפולינום האופייני היה <math>f_A=(\lambda-2)^2(\lambda-1)</math>.
*לוקחים בסיס למרחב העצמי של <math>\lambda_1</math>, כלומר הוקטורים העצמיים ש<math>\lambda_1</math> הוא הע"ע שלהם. נניח הבסיס הוא <math>v_1,v_2,...,v_k</math>. משלימים את הבסיס הזה לבסיס למרחב <math>v_1,v_2,...,v_n</math>.
*יוצרים מטריצה M שעמודותיה הן הוקטורים <math>v_1,v_2,...,v_n</math>.
*<math>M^{-1}AM</math> היא מטריצה שיש לה אפסים מתחת לאלכסון הראשי בk העמודות הראשונות.
*לוקחים את המטריצה ללא k השורות והעמודות הראשונות, ומקבלים מטריצה מסדר n-k על n-k. נקרא לה <math>A_{n-k}</math>
*מוצאים מטריצה <math>M_{n-k}</math> באותו אופן (מוצאים בסיס למרחב עצמי של <math>A_{n-k}</math>, משלימים לבסיס של המרחב) , ומשלימים אותה למטריצה מגודל n על n באופן הבא <math>M_1=\begin{bmatrix}I_{k} & 0 \\ 0 & M_{n-k}\end{bmatrix}</math>
* מסתכלים על <math>M_1^{-1}M^{-1}AMM_1</math>. למטריצה הזו יש אפסים מתחת לאלכסון הראשי בk+m העמודות הראשונות, כאשר m הוא המימד של המרחב העצמי בשלב השני.
*ממשיכים בתהליך עד שמקבלים מטריצה משולשית.


--[[משתמש:ארז שיינר|ארז שיינר]] 15:32, 30 באוקטובר 2009 (UTC)
==שאלה==
איך מראים שלמטריצה נילפוטנטית יש '''רק''' ע"ע אחד שהוא 0 ?
בנוסף, צ"ל שמטריצה משולשת עם אפסים באלכסון היא נילפוטנטית.
אני יכול לומר שהמטריצה דומה לצורת זורדן עם אפסים באלכסון
ומעל אחד-ים ואם נעלה בחזקת K אז נקבל את מט' האפס. איך ממשיכים?


:אפשר לקחת בהתחלה את כל הוקטורים העצמיים ולהשלים אותם לבסיס, במקום רק את הוקטורים העצמיים של ערך עצמי אחד?
::הכי פשוט שבעולם - אני הסתכלתי על זה ככה: לפי משפט השילוש, 0 הוא העהיחיד שלה (בהנחה שהאלכסון כולו אפסים), ולכן הפולינום האופייני שלה הוא f(x)=x^n. אם תציב את A תקבל 0, ולכן A^n=0, וזו בדיוק ההגדרה של נילפוטנטית - אם *קיים* k (במקרה זה k=n) עבורו A^k=0.
::ואז מה השלב הבא? זה לא ישלש את המטריצה בהכרח. מותר לעשות את זה, כי זה דומה ללקחת את הוהעצמיים של ע"ע אחד, ואז להשלים את הבסיס עם וקטורים עצמיים אחרים. אבל אני לא יודע אם זה יחסוך שלבים. שים לב שבאלגוריתם, כל פעם הוקטורים העצמיים הם ממרחב וקטורי ממימד קטן יותר. --[[משתמש:ארז שיינר|ארז שיינר]] 18:43, 30 באוקטובר 2009 (UTC)
:::האמת שחשבתי על זה, ויכול להיות שזה כן מקצר את האלגוריתם. מוזמנים לנסות --[[משתמש:ארז שיינר|ארז שיינר]] 18:53, 30 באוקטובר 2009 (UTC)
*יש לי הסבר למה לפעמים עדיף לקחת רק ו"ע של אחד מהערכים : כי אז תצטרכו להשלים לו"ע כרצונכם, כלומר תוכלו להשלים גם לפי ו"ע קלים יחסית שיקלו על הכפל-מטריצות בהמשך..


===תשובה===
תשובה לע"ע רק 0-A נילפוטנטנטית מסדר K. נניח שיש ערך עצמי L שהוא לא אפס. ז"א Av=Lv. נכפול משמאל ב-A^K-1 ונקבל 0=LA^k-1V=
אבל A*v= lv ולכן קיבלנו A^k-2*l^2=0. אבל A^K-2 שונה מאפס, וL שונה מאפס ולכן סתירה


== יש לי שאלה ==  
==שאלה==
יש לי נקע בזרת ואני לא יכול לכתוב, השאלה היא האם אני יכול לבקש ממישהו בקורס (שאני מכיר) לכתוב לי את התשובות לשיעורים ואני יקריא לו?
איך מוכיחים את הכיוון הבא:
זה מותר? אם לא מה לעשות? אני לא רוצה שירד לי ציון... אשמח לתשובה בהקדם
אם T אוניטרית אזי היא מעבירה בא"נ לבא"נ אחר (T מעל C)
:אני לא כל כך מבין את מהות השאלה. ככלל אנחנו לא בודקים את הכתב של התרגיל. אם התרגיל הוא שלך ומכיל תשובות שלך זה בסדר. אם מישהו אחר עשה בשבילך את התרגיל זה לא בסדר. פשוט :) --[[משתמש:ארז שיינר|ארז שיינר]] 20:58, 30 באוקטובר 2009 (UTC)
 
==לגבי מטריצות הפיכות==
אם כופלים מטריצה הפיכה במטריצה לא הפיכה, התוצאה תהיה מטריצה לא הפיכה?


===תשובה===
===תשובה===
נכון. קל לראות את זה מחוקי דטרמיננטות
צריך להוכיח שאם <math>v_1,...v_n</math> בא"נ אזי גם <math>Tv_1,..Tv_n</math> בא"נ. ההגדרה של בא"נ הינה שהמכפלה הפנימית של כל זוג וקטורים שונים היא אפס, והמכפלה הפנימית של וקטור עם עצמו הינה 1.


<math>A</math>הפיכה <math>|A|\neq 0 \iff</math>
T אוניטרית ולכן <math>TT^*=T^*T=I</math>. נבדוק את המכפלה הפנימית של זוג וקטורים בבסיס החדש:
<math><Tv_i,Tv_j>=<v_i,T^*Tv_j>=<v_i,v_j></math> ולכן המכפלות הן אותו הדבר (ראינו עכשיו שאופרטור אוניטרי שומר מכפלות פנימיות) ולכן גם הבסיס החדש הינו א"נ.


נניח <math>A</math> הפיכה ו<math>B</math> לא הפיכה, לכן <math>|B|=0</math> ולכן <math>|AB|=|A||B|=0</math> ולכן <math>AB</math> לא הפיכה
==שאלה==
א. יהי V מ"ו ממימד סופי, יהיא Y(פי) שייך ל- *V ושונה מ-0, יהי W ת"מ של V המכיל את KER Y(פי). צ"ל W=V או W=KER Y


== איך מוכיחים שמטריצה אינה לכסינה? ==
ב. יהי V ממ"פ ממימד סופי. יה Y שייך ל- V* . הוכח כי קיים וקטור W שייך ל- V כך ש: V,W >= ( Y(V>
איך מוכיחים שמטריצה אינה לכסינה? תודה.
לכל V שייך ל- V.


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


:או אם מראים שעבור ע"ע כלשהו הריבוי הגיאומטרי שונה מהריבוי האלגברי, לא?
אם W מכיל את הגרעין והמימד שלו n-1 אזי הוא שווה לגרעין. אם המימד שלו n אזי הוא שווה למרחב V. אין עוד אופציות כי המימד שלו לא יכול להיות קטן מהמימד של הגרעין אותו הוא מכיל.
::נכון, זה גם מספיק.


ב. זה משפט ההצגה של ריס.


== תרגיל 4.4 ==
לא הבנתי מה הרעיון בסעיף ג
מה זאת אומרת לנסח טענות דומות ולהוכיח אותם???


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


:לא ברור לאיזה A צריך לנסח את השאלה..A ריבועית? לכסינה? ניתנת לשילוש?
===תשובה===
::A כמו בסעיף הראשון, לכן רשום נסח טענה דומה.
בעזרת השאלה ממתחת. A דומה לצורת הז'ורדן שלה <math>A=PJP^{-1}</math> נשחלף לקבל ש
<math>A^t=(P^t)^{-1}J^tP^t</math> כלומר A משוחלפת דומה לצורת הז'ורדן המשוחלפת. אבל על ידי החלפת בסיס מתאימה, צורת הז'ורדן המשוחלפת דומה לצורת הז'ורדן ולכן המטריצות דומות.


== תרגיל 5.14==
החלפת הבסיס היא שינוי סדרה איברי הבסיס מהסוף להתחלה, בתוך כל בלוק (נגיד הבלוק הראשון מגודל 3 והשני מגודל 2, אז נחליף לבסיס <math>v_3,v_2,v_1,v_5,v_4</math>.
היי ארז, מה הכוונה ב"מינימום צעדים"? עלי למצוא את כל האפשרויות ולהציב את A בכל אחת מהן (אף על פי שזה ארוך), נכון?
 
==שאלה==
אם אני יודע שה"ל T מעל V ממימד N בהצגה לפי הסטנדרטי היא טראנספוז של בלוק ז'ורדן בגודל NXN, איך אני משנה את הבסיס ככה שהיא תצא בלוק ז'ורדן?


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


== שאלה ==
==שאלה==
יש אפשרות בבקשה לפרסם את הפתרון לתרגיל 2.5ג'? (משיעורי הבית הראשונים), כי פרסמתם את הפיתרון של א' וב' אבל לא של ג'.. (בעמוד 84)
הוכח\הפרך: מעל R^n אם T אורתוגונלי וT^2=I אז T סימטרי.
האם המטריצה ההפכית יחידה? כי אם כן
TT=I
TT*=I
ואז T=T* משמע שזה אמת


===תשובה===
===תשובה===
אני אפרסם פתרונות להכל
בוודאי שההופכית יחידה...


וזו הוכחה נכונה.


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


===תשובה===
== 2 שאלות==
בוודאי, אני גם אשמח שיהיה שימוש באתר, המטרה שלו היא לשמש ליותר מקורס אחד.
1) ארז תוכל בבקשה להסביר לי למה לכל אופרטור יש בא"נ כך שההצגה שלו לפי הבא"נ הזה היא סכום ישר של סיבובים ו-פלוס-מינוס אחדים?
אם אתם לא מסתדרים בלפתוח לבד, תגידו לי (או אם תרצו קישור בעמוד הראשי. --[[משתמש:ארז שיינר|ארז שיינר]] 20:29, 5 בנובמבר 2009 (UTC)


==תודה רבה!==
2) עברתי על השאלה בנוגע להוכחת תהליך גרם-שמידט ועדיין לא הבנתי את זה. עברתי על ההוכחה שיש בהרצאה וגם שם זה לא ברור לי. תוכל בבקשה להגיד לי מה בעצם מוכיחים ואיך מוכיחים?
הנה קישור לדף : http://math-wiki.com/index.php/%D7%90%D7%99%D7%A0%D7%A4%D7%99_1_%D7%9C%D7%AA%D7%99%D7%9B%D7%95%D7%A0%D7%99%D7%A1%D7%98%D7%99%D7%9D
אנא תוסיף קישור אליו בעמוד הראשי כדי שיתפתח קצת. תודה!


:הוספתי, והזזתי אותו לקישור [[אינפי 1 לתיכוניסטים תש"ע]]
תודה!


==לגבי שאלה 5.21 ב' ג' ו-5.22 א'==
ארז שלום,
את שאלה 5.21 אני מנסה כבר הרבה זמן לנסות להוכיח או להפריך ואני נתקע, אני פשוט לא יודע מה לעשות שם..
בשאלה 5.22 אני לא מבין איך למצוא את הפולינום המינימלי - משוואות לינאריות לא עוזרות שם, וגם אין דרך למצוא לזה פולינום אופייני.
עשיתי לפולינום המינימלי נוסחא של פולינום כללי, הצבתי את A והשוותי ל-0, החלפתי את כל החזקות של A, ב-A עצמה ומשם אני נתקע.
כמו כן לא הבנתי למה בסעיף ד' יש אפשרויות ל-tr(A).
אשמח אם תענה במהרה, תודה


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


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


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


==בקשר לשאלה 4.4==
2. צ"ל להוכיח שהנוסחא <math>w_i=v_i-\sum_{k=1}^i\frac{<v_i,w_k>}{<w_k,w_k>}w_k</math> נותנת וקטור שונה מאפס שמאונך ל<math>w_1,...,w_{i-1}</math>. על מנת להראות שהוא מאונך אליהם מראים שהמכפלה <math><w_i,w_j>=0</math> לכל <math>j<i</math>. אבל לפי ההנחה, הוקטורים <math>w_1,...,w_{i-1}</math> מאונכים זה לזה,  ולכן המכפלה יוצאת
בסעיף א', לא צריך בכלל את משפט השילוש.. מספיק לנו לדעת שהפולינום האופייני של A מתפרק לגורמים ליניאריים, ואז לפי משפט שהוכחנו בכיתה, a(n-1) של הפולינום הוא tr(a)-, ולפי פתיחת סוגריים של הפולינום מצד שני ניתן להגיד לכן שזה מינוס סכום הערכים העצמיים, ואז הוכחנו.. (מצטערת אם יצא קצת מסורבל)


===תשובה===
<math><w_i,w_j>=<v_i,w_j>-\frac{<v_i,w_j>}{<w_j,w_j>}<w_j,w_j>=0</math> כפי שרצינו.
צריך להוכיח את זה לפי משפט השילוש, ולא בעזרת המשפט שלמדתם בכיתה. איך הוכחתם בכיתה שהמקדם של <math>a_{n-1}</math> שווה ל<math>tr(A)</math>?


: לפי תמורות.
בנוסף, <math>w_i\neq 0</math> מכיוון שאחרת <math>v_i</math> ת"ל ב<math>v_1,...,v_{i-1}</math> בסתירה לכך שזה היה בסיס מלכתחילה.
::אוקיי. הדרך שהצעת הינה יפה, אני בכל זאת מעדיף שזה יעשה עם משפט השילוש, כי זו מטרת התרגיל.
::: אז לא הבנתי.. הדרך שאני עשיתי היא -השתמשתי במשפט השילוש כדי למצוא מטריצה B שדומה לA, ואיברי אלכסונה הם הע"ע של A. ואז השתמשתי בעובדה שיש להם אותו פולינום אופייני, ובגלל המשפט הנ"ל, מתקיים שמינוס טרייס A = מקדם של האיבר הn-1 בפולינום = מינוס טרייס B.          ולכן טרייס A שווה לסכום הערכים העצמיים. זה בסדר?


::::הגעת למטריצה דומה עם אלכסון שמורכב מהע"ע. מה אנחנו יודעים על הtrace של מטריצות דומות?
:: תודה רבה! - אבל יש רק דבר אחד שלא הבנתי: בנוגע ל-1, שיקוף אמור להיות ה-Ref. למה אמרת שהוא מטריצה של 1 ו-מינוס 1 על האלכסון?
::::: הtrace של מטריצות דומות שווה. איך אפשר להוכיח את זה, אגב?
:::::: למדנו ש<math>tr(AB)=tr(BA)</math>. לכן אם <math>A=P^{-1}AP</math> אז <math>tr(B)=tr(P^{-1}AP)=tr(PP^{-1}A)=tr(A)</math>


== שאלה בקשר לפולינום מינימלי ואופייני==
:::לכל שיקוף קיים בא"נ כך שהמטריצה של השיקוף לפי הבא"נ הינה <math>\begin{bmatrix}-1 & 0 \\0 & 1\end{bmatrix}</math>.
לפי מה שהבנתי, כל גורם אי פריק שמופיע בפולינום האופייני של מטריצה, יופיע גם בפולינום המינימלי שלה.
אני מבין למה זה נכון עבור גורמים לינאריים שמופיעים בפולינום האופייני, כי את שני הפולינומים מה שמאפס זה הערכים העצמיים של המטריצה. אני לא מבין למה זה נכון עבור גורמים לא פריקים לא לינאריים. למשל, אם הפולינום האופייני של מטריצה הוא
<math>P(t) = (t-1)(t-5)^2(t^2-5t+37)^5</math>
אז הגורם
<math>t^2-5t+37</math>
יופיע בהכרח בפולינום המינימלי בגלל שהוא לא פריק (מעל השדה R).
אשמח אם מישהו יתן הסבר למה.


===תשובה===
::::עדיין לא הבנתי. הרי שיקוף זאת המטריצה cosa,sina,sina,-cosa. למה הכוונה שאתה אומר שיש בא"נ שלפיו זאת המטריצה 1 0 0 1-?
אם תסתכל על המטריצה כמעל המרוכבים, הפולינום המינמלי שלה יהיה בעל מקדמים ממשיים (תאחד את הגורמים הלינאריים חזרה לגורמים אי פריקים מעל הממשיים), ולכן גם פולינום מינימלי מעל הממשיים. (אם היה פולינום קטן יותר עם מקדמים ממשיים הוא היה מאפס את המטריצה גם מעל המרוכבים כמובן.
::::: זו המטריצה לפי הבסיס הסטנדרטי. תראה שאלה 7 בארכיון 6.
:::::: אוקי, שוב תודה :)


==שאלה==
יש שאלת הוכח או הפרך שאני לא מצליח לעלות על הכיוון שלה. אשמח לעזרה...
הוכח\הפרך:


:לא הבנתי. איך ניתן להסתכל על המטריצה כאילו היא מעל המרוכבים? המטריצה היא מעל שדה F כלשהו, לא חייב להיות R. שאלתי היא איך מוכיחים שכל גורם לא פריק שמופיע בפולינום האופייני מופיע גם בפולינום המינימלי.
1. לכל מטר' A מרוכבת, I+A*A אינה סינגולרית.


::האמת שאני לא בטוח, הוכחתם את זה בהרצאה? אני מנחש שהטיעון שנתתי יעבוד מעל כל שדה F, כלומר ניקח שדה שמכיל את F שבו הפולינום מתפרק לחלוטין ואז נחזור על הטיעון. אבל זה לא חומר שאתם אמורים לדעת, אז אם הוכחתם יכול להיות שיש הוכחה קלה שאני מפספס.
2. אם k^2 ע"ע של A^2 אזי k ע"ע של A.


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


::::כן. לגבי התרגיל בספר, אני לא הכרתי את זה. זה נובע ישירות מתרגיל 5.10.
===תשובה===
1. הוכחה:


::::: שתי שאלות: הראשונה: איך זה נובע מתרגיל 5.10? ושאלה שנייה, בהרצאה המרצה כתב את הטענה של תרגיל 5.10 בתור מסקנה של המשפט שאומר שכל ערך עצמי מאפס את הפולינום המינימלי. איך מסיקים מהמשפט הזה את הטענה של תרגיל 5.10? תודה רבה :)
אנחנו יודעים ש<math>A^*A</math> הינה חיובית לחלוטין, נוכיח: דבר ראשון, היא הרמיטית ולכן הע"ע שלה ממשיים. דבר שני, נניח ש <math>\lambda</math> ע"ע של <math>A^*A</math> אזי <math>\lambda<v,v>=<A^*Av,v>=<Av,Av>\geq 0</math> ולכן <math>\lambda \geq 0</math>.


:::::: אם <math>f_a|m_a^n</math> אז כל גורם אי פריק של <math>f_a</math> חייב לחלק את <math>m_a</math>, בדומה לאם 12 מחלק את 6 בריבוע אז 2 ו3 חייבים לחלק את 6. ואני לא יודע איך זה נובע מכך שכל ערך עצמי מאפס את הפולינום המינימלי.
כעת, נניח בשלילה ש<math>I+A^*A</math> סינגולרית כלומר לא הפיכה. לכן בהכרח אפס ע"ע שלה, כלומר <math>|I+A^*A+0\cdot I|=0</math> כלומר, <math>|A^*A-(-1)\cdot I|=0</math> כלומר מינוס אחד הינו ע"ע של <math>A^*A</math> בסתירה לכך שהע"ע שלה הינם חיוביים.


==שאלה על תרגיל 5.21 ב'==
2. הפרכה:
יש לי שאלה - נכון כל מטריצה בת"ל דומה למטריצת הזהות? ונכון שאם A~B, וכן B~C אז A~C? אז מה הרעיון של סעיף ב'? כי אם הפולינום המינימלי זהה, אז קיימות שתי אפשרויות:
*הערך 0 מאפס את הפולינום המינימלי, ואז שתי המטריצות ת"ל, ולכן A~0, B~0 ולכן A~B.
*הערך 0 אינו מאפס את הפולינום המינימלי, ואז שתי המטריצות בת"ל, ואז A~I, B~I, ולכן A~B.


איפה הטעות שלי?
ניקח A=I. אזי <math>(-1)^2</math> הינו ע"ע של A^2=I אבל מינוס אחד לא ע"ע של A
:תודה רבה רבה רבה


===תשובה===
מי אמר שמטריצה ששורותיה תלויות לינארית דומה למטריצת האפס? הרי למטריצות דומות יש אותם ע"ע, כל מטריצה ש0 הוא ע"ע שלה אז הוא הערך היחיד שלה? בוודאי שלא.


==בהמשך לשאלה...==
==שאלה==
זהו, הבנתי! התבלבלתי כנראה עם המושג "שקול שורה", כלומר שאם מטריצה היא בת"ל אז אפשר להגיע בביצוע מספר סופי של פעולות שורה אלמנטריות למטריצת הזהות.. בכל מקרה, זה לא קשור לשאלה הזאת.
בהוכחה למעלה יש לך מעבר לא נכון, מ<A*Av,v> קפצת ל l<v,v< וזה לא נכון..


משום מה אני עדיין לא מצליח לחשוב על דרך להוכיח את ב'. רגע - האם מספיק לומר שאם לשתי מטריצות יש את אותם ערכים עצמיים, והן מאותו סדר - אז בהכרח הן דומות?
===תשובה===
שים לב ש<math>\lambda</math> הינו ע"ע של <math>A^*A</math> ולכן <math>A^*Av=\lambda v</math>


והמון תודה על העזרה ועל המסירות!!
==שאלה==
:עוד שאלה שאני שובר את הראש עליה, עזרה תתקבל בברכה:
:A מטריצה מרוכבת בגודל 3X3 כך ש:
:A(A^2+I)(A-2I)=0
:הוכח: A לכסינה.


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


-
תשובה
זה מתפרק לפולינום שA פותרת אותו:
x(x-i)(x+i)(x-2)      z
אנחנו יודעים שA מרוכבת, לכן הפולינום האופייני שלה מתפרק לגורמים ליניאריים מעל המרוכבים תמיד.
מלבד זאת, אנחנו יודעים שהפולינום המינימלי של כל מטריצה (בפרט A) מחלק כל פולינום המאפס אותה (את A)
ואם הפולינום המינימלי מחלק את הפולינום הזה ואנחנו יודעים שהוא ממעלה קטנה\שווה 3 לכל מטריצה מסדר 3X3, הוא מהצורה
http://math-wiki.com/images/math/4/0/2/40248c16227e65ef2bce5e5d2056d7bf.png
וזה אם ורק אם A לכסינה


הממ.. אוקיי, אבל נניח שיש לי שתי מטריצות - איך אפשר להוכיח שהן לא דומות? אפשר להראות שהדט' שונה, או שהעקבה שונה או שהדרגה שונה, אבל בכל המקרים הללו הדוגמא שנתת לא תופסת כי הם כולם שווים. באופן כללי איך אפשר להוכיח ששתי מטריצות אינן דומות?
::איך קטנה שווה 3? לא אמור להיות קטנה שווה ל4? הפולינום הנתון הוא ממעלה 4!!


:מימד מרחבים עצמיים שונה
:: כן אבל הפולינום המינמלי צריך לחלק את הפולינום האופיני כאשר הפ"א הוא ממעלה 3 (תסתכל בהרצאה 2 אם אתה לא זוכר..) ולכן הפולינום המינימלי הוא מדרגה קטנה או שווה ל-3..
::אפשר גם להוכיח שיש להן צורת ז'ורדן שונה? או בפרט אם A ו-B מטריצות ז'ורדן שונות אזי בהכרח A לא דומה ל-B? (הרי אם כן, זה אומר של-A יש שתי צורות ז'ורדן, ולכל מטריצה יש צורת ז'ורדן יחידה עד כדי שינוי סדר התאים).
:::אני מניח שזה נכון (לא לשכוח שהיחידות של צורת ז'ורדן היא עד כדי סדר הבלוקים). זה לא תרגיל על צורת ז'ורדן, אבל זו תשובה מקובלת.


==בעיה בתרגיל 5.18 סעיף ב'==
==שאלה==
לפי הגדרת הכמק"ב באותו עמוד, הכמק"ב אינו יחיד.
שיינר, אם אפשר ליישר קו, מה אומר החלק המתמטי של משפט אוילר, שאותו אנחנו צריכים לדעת?
אם למשל ניקח את הפולינום <math>x-1</math> ו <math>x-2</math>, אז הכמק"ב שלהם יכול להיות <math>(x-1)(x-2)</math> ויכול להיות גם <math>4(x-1)(x-2)</math>. אם כך, איך ניתן להוכיח בתרגיל הזה שהפולינום הוא אכן מתוקן? זהו תנאי לכך שהוא יהיה פולינום מינימלי.


===תשובה===
===תשובה===
פשוט לוקחים את הכמק"ב המתוקן, כמו שאתה אומר ניתן היה לכפול את הפולינום בקבוע והוא עדיין יחלק את שני הפולינומים האחרים, אבל זה לא משמעותי.
אני לא יכול לעזור בזה, כיוון שלא ראיתי את המבחן.
:אז להוכיח שקיים כמק"ב מתוקן, ואז להוכיח שהוא הפולינום המינימלי?
::אין מה להוכיח שקיים כמק"ב מתוקן, זה טריויאלי, כי מחלקים במקדם של המונום הגבוה. מה שחשוב הוא שהפולינום המינימלי הוא כמק"ב.


תנסו להבין כמה שאתם יכולים.


==שאלה - 5.21==
ארז - אני פשוט לא מוצא דוגמא נגדית, אבל אני יודע שאפשר להפריך את הטענה! קראתי איפשהו שההפרכה תעבוד רק על מטריצות מסדר n>=4 או משהו כזה.. בכל מקרה, האם מותר לי לקחת שתי מטריצות שהפולינום המינימלי שלהן הוא 0?
תודה!


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


* למטריצות עם ערך עצמי אפס (שהוא ע"ע יחיד).. לא?
אז תחשוב כמה נחמד זה להיות יום לפני מבחן ולא לדעת מה אומר המשפט :)
** לא, למטריצות כאלו הפולינום המינימלי הוא t^k. פולינום מינימלי מוגדר כפולינום המאפס מהמעלה הקטנה ביותר שאינו 0, הרי אחרת פולינום ה-0 היה הפולינום המינימלי לכל מטריצה.
***אז רגע - איך אפשר אחרת להפריך את הטענה? ניסיתי כבר לפחות 6 זוגות שונים של מטריצות כשאחת מהן היא בלוק ג'ורדן, אתה לא יודע איזה מתסכל זה למצוא פולינום אופייני, ואח"כ להתחיל להציב ולחפש את הפולינום המינימלי ובסוף לגלות שהזוג שבחרת לא נכון...
**** על איזה סעיף אתה מדבר בכלל? תנסה מטריצות שהן מטריצות ג'ורדן ולא תאי ג'ורדן. ד"א, עם מטריצות ג'ורדן אין שום סיבה לחשב את הפולינום האופייני או המינימלי - את האופייני אפשר לדעת על פי אברי האלכסון שהם הערכים העצמיים, ואת המינימלי אפשר על פי משפט שהוכח בהרצאה, שאומר שמעלת הגורם הלינארי (t-x) בפולינום המינמלי כאשר x ע"ע של A, הוא גודל תא הג'ורדן הגדול ביותר בצורת הג'ורדן של A, וכך אפשר למצוא את הפולינום המינימלי מיד.
*****התכוונתי לסעיף ב'. ניסיתי את מטריצות ג'ורדן (J למדא..) אבל עדיין זה נראה לא הגיוני
******J למדא הוא תא ז'ורדן. מטריצת ז'ורדן היא מטריצה שבנויה מתאי זורדן. שים לב שאם A ו-B שתי מטריצות ז'ורדן שונות (ולא שונות על ידי שינוי סדר התאים, אלא שונות בתאים עצמם), אז בהכרח A ו-B לא דומות, שכן לכל מטריצה יש רק צורת ז'ורדן אחת. תנסה לבנות שתי מטריצות ז'ורדן (תנסה מטריצות מסדר 4) עם ע"ע אחד, כך שהבלוק הכי גדול של שתי המטריצות הוא מאותו גודל אך הבלוק\ים האחרים בגודל שונה.
*******אלפי תודות :) !! הבנתי! ממש עזרת לי, ושוב תודה רבה!!
********אני חייב לציין 2 דברים: 1. למקרה שזה לא ברור, זה לא עניתי ועזרתי, התודות למי שענה :) 2. אני קורא לזה בלוק ז'ורדן ולא תא ז'ורדן (לא שזה משנה כמובן, אני מציין כדי למנוע בלבול).--[[משתמש:ארז שיינר|ארז שיינר]] 19:41, 9 בנובמבר 2009 (UTC)
==תרגיל מספר 4==
'''הקובץ של תרגיל מספר 4 לא עולה לי, מה לעשות?'''


===תשובה===
זו שאלה שונה, המשפט אומר שהזזה של גוף צפיד עם נקודת שבת שקולה לסיבוב סביב ציר מסוים.
למה הוא לא עולה? אני רואה שלאחרים אין בעייה. אתה לא מצליח להוריד את הקובץ או לפתוח אותו?
 
==תרגיל 5.22 סעיף ד'==
הפתרון שלו תלוי במאפיין של השדה F... האם עלי להתעלם ממנו?
 
===תשובה===
זה לא באמת תלוי, השאלה היא מה הן האפשרויות. בין האפשרויות השונות תקבל גם את האפשרויות של שדה ממאפיין שונה מאפס.


תודה I GUESS...


==שאלה==
==שאלה==
מהו הפולינום המינימלי של המטריצה A=0 (מטריצה ריבועית מסדר 1x1 שהאיבר בה הוא 0)?
למה אם 0=(SV,V) לכל V כאשר S אופרטור לינארי צל"ע אז S=0??


===תשובה===
*לך לארכיון 5 יש שם תשובה לשאלה ממש דומה ואפילו נראה לי כזאת שמכלילה את זה..
הע"ע היחיד הוא 0, לכן t.
*ומהו t?
**המשתנה של הפולינום. קוניאבסקי מסמן אותו ב-t, אולי צבאן מסמן אותו ב-x.
***תודה רבה!! ושאלה אחרונה - את 5.21 ג' אפשר להוכיח, נכון? כי אם לכל מטריצה יש הצגת ג'ורדן יחידה, אז למטריצות ג'ורדן עם אותו פולינום מינימלי קל לראות שיש להן את אותו פולינום אופייני, אני צודק?
****אבל אתה לא יודע שאלו מטריצות ז'ורדן, ואתה לא יודע שיש להן אותה צורת ז'ורדן. שים לב מה קורה לשתי מטריצות בעלות אותם ערכים עצמיים אך עם ריבוי אלגברי שונה לכל ערך עצמי.
*****עזוב את מטריצות ג'ורדן - מצאתי דרך להוכיח שזה חייב להיות נכון. שים לב שבתרגיל מבקשים ש-A ו-B יהיו מאותו סדר - לכן המעלה הגבוהה ביותר תהיה שווה בשני המקרים, בהנחה שהפולינום המינימלי שווה. לכן אם הפולינום המינימלי שווה אז בהכרח גם הפולינום האופייני שווה.
******המעלה הגבוהה ביותר איפה? אתה לא יודע שהפולינום האופייני בכלל מתפרק לגורמים לינאריים וגם אם היית יודע את זה אז אתה יודע רק שסכום הריבויים האלגבריים שווה, אתה לא יודע שהריבוי האלגברי של כל ע"ע שווה, וזו בדיוק הדוגמה הנגדית.
*******אההה אוקיי שמתי לב עכשיו שכאן כבר יכלתי להביא דוגמא פשוטה של מטריצות אלכסוניות... סבבה, תודה :) !


::(מישהו אחר) הסתכלתי שם וראיתי שאתה גם מוכיח את זה וגם מוכיח שזה לא נכון. אני לא מבין מה ה"תיקון" שהיה שם, הרי זאת אותה השאלה בדיוק..:S
::: סבבה הבנתי, תודה על ההערה. :)


== 5.22 ג' ==
איך אפשר להוכיח?


===תשובה===
::תקרא שובפעם מה שכתוב שם ותראה שבשאלה הראשונה שנשאלה לא מיקדו אותך מעל איזה שדה זה( R או Cׂ ׂ) ואז יכלת להפריך זאת ע"י דוגמא מעל R        אבל  כאשר זוהי העתקה מעל C הדוגמא שנתנה בתחילה לא סותרת את זה ובהוכחה גם הוא השתמש בכך שאתה מעל C ...
אחרי שמצאת אותו בסעיף א', קל להראות שהוא מתפרק לגורמים לינאריים...
        מה שכן- זה באמת לא ממש אותה שאלה, כי פה באמת לא אומרים לך מעל איזה שדה אתה... תנסה לחשוב על זה קצת (:


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


===תשובה===
נתונה מטריצה A:
ניתן לצטט את משפט ז'ורדן ולהשתמש בו בתרגיל.
           
:ומה נעשה אנו שלמדנו אצל עדי ולא למדנו את משפט ז'ורדן?


::לא למדתם את המשפט גם בהרצאה? לא ראיתם דוגמאות למציאת צורות ז'ורדן?
0 0 0 5
:::אבל אי אפשר להשתמש בתכונות שכתבת בתרגול? בכלליות, גם במבחן, ניתן להתייחס אליהן כברורות מאליו ואפשר להשתמש בהן או שצריך להוכיח?
::::אילו תכונות? את משפט ז'ורדן אין צורך להוכיח כמובן, כי לא למדתם להוכיח את זה בכלל.
::::: התכוונתי ל4 התכונות.. התכונה הראשונה הייתה שסכום הסדרים של Jij עבור i קבוע הוא הריבוי האלגברי של למדהi.. וכו'..
:::::: זה משפט ז'ורדן, וכמו שאמרתי לא למדתם להוכיח אותו. מותר להשתמש
::::::: ארז (או כל אחד אחר), תוכל לכתוב כאן את 4 התכונות של משפט ז'ורדן (אלו שכתבת בתרגול שלך) בצורה מסודרת, למען אלו שלא זכו לשמוע אותן אצל המתרגל השני, בבקשה?
אני באמת חושב שצריך לעשות משהו בנוגע לזה, כי אני שלומד אצל עדי כל פעם מגיע לשיעורי הבית עם חוסר בשיטות לפתרון של תרגילים...
:מחזק. אי אפשר שזה ימשך ככה...


==משפט הקיום והיחידות של צורת ז'ורדן==
0 0 4 1
תהי מטריצה <math>A</math> כך ש


<math>f_A(t)=(t-\lambda_1)^{n_1}(t-\lambda_2)^{n_2}\cdots (t-\lambda_r)^{n_r}</math> (כלומר <math>f</math> מתפרק לגורמים לינאריים). ו-
0 3 3 2


<math>m_A(t)=(t-\lambda_1)^{m_1}(t-\lambda_2)^{m_2}\cdots (t-\lambda_r)^{m_r}</math>
3 6 5 4


אזי <math>A</math> דומה לסכום ישר של בלוקי ז'ורדן <math>J_{ij}=J(\lambda_i)</math> בעלי התכונות הבאות:
א) מצא את צורת הז'ורדן של A (צדקת ארז, זה באמת עם ז'.. חחח)


*לכל ע"ע <math>\lambda_i</math> קיים לפחות בלוק אחד <math>J_{ij}</math> בגודל <math>m_i</math>, כלומר <math>J_{ij}=J_{m_i}(\lambda_i)</math>
ב) מצא מטריצה P הפיכה כך ש-p^-1*A*P היא צורת הז'ורדן של A.
תודה!


*סכום הגדלים של הבלוקים <math>J_{ij}</math> עבור <math>i</math> קבוע שווה ל<math>n_i</math> (כלומר הריבוי האלגברי של <math>\lambda_i</math>)
:למדנו בכלל למצוא את הP ההפיכה הזו? אני חושבת שאנחנו לא צריכים לדעת את זה
::לא למדנו מטריצה מז'רדנת. לא צריך לדעת.


*מספר הבלוקים <math>J_{ij}</math> עבור <math>i</math> קבוע שווה לריבוי הגיאומטרי של <math>\lambda_i</math>. (תזכורת: זה המימד של המרחב העצמי של <math>\lambda_i</math>)
== שאלה ==
איפה המבחן מחר?


*הגדלים של שאר הבלוקים <math>J_{ij}</math> נקבעים בצורה יחידה על פי המטריצה <math>A</math>. במילים פשוטות, צורת ז'ורדן היא יחידה עד כדי סדר הבלוקים בסכום הישר.
לפי אורי וייס
505 כיתה 2- זה רק הכיתה של בוריס...505 כיתה 1 זה הכיתה של צבאן...


==תרגיל מס 4 שאלה 2==
== שאלה ==


איך אני יכול למצוא את מטריצת זורדן המתאימה אם לא נתון הפולינום המינימלי
סתם שאלה, אפשר לראות הוכחה לכך שאם U הוא T אינ' אז גם U+ (הת"מ הנציב) הוא גם T אינ' כאשר T א"ג, אני לא בטוח שהדרך שלי נכונה...
איך אני יכול לדעת מהו התא הכי גדול?


===תשובה===
אתה צריך למצוא את '''כל''' צורות הז'ורדן האפשריות בהתחשב בנתונים. שים לב שמסעיף ב' ברור שיש אפשרויות שונות לפולינום המינימלי.


==תרגיל4 שאלה 3==
מהו האיבר במקום האחרון (4,4) של המטריצה A? הכתב לא ממש ברור.
===תשובה===
===תשובה===
אני מניח שאפס
T אורתוגונאלי, ולכן לא מנוון
לכן, לפי משפט הדרגה, IMT=Uכאשר T מצומצם על U+
כלומר לכל w בU קיים w' כך ש  T(w')=w
נניח y במרחב הניצב למרחב המקורי
<w,Ty>=<Tw',Ty>=<w',y>=<0>
ולכן Ty גם בU+


==תרגיל מספר 4==
הקובץ המצורף של תרגיל 4 לא עולה לי, מה לעשות?
===תשובה===
למה הוא לא עולה? אני רואה שלאחרים אין בעייה. אתה לא מצליח להוריד את הקובץ או לפתוח אותו?


:אי אפשר לפתוח/ להוריד אותו. זה כותב שהקובץ פגום.
==שאלה==
::אם הקובץ היה פגום, היה ניתן להוריד אותו והמחשב היה אומר שהוא פגום. אני אוסיף קישור שוב פה: '''[[מדיה:09linear2targil4.pdf|תרגיל 4]]'''. אם זה לא עובד תנסה להוריד גרסא חדשה של acrobat
האם פונקציה דו לינארית שולחת בהכרח לסקלר?
:::גם לי זה לא נפתח, מה אפשר לעשות?
==תשובה==
::::אתם חייבים לפרט יותר. אני מנסה לעזור לכם ואתם רק אומרים שזה לא נפתח. ניסיתם את הקישור השני? עדכנתם גרסאת Acrobat?
לפי ההגדרה f:VxV->F לכן בהכרח סקלר.


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


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


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


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


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


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


<math>|A|=|P^{-1}BP|=|P^{-1}|\cdot |B|\cdot |P| =|P^{-1}|\cdot |P| \cdot |B| = |B| </math>
:אין ספק שאתה צריך לתרגל אותנו אינפי 2..חחח


: תודה. ובנוגע לסעיף ב' של אותה שאלה, איך אני יכולה להסתמך על סעיף א' אם נתון לי שA בR? לא בטוח שהפולינום האופייני שלו מתפרק לגורמים מעל R..


::אני אניח שאת מתכוונת לשאלה אם <math>A^2=-I</math>. מה הקשר בין הע"ע של <math>A</math> לאילו של <math>A^2</math>?
תודה לכם, ומקווה שהלך טוב המבחן. מי שלא, נתראה במועד ב'.


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


::::נניח <math>f</math> פולינום ויהי <math>z \in \mathbb{C}</math> כך ש <math>f(z)=0</math>. למה שווה <math>f(\overline{z})</math>?
:חחחחחחחחחחחח גדוללל!


::יש קשר כמובן הין הע"ע של A וA^2, אבל עדיין זה לא אומר לי שהפולינום האופייני של A מתפרק לגורמים לינאריים מעל R
:מאיפה אתה קונה את העניבות האלה? גמאני רוצה 8)
:::נכון, אבל מי אמר שהפולינום של A צריך להתפרק לגורמים לינאריים?
::::אומרים להעזר בא', וא' מתקיים רק אם התנאי הנ"ל מתקיים..
:::::א' לא מתייחס כלל לפולינום של המטריצה בנתוני השאלה, אלא נכון לכל מטריצה מרוכבת. כל מטריצה ממשית היא בפרט מטריצה מרוכבת. זה נכון שהע"ע של המטריצה כמרוכבת וכממשית לא חייבים להיות זהים.
:::::ארז, תודה על ההתמדה והמסירות :) אבל כדי להוכיח את א' הסתמכתי על זה שהפולינום שלה מל"ל כי היא מעל C.


שים לב, אותו פולינום יכול להיות מל"ל מעל C אבל לא מעל R. אם תוכיח שמטריצות מסוימות הן לא שוות מעל המרוכבים (או לא דומות מעל המרוכבים) בוודאי הן לא שוות או דומות מעל הממשיים. אתה צודק שיכולים להיות ע"ע מרוכבים ולכן זה לא נכון למטריצה מגודל 2 על 2. בכל מקרה אפשר להשתמש בא' על מנת להוכיח שזה לא עובד מעל המרוכבים ולכן גם לא מעל הממשיים.
חחח תכלס עניבות מגניבות...מתרגל מצוין עם אחלה לוק !!!


==שאלה==
=שאלה=
ראיתי שהבוחן יוצא ב - 22 לדצמבר אבל יש לי מסע ישראלי מטעם בית הספר באותו הזמן - מה אני אמור לעשות?
בציוני התרגיל שלי תרגיל שהגשתי וקיבלתי חזרה כתוב שקיבלתי בו 0 למרות שקיבלתי בו 95.
מה לעשות?


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


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


===תשובה===
זו הוכחה של 2 שורות.


סתם שאלה-מתי מתחיל סמסטר ב'? תודה...
:מתי יפורסמו פתרונות למבחן?
::אחרי שהמבחנים יבדקו
:::לא מאמינים. תוכיח :)
:::: אני אף פעם לא משקר. אמרתי שאחרי שהמבחנים יבדקו. לכן משפט זה הוא אמת. מ.ש.ל
==שאלה==
==שאלה==
למה אם לשתי מטריצות יש צורת ז'ורדן שונה, הן בהכרח לא דומות?
מה מס' הקורס? :P
==אמירה==
יש ציונים!!!
 
למה לקבוצה של בועז אין ומתי יהיה?
 
הם עוד בבדיקה, אני מקווה שיהיה בקרוב. פתרון המבחן נמצא בדף הפתרונות
 
איך התחלק הניקוד בשאלות ההוכחה בין סעיף א לב?
 
18/11
 
מה 18 ומה 11  עזוב מספרים שפה קשה כאילו סעיף א-18 וסעיף ב-11?


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


==בקשר לתרגיל הראשון==
::עד כמה שידוע לי לא ירדו נקודות על זה. חכו לפתיחת המחברות
איך ניתן להפריך אותו? הרי בתרגיל, הכתבת לנו כמה תכונות של מטריצת ג'ורדן, והיא נקבעת בעצם לפי הפולינום המינימלי והאופייני, הריבוי האלגברי [הפולינום האופייני..], הריבוי הגיאומטרי ובשאלה נתון שכולם שווים!


===תשובה===
מתי הפתיחת מחברות?
אתה אומר שהיא נקבעת על פי התכונות האלה, אם זה נכון תוכיח את זה. אם זה לא נכון תראה למה זה לא נכון וזו תהיה הפרכה.


== שאלה ==
תשאלו את המרצים


האם בתרגיל הראשון A ו-B חייבות להיות מעל אותו שדה?
==הכרזה==
יש ציונים! וכן, גם לקבוצה של ד"ר צבאן! (ב'ציוני ביניים')


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


==שאלה==
יש משפט שאומר שניתן לדרג מטריצה ללא שימוש בפעולת כפילת שורה בסקלר?
===תשובה===
לדרג עד מתי? שיהיה מדורג או קנוני?


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


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


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


==שאלה==
==הצעה==
אם עשיתי פעולות שורה על מטריצה, המטריצה המקורית והמטריצה של הפעולות שורה ועמודה דומות?
לדעתי יהיה הוגן להחליט שאם ציון המבחן גבוה מציון הבוחן, אז הציון הסופי ייקבע כ-90% מציון המבחן ועוד 10% מציון התרגילים.


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


<math>I=\begin{bmatrix} 1 & 0 \\ 0 & 1\end{bmatrix}</math>
מתי יהיו ציונים סופיים?


ע"י חיבור השורה השנייה לראשונה נקבל:
לא יודע, אבל ניתן לחשב פחות או יותר לבד: 20 אחוז ציון תרגיל (הציון הסופי שפורסם באתר) ו80 אחוז ציון מבחן.


<math>I'=\begin{bmatrix} 1 & 1 \\ 0 & 1\end{bmatrix}</math>
===פתיחת מחברות===
מה עם פתיחת המחברות של הקבוצה של בוריס?


שתי המטריצות הן בצורת ז'ורדן, הראשונה מכילה שני בלוקים בגודל 1 והשניה מכילה בלוק אחד בגודל 2. לכן הן לא דומות


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


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


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


לא הצלחתי להעלות את תרגיל 4! ולכן לא היה לי זמן להשלים אותו מחברים! (אני עובד על השיעורים רק מאוחר בלילה, אז אך אחד לא יכל לעזור לי...). לא הגשתי אותם- מה אני עושה?
לגבי שאר התלמידים: זו החלטה שעליהם לקחת בעצמם, ויש לקחת בחשבון כמה דברים.


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


===תשובה===
מידע נוסף, כולל מי צריך להירשם למועד ב' ואיך, תמצאו בקישור הבא (מקורס קיץ ישן):
לא הייתה סיבה אמיתית שהוא לא יעלה, ואני עניתי דיי במיידית לטענות כאלה. לתרגיל שלא מוגש אין ציון, מותר להחסיר תרגיל אחד, ובסוף הסמסטר הממוצע יחשב בלעדיו.
 
http://u.cs.biu.ac.il/~tsaban/Summer08/Summer08.html


==תרגיל 1.4==
בהצלחה,


בסעיפים ב' וג' יש הפניה לשאלה 1.1, ואני לא ממש מצליחה למצוא ת'קשר...
ד"ר בועז צבאן
יש בעיה עם ההבנה שלי או עם הספר??


===תשובה===
: תודה רבה
הכוונה לשאלה 1.3 לשני הסעיפים

גרסה אחרונה מ־17:16, 2 במאי 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 - שאלות על המבחן

ארכיון 6 - שאלות על המבחן

שאלות

פתיחת מחברות

מתי יש פתיחת מחברות של מועד ב'?

תשאלו את המרצים

מבחן מועד א'

העלתם את הפתרונות של מועד א' אבל לא העליתם את המבחן עצמו. אתם יכולים להעלות את המבחן? תודה.

תשובה

תצלם מאחד החברים, אני אפילו לא בטוח שיש לי אותו

פתיחת מחברות

מתי בדיוק תתקיים פתיחת מחברות לקבוצה של ד"ר צבאן?

פתרון המבחן-בקשה מהמתרגלים והמרצים

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

  ,תודה רבה.


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

ציוני מבחן

מתי יהיו הציונים בלינארית בערך?

תשובה

הבדיקה בשלביה האחרונים, אנחנו מקווים שיהיה תוצאות כבר בשבוע הבא

מקום הפרסום

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


תשובה

אני לא יודע, אני אודיע כשאדע

שאלה

אהמ, מישהו יודע אם יש מצב להקדים מועד ב' ??

שאלה

אם נתון לי בסיס E וקיימת לי מטריצה אוניטרית P, מותר לי להגדיר בא"נ B כך ש P תיהיה מטריצת המעבר מ B ל E?

תשובה

כן. כי אם נכפיל בשמאל במטריצה המעבר מE לS הסטנדרטי היא תהיה אוניטרית לכן המכפלה תהיה אוניטרית והמכפלה תהיה מטריצה המעבר מB לS ולכן B בא"נ.

הוכח\הפרך

שאלה מהמבחן של בוריס שנה שעברה, האם מישו הצליח לפתור?- תהי A מטריצה ממעלה >=2 כך ש-[math]\displaystyle{ degA=2 \lt = rkA=1( }[/math]

תשובה

אני הצלחתי להוכיח - אבל אני לא בטוח ב - 100% בנכונות של זה - תנסה לכתוב את A בצורה מפורשת ותעבוד עם זה

גם אני חשבתי ככה (כתבתי את A בתור שורה אחת עם ערכים שאני לא יודע מה הם וכל שאר השורות אפס, ואז הראתי שהפולינום המינימלי על ידי בדיקה הוא באמת ממעלה 2 תמיד), אבל זה ש RANK A = 2 לא בהכרח אומר שלA יש N-1 שורות אפסים, אלא שאפשר להביא אותה לצורה מדורגת כך. לכן הדרך של כתיבה מפורשת לדעתי לא נכונה (ואכן אני לא יודע איך כן להוכיח את זה...).

תשובה: (נכונה) rankA=1 => dimIm(A)=1 ולכן dimKer(A)=n-1 ואז המימד של המרחב העצמי של 0 הוא n-1 (הריבוי הגיאומטרי של 0). מכיוון שהריבוי האלגברי תמיד גדול או שווה לגיאומטרי הוא או N או N-1. אם הוא N אז לפי משפט צורת ז'ורדן יש N-1 בלוקים של 0 אך כל הN עמודות הן של 0 ולכן הבלוק בגודל הכי גדול הוא בגודל 2 ואז M(A)=A^2 כדרוש. אם הוא N-1 אז מכיוון שסכום כל הריבועים האלגבריים הוא N אז יש עוד ערך עצמי עם ריבוי אלגברי (ולכן גם ריבוי גיאומטרי) של 1. לכן לפי משפט צורת ז'ורדן, יש N-1 בלוקים של 0 ו-1 של הערך העצמי הנוסף (נגיד X) ואז הגודל המקסימלי של כל בלוק הוא 1 והפולינום המינימלי הוא M(A)=A(A-X)=> rank(M)=2 מש"ל (סליחה שלא כתבתי הכל בכתיב מתמטי אבל אין לי באמת מושג איך..)

שאלה

אני יודעת שאתמול הוכחת לנו את זה לפני השיעור חזרה, אבל זה היה ממש לא מסודר ולא ממש הצלחתי לעקוב, אז אני אשמח אם אתה (או מישהו אחר בכיף(:) יתן תשובה: ככה: T נורמלי הוכח ש- [math]\displaystyle{ im(T)=im(T^*) }[/math]


הוכחה

דבר ראשון נוכיח ש[math]\displaystyle{ ker(T)=ker(T^*) }[/math]. נניח [math]\displaystyle{ v \in kerT }[/math] לכן [math]\displaystyle{ Tv=0 }[/math] ולכן [math]\displaystyle{ \forall u: \lt T^*Tv,u\gt =\lt 0,u\gt =0 }[/math] אבל [math]\displaystyle{ T^*T=TT^* }[/math] ולכן [math]\displaystyle{ \forall u: \lt TT^*v,u\gt =0 }[/math] ולכן [math]\displaystyle{ \forall u: \lt T^*v,T^*u\gt =0 }[/math] ובפרט זה נכון עבור v=u ולכן [math]\displaystyle{ \lt T^*v,T^*v\gt =0 }[/math] ולכן [math]\displaystyle{ T^*v=0 }[/math] כלומר [math]\displaystyle{ v \in ker T^* }[/math]. בכיוון ההפוך ההוכחה דומה.


עכשיו נוכיח את הטענה. [math]\displaystyle{ v \in kerT }[/math] אם"ם [math]\displaystyle{ \forall u: \lt Tv,u\gt =0 }[/math] אם"ם [math]\displaystyle{ \forall u: \lt v,T^*u\gt =0 }[/math] אם"ם [math]\displaystyle{ v \in (ImT^*)^\bot }[/math] ולכן [math]\displaystyle{ kerT = (ImT^*)^\bot }[/math]. בצורה דומה [math]\displaystyle{ kerT^*=(ImT)^\bot }[/math]. אבל הגרעינים שווים ולכן [math]\displaystyle{ (ImT)^\bot=(ImT^*)^\bot }[/math] ומזה נובע שהם שווים (כי המרחב המאונך הינו יחיד, והמאונך של המאונך הינו המרחב עצמו).

השלמה לבסיס

האם קיימת דרך בה ניתן להשלים וקטור [math]\displaystyle{ v_1 }[/math] לבסיס עבור [math]\displaystyle{ F^n }[/math] . למשל שמשלשים וצריך להשלים לבסיס?

תשובה

זו שאלה מלינארית 1. על מנת להשלים קבוצת וקטורים לבסיס, אתה שם אותם בשורות מטריצה, מדרג אותה, ומוסיף וקטורים שמשלימים את הצירים החסרים.

שאלה

איך מראים שלמטריצה נילפוטנטית יש רק ע"ע אחד שהוא 0 ? בנוסף, צ"ל שמטריצה משולשת עם אפסים באלכסון היא נילפוטנטית. אני יכול לומר שהמטריצה דומה לצורת זורדן עם אפסים באלכסון ומעל אחד-ים ואם נעלה בחזקת K אז נקבל את מט' האפס. איך ממשיכים?

הכי פשוט שבעולם - אני הסתכלתי על זה ככה: לפי משפט השילוש, 0 הוא הע"ע היחיד שלה (בהנחה שהאלכסון כולו אפסים), ולכן הפולינום האופייני שלה הוא f(x)=x^n. אם תציב את A תקבל 0, ולכן A^n=0, וזו בדיוק ההגדרה של נילפוטנטית - אם *קיים* k (במקרה זה k=n) עבורו A^k=0.

תשובה

תשובה לע"ע רק 0-A נילפוטנטנטית מסדר K. נניח שיש ערך עצמי L שהוא לא אפס. ז"א Av=Lv. נכפול משמאל ב-A^K-1 ונקבל 0=LA^k-1V= אבל A*v= lv ולכן קיבלנו A^k-2*l^2=0. אבל A^K-2 שונה מאפס, וL שונה מאפס ולכן סתירה

שאלה

איך מוכיחים את הכיוון הבא: אם T אוניטרית אזי היא מעבירה בא"נ לבא"נ אחר (T מעל C)

תשובה

צריך להוכיח שאם [math]\displaystyle{ v_1,...v_n }[/math] בא"נ אזי גם [math]\displaystyle{ Tv_1,..Tv_n }[/math] בא"נ. ההגדרה של בא"נ הינה שהמכפלה הפנימית של כל זוג וקטורים שונים היא אפס, והמכפלה הפנימית של וקטור עם עצמו הינה 1.

T אוניטרית ולכן [math]\displaystyle{ TT^*=T^*T=I }[/math]. נבדוק את המכפלה הפנימית של זוג וקטורים בבסיס החדש: [math]\displaystyle{ \lt Tv_i,Tv_j\gt =\lt v_i,T^*Tv_j\gt =\lt v_i,v_j\gt }[/math] ולכן המכפלות הן אותו הדבר (ראינו עכשיו שאופרטור אוניטרי שומר מכפלות פנימיות) ולכן גם הבסיס החדש הינו א"נ.

שאלה

א. יהי V מ"ו ממימד סופי, יהיא Y(פי) שייך ל- *V ושונה מ-0, יהי W ת"מ של V המכיל את KER Y(פי). צ"ל W=V או W=KER Y

ב. יהי V ממ"פ ממימד סופי. יה Y שייך ל- V* . הוכח כי קיים וקטור W שייך ל- V כך ש: V,W >= ( Y(V> לכל V שייך ל- V.

תשובה

א. אתמול בשיעור החזרה הראנו שהמימד של הגרעין של פונקציונל הינו n או n-1 (לפי משפט הדרגה). במקרה שהפונקציונל שונה מאפס המימד של הגרעין הינו n-1.

אם W מכיל את הגרעין והמימד שלו n-1 אזי הוא שווה לגרעין. אם המימד שלו n אזי הוא שווה למרחב V. אין עוד אופציות כי המימד שלו לא יכול להיות קטן מהמימד של הגרעין אותו הוא מכיל.

ב. זה משפט ההצגה של ריס.


שאלה

איך מראים שכל מטריצה מעל C דומה למטריצה המשוחלפת? A דומה לA^t

תשובה

בעזרת השאלה ממתחת. A דומה לצורת הז'ורדן שלה [math]\displaystyle{ A=PJP^{-1} }[/math] נשחלף לקבל ש [math]\displaystyle{ A^t=(P^t)^{-1}J^tP^t }[/math] כלומר A משוחלפת דומה לצורת הז'ורדן המשוחלפת. אבל על ידי החלפת בסיס מתאימה, צורת הז'ורדן המשוחלפת דומה לצורת הז'ורדן ולכן המטריצות דומות.

החלפת הבסיס היא שינוי סדרה איברי הבסיס מהסוף להתחלה, בתוך כל בלוק (נגיד הבלוק הראשון מגודל 3 והשני מגודל 2, אז נחליף לבסיס [math]\displaystyle{ v_3,v_2,v_1,v_5,v_4 }[/math].

שאלה

אם אני יודע שה"ל T מעל V ממימד N בהצגה לפי הסטנדרטי היא טראנספוז של בלוק ז'ורדן בגודל NXN, איך אני משנה את הבסיס ככה שהיא תצא בלוק ז'ורדן?

תשובה

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

שאלה

הוכח\הפרך: מעל R^n אם T אורתוגונלי וT^2=I אז T סימטרי. האם המטריצה ההפכית יחידה? כי אם כן TT=I TT*=I ואז T=T* משמע שזה אמת

תשובה

בוודאי שההופכית יחידה...

וזו הוכחה נכונה.

תודה! (:

2 שאלות

1) ארז תוכל בבקשה להסביר לי למה לכל אופרטור יש בא"נ כך שההצגה שלו לפי הבא"נ הזה היא סכום ישר של סיבובים ו-פלוס-מינוס אחדים?

2) עברתי על השאלה בנוגע להוכחת תהליך גרם-שמידט ועדיין לא הבנתי את זה. עברתי על ההוכחה שיש בהרצאה וגם שם זה לא ברור לי. תוכל בבקשה להגיד לי מה בעצם מוכיחים ואיך מוכיחים?

תודה!


תשובה

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

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

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

2. צ"ל להוכיח שהנוסחא [math]\displaystyle{ w_i=v_i-\sum_{k=1}^i\frac{\lt v_i,w_k\gt }{\lt w_k,w_k\gt }w_k }[/math] נותנת וקטור שונה מאפס שמאונך ל[math]\displaystyle{ w_1,...,w_{i-1} }[/math]. על מנת להראות שהוא מאונך אליהם מראים שהמכפלה [math]\displaystyle{ \lt w_i,w_j\gt =0 }[/math] לכל [math]\displaystyle{ j\lt i }[/math]. אבל לפי ההנחה, הוקטורים [math]\displaystyle{ w_1,...,w_{i-1} }[/math] מאונכים זה לזה, ולכן המכפלה יוצאת

[math]\displaystyle{ \lt w_i,w_j\gt =\lt v_i,w_j\gt -\frac{\lt v_i,w_j\gt }{\lt w_j,w_j\gt }\lt w_j,w_j\gt =0 }[/math] כפי שרצינו.

בנוסף, [math]\displaystyle{ w_i\neq 0 }[/math] מכיוון שאחרת [math]\displaystyle{ v_i }[/math] ת"ל ב[math]\displaystyle{ v_1,...,v_{i-1} }[/math] בסתירה לכך שזה היה בסיס מלכתחילה.

תודה רבה! - אבל יש רק דבר אחד שלא הבנתי: בנוגע ל-1, שיקוף אמור להיות ה-Ref. למה אמרת שהוא מטריצה של 1 ו-מינוס 1 על האלכסון?
לכל שיקוף קיים בא"נ כך שהמטריצה של השיקוף לפי הבא"נ הינה [math]\displaystyle{ \begin{bmatrix}-1 & 0 \\0 & 1\end{bmatrix} }[/math].
עדיין לא הבנתי. הרי שיקוף זאת המטריצה cosa,sina,sina,-cosa. למה הכוונה שאתה אומר שיש בא"נ שלפיו זאת המטריצה 1 0 0 1-?
זו המטריצה לפי הבסיס הסטנדרטי. תראה שאלה 7 בארכיון 6.
אוקי, שוב תודה :)

שאלה

יש שאלת הוכח או הפרך שאני לא מצליח לעלות על הכיוון שלה. אשמח לעזרה... הוכח\הפרך:

1. לכל מטר' A מרוכבת, I+A*A אינה סינגולרית.

2. אם k^2 ע"ע של A^2 אזי k ע"ע של A.

תודה לעוזר הנחמד.

תשובה

1. הוכחה:

אנחנו יודעים ש[math]\displaystyle{ A^*A }[/math] הינה חיובית לחלוטין, נוכיח: דבר ראשון, היא הרמיטית ולכן הע"ע שלה ממשיים. דבר שני, נניח ש [math]\displaystyle{ \lambda }[/math] ע"ע של [math]\displaystyle{ A^*A }[/math] אזי [math]\displaystyle{ \lambda\lt v,v\gt =\lt A^*Av,v\gt =\lt Av,Av\gt \geq 0 }[/math] ולכן [math]\displaystyle{ \lambda \geq 0 }[/math].

כעת, נניח בשלילה ש[math]\displaystyle{ I+A^*A }[/math] סינגולרית כלומר לא הפיכה. לכן בהכרח אפס ע"ע שלה, כלומר [math]\displaystyle{ |I+A^*A+0\cdot I|=0 }[/math] כלומר, [math]\displaystyle{ |A^*A-(-1)\cdot I|=0 }[/math] כלומר מינוס אחד הינו ע"ע של [math]\displaystyle{ A^*A }[/math] בסתירה לכך שהע"ע שלה הינם חיוביים.

2. הפרכה:

ניקח A=I. אזי [math]\displaystyle{ (-1)^2 }[/math] הינו ע"ע של A^2=I אבל מינוס אחד לא ע"ע של A

תודה רבה רבה רבה


שאלה

בהוכחה למעלה יש לך מעבר לא נכון, מ<A*Av,v> קפצת ל l<v,v< וזה לא נכון..

תשובה

שים לב ש[math]\displaystyle{ \lambda }[/math] הינו ע"ע של [math]\displaystyle{ A^*A }[/math] ולכן [math]\displaystyle{ A^*Av=\lambda v }[/math]

שאלה

עוד שאלה שאני שובר את הראש עליה, עזרה תתקבל בברכה:
A מטריצה מרוכבת בגודל 3X3 כך ש:
A(A^2+I)(A-2I)=0
הוכח: A לכסינה.


תשובה זה מתפרק לפולינום שA פותרת אותו: x(x-i)(x+i)(x-2) z אנחנו יודעים שA מרוכבת, לכן הפולינום האופייני שלה מתפרק לגורמים ליניאריים מעל המרוכבים תמיד. מלבד זאת, אנחנו יודעים שהפולינום המינימלי של כל מטריצה (בפרט A) מחלק כל פולינום המאפס אותה (את A) ואם הפולינום המינימלי מחלק את הפולינום הזה ואנחנו יודעים שהוא ממעלה קטנה\שווה 3 לכל מטריצה מסדר 3X3, הוא מהצורה http://math-wiki.com/images/math/4/0/2/40248c16227e65ef2bce5e5d2056d7bf.png וזה אם ורק אם A לכסינה

איך קטנה שווה 3? לא אמור להיות קטנה שווה ל4? הפולינום הנתון הוא ממעלה 4!!
כן אבל הפולינום המינמלי צריך לחלק את הפולינום האופיני כאשר הפ"א הוא ממעלה 3 (תסתכל בהרצאה 2 אם אתה לא זוכר..) ולכן הפולינום המינימלי הוא מדרגה קטנה או שווה ל-3..

שאלה

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

תשובה

אני לא יכול לעזור בזה, כיוון שלא ראיתי את המבחן.

תנסו להבין כמה שאתם יכולים.


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

אז תחשוב כמה נחמד זה להיות יום לפני מבחן ולא לדעת מה אומר המשפט :)

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

תודה I GUESS...

שאלה

למה אם 0=(SV,V) לכל V כאשר S אופרטור לינארי צל"ע אז S=0??

*לך לארכיון 5 יש שם תשובה לשאלה ממש דומה ואפילו נראה לי כזאת שמכלילה את זה..
(מישהו אחר) הסתכלתי שם וראיתי שאתה גם מוכיח את זה וגם מוכיח שזה לא נכון. אני לא מבין מה ה"תיקון" שהיה שם, הרי זאת אותה השאלה בדיוק..:S
סבבה הבנתי, תודה על ההערה. :)


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

שאלה

איך פותרים את סעיף ב' בשאלה הזאת:

נתונה מטריצה A:

0 0 0 5

0 0 4 1

0 3 3 2

3 6 5 4

א) מצא את צורת הז'ורדן של A (צדקת ארז, זה באמת עם ז'.. חחח)

ב) מצא מטריצה P הפיכה כך ש-p^-1*A*P היא צורת הז'ורדן של A. תודה!

למדנו בכלל למצוא את הP ההפיכה הזו? אני חושבת שאנחנו לא צריכים לדעת את זה
לא למדנו מטריצה מז'רדנת. לא צריך לדעת.

שאלה

איפה המבחן מחר?

לפי אורי וייס 505 כיתה 2- זה רק הכיתה של בוריס...505 כיתה 1 זה הכיתה של צבאן...

שאלה

סתם שאלה, אפשר לראות הוכחה לכך שאם U הוא T אינ' אז גם U+ (הת"מ הנציב) הוא גם T אינ' כאשר T א"ג, אני לא בטוח שהדרך שלי נכונה...


תשובה

T אורתוגונאלי, ולכן לא מנוון לכן, לפי משפט הדרגה, IMT=Uכאשר T מצומצם על U+ כלומר לכל w בU קיים w' כך ש T(w')=w נניח y במרחב הניצב למרחב המקורי <w,Ty>=<Tw',Ty>=<w',y>=<0> ולכן Ty גם בU+


שאלה

האם פונקציה דו לינארית שולחת בהכרח לסקלר?

תשובה

לפי ההגדרה f:VxV->F לכן בהכרח סקלר.

שאלה

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

תשובה

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


רואים שזה היה במבחן? אסור לפסול חומר...

שאלה על התרגיל

קיבלתי בתרגיל 50 ובמבחן 100, סופי 90. יש סיכוי כלשהו להעלות לי את התרגיל? (אני מניח שרוב מי שקורא את זה יודע מי אני...:-) )

לא נגשת לבוחן? על סמך מה נעלה את התרגיל?

תודה!!

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

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


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

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

חחחחחחחחחחחח גדוללל!
מאיפה אתה קונה את העניבות האלה? גמאני רוצה 8)

חחח תכלס עניבות מגניבות...מתרגל מצוין עם אחלה לוק !!!

שאלה

בציוני התרגיל שלי תרגיל שהגשתי וקיבלתי חזרה כתוב שקיבלתי בו 0 למרות שקיבלתי בו 95. מה לעשות?

תשובה

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

שאלה

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


סתם שאלה-מתי מתחיל סמסטר ב'? תודה...

מתי יפורסמו פתרונות למבחן?


אחרי שהמבחנים יבדקו
לא מאמינים. תוכיח :)
אני אף פעם לא משקר. אמרתי שאחרי שהמבחנים יבדקו. לכן משפט זה הוא אמת. מ.ש.ל

שאלה

מה מס' הקורס? :P

אמירה

יש ציונים!!!

למה לקבוצה של בועז אין ומתי יהיה?

הם עוד בבדיקה, אני מקווה שיהיה בקרוב. פתרון המבחן נמצא בדף הפתרונות

איך התחלק הניקוד בשאלות ההוכחה בין סעיף א לב?

18/11

מה 18 ומה 11 עזוב מספרים שפה קשה כאילו סעיף א-18 וסעיף ב-11?

כן, מן הסתם ההוכחה שוקלת יותר...


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

מתי הפתיחת מחברות?

תשאלו את המרצים

הכרזה

יש ציונים! וכן, גם לקבוצה של ד"ר צבאן! (ב'ציוני ביניים')

יכול להיות שהיה פקטור? הציונים נראים לכם סבירים<? הציונים הרשומים בציוני ביניים ב-ט-ו-ח נכונים? אחרי שרושמם אפשר לשנותם אם לא מגישים ערעור?(כלומר מצד המרצה או משהו)


הממוצע מאד גבוה, אם יהיה פקטור הוא לא יהיה לכיוון שתאהבו :) אבל לא יהיה פקטור כזה כמובן..

שאלה

מישהו יודע אילו וכמה קורסים צפויים בסמסטר ב' (לא כולל קורסי קיץ)? נשאר לנו השנה (למתמטיקה שימושית) : אינפי 2, שימושי מחשב, אלגברה מופשטת, הסתברות וסטטיסטיקה, ושיטות נומריות.

תשובה

את אינפי 2 ושימושי מחשב נלמד בסמסטר ב'.

הצעה

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

תשובה

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

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

מתי יהיו ציונים סופיים?

לא יודע, אבל ניתן לחשב פחות או יותר לבד: 20 אחוז ציון תרגיל (הציון הסופי שפורסם באתר) ו80 אחוז ציון מבחן.

פתיחת מחברות

מה עם פתיחת המחברות של הקבוצה של בוריס?


אני ממליץ לשאול את בוריס :)

לגבי מועד ב'

אפשר בבקשה לקבל מידע על מועד ב' (האם אותו מבנה, האם הוא יהיה רק לתיכוניסטים או לכל הסטודנטים, האם יהיה שיעור חזרה לקראתו, האם הוא יהיה יותר קשה)??


רציתי להצטרף לשואל ולשאול האם גם המתכונת של המבחן תהיה זהה? כלומר כמות השאלות וכו'..

תשובה

מומלץ לשאול את המרצים, אבל עד כמה שידוע לי המועד ב' צריך להיות כמו המועד א', כלומר כמו שאמרנו לכם להתכונן למועד א' (כמובן שיכול להופיע חומר שלא היה בפועל במועד א' אבל היה צריך ללמוד אותו במועד א').

תשובה של דר' צבאן

לתלמידים עם ציונים מעולים (נאמר, תשעים ומעלה), איני ממליץ לעשות מועד ב'.

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

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

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

מידע נוסף, כולל מי צריך להירשם למועד ב' ואיך, תמצאו בקישור הבא (מקורס קיץ ישן):

http://u.cs.biu.ac.il/~tsaban/Summer08/Summer08.html

בהצלחה,

ד"ר בועז צבאן

תודה רבה