הבדלים בין גרסאות בדף "שיחה:88-112 לינארית 1 תיכוניסטים קיץ תשעב"

מתוך Math-Wiki
קפיצה אל: ניווט, חיפוש
(תרגיל 3 שאלה 2 סע' א,ב)
(נוהל ערעורים: פסקה חדשה)
 
(484 גרסאות ביניים של 36 משתמשים אינן מוצגות)
שורה 370: שורה 370:
 
בתרגיל 3 שאלה 2 מה סדר הפעולות באגפים הימניים? משמאל לימין או שהחיבור בסוף?
 
בתרגיל 3 שאלה 2 מה סדר הפעולות באגפים הימניים? משמאל לימין או שהחיבור בסוף?
 
תודה מראש :)
 
תודה מראש :)
 +
 +
 +
תשובה: החיבור בסוף.--[[משתמש:איתמר שטיין|איתמר שטיין]] 20:42, 1 באוגוסט 2012 (IDT)
  
 
== בוחן 7.8 ==
 
== בוחן 7.8 ==
שורה 378: שורה 381:
  
 
כל הסעיפים  מכילים את אותם ביטוים משני הצדדים. צריך להוכיח עבור שני סעיפים ולהפריך עבור השנים האחרים ?
 
כל הסעיפים  מכילים את אותם ביטוים משני הצדדים. צריך להוכיח עבור שני סעיפים ולהפריך עבור השנים האחרים ?
 +
 +
 +
תשובה: אני לא רוצה להגיד כמה סעיפים נכונים וכמה לא.
 +
 +
זה נכון שבגלל שכל הסעיפים קשורים, זה יכול להקל עליכם קצת.
 +
 +
למשל, אם הצלחת להוכיח את א' זה מייד אומר שב' לא נכון.--[[משתמש:איתמר שטיין|איתמר שטיין]] 22:29, 1 באוגוסט 2012 (IDT)
 +
 +
== כיתות לימוד מחר ==
 +
 +
שלום, באילו כיתות אנו לומדים מחר?
 +
 +
 +
תשובה:
 +
שימו לב לשינוי הכתות באופן חד פעמי ליום חמישי 2/8/12
 +
 +
 +
ההרצאות במקום הרגיל ב 604 61/62
 +
 +
 +
 +
 +
התרגיל של אפי                      יתקיים בכיתה 403/2 בשעה 13
 +
 +
שירה                                            404/102
 +
 +
ארז                                                404/114
 +
 +
איתמר                                          404/115
 +
--[[משתמש:איתמר שטיין|איתמר שטיין]] 22:24, 1 באוגוסט 2012 (IDT)
 +
 +
== שאלה 3 ==
 +
 +
עוד לא הבנתי מה ההבדל בין (sp(A+B לבין (B או sp(A ובין spA + spB לבין spA איחוד spB
 +
מישהו יכול להסביר לי עם דוגמה??
 +
 +
 +
תשובה:
 +
 +
<math>A \cup B</math> זאת קבוצה שמכילה את כל איברי <math>A</math>  ו <math>B</math> (האיחוד שלהם).
 +
<math>A+B</math> זאת קבוצה של כל האיברים שהם חיבור של משהו מ <math>A</math> ומשהו מ <math>B</math>.
 +
 +
דוגמא:
 +
 +
אם <math>A = \{(1,2), (3,4)\}</math> ו <math>B=  \{(5,6)\}</math>
 +
 +
אז
 +
 +
<math>A \cup B = \{(1,2) , (3,4) , (5,6)\}</math>
 +
 +
אבל
 +
 +
<math>A+B = \{(6,8), (8,10)\}</math>.--[[משתמש:איתמר שטיין|איתמר שטיין]] 10:35, 3 באוגוסט 2012 (IDT)
 +
 +
 +
 +
רגע ומה ההבדל בין spA + spB לבין spA איחוד spB??
 +
 +
 +
 +
לא הגדרנו את החיבור רק עבור מרחבים ווקטוריים? [[משתמש:Avichai|Avichai]] 17:47, 3 באוגוסט 2012 (IDT)
 +
 +
:אתה יכול להכליל את זה, כך ש-A+B היא קבוצה של איברים ששווים לסכום של איבר כלשהו מ-A עם איבר כלשהו מ-B. הגדרה זו תופסת גם עבור קבוצות כלשהן שאינן מרחבים וקטוריים, כל עוד מוגדרת פעולת חיבור מתאימה.
 +
 +
== תרגיל 3 שאלה 3 סעיף ב ==
 +
 +
האם SPAN של (1,0)איחוד (0,1) יוצר את המישור (Rבריבוע) או שווה לצירים בילבד
 +
 +
 +
תשובה: <math> span(\{(1,0),(0,1)\})</math> יוצר את המישור.
 +
 +
כל וקטור במישור <math>(a,b)</math> הוא צירוף לינארי <math>(a,b) = a(1,0) + b(0,1)</math> ולכן
 +
 +
<math>(a,b) \in span(\{(1,0),(0,1)\})</math>.--[[משתמש:איתמר שטיין|איתמר שטיין]] 10:47, 3 באוגוסט 2012 (IDT)
 +
 +
אמרתי לך!!!! אייי ! חח אל תשכח את הדוריטוס ;)
 +
 +
== שאלה ==
 +
 +
אם למטריצה יש שורת אפסים זה אומר שאין לה בסיס??
 +
 +
 +
תשובה: אתה צריך להסביר את השאלה יותר טוב.
 +
 +
בסיס יש למרחב וקטורי (לכל מרחב וקטורי).
 +
 +
מטריצה (אחת) היא לא מרחב וקטורי (אלא אם כן היא מטריצת האפס).
 +
 +
מה המרחב הוקטורי שאתה מדבר עליו?--[[משתמש:איתמר שטיין|איתמר שטיין]] 10:38, 3 באוגוסט 2012 (IDT)
 +
 +
 +
בשאלה 7 ב למע' המשוואות מתקבלת שורת אפסים (אחרי שהפכתי אותה למטריצה) אז השאלה היא האם יש לה בסיס
 +
 +
 +
תשובה: למרחב הפתרונות של כל מערכת משוואות הומוגנית יש בסיס. (כמו לכל מרחב וקטורי).
 +
 +
לכן, גם לפתרונות של המערכת בשאלה יש בסיס. --[[משתמש:איתמר שטיין|איתמר שטיין]] 13:45, 3 באוגוסט 2012 (IDT)
 +
 +
== תרגיל 3 שאלה 2 ==
 +
 +
האם בשביל להוכיח ששני תתי מרחבים הם שונים מספיק לתת דוגמה שהם שונים או שצריך להוכיח שלא משנה מה תציב הם יהיו שונים
 +
 +
 +
תשובה:
 +
הטיעון
 +
<math>U \cap (V+W) = U \cap V + U \cap W</math> נכון אם לכל הצבה שהיא של מרחבים <math>U,V,W</math> יהיה שוויון.
 +
 +
 +
הטיעון <math>U \cap (V+W) \neq U \cap V + U \cap W</math> נכון אם לכל הצבה שהיא של מרחבים <math>U,V,W</math> לא יהיה שוויון.
 +
 +
 +
אני מקווה שזה עונה על השאלה.--[[משתמש:איתמר שטיין|איתמר שטיין]] 10:43, 3 באוגוסט 2012 (IDT)
 +
 +
זה עונה על השאלה תודה
 +
 +
== שאלה כללית ==
 +
 +
האם הספאן של (1,0) פלוס (של מ"ו) הספאן של (0,1) שווה לספאן של (1,0) (0,1)? האם זה אומר שחיבור הספאנים הנ"ל פורש את R^2?
 +
 +
הוא כבר ענה על זה, תראה 3 שאלות למעלה
 +
 +
== שאלה 1 ==
 +
 +
אפשר להשתמש בקריטריון המקוצר?
 +
 +
 +
כן.--[[משתמש:איתמר שטיין|איתמר שטיין]] 16:12, 3 באוגוסט 2012 (IDT)
 +
 +
אז מה הקטע של התרגיל? פשוט אומרים לפי הקריטריון המקוצר...?
 +
 +
 +
תשובה: אולי אנחנו מדברים על דברים שונים.
 +
 +
כשאני אומר שאפשר להשתמש בקריטריון המקוצר אני מתכוון שאפשר להשתשמש במשפט שראיתם בהרצאה שאומר:
 +
 +
<math>W</math> תת מרחב וקטורי אם ורק אם מתקיימים שלושת התנאים הבאים.
 +
 +
1) <math>W \neq \emptyset</math>.
 +
 +
2) <math>u,v \in W \Rightarrow u+v \in W</math>.
 +
 +
3)<math>u \in W, \quad \alpha \in \mathbb{F} \Rightarrow \alpha u \in W</math>.
 +
 +
בהינתן המשפט הזה, צריך לעשות עוד קצת עבודה כדי להוכיח את מה שכתוב בתרגיל.
 +
--[[משתמש:איתמר שטיין|איתמר שטיין]] 17:36, 3 באוגוסט 2012 (IDT)
 +
 +
 +
:בכיתה לימדת אותנו שבמקום 2 ו 3 צריך שיתקיים <math>u,v \in W \Rightarrow u+ \alpha v \in W</math>.
 +
 +
::זה שקול, פשוט בתנאי הנ"ל תקח פעם אחת alpha=0 ופעם אחרת u=0 ותקבל את הנדרש.
 +
 +
אז זה כל מה שצריך לרשום?
 +
 +
 +
בגדול, כן. רק שימו לב שבפתרון שלכם (במיוחד בהוכחה שהנתונים בשאלה 1 <math>\Leftarrow</math> מרחב וקטורי) אתם משתמשים רק בנתונים שיש לכם.  --[[משתמש:איתמר שטיין|איתמר שטיין]] 22:15, 4 באוגוסט 2012 (IDT)
 +
 +
== תרגיל 3 שאלה 6 ==
 +
 +
אם אני רוצה להפריך טענות, אני צריך להביא בתור דוגמא U ו V מסויימים ו B1 ו B2 מסויימים ולהראות שזה לא מתקיים?
 +
 +
 +
כן.--[[משתמש:איתמר שטיין|איתמר שטיין]] 16:13, 3 באוגוסט 2012 (IDT)
 +
 +
== חומר לבוחן ==
 +
 +
עד איפה החומר לבוחן ביום שלישי? עד איזה חומר ללמוד? ועד איזה שיעור זה ? תודה!
 +
 +
 +
תשובה: עד החומר שלמדתם ביום חמישי 26/7 (כולל) שזה אומר:
 +
 +
שדות, מערכות משוואות לינאריות, מטריצות, כפל מטריצות והפיכות מטריצות.
 +
 +
מרחבים וקטוריים, כולל בסיס ומימד כולל משפט השלישי חינם (נדמה לי שלא כולל משפט המימדים).--[[משתמש:איתמר שטיין|איתמר שטיין]] 17:40, 3 באוגוסט 2012 (IDT)
 +
 +
== שאלה כללית ==
 +
 +
אם לדוגמא אני במ"ו מעל שדה Z5 לדוגמא, אז האם גם המספרים בוקטורים הם מתוך השדה?
 +
לדוגמא בשדה הנ״ל יכול להיות לי הוקטור (7,3,9)?
 +
 +
 +
תשובה: אם אתה מסתכל על המרחב <math>(\mathbb{Z}_5)^n</math> אז כן, המספרים בוקטורים הם מתוך השדה.
 +
 +
למשל: במרחב <math>(\mathbb{Z}_5)^3</math>
 +
 +
מתקיים ש <math>(7,3,9) = (2,3,4)</math> כי הכל במודולו <math>5</math>.
 +
 +
אבל <math>(\mathbb{Z}_5)^n</math> הוא לא המרחב היחיד מעל <math>\mathbb{Z}_5</math>, יש עוד ( נגיד מטריצות עם ערכים מ <math>\mathbb{Z}_5</math>.)--[[משתמש:איתמר שטיין|איתמר שטיין]] 17:45, 3 באוגוסט 2012 (IDT)
 +
 +
אני מתכוון לכך שיהיה V מ"ו מעל שדה Z5. אז זה אומר שגם המספרים בוקטורים חייבים להיות מעל Z5?
 +
:ודאי. למשל אם (7,3,9) וקטור כנ"ל, אתה מתייחס ל-7,3,9 כאיברים של Z5.
 +
 +
מה זאת אומרת להתייחס לוקטור 7,3,9 כאיברים של Z5? ב Z5 אין 7 ו 9.
 +
 +
ב <math>\mathbb{Z}_5</math> מתקיים <math>7=2</math> ו <math>9=4</math> (כי את כל המספרים מחשבים במודולו <math>5</math>).--[[משתמש:איתמר שטיין|איתמר שטיין]] 22:20, 4 באוגוסט 2012 (IDT)
 +
 +
== שאלה ==
 +
 +
'''מה ההבדל בין spA + spB לבין spA איחוד spB???'''
 +
:בחיבור אתה מקבל קבוצה בה כל האיברים הם תוצאה של חיבור של איבר מהקבוצה הראשונה עם איבר מהקבוצה השנייה, בעוד שבאיחוד אתה תקבל קבוצה של איברים שנמצאים לפחות באחת הקבוצות. זה לא אותו דבר, ולמעשה במקרה שלנו האיחוד שכתבת מוכל בתוך החיבור (וזאת משום שכל אחד מהנפרשים מכיל את ווקטור האפס, ובפרט וקטור האפס עם כל וקטור אחר יהיה שווה לאותו וקטור אחר). אם אתה רוצה לראות שלעתים הם גם שונים, תקח <math>A=(1,0); B=(0,1)</math> מעל הממשיים ותפתח
 +
 +
== תרגיל 3 ==
 +
 +
לאיתמר,
 +
עכשיו גיליתי שהיום שכחתי להגיש את תרגיל 3. יש משהו שאפשר לעשות? יעזור אם אסרוק את כל הדפים ואשלח לך במייל?
 +
 +
בתודה מראש, אביחי מרמור: avichai@elmar.co.il. [[משתמש:Avichai|Avichai]] 23:16, 5 באוגוסט 2012 (IDT)
 +
 +
== בבוחן יהיו שאלות כמו שאלות 1,2 בתרגיל 4 ==
 +
 +
???
 +
 +
 +
תשובה: הנושאים שמכוסים על ידי תרגילים 1,2 נמצאים בחומר לבוחן.--[[משתמש:איתמר שטיין|איתמר שטיין]] 18:07, 6 באוגוסט 2012 (IDT)
 +
 +
1. אבל למדנו את זה אחרי היום שבו אמרו שעד אז זה החומר למבחן..
 +
 +
2. יש עוד שאלות בתרגילים שזה לבוחן?
 +
 +
 +
תשובה:
 +
 +
1) דברים יסודיים לגבי מרחבים וקטוריים (כולל בסיס ומימד) נמצאים בחומר לבוחן.
 +
 +
תרגילים 1-2 עוסקים בטכניקות עבודה עם מ"ו, בלי משפט המימדים, בלי מטריצות מעבר בין בסיסים,בלי דרגה של מטריצה, לכן זה בחומר.
 +
 +
2) לא (אני מצטער שהתשובה הזאת מגיעה אחרי שכבר עשיתם את הבוחן).--[[משתמש:איתמר שטיין|איתמר שטיין]] 09:38, 7 באוגוסט 2012 (IDT)
 +
 +
== פתירת מערכת משוואות מעל Zp ==
 +
 +
<nowiki>טקסט לא מעוצב</nowiki>
 +
אם אני פותר מערכת מעל Zp.
 +
האם אני יכול להמיר למטריצה ולדרג כאילו אני בR ורק בסוף לעשות modp על התוצאה?
 +
 +
 +
תשובה: כן.--[[משתמש:איתמר שטיין|איתמר שטיין]] 09:29, 7 באוגוסט 2012 (IDT)
 +
 +
== תרגיל 4 ==
 +
 +
אין שאלה 4 בתרגיל 4 - שכחתם להוסיף או שיש רק 8 תרגילים?
 +
 +
== תרגיל 4 שאלה 7 ==
 +
 +
צריך להוכיח שקיים וקטור. האם אפשר להניח בשלילה שלכל וקטור הטענה לא נכונה, ואז לתת דוגמה נגדית ספציפית כדי לקבל סתירה או שצריך בכלליות? תודה מראש
 +
 +
 +
תשובה: אפשר להניח בשלילה שהטענה לא נכונה, ואז לכל וקטור <math>v \in \mathbb{R}^n</math> מתקיים <math>A^{k-1}v = 0</math>.
 +
 +
אם כשאתה כותב "דוגמא נגדית ספציפית" אתה מתכוון, לבחור <math>A</math> ו <math>v</math> מסוימים, אז לא ייתן סתירה.
 +
 +
כי בשאלה ישנו כבר <math>A</math> נתון בשאלה (שאנחנו אמנם לא יודעים מהו) ודווקא בשבילו צריך להראות שלא ייתכן
 +
 +
<math>A^{k-1}v=0 \quad \forall v \in \mathbb{R}^n</math>--[[משתמש:איתמר שטיין|איתמר שטיין]] 18:15, 7 באוגוסט 2012 (IDT)
 +
 +
== תרגיל 4 - שאלה 6 לא מובנת ==
 +
 +
לא הבנתי בשאלה 6 למה הכוונה "קטן גדול או קטן מ...", תוכלו להסביר מה צריך למצוא?
 +
 +
 +
תשובה: אתה צודק, צריך להיות כתוב: קטן, גדול, או שווה ל...
 +
 +
כלומר צריך למצוא איזה מהבאים מתקיים
 +
 +
* <math>dim(U_1 \cap U_2) = dim(U_1 \cap U_3)</math>
 +
 +
* <math>dim(U_1 \cap U_2) < dim(U_1 \cap U_3)</math>
 +
 +
* <math>dim(U_1 \cap U_2) > dim(U_1 \cap U_3)</math>--[[משתמש:איתמר שטיין|איתמר שטיין]] 22:18, 7 באוגוסט 2012 (IDT)
 +
 +
== תרגיל 4 שאלה 5 ==
 +
 +
האם בשאלה5 U וW תתי מרחב או שהם רק קבוצות המוכלות בV?
 +
 +
(תלמיד) - לדעתי ניתן להסיק שהם ת"מ כי בנתון יש dim U וגם dim W, לכן הם מ"ו ובפרט ת"מ של V --[[משתמש:גיא|גיא]] 19:12, 7 באוגוסט 2012 (IDT)
 +
 +
 +
תשובה: נכון. הם תתי מרחבים.--[[משתמש:איתמר שטיין|איתמר שטיין]] 22:20, 7 באוגוסט 2012 (IDT)
 +
 +
== שאלה 1 סעיף ב' בלינארית ==
 +
 +
אני עשיתי מערכת עם שתי משוואות, ע"י הצבה של איקסים לפי הנתונים, והגעתי למשוואות של המקדמים לפי הבסיס.
 +
דירגתי מצאתי פתרון כללי והוצאתי את הפרמטרים וקיבלתי בסיס למשהו, אין לי מושג למה ואיך אני מגיע ממנו לבסיס של W ?
 +
 +
למה דילגתם עליי? מה זה כי אני שחור?
 +
סתם הצלחתי תודה בכל מקרה
 +
 +
 +
תשובה: דילגתי כי לשאלה שלך היה קצת יותר קשה לכתוב תשובה.
 +
 +
בדיוק עמדתי להעלות את התשובה הזאת (בכל מקרה אני שמח שהצלחת):
 +
 +
* הגעת למערכת משוואות על מקדמי הפולינומים - כל פולינום שמקדמיו פותרים את המשוואה נמצא ב <math>W</math>.
 +
 +
* דירגת ומצאת פתרון כללי - כל פולינום שמקדמיו הם מהפתרון הכללי נמצא ב <math>W</math>.
 +
 +
* הוצאת את הפרמטרים וקיבלת בסיס - קיבלת בסיס עבור וקטור המקדמים של פולינומים שנמצאים ב <math>W</math>.
 +
 +
מכאן אני מקווה שברור מה הבסיס של <math>W</math> צריך להיות.--[[משתמש:איתמר שטיין|איתמר שטיין]] 22:41, 8 באוגוסט 2012 (IDT)
 +
 +
תודה :)
 +
 +
== שאלה 2 ==
 +
 +
מערכת משוואות ליניאריות זה שיש מיקדמי אלפה אחד אלפה שתיים אלפה שלוש או שצריך לצמצם אותם ולהגיע למשוואה שיש בה רק X,Y,Z,W?
 +
 +
 +
תשובה: צריך להגיע לתשובה שיש בה רק <math>x,y,z,w</math>.
 +
 +
כלומר התשובה לסעיפים א' ו ג' צריכה להיות מערכת משוואות ב <math>x,y,z,w</math> בלבד.--[[משתמש:איתמר שטיין|איתמר שטיין]] 22:25, 8 באוגוסט 2012 (IDT)
 +
 +
== שאלה כללית ==
 +
 +
האם ה dim של 0 (שהוא תת מרחב) שווה ל 1 או 0?
 +
 +
 +
תשובה: <math>dim\{0\}=0</math> כי הבסיס של <math>\{0\}</math> הוא <math>\emptyset</math> ויש בו 0 איברים.--[[משתמש:איתמר שטיין|איתמר שטיין]] 21:27, 8 באוגוסט 2012 (IDT)
 +
 +
 +
למה ה dim של 0 זה אפס? הרי בבסיס של 0 יש איבר, והוא אפס (הוא פורש אותו)?
 +
 +
 +
תשובה: <math> \{0\}</math> הוא לא בסיס כי הוא תלוי לינארית.
 +
 +
הבסיס של <math>\{0\}</math> הוא <math>\emptyset</math> (קבוצה ריקה) ובה יש <math>0</math> איברים.--[[משתמש:איתמר שטיין|איתמר שטיין]] 12:16, 9 באוגוסט 2012 (IDT)
 +
 +
== שאלה 7 תרגיל 4 ==
 +
 +
נתון ש A^k-1 שונה מאפס.. נכפיל ב A משני הצדדים נקבל A^k שונה מאפס.. בסתירה לנתון שהוא שווה לאפס.
 +
 +
אם A שווה לאפס, אז זה סתירה לנתון ש A^k-1 שונה מאפס (כי 0 בחזקת הכל זה אפס)
 +
 +
 +
???
 +
 +
 +
תשובה: <math>A^{k-1}\neq 0</math> לא גורר ש <math>A^k \neq 0</math>.
 +
 +
באופן כללי <math>B \neq C</math> לא גורר ש <math>AB \neq AC</math>.
 +
 +
וזה מפני ש <math>AB = AC</math> לא גורר ש <math>B=C</math>. (הייתה כזאת שאלה בתרגיל 2)--[[משתמש:איתמר שטיין|איתמר שטיין]] 21:35, 8 באוגוסט 2012 (IDT)
 +
 +
== תרגיל 4 שאלה 6 ==
 +
 +
בשאלה זו, מספיק לתת דוגמה של תתי מרחבים שעונים על כל הדרישות בשאלה ואז ע"פ הנתונים שנתתי, אפשר למצוא האם (dim(u1 ^ u2 גדול, קטן או שווה ל - (dim(u1^u3  ? כי הרי התשובה הנכונה נכונה לכל דוגמה שאתן אז אפשר לתת דוגמה אחת כדי לראות מה נכון? זה פתרון אפשרי לשאלה?
 +
 +
 +
תשובה: צריך להוכיח שאחד המקרים מתקיים ואי אפשר להסתפק בדוגמא.
 +
 +
זה נכון שהתשובה הנכונה נכונה לכל דוגמא, אבל אתה לא יכול להניח את זה כשאתה פותר (זה כמו להתבסס בדרך על מה שרוצים להוכיח).--[[משתמש:איתמר שטיין|איתמר שטיין]] 22:47, 8 באוגוסט 2012 (IDT)
 +
 +
== תרגיל 4 שאלה 4 ;) ==
 +
 +
לא הצלחתי את תרגיל 4 שאלה 4.. אפשר רמז לפיתרון?! ;)
 +
S.D
 +
 +
 +
תשובה: נניח ש <math>V</math> ממימד גדול מ <math>5</math> אז ברור ש <math>[I]_C^B \in \mathbb{F}^{k\times k}</math> כש <math>k \geq5</math>.
 +
 +
עכשיו תנסה להציב <math>\mathbb{F} = \mathbb{Z}_7</math> ו <math>\mathbb{F} = \mathbb{Z}_5</math> ותראה מה קורה.--[[משתמש:איתמר שטיין|איתמר שטיין]] 00:21, 9 באוגוסט 2012 (IDT)
 +
 +
אבל רגע אין שאלה 4 בתרגיל 4.
 +
 +
זה שאין שאלה לא אומר שאין רמזים.--[[משתמש:איתמר שטיין|איתמר שטיין]] 22:48, 9 באוגוסט 2012 (IDT)
 +
 +
== חיתוך מרחבים ==
 +
 +
על מנת למצוא בסיס של חיתוך מרחבים אני שם את הבסיסים של שניהם במטריצה אחת ומדרג עד לקבלת בתל ?
 +
כי כשאני עושה ככה אני מקבל מימד יותר גדול מהמרחבים המקורים והחיץתוך אמור להיות מוכל בהם..
 +
 +
 +
תשובה: זאת לא השיטה. ככה מוצאים בסיס של סכום.
 +
 +
כדי למצוא בסיס של חיתוך שני מרחבים, אם המרחבים נתונים ע"י וקטורים פורשים אתה צריך להשוות את ה span שלהם ולפתור את המשוואה שנוצרת.
 +
 +
עשו כזאת דוגמא בתרגול.
 +
 +
כלומר, כותבים צירוף לינארי כללי של מרחב אחד, משווים אותו לצירוף לינארי כללי של מרחב שני ופותרים את מקדמי הצירוף.
 +
 +
אני מקווה שזה ברור.--[[משתמש:איתמר שטיין|איתמר שטיין]] 17:32, 9 באוגוסט 2012 (IDT)
 +
 +
ז"א שאם הבסיס שלי  הוא x,y ו הבסיס השני הוא w,t
 +
אז אני צריך לעשות ax+by=dw+et
 +
אבל את מי אני צריך לבודד ואת מי למצוא בעזרת מי?
 +
 +
 +
תשובה: לפי הסימונים שלך אתה מקבל מערכת משוואות (הומוגנית) עם נעלמים a,b,d,e.
 +
אתה צריך לפתור את המערכת הזאת (למעשה מספיק למצוא רק למה שווים a,b או d,e).
 +
 +
ואז להציב את התשובה (הפתרון הכללי) בתוך הצירוף הלינארי - ואז תקבל את האיבר הכללי של החיתוך.--[[משתמש:איתמר שטיין|איתמר שטיין]] 22:47, 9 באוגוסט 2012 (IDT)
 +
 +
תודה
 +
 +
== שאלה 2 סעיף ב ==
 +
 +
אני מקבל רק משוואה 1 שהיא רק עם X,Y,Z,W אז אני צריך בסעיף ב לישתמש רק בה? או שבסעיף ב להישתמש גם במשוואות שיש בהם את הסקלרים?
 +
 +
 +
תשובה: המרחב הוא בדיוק אותם <math>(x,y,z,w)</math> שפותרים את המשוואה שמצאת בסיף א'. אז אתה משתמש בתוצאה של סעיף א'.--[[משתמש:איתמר שטיין|איתמר שטיין]] 17:41, 9 באוגוסט 2012 (IDT)
 +
 +
