שיחה:89-113 תשעג סמסטר ב

מתוך Math-Wiki
גרסה מ־20:21, 21 ביוני 2013 מאת Adiniv (שיחה | תרומות) (שאלה לגבי המשפט: תהי T ט"ל של מרחב לינארי ממימד n. אם ל-T יש n ע"ע שונים, אז T לכסינה)

קפיצה אל: ניווט, חיפוש

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


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


תוכן עניינים

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

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

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

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

שאלות

דף 1-תרגיל 3

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

אשמח להבהרה בנושא

>>תנסה ע"י חיסור רק לבטל איקסים בשתי שורות(או עמודות), להפוך את החישוב לבעל פחות משתנים.

עדי

תרגיל 2

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

>> לא צריך להוכיח לינאריות, רק למצוא את ההעתקה, כולל דרך מלאה למציאתה. עדי

R2[x]

זו מרחב הפולינומים מהצורה ax^2+bx+c? בבסיס של המרחב הזה יש 3 וקטורים?

תודה וחג שמח

כן. עדי

בהמשך לשאלה הקודמת

אם אני רוצה להוכיח ש

1

1+x

1+x+x^2

מהווה בסיס ל-R2[x], מספיק לי להוכיח שזו קבוצה בת"ל? או שנאי צריך להוכיח גם שהיא פורשת?

תודה

היות ומדובר ב-3 וקטורים מספיק להוכיח בת"ל, ולתת נימוק למה זה מספיק. עדי

שאלה 2 בתרגיל 2

אני רוצה לבדוק ש-T לינארית כאשר C מ"ו מעל C. לשם כך אני צריך לבדוק שמתקיים: T(v1+v2)=T(v1)+T(v2)

וגם

T(alfa*v)=alfaT(v)

יש לי 2 שאלות:

ההבדל בין מ"ו C מעל C לבין מ"ו C מעל R מתבטא בדרישה השנייה בלבד?

כלומר במקרה של "מעל C", alfa יהיה מרוכב ובמקרה של מעל R alfa יהיה ממשי?

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


ושאלה שנייה: כשאני בודק אם T(alfa*v)=alfa*T(v) במקרה ששואלים אם T לינארית כאשר C מ"ו מעל C, מה ההבדל בין v לבין alfa? יש הבדל בין סקלר מרוכב לווקטור מרוכב?

במקרה זה אין הבדל, היות והמרחב הוקטורי הוא השדה עצמו, אך זהו מקרה פרטי. וקטור מרוכב גם יכול להגיע מ C^n,\ C^{nxn},C_n[x] וכו', אז יש הבדל בין השניים. עדי

תודה.

שאלה 1 תרגיל 3

למה V-->F^m העתקה לינארית? (m המימד של V)?

תודה

אני לא מבינה על איזו ה"ל מדובר, אין ה"ל בשאלה זו. עדי

שאלה 1 תרגיל 3

אם אני יודע ש: a_1v_1+a_2v_2+....+a_nv_n=0 <=> a_1[v_1]_B+...+a_n[v_n]_B=0,

B בסיס של מ"ו V, אז אני יכול לומר שזה שקול ללהגיד: v_1,...,v_n בת"ל <=> [v_1]_B,...,[v_n]_B בת"ל?

אם כן , למה? אם לא, מה חסר לי בשביל להסיק את השורה האחרונה?

תודה!

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

שנית, אם אכן לזאת הכוונה בשאלה, התשובה היא: כמעט. חסר לך המעבר מ-a_1v_1+a_2v_2+....+a_nv_n=0 להיותם של v_1,...,v_n בת"ל, והוא: a_1v_1+a_2v_2+....+a_nv_n=0 רק כאשר a_i=0\ \forall i.

כלומר, אם תוכיח ש-

(a_1v_1+a_2v_2+....+a_nv_n=0=>a_i=0\ \forall i)<=>(
b_1[v_1]_B+...+b_n[v_n]_B=0=>b_i=0\ \forall i)