== שאלה ==
 +
 +
נניח u,w מוכלים ב v אז סכום ישר שלהם הוא בהכרח תת מרחב ?
 +
 +
*(לא מתרגל/מרצה) הוכחנו בהרצאה כי סכום של תתי מרחבים (באופן כללי) הוא ת"מ. אם הסכום הישר מוגדר (כלומר החיתוך הוא וקטור האפס) אז הוא גם כן תת מרחב (מדובר במקרה פרטי).
 +
 +
 +
תשובה: נכון, סכום ישר הוא תמיד תת מרחב והוא שווה לסכום הרגיל. (רק שלא כל סכום רגיל הוא גם סכום ישר).
 +
--[[משתמש:איתמר שטיין|איתמר שטיין]] 17:43, 9 באוגוסט 2012 (IDT)
 +
 +
== שאלה כללית לגבי שוויון תתי מרחבים ==
 +
 +
אם שני תתי מרחבים שווים, מה זה אומר על המימדים שלהם ועל הבסיסים שלהם?
 +
ז״א אם U=W (תתי מרחבים) האם זה גורר בהכרח dimU=dimW ושהבסיסים שווים?
 +
 +
 +
תשובה: שוויון של תתי מרחבים הוא שוויון קבוצות.
 +
 +
זאת אותה קבוצה אז בוודאי שיש להם אותו מימד. וכל בסיס של <math>U</math> הוא גם בסיס של <math>W</math> ולהפך.
 +
 +
(שים לב שיש יותר מבסיס אחד לכל מרחב,לכן אם <math>B</math> בסיס של <math>U</math> ו <math>C</math> בסיס של <math>W</math>, אז
 +
<math>U=W</math> לא אומר ש <math>B=C</math>).--[[משתמש:איתמר שטיין|איתמר שטיין]] 17:47, 9 באוגוסט 2012 (IDT)
 +
 +
== תרגיל 4 שאלה 7 סעיף ב' ==
 +
 +
האם אני יכול להכפיל צירוף לינארי בסעיף ב' בA בחזקת K-1 (שהרי לא שווה ל0) ואז בצורה כזאת להראות שזה לא יכול להתקיים שהאיברים תלויים
 +
לינארית (הנחתי בשלילה שהם ת"ל ובצורה כזאת אני רוצה להגיע לסתירה) אני יכול לעשות פעולה כזאת?
 +
 +
 +
תשובה: האיברים <math>\{v,Av,\ldots,A^{k-1}v\}</math> הם וקטורים בגודל <math>n \times 1</math>.
 +
 +
צירוף לינארי שלהם הוא וקטור בגודל <math>n \times 1</math>.
 +
 +
לכן מותר להכפיל אותו משמאל במטריצה שיש לה <math>n</math> עמודות
 +
 +
או מימין במטריצה שיש לה שורה אחת.
 +
 +
אני מקווה שזה עונה על השאלה.--[[משתמש:איתמר שטיין|איתמר שטיין]] 22:35, 9 באוגוסט 2012 (IDT)
 +
 +
== ליניארית, תרגיל 4 שאלה מס' 2 ==
 +
 +
לא ממש הבנתי איזה צורת תשובה אני אמור לכתוב בסעיפים א'-ג'..
 +
איזו מערכת משוואת אני אמור למצוא? מהצורה: X שווה לביטוי עם אלפא 1 וכו', או אלפא 1 שווה לביטוי עם X, Y...?
 +
ובסעיף ב', איזה מערכת משוואת לפתור אם התנאי שיצא לי בא' הוא משוואה אחת?
 +
 +
 +
תשובה: בסעיפים א' ,ג' אתה אמור לקבל כתשובה מערכת משוואות עם נעלמים <math>x,y,z,w</math>
 +
 +
נגיד משהו מהצורה
 +
 +
<math>x+y+z+w=0</math>
 +
 +
<math>x+2y+3z+4w=0</math>.
 +
 +
לגבי סעיף ב', מערכת משוואות עם משוואה אחת אי אפשר לפתור?--[[משתמש:איתמר שטיין|איתמר שטיין]] 22:52, 9 באוגוסט 2012 (IDT)
 +
 +
אמרתיי לך !
 +
 +
== תרגיל 4 שאלה 7 ==
 +
 +
בשאלה 7 k חייב להיות קטן או שווה ל-n?
 +
 +
 +
תשובה: אם השאלה היא האם אפשר להניח ש <math>k \leq n</math>, אז התשובה היא לא. זה לא נתון בשאלה.--[[משתמש:איתמר שטיין|איתמר שטיין]] 21:06, 11 באוגוסט 2012 (IDT)
 +
 +
== תרגיל 5 שאלה 2 ==
 +
 +
1. מה הכוונה "מטריצה סטנדרטית של T"? האם הכוונה למטריצה המייצגת של T לפי הבסיס הסטנדרטי?
 +
 +
2. בשאלה 3, A היא מטריצה מייצגת של T?
 +
 +
 +
תשובה: 1) כן.
 +
 +
2) כן. --[[משתמש:איתמר שטיין|איתמר שטיין]] 20:46, 14 באוגוסט 2012 (IDT)
 +
 +
 +
מה זה המטריצה המייצגת  של T  בבסיס הסטנדרטי??
 +
 +
 +
תשובה: הבסיס הסטנדרטי של <math>\mathbb{R}^3</math> הוא <math>S=\{e_1,e_2,e_3\}=\{(1,0,0),(0,1,0),(0,0,1)\}</math>.
 +
 +
המטריצה המייצגת של <math>T</math> בבסיס הסטנדרטי היא <math>[T]^S_S</math>.--[[משתמש:איתמר שטיין|איתמר שטיין]] 08:55, 15 באוגוסט 2012 (IDT)
 +
 +
== תרגיל 5 שאלה 11ג ==
 +
 +
אני חושב שיש טעות בשאלה כי אם V=R^2 ו-  (y,x)=T(x,y
 +
אז T^2 עדיין שווה ל-I אבל וקטורים כמו (1,2) לא שייכים ל-U+W
 +
ולכן הטענה לא נכונה
 +
: <math>(1,2)=(3/2,3/2)+(-1/2,1/2)</math> ולכן הוא שייך לסכום תתי המרחבים --[[משתמש:שירה ג|שירה ג]] 00:08, 15 באוגוסט 2012 (IDT)
 +
 +
== תרגיל 5 שאלה 3 ==
 +
 +
בשאלה 3 בהתחלה הוקטורים ש-T עובדת עליהם הם וקטורי שורה, ובסעיף ב היא עובדת גם על וקטורי עמודה. האם זה משנה? כלומר, העתקה לינארית הפועלת על וקטורי שורה תפעל גם על וקטורי עמודה באותה צורה?
 +
 +
 +
תשובה: בדר"כ לא טורחים להבדיל בין וקטורי שורה לעמודה, מדובר באיברים של <math>\mathbb{F}^n</math>. ואפשר להתייחס אליהם בתור וקטורי שורה או וקטורי עמודה.
 +
 +
גם במקרה שלנו אפשר לחשוב על <math>T</math> כאילו היא עובדת על וקטורי שורה או עמודה, זה לא באמת משנה.--[[משתמש:איתמר שטיין|איתמר שטיין]] 17:21, 15 באוגוסט 2012 (IDT)
 +
 +
== תרגיל 5 שאלה 5 ==
 +
 +
האם מה שצריך למצוא בעצם זה את <math>[T]^B_C</math> ?
 +
 +
 +
תשובה: כן.--[[משתמש:איתמר שטיין|איתמר שטיין]] 21:52, 15 באוגוסט 2012 (IDT)
 +
 +
== תרגיל 5- שאלה 6- סעיף א' ==
 +
 +
מה הכוונה ביחס לבסיסים שונים?
 +
האם הכונה היא מכל בסיס של v לכל בסיס של w או מבסיס ספציפי של v לבסיס כלשהו של w ?
 +
 +
 +
תשובה: מכל בסיס של <math>V</math> לכל בסיס של <math>W</math>.--[[משתמש:איתמר שטיין|איתמר שטיין]] 21:53, 15 באוגוסט 2012 (IDT)
 +
 +
== תרגיל 5 שאלה 2 ב׳ ==
 +
 +
אם הוכחתי ש T היא חחע, ניתן להשתמש במשפט
 +
Dim(r3)=dim(r3) אז T חחע <=> T על
 +
כדי להוכיח שT היא על?
 +
:כן.--[[משתמש:שירה ג|שירה ג]] 09:38, 16 באוגוסט 2012 (IDT)
 +
 +
== תרגיל 5 שאלה 6 ==
 +
 +
צריך להוכיח בעצם שלכל בסיס E ל V ולכל בסיס S ל W מתקיים <math>RANK[T]^E_E = RANK[T]^S_S</math> ?
 +
:לא בדיוק. צריך להוכיח שלכל בסיסים A B של V ו C D של W מתקיים <math>RANK[T]^B_D = RANK[T]^A_C</math> --[[משתמש:שירה ג|שירה ג]] 09:38, 16 באוגוסט 2012 (IDT)
 +
 +
== תרגיל 5 שאלה 9 ==
 +
 +
בנתונים נתון ש-S הע"ל, אך בסעיף א' יש להוכיח זאת. האם זה לא אמור להיות בנתונים?
 +
 +
 +
תשובה: נניח שזה לא נתון.--[[משתמש:איתמר שטיין|איתמר שטיין]] 14:15, 16 באוגוסט 2012 (IDT)
 +
 +
 +
חחחחחחחח
 +
 +
== ציוני בוחן בלינארית ==
 +
 +
הקישור לציונים לא עובד. ניתן לתקן את הבעיה?
 +
 +
תוקן.
 +
 +
== תרגיל 5 שאלה 9 ==
 +
 +
האם <math>M_2(\mathbb R)</math> הוא מרחב הוקטורים מגודל 2x1 או המטריצות מגודל 2x2? בשאלה 8 אלו מטריצות, ובשאלה 6 <math>M_{2x2}(\mathbb R)</math> הם המטריצות...
 +
:{{לא מתרגל}} מדובר על מטריצות.
 +
 +
תשובה: נכון. שני הסימונים מייצגים מטריצות <math>2\times 2</math>.--[[משתמש:איתמר שטיין|איתמר שטיין]] 18:42, 16 באוגוסט 2012 (IDT)
 +
 +
== תרגיל 5 שאלה 7 ==
 +
 +
האם צריך להוכיח כי T הע"ל?
 +
 +
 +
תשובה: לא צריך להוכיח. כפל במטריצה תמיד מהווה העתקה לינארית.--[[משתמש:איתמר שטיין|איתמר שטיין]] 18:43, 16 באוגוסט 2012 (IDT)
 +
 +
 +
כן אבל אם לדוגמא ייתנו שאלה על "אולי הע"ל" במבחן שמכפילה וקטור במטריצה, נצטרך להוכיח שזה אכן הע"ל או פשוט לרשום שכפל מטריצה תמיד מהווה העתקה לינארית?
 +
 +
 +
תשובה: אפשר פשוט לכתוב שכפל במטריצה הוא תמיד העתקה לינארית.
 +
 +
(למרות שלהוכיח את זה לוקח שתי שורות)--[[משתמש:איתמר שטיין|איתמר שטיין]] 20:10, 16 באוגוסט 2012 (IDT)
 +
 +
 +
לעצלנים שבינינו זה יעזור ;)
 +
 +
== שאלה ==
 +
 +
ממש לא הבנתי מה זה ker ו im של T כמו למשל ששואלים בשאלה 4 ,אני הבנתי את ההגדרות אבל לא הבנתי בתכלס איך פותרים
 +
,אפשר דוגמה טובה שתוכל להסביר לי??
 +
 +
 +
-> תקח העתקה לינארית ותמצא לה גרעין ותמונה. הגרעין זה ker והתמונה זה Im
 +
 +
== שאלה כללית  ==
 +
 +
 +
איך מכפילים מטריצה מגודל 2X2 במטריצה מגודל 3X3?? אפשר דוגמא???
 +
 +
לא מכפילים
 +
 +
סבבה תודה
 +
 +
== תרגיל 5 שאלה 8 ==
 +
 +
לאילו בסיסים סטנדרטיים בדיוק הכוונה בשאלה 8?(מה הבסיס הסטנדרטי של מרחב פולינומים?)
 +
 +
1,x,x^2
 +
 +
 +
או שאפשר להעביר את הפולינומים למקדמים שלהם (אחרי שמציבים 0 ו 1) ואז אפשר להשתמש בבסיס הסטנדטי הרגיל של R3..
 +
 +
== תרגיל 5 שאלה 6 א' ==
 +
 +
האם ניתן להשתמש במשפט שהוכחנו בהרצאה שדרגת המטריצה המייצגת שווה למימד מרחב התמונות של ההעתקה הלינארית?
 +
 +
 +
תשובה: כן. אפשר להשתמש בכל משפט שראיתם בהרצאה.--[[משתמש:איתמר שטיין|איתמר שטיין]] 13:59, 17 באוגוסט 2012 (IDT)
 +
 +
== ציונים בלינארית ==
 +
 +
איפה יש ציונים???
 +
 +
-> היו ציונים... אבל בגלל שהם לא היו שלכם הייתם קטנוניים והתלוננתם עליהם.. אז חסמו אותי.. ועכשיו אין ציונים! [[משתמש:ScoobyDoo|ScoobyDoo]]
 +
 +
== תרגיל 5 שאלה 10 ,11 ==
 +
 +
1.מה זה חזקת העתקות לינאריות?
 +
2.מה מסמן הI בשאלה 11?
 +
 +
 +
1. הרכבה של הע"ל, במקום לרשום ToToToT(הרכבה) רושמים פשוט T^4
 +
2.העתקת היחידה. I(x,y,z) = (x,y,z.
 +
 +
-> מה טוטוטו ?! מה אתה רכבת?! [[משתמש:ScoobyDoo|ScoobyDoo]]
 +
 +
== תרגיל 5 שאלה 10 ==
 +
 +
אפשר כיוון לפתרון של א'?
 +
 +
 +
תשובה: שים לב שאם <math>v \in V</math> אז <math>T(v)=T^4(v)=T(T^3(v))</math>.--[[משתמש:איתמר שטיין|איתמר שטיין]] 22:57, 18 באוגוסט 2012 (IDT)
 +
 +
== מבחנים משנים עברו ==
 +
 +
שימו לב ש
 +
[[אלגברה לינארית 1/מבחנים|כאן]]
 +
יש מבחנים משנים עברו, כמו גם קישורים לאתרים של פרופ' רזניקוב וצבאן ששם יש עוד הרבה מבחנים, לחלקם יש גם פתרונות.--[[משתמש:איתמר שטיין|איתמר שטיין]] 18:11, 20 באוגוסט 2012 (IDT)
 +
 +
 +
בנוסף,
 +
[http://www.bis.org.il/search_res_bank.asp באתר של אגודת הסטודנטים]
 +
אפשר למצוא עוד כמה מבחנים.
 +
 +
 +
שימו לב שיש מבחנים באלגברה לינארית 1 שמספר הקורס שלהם לא מתחיל ב 88 וזה אומר שהם לא של המחלקה למתמטיקה.
 +
 +
אפשר לעשות אותם בתור תרגול אבל
 +
 +
1) הם ממש קלים.
 +
 +
2) לפעמים יש שם חומר שלא למדנו, אז להתעלם מדברים כמו לכסינות, ערכים עצמיים, פולינום אופייני וכו' (שאלה מושגים שתלמדו עליהם בלינארית 2) .--[[משתמש:איתמר שטיין|איתמר שטיין]] 18:17, 20 באוגוסט 2012 (IDT)
 +
 +
 +
 +
:גם מכפלה פנימית לא למדנו נכון?
 +
 +
תשובה: נכון. לא למדנו.--[[משתמש:איתמר שטיין|איתמר שטיין]] 22:34, 20 באוגוסט 2012 (IDT)
 +
 +
== רשימת משפטים ==
 +
 +
נשאר שבוע עד למבחן ועדיין לא פורסמה רשימת המשפטים. [[משתמש:ABAB|ABAB]] 08:39, 22 באוגוסט 2012 (IDT)
 +
 +
 +
שאלתי את מיטל, רשימה תפורסם לכל המאוחר ביום ראשון.--[[משתמש:איתמר שטיין|איתמר שטיין]] 14:34, 23 באוגוסט 2012 (IDT)
 +
 +
== קישור ==
 +
 +
תוסיפו את הקישור [הזה][http://u.cs.biu.ac.il/~tsaban/LinearAlgebra/linear.html] בדף --[[משתמש:Caspim|Caspim]] 09:33, 24 באוגוסט 2012 (IDT)
 +
 +
== מתי המבחן? ==
 +
 +
?
 +
יום חמישי ב16:00 --[[משתמש:Caspim|Caspim]] 13:28, 24 באוגוסט 2012 (IDT)
 +
 +
אני חושב שכן(ב30/08/2012) --[[משתמש:Avital|Avital]] 16:58, 24 באוגוסט 2012 (IDT)
 +
 +
== מחשבון ועוד משהו ==
 +
 +
1) יהיה אפשר להשתמש במחשבון במבחן בליניארית(בבקשה רק תשובה ממישהו שבטוח 100%)? <BR>
 +
2) רמת הקושי של המבחן קלה/קשה/שווה לרמת הקושי של המבחן הזה: http://u.cs.biu.ac.il/~tsaban/Pdf/lin1a63.pdf ? <BR>  --[[משתמש:Avital|Avital]] 16:06, 24 באוגוסט 2012 (IDT)
 +
 +
מצטרף לשאלות [[משתמש:ABAB|ABAB]] 17:22, 24 באוגוסט 2012 (IDT)
 +
 +
 +
 +
יש פתרון למבחן בשאלה 2?
 +
 +
בשאלה 1 סעיף ב במבחן זה מבקשים לחשב מטריצות מייצגות של טי, טי בריבוע, טי בשלישית, טי ברביעית וכולי..
 +
מה הכוונה וכולי ? כמה עוד מטריצות מייצגות של הע"ל צריך לחשב ?
 +
 +
(לא מרצה / מתרגל): בשאלה 1 תחשב את המטריצות המייצגות, תגיע אחרי כמה כאלו למטריצה שממנה כבר לא יהיה מה לחשב.
 +
לגבי שאלה 2, אני אנסה להעלות לפה פתרון בקרוב --[[משתמש:גיא|גיא]] 17:10, 25 באוגוסט 2012 (IDT)
 +
 +
פתרון שאלה 2
 +
[[מדיה:001.jpg]] --[[משתמש:גיא|גיא]] 17:31, 25 באוגוסט 2012 (IDT)
 +
 +
 +
 +
 +
 +
התשובה לשאלה 1 ב'  צריכה להיות מטריצות מהצורה 4X4 (זה כולל שורות אפסים)  ?        כי כל פעם הראו לנו משהו אחר כך שאני לא בטוח איך התשובה אמורה להראות בסוף
 +
 +
ואם כן האם צריך להשאיר את המטריצה כמו שהיא או להוריד את שורות האפסים? -(אני זוכר שלא משנים/מורידים אותה אבל אני לא בטוח)
 +
 +
(לא מרצה / מתרגל) מה זאת אומרת למחוק שורות? כל שורה במטריצה חשובה! אין למחוק שורה מן המטריצה, אחרת היא משתנה. וכן, זה כולל שורות אפסים --[[משתמש:גיא|גיא]] 18:51, 25 באוגוסט 2012 (IDT)
 +
 +
 +
תשובות: מה שגיא אמר נכון. התשובות ל 1ב צריכות להיות מטריצות <math>4\times4</math>. לא מוחקים שורות אפסים.
 +
 +
הפתרון שגיא העלה לשאלה 2 נכון. שימו לב שזה בדיוק המצב שיש סכום ישר <math>V\oplus W</math>.--[[משתמש:איתמר שטיין|איתמר שטיין]] 20:44, 25 באוגוסט 2012 (IDT)
 +
 +
== שאלה לגבי שאלה 6 מבחן תשע"ב ד"ר בועז צבאן  ==
 +
 +
במבחן של ד"ר בועז צבאן [http://u.cs.biu.ac.il/~tsaban/Pdf/lin1a63.pdf הנ"ל], בשאלה 6, מה הכוונה ב<math>\bar{1}
 +
</math> ? המספר שחיבורו ל1 נותן 0 בשדה ?
 +
:למיטב הבנתי מדובר פשוט על 1. הסימון 1 עם קו מעליו, בא להציג את מחלקת השקילות של 1 באשר לשארית חלוקה בשלוש (כלומר במקום ה-1 הזה יכול לבוא 4, או 7, וכו, ולך זה לא ישנה כי כולם אותו דבר בשדה הנתון).
 +
 +
 +
תשובה: זה פשוט <math>1</math> . יש כאלה שכותבים את האיברים של <math>\mathbb{Z}_p</math> עם קו מעליהם כדי להדגיש שזה לא מספר רגיל.--[[משתמש:איתמר שטיין|איתמר שטיין]] 20:47, 25 באוגוסט 2012 (IDT)
 +
 +
== בשאלה 8 ==
 +
 +
למה צריך להסתבך באינדוקציה? אי אפשר לעשות פשוט n-1 פעולות עמודה (החלפת עמודות) ואז מקבלים את מטריצת היחידה?
 +
 +
 +
תשובה: אתה מדבר על תרגיל 5 שאלה 8? אתה צודק. לא חייבים.--[[משתמש:איתמר שטיין|איתמר שטיין]] 21:46, 25 באוגוסט 2012 (IDT)
 +
 +
== זמני תרגול+הרצאה יום ראשון -26.7 ==
 +
 +
לא הבנתי את הזמנים שמלי שלחה ושינתה
 +
 +
מה שהבנתי זה:
 +
 +
לשתי הקבוצות יש הרצאה- ב-  10:00-12:00  בבוקר
 +
 +
ואז לקבוצה של איתמר יש תרגול ב -  12:00-14:00
 +
 +
האם זה הזמנים הנכונים??
 +
 +
== משפט 17 ו-2 ==
 +
 +
לא הבנתי מה המשפט אומר , מה זה (r(T ?
 +
 +
ובמשפט 2 ככה הגדרנו סכום ישר האם הכוונה פה שההגדרה של סכום ישר הוא שהחיתוך הוא אפס ואז להראות שזה או"א לכל וקטור יש הצגה יחידה
 +
 +
 +
תשובה: לגבי משפט 17: <math>r(T)=rank(T)</math> ו <math>r([T]^E_F)=rank([T]^E_F)</math>.
 +
 +
לגבי משפט 2: כן, אם מגדירים סכום ישר לפי זה שחיתוך המרחבים הוא <math>\{0\}</math>.--[[משתמש:איתמר שטיין|איתמר שטיין]] 16:08, 26 באוגוסט 2012 (IDT)
 +
 +
== הוכחה שדרגת העמודות שווה לדרגת השורות ==
 +
 +
למי שביקש ממני היום הוכחה
 +
 +
נזכור כי דרגת העמודות של מטריצה <math>A</math> היא מימד מרחב העמודות (המרחב הנפרש על ידי עמודות <math>A</math>).
 +
 +
ודרגת השורות של מטריצה <math>A</math> היא מימד מרחב השורות (המרחב הנפרש על ידי שורות <math>A</math>).
 +
 +
 +
 +
הוכחה לכך שדרגת העמודות של מטריצה שווה לדרגת השורות של מטריצה:
 +
 +
 +
תהי <math>A \in \mathbb{F}^{m\times n}</math> מטריצה כלשהיא ונניח שדרגת העמודות שלה היא <math>k</math>.
 +
 +
כלומר <math>dim{C(A)}=k</math>.
 +
 +
ההוכחה מחולקת לכמה שלבים.
 +
 +
שלב א': למצוא מטריצות <math>D,R</math> כך שמספר העמודות ב <math>D</math> ומספר השורות ב <math>R</math> הם <math>k</math>. ומתקיים <math>A=DR</math>.
 +
 +
 +
יהיה <math>B=\{b_1,\ldots , b_k\}\subseteq \mathbb{F}^m</math> בסיס עבור <math>C(A)</math>.
 +
 +
נסמן ב <math>D</math> את המטריצה שעמודותיה הם איברי <math>B</math>.
 +
 +
כלומר
 +
 +
<math>D=\begin{bmatrix} |&|&&| \\ b_1 & b_2 & \ldots & b_k \\ |&|&&|  \end{bmatrix}\in \mathbb{F}^{m\times k} </math>
 +
 +
 +
נשים לב שבגלל ש <math>B</math> בסיס ל <math>C(A)</math> הוא פורש כל עמודה של <math>A</math>.
 +
 +
כלומר לכל עמודה <math>C_i(A)</math> מתקיים ש <math>C_i(A)\in span\{b_1,\ldots, b_k\}</math>.
 +
 +
נסמן  <math>[C_i(A)]_B=\begin{bmatrix} \alpha_{1,i} \\ \alpha_{2,i} \\ \vdots \\ \alpha_{k,i} \end{bmatrix}</math>
 +
 +
כלומר <math>C_i(A) = \alpha_{1,i}b_1+\alpha_{2,i}b_2+\ldots+\alpha_{k,i}b_k</math>
 +
 +
כלומר <math> C_i(A)=\begin{bmatrix} |&|&&| \\ b_1 & b_2 & \ldots & b_k \\ |&|&&|  \end{bmatrix} \begin{bmatrix} \alpha_{1,i} \\ \alpha_{2,i} \\ \vdots \\ \alpha_{k,i} \end{bmatrix} = D\begin{bmatrix} \alpha_{1,i} \\ \alpha_{2,i} \\ \vdots \\ \alpha_{k,i} \end{bmatrix} </math>
 +
 +
נגדיר מטריצה <math>R \in \mathbb{F}^{k \times n}</math> לפי
 +
<math>R_{i,j}=\alpha_{i,j}</math>.
 +
 +
נשים לב ש הכפל <math>DR</math> מוגדר היות ומספר העמודות ב <math>D</math> ומספר השורות ב <math>R</math> הם <math>k</math>.
 +
 +
נקבל ש<math>C_i(DR)=DC_i(R)=D\begin{bmatrix} \alpha_{1,i} \\ \alpha_{2,i} \\ \vdots \\ \alpha_{k,i} \end{bmatrix}=C_i(A)</math>
 +
 +
כלומר <math>DR=A</math>.
 +
 +
סוף שלב א'.
 +
 +
שלב ב': לראות ש <math>A=DR</math> אומר שדרגת השורות של <math>A</math> קטנה מדרגת השורות של <math>R</math> ולהסיק מסקנות.
 +
 +
 +
לפי כפל שורה שורה
 +
<math>R_i(A)=R_i(D)R=D_{i,1}R_1(R)+D_{i,2}R_2(R)+\ldots + D_{i,k}R_k(R)</math>
 +
 +
כלומר
 +
 +
<math>R_i(A) \in span\{R_1(R),R_2(R), \ldots , R_k(R)\}</math>
 +
 +
לכן <math>R(A) \subseteq R(R)</math>
 +
 +
ולכן <math>dimR(A) \leq dimR(R) \leq k = dimC(A)</math>
 +
 +
(מרחב השורות של המטריצה <math>R</math> לא יכול להיות יותר מ  <math>k</math> כי יש ב <math>R</math> רק <math>k</math> שורות.)
 +
 +
זה מוכיח שלכל מטריצה <math>A</math> מתקיים ש <math>dimR(A) \leq dimC(A)</math>.
 +
 +
סוף שלב ב'
 +
 +
שלב ג': סיום.
 +
 +
 +
נשים לב ש <math>dimC(A) = dim R(A^t) \leq dimC(A^t) = dimR(A)</math>
 +
 +
בסה"כ קיבלנו <math>dimC(A) \leq dimR(A)</math> וגם <math>dimR(A) \leq dimC(A)</math> ולכן
 +
 +
<math>dimR(A)=dimC(A)</math> מש"ל.
 +
--[[משתמש:איתמר שטיין|איתמר שטיין]] 16:39, 26 באוגוסט 2012 (IDT)
 +
 +
== שלישי חינם ==
 +
 +
אם יבקשו במבחן להוכיח את שלישי חינם אני יצטרך להוכיח שמספר האיברים בקבוצה פורשת >= מספר האיברים בקבוצה בת"ל ?
 +
 +
 +
תשובה: אני מתאר לעצמי שלא. אבל שלחתי למיטל מייל עם השאלה הזאת.--[[משתמש:איתמר שטיין|איתמר שטיין]] 15:46, 27 באוגוסט 2012 (IDT)
 +
 +
 +
תשובת מיטל: הוכחנו בכיתה משפטים על פורשת מינימלית ובת"ל מקסימלית, והם בהחלט יכולים להסתמך על כך. --[[משתמש:איתמר שטיין|איתמר שטיין]] 16:49, 27 באוגוסט 2012 (IDT)
 +
 +
מה זה שלישי חינם? [[משתמש:ABAB|ABAB]] 19:31, 27 באוגוסט 2012 (IDT)
 +
 +
== בשביל להוכיח את משפט הדרגה של הע"ל ==
 +
 +
האם אפשר להוכיח את זה כך:
 +
 +
תהיה A מטריצה מעל F mxn.
 +
נבנה הע"ל מ Fn ל F m ע"י:
 +
T(V) = AV.
 +
 +
וברור כי:
 +
rank(A) = C(A) = Im(T).
 +
ker(T) = N(A).
 +
 +
ואז להשתמש במשפט הדרגה של מטריצות ולקבל את הדרוש?
 +
 +
 +
תשובה: ההוכחה הזאת נכונה מתמטית. אבל מה שאתה עושה פה זה להוכיח את משפט הדרגה של ההעתקות בעזרת משפט ההעתקה של מטריצות (שזה כמעט אותו משפט).
 +
 +
לכן לא נראה לי שזה טוב. אם אתם מתבקשים להוכיח את משפט הדרגה תשתמשו בהוכחה הסטנדרטית.--[[משתמש:איתמר שטיין|איתמר שטיין]] 13:12, 27 באוגוסט 2012 (IDT)
 +
 +
 +
אבל אמרתם שמותר להשתמש בכל המשפטים, אלא אם כן דרשו להוכיח אותם. אז למה אי אפשר להשתמש במשפט הדרגה של מטריצות?
 +
 +
 +
תשובה: כי לדרוש להוכיח את משפט הדרגה של העתקות זה כמו לדרוש להוכיח את משפט הדרגה של מטריצות. ע"י ייצוג לפי בסיסים זה הופך לאותו משפט.
 +
 +
דרך אגב, אני מודע לכך ששאלות הוכחה במבחן הן תמיד השאלות שלא ברור לגביהן במה מותר להשתמש ובמה לא. לכן אני מבין את השאלות שאנשים שואלים כאן.
 +
הדרך הכי בטוחה להתרחק מצרות היא לדבוק בהוכחות שראיתם בהרצאות--[[משתמש:איתמר שטיין|איתמר שטיין]] 16:07, 27 באוגוסט 2012 (IDT)
 +
 +
== נראה לי יש טעות בהקלדה של רשימת המשפטים ==
 +
 +
במשפט 16, אני דיי בטוח שזה צריך להיות איזומורפי ל F^dimWxdimV ולא ל F^dimVxdimW
 +
<BR>
 +
זה כמובן לא משנה כי
 +
<math>
 +
\mathbb{F}^{dimV \times dimW} \cong \mathbb{F}^{dimW \times dimV}
 +
</math>
 +
ע"י השיחלוף שהוא איזו'. [[משתמש:ABAB|ABAB]] 23:03, 26 באוגוסט 2012 (IDT)
 +
 +
 +
אבל האם אפשר ישירות להוכיח זאת? זאת אומרת בלי לעשות אחר כך עוד הע"ל?
 +
 +
 +
תשובה: אתה צודק שהטענה ה"טבעית" יותר היא <math>Hom(V,W) \cong \mathbb{F}^{dimW\times dimV}</math>. אבל אם אם יבקשו במבחן להוכיח ש
 +
<math>Hom(V,W) \cong \mathbb{F}^{dimV\times dimW}</math>  אז תוכיח את הטענה הקודמת ותשתמש ב traspose בשביל להוכיח ש
 +
 +
<math>\mathbb{F}^{dimV\times dimW} \cong \mathbb{F}^{dimW\times dimV}</math>.
 +
 +
אני חושב שזאת הדרך הכי פשוטה--[[משתמש:איתמר שטיין|איתמר שטיין]] 15:50, 27 באוגוסט 2012 (IDT)
 +
 +
== הוכחה של למת ההחלפה של שטייניץ ==
 +
 +
למי ששאל אותי היום על הוכחה של למת ההחלפה
 +
 +
יש כאן קישור [[מדיה:שטייניץ.pdf|הוכחה ללמת ההחלפה של שטייניץ]] (זה נמצא גם בעמוד הראשי של אלגברה לינארית 1).--[[משתמש:איתמר שטיין|איתמר שטיין]] 21:56, 26 באוגוסט 2012 (IDT)
 +
 +
== A הפיכה משמאל => A הפיכה ==
 +
 +
אפשר להוכיח במבחן באמצעות הע"ל? כלומר:
 +
<br>
 +
<math>
 +
T(X)=A\cdot X
 +
</math> איזו' ולכן קיים <math>B</math> כך ש:
 +
<math>
 +
A\cdot B=I
 +
</math> ??
 +
<br>תודה [[משתמש:ABAB|ABAB]] 23:27, 26 באוגוסט 2012 (IDT)
 +
 +
 +
תשובה: אני לא רואה סיבה שלא, אבל ליתר בטחון שלחתי למיטל מייל עם השאלה הזאת.--[[משתמש:איתמר שטיין|איתמר שטיין]] 15:51, 27 באוגוסט 2012 (IDT)
 +
 +
 +
תשובת מיטל: אפשר ורצוי.--[[משתמש:איתמר שטיין|איתמר שטיין]] 16:47, 27 באוגוסט 2012 (IDT)
 +
 +
== משפט מספר 8 ==
 +
 +
כשרשמו לנו אותו לא נמצאת ההוכחה,
 +
וניתן רק להוכיח אותו בעזרת איזומופריזם בהמשך, אני אשמח אם תסביר בקצרה אתה ההוכחה הזאת ( לא משנה לי אם בעזרת מטריצות מעבר או איזומורפיזם)
 +
 +
 +
תשובה: נניח ש <math>A\in \mathbb{F}^{n \times n}</math> הפיכה משמאל, כלומר קיימת <math>B\in \mathbb{F}^{n \times n}</math> כך ש <math>BA=I</math> (מי שרגיל שזאת ההגדרה של הפיכות מימין אז שיניח ש <math>A</math> הפיכה מימין).
 +
 +
נגדיר העתקה לינארית <math>T:\mathbb{F}^{n \times n} \rightarrow \mathbb{F}^{n \times n}</math> על ידי
 +
 +
<math>T(X)=AX</math>.
 +
 +
נשים לב ש <math>T</math> חח"ע כי אם <math>T(D_1)=T(D_2)</math> אז <math>AD_1=AD_2</math> אם נכפול משמאל ב <math>B</math> נקבל ש <math>D_1=D_2</math>.
 +
 +
היות ו <math>T</math> העתקה לינארית. העובדה ש <math>T</math> חח"ע גוררת שהיא גם על.
 +
 +
בפרט <math>I \in Im(T)</math> כלומר קיימת מטריצה <math>C \in \mathbb{F}^{n \times n}</math> כך ש <math>T(C)=I</math> כלומר <math>AC=I</math>.
 +
 +
נשאר רק להראות ש <math>B=C</math> וזה קל היות ו <math>B= BI= B(AC)=(BA)C=IC=C</math>. מש"ל--[[משתמש:איתמר שטיין|איתמר שטיין]] 15:59, 27 באוגוסט 2012 (IDT)
 +
 +
 +
:למה העובדה ש T חח"ע גורר שהיא על?
 +
 +
 +
תשובה: טענה: אם <math>T:V\rightarrow W</math> העתקה לינארית כך ש <math>dimV=dimW=n</math> אז <math>T</math> חח"ע <math>\Leftrightarrow</math>
 +
<math>T</math> על.
 +
 +
הוכחה: לפי משפט הדרגה <math>dimKer(T)+dimIm(T)=dimV=n</math>
 +
 +
עכשיו
 +
 +
<math>T</math> חח"ע <math>\Leftrightarrow</math>
 +
<math>Ker(T)=\{0\}</math>
 +
<math>\Leftrightarrow</math>
 +
<math>dimKer(T)=0</math>
 +
<math>\Leftrightarrow</math>
 +
<math>dimIm(T)=n</math>
 +
<math>\Leftrightarrow</math>
 +
<math>Im(T)=W</math>
 +
<math>\Leftrightarrow</math>
 +
<math>T</math> על
 +
--[[משתמש:איתמר שטיין|איתמר שטיין]] 18:05, 27 באוגוסט 2012 (IDT)
 +
 +
== משפט 16 ==
 +
 +
אני לא מוצאת הוכחה לזה בסיכומי ההרצאות שלי... מישהו יכול להפנות אותי להוכחה או להגיד לי איפה זה בערך נמצא בסיכומים? תודה!--[[משתמש:Inbarsavoray|Inbarsavoray]] 13:52, 27 באוגוסט 2012 (IDT)
 +
 +
 +
תשובה: תחפשי הוכחה לזה שבהינתן בסיסים <math>B,C</math>, פונקציית ייצוג לפי בסיסים היא איזומורפיזם
 +
 +
<math>[\quad]^B_C:Hom(V,W)\rightarrow \mathbb{F}^{dimW \times dim V}</math>--[[משתמש:איתמר שטיין|איתמר שטיין]] 16:02, 27 באוגוסט 2012 (IDT)
 +
 +
== פתרון תרגיל 4 ==
 +
 +
אפשר בבקשה להעלות את הפתרון לתרגיל 4? עוד לא העלו פיתרון.. תודה!
 +
 +
== ה"ל מעל Zp ==
 +
 +
מה זה אומרת ה"ל מעל Zp?
 +
 +
 +
העתקה לינארית <math>T:V\rightarrow W</math> כך ש <math>V,W</math> הם מרחבים וקטוריים מעל <math>\mathbb{Z}_p</math>.--[[משתמש:איתמר שטיין|איתמר שטיין]] 18:07, 27 באוגוסט 2012 (IDT)
 +
 +
== מטריצות בסיסיות ==
 +
 +
אנחנו צריכים לדעת לפתור שאלות כמו שאלה 12 פה:
 +
http://u.cs.biu.ac.il/~tsaban/Pdf/lin1a65.pdf
 +
 +
 +
תשובה: כן.--[[משתמש:איתמר שטיין|איתמר שטיין]] 18:08, 27 באוגוסט 2012 (IDT)
 +
 +
מה זה מטריצה בסיסית?
 +
 +
(לא מרצה/מתרגל) מטריצה Eij היא מטריצה עם 1 במקום הij ו0 בשאר המקומות, נקראת בסיסית.
 +
 +
 +
תשובה: התשובה שמעלי נכונה. <math>E_{i,j}</math> זה סימון סטנדרטי. כדאי לדעת גם ש הקבוצה <math>\{E_{i,j}\}</math> של כל המטריצות האלה מהווה בסיס למרחב המטריצות.--[[משתמש:איתמר שטיין|איתמר שטיין]] 20:14, 27 באוגוסט 2012 (IDT)
 +
 +
== מבחן 2005 מועד ב' שאלה 5' ==
 +
 +
בשאלה 5 פה:http://u.cs.biu.ac.il/~tsaban/Pdf/lin1b65.pdf
 +
השאלה היא כמה פתרונות שלמים יש למערכת מעל R בין 0ל6
 +
או כמה פתרונות יש למערכת מעל Z7?
 +
 +
(לא מרצה / מתרגל) פתרונות המשוואה מעל <math>\mathbb{Z}_7</math>--[[משתמש:גיא|גיא]] 19:23, 27 באוגוסט 2012 (IDT)
 +
 +
 +
גיא צודק.--[[משתמש:איתמר שטיין|איתמר שטיין]] 20:15, 27 באוגוסט 2012 (IDT)
 +
 +
== הפיכות מטריצה ==
 +
 +
אם אומרים ש A הפיכה משמאל, זה אומר שקיימת B כך ש AB=I או ש BA=I?
 +
 +
(לא מרצה / מתרגל) קיימת B כך ש-BA=I. אם אומרים שהיא הופכית משמאל אז למעשה אומרים שיש לה מטריצה הופכית מצד שמאל --[[משתמש:גיא|גיא]] 19:22, 27 באוגוסט 2012 (IDT)
 +
 +
 +
(לא מרצה/מתרגל) בדיוק הפוך..
 +
 +
(לא מרצה / מתרגל) אני די בטוח שמה שאמרתי נכון, נחכה שאחד המתרגלים / מרצים יענה --[[משתמש:גיא|גיא]] 20:05, 27 באוגוסט 2012 (IDT)
 +
 +
 +
תשובה: יש כאלה שמגדירים ככה ויש כאלה שמגדירים הפוך. אין בזה מוסכמה גורפת. אני רגיל כמו שגיא הגדיר, אבל הבנתי שלפחות בהרצאה של מיטל הגדירו הפוך.--[[משתמש:איתמר שטיין|איתמר שטיין]] 20:17, 27 באוגוסט 2012 (IDT)
 +
 +
(לא מרצה / מתרגל) - אני אצל מיטל וככה היא לימדה אותנו גם --[[משתמש:גיא|גיא]] 20:23, 27 באוגוסט 2012 (IDT)
 +
 +
(לא מרצה/מתרגל) אני אצל מיטל והיא למדה אותנו כמו שאני אמרתי...
 +
 +
== משפט 1 ==
 +
 +
מישהו יכול להעלות בבקשה פתרון למשפט 1 מהמשפטים להוכחה ?
 +
 +
 +
תשובה:
 +
 +
 +
הוכחה לטענה ש <math>A</math> הפיכה <math>\Leftrightarrow</math> ניתן להציג את <math>A</math> כמכפלת מטריצות אלמנטריות.
 +
 +
שלב א':
 +
 +
כל מטריצה אלמנטרית היא הפיכה ומתקיים
 +
 +
<math>(\rho_{i,j})^{-1} = \rho_{i,j}</math>
 +
 +
<math>(\rho_{k\cdot i})^{-1} = \rho_{{\frac{1}{k}}\cdot i}</math>
 +
 +
<math>(\rho_{i+k\cdot j})^{-1} = \rho_{i-k\cdot j}</math>
 +
 +
 +
שלב ב': הוכחת <math>\Rightarrow</math>.
 +
 +
אם <math>A</math> היא מכפלה של מטריצות אלמנטריות אז היא מכפלה של מטריצות הפיכות ולכן הפיכה.
 +
 +
שלב ג': מטריצה <math>C</math> בעלת שורת אפסים היא לא הפיכה.
 +
כי לכל מטריצה <math>B</math> שהיא (נניח ש <math>i</math> היא שורת האפסים)
 +
 +
מתקיים לפי כפל שורה שורה <math>R_i(AB)=R_i(A)B=0 \neq R_i(I)</math>.
 +
 +
שלב ד': נתחיל להוכיח את <math>\Leftarrow</math>.
 +
 +
אם <math>A</math> הפיכה, הצורה המדורגת קנונית שלה היא <math>I</math>.
 +
 +
הסבר: נסמן את הצורה המדורגת קנונית של <math>A</math> ב <math>P</math>.
 +
 +
קיימות מטריצות אלמנטריות <math>E_1,\ldots ,E_k</math> כך ש
 +
 +
<math>E_1\cdot E_2 \cdot \ldots \cdot E_k A = P</math>.
 +
 +
<math>P</math>  הפיכה כי היא מכפלה של מטריצות הפיכות.
 +
 +
אבל לצורה מדורגת של מטריצה ריבועית יש רק 2 אפשרויות. או שהיא <math>I</math> או שיש בה שורת אפסים.
 +
 +
לכן <math>P=I</math>. (מטריצה בעלת שורת אפסים היא לא הפיכה).
 +
 +
שלב ה: סיום
 +
 +
נותר רק לכפול משמאל את
 +
 +
<math>E_1\cdot E_2 \cdot \ldots \cdot E_k A = I</math>.
 +
 +
ב <math>(E_k)^{-1}\cdot (E_{k-1})^{-1} \cdot \ldots \cdot (E_1)^{-1} </math>.
 +
 +
ולקבל
 +
 +
<math>A = (E_k)^{-1}\cdot (E_{k-1})^{-1} \cdot \ldots \cdot (E_1)^{-1}</math>
 +
 +
היות והופכי של מטריצה אלמנטרית הוא גם מטריצה אלמנטרית.
 +
 +
קיבלנו ש<math>A</math> היא מכפלה של מטריצות אלמנטריות. --[[משתמש:איתמר שטיין|איתמר שטיין]] 20:47, 27 באוגוסט 2012 (IDT)
 +
 +
== הע"ל מעל שדה ==
 +
 +
מה זה אומר הע"ל מעל שדה מסויים?
 +
 +
 +
תשובה: אומרים ש <math>T</math> היא העתקה לינארית מעל שדה <math>\mathbb{F}</math> אם היא העתקה לינארית
 +
 +
<math>T:V\rightarrow W</math> כך ש <math>V,W</math> מ"ו מעל השדה <math>\mathbb{F}</math>.
 +
 +
(שימו לב ש <math>V,W</math> חייבים להיות מעל אותו שדה <math>\mathbb{F}</math> אחרת ההגדרה של העתקה לינארית היא חסרת משמעות,
 +
כלומר אין פשר לדרישה <math>T(\alpha v) = \alpha T(v) </math>).--[[משתמש:איתמר שטיין|איתמר שטיין]] 20:19, 27 באוגוסט 2012 (IDT)
 +
 +
== מרחב הפולינומים.. ==
 +
 +
יש לי כמה שאלות:
 +
 +
1. מה הבסיס הסטנדרטי של מרחב הפולינומים ממעלה 2?
 +
 +
2. איך לדוגמא מייצגים את 1+X^2 בתור כפל של סקלרים בבסיס הסטנדרטי?
 +
 +
תשובה:
 +
1. <math>\left \{ 1,X,X^2 \right \}</math>
 +
 +
2. (1,0,2)
 +
 +
== שאלה 11 ב2005 מועד א' ==
 +
 +
http://u.cs.biu.ac.il/~tsaban/Pdf/lin1a65.pdf
 +
איך עושים את 11?
 +
 +
 +
תשובה: תפתור בספר של צבאן את שאלה 4.6 (סעיפים א' ב') בפרק א ואז קל לפתור את שאלה 11.
 +
 +
אם אתה לא מצליח או שזה עדיין לא ברור אני אסביר יותר במפורט.
 +
 +
באמת אולי היינו צריכים להציג במפורש את משפט פרמה הקטן בקורס הזה.--[[משתמש:איתמר שטיין|איתמר שטיין]] 22:38, 27 באוגוסט 2012 (IDT)
 +
 +
 +
:אתה יכול להסביר יותר במפורט?
 +
 +
 +
תשובה: קודם אני אציג את הפתרון של תרגיל 4.6
 +
 +
סעיף א) בשדה ממאפיין <math>p</math> מתקיים <math>(a+b)^p=a^p+b^p</math>.
 +
 +
זה בגלל שלפי הבינום של ניוטון
 +
 +
<math>(a+b)^p = \displaystyle \sum_{k=0}^{p}\binom{p}{k}a^kb^{p-k}</math> ו <math>p</math> מחלק את <math>\binom {p}{k}</math> כש <math>0<k<p/math>.
 +
 +
לכן כל מה שנשאר מהסכום אלה האיברים הראשון והאחרון <math>a^p+b^p</math>, כל השאר הם <math>0</math>. כי המאפיין הוא <math>p</math>.
 +
 +
סעיף ב) לכל <math>a \in \mathbb{Z}_p</math>, מתקיים ש <math>a^p=a</math>.
 +
 +
הוכחה: באינדוקציה על <math>a</math>. אם <math>a=0</math> הטענה נכונה בבירור.
 +
 +
נניח שהטענה נכונה עבור <math>a</math>, נוכיח אותה עבור <math>a+1</math>.
 +
לפי סעיף א' <math>(a+1)^p=a^p+1^p=a^p+1</math>.
 +
 +
ולפי הנחת האינדוקציה <math>a^p+1=a+1</math>.
 +
 +
לכן בסך הכל <math>(a+1)^p=a+1</math>.
 +
 +
שזה מה שרצינו להוכיח.
 +
 +
עכשיו נעבור לשאלה במבחן.
 +
 +
אם <math>\mathbb{F}=\mathbb{Z}_p</math>.
 +
 +
אז <math>T(a)=a^p=a</math>. שזו העתקת הזהות ולכן היא באמת העתקה לינארית.
 +
 +
שזה אומר שסעיף 4 נכון. אבל זה עדיין לא מסיים את העבודה כי יכול להיות שגם סעיף 3 נכון, והוא יותר חזק מסעיף 4.
 +
 +