אז תוכל להסיק v_1,...,v_n בת"ל <=> v_1]_B,...,[v_n]_B] בת"ל.

לדוגמא עבור אחד הכיוונים: נניח שצירוף לינארי של v_1,...,v_n מתאפס רק כאשר כל מקדם מתאפס. ניקח a_1[v_1]_B+...+a_n[v_n]_B=0 ונקווה לגלות ע"ס ההנחה שכל מקדם מתאפס. כנ"ל בכיוון ההפוך.

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

עדי

שאלה לגבי ערכים עצמיים ווקטורים עצמיים

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

תודה מראש.

מכיוון שעבור כל וקטור עצמי v עם ע"ע x וסקלר a:

A(av)=a(Av)=a(xv)=x(av) ולכן גם av הוא ו"ע של אותו ע"ע.

באופן כללי עבור v_1,...,v_k ו"ע שהתקבלו עבור ע"ע x וסקלרים a_1,...,a_k:

A(a_1v_1+...+a_kv_k)=a_1Av_1+...+a_kAv_k=a_1xv_1+...+a_kxv_k=x(a_1v_1+...+a_kv_k)

ולכן גם (a_1v_1+...+a_kv_k) (הצירוף הלינארי שלהם) הוא ו"ע של אותו ע"ע.

עדי

ו"ע, ע"ע

אם מצאתי ע"ע כלשהו ואז מצאתי את המרחב העצמי המתאים לו וקבלתי שהמרחב הזה הוא מהצורה s(-0.5,1,0)+t(0,0,1)

כאשר t,s ממשיים.

האם אני יכול לומר שהמרחב העצמי הזה שקול למרחב העצמי מהצורה s(1,-2,0)+t(0,0,1) כלומר הכפלתי את הוקטור (0.5,1,0-) ב-2-.

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

תודה מראש

>>כל מה שנפרש ע"י וקטור בודד הוא מכפלה שלו בסקלר (כלומר "מתיחה וכיווץ" שלו), ולכן כל מה שנפרש ע"י v שקול לחלוטין למה שנפרש ע"י av עבור סקלר מהשדה מעליו מוגדר המרחב.

לכן, מרחב וקטורי הנפרש ע"י n וקטורים, נפרש גם ע"י כל מכפלה שלהם בסקלרים:

\{v\in V\}=\{a_1v_1+a_2v_2+...+a_nv_n:a_i\in F\ \forall i\}=\{\frac{a_1}{b_1}(b_1v_1)+\frac{a_2}{b_2}(b_2v_2)+...+\frac{a_n}{b_n}(b_nv_n):\frac{a_i}{b_i}\in F\ \forall i\}

גם \frac{a_i}{b_i} הם כל הסקלרים האפשריים ב-F מכיוון ש-F שדה: F=\{x:x\in F\}=\{ax:x\in F\}_{a\in F}.

כלומר המרחב אינו שקול, הוא ממש שווה.

בדוגמא שנתת הצירוף הלינארי s(-0.5,1,0)+t(0,0,1), עבור כל סקלר s מהשדה, שווה ל- -s/2(1,-2,0)+t(0,0,1) , עבור כל סקלר -s/2 מהשדה.

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

עדי

שאלה

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

>>כן, אך מצריך נימוק הולם. בכל מקרה ע"מ להימנע מכפל משמעויות יש לומר "פורשת לא מינימלית", שיבינו שהיא"פורשת" אבל "לא מינימלית", ולא "לא פורשת".

עדי

אם U תת-מרחב של V ומתקיים dimU=dimV. האם ניתן להסיק מכך ש-U=V? אם כן, מדוע?

אם U תת-מרחב של V ומתקיים dimU=dimV. האם ניתן להסיק מכך ש-U=V? אם כן, מדוע?

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

תרגיל 5 שאלה 4