נניח ש <math>char(\mathbb{F}=p</math> ונוכיח ש <math>T</math> היא העתקה לינארית מעל <math>\mathbb{Z}_p</math>.
 +
 +
שלב ראשון :<math>T(a+b)=(a+b)^p=a^p+b^p=T(a)+T(b)</math>.
 +
 +
שלב שני:  <math>T(\alpha a)=(\alpha a)^p=(\alpha)^p a^p = \alpha a^p = \alpha T(a)</math>.
 +
(שים לב ש <math>\alpha\in \mathbb{Z}_p</math>)
 +
 +
לסיכום, התשובה הנכונה היא 3.
 +
 +
 +
ואיך היינו יכולים לפתור את התרגיל הזה בלי המשפט?
 +
 +
 +
תשובה: אני לא רואה דרך סבירה.--[[משתמש:איתמר שטיין|איתמר שטיין]] 18:50, 28 באוגוסט 2012 (IDT)
 +
 +
 +
דרך אגב, למיטב ידיעתי (אבל אני לא מבטיח) אין במבחן שלכם תשובות "נכונות" ותשובות "יותר נכונות". כלומר אם שאלה כמו שאלה 11 הייתה מופיעה במבחן שלכם. לסעיף 4 היינו מוסיפים: "אבל יש שדה <math>\mathbb{F}</math> כלשהוא עם מאפיין <math>p</math> כך ש <math>T</math> אינה העתקה לינארית"
 +
--[[משתמש:איתמר שטיין|איתמר שטיין]] 16:24, 28 באוגוסט 2012 (IDT)
 +
 +
== הבוחן שהיה ==
 +
 +
אתם יכולים להעלות פתרונות לבוחן אמצע..?
 +
 +
 +
אני מקווה שאני אספיק--[[משתמש:איתמר שטיין|איתמר שטיין]] 16:24, 28 באוגוסט 2012 (IDT)
 +
 +
 +
שמתי פתרון בדף הראשי.--[[משתמש:איתמר שטיין|איתמר שטיין]] 18:19, 28 באוגוסט 2012 (IDT)
 +
 +
 +
תודה!
 +
 +
== איך פותרים את תרגיל 4  ==
 +
 +
פה
 +
http://u.cs.biu.ac.il/~tsaban/Pdf/lin1a64.pdf
 +
 +
?
 +
 +
שיטה א': תמצא דוגמאות ששוללות את כל האופציות הלא נכונות.
 +
 +
שיטה ב': היה לכם בשיעורי הבית (בתרגיל 4) שאלה שתעזור להבין מה הפתרון הנכון. (תזכרו שמטריצות והעתקות מתנהגים אותו דבר).
 +
 +
 +
אם זה עדיין לא ברור אני אסביר יותר.--[[משתמש:איתמר שטיין|איתמר שטיין]] 22:42, 27 באוגוסט 2012 (IDT)
 +
 +
 +
 +
אני לא מצליח..
 +
 +
 +
שיטה א': נגדיר <math>T(x_1,x_2, \ldots ,x_{32})=(0,x_1,x_2, \ldots , x_{31})</math> (העתקת הזזה).
 +
 +
זאת דוגמא נגדית ל 2,3,4 . לכן 1 נכון.
 +
 +
שיטה ב': בתרגיל 4 שאלה 7 הוכחתם שבהכרח מתקיים ש <math>T^{32}=0</math>.
 +
 +
מקווה שזה ברור.--[[משתמש:איתמר שטיין|איתמר שטיין]] 16:28, 28 באוגוסט 2012 (IDT)
 +
 +
 +
כן ברור אבל איך אפשר להוכיח ש T^32 = 0?
 +
 +
 +
תשובה: באותה טכניקה שהשתמשתם בתרגיל 4 שאלה 7.
 +
 +
הרי קיים <math>k</math> כך ש <math>T^k=0</math> אבל <math>T^{k-1}\neq 0</math>.
 +
 +
תוכיח שקיים <math>v</math> כך ש <math>v,T(v), \ldots ,T^{k-1}(v) </math> היא קבוצה בת"ל בגודל <math>k</math>.
 +
 +
לכן <math>k \leq n</math>. ולכן <math>T^n=T^{32}=0</math>.--[[משתמש:איתמר שטיין|איתמר שטיין]] 16:50, 28 באוגוסט 2012 (IDT)
 +
 +
 +
מי אמר אבל ש T לא שווה לאפס? ולכן <math>T^{k-1}\neq 0</math> לא נכון
 +
 +
 +
תשובה: אז מה? אם <math>T=0</math>  אז <math>k=1</math> ואז <math>T^{k-1}=T^{0}=I \neq 0</math>.--[[משתמש:איתמר שטיין|איתמר שטיין]] 17:04, 28 באוגוסט 2012 (IDT)
 +
 +
== בסיס ומימד של חיתוך ת"מ ==
 +
 +
התבקשתי להעלות דוגמאות:[[מדיה:sub_dimx2.pdf|דוגמאות]]
 +
--[[משתמש:שירה ג|שירה ג]] 22:34, 27 באוגוסט 2012 (IDT)
 +
 +
== דרגת העתקה שווה לדרגת המטריצה המייצגת ==
 +
 +
תהי
 +
<math>
 +
T:V\rightarrow W
 +
</math>
 +
הע"ל. כיצד מוכיחים כי
 +
<math>
 +
rank(T) = rank([T]_{C}^{B})
 +
</math>
 +
<br>
 +
חיפשתי ולא מצאתי את ההוכחה.
 +
 +
תודה! [[משתמש:ABAB|ABAB]] 12:19, 28 באוגוסט 2012 (IDT)
 +
 +
 +
תשובה: אני מתאר לעצמי שההוכחה שראיתם בכיתה היא משהו בסגנון הזה:
 +
<math>rank([T]^B_C)= dim C([T]^B_C)= dim \{[T]^B_Cv \mid v \in \mathbb{F}^n\}=dim\{[T]^B_C[u]_B \mid u \in V \} = dim\{[T(u)]_C \mid u \in V\}
 +
 +
</math>
 +
 +
(בגלל ש <math>[\quad]_C</math> היא איזומורפיזם)
 +
 +
<math>=dim\{T(u) \mid u \in V\} = dimIm(T) = rank(T)</math>
 +
--[[משתמש:איתמר שטיין|איתמר שטיין]] 18:31, 28 באוגוסט 2012 (IDT)
 +
 +
 +
 +
*ההוכחה שראינו בהרצאה (של מיטל):
 +
 +
הניסוח: יהיו V,W מ"ו מעל שדה F.נגדיר E בסיס לV, וכן F בסיס לW, ותהי T מV לW הע"ל. אז מתקיים:<math>rank(T) = rank([T]_{F}^{E})</math>
 +
 +
הוכחה: נסמן {v1,...vk} בסיס עבור (ker(T, וכן {(T(u1),...T(ul}, בסיס עבור (im(T, ולכן המימד של התמונה הוא l. מתקיים: {,u1,...ul,v1,...,vk} בסיס עבור V, נסמנו B (הוכחנו זאת כאשר הוכחנו את משפט הדרגה).
 +
 +
אזי מתקיים:
 +
 +
<math>\left[ T \right] ^{ B }_{ F }\quad =\quad ([T(v_{ n })]_{ F }...[T(v_{ n })]_{ F }[T(u_{ 1 })]_{ F }....[T(u_{ l })]_{ F })\quad =\quad (0...0[T(u_{ 1 })]_{ F }....[T(u_{ l })]_{ F })</math>
 +
 +
(כאשר מדובר במטריצה שעמודותיה הן הוקטורים האלו, כשרשום אפס הכוונה לעמודת אפסים). אבל אמרנו כי {(T(u1),...T(ul} בסיס, וכן F בסיס ולכן l העמודות האחרונות הן בת"ל, ומתקיים <math>r(\left[ T \right] ^{ B }_{ F })=l</math> . נותר להוכיח כי <math>r(\left[ T \right] ^{ B }_{ F })=r(\left[ T \right] ^{ E }_{ F })</math>.
 +
 +
מתקיים:
 +
[http://www.math-wiki.com/images/e/e2/Gif.gif]
 +
כאשר המעבר האחרון מתבצע בגלל המשפט שאומר: אם A הפיכה מתקיים (r(BA)=r(B, ובמקרה שלנו מטריצת המעבר היא הפיכה, ולכן הדרגות שוות.
 +
 +
ובסה"כ נקבל:[[http://www.math-wiki.com/images/9/9b/Gif_%281%29.gif]]
 +
 +
== משפט ההגדרה ==
 +
 +
מה הניסוח של משפט ההגדרה של ה"ל
 +
ומה הניסוח של משפט הדרגה?
 +
 +
 +
*משפט ההגדרה - יהיו V,W מ"ו מעל שדה F, מתקיים dimv=n. אם ניקח {v1,...,vn} בסיס עבור V, וכן{w1,...,wn} '''קבוצה''' מוכלת בW, אזי קיימת T מV לW כך שהיא הע"ל, והיא יחידה, והיא מקיימת T(vi)=wi לכל i בין 1 ל-n.
 +
 +
משפט הדרגה - יהיו V,W מ"ו מעל שדה F, ותהי T מV לW הע"ל. אזי מתקיים:
 +
(dim(ker(t))+dim(im(t))=dim(v
 +
 +
ובמילים- מימד התמונה (דרגת ההעתקה) ועוד מימד הגרעין (האפסיות של T) שווה למימד של V.
 +
 +
== שאלה כללית ==
 +
 +
T : Z2[x] → Z2 מה מסמל הסוגרים המרובעים שמסביב לX?
 +
:פולינומים מעל Z2 במשתנה x
 +
 +
== כפילות הדט ==
 +
 +
בשביל להוכיח את כפילות הדט צריך להסתמך על כך שפונקציה שמקבלת A ומחזירה את הדט של AB היא כמו דטרמיננטה וכן את המשפט שאומר שפונקציה כמו דטרמיננטה זה בעצם (f(I כפול הדט של A מה צריך להוכיח ועל מה אפשר להסתמך?
 +
 +
וגם במשפט לאפלס(פיתוח לפי שורה ) אפשר להסתמך על חישוב לפי מטריצת בלוקים?
 +
 +
 +
תשובה: לגבי כפליות הדטרמיננטה.
 +
 +
אני מתאר לעצמי שאפשר להסתמך על כך שפונקציה "כמו דטרמיננטה" היא <math>f(I)|A|</math>.
 +
אבל בטח שצריך להוכיח ש <math>f(B)=|AB|</math> (או להפך, אני לא זוכר כרגע), היא כמו דטרמיננטה. זאת כל ההוכחה.
 +
 +
כדי להיות בטוח אני אשלח למיטל מייל.
 +
 +
 +
לגבי משפט לפלס. אתה יכול לפרט יותר את השאלה? באיזה הוכחה אתה רוצה להשתמש (יש כמה) ועל איזה משפט בדיוק אתה רוצה להסתמך בלי הוכחה?
 +
--[[משתמש:איתמר שטיין|איתמר שטיין]] 18:37, 28 באוגוסט 2012 (IDT)
 +
 +
== תרגיל ממבחן דמה ==
 +
 +
http://www.math-wiki.com/images/d/d5/11Linear1Dumbtest2.pdf
 +
 +
לא הצלחתי לפתור את תרגיל 6 ו-5 סעיף א, אשמח לעזרה!
 +
 +
 +
תשובה:
 +
 +
לגבי 5 סעיף א'. אני חושב שהכוונה היא כזאת:
 +
 +
היות ולמערכת יש <math>2</math> פתרונות, היא חייבת להיות מעל <math>\mathbb{Z}_2</math>. ויש משתנה חופשי אחד, כלומר דרגת המטריצה היא 2.
 +
 +
יש 4 מקומות במטריצה שאנחנו לא יודעים (ובכל אחד מהם יכול להיות 0 או 1).
 +
 +
סה"כ יש 16 אפשרויות לבדוק. שזה מעצבן אבל סביר, צריך לעבור על האפשרויות אחת אחת ולבדוק באיזה מהן אחת השורות תלויה באחרות (ולכן דרגת המטריצה היא 2).
 +
 +
כרגע אני לא רואה דרך יותר טובה לפתור את זה. אם למישהו יש רעיון אחר שיכתוב.
 +
 +
 +
לגבי שאלה 6:
 +
אני מכיר דרך לפתור את זה, אני לא יודע אם זאת הדרך הכי טובה.
 +
 +
אפשר לקחת בסיס כלשהוא <math>B</math> ל <math>V</math> ולקבל ש
 +
<math>[T]_B[S]_B=[S]_B[T]_B</math> כלומר המטריצה המייצגת של <math>T</math> מתחלפת עם כל מטריצה אחרת.
 +
 +
בפרט היא מתחלפת עם מטריצות בסיסיות <math>E_{i,j}</math>. אם עובדים עם זה קצת, אפשר להוכיח ש <math>A=[T]_B</math> אלכסונית.
 +
 +
הוכחה פחות או יותר: כי אם <math>j \neq k</math> אז <math>E_{i,j}AE_{k,l}=A_{j,k}E_{i,j}</math>
 +
אבל בגלל החילוף <math>E_{i,j}AE_{k,l}=AE_{i,j}E_{k,l}=0</math>
 +
 +
(אפשר גם להוכיח ש <math>A</math> סקלרית אבל זה לא נדרש כאן)
 +
 +
ואז הבסיס <math>B</math> הוא קבוצת הוקטורים המבוקשת.
 +
 +
 +
(לידע כללי: התנאי שיש בשאלה הזאת הוא חזק מאוד, וההעתקות היחידות שמקיימות אותו הן כאלה של כפל בקבוע <math>T(v)=\alpha v</math>.)
 +
 +
כמו קודם, אני לא בטוח שזאת הדרך הכי פשוטה, מוזמנים להעלות עוד רעיונות.--[[משתמש:איתמר שטיין|איתמר שטיין]] 21:00, 28 באוגוסט 2012 (IDT)
 +
 +
 +
תודה רבה, עזרת לי מאוד.
 +
 +
== משפט כפליות הדט' ==
 +
 +
*האם תוכלו להעלות את ההכוחה ש|f(A)=|AB היא כמו דט'? בהרצאה לא הוכחנו את זה אלא ציינו.
 +
 +
*האם אפשר להוכיח ככה:
 +
 +
נראה כי |f(A)=|AB היא כמו דט' על ידי כך שנראה כי היא (1)מתאפסת כאשר יש שתי שורות זהות, וכן (2) מחליפה סימן עם החלפת שורות.
 +
 +
(1) אם בA יש שתי שורות זהות, נקבל כי A|=0|, ולכן A לא הפיכה, וגם AB לא הפיכה (אם נניח בשלילה כי AB הפיכה בפרט הפיכה משמאל, לכן קיימת C עבורה AB)C=I), ולפי אסוצ' נקבל A(BC)=I כלומר A הפיכה משמאל, לכן הפיכה בסתירה), ואם AB לא הפיכה 0=|AB|, כדרוש.
 +
 +
(2)אם נחליף שתי שורות i,j בA ונסמן את המטריצה החדשה 'A, נקבל כי |A'|= -|A|. אפשר לרשום A'=pA, כאשר p היא מטריצה אלמנטרית של החלפת השורות i,j. .לכן מתקיים:
 +
 +
|(f(A')=|A'B|=|(pA)B|=|p(AB
 +
קיבלנו מטריצה שבה שינו את השורות הi,j ולכן הדט' שלה היא |AB|-, כלומר מתקיים (f(A')= -|AB|= -f(A ,כדרוש.
 +
 +
תזכורת כי צריך גם להראות ליניאריות בכל שורה.
 +
 +
*אמרנו בהרצאה כי מספיק להראות את שתי התכונות הנ"ל כדי להוכיח כי פונ' כלשהי היא כמו דט'.
 +
 +
 +
 +
:זה משפט ש (pA)B=p(AB) ?
 +
 +
*תשובה: מדובר בשלוש מטריצות p,B,A ועבורן מתקיימת אסוצ' הכפל, הוכחנו בהרצאה (אצל מיטל אבל אני גם בטוח שגם אצל אלי הוכיחו, זה בסיסי ממש).
 +
 +
נראה לי שיותר קל להראות את זה עם כפל שורה שורה ואז להשתמש בתכונות של הדטרמיננטה
 +
 +
 +
תשובה: אני חושב שחלק מהדברים שנכתבו כאן למעלה לא נכונים.
 +
 +
יש שלוש תכונות (כמובן חוץ מהדרישה ש <math>f(I)=1</math> שלא דורשים בשביל "כמו דטרמיננטה").
 +
 +
1) מולטי לינאריות.
 +
 +
2) אם יש שתי שורות זהות הדטרמיננטה היא 0.
 +
 +
3) חילוף של שתי שורות משנה את הסימן של הדטרמיננטה.
 +
 +
למיטב ידיעתי.
 +
 +
1+2 גורר את 3.
 +
 +
1+3 גורר את 2 (אולי חוץ מאשר כשעובדים מעל שדות עם מאפיין 2).
 +
 +
2+3 לא גוררים את 1, אין לי דוגמא כרגע בשלוף אבל אני אהיה מאוד מופתע לגלות שזה נכון, אף פעם לא ראיתי כזה טיעון.
 +
 +
 +
באמת, כדי להוכיח ש<math>f(A)=|AB|</math> מקיימת את 2 מוכיחים כמו שהראו פה למעלה.
 +
 +
ובנוסף צריך להוכיח שהיא מולטי לינארית (עושים את זה עם כפל שורה -שורה, זה לא כזה מסובך).
 +
 +
אחרי שמוכיחים את זה, זה נותן ש <math>f</math> היא "כמו דטרמיננטה".--[[משתמש:איתמר שטיין|איתמר שטיין]] 08:23, 29 באוגוסט 2012 (IDT)
 +
 +
*אתה יכול להראות איך עושים את זה?
 +
 +
ועלתה לי עוד שאלה בנושא הזה - מה בדיוק הרעיון של מולטי לינאריות? אני מוכיח כי מתקיים:
 +
[http://www.math-wiki.com/images/9/9e/Daum_equation_1346219922031.png]
 +
 +
אבל בעצם המטריצה השנייה באגף הימני היא מטריצה עם שתי שורות זהות (השורה הj חוזרת על עצמה פעמיים), והדט' שלה היא אפס, אז אי אפשר להשמיט את זה?
 +
 +
 +
תשובה:
 +
 +
אם <math>A = \begin{bmatrix} - & u_1 & - \\ - & u_2 & - \\ & \vdots & \\ - & u_{i-1} & - \\ - & u_i + \alpha v & - \\ - & u_{i+1} & - \\ & \vdots & \\ - & u_n & - \end{bmatrix}
 +
</math>
 +
 +
אז
 +
<math>f(A)=|AB|=
 +
 +
| \begin{bmatrix} - & u_1 & - \\ - & u_2 & - \\ & \vdots & \\ - & u_{i-1} & - \\ - & u_i +\alpha v & - \\ - & u_{i+1} & - \\ & \vdots & \\ - & u_n & - \end{bmatrix}B|</math>
 +
 +
לפי כפל שורה שורה זה
 +
 +
<math>| \begin{bmatrix} - & u_1B & - \\ - & u_2B & - \\ & \vdots & \\ - & u_{i-1}B & - \\ - & (u_i +\alpha v)B & - \\ - & u_{i+1}B & - \\ & \vdots & \\ - & u_nB & - \end{bmatrix}|</math>
 +
 +
וזה כמובן שווה ל
 +
 +
<math>| \begin{bmatrix} - & u_1B & - \\ - & u_2B & - \\ & \vdots & \\ - & u_{i-1}B & - \\ - & u_iB +\alpha vB & - \\ - & u_{i+1}B & - \\ & \vdots & \\ - & u_nB & - \end{bmatrix}|</math>
 +
 +
לפי מולטי-לינאריות של דטרמיננטה
 +
 +
זה שווה ל
 +
 +
<math>| \begin{bmatrix} - & u_1B & - \\ - & u_2B & - \\ & \vdots & \\ - & u_{i-1}B & - \\ - & u_iB & - \\ - & u_{i+1}B & - \\ & \vdots & \\ - & u_nB & - \end{bmatrix}|
 +
+\alpha | \begin{bmatrix} - & u_1B & - \\ - & u_2B & - \\ & \vdots & \\ - & u_{i-1}B & - \\ - &  vB & - \\ - & u_{i+1}B & - \\ & \vdots & \\ - & u_nB & - \end{bmatrix}|</math>
 +
 +
שזה שוב לפי כפל שורה שורה
 +
 +
<math>f(\begin{bmatrix} - & u_1 & - \\ - & u_2 & - \\ & \vdots & \\ - & u_{i-1} & - \\ - & u_i & - \\ - & u_{i+1} & - \\ & \vdots & \\ - & u_n & - \end{bmatrix})+ \alpha f(\begin{bmatrix} - & u_1 & - \\ - & u_2 & - \\ & \vdots & \\ - & u_{i-1} & - \\ - &  v & - \\ - & u_{i+1} & - \\ & \vdots & \\ - & u_n & - \end{bmatrix})</math>
 +
 +
 +
תשובה לשאלה השניה שלך:
 +
מולטי לינאריות אומרת שאם שורות המטריצה הן <math>u_1,u_2, \ldots , u_{i-1}, u_i+\alpha v, u_{i+1} , \ldots , u_n</math>
 +
 +
אז <math>f(u_1,u_2, \ldots , u_{i-1}, u_i+\alpha v, u_{i+1} , \ldots , u_n)=f(u_1,u_2, \ldots , u_{i-1}, u_i, u_{i+1} , \ldots , u_n)+\alpha f(u_1,u_2, \ldots , u_{i-1},  v, u_{i+1} , \ldots , u_n)</math>
 +
 +
איפה באיבר השני יש שורה שחוזרת על עצמה?
 +
 +
<math>v</math> לא חייב להיות קשור ל <math>u_j</math> כלשהוא.--[[משתמש:איתמר שטיין|איתמר שטיין]] 09:17, 29 באוגוסט 2012 (IDT)
 +
 +
*הבנתי, תודה רבה!
 +
 +
== איך פותרים את שאלה 4? ==
 +
 +
http://u.cs.biu.ac.il/~tsaban/Pdf/lin1a60.pdf
 +
יש שיטה כלשהי חוץ מלהציב כל ערך אפשרי ולבדוק?
 +
 +
 +
אפשר באמצעות חילוק פולינומים (x=-1 הוא פתרון).
 +
 +
כמו שרשמו מעלי זה נכון, אבל בתכלס הדרך הכי פשוטה פה זה פשוט להציב זה ממש פשוט שאלה מתנה, אם זה מZ של 7 נגיד 50 אתה פשוט עושה כמו שרשמו מעלי, מחשב את זה כמו משוואה רגילה ואז עושה את המודולו.
 +
 +
== מתי המבחן? ==
 +
 +
?
 +
 +
 +
*יום חמישי (מחר) בשעה 16:00.
 +
 +
== הוכחה ל16 ==
 +
 +
אתה יכול להוכיח את משפט 16?
 +
תשובה : קח תהנה http://www.siz.co.il/view/joftnmng1ixc.png.htm
 +
אנשים תעזרו אחד לשני
 +
 +
 +
בשביל להוכיח שההעתקה היא חח"ע אפשר לעשות את זה ככה?:
 +
<math>[T1]^B_C = [T2]^B_C</math>
 +
 +
 +
 +
ולכן
 +
<math>[T1-T2]^B_C = 0</math>
 +
 +
 +
אבל רק
 +
<math>[0]^B_C = 0</math>
 +
 +
 +
 +
ולכן
 +
<math>T1-T2 = 0</math>
 +
 +
ואז
 +
<math>T1 = T2</math>
 +
 +
 +
???
 +
לא יודע (אני לא מתרגל או מרצה) אבל ההוכחה היא כל כך פשוטה למה סתם להסתבך?
 +
 +
 +
* הוכחה נוספת היא בעזרת חישוב הגרעין, והיא הכי פשוטה לדעתי. הגרעין יכול להכיל רק את העתקת האפס, אחרת יהיה איבר במטריצה המייצגת שאינו אפס, והיא תהיה שונה ממטריצת האפס בניגוד להגדרת הגרעין. לכן הגרעין הוא רק אפס (והכוונה כאן להעתקת האפס), כלומר ההעתקה היא חח"ע.
 +
 +
 +
לא הבנתי למה צריך להוכיח שזו הע"ל, לא מספיק רק חח"ע ועל???
 +
 +
 +
*לא להוכיח שזו הע"ל זה קצת בעיה, כי כל מה שהגדרנו עובד על הע"ל, ולא סתם על פונקציה. בכל מקרה פה ההוכחה היא שורה-שתיים, ככה שזו לא בעיה.
 +
 +
== כשאומרים יחידות הצגה (משפט 2) ==
 +
 +
זה אומר שאם:
 +
 +
<math>v_1 = u_1 + w_1</math>
 +
 +
וגם
 +
<math>v_1 = u_2 + w_2</math>
 +
 +
אזי
 +
<math>u_1 = u_2</math>
 +
<math>w_1 = w_2</math>
 +
זה לא מדויק זה קצת יותר מסובך, אתה צריך להראות שבגלל שהם זרים ( חיבור ישר) אז הדבר הזה מתקיים ולא לגמרי ככה.
 +
בגלל שהם זרים אז u1 -u2שייך לחיתוך בניהם ובגלל שהחיתוך ריק אז הם שווים לוקטור האפס ולכן הם שווים .
 +
 +
 +
אני לא מדבר על ההוכחה, אני שואל האם זו ההגדרה ליחידות הצגה?
 +
 +
 +
*ההגדרה היא שיש דרך אחת בלבד "להרכיב" אותו בעזרת וקטור מU ווקטור מW. ההגדרה שהבאת נכונה.
 +
 +
== משפט 10 ==
 +
 +
אני לא מבקש את ההוכחה היא די פשוטה העניין הוא כזה, במבחן יכולים לבקש ממני לנסח את כולו או שייתנו לי אותו (כולל כל הסעיפים) ואז יבקשו רק שאני יוכיח מסעיף לסעיף?
 +
 +
 +
תשובה: למרות שלא נראה לי סביר שיבקשו לנסח, יכולים לבקש.--[[משתמש:איתמר שטיין|איתמר שטיין]] 14:15, 29 באוגוסט 2012 (IDT)
 +
 +
== משפט 15 ==
 +
 +
המטריצה לא אמורה להיות ריבועית? (כתוב שהיא m על n)
 +
 +
*לא, היא יכולה להיות מגודל mXn גם אם m שונה מn.
 +
 +
לא בגלל שתחשוב על זה ככה אם דרגת המטריצה שווה לn אז גם דרגת העמודות, כלומר לא קיים אף עמודה שאין לה איבר חופשי, לכן יש N שורות לא ריקות במטריצה המדורגת, אבל אולי יש כמה ריקות, המשפט מנסה להראות שהוא נכון גם בעוד מצבים חוץ מאשר שהמטריצה ריבועית ובגלל זה רשמו n ו m.
 +
 +
 +
צודק, חשבתי שהם רצו שנכפיל בהופכית..
 +
 +
== בשביל להוכיח את כפליות הדטרמיננטה ==
 +
 +
אפשר להסתמך על זה שב "כמו דטרמיננטה" |f(A) = f(I) * |A?
 +
 +
 +
אני מתאר לעצמי שכן. שלחתי על זה מייל למיטל.--[[משתמש:איתמר שטיין|איתמר שטיין]] 15:56, 29 באוגוסט 2012 (IDT)
 +
 +
 +
תשובת מיטל: אפשר להסתמך ואין צורך להוכיח.--[[משתמש:איתמר שטיין|איתמר שטיין]] 16:28, 29 באוגוסט 2012 (IDT)
 +
 +
 +
מזל תודה :)
 +
 +
== שעה ==
 +
 +
באיזה שעה המבחן מחר? מצפה לתשובה עם הוכחה. :) [[משתמש:ABAB|ABAB]] 16:15, 29 באוגוסט 2012 (IDT)
 +
 +
 +
קל לראות שזה ב 16:00
 +
 +
תודה זה היה טריוויאלי [[משתמש:ABAB|ABAB]] 17:04, 29 באוגוסט 2012 (IDT)
 +
 +
== שאלה ממבחן ==
 +
 +
http://u.cs.biu.ac.il/~tsaban/LinearAlgebra/Exams/LA1_68b.pdf
 +
 +
שאלה 3 סעיף ג', איך לפתור? יצא לי 2 אבל אני לא בטוח.
 +
מה יצא לך בכל הסעיפים לפני זה?
 +
 +
 +
אם אפשר איך הגעת לפתרון הזה?
 +
 +
 +
תשובה: אני לא יודע מה הפתרון הכי פשוט.
 +
 +
אבל אפשר לעשות ככה:
 +
 +
הסבר משופר:
 +
 +
שלב א': אם משתמשים באיזומורפיזם <math>[\quad]_S</math> מקבלים שהמרחב הזה איזומורפי למרחב המטריצות <math>A </math> כך ש <math>AM=0</math> (כאשר <math>M</math> היא מטריצה מייצגת של העתקה <math>R</math>). ולכן יש להם אותו מימד.
 +
 +
שלב ב': <math>\{A \mid AM=0\} = \{A \mid M^tA^t = 0\}\cong \{A \mid M^tA=0\}</math>.
 +
 +
כאשר האיזומורפיזם הוא בעזרת transpose.
 +
 +
שלב ג':
 +
 +
נשים לב ש  <math>A \in \{A \mid M^tA=0\}</math> אם ורק אם <math>C_i(A) \in N(A)</math> לכל <math>i</math>.
 +
 +
כלומר <math>A</math> נמצאת בקבוצה הזאת אם ורק אם כל עמודה שלה נמצאת במרחב האפס של <math>M^t</math>.
 +
 +
שלב ד':
 +
 +
את המימד של מרחב האפס של <math>M^t</math> אנחנו יודעים, זה בדיוק המימד של מרחב האפס של <math>M</math>. נסמן אותו ב <math>k</math> (אין לי כח לחשב עכשיו)
 +
 +
אם <math>b_1,\ldots b_k</math> בסיס עבור <math>N(M^t)</math> אז בסיס עבור <math>A \in \{A \mid M^tA=0\}</math>
 +
יהיה מורכב מ 4 קבוצות:
 +
 +
 +
<math>k</math> מטריצות שיש להן <math>b_1,\ldots b_k</math> בעמודה הראשונה וכל השאר אפסים.
 +
 +
<math>k</math> מטריצות שיש להן <math>b_1,\ldots b_k</math> בעמודה השניה וכל השאר אפסים.
 +
 +
<math>k</math> מטריצות שיש להן <math>b_1,\ldots b_k</math> בעמודה השלישית וכל השאר אפסים.
 +
 +
<math>k</math> מטריצות שיש להן <math>b_1,\ldots b_k</math> בעמודה הרביעית וכל השאר אפסים.
 +
 +
סך הכל <math>4k</math> מטריצות וזה המימד.--[[משתמש:איתמר שטיין|איתמר שטיין]] 20:03, 29 באוגוסט 2012 (IDT)
 +
 +
 +
 +
:אתה יכול להסביר עוד פעם?
 +
 +
== הופכיות מצד אחד ==
 +
 +
משפט 8, לא מצאתי את ההוכחה למשפט הזה, יש מצב להוכחה?
 +
עוד שאלה- אם המטריצה לא ריבועית, אז יכול להיות שקיימת לה הופכית משמאל ושהיא לא הפיכה מימין(או להפך)?
 +
 +
תודה רבה!
 +
 +
 +
אם מניחים ש A הפיכה מימין, אזי קיימת B כך ש BA = I.
 +
 +
ואז בונים העתקה T(X) = AX (כאשר X זו מטריצה).
 +
 +
 +
מוכיחים שזאתי הע"ל וגם חח"ע, ולכן היא על.
 +
 +
ולכן בפרט יש מקור ל I, ולכן קיימת M כך ש AM = I.
 +
 +
 +
ואז מה שנשאר להוכיח זה ש M = B וזהו.
 +
 +
 +
:וכנ"ל אם היא הפיכה משמאל זה אותו רעיון רק שעכשיו ההעתקה תהיה XA ולא AX
 +
 +
 +
ולשאלה השנייה שלך, אם <math>A</math> לא ריבועית היא יכולה להיות הפיכה משמאל בלבד (או הפיכה מימין בלבד).
 +
דרך אגב, יש עוד דרך להוכיח את הטענה הזאת, בלי להשתמש בהעתקות לינאריות.
 +
 +
והיא תרגיל 6.11 בספר של צבאן (בפרק 3).
 +
 +
אבל אני מסכים שההוכחה עם העתקות יותר קלה.
 +
--[[משתמש:איתמר שטיין|איתמר שטיין]] 17:27, 29 באוגוסט 2012 (IDT)
 +
 +
תודה!
 +
 +
== בת"ל מקסימלית היא בסיס ==
 +
 +
האם זו הוכחה טובה למשפט " אם A קבוצה בת"ל מקסימלית אז היא בסיס " ? :
 +
 +
יהי V מ"ו ותהי A בת"ל מקסימלית. צ"ל : V מוכל שווה ב-spanA (ההכלה השנייה טריוואלית).
 +
הוכחה :
 +
נניח בשלילה ש-V לא מוכל שווה בspA, כלומר קיים וקטור b ששייך ל V\spA.
 +
b לא שייך לspA כלומר b אינו צי"ל של איברי A (הגדרת span) גורר ש A איחוד נקודון b בת"ל וזו סתירה לנתון ולכן V=spA ולכן A בסיס ל-V.
 +
 +
בבקשה זה חשוב .
 +
 +
 +
זאת הוכחה טובה, אני רק הייתי מוסיף הסבר יותר מפורש/ברור למה אם <math>b</math> אינו צירוף לינארי של איברי <math>A</math> אז <math>A</math> איחוד <math>b</math> בת"ל. (רק להוסיף עוד שורה או שתיים של הוכחה או משהו מעין זה).--[[משתמש:איתמר שטיין|איתמר שטיין]] 20:06, 29 באוגוסט 2012 (IDT)
 +
 +
אוקיי, תודה רבה !
 +
 +
== תרגיל 6 שאלה 4ד ==
 +
 +
לא הבנתי איך עברתם מ-<math>P^{-1} A^{-1} P |P^{-1} | |A||P|</math> ל-<math>P^{-1}A^{-1}|A|P</math>, תוכלו להסביר בבקשה?
 +
:<math>|P^{-1} |=1/|P|</math> וכיוון שהכפל קומוטטיבי <math>|P^{-1} | |A||P|=|A|</math>. בנוסף נזכור שדטרמיננטה היא "מספר" (סקלר מהשדה). ו <math>kA=Ak</math> לכל סקלר k ומטריצה A. --[[משתמש:שירה ג|שירה ג]] 20:30, 29 באוגוסט 2012 (IDT)
 +
 +
== שאלות הוכחה ==
 +
 +
בשאלות הוכחה במבחן נצטרך גם לנסח את המשפט?
 +
 +
 +
תשובה: יכול להיות שיבקשו לנסח.--[[משתמש:איתמר שטיין|איתמר שטיין]] 08:51, 30 באוגוסט 2012 (IDT)
 +
 +
== איזומורפיזם ==
 +
 +
אני רואה שהרבה פעמים משתמשים באיזו' להוכחות של דברים, ואני מרגיש שאני לא מבין את הנושא עד הסוף. מה התכונות של איזו' חוץ מחח"ע על והע"ל?
 +
אם אני מוכיח שV וW איזומורפים מה זה נותן לי?
 +
 +
 +
תשובה: זאת נקודה חשובה. דבר ראשון, שים לב ש<math>V</math> איזומורפי ל <math>W</math> אם יש העתקה לינארית (לא סתם פונקציה) שהיא חד חד ערכית ועל.
 +
 +
מה איזומורפיזם אומר לנו? ששני המרחבים הוקטוריים האלה מתנהגים אותו דבר. הדבר החשוב ביותר הוא שיש להם את אותו מימד. (שים לב שיש גם משפט שאומר שההפך נכון, שני מרחבים מאותו מימד (סופי) הם איזומורפיים).
 +
 +
בנוסף, אם <math>T</math> הוא האיזומורפיזם הוא מאפשר לנו להעביר "מידע" מ <math>V</math> ל <math>W</math> למשל:
 +
 +
אם <math>A</math> בת"ל ב <math>V</math> אז <math>T(A)</math> בת"ל ב <math>W</math>.
 +
 +
אם <math>A</math> פורשת ב <math>V</math> אז <math>T(A)</math> פורשת ב <math>W</math>.
 +
 +
אם <math>U</math> תת מרחב של <math>V</math> ממימד <math>k</math> אז <math>T(U)</math> תת מרחב של <math>W</math> ממימד <math>k</math>.
 +
 +
אם <math>U_1 \oplus U_2 = V</math> אז <math>T(U_1) \oplus T(U_2) = W</math>.
 +
 +
וכן הלאה וכן הלאה.
 +
 +
כל טענה של מרחבים וקטוריים שמתקיימת ב <math>V</math> אפשר "להעביר" ל <math>W</math>.
 +
 +
(וגם את ההפך אפשר לעשות עם <math>T^{-1}</math>.)--[[משתמש:איתמר שטיין|איתמר שטיין]] 08:59, 30 באוגוסט 2012 (IDT)
 +
 +
== משפט 10 ==
 +
 +
אם יתנו להוכיח את משפט 10 אז כבר ינסחו אותו, נכון?
 +
 +
 +
תשובה: יש לשער שכן. אבל אני לא מבטיח.--[[משתמש:איתמר שטיין|איתמר שטיין]] 11:42, 30 באוגוסט 2012 (IDT)
 +
 +
== שאלה בנוגע לדרגה ==
 +
 +
אם יש שתי מטריצות A B ריבועיות, וA הפיכה, האם נכון לאמר ש(r(AB)=r(BA?
 +
והאם זה שווה ל(r(B?
 +
 +
ניסיתי למצוא הפרכה ולא הצלחתי, וכשניסיתי להוכיח לא הוכחתי עד הסוף.
 +
 +
 +
תשובה: אם ב <math>r</math> אתה מתכוון <math>rank</math>. אז כן.
 +
 +
<math>rank(AB)=rank(BA)=rank(B)</math> (אם <math>A</math> הפיכה).
 +
 +
 +
אם אתה מתכוון למרחב השורות אז <math>R(B)=R(AB)</math> (כש <math>A</math> הפיכה).
 +
 +
(כי אפשר לחשוב על <math>A</math> בתור רצף של פעולות שורה אלמנטריות והן לא משנים את מרחב השורה).
 +
 +
 +
אבל הם לא בהכרח שווים ל <math>R(BA)</math>.
 +
 +
למשל אם <math>B=E_{1,1}</math> ו <math>A=E_{2,1}+E_{1,2}</math> אז <math>BA = E_{1,2}</math> ו
 +
 +
<math>R(E_{1,2}) \neq R(E_{1,1})</math>.--[[משתמש:איתמר שטיין|איתמר שטיין]] 11:48, 30 באוגוסט 2012 (IDT)
 +
 +
 +
*התכוונתי לדרגה, תודה.
 +
 +
== שאלה לגבי המבחו ==
 +
 +
אם במבחן בחלק הראשון בשאלה 1 אני צריך להוכיח משפט מסויים, ובשאלה 2 עוד משפט..
 +
מותר לי להסתמך על משפט אחד מביניהם כדי לפתור את השני?
 +
 +
 +
מותר--[[משתמש:איתמר שטיין|איתמר שטיין]] 14:32, 30 באוגוסט 2012 (IDT)
 +
 +
== שאלה 1 במבחן ==
 +
 +
איך הנקודות מתחלקות בין הסעיפים?
 +
ואם הוכחתי משפט אחר בסעיף א' יורידו לי הכל?
 +
תודה
 +
 +
 +
תשובה: בשאלות 1,2 ההוכחה שווה 18 נקודות וסעיף ב' שווה 7 נקודות. (הניסוח גם שווה כמה נקודות מתוך ה18 של ההוכחה).
 +
 +
בשאלה 3 נדמה לי שהחלוקה היא 10,8,12 אבל אני לא משוכנע איזה סעיף מקבל איזה ניקוד.
 +
 +
אם הוכחת משפט אחר, אז כן, לצערי יורידו הכל. לדעת מה המשפט אומר זה בפירוש חלק ממה שנדרש.--[[משתמש:איתמר שטיין|איתמר שטיין]] 21:04, 30 באוגוסט 2012 (IDT)
 +
 +
== בשאלה 1 ==
 +
 +
כשאמרו לנסח את המשפט.. אז מספיק שרשמתי:
 +
 +
יהיה T:V-W הע"ל, אזי
 +
 +
<math>dim Ket(T) + dim Im(T) = dim V</math>
 +
 +
זה מספיק?
 +
 +
 +
*אני אישית רשמתי גם v,w מ"ו מעל שדה F, אני חושב שכן צריך את זה, מציע שתחכה לתשובה של מתרגל.
 +
 +
== פתרון שאלה 3 ==
 +
 +
לכל מי שרוצה, מצורף פתרון שאלה 3
 +
[[מדיה:שאלה 3.jpg]] --[[משתמש:גיא|גיא]] 22:14, 30 באוגוסט 2012 (IDT)
 +
 +
== פתרון המבחן ==
 +
 +
מתי תעלו פתרון של המבחן ואת השאלות?
 +
 +
== המבחן ==
 +
 +
מתי תעלו פתרון של המבחן(כולל שאלות אמריקאיות)?
 +
ומתי יעלו את ציוני המבחן?
 +
 +
 +
תשובה: נעלה פתרון של המבחן במהלך שבוע הבא.
 +
 +
אני מעריך שיהיו ציונים תוך שבוע- שבוע וחצי, אבל אני לא מבטיח.--[[משתמש:איתמר שטיין|איתמר שטיין]] 16:17, 31 באוגוסט 2012 (IDT)
 +
 +
מתי יפורסמו ציוני התרגיל הסופיים? (שקלול בוחן+תרגילים שיהיו 10% מהציון) [[משתמש:ABAB|ABAB]] 17:32, 2 בספטמבר 2012 (IDT)
 +
 +
== ציון סופי ==
 +
 +
מתי המתרגלים יעלו את ציוני התרגיל כדי שנוכל לחשב את הציון הסופי ? בתודה מראש.
 +
 +
== חישוב הציון הסופי ==
 +
 +
שלום,
 +
 +
אם קיבלתי בבוחן יותר מ-100 בחישוב הציון הסופי תחשבו לפי הציון שלי או 100?
 +
 +
:כיצד יחושב ציון התרגיל? 50% בוחן ו-50% תרגילי בית? [[משתמש:ABAB|ABAB]] 20:29, 6 בספטמבר 2012 (IDT)
 +
 +
== יש כבר ציונים? ==
 +
 +
יש כבר ציונים?
 +
 +
== מועד ב' ==
 +
 +
1) המועד ב' יהיה באותו מבנה כמו המועד א'?
 +
2) המועד ב' יהיה באותה רמת קושי כמו המועד א'(כי לדוגמא בבדידה עשו לנו את המועד ב' פי 10 יותר קשה)?
 +
תודה רבה --[[משתמש:Avital|Avital]] 19:45, 10 בספטמבר 2012 (IDT)
 +
<br>
 +
קיבלת כבר ציון? [[משתמש:ABAB|ABAB]] 11:23, 11 בספטמבר 2012 (IDT)
 +
<br>
 +
מלפני שבוע כבר היו ציונים בליניארית --[[משתמש:Avital|Avital]] 19:18, 11 בספטמבר 2012 (IDT)
 +
 +
 +
תשובה: 1) אותו מבנה.
 +
 +
2)לא ראיתי את המועד ב'. אבל הוא אמור להיות באותה רמה (אולי טיפה יותר קשה).--[[משתמש:איתמר שטיין|איתמר שטיין]] 11:46, 12 בספטמבר 2012 (IDT)
 +
 +
== ציוני מועד ב' ==
 +
 +
מתי בערך נקבל אותם?
 +
 +
== נוהל ערעורים ==
 +
 +
מהו נוהל הערעורים,לשלוח מייל למרצה עם התלונות בנוגע לבדיקה והכוונה לשאלות שבהן אני חושב שהייתה טעות בבדיקה ואם כן,מה מייל המרצה??

גרסה אחרונה מ־18:14, 26 בספטמבר 2012

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


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


תוכן עניינים

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

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

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

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

שאלות

תשובה במשוואה מרוכבת

טקסט לא מעוצב האם פתרון של משוואה מרוכבת יכול לצאת עם שורש i ?


תשובה: הפתרון (או פתרונות) למשוואה מרוכבת צריך להיות מוצג בצורה a+bi כאשר a,b\in \mathbb{R}.

בלי שורש i.--איתמר שטיין 22:02, 16 ביולי 2012 (IDT)

שאלה 7 בתרגיל 1, טקסט לא מובן

האם הנקודה האחרונה היא (t,4)? אם כן, האם צריך לבטא בעזרת הפרמטר t ?


תשובה: אכן, הנקודה האחרונה היא (t,4). יש לבטא את התשובה באמצעות t ולשים לב לאפשרויות השונות שיכולות להיות. --איתמר שטיין 21:53, 16 ביולי 2012 (IDT)

מערכת משוואות

האם אני חייב לפתור את המערכת משוואות בעזרת מטריצה או שאני יכול לפתור אותן בדרך הישנה כמו שמלמדים בתיכון (בדרך של הצבה). (שאלות 7-9)


תשובה: המטרה היא לתרגל דירוג מטריצות, אז כן, צריך להשתמש במטריצות. --איתמר שטיין 23:33, 17 ביולי 2012 (IDT)

תרגיל 1 שאלה 9

אין שום הבדל בין שאלה 8 ל9 מבחינת דרך הפיתרון (רק השדה שונה) . צריך לפתור את שאלה 9 בדרך שונה משאלה 8? או לפתור אותה בדיוק כמו שאלה 8?


תשובה: אני לא יכול להגיד באיזה דרך צריך לפתור.

צריך לפתור את שאלה 9 ולהגיע לתשובה נכונה.

אם נראה לך שאותה דרך של שאלה 8 עובדת בשאלה 9, אז תשתמש באותה דרך.

אם נראה לך שאותה דרך של שאלה 8 לא עובדת, אז תשתמש בדרך אחרת.

--איתמר שטיין 10:31, 19 ביולי 2012 (IDT)

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

1. האם אני צריך להראות את צורת הפתרון הסופי כאשר יש אינסוף פתרונות? 2. האם אני יכול להניח ב8 ש b שונה מאפס? 3. איך אני אמור לפתור את 9 אם אני לא יודע אם a גדול או קטן מ7 (מבחינת מודול)


כמה תשובות:

1) כן.

2) לא. אבל אתה יכול להפריד למקרים.

3) זה לא ממש אמור לשנות לך. a הוא איבר של \mathbb{Z}_7. בכל מקרה במודולו 7 הוא שווה לאחד מ \{0,1,\ldots,6\} --איתמר שטיין 10:25, 19 ביולי 2012 (IDT)

תרגיל בית 1 - שאלה 9

האם אפשר להבין מכך שהמשתנים נמצאים במשוואות הנתונות שהם בין 0 ל-6 (כלומר a, a+3, a^2, b נמצאים בתחום הזה)?


תשובה: כל מספר שלם (כולל a^2,a+3 וכו') שווה במודולו 7 למספר בין 0 ל 6.--איתמר שטיין 18:27, 19 ביולי 2012 (IDT)

שאלה כללית

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


תשובה: לפתור את המערכת אומר:

1) למצוא עבור איזה ערכים של הפרמטר/ים יש פתרון יחיד - ולמצוא את הפתרון.

2) למצוא עבור איזה ערכים של הפרמטר/ים אין פתרון.

3) למצוא עבור איזה ערכים של הפרמטר/ים יש אינסוף פתרונות - ולמצוא את הפתרון הכללי. --איתמר שטיין 13:27, 20 ביולי 2012 (IDT)

שאלה 5

איך אמורים לפתור את התרגיל הזה? צריך גם לחשוב על מספרים שיהיו בשדה וגם על החיבור והכפל שלהם..


תשובה: כן. צריך לקחת ארבעה מספרים או סימנים כלשהם (\{0,1,2,3\} או \{a,b,c,d\} - זה לא באמת משנה) ולהגדיר על ארבעת האיברים האלה כפל וחיבור כך שכל האקסיומות של שדה מתקיימות.--איתמר שטיין 13:29, 20 ביולי 2012 (IDT)


אבל לא משנה איך מסדרים את האיברים, יצא לנו או שדה על mod 4 - סתירה (4 לא ראשוני), או (שני איברים ניטרלים לכפל או לחיבור).

שדה עם 4 איברים לא אומר שכל האיברים שונים. שני איברים נייטרלים לחיבור אומר שהקבוצה היא לא שדה רק אם שניהם שונים, אותו דבר לגבי כפל. אלמוג אלפסה 09:53, 21 ביולי 2012 (IDT)
לא ייתכנו שני איברים נייטרלים לפעולה אחת. קל להוכיח שאיבר נייטרלי לפעולה הוא יחיד (מה יהיה סכום איברים נייטרלים שונים לחיבור?). אבל הפעולות לא חייבות להיות כמו Z ארבע, יש הרבה מאד דרכים להגדיר את הפעולות בין האיברים. אחת הדרכים תתן שדה. --ארז שיינר

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

רק להיות בטוח

כשאומרים פתירת מערכת מעל שדה כלשהו(נגיד Z 7), מתכוונים שרק הנעלמים שייכים לאותו השדה או שגם הפרמטרים?

הכל שייך לשדה. כלומר, אם מבקשים ממך לפתור את 31x=3 מעל Z7, קודם הייתי מוצא מה הערך של 31 ב-z7 ואז ממשיך...
אבל אם נגיד אתה מחלק 3 ב 37, אז יוצא לך מספר לא שלם, אז איך אתה יכול לפתור אותו מעל Z7?
אתה יכול לפרק 37=a*7+b כאשר a מקסימלי. במקרה כזה, ב-z7, שלושים ושבע יהיה שקול ל-b.
לא ממש הבנתי.. נגיד 4X = 25 מעל Z11, למה יהיה שווה X?
לכל מספר בשדה יש הופכי, אתה כופל בהופכי בשני הצדדים. בדוגמא שהבאת, ההופכי של 4 הוא 3 (שכן 12=1 מודולו 11). לכן איקס שווה ל75=9 מודולו 11. --ארז שיינר

שאלה לגבי דירוג משוואות ב12

חובה לדרג את המשוואות או שאפשר פשוט להביא את המקרים של a בשדה?

לדרג, זה מה שלומדים בתרגיל הזה --ארז שיינר

תרגיל2- שאלה 2 סעיפים ב' ו-ג'

ב':אני חושב שאמור להיות שהעמודה ה-J שווה לעמודה ה-I של A כי ה-1 הוא האיבר ה-I בעמודה J ואותו הדבר לגבי סעיף ג':שורה i שווה לשורהJ של A


תשובה: אתה צודק, יתוקן בקרוב.--איתמר שטיין 21:09, 22 ביולי 2012 (IDT)

עלתה גרסא מתוקנת. --איתמר שטיין 21:29, 22 ביולי 2012 (IDT)

שאלה 7

מה הכוונה במטריצות סגורות לכפל? לא זכור לי שעברנו על זה בתרגיל/הרצאה.


תשובה: להגיד שקבוצה X של מטריצות סגורה לכפל זה אומר ש:

אם A,B\in X אז AB\in X

(מכפלה של מטריצות מהקבוצה נמצאת בקבוצה).--איתמר שטיין 22:54, 22 ביולי 2012 (IDT)

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

כמובן שיש להוכיח/להפריך --שירה ג

שאלה 2 חלק שני

בשאלה 2 אני צריך להניח שמיספר השורות ב A שווה למיספר העמודות ב E? או שזה ברור?


תשובה: כן. A,E_{i,j}\in \mathbb{F}^{n\times n} .--איתמר שטיין 22:34, 24 ביולי 2012 (IDT)

שאלה 3 בשעורי בית 2

בשאלה 3 סעיף ג', שואלים עברו אילו ערכי a , b המטריצה הפיכה, ומה ההפיכה עבור ערכים אלו.

עכשיו אני הצחלתי להגיע לאילו ערכי a ,b אין הפיכה.. אז מה להגיד שעבור כל ערך שהוא לא מה שמצאתי יש הפיכה??

כי ביקשו עבור ערכי a,b ספציפיים..


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

אבל בשביל המקרים שהיא הפיכה צריך למצוא את ההופכית.--איתמר שטיין 22:43, 24 ביולי 2012 (IDT)

שאלה 6 ש"ב 2

בסעיפים א' ו ב' של התרגיל היה צריך להוכיח האם משהו עם הקבוצה שווה להופכי שלה. עכשיו בסעיף האחרון שאלו האם A בהכרח הופכית, וגיליתי שלא בהכרח...

אז זה אומר שסעיפים א' ו ב' לא נכונים?


תשובה: אם לA אין בהכרח הופכי אז באמת א' וב' הם מיידית לא נכונים.--איתמר שטיין 22:46, 24 ביולי 2012 (IDT)

שאלה 4 סעיף ג

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

תשובה: מטריצת האפס היא המטריצה שכל הערכים בה הם 0.--איתמר שטיין 22:48, 24 ביולי 2012 (IDT)

הגדרות לשאלה 7

היות וכמה אנשים שאלו אותי היום. אני כותב כאן את ההגדרות הרלוונטיות לשאלה 7.

מטריצה A נקראת

1)משולשית עליונה אם A_{i,j}=0 עבור j<i.

2)משולשית תחתונה אם A_{i,j}=0 עבור i<j.

3) משולשית אם היא משולשית עליונה או תחתונה.

4) אלכסונית אם A_{i,j}=0 עבור i\neq j.

5) סקלרית אם A=c\cdot I כאשר c\in \mathbb{F}.--איתמר שטיין 22:55, 24 ביולי 2012 (IDT)

תרגיל 2 שאלה 5

מה זה אומר אחד חלקי טראס איי? 1/tr(A)?


תשובה: אם A\in \mathbb{F}^{n\times n} אז tr(A)\in \mathbb{F}.

לכן, אם tr(A)\neq 0 קיים לו הופכי. ההופכי הוא \frac{1}{tr(A)}.--איתמר שטיין 17:27, 25 ביולי 2012 (IDT)

שאלה 6

האם העובדה שנתון A^2=-I פירוש הדבר שקיימת אחת כזאת (מגודל nXn)?


תשובה: כן.--איתמר שטיין 21:24, 25 ביולי 2012 (IDT)


מה בדיוק הכוונה בסעיף ג'? איך אני יכול להוכיח שA כזאת היא בהכרח הפיכה?


תשובה: אם תצליח למצוא הופכי זה אומר שהיא בהכרח הפיכה.--איתמר שטיין 21:24, 25 ביולי 2012 (IDT)

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

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


רמז: במקום לנסות לחפש מתי המטריצה לא הפיכה, תנסה למצוא את ההופכית שלה.--איתמר שטיין 21:33, 25 ביולי 2012 (IDT)

תודה

שאלה 4 תרגיל 2

בסעיף א' האם הככונה למצוא 3 מטריצות ספיציפיות המקיימות את הדרישות או למצוא מטריצה A המקיימת את הדרישות לכל B ו C


תשובה: למצוא שלוש מטריצות ספציפיות.--איתמר שטיין 21:26, 25 ביולי 2012 (IDT)

שאלה 7 מטריצות הפיכות

מותר בכפל מטריצות להפוך AxB)x(BxA) ל Ax(BxB)xA?


תשובה: כן.

(A\cdot(B\cdot B))\cdot A = A\cdot((B\cdot B)\cdot A) = (A\cdot B)\cdot(B \cdot A).

זה נובע מחוק הקיבוץ (אסוציאטיביות) של כפל מטריצות.--איתמר שטיין 21:30, 25 ביולי 2012 (IDT)

תרגיל 2 שאלה 2 סעיף ד׳

באגף ימין, איך אפשר לכפול איבר במטריצה?


תשובה: a_{j,k}\in \mathbb{F}. זה כפל של סקלר במטריצה.--איתמר שטיין 21:35, 25 ביולי 2012 (IDT)

שאלה 5

עפ"י חוק בפילוג בשדה F , אז (סיגמה של אברי מטריצה משדה F כפול סקלר s מ F) שווה (לסיגמה של s כפול אותם אברים ) ?


תשובה: כן. אם s,a_0,\ldots,a_n\in \mathbb{F} אז

s \displaystyle\sum\limits_{i=0}^n a_i = \displaystyle\sum\limits_{i=0}^n (sa_i)

אפשר להוכיח את זה באמצעות פילוג ואינדוקציה.--איתמר שטיין 23:07, 26 ביולי 2012 (IDT)

אבל אני לא צריך להוכיח נכון ?


תשובה: לא צריך.--איתמר שטיין 10:38, 27 ביולי 2012 (IDT)

שאלה 5 א

לא הבנתי איך להוכיח את זה כי זה ברור

תרגיל 2 - חיבור מטריצות -מופיע במספר שאלות

איך אני מחבר מטריצות? נגיד נתון לי A ו B מעל שדה F 3*3 אז החיבור שלהם A+B - למה הוא שווה? ואיך מבצעים את זה?

לדוגמא זה מופיע בשאלה 5 ב' ושאלה 4 סעף ג'


תשובה: אם A,B\in \mathbb{F}^{m\times n} אז

[A+B]_{i,j}=A_{i,j}+B_{i,j}.

זה פשוט חיבור איבר איבר. --איתמר שטיין 21:56, 28 ביולי 2012 (IDT)

שאלה 7

כשאני מוכיח שיש סגירות במטריצות סקלריות אני יכול להשתמש בלי להוכיח את חוק החילוף לכפל של סקלרים(aA=Aa כאשר a סקלר בשדה F וA מטריצה במרחב F^{n*n}? --Avital 22:58, 27 ביולי 2012 (IDT)


תשובה: אפשר להסתמך על החוק הזה בלי להוכיח אותו.--איתמר שטיין 22:00, 28 ביולי 2012 (IDT)

תרגיל 2 שאלה 4 סעיף ג'

כתוב שצריך לתת דוגמא למטריצות A ו- B הפיכות כך ש- A+B!=0 (לא שווה )

מה הכוונה בהפיכות ?- שהן אחת הופכית של השנייה ? או שני מטריצות הופכיות שלא קשורות אחת לשנייה ?

ומה הכוונה ב- A+B ? איך מחברים מטריצות ?


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

לגבי חיבור מטריצות: אם A,B\in \mathbb{F}^{m\times n} אז

[A+B]_{i,j}=A_{i,j}+B_{i,j}.

זה פשוט חיבור איבר איבר.--איתמר שטיין 22:07, 28 ביולי 2012 (IDT)

תרגיל 2 שאלה 7

מה הכוונה -אילו מקבוצות המטריצות הריבועיות סגורות לכפל?

מה הכוונה סגורות לכפל ?


תשובה: להגיד שקבוצה X של מטריצות סגורה לכפל זה אומר ש:

אם A,B\in X אז AB\in X

(מכפלה של מטריצות מהקבוצה נמצאת בקבוצה).--איתמר שטיין 22:54, 22 ביולי 2012 (IDT)

שאלה 1 תרגיל 3

האם אפשר להשתמש בקריטריון המקוצר שראינו בהרצאה? (כלומר עם שלושת התנאים: W ת"מ אם"ם W לא ריקה וגם W סגורה לכפל בסקלר וחיבור).


תשובה: כן.--איתמר שטיין 22:03, 29 ביולי 2012 (IDT)

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

בשאלה זו ניתן להגיד כי A כפול A במינוס 1 =I, כלומר A הפיכה, מכיוון שמזכירים את A במינוס אחד ? אם לא מה אומר A במינוס אחד ?


תשובה: אתה לא יכול להניח ש A הפיכה רק בגלל שכתוב בסעיף א' (וב') A^{-1}.

אתה כן יכול לומר שאם A לא בהכרח הפיכה אז ברור ש א' וב' לא נכונים כי עבור A לא הפיכה, A^{-1} לא קיים בכלל. --איתמר שטיין 23:06, 30 ביולי 2012 (IDT)

דחוףף

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

שדה אינסופי

האם אפשר להניח בלי הוכחה שchar(F)=0 => השדה F אינסופי?


תשובה: כן. (למרות שאני מקווה שאתם יודעים איך להוכיח את זה). --איתמר שטיין 23:09, 30 ביולי 2012 (IDT)


נתבונן בקבוצה 1,1+1,1+1+1,1+1+1+1....

(1 הוא 1 של השדה)

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

תרגיל 3 -טעות בשאלה 4 ג'

בשאלה 4 ג'. צריך להניח בנוסף ש A \neq \emptyset.

גרסא מתוקנת תעלה בהמשך היום.--איתמר שטיין 10:07, 31 ביולי 2012 (IDT)

תרגיל 3 שאלה 2

שלום, בתרגיל 3 שאלה 2 מה סדר הפעולות באגפים הימניים? משמאל לימין או שהחיבור בסוף? תודה מראש :)


תשובה: החיבור בסוף.--איתמר שטיין 20:42, 1 באוגוסט 2012 (IDT)

בוחן 7.8

מה מבנה הבוחן בשלישי? כמה שאלות וכמה נקודות לשאלה???

תרגיל 3 שאלה 2

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


תשובה: אני לא רוצה להגיד כמה סעיפים נכונים וכמה לא.

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

למשל, אם הצלחת להוכיח את א' זה מייד אומר שב' לא נכון.--איתמר שטיין 22:29, 1 באוגוסט 2012 (IDT)

כיתות לימוד מחר

שלום, באילו כיתות אנו לומדים מחר?


תשובה: שימו לב לשינוי הכתות באופן חד פעמי ליום חמישי 2/8/12


ההרצאות במקום הרגיל ב 604 61/62



התרגיל של אפי יתקיים בכיתה 403/2 בשעה 13

שירה 404/102

ארז 404/114

איתמר 404/115 --איתמר שטיין 22:24, 1 באוגוסט 2012 (IDT)

שאלה 3

עוד לא הבנתי מה ההבדל בין (sp(A+B לבין (B או sp(A ובין spA + spB לבין spA איחוד spB מישהו יכול להסביר לי עם דוגמה??


תשובה:

A \cup B זאת קבוצה שמכילה את כל איברי A ו B (האיחוד שלהם). A+B זאת קבוצה של כל האיברים שהם חיבור של משהו מ A ומשהו מ B.

דוגמא:

אם A = \{(1,2), (3,4)\} ו B=  \{(5,6)\}

אז

A \cup B = \{(1,2) , (3,4) , (5,6)\}

אבל

A+B = \{(6,8), (8,10)\}.--איתמר שטיין 10:35, 3 באוגוסט 2012 (IDT)


רגע ומה ההבדל בין spA + spB לבין spA איחוד spB??


לא הגדרנו את החיבור רק עבור מרחבים ווקטוריים? Avichai 17:47, 3 באוגוסט 2012 (IDT)

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

תרגיל 3 שאלה 3 סעיף ב

האם SPAN של (1,0)איחוד (0,1) יוצר את המישור (Rבריבוע) או שווה לצירים בילבד


תשובה:  span(\{(1,0),(0,1)\}) יוצר את המישור.

כל וקטור במישור (a,b) הוא צירוף לינארי (a,b) = a(1,0) + b(0,1) ולכן

(a,b) \in span(\{(1,0),(0,1)\}).--איתמר שטיין 10:47, 3 באוגוסט 2012 (IDT)

אמרתי לך!!!! אייי ! חח אל תשכח את הדוריטוס ;)

שאלה

אם למטריצה יש שורת אפסים זה אומר שאין לה בסיס??


תשובה: אתה צריך להסביר את השאלה יותר טוב.

בסיס יש למרחב וקטורי (לכל מרחב וקטורי).

מטריצה (אחת) היא לא מרחב וקטורי (אלא אם כן היא מטריצת האפס).

מה המרחב הוקטורי שאתה מדבר עליו?--איתמר שטיין 10:38, 3 באוגוסט 2012 (IDT)


בשאלה 7 ב למע' המשוואות מתקבלת שורת אפסים (אחרי שהפכתי אותה למטריצה) אז השאלה היא האם יש לה בסיס


תשובה: למרחב הפתרונות של כל מערכת משוואות הומוגנית יש בסיס. (כמו לכל מרחב וקטורי).

לכן, גם לפתרונות של המערכת בשאלה יש בסיס. --איתמר שטיין 13:45, 3 באוגוסט 2012 (IDT)

תרגיל 3 שאלה 2

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


תשובה: הטיעון U \cap (V+W) = U \cap V + U \cap W נכון אם לכל הצבה שהיא של מרחבים U,V,W יהיה שוויון.


הטיעון U \cap (V+W) \neq U \cap V + U \cap W נכון אם לכל הצבה שהיא של מרחבים U,V,W לא יהיה שוויון.


אני מקווה שזה עונה על השאלה.--איתמר שטיין 10:43, 3 באוגוסט 2012 (IDT)

זה עונה על השאלה תודה

שאלה כללית

האם הספאן של (1,0) פלוס (של מ"ו) הספאן של (0,1) שווה לספאן של (1,0) (0,1)? האם זה אומר שחיבור הספאנים הנ"ל פורש את R^2?

הוא כבר ענה על זה, תראה 3 שאלות למעלה

שאלה 1

אפשר להשתמש בקריטריון המקוצר?


כן.--איתמר שטיין 16:12, 3 באוגוסט 2012 (IDT)

אז מה הקטע של התרגיל? פשוט אומרים לפי הקריטריון המקוצר...?


תשובה: אולי אנחנו מדברים על דברים שונים.

כשאני אומר שאפשר להשתמש בקריטריון המקוצר אני מתכוון שאפשר להשתשמש במשפט שראיתם בהרצאה שאומר:

W תת מרחב וקטורי אם ורק אם מתקיימים שלושת התנאים הבאים.

1) W \neq \emptyset.

2) u,v \in W \Rightarrow u+v \in W.

3)u \in W, \quad \alpha \in \mathbb{F} \Rightarrow \alpha u \in W.

בהינתן המשפט הזה, צריך לעשות עוד קצת עבודה כדי להוכיח את מה שכתוב בתרגיל. --איתמר שטיין 17:36, 3 באוגוסט 2012 (IDT)


בכיתה לימדת אותנו שבמקום 2 ו 3 צריך שיתקיים u,v \in W \Rightarrow u+ \alpha v \in W.
זה שקול, פשוט בתנאי הנ"ל תקח פעם אחת alpha=0 ופעם אחרת u=0 ותקבל את הנדרש.

אז זה כל מה שצריך לרשום?


בגדול, כן. רק שימו לב שבפתרון שלכם (במיוחד בהוכחה שהנתונים בשאלה 1 \Leftarrow מרחב וקטורי) אתם משתמשים רק בנתונים שיש לכם. --איתמר שטיין 22:15, 4 באוגוסט 2012 (IDT)

תרגיל 3 שאלה 6

אם אני רוצה להפריך טענות, אני צריך להביא בתור דוגמא U ו V מסויימים ו B1 ו B2 מסויימים ולהראות שזה לא מתקיים?


כן.--איתמר שטיין 16:13, 3 באוגוסט 2012 (IDT)

חומר לבוחן

עד איפה החומר לבוחן ביום שלישי? עד איזה חומר ללמוד? ועד איזה שיעור זה ? תודה!


תשובה: עד החומר שלמדתם ביום חמישי 26/7 (כולל) שזה אומר:

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

מרחבים וקטוריים, כולל בסיס ומימד כולל משפט השלישי חינם (נדמה לי שלא כולל משפט המימדים).--איתמר שטיין 17:40, 3 באוגוסט 2012 (IDT)

שאלה כללית

אם לדוגמא אני במ"ו מעל שדה Z5 לדוגמא, אז האם גם המספרים בוקטורים הם מתוך השדה? לדוגמא בשדה הנ״ל יכול להיות לי הוקטור (7,3,9)?


תשובה: אם אתה מסתכל על המרחב (\mathbb{Z}_5)^n אז כן, המספרים בוקטורים הם מתוך השדה.

למשל: במרחב (\mathbb{Z}_5)^3

מתקיים ש (7,3,9) = (2,3,4) כי הכל במודולו 5.

אבל (\mathbb{Z}_5)^n הוא לא המרחב היחיד מעל \mathbb{Z}_5, יש עוד ( נגיד מטריצות עם ערכים מ \mathbb{Z}_5.)--איתמר שטיין 17:45, 3 באוגוסט 2012 (IDT)

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

ודאי. למשל אם (7,3,9) וקטור כנ"ל, אתה מתייחס ל-7,3,9 כאיברים של Z5.

מה זאת אומרת להתייחס לוקטור 7,3,9 כאיברים של Z5? ב Z5 אין 7 ו 9.

ב \mathbb{Z}_5 מתקיים 7=2 ו 9=4 (כי את כל המספרים מחשבים במודולו 5).--איתמר שטיין 22:20, 4 באוגוסט 2012 (IDT)

שאלה

מה ההבדל בין spA + spB לבין spA איחוד spB???

בחיבור אתה מקבל קבוצה בה כל האיברים הם תוצאה של חיבור של איבר מהקבוצה הראשונה עם איבר מהקבוצה השנייה, בעוד שבאיחוד אתה תקבל קבוצה של איברים שנמצאים לפחות באחת הקבוצות. זה לא אותו דבר, ולמעשה במקרה שלנו האיחוד שכתבת מוכל בתוך החיבור (וזאת משום שכל אחד מהנפרשים מכיל את ווקטור האפס, ובפרט וקטור האפס עם כל וקטור אחר יהיה שווה לאותו וקטור אחר). אם אתה רוצה לראות שלעתים הם גם שונים, תקח A=(1,0); B=(0,1) מעל הממשיים ותפתח

תרגיל 3

לאיתמר, עכשיו גיליתי שהיום שכחתי להגיש את תרגיל 3. יש משהו שאפשר לעשות? יעזור אם אסרוק את כל הדפים ואשלח לך במייל?

בתודה מראש, אביחי מרמור: avichai@elmar.co.il. Avichai 23:16, 5 באוגוסט 2012 (IDT)

בבוחן יהיו שאלות כמו שאלות 1,2 בתרגיל 4

???


תשובה: הנושאים שמכוסים על ידי תרגילים 1,2 נמצאים בחומר לבוחן.--איתמר שטיין 18:07, 6 באוגוסט 2012 (IDT)

1. אבל למדנו את זה אחרי היום שבו אמרו שעד אז זה החומר למבחן..

2. יש עוד שאלות בתרגילים שזה לבוחן?


תשובה:

1) דברים יסודיים לגבי מרחבים וקטוריים (כולל בסיס ומימד) נמצאים בחומר לבוחן.

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

2) לא (אני מצטער שהתשובה הזאת מגיעה אחרי שכבר עשיתם את הבוחן).--איתמר שטיין 09:38, 7 באוגוסט 2012 (IDT)

פתירת מערכת משוואות מעל Zp

טקסט לא מעוצב אם אני פותר מערכת מעל Zp. האם אני יכול להמיר למטריצה ולדרג כאילו אני בR ורק בסוף לעשות modp על התוצאה?


תשובה: כן.--איתמר שטיין 09:29, 7 באוגוסט 2012 (IDT)

תרגיל 4

אין שאלה 4 בתרגיל 4 - שכחתם להוסיף או שיש רק 8 תרגילים?

תרגיל 4 שאלה 7

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


תשובה: אפשר להניח בשלילה שהטענה לא נכונה, ואז לכל וקטור v \in \mathbb{R}^n מתקיים A^{k-1}v = 0.

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

כי בשאלה ישנו כבר A נתון בשאלה (שאנחנו אמנם לא יודעים מהו) ודווקא בשבילו צריך להראות שלא ייתכן

A^{k-1}v=0 \quad \forall v \in \mathbb{R}^n--איתמר שטיין 18:15, 7 באוגוסט 2012 (IDT)

תרגיל 4 - שאלה 6 לא מובנת

לא הבנתי בשאלה 6 למה הכוונה "קטן גדול או קטן מ...", תוכלו להסביר מה צריך למצוא?


תשובה: אתה צודק, צריך להיות כתוב: קטן, גדול, או שווה ל...

כלומר צריך למצוא איזה מהבאים מתקיים

  • dim(U_1 \cap U_2) = dim(U_1 \cap U_3)
  • dim(U_1 \cap U_2) < dim(U_1 \cap U_3)

תרגיל 4 שאלה 5

האם בשאלה5 U וW תתי מרחב או שהם רק קבוצות המוכלות בV?

(תלמיד) - לדעתי ניתן להסיק שהם ת"מ כי בנתון יש dim U וגם dim W, לכן הם מ"ו ובפרט ת"מ של V --גיא 19:12, 7 באוגוסט 2012 (IDT)


תשובה: נכון. הם תתי מרחבים.--איתמר שטיין 22:20, 7 באוגוסט 2012 (IDT)

שאלה 1 סעיף ב' בלינארית

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

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


תשובה: דילגתי כי לשאלה שלך היה קצת יותר קשה לכתוב תשובה.

בדיוק עמדתי להעלות את התשובה הזאת (בכל מקרה אני שמח שהצלחת):

  • הגעת למערכת משוואות על מקדמי הפולינומים - כל פולינום שמקדמיו פותרים את המשוואה נמצא ב W.
  • דירגת ומצאת פתרון כללי - כל פולינום שמקדמיו הם מהפתרון הכללי נמצא ב W.
  • הוצאת את הפרמטרים וקיבלת בסיס - קיבלת בסיס עבור וקטור המקדמים של פולינומים שנמצאים ב W.

מכאן אני מקווה שברור מה הבסיס של W צריך להיות.--איתמר שטיין 22:41, 8 באוגוסט 2012 (IDT)

תודה :)

שאלה 2

מערכת משוואות ליניאריות זה שיש מיקדמי אלפה אחד אלפה שתיים אלפה שלוש או שצריך לצמצם אותם ולהגיע למשוואה שיש בה רק X,Y,Z,W?


תשובה: צריך להגיע לתשובה שיש בה רק x,y,z,w.

כלומר התשובה לסעיפים א' ו ג' צריכה להיות מערכת משוואות ב x,y,z,w בלבד.--איתמר שטיין 22:25, 8 באוגוסט 2012 (IDT)

שאלה כללית

האם ה dim של 0 (שהוא תת מרחב) שווה ל 1 או 0?


תשובה: dim\{0\}=0 כי הבסיס של \{0\} הוא \emptyset ויש בו 0 איברים.--איתמר שטיין 21:27, 8 באוגוסט 2012 (IDT)


למה ה dim של 0 זה אפס? הרי בבסיס של 0 יש איבר, והוא אפס (הוא פורש אותו)?


תשובה:  \{0\} הוא לא בסיס כי הוא תלוי לינארית.

הבסיס של \{0\} הוא \emptyset (קבוצה ריקה) ובה יש 0 איברים.--איתמר שטיין 12:16, 9 באוגוסט 2012 (IDT)

שאלה 7 תרגיל 4

נתון ש A^k-1 שונה מאפס.. נכפיל ב A משני הצדדים נקבל A^k שונה מאפס.. בסתירה לנתון שהוא שווה לאפס.

אם A שווה לאפס, אז זה סתירה לנתון ש A^k-1 שונה מאפס (כי 0 בחזקת הכל זה אפס)


???


תשובה: A^{k-1}\neq 0 לא גורר ש A^k \neq 0.

באופן כללי B \neq C לא גורר ש AB \neq AC.

וזה מפני ש AB = AC לא גורר ש B=C. (הייתה כזאת שאלה בתרגיל 2)--איתמר שטיין 21:35, 8 באוגוסט 2012 (IDT)

תרגיל 4 שאלה 6

בשאלה זו, מספיק לתת דוגמה של תתי מרחבים שעונים על כל הדרישות בשאלה ואז ע"פ הנתונים שנתתי, אפשר למצוא האם (dim(u1 ^ u2 גדול, קטן או שווה ל - (dim(u1^u3  ? כי הרי התשובה הנכונה נכונה לכל דוגמה שאתן אז אפשר לתת דוגמה אחת כדי לראות מה נכון? זה פתרון אפשרי לשאלה?


תשובה: צריך להוכיח שאחד המקרים מתקיים ואי אפשר להסתפק בדוגמא.

זה נכון שהתשובה הנכונה נכונה לכל דוגמא, אבל אתה לא יכול להניח את זה כשאתה פותר (זה כמו להתבסס בדרך על מה שרוצים להוכיח).--איתמר שטיין 22:47, 8 באוגוסט 2012 (IDT)

תרגיל 4 שאלה 4 ;)

לא הצלחתי את תרגיל 4 שאלה 4.. אפשר רמז לפיתרון?! ;)

S.D


תשובה: נניח ש V ממימד גדול מ 5 אז ברור ש [I]_C^B \in \mathbb{F}^{k\times k} כש k \geq5.

עכשיו תנסה להציב \mathbb{F} = \mathbb{Z}_7 ו \mathbb{F} = \mathbb{Z}_5 ותראה מה קורה.--איתמר שטיין 00:21, 9 באוגוסט 2012 (IDT)

אבל רגע אין שאלה 4 בתרגיל 4.

זה שאין שאלה לא אומר שאין רמזים.--איתמר שטיין 22:48, 9 באוגוסט 2012 (IDT)

חיתוך מרחבים

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


תשובה: זאת לא השיטה. ככה מוצאים בסיס של סכום.

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

עשו כזאת דוגמא בתרגול.

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

אני מקווה שזה ברור.--איתמר שטיין 17:32, 9 באוגוסט 2012 (IDT)

ז"א שאם הבסיס שלי הוא x,y ו הבסיס השני הוא w,t אז אני צריך לעשות ax+by=dw+et אבל את מי אני צריך לבודד ואת מי למצוא בעזרת מי?


תשובה: לפי הסימונים שלך אתה מקבל מערכת משוואות (הומוגנית) עם נעלמים a,b,d,e. אתה צריך לפתור את המערכת הזאת (למעשה מספיק למצוא רק למה שווים a,b או d,e).