כשמבקשים להוכיח ש I-T איזומורפיזם...איך אפשר להחסיר את T מ-I? T זו ה"ל ו-I זו מטריצה..לא הבנתי את השאלה הזו..

>> בהקשר של ה"ל I היא העתקת הזהות, כלומר Id.

עדי

דמיון מטריצות

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

או שהדרך היחידה להוכחה היא למצוא P שמקיימת:

A=P^-1 B P

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

\left(
\begin{array}{cc}
1 & 1\\
0 & 1
\end{array}
\right) ומטריצת הזהות, הן לא יהיו דומות. עדי

תרגיל 5 שאלה 4

T^3(v)=0? זה הנתון?

בין האפס ל-T^3 לא רשום כלום...רק רציתי לוודא

>> כאשר אומרים על פונקציה f:X->Y שהיא שווה לאפס: f=0 (או אפס זהותית), הכוונה שהפונקציה שולחת כל איבר בתחום לאפס. כלומר T^3=0 אומר T^3(v)=0\ \forall v\in V. עדי

שאלה בקשר לסימן v שפרושו "או", לסימן U שפרושו "איחוד"

האמת שהשאלה קצת יותר קשורה לבדידה אבל היא רלוונטית לכל קורס במתמטיקה..

אם A,B קבוצות, אז להגיד AVB זה כמו להגיד AUB? אם כן, למה?

הקשר הבינארי "או" הוא לוגי והוא מבטא פסוק שהוא אמת כאשר לפחות אחד משני מרכיביו הוא אמת. (כלומר הסימון AVB עבור A ו-B קבוצות איננו תקין, כי קבוצה לא יכולה להיות אמת או שקר. למשל הפסוק "הקבוצה ריקה" יכול להיות אמת או שקר, לכן "הקבוצה ריקה או הקבוצה איננה ריקה" הוא בהכרח פסוק אמת כי לפחות אחד ממרכיביו אמת).

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

על כן, ניתן לקשר בין שני סימנים אלו ע"י מעבר לשייכות לקבוצות: x\in A\bigcup B  <=>  x\in A \or x\in B

באותו אופן הקשר בין "חיתוך" ל"וגם" הינו: x\in A\bigcap B  <=>  x\in A \and x\in B.

עדי

פולינום מינימלי להעתקה לינארית

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

>> ככל אנלוגיה שראינו בין מטריצות להעתקות לינאריות, כך גם עבור הפ"א: f_T=f_{[T]} כאשר [T] היא מט' מייצגת של T (הפ"א לא יהיה תלוי בבחירת הבסיס).

ובאותו אופן הפ"מ יהיה המתוקן המינימלי שמאפס את [T]. עדי

פולינום אופייני ופולינום מינימלי.

למה הפולינום המינימלי מחלק את הפולינום האופייני?

תודה.

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

\forall a\geq b\ \exists s,r:a=sb+r \and r<b כלומר ניתן להציג את a ככפולות שלמות של b ועוד שארית קטנה מ-b (אחרת ניתן לקחת s גדול יותר). ואז b|a\ \ <=>\ \ a=sb, כלומר כשהשארית מתאפסת.

עבור פולינומים:

\forall f,g\in F[x]: deg(f)\geq deg(g)\ \exists s,r\in F[x]:f(x)=s(x)g(x)+r(x) \and deg(r)<deg(g).

ידוע שדרגת הפ"מ קטנה מדרגת הפ"א לכן \exists s,r\in F[x]:f_A(x)=s(x)M_A(x)+r(x) \and deg(r)<deg(M_A).

נציב A, נשתמש במשפט קיילי המילטון ונקבל:

f_A(A)=s(A)M_A(A)+r(A)\ =>\ 0=s(A)\cdot 0+r(A), כלומר, r גם מאפס את A. אבל הפולינום היחיד שמאפס את A אשר דרגתו קטנה מזו של הפ"מ (כנדרש עבור פולינום השארית r) הוא פולינום האפס, לכן r=0 ו-f_A(x)=s(x)M_A(x) כנדרש.