ואז להציב את התשובה (הפתרון הכללי) בתוך הצירוף הלינארי - ואז תקבל את האיבר הכללי של החיתוך.--איתמר שטיין 22:47, 9 באוגוסט 2012 (IDT)

תודה

שאלה 2 סעיף ב

אני מקבל רק משוואה 1 שהיא רק עם X,Y,Z,W אז אני צריך בסעיף ב לישתמש רק בה? או שבסעיף ב להישתמש גם במשוואות שיש בהם את הסקלרים?


תשובה: המרחב הוא בדיוק אותם (x,y,z,w) שפותרים את המשוואה שמצאת בסיף א'. אז אתה משתמש בתוצאה של סעיף א'.--איתמר שטיין 17:41, 9 באוגוסט 2012 (IDT)

שאלה

נניח u,w מוכלים ב v אז סכום ישר שלהם הוא בהכרח תת מרחב ?

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


תשובה: נכון, סכום ישר הוא תמיד תת מרחב והוא שווה לסכום הרגיל. (רק שלא כל סכום רגיל הוא גם סכום ישר). --איתמר שטיין 17:43, 9 באוגוסט 2012 (IDT)

שאלה כללית לגבי שוויון תתי מרחבים

אם שני תתי מרחבים שווים, מה זה אומר על המימדים שלהם ועל הבסיסים שלהם? ז״א אם U=W (תתי מרחבים) האם זה גורר בהכרח dimU=dimW ושהבסיסים שווים?


תשובה: שוויון של תתי מרחבים הוא שוויון קבוצות.

זאת אותה קבוצה אז בוודאי שיש להם אותו מימד. וכל בסיס של U הוא גם בסיס של W ולהפך.

(שים לב שיש יותר מבסיס אחד לכל מרחב,לכן אם B בסיס של U ו C בסיס של W, אז U=W לא אומר ש B=C).--איתמר שטיין 17:47, 9 באוגוסט 2012 (IDT)

תרגיל 4 שאלה 7 סעיף ב'

האם אני יכול להכפיל צירוף לינארי בסעיף ב' בA בחזקת K-1 (שהרי לא שווה ל0) ואז בצורה כזאת להראות שזה לא יכול להתקיים שהאיברים תלויים לינארית (הנחתי בשלילה שהם ת"ל ובצורה כזאת אני רוצה להגיע לסתירה) אני יכול לעשות פעולה כזאת?


תשובה: האיברים \{v,Av,\ldots,A^{k-1}v\} הם וקטורים בגודל n \times 1.

צירוף לינארי שלהם הוא וקטור בגודל n \times 1.

לכן מותר להכפיל אותו משמאל במטריצה שיש לה n עמודות

או מימין במטריצה שיש לה שורה אחת.

אני מקווה שזה עונה על השאלה.--איתמר שטיין 22:35, 9 באוגוסט 2012 (IDT)

ליניארית, תרגיל 4 שאלה מס' 2

לא ממש הבנתי איזה צורת תשובה אני אמור לכתוב בסעיפים א'-ג'.. איזו מערכת משוואת אני אמור למצוא? מהצורה: X שווה לביטוי עם אלפא 1 וכו', או אלפא 1 שווה לביטוי עם X, Y...? ובסעיף ב', איזה מערכת משוואת לפתור אם התנאי שיצא לי בא' הוא משוואה אחת?


תשובה: בסעיפים א' ,ג' אתה אמור לקבל כתשובה מערכת משוואות עם נעלמים x,y,z,w

נגיד משהו מהצורה

x+y+z+w=0

x+2y+3z+4w=0.

לגבי סעיף ב', מערכת משוואות עם משוואה אחת אי אפשר לפתור?--איתמר שטיין 22:52, 9 באוגוסט 2012 (IDT)

אמרתיי לך !

תרגיל 4 שאלה 7

בשאלה 7 k חייב להיות קטן או שווה ל-n?


תשובה: אם השאלה היא האם אפשר להניח ש k \leq n, אז התשובה היא לא. זה לא נתון בשאלה.--איתמר שטיין 21:06, 11 באוגוסט 2012 (IDT)

תרגיל 5 שאלה 2

1. מה הכוונה "מטריצה סטנדרטית של T"? האם הכוונה למטריצה המייצגת של T לפי הבסיס הסטנדרטי?

2. בשאלה 3, A היא מטריצה מייצגת של T?


תשובה: 1) כן.

2) כן. --איתמר שטיין 20:46, 14 באוגוסט 2012 (IDT)


מה זה המטריצה המייצגת של T בבסיס הסטנדרטי??


תשובה: הבסיס הסטנדרטי של \mathbb{R}^3 הוא S=\{e_1,e_2,e_3\}=\{(1,0,0),(0,1,0),(0,0,1)\}.

המטריצה המייצגת של T בבסיס הסטנדרטי היא [T]^S_S.--איתמר שטיין 08:55, 15 באוגוסט 2012 (IDT)

תרגיל 5 שאלה 11ג

אני חושב שיש טעות בשאלה כי אם V=R^2 ו- (y,x)=T(x,y אז T^2 עדיין שווה ל-I אבל וקטורים כמו (1,2) לא שייכים ל-U+W ולכן הטענה לא נכונה

(1,2)=(3/2,3/2)+(-1/2,1/2) ולכן הוא שייך לסכום תתי המרחבים --שירה ג 00:08, 15 באוגוסט 2012 (IDT)

תרגיל 5 שאלה 3

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


תשובה: בדר"כ לא טורחים להבדיל בין וקטורי שורה לעמודה, מדובר באיברים של \mathbb{F}^n. ואפשר להתייחס אליהם בתור וקטורי שורה או וקטורי עמודה.

גם במקרה שלנו אפשר לחשוב על T כאילו היא עובדת על וקטורי שורה או עמודה, זה לא באמת משנה.--איתמר שטיין 17:21, 15 באוגוסט 2012 (IDT)

תרגיל 5 שאלה 5

האם מה שצריך למצוא בעצם זה את [T]^B_C ?


תשובה: כן.--איתמר שטיין 21:52, 15 באוגוסט 2012 (IDT)

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

מה הכוונה ביחס לבסיסים שונים? האם הכונה היא מכל בסיס של v לכל בסיס של w או מבסיס ספציפי של v לבסיס כלשהו של w ?


תשובה: מכל בסיס של V לכל בסיס של W.--איתמר שטיין 21:53, 15 באוגוסט 2012 (IDT)

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

אם הוכחתי ש T היא חחע, ניתן להשתמש במשפט

Dim(r3)=dim(r3) אז T חחע <=> T על

כדי להוכיח שT היא על?

כן.--שירה ג 09:38, 16 באוגוסט 2012 (IDT)

תרגיל 5 שאלה 6

צריך להוכיח בעצם שלכל בסיס E ל V ולכל בסיס S ל W מתקיים RANK[T]^E_E = RANK[T]^S_S ?

לא בדיוק. צריך להוכיח שלכל בסיסים A B של V ו C D של W מתקיים RANK[T]^B_D = RANK[T]^A_C --שירה ג 09:38, 16 באוגוסט 2012 (IDT)

תרגיל 5 שאלה 9

בנתונים נתון ש-S הע"ל, אך בסעיף א' יש להוכיח זאת. האם זה לא אמור להיות בנתונים?


תשובה: נניח שזה לא נתון.--איתמר שטיין 14:15, 16 באוגוסט 2012 (IDT)


חחחחחחחח

ציוני בוחן בלינארית

הקישור לציונים לא עובד. ניתן לתקן את הבעיה?

תוקן.

תרגיל 5 שאלה 9

האם M_2(\mathbb R) הוא מרחב הוקטורים מגודל 2x1 או המטריצות מגודל 2x2? בשאלה 8 אלו מטריצות, ובשאלה 6 M_{2x2}(\mathbb R) הם המטריצות...

(לא מתרגל/ת): מדובר על מטריצות.

תשובה: נכון. שני הסימונים מייצגים מטריצות 2\times 2.--איתמר שטיין 18:42, 16 באוגוסט 2012 (IDT)

תרגיל 5 שאלה 7

האם צריך להוכיח כי T הע"ל?


תשובה: לא צריך להוכיח. כפל במטריצה תמיד מהווה העתקה לינארית.--איתמר שטיין 18:43, 16 באוגוסט 2012 (IDT)


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


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

(למרות שלהוכיח את זה לוקח שתי שורות)--איתמר שטיין 20:10, 16 באוגוסט 2012 (IDT)


לעצלנים שבינינו זה יעזור ;)

שאלה

ממש לא הבנתי מה זה ker ו im של T כמו למשל ששואלים בשאלה 4 ,אני הבנתי את ההגדרות אבל לא הבנתי בתכלס איך פותרים ,אפשר דוגמה טובה שתוכל להסביר לי??


-> תקח העתקה לינארית ותמצא לה גרעין ותמונה. הגרעין זה ker והתמונה זה Im

שאלה כללית

איך מכפילים מטריצה מגודל 2X2 במטריצה מגודל 3X3?? אפשר דוגמא???

לא מכפילים

סבבה תודה

תרגיל 5 שאלה 8

לאילו בסיסים סטנדרטיים בדיוק הכוונה בשאלה 8?(מה הבסיס הסטנדרטי של מרחב פולינומים?)

1,x,x^2


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

תרגיל 5 שאלה 6 א'

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


תשובה: כן. אפשר להשתמש בכל משפט שראיתם בהרצאה.--איתמר שטיין 13:59, 17 באוגוסט 2012 (IDT)

ציונים בלינארית

איפה יש ציונים???

-> היו ציונים... אבל בגלל שהם לא היו שלכם הייתם קטנוניים והתלוננתם עליהם.. אז חסמו אותי.. ועכשיו אין ציונים! ScoobyDoo

תרגיל 5 שאלה 10 ,11

1.מה זה חזקת העתקות לינאריות? 2.מה מסמן הI בשאלה 11?


1. הרכבה של הע"ל, במקום לרשום ToToToT(הרכבה) רושמים פשוט T^4 2.העתקת היחידה. I(x,y,z) = (x,y,z.

-> מה טוטוטו ?! מה אתה רכבת?! ScoobyDoo

תרגיל 5 שאלה 10

אפשר כיוון לפתרון של א'?


תשובה: שים לב שאם v \in V אז T(v)=T^4(v)=T(T^3(v)).--איתמר שטיין 22:57, 18 באוגוסט 2012 (IDT)

מבחנים משנים עברו

שימו לב ש כאן יש מבחנים משנים עברו, כמו גם קישורים לאתרים של פרופ' רזניקוב וצבאן ששם יש עוד הרבה מבחנים, לחלקם יש גם פתרונות.--איתמר שטיין 18:11, 20 באוגוסט 2012 (IDT)


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


שימו לב שיש מבחנים באלגברה לינארית 1 שמספר הקורס שלהם לא מתחיל ב 88 וזה אומר שהם לא של המחלקה למתמטיקה.

אפשר לעשות אותם בתור תרגול אבל

1) הם ממש קלים.

2) לפעמים יש שם חומר שלא למדנו, אז להתעלם מדברים כמו לכסינות, ערכים עצמיים, פולינום אופייני וכו' (שאלה מושגים שתלמדו עליהם בלינארית 2) .--איתמר שטיין 18:17, 20 באוגוסט 2012 (IDT)


גם מכפלה פנימית לא למדנו נכון?

תשובה: נכון. לא למדנו.--איתמר שטיין 22:34, 20 באוגוסט 2012 (IDT)

רשימת משפטים

נשאר שבוע עד למבחן ועדיין לא פורסמה רשימת המשפטים. ABAB 08:39, 22 באוגוסט 2012 (IDT)


שאלתי את מיטל, רשימה תפורסם לכל המאוחר ביום ראשון.--איתמר שטיין 14:34, 23 באוגוסט 2012 (IDT)

קישור

תוסיפו את הקישור [הזה][1] בדף --Caspim 09:33, 24 באוגוסט 2012 (IDT)

מתי המבחן?

? יום חמישי ב16:00 --Caspim 13:28, 24 באוגוסט 2012 (IDT)

אני חושב שכן(ב30/08/2012) --Avital 16:58, 24 באוגוסט 2012 (IDT)

מחשבון ועוד משהו

1) יהיה אפשר להשתמש במחשבון במבחן בליניארית(בבקשה רק תשובה ממישהו שבטוח 100%)?
2) רמת הקושי של המבחן קלה/קשה/שווה לרמת הקושי של המבחן הזה: http://u.cs.biu.ac.il/~tsaban/Pdf/lin1a63.pdf ?
--Avital 16:06, 24 באוגוסט 2012 (IDT)

מצטרף לשאלות ABAB 17:22, 24 באוגוסט 2012 (IDT)


יש פתרון למבחן בשאלה 2?

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

(לא מרצה / מתרגל): בשאלה 1 תחשב את המטריצות המייצגות, תגיע אחרי כמה כאלו למטריצה שממנה כבר לא יהיה מה לחשב. לגבי שאלה 2, אני אנסה להעלות לפה פתרון בקרוב --גיא 17:10, 25 באוגוסט 2012 (IDT)

פתרון שאלה 2 מדיה:001.jpg --גיא 17:31, 25 באוגוסט 2012 (IDT)



התשובה לשאלה 1 ב' צריכה להיות מטריצות מהצורה 4X4 (זה כולל שורות אפסים)  ? כי כל פעם הראו לנו משהו אחר כך שאני לא בטוח איך התשובה אמורה להראות בסוף

ואם כן האם צריך להשאיר את המטריצה כמו שהיא או להוריד את שורות האפסים? -(אני זוכר שלא משנים/מורידים אותה אבל אני לא בטוח)

(לא מרצה / מתרגל) מה זאת אומרת למחוק שורות? כל שורה במטריצה חשובה! אין למחוק שורה מן המטריצה, אחרת היא משתנה. וכן, זה כולל שורות אפסים --גיא 18:51, 25 באוגוסט 2012 (IDT)


תשובות: מה שגיא אמר נכון. התשובות ל 1ב צריכות להיות מטריצות 4\times4. לא מוחקים שורות אפסים.

הפתרון שגיא העלה לשאלה 2 נכון. שימו לב שזה בדיוק המצב שיש סכום ישר V\oplus W.--איתמר שטיין 20:44, 25 באוגוסט 2012 (IDT)

שאלה לגבי שאלה 6 מבחן תשע"ב ד"ר בועז צבאן

במבחן של ד"ר בועז צבאן הנ"ל, בשאלה 6, מה הכוונה ב\bar{1} 
  ? המספר שחיבורו ל1 נותן 0 בשדה ?

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


תשובה: זה פשוט 1 . יש כאלה שכותבים את האיברים של \mathbb{Z}_p עם קו מעליהם כדי להדגיש שזה לא מספר רגיל.--איתמר שטיין 20:47, 25 באוגוסט 2012 (IDT)

בשאלה 8

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


תשובה: אתה מדבר על תרגיל 5 שאלה 8? אתה צודק. לא חייבים.--איתמר שטיין 21:46, 25 באוגוסט 2012 (IDT)

זמני תרגול+הרצאה יום ראשון -26.7

לא הבנתי את הזמנים שמלי שלחה ושינתה

מה שהבנתי זה:

לשתי הקבוצות יש הרצאה- ב- 10:00-12:00 בבוקר

ואז לקבוצה של איתמר יש תרגול ב - 12:00-14:00

האם זה הזמנים הנכונים??

משפט 17 ו-2

לא הבנתי מה המשפט אומר , מה זה (r(T ?

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


תשובה: לגבי משפט 17: r(T)=rank(T) ו r([T]^E_F)=rank([T]^E_F).

לגבי משפט 2: כן, אם מגדירים סכום ישר לפי זה שחיתוך המרחבים הוא \{0\}.--איתמר שטיין 16:08, 26 באוגוסט 2012 (IDT)

הוכחה שדרגת העמודות שווה לדרגת השורות

למי שביקש ממני היום הוכחה

נזכור כי דרגת העמודות של מטריצה A היא מימד מרחב העמודות (המרחב הנפרש על ידי עמודות A).

ודרגת השורות של מטריצה A היא מימד מרחב השורות (המרחב הנפרש על ידי שורות A).


הוכחה לכך שדרגת העמודות של מטריצה שווה לדרגת השורות של מטריצה:


תהי A \in \mathbb{F}^{m\times n} מטריצה כלשהיא ונניח שדרגת העמודות שלה היא k.

כלומר dim{C(A)}=k.

ההוכחה מחולקת לכמה שלבים.

שלב א': למצוא מטריצות D,R כך שמספר העמודות ב D ומספר השורות ב R הם k. ומתקיים A=DR.


יהיה B=\{b_1,\ldots , b_k\}\subseteq \mathbb{F}^m בסיס עבור C(A).

נסמן ב D את המטריצה שעמודותיה הם איברי B.

כלומר

D=\begin{bmatrix} |&|&&| \\ b_1 & b_2 & \ldots & b_k \\ |&|&&|  \end{bmatrix}\in \mathbb{F}^{m\times k}


נשים לב שבגלל ש B בסיס ל C(A) הוא פורש כל עמודה של A.

כלומר לכל עמודה C_i(A) מתקיים ש C_i(A)\in span\{b_1,\ldots, b_k\}.

נסמן [C_i(A)]_B=\begin{bmatrix} \alpha_{1,i} \\ \alpha_{2,i} \\ \vdots \\ \alpha_{k,i} \end{bmatrix}

כלומר C_i(A) = \alpha_{1,i}b_1+\alpha_{2,i}b_2+\ldots+\alpha_{k,i}b_k

כלומר  C_i(A)=\begin{bmatrix} |&|&&| \\ b_1 & b_2 & \ldots & b_k \\ |&|&&|  \end{bmatrix} \begin{bmatrix} \alpha_{1,i} \\ \alpha_{2,i} \\ \vdots \\ \alpha_{k,i} \end{bmatrix} = D\begin{bmatrix} \alpha_{1,i} \\ \alpha_{2,i} \\ \vdots \\ \alpha_{k,i} \end{bmatrix}

נגדיר מטריצה R \in \mathbb{F}^{k \times n} לפי R_{i,j}=\alpha_{i,j}.

נשים לב ש הכפל DR מוגדר היות ומספר העמודות ב D ומספר השורות ב R הם k.

נקבל שC_i(DR)=DC_i(R)=D\begin{bmatrix} \alpha_{1,i} \\ \alpha_{2,i} \\ \vdots \\ \alpha_{k,i} \end{bmatrix}=C_i(A)

כלומר DR=A.

סוף שלב א'.

שלב ב': לראות ש A=DR אומר שדרגת השורות של A קטנה מדרגת השורות של R ולהסיק מסקנות.


לפי כפל שורה שורה R_i(A)=R_i(D)R=D_{i,1}R_1(R)+D_{i,2}R_2(R)+\ldots + D_{i,k}R_k(R)

כלומר

R_i(A) \in span\{R_1(R),R_2(R), \ldots , R_k(R)\}

לכן R(A) \subseteq R(R)

ולכן dimR(A) \leq dimR(R) \leq k = dimC(A)

(מרחב השורות של המטריצה R לא יכול להיות יותר מ k כי יש ב R רק k שורות.)

זה מוכיח שלכל מטריצה A מתקיים ש dimR(A) \leq dimC(A).

סוף שלב ב'

שלב ג': סיום.


נשים לב ש dimC(A) = dim R(A^t) \leq dimC(A^t) = dimR(A)

בסה"כ קיבלנו dimC(A) \leq dimR(A) וגם dimR(A) \leq dimC(A) ולכן

dimR(A)=dimC(A) מש"ל. --איתמר שטיין 16:39, 26 באוגוסט 2012 (IDT)

שלישי חינם

אם יבקשו במבחן להוכיח את שלישי חינם אני יצטרך להוכיח שמספר האיברים בקבוצה פורשת >= מספר האיברים בקבוצה בת"ל ?


תשובה: אני מתאר לעצמי שלא. אבל שלחתי למיטל מייל עם השאלה הזאת.--איתמר שטיין 15:46, 27 באוגוסט 2012 (IDT)


תשובת מיטל: הוכחנו בכיתה משפטים על פורשת מינימלית ובת"ל מקסימלית, והם בהחלט יכולים להסתמך על כך. --איתמר שטיין 16:49, 27 באוגוסט 2012 (IDT)

מה זה שלישי חינם? ABAB 19:31, 27 באוגוסט 2012 (IDT)

בשביל להוכיח את משפט הדרגה של הע"ל

האם אפשר להוכיח את זה כך:

תהיה A מטריצה מעל F mxn. נבנה הע"ל מ Fn ל F m ע"י: T(V) = AV.

וברור כי: rank(A) = C(A) = Im(T). ker(T) = N(A).

ואז להשתמש במשפט הדרגה של מטריצות ולקבל את הדרוש?


תשובה: ההוכחה הזאת נכונה מתמטית. אבל מה שאתה עושה פה זה להוכיח את משפט הדרגה של ההעתקות בעזרת משפט ההעתקה של מטריצות (שזה כמעט אותו משפט).

לכן לא נראה לי שזה טוב. אם אתם מתבקשים להוכיח את משפט הדרגה תשתמשו בהוכחה הסטנדרטית.--איתמר שטיין 13:12, 27 באוגוסט 2012 (IDT)


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


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

דרך אגב, אני מודע לכך ששאלות הוכחה במבחן הן תמיד השאלות שלא ברור לגביהן במה מותר להשתמש ובמה לא. לכן אני מבין את השאלות שאנשים שואלים כאן. הדרך הכי בטוחה להתרחק מצרות היא לדבוק בהוכחות שראיתם בהרצאות--איתמר שטיין 16:07, 27 באוגוסט 2012 (IDT)

נראה לי יש טעות בהקלדה של רשימת המשפטים

במשפט 16, אני דיי בטוח שזה צריך להיות איזומורפי ל F^dimWxdimV ולא ל F^dimVxdimW
זה כמובן לא משנה כי 
\mathbb{F}^{dimV \times dimW} \cong \mathbb{F}^{dimW \times dimV}
ע"י השיחלוף שהוא איזו'. ABAB 23:03, 26 באוגוסט 2012 (IDT)


אבל האם אפשר ישירות להוכיח זאת? זאת אומרת בלי לעשות אחר כך עוד הע"ל?


תשובה: אתה צודק שהטענה ה"טבעית" יותר היא Hom(V,W) \cong \mathbb{F}^{dimW\times dimV}. אבל אם אם יבקשו במבחן להוכיח ש Hom(V,W) \cong \mathbb{F}^{dimV\times dimW} אז תוכיח את הטענה הקודמת ותשתמש ב traspose בשביל להוכיח ש

\mathbb{F}^{dimV\times dimW} \cong \mathbb{F}^{dimW\times dimV}.

אני חושב שזאת הדרך הכי פשוטה--איתמר שטיין 15:50, 27 באוגוסט 2012 (IDT)

הוכחה של למת ההחלפה של שטייניץ

למי ששאל אותי היום על הוכחה של למת ההחלפה

יש כאן קישור הוכחה ללמת ההחלפה של שטייניץ (זה נמצא גם בעמוד הראשי של אלגברה לינארית 1).--איתמר שטיין 21:56, 26 באוגוסט 2012 (IDT)

A הפיכה משמאל => A הפיכה

אפשר להוכיח במבחן באמצעות הע"ל? כלומר:

T(X)=A\cdot X
איזו' ולכן קיים B כך ש: 
A\cdot B=I
 ??
תודה ABAB 23:27, 26 באוגוסט 2012 (IDT)


תשובה: אני לא רואה סיבה שלא, אבל ליתר בטחון שלחתי למיטל מייל עם השאלה הזאת.--איתמר שטיין 15:51, 27 באוגוסט 2012 (IDT)


תשובת מיטל: אפשר ורצוי.--איתמר שטיין 16:47, 27 באוגוסט 2012 (IDT)

משפט מספר 8

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


תשובה: נניח ש A\in \mathbb{F}^{n \times n} הפיכה משמאל, כלומר קיימת B\in \mathbb{F}^{n \times n} כך ש BA=I (מי שרגיל שזאת ההגדרה של הפיכות מימין אז שיניח ש A הפיכה מימין).

נגדיר העתקה לינארית T:\mathbb{F}^{n \times n} \rightarrow \mathbb{F}^{n \times n} על ידי

T(X)=AX.

נשים לב ש T חח"ע כי אם T(D_1)=T(D_2) אז AD_1=AD_2 אם נכפול משמאל ב B נקבל ש D_1=D_2.

היות ו T העתקה לינארית. העובדה ש T חח"ע גוררת שהיא גם על.

בפרט I \in Im(T) כלומר קיימת מטריצה C \in \mathbb{F}^{n \times n} כך ש T(C)=I כלומר AC=I.

נשאר רק להראות ש B=C וזה קל היות ו B= BI= B(AC)=(BA)C=IC=C. מש"ל--איתמר שטיין 15:59, 27 באוגוסט 2012 (IDT)


למה העובדה ש T חח"ע גורר שהיא על?


תשובה: טענה: אם T:V\rightarrow W העתקה לינארית כך ש dimV=dimW=n אז T חח"ע \Leftrightarrow T על.

הוכחה: לפי משפט הדרגה dimKer(T)+dimIm(T)=dimV=n

עכשיו

T חח"ע \Leftrightarrow Ker(T)=\{0\} \Leftrightarrow dimKer(T)=0 \Leftrightarrow dimIm(T)=n \Leftrightarrow Im(T)=W \Leftrightarrow T על --איתמר שטיין 18:05, 27 באוגוסט 2012 (IDT)

משפט 16

אני לא מוצאת הוכחה לזה בסיכומי ההרצאות שלי... מישהו יכול להפנות אותי להוכחה או להגיד לי איפה זה בערך נמצא בסיכומים? תודה!--Inbarsavoray 13:52, 27 באוגוסט 2012 (IDT)


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

[\quad]^B_C:Hom(V,W)\rightarrow \mathbb{F}^{dimW \times dim V}--איתמר שטיין 16:02, 27 באוגוסט 2012 (IDT)

פתרון תרגיל 4

אפשר בבקשה להעלות את הפתרון לתרגיל 4? עוד לא העלו פיתרון.. תודה!

ה"ל מעל Zp

מה זה אומרת ה"ל מעל Zp?


העתקה לינארית T:V\rightarrow W כך ש V,W הם מרחבים וקטוריים מעל \mathbb{Z}_p.--איתמר שטיין 18:07, 27 באוגוסט 2012 (IDT)

מטריצות בסיסיות

אנחנו צריכים לדעת לפתור שאלות כמו שאלה 12 פה: http://u.cs.biu.ac.il/~tsaban/Pdf/lin1a65.pdf


תשובה: כן.--איתמר שטיין 18:08, 27 באוגוסט 2012 (IDT)

מה זה מטריצה בסיסית?

(לא מרצה/מתרגל) מטריצה Eij היא מטריצה עם 1 במקום הij ו0 בשאר המקומות, נקראת בסיסית.


תשובה: התשובה שמעלי נכונה. E_{i,j} זה סימון סטנדרטי. כדאי לדעת גם ש הקבוצה \{E_{i,j}\} של כל המטריצות האלה מהווה בסיס למרחב המטריצות.--איתמר שטיין 20:14, 27 באוגוסט 2012 (IDT)

מבחן 2005 מועד ב' שאלה 5'

בשאלה 5 פה:http://u.cs.biu.ac.il/~tsaban/Pdf/lin1b65.pdf השאלה היא כמה פתרונות שלמים יש למערכת מעל R בין 0ל6 או כמה פתרונות יש למערכת מעל Z7?

(לא מרצה / מתרגל) פתרונות המשוואה מעל \mathbb{Z}_7--גיא 19:23, 27 באוגוסט 2012 (IDT)


גיא צודק.--איתמר שטיין 20:15, 27 באוגוסט 2012 (IDT)

הפיכות מטריצה

אם אומרים ש A הפיכה משמאל, זה אומר שקיימת B כך ש AB=I או ש BA=I?

(לא מרצה / מתרגל) קיימת B כך ש-BA=I. אם אומרים שהיא הופכית משמאל אז למעשה אומרים שיש לה מטריצה הופכית מצד שמאל --גיא 19:22, 27 באוגוסט 2012 (IDT)


(לא מרצה/מתרגל) בדיוק הפוך..

(לא מרצה / מתרגל) אני די בטוח שמה שאמרתי נכון, נחכה שאחד המתרגלים / מרצים יענה --גיא 20:05, 27 באוגוסט 2012 (IDT)


תשובה: יש כאלה שמגדירים ככה ויש כאלה שמגדירים הפוך. אין בזה מוסכמה גורפת. אני רגיל כמו שגיא הגדיר, אבל הבנתי שלפחות בהרצאה של מיטל הגדירו הפוך.--איתמר שטיין 20:17, 27 באוגוסט 2012 (IDT)

(לא מרצה / מתרגל) - אני אצל מיטל וככה היא לימדה אותנו גם --גיא 20:23, 27 באוגוסט 2012 (IDT)

(לא מרצה/מתרגל) אני אצל מיטל והיא למדה אותנו כמו שאני אמרתי...

משפט 1

מישהו יכול להעלות בבקשה פתרון למשפט 1 מהמשפטים להוכחה ?


תשובה:


הוכחה לטענה ש A הפיכה \Leftrightarrow ניתן להציג את A כמכפלת מטריצות אלמנטריות.

שלב א':

כל מטריצה אלמנטרית היא הפיכה ומתקיים

(\rho_{i,j})^{-1} = \rho_{i,j}

(\rho_{k\cdot i})^{-1} = \rho_{{\frac{1}{k}}\cdot i}

(\rho_{i+k\cdot j})^{-1} = \rho_{i-k\cdot j}


שלב ב': הוכחת \Rightarrow.

אם A היא מכפלה של מטריצות אלמנטריות אז היא מכפלה של מטריצות הפיכות ולכן הפיכה.

שלב ג': מטריצה C בעלת שורת אפסים היא לא הפיכה. כי לכל מטריצה B שהיא (נניח ש i היא שורת האפסים)

מתקיים לפי כפל שורה שורה R_i(AB)=R_i(A)B=0 \neq R_i(I).

שלב ד': נתחיל להוכיח את \Leftarrow.

אם A הפיכה, הצורה המדורגת קנונית שלה היא I.

הסבר: נסמן את הצורה המדורגת קנונית של A ב P.

קיימות מטריצות אלמנטריות E_1,\ldots ,E_k כך ש

E_1\cdot E_2 \cdot \ldots \cdot E_k A = P.

P הפיכה כי היא מכפלה של מטריצות הפיכות.

אבל לצורה מדורגת של מטריצה ריבועית יש רק 2 אפשרויות. או שהיא I או שיש בה שורת אפסים.

לכן P=I. (מטריצה בעלת שורת אפסים היא לא הפיכה).

שלב ה: סיום

נותר רק לכפול משמאל את

E_1\cdot E_2 \cdot \ldots \cdot E_k A = I.

ב (E_k)^{-1}\cdot (E_{k-1})^{-1} \cdot \ldots \cdot (E_1)^{-1} .

ולקבל

A = (E_k)^{-1}\cdot (E_{k-1})^{-1} \cdot \ldots \cdot (E_1)^{-1}

היות והופכי של מטריצה אלמנטרית הוא גם מטריצה אלמנטרית.

קיבלנו שA היא מכפלה של מטריצות אלמנטריות. --איתמר שטיין 20:47, 27 באוגוסט 2012 (IDT)

הע"ל מעל שדה

מה זה אומר הע"ל מעל שדה מסויים?


תשובה: אומרים ש T היא העתקה לינארית מעל שדה \mathbb{F} אם היא העתקה לינארית

T:V\rightarrow W כך ש V,W מ"ו מעל השדה \mathbb{F}.

(שימו לב ש V,W חייבים להיות מעל אותו שדה \mathbb{F} אחרת ההגדרה של העתקה לינארית היא חסרת משמעות, כלומר אין פשר לדרישה T(\alpha v) = \alpha T(v) ).--איתמר שטיין 20:19, 27 באוגוסט 2012 (IDT)

מרחב הפולינומים..

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

1. מה הבסיס הסטנדרטי של מרחב הפולינומים ממעלה 2?

2. איך לדוגמא מייצגים את 1+X^2 בתור כפל של סקלרים בבסיס הסטנדרטי?

תשובה: 1. \left \{ 1,X,X^2 \right \}

2. (1,0,2)

שאלה 11 ב2005 מועד א'

http://u.cs.biu.ac.il/~tsaban/Pdf/lin1a65.pdf איך עושים את 11?


תשובה: תפתור בספר של צבאן את שאלה 4.6 (סעיפים א' ב') בפרק א ואז קל לפתור את שאלה 11.

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

באמת אולי היינו צריכים להציג במפורש את משפט פרמה הקטן בקורס הזה.--איתמר שטיין 22:38, 27 באוגוסט 2012 (IDT)


אתה יכול להסביר יותר במפורט?


תשובה: קודם אני אציג את הפתרון של תרגיל 4.6

סעיף א) בשדה ממאפיין p מתקיים (a+b)^p=a^p+b^p.

זה בגלל שלפי הבינום של ניוטון

(a+b)^p = \displaystyle \sum_{k=0}^{p}\binom{p}{k}a^kb^{p-k} ו p מחלק את \binom {p}{k} כש 0<k<p/math>.

לכן כל מה שנשאר מהסכום אלה האיברים הראשון והאחרון <math>a^p+b^p, כל השאר הם 0. כי המאפיין הוא p.

סעיף ב) לכל a \in \mathbb{Z}_p, מתקיים ש a^p=a.

הוכחה: באינדוקציה על a. אם a=0 הטענה נכונה בבירור.

נניח שהטענה נכונה עבור a, נוכיח אותה עבור a+1. לפי סעיף א' (a+1)^p=a^p+1^p=a^p+1.

ולפי הנחת האינדוקציה a^p+1=a+1.

לכן בסך הכל (a+1)^p=a+1.

שזה מה שרצינו להוכיח.

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

אם \mathbb{F}=\mathbb{Z}_p.

אז T(a)=a^p=a. שזו העתקת הזהות ולכן היא באמת העתקה לינארית.

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