(האמת, שהוכחה זו תקפה לכל פולינום שמאפס את A, לכן ציינו שהמינימלי מחלק כל פולינום כזה. מה שנכון בנוסף לכך לפולינום האופייני הוא שכל גורמיו האי פריקים יהיו במינימלי. למשל הפולינום x מחלק את x(x-1), אבל אין לו את כל חלקיו האי פריקים. בין הפ"א לפ"מ יש בדיוק את אותם חלקים אי פריקים, החזקות במינימלי עלולות להיות נמוכות יותר. הסיבה לתכונה זו היא ש f_A|M_A^n, אבל זו כבר הוכחה ארוכה יותר).

עדי

פולינום מיניחמלי

בסיכום של תרגול 7 מופיעה דוגמה למטריצה A מסדר 3x3 שכל איבריה הם 0.

הפולינום האופייני שלה הוא lamda^3-

רשום שהפולינום המינימלי הוא lamda.

הסבר: "זהו פולינום מתוקן מדרגה מינימלית ש-A מאפסת".

אני מבין למה הוא מתוקן ולמה הוא מדרגה מינימלית. מה שאני לא מבין זה למה A מאפסת אותו.

>> כי אם תציב A תקבל 0 (A=0). עדי

מימדים

אם U,V מרחבים וקטוריים ו-U מוכל ממש ב-V. האם זה גורר שהמימד של U קטן ממש מהמימד של V? אם כן, מדוע? תודה מראש.

>> כן. וודאי מימד U לא גדול ממימד V. נניח בשלילה שמימדיהם שווים והמימד הוא n. ניקח בסיס ל-U: v_1,...,v_n, אזי זו קבוצה בת n אייברים בת"ל ב-U ולכן זו קבוצה בת n אייברים בת"ל ב-V. היות ומימד V הוא n הרי שזו קב' בת"ל מגודל המימד ולכן בסיס ל-V. ולכן U=sp\{v_1,...,v_n\}=V, סתירה. באותו אופן, אם U מוכל ב-V ומימדיהם שווים U=V. עדי

תרגיל 7 שאלה 2

שלום!

הראיתי שהפולינום האופייני של A הוא x^3-ax^2-bx-c אפשר כיוון לחלק השני של השאלה..? צריך להראות שזה גם הפולינום המינימלי. הפולינום האופייני הוא פולינום מתוקן...צריך לבדוק ש-A מאפסת אותו? זה נראה לי הרבה עבודה..יש דרך יורת אלגנטית? וחוץ מזה, גם אם הראיתי ש-A מאפסת אותו, איך אני יודע שהוא מדרגה מינימלית?

תודה מראש.

>> הפ"מ וודאי לא מדרגה אחת (חשוב ונמק למה), לכן אם לא האופייני הוא יכול להיות רק מדרגה 2. קח פולינום כללי מדרגה 2: \alpha x^2+bx+c הצב בו את A והראה מדוע לא קיים כזה (כלומר, שפולינום כזה יתאפס רק כאשר כל מקדם הוא אפס). ההצבה די פשוטה, מספיקים לך 3 רכיבים במטריצה כדי לאפס 3 מקדמים. עדי

תרגיל 7 שאלה 3

הפולינום האופייני בטוח יוצא x^2(x-1)^2 ? יוצא לי משהו טיפה שונה..יכול להיות שיש שם טעות?

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

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

שתיי שאלות

1.יש משפט בתרגול 7 לפיו אם מטריצות A,B דומות אז הפ"א זהה וגם הפ"מ זהה.

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

>> הכוונה f_A=f_B\ and\ M_A=M_B

2. בתרגול 7 מופיעה הערה: מטריצה לכסינה <=>הפ.מ מתפרק לגורמים לינאריים שונים.

הטענה נכונה גם אם במקום פ.מ ארשום פ.א?

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