נניח ש char(\mathbb{F}=p ונוכיח ש T היא העתקה לינארית מעל \mathbb{Z}_p.

שלב ראשון :T(a+b)=(a+b)^p=a^p+b^p=T(a)+T(b).

שלב שני: T(\alpha a)=(\alpha a)^p=(\alpha)^p a^p = \alpha a^p = \alpha T(a). (שים לב ש \alpha\in \mathbb{Z}_p)

לסיכום, התשובה הנכונה היא 3.


ואיך היינו יכולים לפתור את התרגיל הזה בלי המשפט?


תשובה: אני לא רואה דרך סבירה.--איתמר שטיין 18:50, 28 באוגוסט 2012 (IDT)


דרך אגב, למיטב ידיעתי (אבל אני לא מבטיח) אין במבחן שלכם תשובות "נכונות" ותשובות "יותר נכונות". כלומר אם שאלה כמו שאלה 11 הייתה מופיעה במבחן שלכם. לסעיף 4 היינו מוסיפים: "אבל יש שדה \mathbb{F} כלשהוא עם מאפיין p כך ש T אינה העתקה לינארית" --איתמר שטיין 16:24, 28 באוגוסט 2012 (IDT)

הבוחן שהיה

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


אני מקווה שאני אספיק--איתמר שטיין 16:24, 28 באוגוסט 2012 (IDT)


שמתי פתרון בדף הראשי.--איתמר שטיין 18:19, 28 באוגוסט 2012 (IDT)


תודה!

איך פותרים את תרגיל 4

פה http://u.cs.biu.ac.il/~tsaban/Pdf/lin1a64.pdf

?

שיטה א': תמצא דוגמאות ששוללות את כל האופציות הלא נכונות.

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


אם זה עדיין לא ברור אני אסביר יותר.--איתמר שטיין 22:42, 27 באוגוסט 2012 (IDT)


אני לא מצליח..


שיטה א': נגדיר T(x_1,x_2, \ldots ,x_{32})=(0,x_1,x_2, \ldots , x_{31}) (העתקת הזזה).

זאת דוגמא נגדית ל 2,3,4 . לכן 1 נכון.

שיטה ב': בתרגיל 4 שאלה 7 הוכחתם שבהכרח מתקיים ש T^{32}=0.

מקווה שזה ברור.--איתמר שטיין 16:28, 28 באוגוסט 2012 (IDT)


כן ברור אבל איך אפשר להוכיח ש T^32 = 0?


תשובה: באותה טכניקה שהשתמשתם בתרגיל 4 שאלה 7.

הרי קיים k כך ש T^k=0 אבל T^{k-1}\neq 0.

תוכיח שקיים v כך ש v,T(v), \ldots ,T^{k-1}(v) היא קבוצה בת"ל בגודל k.

לכן k \leq n. ולכן T^n=T^{32}=0.--איתמר שטיין 16:50, 28 באוגוסט 2012 (IDT)


מי אמר אבל ש T לא שווה לאפס? ולכן T^{k-1}\neq 0 לא נכון


תשובה: אז מה? אם T=0 אז k=1 ואז T^{k-1}=T^{0}=I \neq 0.--איתמר שטיין 17:04, 28 באוגוסט 2012 (IDT)

בסיס ומימד של חיתוך ת"מ

התבקשתי להעלות דוגמאות:דוגמאות --שירה ג 22:34, 27 באוגוסט 2012 (IDT)

דרגת העתקה שווה לדרגת המטריצה המייצגת

תהי 
T:V\rightarrow W
הע"ל. כיצד מוכיחים כי 
rank(T) = rank([T]_{C}^{B})
חיפשתי ולא מצאתי את ההוכחה.

תודה! ABAB 12:19, 28 באוגוסט 2012 (IDT)


תשובה: אני מתאר לעצמי שההוכחה שראיתם בכיתה היא משהו בסגנון הזה: rank([T]^B_C)= dim C([T]^B_C)= dim \{[T]^B_Cv \mid v \in \mathbb{F}^n\}=dim\{[T]^B_C[u]_B \mid u \in V \} = dim\{[T(u)]_C \mid u \in V\}

(בגלל ש [\quad]_C היא איזומורפיזם)

=dim\{T(u) \mid u \in V\} = dimIm(T) = rank(T) --איתמר שטיין 18:31, 28 באוגוסט 2012 (IDT)


  • ההוכחה שראינו בהרצאה (של מיטל):

הניסוח: יהיו V,W מ"ו מעל שדה F.נגדיר E בסיס לV, וכן F בסיס לW, ותהי T מV לW הע"ל. אז מתקיים:rank(T) = rank([T]_{F}^{E})

הוכחה: נסמן {v1,...vk} בסיס עבור (ker(T, וכן {(T(u1),...T(ul}, בסיס עבור (im(T, ולכן המימד של התמונה הוא l. מתקיים: {,u1,...ul,v1,...,vk} בסיס עבור V, נסמנו B (הוכחנו זאת כאשר הוכחנו את משפט הדרגה).

אזי מתקיים:

\left[ T \right] ^{ B }_{ F }\quad =\quad ([T(v_{ n })]_{ F }...[T(v_{ n })]_{ F }[T(u_{ 1 })]_{ F }....[T(u_{ l })]_{ F })\quad =\quad (0...0[T(u_{ 1 })]_{ F }....[T(u_{ l })]_{ F })

(כאשר מדובר במטריצה שעמודותיה הן הוקטורים האלו, כשרשום אפס הכוונה לעמודת אפסים). אבל אמרנו כי {(T(u1),...T(ul} בסיס, וכן F בסיס ולכן l העמודות האחרונות הן בת"ל, ומתקיים r(\left[ T \right] ^{ B }_{ F })=l . נותר להוכיח כי r(\left[ T \right] ^{ B }_{ F })=r(\left[ T \right] ^{ E }_{ F }).

מתקיים: [2] כאשר המעבר האחרון מתבצע בגלל המשפט שאומר: אם A הפיכה מתקיים (r(BA)=r(B, ובמקרה שלנו מטריצת המעבר היא הפיכה, ולכן הדרגות שוות.

ובסה"כ נקבל:[[3]]

משפט ההגדרה

מה הניסוח של משפט ההגדרה של ה"ל ומה הניסוח של משפט הדרגה?


  • משפט ההגדרה - יהיו V,W מ"ו מעל שדה F, מתקיים dimv=n. אם ניקח {v1,...,vn} בסיס עבור V, וכן{w1,...,wn} קבוצה מוכלת בW, אזי קיימת T מV לW כך שהיא הע"ל, והיא יחידה, והיא מקיימת T(vi)=wi לכל i בין 1 ל-n.

משפט הדרגה - יהיו V,W מ"ו מעל שדה F, ותהי T מV לW הע"ל. אזי מתקיים: (dim(ker(t))+dim(im(t))=dim(v

ובמילים- מימד התמונה (דרגת ההעתקה) ועוד מימד הגרעין (האפסיות של T) שווה למימד של V.

שאלה כללית

T : Z2[x] → Z2 מה מסמל הסוגרים המרובעים שמסביב לX?

פולינומים מעל Z2 במשתנה x

כפילות הדט

בשביל להוכיח את כפילות הדט צריך להסתמך על כך שפונקציה שמקבלת A ומחזירה את הדט של AB היא כמו דטרמיננטה וכן את המשפט שאומר שפונקציה כמו דטרמיננטה זה בעצם (f(I כפול הדט של A מה צריך להוכיח ועל מה אפשר להסתמך?

וגם במשפט לאפלס(פיתוח לפי שורה ) אפשר להסתמך על חישוב לפי מטריצת בלוקים?


תשובה: לגבי כפליות הדטרמיננטה.

אני מתאר לעצמי שאפשר להסתמך על כך שפונקציה "כמו דטרמיננטה" היא f(I)|A|. אבל בטח שצריך להוכיח ש f(B)=|AB| (או להפך, אני לא זוכר כרגע), היא כמו דטרמיננטה. זאת כל ההוכחה.

כדי להיות בטוח אני אשלח למיטל מייל.


לגבי משפט לפלס. אתה יכול לפרט יותר את השאלה? באיזה הוכחה אתה רוצה להשתמש (יש כמה) ועל איזה משפט בדיוק אתה רוצה להסתמך בלי הוכחה? --איתמר שטיין 18:37, 28 באוגוסט 2012 (IDT)

תרגיל ממבחן דמה

http://www.math-wiki.com/images/d/d5/11Linear1Dumbtest2.pdf

לא הצלחתי לפתור את תרגיל 6 ו-5 סעיף א, אשמח לעזרה!


תשובה:

לגבי 5 סעיף א'. אני חושב שהכוונה היא כזאת:

היות ולמערכת יש 2 פתרונות, היא חייבת להיות מעל \mathbb{Z}_2. ויש משתנה חופשי אחד, כלומר דרגת המטריצה היא 2.

יש 4 מקומות במטריצה שאנחנו לא יודעים (ובכל אחד מהם יכול להיות 0 או 1).

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

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


לגבי שאלה 6: אני מכיר דרך לפתור את זה, אני לא יודע אם זאת הדרך הכי טובה.

אפשר לקחת בסיס כלשהוא B ל V ולקבל ש [T]_B[S]_B=[S]_B[T]_B כלומר המטריצה המייצגת של T מתחלפת עם כל מטריצה אחרת.

בפרט היא מתחלפת עם מטריצות בסיסיות E_{i,j}. אם עובדים עם זה קצת, אפשר להוכיח ש A=[T]_B אלכסונית.

הוכחה פחות או יותר: כי אם j \neq k אז E_{i,j}AE_{k,l}=A_{j,k}E_{i,j} אבל בגלל החילוף E_{i,j}AE_{k,l}=AE_{i,j}E_{k,l}=0

(אפשר גם להוכיח ש A סקלרית אבל זה לא נדרש כאן)

ואז הבסיס B הוא קבוצת הוקטורים המבוקשת.


(לידע כללי: התנאי שיש בשאלה הזאת הוא חזק מאוד, וההעתקות היחידות שמקיימות אותו הן כאלה של כפל בקבוע T(v)=\alpha v.)

כמו קודם, אני לא בטוח שזאת הדרך הכי פשוטה, מוזמנים להעלות עוד רעיונות.--איתמר שטיין 21:00, 28 באוגוסט 2012 (IDT)


תודה רבה, עזרת לי מאוד.

משפט כפליות הדט'

  • האם תוכלו להעלות את ההכוחה ש|f(A)=|AB היא כמו דט'? בהרצאה לא הוכחנו את זה אלא ציינו.
  • האם אפשר להוכיח ככה:

נראה כי |f(A)=|AB היא כמו דט' על ידי כך שנראה כי היא (1)מתאפסת כאשר יש שתי שורות זהות, וכן (2) מחליפה סימן עם החלפת שורות.

(1) אם בA יש שתי שורות זהות, נקבל כי A|=0|, ולכן A לא הפיכה, וגם AB לא הפיכה (אם נניח בשלילה כי AB הפיכה בפרט הפיכה משמאל, לכן קיימת C עבורה AB)C=I), ולפי אסוצ' נקבל A(BC)=I כלומר A הפיכה משמאל, לכן הפיכה בסתירה), ואם AB לא הפיכה 0=|AB|, כדרוש.

(2)אם נחליף שתי שורות i,j בA ונסמן את המטריצה החדשה 'A, נקבל כי |A'|= -|A|. אפשר לרשום A'=pA, כאשר p היא מטריצה אלמנטרית של החלפת השורות i,j. .לכן מתקיים:

|(f(A')=|A'B|=|(pA)B|=|p(AB קיבלנו מטריצה שבה שינו את השורות הi,j ולכן הדט' שלה היא |AB|-, כלומר מתקיים (f(A')= -|AB|= -f(A ,כדרוש.

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


זה משפט ש (pA)B=p(AB) ?
  • תשובה: מדובר בשלוש מטריצות p,B,A ועבורן מתקיימת אסוצ' הכפל, הוכחנו בהרצאה (אצל מיטל אבל אני גם בטוח שגם אצל אלי הוכיחו, זה בסיסי ממש).

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


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

יש שלוש תכונות (כמובן חוץ מהדרישה ש f(I)=1 שלא דורשים בשביל "כמו דטרמיננטה").

1) מולטי לינאריות.

2) אם יש שתי שורות זהות הדטרמיננטה היא 0.

3) חילוף של שתי שורות משנה את הסימן של הדטרמיננטה.

למיטב ידיעתי.

1+2 גורר את 3.

1+3 גורר את 2 (אולי חוץ מאשר כשעובדים מעל שדות עם מאפיין 2).

2+3 לא גוררים את 1, אין לי דוגמא כרגע בשלוף אבל אני אהיה מאוד מופתע לגלות שזה נכון, אף פעם לא ראיתי כזה טיעון.


באמת, כדי להוכיח שf(A)=|AB| מקיימת את 2 מוכיחים כמו שהראו פה למעלה.

ובנוסף צריך להוכיח שהיא מולטי לינארית (עושים את זה עם כפל שורה -שורה, זה לא כזה מסובך).

אחרי שמוכיחים את זה, זה נותן ש f היא "כמו דטרמיננטה".--איתמר שטיין 08:23, 29 באוגוסט 2012 (IDT)

  • אתה יכול להראות איך עושים את זה?

ועלתה לי עוד שאלה בנושא הזה - מה בדיוק הרעיון של מולטי לינאריות? אני מוכיח כי מתקיים: [4]

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


תשובה:

אם A = \begin{bmatrix} - & u_1 & - \\ - & u_2 & - \\ & \vdots & \\ - & u_{i-1} & - \\ - & u_i + \alpha v & - \\ - & u_{i+1} & - \\ & \vdots & \\ - & u_n & - \end{bmatrix}

אז f(A)=|AB|=

| \begin{bmatrix} - & u_1 & - \\ - & u_2 & - \\ & \vdots & \\ - & u_{i-1} & - \\ - & u_i +\alpha v & - \\ - & u_{i+1} & - \\ & \vdots & \\ - & u_n & - \end{bmatrix}B|

לפי כפל שורה שורה זה

| \begin{bmatrix} - & u_1B & - \\ - & u_2B & - \\ & \vdots & \\ - & u_{i-1}B & - \\ - & (u_i +\alpha v)B & - \\ - & u_{i+1}B & - \\ & \vdots & \\ - & u_nB & - \end{bmatrix}|

וזה כמובן שווה ל

| \begin{bmatrix} - & u_1B & - \\ - & u_2B & - \\ & \vdots & \\ - & u_{i-1}B & - \\ - & u_iB +\alpha vB & - \\ - & u_{i+1}B & - \\ & \vdots & \\ - & u_nB & - \end{bmatrix}|

לפי מולטי-לינאריות של דטרמיננטה

זה שווה ל

| \begin{bmatrix} - & u_1B & - \\ - & u_2B & - \\ & \vdots & \\ - & u_{i-1}B & - \\ - & u_iB & - \\ - & u_{i+1}B & - \\ & \vdots & \\ - & u_nB & - \end{bmatrix}|
+\alpha | \begin{bmatrix} - & u_1B & - \\ - & u_2B & - \\ & \vdots & \\ - & u_{i-1}B & - \\ - &  vB & - \\ - & u_{i+1}B & - \\ & \vdots & \\ - & u_nB & - \end{bmatrix}|

שזה שוב לפי כפל שורה שורה

f(\begin{bmatrix} - & u_1 & - \\ - & u_2 & - \\ & \vdots & \\ - & u_{i-1} & - \\ - & u_i & - \\ - & u_{i+1} & - \\ & \vdots & \\ - & u_n & - \end{bmatrix})+ \alpha f(\begin{bmatrix} - & u_1 & - \\ - & u_2 & - \\ & \vdots & \\ - & u_{i-1} & - \\ - &  v & - \\ - & u_{i+1} & - \\ & \vdots & \\ - & u_n & - \end{bmatrix})


תשובה לשאלה השניה שלך: מולטי לינאריות אומרת שאם שורות המטריצה הן u_1,u_2, \ldots , u_{i-1}, u_i+\alpha v, u_{i+1} , \ldots , u_n

אז f(u_1,u_2, \ldots , u_{i-1}, u_i+\alpha v, u_{i+1} , \ldots , u_n)=f(u_1,u_2, \ldots , u_{i-1}, u_i, u_{i+1} , \ldots , u_n)+\alpha f(u_1,u_2, \ldots , u_{i-1},  v, u_{i+1} , \ldots , u_n)

איפה באיבר השני יש שורה שחוזרת על עצמה?

v לא חייב להיות קשור ל u_j כלשהוא.--איתמר שטיין 09:17, 29 באוגוסט 2012 (IDT)

  • הבנתי, תודה רבה!

איך פותרים את שאלה 4?

http://u.cs.biu.ac.il/~tsaban/Pdf/lin1a60.pdf יש שיטה כלשהי חוץ מלהציב כל ערך אפשרי ולבדוק?


אפשר באמצעות חילוק פולינומים (x=-1 הוא פתרון).

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

מתי המבחן?

?


  • יום חמישי (מחר) בשעה 16:00.

הוכחה ל16

אתה יכול להוכיח את משפט 16?

תשובה : קח תהנה http://www.siz.co.il/view/joftnmng1ixc.png.htm

אנשים תעזרו אחד לשני


בשביל להוכיח שההעתקה היא חח"ע אפשר לעשות את זה ככה?: [T1]^B_C = [T2]^B_C


ולכן [T1-T2]^B_C = 0


אבל רק [0]^B_C = 0


ולכן T1-T2 = 0

ואז T1 = T2


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


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


לא הבנתי למה צריך להוכיח שזו הע"ל, לא מספיק רק חח"ע ועל???


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

כשאומרים יחידות הצגה (משפט 2)

זה אומר שאם:

v_1 = u_1 + w_1

וגם v_1 = u_2 + w_2

אזי u_1 = u_2 w_1 = w_2 זה לא מדויק זה קצת יותר מסובך, אתה צריך להראות שבגלל שהם זרים ( חיבור ישר) אז הדבר הזה מתקיים ולא לגמרי ככה. בגלל שהם זרים אז u1 -u2שייך לחיתוך בניהם ובגלל שהחיתוך ריק אז הם שווים לוקטור האפס ולכן הם שווים .


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


  • ההגדרה היא שיש דרך אחת בלבד "להרכיב" אותו בעזרת וקטור מU ווקטור מW. ההגדרה שהבאת נכונה.

משפט 10

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


תשובה: למרות שלא נראה לי סביר שיבקשו לנסח, יכולים לבקש.--איתמר שטיין 14:15, 29 באוגוסט 2012 (IDT)

משפט 15

המטריצה לא אמורה להיות ריבועית? (כתוב שהיא m על n)

  • לא, היא יכולה להיות מגודל mXn גם אם m שונה מn.

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


צודק, חשבתי שהם רצו שנכפיל בהופכית..

בשביל להוכיח את כפליות הדטרמיננטה

אפשר להסתמך על זה שב "כמו דטרמיננטה" |f(A) = f(I) * |A?


אני מתאר לעצמי שכן. שלחתי על זה מייל למיטל.--איתמר שטיין 15:56, 29 באוגוסט 2012 (IDT)


תשובת מיטל: אפשר להסתמך ואין צורך להוכיח.--איתמר שטיין 16:28, 29 באוגוסט 2012 (IDT)


מזל תודה :)

שעה

באיזה שעה המבחן מחר? מצפה לתשובה עם הוכחה. :) ABAB 16:15, 29 באוגוסט 2012 (IDT)


קל לראות שזה ב 16:00

תודה זה היה טריוויאלי ABAB 17:04, 29 באוגוסט 2012 (IDT)

שאלה ממבחן

http://u.cs.biu.ac.il/~tsaban/LinearAlgebra/Exams/LA1_68b.pdf

שאלה 3 סעיף ג', איך לפתור? יצא לי 2 אבל אני לא בטוח. מה יצא לך בכל הסעיפים לפני זה?


אם אפשר איך הגעת לפתרון הזה?


תשובה: אני לא יודע מה הפתרון הכי פשוט.

אבל אפשר לעשות ככה:

הסבר משופר:

שלב א': אם משתמשים באיזומורפיזם [\quad]_S מקבלים שהמרחב הזה איזומורפי למרחב המטריצות A כך ש AM=0 (כאשר M היא מטריצה מייצגת של העתקה R). ולכן יש להם אותו מימד.

שלב ב': \{A \mid AM=0\} = \{A \mid M^tA^t = 0\}\cong \{A \mid M^tA=0\}.

כאשר האיזומורפיזם הוא בעזרת transpose.

שלב ג':

נשים לב ש A \in \{A \mid M^tA=0\} אם ורק אם C_i(A) \in N(A) לכל i.

כלומר A נמצאת בקבוצה הזאת אם ורק אם כל עמודה שלה נמצאת במרחב האפס של M^t.

שלב ד':

את המימד של מרחב האפס של M^t אנחנו יודעים, זה בדיוק המימד של מרחב האפס של M. נסמן אותו ב k (אין לי כח לחשב עכשיו)

אם b_1,\ldots b_k בסיס עבור N(M^t) אז בסיס עבור A \in \{A \mid M^tA=0\} יהיה מורכב מ 4 קבוצות:


k מטריצות שיש להן b_1,\ldots b_k בעמודה הראשונה וכל השאר אפסים.

k מטריצות שיש להן b_1,\ldots b_k בעמודה השניה וכל השאר אפסים.

k מטריצות שיש להן b_1,\ldots b_k בעמודה השלישית וכל השאר אפסים.

k מטריצות שיש להן b_1,\ldots b_k בעמודה הרביעית וכל השאר אפסים.

סך הכל 4k מטריצות וזה המימד.--איתמר שטיין 20:03, 29 באוגוסט 2012 (IDT)


אתה יכול להסביר עוד פעם?

הופכיות מצד אחד

משפט 8, לא מצאתי את ההוכחה למשפט הזה, יש מצב להוכחה? עוד שאלה- אם המטריצה לא ריבועית, אז יכול להיות שקיימת לה הופכית משמאל ושהיא לא הפיכה מימין(או להפך)?

תודה רבה!


אם מניחים ש A הפיכה מימין, אזי קיימת B כך ש BA = I.

ואז בונים העתקה T(X) = AX (כאשר X זו מטריצה).


מוכיחים שזאתי הע"ל וגם חח"ע, ולכן היא על.

ולכן בפרט יש מקור ל I, ולכן קיימת M כך ש AM = I.


ואז מה שנשאר להוכיח זה ש M = B וזהו.


וכנ"ל אם היא הפיכה משמאל זה אותו רעיון רק שעכשיו ההעתקה תהיה XA ולא AX


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

והיא תרגיל 6.11 בספר של צבאן (בפרק 3).

אבל אני מסכים שההוכחה עם העתקות יותר קלה. --איתמר שטיין 17:27, 29 באוגוסט 2012 (IDT)

תודה!

בת"ל מקסימלית היא בסיס

האם זו הוכחה טובה למשפט " אם A קבוצה בת"ל מקסימלית אז היא בסיס " ? :

יהי V מ"ו ותהי A בת"ל מקסימלית. צ"ל : V מוכל שווה ב-spanA (ההכלה השנייה טריוואלית). הוכחה : נניח בשלילה ש-V לא מוכל שווה בspA, כלומר קיים וקטור b ששייך ל V\spA. b לא שייך לspA כלומר b אינו צי"ל של איברי A (הגדרת span) גורר ש A איחוד נקודון b בת"ל וזו סתירה לנתון ולכן V=spA ולכן A בסיס ל-V.

בבקשה זה חשוב .


זאת הוכחה טובה, אני רק הייתי מוסיף הסבר יותר מפורש/ברור למה אם b אינו צירוף לינארי של איברי A אז A איחוד b בת"ל. (רק להוסיף עוד שורה או שתיים של הוכחה או משהו מעין זה).--איתמר שטיין 20:06, 29 באוגוסט 2012 (IDT)

אוקיי, תודה רבה !

תרגיל 6 שאלה 4ד

לא הבנתי איך עברתם מ-P^{-1} A^{-1} P |P^{-1} | |A||P| ל-P^{-1}A^{-1}|A|P, תוכלו להסביר בבקשה?

|P^{-1} |=1/|P| וכיוון שהכפל קומוטטיבי |P^{-1} | |A||P|=|A|. בנוסף נזכור שדטרמיננטה היא "מספר" (סקלר מהשדה). ו kA=Ak לכל סקלר k ומטריצה A. --שירה ג 20:30, 29 באוגוסט 2012 (IDT)

שאלות הוכחה

בשאלות הוכחה במבחן נצטרך גם לנסח את המשפט?


תשובה: יכול להיות שיבקשו לנסח.--איתמר שטיין 08:51, 30 באוגוסט 2012 (IDT)

איזומורפיזם

אני רואה שהרבה פעמים משתמשים באיזו' להוכחות של דברים, ואני מרגיש שאני לא מבין את הנושא עד הסוף. מה התכונות של איזו' חוץ מחח"ע על והע"ל? אם אני מוכיח שV וW איזומורפים מה זה נותן לי?


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

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

בנוסף, אם T הוא האיזומורפיזם הוא מאפשר לנו להעביר "מידע" מ V ל W למשל:

אם A בת"ל ב V אז T(A) בת"ל ב W.

אם A פורשת ב V אז T(A) פורשת ב W.

אם U תת מרחב של V ממימד k אז T(U) תת מרחב של W ממימד k.

אם U_1 \oplus U_2 = V אז T(U_1) \oplus T(U_2) = W.

וכן הלאה וכן הלאה.

כל טענה של מרחבים וקטוריים שמתקיימת ב V אפשר "להעביר" ל W.

(וגם את ההפך אפשר לעשות עם T^{-1}.)--איתמר שטיין 08:59, 30 באוגוסט 2012 (IDT)

משפט 10

אם יתנו להוכיח את משפט 10 אז כבר ינסחו אותו, נכון?


תשובה: יש לשער שכן. אבל אני לא מבטיח.--איתמר שטיין 11:42, 30 באוגוסט 2012 (IDT)

שאלה בנוגע לדרגה

אם יש שתי מטריצות A B ריבועיות, וA הפיכה, האם נכון לאמר ש(r(AB)=r(BA? והאם זה שווה ל(r(B?

ניסיתי למצוא הפרכה ולא הצלחתי, וכשניסיתי להוכיח לא הוכחתי עד הסוף.


תשובה: אם ב r אתה מתכוון rank. אז כן.

rank(AB)=rank(BA)=rank(B) (אם A הפיכה).


אם אתה מתכוון למרחב השורות אז R(B)=R(AB) (כש A הפיכה).

(כי אפשר לחשוב על A בתור רצף של פעולות שורה אלמנטריות והן לא משנים את מרחב השורה).


אבל הם לא בהכרח שווים ל R(BA).

למשל אם B=E_{1,1} ו A=E_{2,1}+E_{1,2} אז BA = E_{1,2} ו

R(E_{1,2}) \neq R(E_{1,1}).--איתמר שטיין 11:48, 30 באוגוסט 2012 (IDT)


  • התכוונתי לדרגה, תודה.

שאלה לגבי המבחו

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


מותר--איתמר שטיין 14:32, 30 באוגוסט 2012 (IDT)

שאלה 1 במבחן

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


תשובה: בשאלות 1,2 ההוכחה שווה 18 נקודות וסעיף ב' שווה 7 נקודות. (הניסוח גם שווה כמה נקודות מתוך ה18 של ההוכחה).

בשאלה 3 נדמה לי שהחלוקה היא 10,8,12 אבל אני לא משוכנע איזה סעיף מקבל איזה ניקוד.

אם הוכחת משפט אחר, אז כן, לצערי יורידו הכל. לדעת מה המשפט אומר זה בפירוש חלק ממה שנדרש.--איתמר שטיין 21:04, 30 באוגוסט 2012 (IDT)

בשאלה 1

כשאמרו לנסח את המשפט.. אז מספיק שרשמתי:

יהיה T:V-W הע"ל, אזי

dim Ket(T) + dim Im(T) = dim V

זה מספיק?


  • אני אישית רשמתי גם v,w מ"ו מעל שדה F, אני חושב שכן צריך את זה, מציע שתחכה לתשובה של מתרגל.

פתרון שאלה 3

לכל מי שרוצה, מצורף פתרון שאלה 3 מדיה:שאלה 3.jpg --גיא 22:14, 30 באוגוסט 2012 (IDT)

פתרון המבחן

מתי תעלו פתרון של המבחן ואת השאלות?

המבחן

מתי תעלו פתרון של המבחן(כולל שאלות אמריקאיות)? ומתי יעלו את ציוני המבחן?


תשובה: נעלה פתרון של המבחן במהלך שבוע הבא.

אני מעריך שיהיו ציונים תוך שבוע- שבוע וחצי, אבל אני לא מבטיח.--איתמר שטיין 16:17, 31 באוגוסט 2012 (IDT)

מתי יפורסמו ציוני התרגיל הסופיים? (שקלול בוחן+תרגילים שיהיו 10% מהציון) ABAB 17:32, 2 בספטמבר 2012 (IDT)

ציון סופי

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

חישוב הציון הסופי

שלום,

אם קיבלתי בבוחן יותר מ-100 בחישוב הציון הסופי תחשבו לפי הציון שלי או 100?

כיצד יחושב ציון התרגיל? 50% בוחן ו-50% תרגילי בית? ABAB 20:29, 6 בספטמבר 2012 (IDT)

יש כבר ציונים?

יש כבר ציונים?

מועד ב'

1) המועד ב' יהיה באותו מבנה כמו המועד א'? 2) המועד ב' יהיה באותה רמת קושי כמו המועד א'(כי לדוגמא בבדידה עשו לנו את המועד ב' פי 10 יותר קשה)? תודה רבה --Avital 19:45, 10 בספטמבר 2012 (IDT)
קיבלת כבר ציון? ABAB 11:23, 11 בספטמבר 2012 (IDT)
מלפני שבוע כבר היו ציונים בליניארית --Avital 19:18, 11 בספטמבר 2012 (IDT)


תשובה: 1) אותו מבנה.

2)לא ראיתי את המועד ב'. אבל הוא אמור להיות באותה רמה (אולי טיפה יותר קשה).--איתמר שטיין 11:46, 12 בספטמבר 2012 (IDT)

ציוני מועד ב'

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

נוהל ערעורים

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