תודה מראש.

>> המשפטים אומרים:

מטריצה היא לכסינה אמ"מ הפ"א מתפרק לגורמים לינארים (לא בהכרח שונים, למשל (x-1)^2 יכול להופיע) וגם כל ריבוי אלגברי שווה לריבוי הגיאומטרי המתאים לו.

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

שאלה בקשר לתרגול 7 עמוד 3, התרגיל בתחתית העמוד.

לא הבנתי איך הגעת ל- g(x)=x^2-1 ולמה צריך את זה...

ועוד משהו...למה g(A)=0.

תודה מראש

>> מבקשים למצוא פ"א ופ"מ. ראשית ננסה להבין מהנתון איך נראים הפולינומים שמאפסים את A.

נתון A^2=I שזה אומר A^2-I=0, כלומר זה הביטוי שתקבל אם תציב A ב g(x)=x^2-1. הפ"מ מחלק כל פולינום שמאפס את A, ובפרט את g. מקווה שכעת יתר הפיתרון ברור. אם לא, מוזמן לשאול.

עדי

צורות ז'ורדן

אם נתון לי בלוק ז'ורדן מסדר k על k, מתקיים פ.א=פ.מ=x-lamda)^k) זה שהפ.א שווה לביטוי הזה, זה מובן לי. איך יודעים שגם הפ.מ שווה לביטוי הזה???

תודה מראש!

' לפי דרגת הנילפוטניות של A-(lamda)I. עדי

שאלה כללית

נניח נתון פולינום אופייני ואני רוצה למצוא את הפולינום המינימלי, והראיתי ש-A לא מאפסת אף אחד מהמחלקים של הפולינום האופייני, שוונים מהפולינום האופייני. מדוע אפשר להסיק מכך שהפולינום המינימלי הוא הפולינום האופייני?

אשמח לעזרה.

אם אף פולינום מדרגה נמוכה יותר לא מאפס אז הפ"א הוא הפולינום מהדרגה המינימלית שעושה זאת. עדי

להגיד "A לכסינה" ולהגיד "A דומה למטריצה אלכסונית" זה אותו דבר?

תודה

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

תרגיל 7 שאלה 7

בסעיף b, מבקשים למצוא פ"מ של T.

באופן כללי, אם מבקשים ממני למצוא פ"מ/פ"א, הכוונה היא ביחס למטריצה, לא?

כאן נתונה העתקה לינארית T. אין כאן בכלל מטריצה...מה אני צריך לעשות???

ראה למעלה דיון פ"מ לה"ל. עדי

שילוש מטריצה

לא ממש הבנתי בחלק של תרגול 8 בעמוד 3 איך יודעים מי זו המטריצה C. אשמח לעזרה..תודה.

ומי זו בדיוק המטריצה k על k בעמוד 2 בתרגול 8?

אתה מתכוון לאלגוריתם או לדוגמא? (כמו כן, מה מופיע אצלך כ-C? המשלשת?)

בעקרון אני לא מבין גם באלגוריתם וגם בדוגמה איך יודעים מי זו בדיוק המט' C הזו ומי זו המט' k על k.

ומה מציינת כל אחת מהמטריצות.


לא הבנתי גם איך יודעים שמתחת ומעל לאלכסון שבמט' kxk יש אפסים ואיך יודעים שמתחת למט' kxk ומשמאל למט' C יש אפסים?

ב-C (בדוגמה בעמוד 3) מופיע לי בשורה הראשונה 3 ו-1 ובשורה השנייה 1- ו-1

רשום שעל המט' C נעשה את אותו תהליך. למה דווקא עליה?..זאת אומרת, איך יודעים מי זו המטריצה שעליה עושים את אותו תהליך?

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

הקלדתי את האלגוריתם והדוגמא במפורט (מומלץ לכולם):

עדי

2 שאלות

שלום,

בתרגול 8 בעמוד 6, רשום שעבור למדה=1, ר"ג=2 (לכן יש 2 בלוקים)

איך מגיעים לכך שהר"ג=2?

תודה

מכך שמימד המ"ע (כלומר מרחב האפס של A-1\cdot I) הוא 2. עדי

שאלה כללית

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

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

איך מוכיחים שאיברי האלכסון של מטריצה משולשית הם הערכים העצמיים שלה?

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

איך אבל יודעים שאלו כל הערכים העצמיים ושאין עוד מלבדם?

הנימוק שציינת הוא הסיבה לכך ששורשי הפולינום האופייני על האלכסון. הסיבה לכך ששורשי הפולינום האופייני הם הע"ע ולהיפך היא: שורשים מאפסים את |A-xI| אם ורק אם הם הופכים את A-xI לה"ל/מטריצה לא הפיכה אם ורק אם קיימים להם וקטורים לא אפסיים כך ש- Av=xv. עדי

אם מתקיים A(A-I)=0, למה זה אומר שהפ"א הוא x(x-1)?

?


>> מה סדר המטריצה?

זה רק אומר שהפ"מ מחלק את x(x-1) כי הוא מחלק כל פולינום שמאפס את A. כלומר הפ"מ הוא x או x-1 או  x(x-1). עדי

תרגיל 9 שאלה 5 סעיף א'

אני מפתח את אגף ימין במטרה להגיע לאגף שמאל וכך בעצם להוכיח את הטענה. במהלך הפיתוח, יש מצב מסוים שבו אני רוצה להשתמש בלינאריות במשתנה השני. על מנת לעשות זאת ללא שימוש בצמודים המרחב V צריך להיות R^n???

>> לא בהכרח, מספיק שהוא יהיה מעל R (כלומר ...,R^n,R_n[x],M_n(R) וכו') כפי שאכן מוגדר בסעיף זה. עדי

שאלה 5 סעיף ב'

בתוך הסוגריים שבאגף ימין, יש 4 מחוברים. השניים הראשונים הם 2^||u+v|| פחות 2^||u-v|| בסעיף א' מצאנו שכאשר כופלים את שניי הביטויים הללו ברבע הם שווים ל <u,v>.

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

>>ענית לעצמך. לא ניתן להשתמש בסעיף א' כיוון שפיתוח הסעיפים שונה מעל C ומעל R. עדי

אם יש לי שניי בסיסים B1 ו-B2 למרחב וקטורי V ואני רוצה למצוא את מטריצת המעבר מבסיס אחד לבסיס השני. איך עושים את זה?

תודה מראש.

B_1=\{v_1,...,v_n\} => [I]^{B_1}_{B_2}=\left([v_1]_{B_2}\cdots [v_n]_{B_2}\right), כאשר [v_i]_{B_2} הוא וקטור הקואורדינטות של v_i לפי B_2. עדי

לגבי תרגיל מספר 3, שאלה 1

בתחילת הפתרון רשום שקל לוודא [\ ]:V->F^m היא העתקה לינארית לפי הקריטריון המקוצר.

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

>>בחרנו בהעתקה  [\ ]_B:V->F^m (הכוונה להעתקה שלוקחת וקטור במרחב ומחזירה את וקטור הקואורדינטות שלו). והיא לינארית לפי הקריטריון המקוצר, שהוא: T(v_1+av_2)=T(v_1)+aT(v_2). עדי

לגבי השאלה של מציאת מטריצת מעבר מבסיס אחד לשני

לא הבנתי מאיפה הגיע הסימון I, איך קשורה כאן העתקת הזהות??


>> למעשה מטריצת מעבר היא מקרה פרטי של מטריצה מייצגת כאשר T=I. מטריצת המעבר מתקבלת (ע"פ הגדרה) ע"י החישוב \left([v_1]_{B_2}\cdots [v_n]_{B_2}\right) שהוא בעצם \left([I(v_1)]_{B_2}\cdots [I(v_n)]_{B_2}\right) שהיא בדיוק המטריצה המייצגת של I מהבסיס הראשון לשני, זו הסיבה שבחרו לתת לה את סימון זה. עדי

כמה שאלות לגבי תרגיל 5

לגבי שאלה 1ג': איך יכול להיות מצב שT(v1),...,T(vn) לא שונים? הרי נתון שזה בסיס!

צודק. יתוקן

לגבי שאלה 4א':

בשלב שבו מנסים להראות ש-I-T חח"ע, לוקחים וקטור כלשהו ב-V כך ש- I-T)v=0). השאלה שלי היא איך יודעים שבהכרח קיים וקטור v שמקיים I-T)v=0) ?

כי קיים וקטור האפס שנשלח ל-0. בשביל חח"ע נרצה לבדוק אם זה קורה עבוק וקטור נוסף

לגבי שאלה 4ב': כאשר מגיעים לכך ש alfaT^2(v)=0 כתוב ש-T^2(v) שונה מאפס ולכן alfa=0.

מצד שני, נתון שקיים (כלומר לא לכל v!...פשוט קיים v כלשהו) וקטור v שונה מאפס ששייך ל-V המקיים T^2(v) שונה מאפס. איך יודעים שכאשר אומרים ש-T^2(v) שונה מאפס, מדובר על הוקטור הספציפי v ששונה מאפס?

בדיוק כמו קודם כי אם v=0 אל לכל ה"ל Tv=0

לגבי שאלה 5:

כאן יש לי כמה שאלות:

1. הקבוצה {קוסינוס טטא, סינוס טטא} מהווה בסיס ל-V. למה??? איך יודעים זאת?

כי כל וקטור ב-V הוא צירוף לינארי שלהם והם בת"ל (כשתאפס את הצ"ל, תציב פעם 0 ופעם 90 בזוית).

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

בסיס התחום הוא זה שמוגדרת עליו הה"ל: cos, sin בסיס הטווח הוא זה שהה"ל נשלחת אליו: e_1,e_2. ולכן זו המט' המייצגת

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

הכוונה לאנאלוגיה בין ה"ל למטריצות ע"י מבט על תמונה כמרחב העמודות וגרעין כמרחב האפס: T(v)=T(\Sigma \alpha_i v_i)=\Sigma \alpha_i T(v_i) (שהוא צירוף לינארי של תמונות הבסיס) שקול ל- [T]_C^B[v]_B=[Tv]_C

עדי


אשמח לעזרה! תודה מראש

שאלה לגבי המשפט: תהי T ט"ל של מרחב לינארי ממימד n. אם ל-T יש n ע"ע שונים, אז T לכסינה

שתיי שאלות למעשה:

1. מה הגירסא של המשפט עבור מטריצות 2. מדוע זה שיש גירסא עבור ט"ל גורר שיש גירסא עובר מטריצות, ולהיפך?

תודה מראש.

1. A מטריצה nxn. אם ל-A יש n ע"ע שונים, אז A לכסינה

2. כי ע"ע של T הם שורשי הפ"א של T שהוא הפ"א של [T].

אולי השאלה היא בעצם למה לכסינות של ה"ל שקולה ללכסינות של מטריצה:

T לכסינה אמ"מ קיים בסיס ו"ע B כך ש- [T]_B אלכסונית

A לכסינה אמ"מ היא דומה לאלכסונית

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

אם קיים בסיס B כך ש- [T]_B אלכסונית אז לכל בסיס אחר C מתקיים [T]_C=[T]^C_B[T]_B[T]^B_C, נגדיר [T]^C_B=P והרי ש- [T]_C=P[T]_BP^{-1}. כלומר, לכל בסיס [T]_C לכסינה.

עדי

מהם הדרכים למצוא ר"ג של ע"ע ומה הדרך הקצרה ביותר?

מהם הדרכים למצוא ר"ג של ע"ע ומה הדרך הקצרה ביותר?