'''[[לינארית 1 לתיכוניסטים תשע - שאלות ותשובות - ארכיון 4| ארכיון 4]]''' - תרגיל 3
'''[[לינארית 1 לתיכוניסטים תשע - שאלות ותשובות - ארכיון 5| ארכיון 5]]''' - תרגיל 4
=שאלות=
=שאלות=קיים וקטור v+==זה בסדר אם אני אומר שאם <math>P\begin{pmatrix}v&Av&\cdots&A^{k-1}v\end{pmatrix}=v</math> לכל וקטור <math>A^{k-1}v\not=\vec0</math> (בשאלה 7.19) עבור מטריצה P כלשהי אז <math>(v^+P)\begin{pmatrix}v&Av&\cdots&A^{k-1}v\end{pmatrix}=v^+v=I</math> כאשר <math>v^+</math> מקיים <math>v^+v=I</math> (נקרא הפסבדו הופכי של v)? במילים אחרות, האם צריך להוכיח שלכל וקטור המקיים <math>A^{k-1}v\not=\vec0</math> קיים <math>v^+</math> כנ"ל?
==7.32ציונים סופיים ==אם המטריצות הן מעל c אז איך בכלל ניתן לייצג אותן מעל rעוד מעט מתחיל סמס א',מתי יפורסמו הציונים הסופיים?
==שאלהפגישה==האם ניתן להגיד ש <math>dimהפגישה היום (A)>=dim(span(A))</math> תמיד? וצריך להסביר את זה בצורה כלשהי?ועוד משהו- אם נתון לי ש A מוכלת בspan(B)- אפשר להגיד ש<math>dim(A)<=dim(span(B))</math>?:A אינו בהכרח מי"ו ולכן זה לא נכון. אתה יכול להגיד ש-<math>\forall A:|A|\ge\dim(\operatorname{span}(Aא תשרי))</math>. לשאלה השנייה אין שום טעם - העוצמה של A יכולה להיות גדולהבקשר לרישום, קטנה או שווה למימד. למשל <math>A_1=\{(1,0)\},A_2=\{(1,0),(0,1)\},A_3=\{(1,0),(0,1),(1,1)\}</math> מקיימות <math>1=|A_1|<\dim(\mathbb R^2),2=|A_2|=\dim(\mathbb R^2),3=|A_3|>\dim(\mathbb R^2)</math>היא עם הורים?
עוד שאלה, באיזה שעה היא ואיפה?
הערה נוספת: אכן אין משמעות לdimA אם A הוא לא מרחב. אם A הוא כן מרחב==שאלה בקשר לפתרון של מועד ב==בשאלה 8 א כתבת ש (1, 0) != (1,6) אבל אנחנו נמצאים בz3 אז Aזה לא אומר ש (1,6)=spanA(1,0) ואז הטענה אינה נכונה?
==כמה שאלות קטנות=תשובה===* '''הגדרה מתמטית של מרחב שורות:''' בהגדרה המתמטית כופלים את השיחלוף של המטריצה ב-v שהוא וקטור (שייך ל-<math>F^m</math>)נכון! בכלל לא שמתי לב לשאלה. אז וקטור יש, ואיפה הסקלר? ולמה המטריצה?* האם יש משפט שאומר שאחרי דירוג קנוני של המטריצה (או שמספיק דירוג רגיל?), כל וקטורי השורות (מלבד וקטור 0) שמתקבלים הם בת"ל? (כמובן שזה די טריוויאלי אבל האם מספיק טריוויאלי בשביל להשתמש בזה בתרגיל בלי הסבר?)* האם יש משפט שאומר ש-<math>dim(R^n)=n</math>?מזל שאני לא נבחנתי על זה. אני אתקן ואעלה מחדש
==תרגילים נוספים?==שלום רב,האם היו תרגולים נוספים אשר היינו אמורים להגיש (בחלקו העליון של דף זה נכתב: "הודעה חשובה !!! - יש להגיש את התרגילים הנוספים (13 , ו 14 כרשות למי שמגיש ) עד ,וכולל , 16.9.2010 ! למשל לתא הבודקת הילה הלוי בכר , או לתומר ביום רביעי או לניר ביום חמישי - בתרגולי החזרה . אנא הודיעו למי שאתם יודעים שלא יגיע לתרגולים אלו . תודה :):") או שזו טעות? תדה מראש!.
===תשובה===
[[#בהמשך לשאלה: "דרך הפתרון ל7זה לא קשור לקורס הזה בשום צורה, הייתה טעות.9"]].. פה יש 5 תרגילים בלבד
ובהקשר לשאלה השלישית, אתה יודע בעצמך מהו הבסיס ונובע מזה שהמימד הוא n ==ציוני תרגיל==הגשתי את תרגיל 4 ומופיע כאילו לא הגשתי אותו (כי יש בבסיס n איבריםמס' ת.ז. 205632516)==שאלה 1.ג במבחן==האם כדי להוכיח סכום ישר, לא צריך להוכיח גם סכום ז"א ש- U+W=V.
==7.19==הצלחתי להוכיח את מה שהיה צ"ל ברמז (ש v, Av,..Ak-1v בת"ל). אפשר עזרה לגבי- מה עושים עכשיו? איך הרמז מתקשר בכלל לשאלה? תודה.:נראה לי שהבנתי, האם הפתרון של מקובל? לפי תשובה לשאלה קודמת פה, הכמות המקסימלית לאיברים בקבוצה בת"ל הוא כמימד המרחב, ולכן ak=an2 ולכן an2=0 ולכן an*an=0 וזה אומר ש an=0? תודהברור שכן, שכחתי להוסיף את זה. (מחקו אם יש עדיפות לא להראות פתרונות והפתרון נכון, תודהאני אעלה עוד כמה דקות תוספת לפתרון.)
::זה אמור להיות <math>a_n^2</math>? במטריצות יש מחלקי אפס ואי אפשר להסיק כפי שהסקתהעלאתי את התוספת הדרושה. אבל אפשר להסיק על <math>A^{n}v</math> כמו שתארתי.--[[משתמש:ארז שיינר|ארז שיינר]] 22::כן זה היה אמור להיות n בריבוע52, סימן שטעיתי. אבל לא הבנתי איך אפשר להסיק על Anv ואיך זה עוזר.:::חוץ מזה לא הבנתי עוד משהו, אמרת שאם קבוצה עם n איברים היא בת"ל 13 בספטמבר 2010 (מקסימלית?IST) אזי האיבר הn+1 שווה אפס. למה זה נכון, הוא יכול להיות גם תלוי לינארית באיברים 1 עד n, לא?
==העתקה לינאריתתרגילי בית==מותר להשתמש בעובדה ש-<math>[\ ]_Bהיכן ניתן למצוא תרגילי בית שלא קיבלתי חזרה? :V\to\mathbb F^n</math> היא העתקה לינארית? או שצריך להוכיחלא ניתן למצוא אותם בשלב זה. == בקשר לציוני התרגיל ==אנחנו נקבל את הציונים של תרגילים 4 ו5?עברו כבר שבועיים והמבחן.. אני צריך לדעת בשביל להחליט אם לעשות מועד ב'.
===תשובה===
אם למדתם בהרצאה, מותר להשתמש (חייבים להזכיר את זה כמובן)====שאלה בקשר לתשובה====בהרצאה הראנו שההעתקה היא ליניארית וגם חח"ע ועל אז בשאלות בדף מותר לי להניח את זה (ולציין שכך הראנו בהרצאה) ורק להראות את ההתחייבות שהבת"ל נשמר (בהנה רשימת הציונים שיש בינתיים '''[[מדיה:10Linear1TargilTempGrade.pdf|ציוני תרגיל 1-2 א) או ההשתייכות לנפרש(ב- 2ב)?4]]'''
==I]<sup>B</sup><sub>C</sub>]בקשת הבהרה==צלמה כוונתכם באמירה "הבוחן יהיה ציון מגן בלבד"ל ש-<math>[I]_C^B</math> מטריצה ריבועית?:כן1.אם הוא גבוה משיעורי הבית אז הוא יהיה במקומם.2. אם הוא גבוה מהמבחן אז החלוקה תהיה 80% מבחן, 10% בוחן, 10% שיעורים.3. אם הוא גבוה מהשיעורים אז החלוקה תהיה 80% מבחן, 10% בוחן, 10% שיעורים.4. אחר?
==שאלה 6תודה, גל.5==
===תשובה===מתוך ציון התרגיל בלבד הוא מגן. כלומר המבחן 80 אחוז בכל מקרה (אמנם זה כמו שרשמת, אבל רשמת רק אופציה אחת). אם הוא גבוה משיעורי הבית זה יהיה 10 אחוז 10 אחוז, ואם נמוך זה יהיה 20 אחוז שיעורי בית. ====תשובה לתשובה====תודה רבה על התשובה המהירה.כרגע רשום באתר המידע האישי שהמבחן 85%, אני מניח שזה יתעדכן?ומתי נקבל את ציוני תרגול 4-5 ואת השקלול הסופי של הציונים בתרגולים?שוב תודה, גל. :זה מוזר שרשום שם 85... או שזה יתעדכן או שזה ישאר ככה. אני לא הבנתי איך מוצאים חושב שזה הפרש משמעותי במיוחד. תקבלו את האיבר שאר הציונים כאשר אני אקבל אותם. ==ציונים==מתי יפרסמו את הציון הסופי או את הרכב הציון (אחוזים לכל דבר)?זה יכול להשפיע בהחלטה האם לגשת למועד ב'.אשמח לתשובה מהירה. ==שאלה==:האתר לא פועל בחגים, ואני עוד לא ראיתי את הציון שלי, יש דרך כלשהי לראות את הציונים שלי?:ועוד משהו, הציונים שעלו, הם רק בלינארית, או שזה גם בבדידה? תודה רבה, ושנה טובה לכולם!==ציון ביניים==מה זה אומר בדיוק? וכמה עולה לצפות במחברות הבחינה? תודה. (אגב, ציוני הביניים עלו!!): ציון ביניים = חלקי הציון הכללילפני מעבר שקלול. הציון הסופי יעלה רק לאחר שיעלו כל ציוני הביניים.: עלות צפייה במחברת בחינה 5 ש"ח דרך כ"א. אפשר לצפות בה דרך האתר, אפשר הסברגם להוריד אותה (ע"י לחיצה על כפתור השמירה תוך כדי הצפייה במחברת). (אינני מתרגל) ==ציון מעבר==הודיעו מתישהו מה הציון הכללי שצריך כדי לעבור? בכל מקרה, מה הציון?:באופן כללי באוניברסיטה ציון מבחן עובר הוא 60 [[משתמש:ארז שיינר|ארז שיינר]] 21:44, 7 בספטמבר 2010 (קראתי IDT)::מה זה אומר שהציון עובר, או נכשל - במבחן? מה, אי אפשר לעבור את התשובות למטה ועדיין הקורס עם נכשל במבחן?:::התכוונתי לציון סופי, לא הבנתיציון מבחן.ציון סופי 60 זה עובר (אחרי השקלול של ציון התרגיל).[[משתמש:ארז שיינר|ארז שיינר]] 23:10, 7 בספטמבר 2010 (IDT) ==פקטור==היה במבחן בלינארית פקטור? אם כן, כמה? ==אחוזים==בתחילת הסמסטר אמרו לנו שהציון מורכב מ: 80% מבחן, 10% בוחן, 10% ש.ב.. רציתי לדעת האם יש שינוי בהרכב הציון? :לא בטוח. אתם תראו את הציון הסופי כאשר הוא יופיע ==תרגולים 4-5==האם תעלו את הציונים שלהם בהמשך? תודה מראש.:כן, כאשר הם יתקבלו ==הערה==קודם כל אני רוצה להגיד תודה על כל העזרה עם השאלות באלגברה לינארית. אני יודע שזאת בקשה גדולה ואתם לא חייבים להיענות לה, אך המתרגלים שעד עכשיו ענו על תשובות לאלגברה לינארית, יכולים לעזור גם בבדידה? כי נראה לי שאף אחד לא נכנס לדף של בדידה... תודה רבה!! == פתרונות ==איפה מופיעים הפתרונות של המבחן???:'''[[מדיה: 10LinearTestASol.pdf|פתרון המבחן]]''' ==ציונים==איפה יופיעו הציונים?:ומתי?::לפי מה שידוע לי - בעוד כשבוע. אבל אשמח לתשובה ממרצה/מתרגל. ==תגובות לגבי פתרון המבחן==תיקונים: את שאלה 1 ו-4 לא עשיתי ככה שלא התייחסתי אליהם,בשאלה 2, הצבת את 1 במקום a ועדיין השארת a בפיתרון הכללי.. (ובמטריצה)בשאלות האמריקאיות- היה צריך להוכיח ולהפריך או רק לרשום כן/לא?תוכל בבקשה להעלות את ההגדרות, כי יש כמה גרסאות ורציתי לדעת אם יש הבדל, למשל:KerT= מרחב הפתרונות של המערכת Ax=0 כאשר A מטריצה מייצגת העתקה T, נקרא הגרעין של ההעתקה T. (KerT)/מרחב הוקטורים שההעתקה T שולחת אותם ל-0.סה"כ את שתיהן המרצה כתב לנו ושתיהן הגדרות פורמליות..
===תשובה===
אפשר בעזרת קואורדינטות ואפשר באמצעות פתרון ישיר של מערכת משוואות
צודק לגבי ההצבות, באמת טעות טפשית. לא היה צריך להוכיח או להפריך, אבל אחת המטרות העיקריות של התשובות היא שמי שצריך יוכל ללמוד מהפתרון למועד ב'. (וכמובן גם מי שלא ייגש - טוב שיידע את התשובות הנכונות). לגבי ההגדרות, אני לא יודע מה המרצים יקבלו. ==מבחן==בשאלה 3 ג' בתשובות, בשלב שלפני שמתקבלת המטריצה הסופית (כפל שתי מטריצות), במטריצה השמאלית, במקום <math>a+bx+cx^2=\alpha v_1 + \beta v_2 + \gamma v_3a_{n,n-1}</math> כאשר a,b,c פרמטרים נתונים, וצריך לחשב את אלפא בטא גמא (הדוגמא שנתתי היא פולינום כללי, וקטור כללי יהיה אני חושבת שאמור להיות <math>-(a,b,cn-1)</math> וכדומה)ולא <math>-n-1</math>.נכון? :כן, תודה. ====שאלה בקשר לתשובה====בסעיף אם כתבתי בשאלה 2 ב' שאין בסיס וליד זה את האות פי, זה בסדר? כי אני יודע שהבסיס הוא פי, אבל כתבתי לפני זה שאין בסיס, תודה רבה:(לא מתרגלת) פי? מה הקשר של הפולינומים אפשר לכתוב פי לקבוצה ריקה?:: הכוונה היא לאות <math>\ \empty</math>, המסמנת את האיבר הכללי כ פולינום מהצורה הקבוצה הריקה. [[משתמש: a+bעוזי ו.|עוזי ו.]] 22:01, 31 באוגוסט 2010 (IDT)+: תחליט: או שאין בסיס, או שיש בסיס והוא הקבוצה הריקה. האפשרות הראשונה בוודאי אינה נכונה, משום שלכל מרחב וקטורי יש בסיס (2b+cאת המקרה הסופי הוכחתם בקורס; המקרה הכללי הוא משפט של Hammel)x+. הקבוצה הריקה היא הבסיס (3cהיחיד)x^2+של מרחב האפס. [[משתמש:עוזי ו.|עוזי ו.]] 22:01, 31 באוגוסט 2010 (a+b+2cIDT)x^3) כאשר a:: אני כתבתי שאין בסיס וליד זה את האות <math>\ \empty</math>,bכל החישובים שלי בתרגים נכונים וגם על פי התשובות שלכם אין לי טעות אחת במבחן,c פרמטריםהדבר היחיד שלא היה טוב זה שאחרי שהגעתי לזה שהחיתוך הוא 0 כתבתי שאין בסיס, וליד זה <math>\ \empty</math>, יורידו על זה הרבה נקודות? כי זה לא שהיה לי טעות אחרת חוץ מזה, וגם כתבתי <math>\ \empty</math> בפתרון הסופי, תודה:::יורידו אולי נקודות, אני לא יודע מראש כמה. אם אין לך טעויות חוץ מזה יהיה לך ציון טוב. [[משתמש:ארז שיינר|ארז שיינר]] 12:09, 1 בספטמבר 2010 (זו אינה התשובהIDT) ==צ"ל?כמה שאלות לגבי פתרונות המבחן==יהי C בסיס למ"ו U1. בשאלה 3א האם צריך אפשר היה להוכיח שקיים את היותה של הקבוצה בסיס על ידי שימוש בכך ש: א. <math>C\subseteq |B|=N</math> ל-ולכן משום היותה בסיס <math>U\le VdimV=n</math>? או ומשום <math>|C|=n</math> עפ"י הגדרתו אז <math>dimV=|C|</math>. ב. בת"ל (וגם לא הוכחתי כפי שאתם הוכחתם אלא הוכחתי בשלילה, אמנם יצא לי יותר ארוך אבל אני מניח שזה טריוויאליבסדר, לא?!?). 2. ב-3ב לא יותר קצר למצוא את המטריצה הנדרשת באותו אופן שאתם מצאתם את ההופכית שלה? 3. בפתרון ל-2א יש לך טעות: הצבת a=1 וללכן לא יכול להיות שהפתרון הכללי למקרה של אינסוף פתרומנות תלוי ב-a. 4. איך נעשית חלוקת הנקודות בין הסעיפים בין השאלות הפתוחות? לכל סעיף משקל שווה? תודה מראש ושנה טובה!
===תשובה===
לא. רושמים "נשלים לבסיס למרחב כולו"
==61. בת"ל ובגודל n + השלישי חינם זה סבבה.5ג==ב-62.5אפשרי, סעיף ג'קצר זה עניין של דעה :) 3. כן, הכוונה ב-העירו לי על כך. תודה. כמובן שצריך להציב בכל מקום שם את a ולא רק בחלק מהמקומות :) 4. לא ידוע, יוחלט בעת הבדיקה. שנה טובה ומבורכת. ==שאלה אחרונה==למה אם rankAB <math>\mathbb F^min{2\times2rankA,rankB}</math> היא <math>\mathbb R^{2\times2}</math>אז A וגם B אינן הפיכות?תודה!
===תשובה===
זה לא משנה באמתכי אם A או B הפיכות, השאלה בסדר כמו שהיא.:כלומר מספיק למצוא הפרכה לשדה F כלשהו? אז AB היא בעצם A או שצריך לבדוק אם לכל שדה F הטענה B שמבצעים עליה פעולות אלמנטריות, עשיית פעולות אלה לא מתקיימת (ואם משנות את מרחב השורות ובטח לא את מימדו, ואז המימד של מרחב השורות של AB היה שווה למימד המינימלי בין A ו- מה לעשות?)?B ולא קטן ממש.::כן, מספיק למצוא הפרכה לשדה מסויים או להוכיח לכל שדה.תודה רבה על התשובה בשעה מוקדמת! אשמח אם תוכל לענות לי על השאלה השניה לפני המבחן! תודה!
==שאלה==
נתון <math>V=\mathbb{F}^n</math> וגם ש<math>\mathbb{H}</math> תת שדה של <math>\mathbb{F}</math>אם אני יודע שהמימד של F מעל H הוא m אז אני יכול להגיד דבר כזה:<math>V=\mathbb{F}^n=במבחן 2003 מועד ב' שאלה 1 (\mathbb{H}^m)^n=\mathbb{H}^{mn}</math> כלומר המימד של V מעל השדה H הוא mnצריך למצוא את [v]c, יש טעות בתשובה?עשיתי כמה פעמים מכל הכיוונים ויצא לי תשובה 4 ולא 2. תודה מראש!
===תשובה=6.14 עמוד 62 בחוברת==לאבתשובות שבאתר הוספת לבסיס את (1, זה מה שצריך להוכיח0,0).למה, לפי מה?
אבל אני יודע ש:<math>V=\mathbb{F}^n</math> וגם <math>\mathbb{F}=\mathbb{H}^m</math>אז כאילו אני מציב ומקבל <math>V=\mathbb{H}^{nm}</math>מדרגים ומוסיפים את e_i עבור כל העמודות i של המשתנים החופשיים (כלומר משלימים איברים פותחים)
:אבל לא למדנו חוקי חזקות למרחבים :אהה.. באמת? חידשת לי. תמיד כשרוצים להשלים קבוצה בת"ל לקבוצה פורשת אז שמים את הוקטורים מהקבוצה הבת"ל בשורות מטריצה, מדרגים, ורואים אילו משתנים חופשיים יש. לאחר מכן מוסיפים קבוצה ובה וקטורים - זה מה שצריך להוכיח<math>e_i</math>, עבור כל עמודה i שבה יש משתנים חופשיים? יש איזה משפט קשור או משהו שמסביר למה עושים דווקא ככה? תודה.
::וחובה להשתמש בזה שH תת שדה של F? (לא אותו אחד ששאל מקודם:זה פשוט מאד, כמו שאמרתי - משלימים את האיברים הפותחים.לאחר התוספת יש n איברים פותחים (אם יש n עמודות)ואז מרחב השורות הוא ממימד n ובהכרח מרחב השורות הוא כל F^n.
==עזרה==איך מוכיחים את המשפט:::צריך להשתמש בכך שF מ"ו מעל Hיהי בסיס v1,..,vn לV וקבוצה w1,..wn בW, אז יש העתקה לינארית כך ש T(vi(=Wi? תודה!
==שאלה ראשונה בדף=תשובה=האם הנימוק הבא מספיק:מספר האיברים של כל בסיס של מרחב וקטורי ממימד N שווה ל N => מספר האיברים ב B שווה לN, מספר האיברים ב C שווה ל N => יהיו לי N עמודות לא יודע איך הוכיחו לכם בכיתה (כל עמודה מייצגת את הקורדינטות ליצוג איבר מסויים מB לפי איברי C ובגלל שיש N איברים יש N עמודות כאלה שמיצגות אותםכנראה אחרת) ויהיו N שורות (מכיוון שבC יש N איברים כל וקטור בB מוצג כצירוף ליניארי של N האיברים בC ולכן מספר הקורדינטות שווה לN ומכאן שיש N איברים בכל עמודה שזה אומר N שורות) => אבל אפשר עם המטריצה ריבועיתהמייצגת. כלומר למצוא את המטריצה המייצגת לפי מה שהוכחנו בכיתה לכל וקטור במרחב יש הצגה יחידה לפי בסיס מסויים ולכן לכל איבר בB יש הצגה יחידה לפי C ומכאן שלכל איבר בB יש וקטור קורדינטות יחיד ההגדרה נקרא לה A ואז ההעתקה Tx=> לפי המשפט שאם קבוצת וקטורים בת"ל אזי קבוצת וקטורי הקורדינטות שלהם בת"ל (מוכיחים Ax היא העתקה לינארית שמקיימת את זה בשאלה הבאה הדרישה.:המטריצה המייצגת '''הוגדרה''' בהתבסס על המשפט הזה ולכן אני מניח לא חושב שמותר לי להשתמש בזה בה (אני לא?מתרגל) אזי העמודות של המטריצה שקיבלנו בת"ל. => מכיוון שקיבלנו מטריצה ריבועית שעמודותיה בת"ל ומכאן לפי משפט מטריצה זו הפיכה.=שיחלוף==במשוואה שכוללת מטריצות, מותר לשחלף את שני האגפים וזה ישמור על שיוויון, בלי להסביר או להוכיח (אם זה הסבר מילולי קצת ארוך אבל האם הוא מספיק מפורט בשביל להוות הוכחה ללא חישוביםלא התרגיל), נכון? תודה :אתה מתכוון ש-<math>A=B\iff A^T=B^T</math>? בטח שזה נכון. זו בדיוק אותה מטריצה, ופעולת השיחלוף מוגדרת היטב (בבקשה שרק מתרגל יענהחד-ערכית). אני לא מתרגל, אבל אני כמעט בטוח שלא צריך להסביר או להוכיח. ==העתקת המטריצה==בחוברת עמוד 52 שאלה 1.10 ב' - או שלא הבנתי את ההגדרה, או שיש טעות בהגדרת הטווח של ההעתקות T,S. למשל עבור העתקה T: הרי כפל של מטריצה מסדר m על n בוקטור מסדר n על 1 נותן וקטור מסדר m על 1 ולא הפוך! ועוד דבר - צריך לזכור בעל פה את ההגדרות של העתקת המטריצה, ההעתקות <math>L_A</math>, <math>T_A</math> ועוד? אם לא, אז אילו הגדרות של העתקות כן צריך לזכור בעל פה?
===תשובה===
" לפי המשפט שאם קבוצת וקטורים בת"ל אזי קבוצת וקטורי הקורדינטות שלהם בת"ל אזי העמודות של המטריצה שקיבלנו בת"לאתה צודק זה באמת צריך להיות הפוך. => מכיוון שקיבלנו מטריצה ריבועית שעמודותיה בת"ל ומכאן לפי משפט מטריצה זו הפיכה"
אני לא מבין בטוח למה אתה מתכוון, אלה דברים שלמדתם בהרצאה, תלוי מה צריך את כל הסיפור לפני כןהמרצה אמר שצריך לזכור.: אז אני יכול להסיק ישר שהמטריצה ריבועית ואז לכתוב את המשפט הזה וזה הוכחה שתופסת?
==מושג==מה זה "מרחב האפס"?::אה הבנתי עכשיו שאתה מראה שם שהמטריצה ריבועיתקבוצה שהאיבר היחיד בה הוא 0, זה אכן חשובוהקבוצה הזאת היא מרחב וקטורי כל התנאים של מרחב וקטורי מתקיימים. תנסה לתמצת את הסיפור::תודה. למשל מספר האיברים בB הוא n לכן בעמוד 50 שאלה 11.15 ד' (בחוברת), אומרים "מצא בסיס למרחב האפס של A". מה הכוונה?:::<s>הכוונה היא שתמצא בסיס למרחב <math>[v]_B\in F^n{\vec0_A\}</math>, כלומר המרחב שכולל את האיבר הנייטרלי לחיבור ב-A. וכדומה.:::אני אראה איך אני יכול לתמצת אבל בכללי הדרך הוכחה הזו מספיקה או שחסר בה משהו שצריך לציין או להסביר?::::זה מספיק.</s>
==בהמשך לשאלה: "דרך הפתרון ל7.9"=תשובה===לא הבנתי מרחב האפס בלי הקשר הוא אכן המרחב שמכיל בלבד את מה שכתבתם שםאפס. מרחב האפס של מטריצה, ונראה לי שזה יכול לקצר ולהקל מאוד על פתרון שאלות מהסוג הזהבד"כ, אז חשוב לי להביןהוא מרחב הפתרונות של המערכת ההומוגנית. מה עוזר דירוג המטריצה שהשורות שלה הם הוקטורים הנתונים? מה ניתן להסיק ממה שמתקבל? אם מתקבלת שורת אפסים - מה זה אומר? ואם לא? ואם מתקבל טור אפסים?:תודה!
==שאלה 8 ממבחן 2002 מועד א'==למה סכום איברי המטריצה הוא 1?? מאיפה בתשובות הוא הביא את התשיעית הזאת? המטריצה P היא <math>(0,2,1),(1,0,2),(2,1,0)</math> ולכן סכום איברי המטריצה הוא 0+2+1+1+0+2+2+1+0=9, למה 1?? תודה מראש!
===תשובה===
אתה חייב לציין מה לא הבנת בדיוקרשמת את מטריצת המעבר מB לC. אבל P היא ההופכית שלה, מטריצת המעבר מC לB.:וואלה, תודה..
האם אתה מבין מהו ==החוברת עמוד 48==כתוב שם שמרחב העמודות הוא תת מרחב שורות? ושלמטריצות שקולות שורה יש אותו של <math>F^n</math> כאשר <math>A</math> מסדר <math>mxn</math> ואני חושבת שמרחב העמודות הוא תת מרחב שורותשל <math>F^m</math>. לא?(כנ"ל לגבי מרחב השורות, רק הפוך)
====תשובה לתשובה====את ההגדרה המילולית: "מרחב השורות הוא אוסף הצירופים הלינאריים של כל השורות במטריצה" אני מבינה, פשוט מתייחסים לכל שורה כוקטור ומרחב השורות הוא הנפרש שלהםנכון זו טעות בחוברת. את ההגדרה המתמטית לא כל כך הבנתי (למה כופלים את המטריצה המשוחלפת בוקטור? לפי ההגדרה המילולית אמורים לכפול את הוקטור בסקלר, לא?)
את המשפט שלמטריצות שקולות שורה יש אותו מרחב שורות הבנתי.==שאלה 8 ממבחן 2002 מועד א'==איך ניגשים לשאלה כזאת? מה הקשר בין הפיכות של הפונקציה לRANK שלה? אפשר הסבר מפורט בבקשה? זה ממש מבלבל! וגם, למה נתונה מטריצה B אם היא נמצאת בשאלה בכלל? תודה רבה מראש
ניסיתי לפרט ===תשובה===יש כמה שיותר מה לא הבנתיקשרים בין השניים. למשל הrank של מטריצה ריבועית מגודל n שווה לn אם"ם היא הפיכה. אם נסתכל על זה בתור העתקות ליאריות, הנהאז הrank הוא מימד התמונה והוא קטן ככל שמימד הגרעין גדל.:'''למה אני אמור להסיק שA אינה הפיכה ב3?'''::אם תסתכל על המשפט שרשמתי אז תראה שA הפיכה אם"ם הrank שלה הוא n אם הrank של A^2 קטן מהrank של A בוודאי הוא קטן מn ולא יכול להיות שהיא הפיכה. אבל אם A הפיכה בוודאי A^2 הייתה צריכה להיות הפיכה.
"מה עוזר דירוג המטריצה שהשורות שלה הם הוקטורים הנתונים? מה ניתן להסיק ממה שמתקבל? אם מתקבלת שורת אפסים ==שאלה 1 מקובץ מצורף תרגול 4==שלום רב. בשאלה התבקשנו להוכיח ש- מה זה אומר? ואם <math>[I]_C^B</math> הפיכה. האם לא? ואם מתקבל טור אפסים?מספיק פשוט לומר ש- <math>([I]_C^B)^{-1}=[I]_B^C</math> ע"י בדיקה שאכן מתקיים שמכפלתן משני הצדדים היא <math>I</math> תודה, גל.
תודה על העזרה!===תשובה===אפשר, אם ידוע המשפט שקיימת מטריצת מעבר בין כל שני בסיסים ואז להשתמש בנוסחא של מטריצת מעבר.:כלומר ש'''אם''' מבקשים ממני במהלך המבחן להוכיח את זה אסור לי להשתמש במה שאמרתי?::תלוי מה יבקשו ספציפי. אם השאלה הייתה מופיעה כמו שהיא במבחן זה היה בסדר. תשאל בזמן המבחן.
==שאלה==
אם v מוכל בw וגם dim של v שווה לdim של w אזי v=w זה משפט? וכיצד ניתן להוכיח?
*ההגדרה המתמטית מסתמכת על העובדה ש<math>Ax</math> הוא צירוף לינארי של עמודות A עם הסקלרים מהוקטור x===תשובה===שאלה 7. כאשר שמים את A משוחלפת, העמודות שלה הן השורות של A. זה שקול ללכפול את השורות של A בסקלרים ולחבר7 תרגיל 4.
*אם את מסכימה שלמטריצות שקולות שורה יש אותו מרחב שורה, אז מה ===לא ברור בפעולת הדירוג? פעולות דירוג מעבירות מטריצה אחת למטריצה אחרת '''ששקולת שורה לראשונה'''. לכן לאחר פעולות שורה, המטריצה שהתקבל היא בעלת אותו מרחב שורות כמו הראשונה. ענית לי על שתי השאלות: זה ברורמשפט? איך מוכיחים?===
*בצורה המדורגת השורות השונות מאפס מהוות בסיס למרחב השורות. כך ניתן לדעת מהו המימד של מרחב השורות. אם קיבלת שורת אפסים, זה אומר שבקבוצה המקורית היו יותר וקטורים מאשר גודל המימד ולכן היא הייתה בהכרח '''ת"ל'''. טור אפסים לא רלוונטי לתהליך הספציפי הזהעובדה, ומוכיחים כמו בפתרונות שיש באתר כמובן.
תודה רבה!!! נשארו רק כמה דברים קטנים מאוד שלא הבנתי (והעברתי אפשר להשתמש בזה אלא אם צריך להוכיח את השאלות למעלה)זה במפורש.
==שאלה כלליתmod==האם מותר לי לומר ישירות שהבסיס של תת מרחב שמכיל רק איבר האפס הוא המספר -1בZ5 כלומר <math>-1 mod 5</math> זה 1 או 4? ( ד"א האם קבוצה כזו בכלל נחשבת תת מרחב?)תודה!
===תשובה===
לפי מה שידוע לי, 0 לא יכול לשמש כבסיס כי כל צירוף לינארי שיש בו 0 הוא תלוי לינארית <math>-1 = 4 +(כי אפשר להגיע ל-0 מצירוף לא טריוויאלי1)\cdot 5</math> ולכן זה 4.אז אני די בטוח שמספר האיברים בבסיס של תת מרחב כזה הוא 0.:[[#שאלה על מימדים]]
== 8שאלה==למה אם למערכת הומוגנית Ax=0 יש פתרון יחיד, אזי A הפיכה? תודה!===תשובה===קודם כל זה נכון רק אם '''A ריבועית'''.2יש כמה וכמה הוכחות, למשל מטריצה ריבועית שקולת שורה למטריצת היחידה אם"ם היא הפיכה, ואם הצורה הקנונית של מטריצה ריבועית היא לא מטריצת היחידה סימן שיש לה משתנים חופשיים ולכן יותר מפתרון אחד.1/2 דרך אחרת להסתכל על זה היא שעמודות A בת"ל אם"ם למערכת Ax=0 יש פתרון יחיד, וידוע שעמודות מטריצה ריבועית בת"ל אם"ם היא הפיכה.:תודה! ==פרטים על המבחן בעמוד הראשי==בסעיף ד אם אני מגיע לכך שהתחום חייב להתקיים האם פרטים על המבחן בעמוד הראשי:מה לגבי כמה זמן המבחן ומה המבנה שלו?::כבר אמרו את זה מספיק בהרצאות.:::ומי שלא הקשיב או שצריך לתת דוגמא לכל אפשרות בתחום לא היה מרוכז?או לא היה בשיעור?::::שישאל את החברים שלו. שאלות לגבי המבחן צריכות להיות מופנות למרצים ולא למתרגלים. ===שאלה קטנה===איפה זה בניין 507? זה הבניין שאנחנו בדרך כלל לומדים בו או בניין אחר? תודה!:אנחנו לומדים ב-604.::אז אפשר הכוונה לגבי איפה זה 507?:::507 זה הבניין הגדול עם המבנה המיוחד והמגני דויד למעלה, ממש ליד הבניין שאתם לומדים בו. ==שאלה/בקשה==נכון יש משפט שאומר (כי פתרנו משהו דומה בתרגול ואמרת לנו שצריך להראות דוגמאות אבל אני לא מבין יודע ממש איך לכתוב בשפה המתמטית בפורום, לכן הבינו ש2 אותיות אחרי הT פירושן שהאות הראשונה למעלה מימין והשנייה למטה מימין וכו'): <math>[T]FG=[Iw]HG[T]EH[Iv]FE</math>? אז השאלה שלי היא, למה צריך במקרה זהאת המשפט הזה תכלס? מתי המשפט הזה עוזר? והאם מתרגל יכול, כי אם זה לא מתקיים עבור בבקשה, להביא תרגיל אחד המקרה בתחום זה עדין אומר שכל מימד של חיתוך כזה חייב להיות בתחום)שבו חייבים/ רצוי מאוד להשתמש במשפט הזה? תודה רבה!
===תשובה===
השאלה בכיתה הייתה "מהן האפשרויות" והיית צריך להראות שיש דוגמאות על מנת לדעת שצמצמת את התחום מספיק.<math>[T]_G^F=[Iw]_G^H[T]_H^E[Iv]_E^F</math>
כאן מבקשים ממך להוכיח אי שיוויון בלבד, זה השתמשנו בנוסחא הזו בשאלה הקודמת שלך... פשוט שם הייתה גם המטריצה <math>[I]_S^S</math> שהיא שווה למטריצת היחידה ולכן לא מעניינך אם אפשר למצוא אי שיוויון טוב יותר או שאי אפשרהזכרנו אותה.
==7.7 ב'שאלה ==בשביל להוכיח מבחן 2004 מועד א' שאלה אמריקאית 3.. איך מוצאים את ב' לא השתמשתי בנתון ש-המימדים של U תת מרחב וקטורי של V. האם ו W?:(אני אמורה להשתמש בו? כי גם בסעיף ג' הם אומרים שהקבוצה B מוכלת בלא מתרגל)-V ואני לא רואה למה הנתון הזה הכרחי..2 הSPANים פורשים, רק תבדוק אם יש בכל אחד מהSPANים איברים שתלויים אחד בשני, אם יש- תוריד אותם, ותישאר עם בסיסים לU וW.
===תשובה===
ברור שזה חשוב, הנה דוגמא נגדית אחרת:<math>U=span\{(0,1,0),(0,0,1)\}</math>, <math>V=span\{(1,0,0),(0,1,0)\}</math>מעבירים לצורה וקטורית שמים בשורות מטריצה ומדרגים.
dimU=dimV=מבחן תשס"ד מועד ב' חלק אמריקאי שאלה 2 אבל ==התשובה לא אמורה להיות A^-1*B במקום B*A^-1? כי <math>U\neq V[T]AB=[I]SB*[T]AS=(A^-1)*B</math>לא? תודה!
====תשובה לתשובה====תודה!לא נתון שB הוא בסיס בכלל. [T] צריכה לקיים את המשוואה <math>[T][v]=[Tv]</math>. לכן <math>[T][v_i]=[T]v_i=[Tv_i]=w_i</math> (כי הקואורדינטות לפי הבסיס הסטנדרטי שוות לוקטור עצמו). אבל <math>A^{-1}v_i=e_i</math> ואז <math>BA^{-1}v_i=Be_i=C_i(B)=w_i</math> כפי שרצינו.
אם כך, אני חושבת שבחלק מהמשפטים שהוכחנו בהרצאה לא כתבנו את כל התנאים, כי יש לי במחברת משפט שאומר: "יהי V מ"ו כאשר dimV=n, אז כל קבוצה בת"ל עם n איברים היא בסיס ל-V". מהו המשפט הנכון?
:"...אזי כל קבוצה המוכלת בV שהיא בת"ל עם n איברים...."
::"יהי V מ"ו כאשר dimV=n, אזי כל קבוצה בת"ל המוכלת ב-V עם n איברים היא בסיס ל-V". תודה רבה!
דרך אחרת להוכיח: (פשוט הרבה יותר) <math>[T]=[T]_S^S=שאלה 8.2.[T]_S^A\cdot [I]_A^S=BA^{-1}</2math> ==שאלה על הוכחה==בסעיף ג' מותר לקחת בתור U ו-W מרחבים שהסכום שלהם אינו ישרהאם ההוכחה הזאת קבילה?: נתון ש<math>AB=I</math> וכי <math>T:F^{n\times{n}}\rightarrow{F^{n\times{n}}}</math> כך ש:<math>T(במטרה שלהראות שאם הביטוי בשמאל מתקיים X)=BX</math>, אני צריך להוכיח ש<math>T</math> על:"נניח -T לא בהכרח הביטוי מימין גם מתקייםעל: לכן קיים <math>Q\in{F^{n\times{n}}}</math> כך שלכל <math>Z\in{F^{n\times{n}}}</math><math>T(Z) \not=Q<br/math>תודה לכן <math>BZ\not=Q</math> לכן <math>ABZ\not=AQ</math> כלומר- <math>Z\not=AQ</math> בסטירה לכך שהטענה נכונה עבור כל <math>Z\in{F^{n\times{n}}}</math> לכן T על? האם זה נכון?
===תשובה===
אם זה לא סותר כן, עדיף הוכחות כאלה לבצע בחיוב ולא בשלילה. תהי Q מטריצה כלשהיא, אזי המקור שלה הוא AQ ולהוכיח את נתוני השאלה אתה יכול לקחת את מה שאתה רוצהזה. כן אבל בתרגיל הספציפי הזה אסור היה להשתמש במשפט ש<math>AB=BA=I</math> היה נתון רק ש<math>AB=I</math>
==צ"ל?שאלה==מבחן 2 שאלה אמריקאית 2..הטענה חייבת להיות לכל Im(z)==0 אחרת זה לא יכול להתקיים: מה זה מבחן 2? איזו שנה? איזה מועד?::2005 מועד א':::נראה לי שאתה צודק... יהי בסיס B ויהיו <math>b_iz=x+yi</math> איברי B. האם צריך להוכיח שלכל i, מספר האיברים בולכן <math>z^3=x^3+3x^2yi-3xy^2-y^3i=x^3-3x^2yi+3xy^2+y^3i=(x-yi)^3</math>b_iנפשט ונקבל ש- <math>6x^2yi-6xy^2-2y^3i=-6xy^2+(6x^2y-2y^3)i=0</math>. לאחר השוואה אני קיבלתי שאמנם ישנם אינסוף מקרים אבל בכולם <math>y=0=Im(z)</math> שווה לעוצמת הבסיס? או שזה מספיק טריוויאלי?
===תשובה===
זה לא ממש הגיוני מה שרשמת,הרי <math>b_i</math> איבר ולא בהכרח קבוצה, אז איך יהיה לו מספר איברים?[[#שאלה ממבחן 2005 מועד א]]
==מטריצות סימטריות ואנטי סימצטריות==
שאלה: אם <math>A</math> ו-<math>B</math> סימטריות (שתיהן ריבועיות מאותו גודל) אז: האם <math>ABA</math> סימטרית?
חשבתי על לפתור בדרך הזו: לפי סימטריות מתקיים ש: <math>A=A^t</math> וגם <math>B=B^t</math> ולכן <math>ABA=A^tB^tA^t=(BA)^tA^t=(A(BA))^t=(ABA)^t</math>. אי לכך גם <math>ABA</math> סימטרית. עם זאת, במבחן של 2003 (מועד א), זוהי שאלה 8 בחלק של האמריקאיות. אם מה שאני אומר נכון הרי שהתשובה אמורה להיות 3, אבל באתר כתוב שהתשובה היא 1. מה הטעות שלי? תודה, גל.
===תשובה נוספת===
אני רואה פה כבר בילבול מושגים שחוזר על עצמו:
הוקטור (1===תשובה===אתה צודק,0ABA סימטרית אם A,1) הינו '''איבר אחד בלבד''' כמו כן הפולינום 1+x^2 הוא איבר אחד בלבד. הם לא קבוצות עם 3 איברים. יש ב(1,0,1) 3 '''רכיבים''': 1, 0 ושוב 1. בפולינום יש את הרכיבים 1, 0x, x^2.B סימטריות מאותו גודל
כמות הרכיבים ==מבחן תשס"ד מועד א' חלק אמריקאי שאלה 11==איך פותרים שאלה כזאת? הצלחתי להבין ש<math>[T]B=(u1,u2,u3;0,0,0;w1,w2,w3)</math> (; מפריד בין עמודות)אבל איך יודעים איפה יש עוד אפסים? אם התשובה היא 2 או 4? תודה רבה!===תשובה===אני לא מתרגל אבל נראה לי שאני יכול לרמוז לך- תסתכל על הבסיס של האימג'''וקטור הקואורדינטות''' זהה למספר האיברים בבסיס שהוא המימד- כל איבר בתמונה אתה יכול להציד כצירוף ליניארי שלהם. '''מאד מומלץ לקרוא את המסמך בעמוד הראשי בנושא''':לא הייתי עולה זה בחיים, אבל הבנתי- תודה רבה!
===הבהרה=מבחן תשס"ד מועד א' חלק אמריקאי שאלה 9==# לפי ההגדרה המקובלת של קורטובסקי (Kazimierz Kuratowski), כל n-יה סדורה למה התשובה הנכונה היא '''כן''' קבוצה (<math>(a,b):=\{\{a\},\{a,b\}\}</math> ו-n-יה סדורה מוגדרת רקורסיבית כזוג סדור, שהאיבר הראשון שלו הוא האיבר הראשון ב-n-יה הסדורה, והאיבר השני הוא ה-(n-1)-יה הסדורה שנותרה, כלומר: <math>(a_1,a_2,\cdots,a_n):=(a_1,(a_2,\cdotsכל התשובות לא נכונות? אני זוכר שלמדנו משפטון שאומר שאם v1,a_n))</math>).# לא הייתי בטוח איך לנסח את זה, אבל כשכתבתי .vk בת"מספר האיברים ב-<math>b_i</math>" התכוונתי למספר ה"רכיבים": מספר האיברים/רכיבים ב-<math>(a_1ל אזי Tv1,a_2,\cdots,a_n)</math> הוא n. ברור לי שזה לא אותו דבר כמו עוצמה (הרי העוצמה של n-יה סדורה .Tvk בתל כלומר 3 היא 1 או שניים)התשובה הנכונה..# לא עניתם על השאלה: האם מותר לומר שמספר הרכיבים ב-<math>b_i</math> הוא <math>|B|</math>, או שצריך להוכיח? תודה, 18:56, 20 באוגוסט 2010 (IDT)!
===תשובה===
* אתה מניח פה שמרחב הוקטורי היחיד הוא מרחב הn-יות הסדורותהמשפטון שאתה מזכיר מחייב T '''חח"ע'''. כפי שלמדנו למשל העתקת האפס תהווה דוגמא נגדית לסעיף זה לא נכון. לכן הניסוח המדויק הוא מספר הרכיבים בוקטור הקואורדינטות. וזה נכון כי וקטור הקואורדינטות הוא תמיד בF^n כאשר n הוא המימד של המרחב.
* חשוב מאד לשים לב לקואורדינטות לפי איזה בסיס מדובר. כלומר==מבחן תשס"ד מועד א' חלק אמריקאי שאלה 4==הצלחתי להבין, בשיטת האלימנציה, שהתשובה היא T32=0, אם תסתכל על הקואורדינטות לפי הבסיס B מספר הרכיבים יהיה העוצמה של B. אבל אם נגיד B פורש תת מרחב ממימד 2 במרחב ממימד 3אני ממש לא יודע בדיוק למה, ואתה מסתכל אפשר בבקשה הסבר קצר על הקואורדינטות לפי בסיס למרחב כולו ולא הבסיס B יכול להיות שמספר הרכיבים שלו יהיה גדול מהעוצמה של B. למשל:למה אפשר לדעת בוודאות שT32=0 ואיך אפשר להוכיח את זה? תודה!
<math>B=\{(1,0,0)\}</math> מעוצמה 1 אבל הוקטורים הם עם 3 רכיבים (כי זה למעשה וקטור הקואורדינטות לפי הבסיס הסטנדרטי של <math>\mathbb{R}^3</math>. לעומת זאת, הקואורדינטות של איבר הבסיס B לפי הבסיס B הם (1) עם רכיב אחד.
ואני אדגיש שוב את התשובה לשאלה: ===תשובה===נבנה בסיס לגרעין של ההעתקה. הגרעין של T^2 בהכרח '''אין משמעות למושג מספר הרכיבים של וקטור באופן כלליגדול ממש'''מהגרעין של T אחרת ההעתקה תתקע על אותו מצב ולא תתאפס בחיים (אבל נתון שהיא מתאפסת). ולכן מימד הגרעין גדול ב1 לפחות. אחרי 32 צעדים כאלה נגיע לגרעין בגודל 32 - כלומר העתקת האפס. מדוע ההעתקה תתקע? אני אשאיר את זה כתרגיל.:למה גרעין בגודל 32 הוא העתקת האפס? כי המימד הוא 32?:וזה נכון לומר שהגרעין של TT חייב להיות גדול ממש מהגרעין שלT כי אם היה להם אותו מספר של איברים בגרעין אז מה שמאפס את T^1024 מאפס גם את T^1023 ואז זה אומר ש T^1023 הוא העתקת האפס, וככה עד שמגיעים ל-שT היא העתקת האפס תמיד, אבל יודעים שהיא לא העתקת האפס תמיד? תודה ::קודם כל כן, אם הגרעין בגודל 32 אז הוא כל המרחב ולכן זו העתקת האפס.
==מותר?==האם אפשר ::שנית, לא זו לא הוכחה נכונה. צריך להוכיח תלות לינארית בין וקטורים נתונים לפי ציון מפורש שאם נשלים את הבסיס של המקדמיםהגרעין של T^n לבסיס למרחב כולו, בלי להראות איך הגענו למקדמים האלה? למשל, נתונים <math>(1,2,3), (2,3,4), (2,2,2)</math> - האם מותר לומר שיש תלות לינארית כי <math>(2,3,4)=1\cdot(1,2,3)אזי הוקטורים שהשלמנו מהווים גם בסיס לתמונה של T^{n+\tfrac{1}{2}\cdot(2,2,2)</math>, מבלי לציין איך הגענו למקדמים <math>1,\tfrac{1}{2}</math>? תודהואז ברור שההעתקה חוזרת על עצמה. לא בטוח שזו הוכחה כל כך פשוטה.
==מבחן תשס"ד מועד א' חלק אמריקאי שאלה 1==
כל מה שאני יודע הוא שהאפסיות של T היא לפחות 1 כי בטוח שV שהוא לא וקטור האפס נמצא בגרעין, וגם ש TT=0 ולכן לכל u מתקיים T(Tu)=0 ולכן התמונה מוכלת בגרעין ולכן dim(ImT)<=dim(KerT). אבל כל מה שזה נותן לי זה שהמימד של V הוא לא אפס! אפשר עזרה? תודה רבה!
===תשובה===
מה אני אגיד? כן מותרהמימד הוא בטוח לא 4 כי 4 זה המימד של כל ההעתקות הלינאריות, אבל אסור מן הסתם להעתיק את התשובה והקבוצה הזו מאחריםלא מכילה את כולם. המימד הוא גם לא אפס, יש יש העתקות שונות מאפס כאלה.
נותר לבחור בין 1 לבין 2. נשלים את v לבסיס בעזרת u. אם ההעתקה שונה מאפס, u חייב להשלח לסקלר כפול v (אחרת פעם שנייה שנפעיל את ההעתקה היא לא תתאפס, ישאר שם גורם עם u.) לכן כל שתי העתקות יהיו ת"ל על ידי איפוס הסקלר הזה, ולכן המימד הוא אחד.:תודה רבה, רק עוד שאלה קטנה, איך יודעים שהמימד של כל ההעתקות הוא 4? תודה! ::זה משפט שיש איזומורפיזם בין מרחב ההעתקות למרחב המטריצות. ואנחנו יודעים מהו המימד של מרחב המטריצות 2 על 2:::הבנתי, תודה! ==שאלה 2 בדףעל מכפלת מטריצת הפיכה והשחלוף שלה==בסעיף aטענה: עבור <math>A</math> הפיכה הרי שיתקיים ש- <math>A^t</math> הפיכה (עפ"י משפט) ולכן <math>A^tA</math> הפיכה כי מכפלת שתי מטריצות הפיכות תתן מטריצה הפיכה נוספת.השאלה שלי האם זה הסבר מספק לקיום טענה זו. אם לא, מה עליי להוסיף?ובלי קשר, האם אפשר להגיד שנתאים לכל וקטור v1עליי להוסיף הערה מדוע המכפלה <math>A^tA</math> מוגדרת או שזה ברור?תודה,גל. :בגדול זה בסדר, תלוי מה אתה נדרש להוכיח.vn התאמה חח"עבזמן מבחן שואלים את המרצה אם צריך להוכיח כך וכך. :: אוקי תודה. האם יהיו מתרגלים או מרצים כלשהם במבחן (אלי אמר שהוא לא יהיה)? אם כן, איך זה הולך? אתם נכנסים לשאלות או שחייבים לשאול לפני הבחינה? :::יהיה מי שיענה על והפיכה כך ש viשאלות בזמן המבחן (על שאלון המבחן ולא רמזים לפתרון כמובן) == קישורים למבחנים ==כשעשיתם עריכה לדף של לינארית הוצאתם את הקישורים למבחנים לדוגמא אפשר להחזיר אותם? תודה(::זה נמצא ב[vihttp://www.math-wiki.com/index.php?title=%D7%A2%D7%9E%D7%95%D7%93_%D7%A8%D7%90%D7%A9%D7%99&oldid=5475 היסטורית הדף]b ולכן בכלל ש v1. ::הם פשוט הועברו בטעות לבדידה במקום ללינארית. הם הוחזרו למקום בדף של לינארית ==שאלה==האם נושא הדטרמיננטות כלול בחומר למבחן? אני לא מתרגל,אבל ודאי שלא ==שאלה דחופה==מחר צריך לבוא בזמן של ההרצאה (9) או בזמן של התרגול (13:00)? תודה רבה! :לא יודע מתי המרצים יגיעו.המתרגלים בגדול אמורים לבוא בזמן התרגול הרגיל.vn בת"ל :לפי מה שידוע לי אצלנו (אלי) מתחילים ב-0900. מי שלומד עם אפי מתי צריך להגיע??לפי מה שזכור לי הוא אמר שהוא לא יבוא.. אנחנו צריכים לבוא ב9 או ב1?::אז [v1]bכנראה שמי שלומד עם אפי צריך להגיע ב1,כי שיעור החזרה שלנו היה ביום שישי, ומחר יהיה לנו רק שיעור חזרה עם המתרגלים ב1..[vn]b בת ==חח"ע ועל של ה"ל==שלום רב,נניח ונתונה לי ה"ל <math>T:V->V</math>. האם נכון לומר ש <math>T</math> חח"ע אם"ם <math>T</math> על? ומכיוון שההתאמה הפיכה אז גם להפךואם כן, האם עליי להסביר במבחן מדוע? כי אני לא מצליח להוכיח את זה בצורה אחרת תודה, גל.
===תשובה===
כן ולא. בגדול מה שאתה אומר הוא זה נכון. אבל ונובע ממשפט הדרגה V=dimKer+dimIm (צריך להסביר 2 דברים:לצטט את המשפט ולהסביר למה זה נובע)
1. מדוע ההתאמה הזו למעשה הטענה היא יותר כללית. תהי T:V->W כך שהמימדים של V,W שווים, אזי T על אם"ם T חח"ע.
==2. מדוע התאמה 15ב'''לינארית''' חח"ע משאירה קבוצה בת"ל ==אם אני רוצה למצוא את kerTa אז מה שצריך לעשות זה לכפול את המטריצה A במטריצה כללית מסדר 2x2 ולהשוות לאפס- בת"לואז למצוא את המטריצה הכללית?- הכוונה במטריצה כללית זה שאני אסמן a b c d במקום קבועים במטריצה ואז אבדוק מה אני אקבל..וזה יהיה הker?
==שאלה 8.4==אפשר להגיד שאם <math>u1+u2=u1+u3</math> אז <math>dim(u1+u3)=dim(u1+u2)</math>:כן. אם שני מ"ו שווים זה לזה אז הם אותו מרחב (כלומר, יש להם אותם איברים ואותן פעולות חיבור וקטורים וכפל בסקלר). לכן ברור שגם המימדים שלהם זהיםהגרעין זה מה שנשלח לאפס על ידי ההעתקה.
==שאלה 7.19==אפשר רמז? ולא הבנתי מה קשור הרמז שהם נתנו ואיך הוא עוזר? תודה רבה.אם אני יודע ש:מתוך העמוד הראשי:===דוגמא לעבודה עם מטריצות כוקטורים=<math>\dim (W+U)=\dim W + \dim U</math> וגם <math>\dim V=\dim W + \dim U</math>'''[[מדיה:10Linear1MatrixVercotEx.pdf|דוגמא]]''' שימושית לתרגיל 4.:קראתי את הדוגמה הזאת וזה ממש עזר לי ב2 התרגילים מהדף המצורף (ובכלל להבין את החומר) אבל זה ממש לא עזר לי להבין איך לפתור את 7.19::נכוןכאשר<math>U, לכן תקרא את התשובה שלי בדיוק מתחת --[[משתמשW\le V</math> אז אני יכול להגיד ש:ארז שיינר|ארז שיינר]] 14:24, 20 באוגוסט 2010 (IDT)<math>U\oplus W=V</math> ?
===תשובה===
דווקא אני לא בטוח שהדוגמא הזו עוזרת. צריך להוכיח שהקבוצה שם בת"ל לפי ההגדרה - כל צירוף לינארי שלה מתאפס. איך זה עוזר? כי בתוך מרחב ממימד n כמה וקטורים הכי הרבה יכולים להיות בקבוצה בת"ל?כן
:n(לא אני שאלתי את השאלה) למה כן? אם למשל <math>U=\{(a, אבל איך זה עוזר0,0)\}</math>, <math>W=\{(0,a,0)\}</math>, <math>V=\{(a,0,b)\}</math>?(כך ש-a,b שייכים ל-R):ומה ז"א: <math>U,W\le V</math>?::אתה צודק, זה לא נכון (לא אני רשמתי את התשובה הקודמת). אם נוסיף את התנאי ש-<math>U+W=V</math> זה כן יהיה נכון. <math>U,W\le V</math> משמעו <math>U,W</math> תת מרחבים של V.
===תשובת מתרגל===המשפט נכון, והרי הוכחה::אם אין יותר מn איברים שונים מאפס, אז האיבר הn+1 שווה אפס.
נתון U,W תתי מרחב של V. אזי ברור ש<math>U+W\subseteq V</math>. לכן לפי הנתון <math>dim(W+U)=dimV</math> יש לנו תת מרחב עם מימד שווה למרחב ולכן הם שווים <math>U+W=צ"ל טריוויאלי==V</math>.האם צ"ל שאם כעת לפי משפט המימדים <math>\sum_{idim(U+W)=1}^n{dimU+dimW + dim(U\leftcap W)</math> ולכן לפי הנתון <math>dim(U\alpha_i\begin{pmatrix}b_1&b_2&\cdots&b_m\end{pmatrix}\rightcap W)[v_i]_B}=\vec0\iff\forall i\in\{1,\dots,n\}:\alpha_i\begin{pmatrix}b_1&b_2&\cdots&b_m\end{pmatrix}=\vec00</math> אזי ולכן <math>[v_1]_B,[v_2]_B,U \dots,[v_n]_Bcap W = \{0\}</math> בת"ל? (ההבדל בין הטענה הזו לבין . וזה מה שלמדנו בהרצאה הוא שכאן יש מכפלה וקטורית)שצריך על מנת להוכיח סכום ישר. תודה רבה! ואגב לזה שהביא את הדוגמה, בדוגמה שלך W לא תת מרחב של V.אפשר להשתמש בזה או שזה מספיק טריוויאלישצריך להוכיח? תודה:נכון, זה בגלל שלא הבנתי מה אומר סימן ה"קטן-שווה".מצטרפת לשאלה.::צריך להוכיח. ==char-ים במבחן==כמעט לא התעסקנו ב-char-ים בשיעורים, לא תרגלנו והמרצים/מתרגלים בד"כ הזכירו את זה כהערת אגב. יהיו char-ים במבחן? תודה, 16:11, 28 באוגוסט 2010 (IDT)
===תשובה===
אני לא מבין את הטענה ולכן היא אינה טריוויאלית. לא למדנו מכפלה וקטוריתיהיה מעבר לדברים דומים למה שעשינו בכיתה.:אני מדבר על מכפלה וקטורית במ"ו של מטריצות, ואותה '''כן''' למדנו==1.28==::זו לא מכפלה וקטורית, זה כפל מטריצותהבנתי את התרגיל בכלל. ולכן צריכים להיות וקטורי קואודדינטות בעמודות ולא סתם וקטורים. בכל אופן, זה מראה שבעצם המטריצה עם הb_i (בנהחה שהם קואו' וזו אכן מטריצה) כפול את <math>[v_i]_BT(f)</math> הם בת"ל ולא רק וקטורי העמודה אמנם מצאתי בלי בעיה, אבל איך מוצאים את <math>[v_i]_B</math>.:::שכחתי לציין שהבסיס הוא <math>B=\T^{b_1,b_2,\dots,b_m\-1}(f)</math>? קראתי פה שאלה ותשובה: '''''איך אני מחשב את ההעתקה ההפיכה?''''' '''יש כמה דרכים. בכל אופן, אם אני מפרט שהאחת מהן למדתם בהרצאה-b-ים הם וקטורי הבסיס בעזרת ההופכית של המטריצה המייצגת. הדרך השנייה היא לפי משפט ההגדרה - מספיק לבחור בסיס בתמונה ולראות מה המקור שלו וכך אפשר לומר שוקטורי העמודה <math>[v_i]_B</math> בת"ל?לחשב את המטריצה המייצגת של ההעתקה ההופכית.'''
::::הם וקטורי בסיס, אבל יכולים להיות פולינומיםולא הבנתי בכלל. מה המשמעות של לשים פולינום כעמודההקשר למטריצות? (אני עדיין לא רואה כיצד זה נובעיודעת מה זו מטריצה מייצגת, בוודאי בוודאי שזה קראתי את הקובץ, וגם במחברת, ונראה לי שהבנתי, אבל מה הקשר לתרגיל הזה? בכלל לא טריוויאליהבנתי מה השימוש של המטריצה המייצגת, מלבד לפתרון של תרגילים מסוג "מצא את מטריצה המייצגת").
ומה זה "בסיס בתמונה", בתרגיל הזה הבסיס הוא <math>\{1,x,x^2\}</math>? את המקור אמצא בעזרת מערכת משוואת כזו: <math>aT(1)+bT(x)+cT(x^2)=1</math> , <math>aT(1)+bT(x)+cT(x^2)= בסיס =x</math> , <math>aT(1)+bT(x)+cT(x^2)=x^2</math> ? ואז.. מה אני עושה עם המקור הזה? שוב, מה קשורה המטריצה המייצגת?
מה הכוונה בהגדרה של מימדתודה רבה מראש, מספר האיברים בבסיס?נניח <math>V=R^2</math> וניקח בסיס {(1 0),(0 1)} אז אני מבין שיש שני וקטורים שפורשיםובכל וקטור שני רכיבים- 1,0.אז מה נחשב למספר האיברים בבסיס?:יהי מ"ו <math>V</math> ויהי <math>B</math> בסיס שלו. אזי המימד של <math>V</math> יסומן <math>\dim(V)</math> ויוגדר כמספר האיברים בבסיס. כלומר: <math>\dim(V):=|B|</math>מקווה להסבר מפורט.
לא ענית לי לשאלה!אני יודע את ההגדרה!השאלה שלי היא מה נחשב למספר האיברים בבסיס?לפי הדוגמא שהבאתי..:2, מן הסתם, כי יש שני איברים בבסיס <math>\Big)</math>שהם <math>(1,0)</math> ו-<math>\Big((0,1)</math>. באופן כללי, <math>\dim(\mathbb F^n)=n\cdot\dim(\mathbb F)</math>.---
ניסיתי עכשיו לפתור איך שראיתי לנכון, בלי מטריצות וכל זה... סימנתי <math>T^{-1}(f)=mx^2+nx+d</math>. לאחר מכן אמרתי ש-<math>TT^{-1}(f)=בסיסיםI_{R_2[x]}(f)=f=הוכחנו בכיתה שאם cx^2+bx+a</math> (ה-<math>f</math> הוא סימון). מצד שני, <math>TT^{-1}(f)=T(T^{-1}(f))=T(mx^2+nx+d)</math> וזה שווה למה שמצאתי קודם, הרי יש קבוצה פורשת שבה n איברים ועוד קבוצה בת"ל שבה m איברים אז לי את <math>T(f)</math>. קיבלתי מערכת של 3 משוואות (לפי המקדמים של <math>x^2</math>, <math>x</math>, <math>1</math>) ואז ביטאתי את <math>m<=/math>,<math>n</math>,<math>d</math> באמצעות <math>a</math>,<math>b</math>,<math>c</math> וקיבלתי את <math>T^{-1}(f)</math>.
זה לא מסתדר ליבלי מטריצות, כי זה הרי אומר שמספר האיברים בכל הבסיסים שקיימים - שווה (כי בסיס פורש ובת"ל)רק אלגברה.הגיוני? או שבכלל לא הבנתי את התרגיל?
אפשר הסבר? תודה מראש!
===תשובה===
מספר האיברים בכל הבסיסים אכן שווה *למדנו הרי כיצד למצוא העתקה '''מפורשת''' באמצעות מטריצה מייצגת. *אנחנו יודעים שהתמונה היא מרחב וקטורי, ולכן יש לה בסיס נסמן אותו <math>u_1,...,u_n</math>*נמצא w_i כך ש <math>Tw_1=u_1,...,Tw_n=u_n</math>*לכן <math>T^{- זה משפט1}u_i=w_i</math> וכך אפשר למצוא את ההעתקה בצורה מפורשת כמו בתרגיל.
יותר מזה, מספר האיברים בבסיס (הרי לא משנה איזה בסיס בחרת זה אותו מספר) מוגדר להיות '''המימד''' דרך שנייה:*נמצא את המטריצה המייצגת של המרחבT*נהפוך אותה על מנת לקבל מטריצה מייצגת של <math>T^{-1}</math>*נמצא את ההעתקה במפורש מתוך המטריצה המייצגת, כמו בתרגיל.
====תשובה לתשובה====
תודהרבה על התשובה! לגבי הדרך הראשונה:*מה זה אומר העתקה '''מפורשת'''?*האם לכל <math>T(u)=v</math>, אבל לא הבנת מתקיים <math>T^{-1}(v)=u</math>?*תודה, הצלחתי לפתור את השאלה שליהתרגיל בדרך הזו! והתשובה יצאה לי כמו זו שיצאה בדרך שעשיתי קודם (זו שפירטתי למעלה). אני דיברתי על בסיסים שהם לא בסיסים של אותו המרחב אלא של מרחבים שונים זה מזהמעניין איזו קצרה יותר או עדיפה מאיזושהי סיבה. כמובן שמספר האיברים בהם לא בהכרח שווהיש העדפה כלשהי באופן כללי, אז אני כנראה הבנתי את המשפט ובמבחן בפרט? לגבי הדרך השנייה:*המטריצה המייצגת של <math>T</math> שהיא במקרה הזה לא נכון.פשוט מטריצה <math>[T]_S^S</math> כאשר <math>S</math> הבסיס הסטנדרטי של <math>R_2[x]</math>, בעצם מטריצה שעמודותיה הן (1,0,0), (0,2,3), (0,3,0) - כלומר הצורה הוקטורית של התמונות המתקבלות עבור מקורות מאיברי הבסיס.נכון?*ישנו משפט שאומר שהמטריצה ההופכית של המטריצה המייצגת של <math>T</math> היא המטריצה המייצגת של <math>T^{-1}</math>? (זה קל להוכחה אבל האם צריך להוכיח בכל פעם?)*איך מוצאים את ההעתקה במפורש מתוך המטריצה המייצגת? ואיזה תרגיל?
=====תשובה=====
המשפט מדבר על קבוצות בתוך מרחב ספציפי נתון, ולא בין מרחבים שונים*צורה בה אתה יודע לאין איבר כללי הולך. הרי המושג '''פורש''' מתייחס למרחב הנתון ששניהם נמצאים בו, אחרת כל קבוצה בעולם היא פורשת לדוגמא: <math>T(שכן כל קבוצה פורסת את הSpan של עצמהx,y,z)=3x+y+z</math>*כן, זו כמעט ההגדרה של ההעתקה ההופכית.*יש העדפה לדרכים שאני הצעתי, בניגוד לפתרון הרבה מערכות משוואות.
======הבהרה======*לא עקבתי ביחס לתרגיל, אבל בגדול מה שאמרת נשמע נכון.אז *צריך לצטט את המשפט אומר שאם יש שתי קבוצותבלבד אלא ביקשו מכם להוכיח במפורש*עשינו תרגיל כזה בכיתה. אתה מחשב מטריצה מייצגת שמעבירה מהבסיס הסטנדרטי לאנשהו ואז אתה מקבל נוסחא כזו: U פורשת, V בת"ל '''ושתיהן מוכלות במ"ו מסוים''' אז |U|<math>[T]_B^S[v]_S=|V| ?:רגע[Tv]_B</math>... איזו קבוצה U אמורה לפרוש? אני מבולבלתלכן <math>(x,y, תוכל לכתוב את המשפט כולו בבקשה? תודה מראש.z)</math> הולך לצירוף הלינארי של איברי הבסיס B עם המקדמים מהכפל של המטריצה המייצגת בוקטור <math>(x,y,z)</math>
::יהא V מ"ו, ויהיו שתי קבוצות <math>A,B\subseteq V</math>======השאלות שנשארו======*בעצם מה שאני צריכה למצוא בתרגיל הזה. אזי אם A פורשת את V כלומר אוקיי תודה.*וניתן להשתמש בזה בלי להוכיח, נכון?*דרך הפתרון שלי דווקא פשוטה (spanA=Vרק 3 משוואות קלות) וB בת"ל אזי <math>|A|\geq |B|</math>, אבל באמת כדאי שאבין את עניין השימוש במטריצה המייצגת.
*טוב.*מהו הניסוח המדוייק של המשפט הזה?*הנוסחה היא ממש משפט, לא? אבל לא הבנתי מה כתבת פה:::תודה!'''לכן <math>(x,y,z)</math> הולך לצירוף הלינארי של איברי הבסיס B עם המקדמים מהכפל של המטריצה המייצגת בוקטור <math>(x,y,z)</math>.''' בבקשה תסביר ברור יותר, ממש חשוב לי להבין את זה (והתרגיל מהכיתה לא כתוב לי, העדפתי להקשיב).
==שאלות בקשר ל6.5 ו-7.9==
* הכוונה ב"לבטא את האיבר הכללי בקבוצה" הוא בעצם להגיע לוקטור מהסוג <math>v=(x+5y,6y+z,x+z)</math> או במקרה של פולינומים <math>f(x)=a+(5a+c)x+(b+c+d)x^2+(2a+7d)x^3</math>? (כמובן שאלו דוגמאות ולא הפתרונות)
* לא כל כך הבנתי איך בודקים שקבוצה פורשת מרחב כמו בשאלה 7.9.
*
*כן
*חשוב להבין כי יהיו שאלות '''ישירות''' על מטריצה מייצגת שלא תוכלי להתחמק מזה.
*
*תחפשי במחברת הרצאה הכי טוב
*הנוסחא היא משפט כן. את יודעת ש<math>[T]_B^S[v]_S=[Tv]_B</math>. מה המשוואה הזו אומרת? מצד שמאל יש את המכפלה של המטריצה המייצגת בוקטור <math>(x,y,z)</math>. מצד ימין מקבלים את הקואורדינטות של Tv לפי הבסיס B. לכן צירוף לינארי של איברי הבסיס B עם המקדמים שהם המכפלה משמאל שווים בדיוק לTv (הרי זו ההגדרה של קואורדינטות).
מובן?
:אהה.. נראה לי שהבנתי! תודה רבה!! אנסה לפתור את התרגיל בשתי הדרכים.
==2.15==
מה הכוננה של (v(Ta בסעיף ב'? תודה
:ההגדרה בעמוד 56
==מבחן תשסה מועד ב' שאלות אמריקאיות שאלה 10==
למה הטענות הנכונות הן א' וד'? אני חושב ש ב' וג' לא נכונות וגם א' לא נכון. למה א' נכון? א' אומר שכל הפונקציות מR לR הן כל הפונקציות הזוגיות סכום ישר עם כל הפונקציות האיזוגיות. זה לא נכון, כי יש פונקציות שהן לא זוגיות ולא איזוגיות ולא הסכום שלהן, כמו f(x)=x+1 או f(x) =rootX. (שורש של X). ויש גם פונקציות שהן גם זוגיות וגם איזוגיות, כמו f(x)=0 לא? כי אני זוכר מהבגרות שפונקציות זוגיות הן סימטריות ביחס לציר הX (מתקיים) ופונקציות אי זוגיות סימטריות ביחס לציר ה-X "ואז" לY (כלומר לשקף את מה שמימין לציר הX ומשמאל לציר הX ואז זה אמור להיות סימטרי ביחס לציר הY). אני טועה? תודה
===תשובה===
*צריך להגיע למשוואה מהצורה כל פונקציה היא סכום של זוגית ואי זוגית, ספציפית עשינו את זה בתרגיל. <math>f(x,y,z)=\alpha v_1 frac{f(x)+ \beta v_2 f(-x)}{2}+ \gamma v_3frac{f(x)-f(-x)}{2}</math> כאשר אתה צריך לחשב את אלפא, בטא וגמא. במילים אחרות אתה צריך לחשב את הקואורדינטות של איבר כללי לפי הבסיס הנתון.
*כמו שרשמתי למטה בתשובה לכמה שאלותאתה יודע למה ב' לא נכון? מעל הממשיים הוא כן נכון. שמים בשורות מטריצההבעייה היא, מדרגים. אם בצורה המדורגת למשל, מעל <math>\mathbb{Z}_2</math> שם יש 5 שורות שונות את המטריצה <math>\begin{bmatrix}0 & 1 \\ 1 & 0\end{bmatrix}</math> שהיא גם סימטרית וגם אנטי סימטרית ושונה מאפס אז .:שתי דברים: דבר ראשון, לא הבנתי מהדוגמה שלך למה כל פונקציה היא סכום של פו' זוגית ואי זוגית (ואני לא זוכר שעשינו את זה אומר שהקבוצה פורסת מרחב ממימד 5. תת מרחב ממימד 5 במרחב ממימד 5 חייב להיות המרחב כולובתרגיל).דבר שני, אז מה אם הפונקציה f(x)=0, היא לא גם זוגית וגם אי זוגית? תודה
::אתה יכול לוודא בקלות ש<math>\frac{f(x)-f(-x)}{2}</math> אי זוגית ו<math>\frac{f(x)+f(-x)}{2}</math> זוגית. 0 היא בוודאי גם אי זוגית וגם זוגית. לכן החיתוך הוא אפס, בדיוק כמו שאנחנו מצפים מסכום ישר. ==בקשר ל 6.5מבחן תשסה מועד ב' שאלות אמריקאיות שאלה 3==בשאלה צריך אוקי, עכשיו אני בטוח שיש פה טעות כלשהי. בתשובות כתוב שאפשרות 3 היא הבחירה הנכונה, כלומר 3 לא נכונה. זה לא הגיוני, כי לפי השאלה, יש לבחור רק להראות את האיבר הכללי או להראות איבר כלשהו בקבוצה שאינו בנפרש? או שצריך לפרט למה תשובה אחת לא נכונה, כלומר אם 3 לא נכונה אז 1 2 ו4 נכונות- אבל תשובה 2 אומרת שאף אחת מהתשובות האחרות היא אינה נכונה, שאת המשפט הזה אפשר להבין ב2 דרכים:-כל התשובות האחרות לא נכונות, שזה לא יכול להיות כי עם 3 הוא לא נכון זה שווה ואז להראות איבר כללי או להראות איבר שאינו שיך ולפרט למהאומר ש 1 ו4 נכונות בסתירה לכך שכל התשובות האחרות לא נכונות.-כל התשובות האחרות נכונות, שזה לא הגיוני כי 3 הוא לא נכון.אז נכון שיש טעות כלשהי?אני חושב שהתשובה ההגיונית היחידה היא 2. תודה
===תשובה===
אם זה שווה צריך להראות איבר כללי. אם לא צריך למצוא איבר שאינו נפרש על ידי הspanתשובה 3 היא משפט שקר.
:אז לא צריך לפרט רק לציין?אתה צודק שגם 2 הוא משפט שקר, זה פשוט בלבול של כותב השאלה.
==rank==הrank של מטריצת האפס הוא אפס, נכון?::צריך תמיד להסביר, אי אפשר לתת תשובה סופית בלבד. אפשר לא להציג את כל החישובים עד הסוףכן
==טריוויאלי או צ"ל?טעות במספר תעודת זהות==האם צ"ל שאם מטריצה A כלשהי מקיימת <math>\forall\vec xשלום,בציוני הבוחן והתרגילים ישנה אותה טעות במספר תעודת זהות שלי,בשניהם כתוב 205403933 אך המספר הנכון הוא 205413933.אשמח אם תוכלו לתקן זאת :A\vec xבסדר, תודה. =\vec x</math> אז בהכרח <math>A=I</mathשאלה על rank==יהי T:V->V ה"ל וB,C בסיסים בV. מה זה rankT? או שזה טריוויאלימה זה rank([T]BC)? (כשBC אומר שיש B קטן בצד למעלה ימין של [T] וC קטן בצד ימין למטה)? תודה.
===תשובה===
אלא אם מבקשים להוכיח את זה, זה טריוויאלי (הרי פשוט מציבים <math>e_irank([T]_C^B)</math> ומראים שעמודות זה דרגה של המטריצה זהות לעמודות המטריצה Iהמייצגת ואנחנו יודעים את ההגדרה של דרגה של מטריצה. הדרגה של העתקה rankT זה המימד של התמונה (עמוד 56 בחוברת).
==לכל בסיס של V (מ"ו מסוים) יש אותו מספר איבריםשאלה ממבחן==בהוכחה של במבחן השני מועד א' שאלה אמריקאית 11, מה זה אומר שT היא מעל השדה Zp? זה אומר שהיא מZp לZp? מה שכתבתי בכותרתזה אומר? איך זה יכול להיות שT היא מF לF כשF שדה, לוקחים B1 בסיס של V עם n איבריםהעתקה לינארית צריכה להיות ממרחב וקטורי למרחב וקטורי, ו-B2 בסיס של V ומוכיחים שגם בו n איברים. בהתחלה מוכיחים שיש ב-B2 לכל היותר n איבריםלא? למה התשובה הנכונה היא 3? תודה.
לאחר מכן אומרים שאם B2 מכיל פחות ===תשובה===שדה הוא תמיד מ-n איברים אז B1 תלוי לינארית"ו מעל עצמו ממימד 1. לכן זו העתקה ממרחב וקטורי למרחב וקטורי. בשאלה מסתכלים על F כמ"ו מעל Z_p בכלל. למה?
תודה מראש!:יש משפט חשוב שהיה בהרצאה שאומר שאם A פורשת וB בת"ל, אז |A| גדול שווה מ |B|. אז שמתי לב שיש דרך יותר קלה להוכיח שבכל בסיס יש אותו מספר איברים, מאשר הדרך שהמרצה הוכיח אותה- פשוט אומרים שאם יש 2 בסיסים A וB, אזי A פורשת וB בת"ל (בכל אופן לא למדתם מאפיין ולכן|A| גדול שווה מ |B|) וגם B פורשת וA בת"ל ולכן (ולכן ההפך מקודם) ולכן |A| = |B|השאלה לא ממש רלוונטית.
::תודה על התשובה המהירה! אמנם זו הוכחה פשוטה וקצרה==שאלה ממבחן==במבחן השני מועד א' שאלה אמריקאית 10, אבל גם ההוכחה של המרצה קצרה מאוד. רק לא הבנתי למה זה נכון: "אם B2 מכיל פחות מהתשובה היא א,ב,ג, ולא כל הטענות נכונות?? הצלחתי למצוא מטריצות כך שכל הטענות יהיו נכונות-n איברים אז B1 תלוי לינארית" א' וב' שתי מטריצות האפס ג' A מטריצת האפס וB מטריצה גדולה ללא אפסים ד' A מטריצה גדולה ללא אפסים וB מטריצת האפס..
:::זו אינה דרך קלה יותר- אתה פשוט מסתמך על ההוכחה הכבידה במהלך ההוכחה הקלה. תשים לב לסדר הוכחות המשפטים.
===תשובה===
משתמשים בהוכחה בלמת ההחלפה של שטייניץ (עמוד 39 למטה בחוברת). הרעיון הוא שאתה יכול להחליף את האיברים מB1 על ידי איברים מB2. בלשב מסויים יהיו בB1 כל האיברים מB2 ועוד כמה איברים אחרים. מכיוון שB2 פורסתבד', האיברים הנוספים האלה תלויים בקודמיהם ולכן B1 ת"ל.AB=0 איך הדרגה שלו תהיה שווה לדרגה של A בדיוק?
==שאלה ממבחן==במבחן השני מועד א' שאלה אמריקאית 9, למה הפתרון הוא 3? שמתי משתנים, דירגתי והגעתי למטריצת הזהות, כלומר כל האיקסים שווים לאפס? זה בטוח לא יכול להיות <math>(0,t,0,0,0)</math>! יש טעות? תודה ===תשובה===למעשה המשתנה השני *חייב* להיות חופשי. בגלל שאם היה לו איבר פותח המטריצה לא הייתה מדורגת כלל. לעומת זאת בעמודות האחרות ניתן להוסיף איבר פותח כך שכל שאר המשתנים יהיו אפס.כמובן שעוד פתרונות יתכנו, אבל לא פתרונות 1,2,4 בהם המשתנה השני אינו חופשי.:"בגלל שאם היה לו איבר פותח המטריצה לא הייתה מדורגת כלל. לעומת זאת בעמודות האחרות ניתן להוסיף איבר פותח כך שכל שאר המשתנים יהיו אפס"- סליחה, ממש לא הבנתי למה התכוונת. מה זה איבר פותח, למה המשתנה השני חייב להיות חופשי, מה זה אומר שאם לא היה איבר פותח המטריצה לא הייתה מדורגת? גם אם הייתי יודע מה זה איבר פותח, למה דווקא המשתנה השני חייב להיות חופשי, למה לא השלישי הרביעי החמישי או הראשון? תודה ::כמו שאמרתי, חלק מהאחרים גם יכולים להיות חופשיים. אבל השני '''חייב''' להיות חופשי. איבר פותח או איבר ציר זה האיבר הראשון בשורה ששונה מאפס. איך יודעים אם משתנה הוא חופשי? אם אין איבר פותח בעמודה שלו. האופציה היחידה לשים איבר שונה מאפס בעמודה של המשתנה השני היא בשורה האחרונה. אבל השורה האחרונה חייבת להיות שורת אפסים על מנת שהמטריצה תהיה אכן מדורגת.:::מה?? המשתנה השני חייב להיות חופשי כי אין איבר פותח בעמודה שלו? אבל אפשר להחליף בין העמודה השניה לחמישית!והשורה האחרונה לא חייבת להיות שורת אפסים, דירגתי והגעתי לשורה ראשונה עם איבר פותח בעמודה הראשונה, שורה שנייה עם איבר פותח בעמודה השניה וככה לכל השורות! ::::אי אפשר להחליף עמודות, ממתי מותר? נתונה מטריצה '''בצורה קנונית'''. אתה לא יכול לשים איזה מספרים שאתה רוצה, רק מספרים שישאירו את המטריצה מדורגת קנונית. נובע מכך, '''בהכרח''', שהשורה האחרונה היא שורת אפסים. אחרת יש איבר פותח שאינו נמצא מימין ממש לאיבר הפותח שלפניו (והאיבר הפותח לפניו בעמודה האחרונה). ==שיעור חזרה ביום ראשון==שיעור החזרה יהיה במתכונת של שאלות ותשובות, או שהמתרגל יפתור תרגילים?
==שאלה בדירוג מטריצה לבדיקת תלות לינארית==כשמדרגים מטריצה לבדיקת תלות לינארית של איבריםפשוט אני עוברת על כל המחברת ועד עכשיו יש לי בערך 7 שאלות, כדאי לשאול אותן פה, אם מגיעים לשורת אפסים זה אומר שהאיברים הם בת"ל או ת"ללחכות לשיעור? רק כדי להיות בטוח(קשה יותר לשאול ולהסביר פה.. תודה רבה!)
===תשובה===
ת"ל לינארית כמובןשיעור החזרה יהיה עם חומר מוכן מראש. כי זה אומר שיש צירוף לינארי לא טריוויאלי של השורות שהתאפס (וגם שמימד מרחב השורות קטן ממספר האיברים בקבוצה ולכן בהכרח היא ת"ל).:תודה על הכל!
פרט לכך, נשאר אתכם כמה שצריך אחרי כן לענות על שאלות (לא כל המתרגלים, אבל לפחות אני). בנוסף, אפשר לרשום פה בוודאי. :תודה על התשובה המהירה! מי אתה? ::ארז.:::אה יופי אתה המתרגל שלי. ==דרך הפתרון ל7עמוד 49 שאלה 11.98==איך צריכים לפתור את השאלה? האם צריך להגיד ש(x1,x2,x3,x4,x5) עבור מטריצה A= a(1-0-0,0-1-0 (מסדר 2,על 3,4,5) +b(5,4,3,אני טוענת ש-rankA=2,1)+... ואז להראות שיש פתרון כללי ולכן הקבוצה הנתונה פורשת את R5צריך להסביר משהו מעבר ל: "לפי הבסיס הסטנדרטי rankA=2"? או שיש דרך אחרת יותר קלה? תודה.
===תשובה===
למדנו שלמטריצות שקולות שורה מה הכוונה לפי הבסיס הסטנדרטי? ניתן לומר "זו מטריצה מדורגת. דרגת המטריצה שווה למספר השורות השונות מאפס בצורה המודרגת שלה. יש את אותו מרחב שורהפה 2 שורות שונות מאפס":טוב. מספיק לשים את הוקטורים בשורות . פשוט זה נורא ארוך לתרגיל שכולו 2 שורות ><. תודה.:יש לי רעיון, אכתוב "דרגת מטריצה ולדרגמדורגת שווה למספר השורות השונות מ-0 בצורתה המדורגת" ואסמן בכוכבית, ואז בכל פעם אכתוב "לפי * rankA=2". אחרת, זה נורא ארוך וסתמי, לחזור על אותו המשפט 9 פעמים!
למדנו גם שהשורות השונות מאפס בצורה המדורגת ==שאלה ממבחן 2005 מועד א==במבחן השני מועד א' שאלה אמריקאית 2, z^3=x3 כשx שווה לצמוד של המטריצה מהוות בסיס למרחב השורות (זה לצורך חישוב מימד במקרה הזה, כי מבקשים בסיס שמוכל בבסיס המקורי, ולא בסיס כלשהו)z.:תודה. אבל תמיד מדרגים מטריצה כדי לבדוק תלות לינארית, למה אף אחת מהתשובות לא האם קבוצה היא פורשת! הצלחתי בעזרת דירוג לפתור את ב', אך איך אנמק שהחמישיות פורשות את R5 בעזרת דירוג מטריצותנכונה? תודה.::אם שמת את כל הוקטורים בששת שורות מטריצה, ואחרי דירוג הראת שהמטריצה פורשת את <math>\mathbb{R}^5</math> הרי שששת הוקטורים פורסים את המרחב יצא לי שim(z)=0 גםכשהתעסקתי בZ כa+bi וגם כrcisO. לפי השלישי חינם כל 5 וקטורים בת"ל ב<math>\mathbb{R}^5</math> פורשים אותו.:::אה נכון, בעזרת השלישי חינם! זו טעות או שאני טועה? תודה וסליחה על בוֹרוּת.
==בקשה==
אני מבקש מכל מי ששואל שאלה\עונה תשובה לעשות את הכותרת שלו בדרגה 2, כלומר כך למשל:
'==שאלה=='
ולא כך:
'=שאלה='
אחרת זה משרשר חדש(כי זה בדרגת כותרת של '=שאלות='), וזה נורא מציק לעין, תודה!
:לא עדיף שתדגישו את זה בהוראות? (ואולי גם כהודעה בעמוד הראשי - כאן מעט מאוד יראו את זה).
::לא אני כתבתי את ההערה.--[[משתמש:ארז שיינר|ארז שיינר]] 21:20, 19 באוגוסט 2010 ===תשובה===מה לגבי <math>cis(IDT\frac{\pi}{3})</math>? ==2.11==בשאלה 2.11 בב' כתוב שיש העתקהה s::ובכל אופןv -> v וs לא שווה לאפס. לא נאמר ש S העתקה לינארית, האם כשאני מוכיל שב' שקול לא' אני לא רואה איך אפשר להפוך את ההוראות לברורות יותרצריך להוכיח שS לינארית, אשמח להצעות.או שהיא סתם העתקה?תודה
==שאלה על בסיסים ומ"וים==
האם ניתן להגיד (או האם זה נכון בכלל) שאם ל2 מרחבים וקטוריים יש בדיוק את אותו בסיס מסוים, (כלומר מצאתי קבוצה שהיא בסיס לשניהם) אזי המרחבים זהים (הם אותו מרחב וקטורי)? אם כן, האם אפשר לכתוב את זה בלי הוכחה או שצריך לכתוב הוכחה? אם צריך לכתוב הוכחה, איך מוכיחים את זה? תודה רבה.
===תשובה===
זה טריוויאליהכוונה לS העתקה לינארית, אבל אם אתה רוצה להוכיח:אחרת מה קשור משפט ההגדרה?
B בת"ל בסיס לV ==שאלה ממבחן==אם"ם spanBנתון לי ש:T(1+2x+xx)=V (לפי הגדרה1,1,2):T(1+x+2xx)=(2,1,1):T(2+x+xx)=(1,2,1)אז אני יכול להגיד שפשוט T(axx+bx+c)= (c,b,a) ואז זה ממש ממש פשוט להוכיח שT חח"ע ועל?ועוד שאלה קטנה, כתוב בתחילת השאלה שT העתקה לינארית, אז זה אומר שכדי להוכיח שT איזומורפיזם אני לא צריך להוכיח שהיא העתקה לינארית נכון? תודה. ===תשובה===אי אפשר פשוט להגיד את זה, צריך להוכיח את זה. אף פעם לא צריך להוכיח את הנתון. אם בנוסף B בסיס לU אזי spanBרשום "נתונה העתקה לינארית" אין צורך להוכיח את זה. =U מכאן נובע V=U2.8==סלחו לי אם אני כותב את התשובה, אבל לא קיבלתי מענה האם ההוכחה שלי נכונה או לא- האם אני יכול להוכיח שv=imT1=imT2 כך?x שייך לimT1 וy שייך לimT2 וv שייך לV.:x+y /T1() -> =T1(x)+ T1(y) /+T2(v) -> =T1x+T1y+T2v ->T2() -> =T1T2x+T1T2y+T2T2v =0+T2T2v =T2v:v /T1() -> =T1v /+T2v -> = T1v+T2v =Iv=v /T2() -> =T2v(עשיתי אותן פעולות והגעתי לכך ששני האגפים שווים). ואז רק להוכיח שחיתוך הimים זר, וזה בסדר? או שזה לא נכון? תודה! :לא קיבלת מענה, כי בשביל זה יש בדיקת תרגילים. ביום ראשון יפורסמו פתרונות לתרגילים בכל מקרה.::אני לא יקבל את התרגיל עד המבחן ואני רוצה לדעת אם הפתרון שלי גם בסדר... :::אז תשאל שוב יום ראשון.::::למחוק את השאלה? :::::זה בסדר, תודה :) ==6.14==סעיף א: האם צריך להשלים את הה"ל לפי הבסיס הסטנדרטי , ואז למצוא את T בצורה מפורשת? וכן בסע' ב' האם לשלוח את הוקטורים הנתונים ל-0, ולהמציא וקטור שלישי (בת"ל בשניים הנתונים) ו"לשלוח אותו" לסתם וקטור כלשהו, ואז למצוא את T... אבל אז סע' ב' וג' יכלים להיות זהים? נכון?
==שאלה==
האם הסקלרים בכל צירוף לינארי כלשהוא חייבים להיות גדולים מאחד? (ובפרט בצירופים הלינאריים שבspan?)
===תשובה===
בשום צורה בסעיף א'צריך למצוא את ההעתקה בצורה מפורשת. מה להשלים למה זה בחירה שלך, העיקר שיקיים את תנאיי הסעיף. כנ"ל לגבי הסעיפים האחרים. בוודאי שכל העתקה לינארית מסעיף ג'עונה על התנאים של סעיף ב'.====שאלה בקשר לתשובה====האם צריך להראות איך הגענו לההעתקה המסויימת או שפשוט להראות שהיא מקיימת את התנאים? =====תשובה=====צריך לפרט בתרגיל הזה, שכן הוא בוחן את ההבנה של משפט ההגדרה, ומציאת העתקה המפורשת מתוך ההגדרה:התכוונתי האם צריך להסביר איך הגעתי להעתקה עצמה או להראות שזה מתקיים עבור בסיס כלשהו ואז להשתמש במשפט ההגדרה ולהגיע לכללית? (האם צריך להסביר למה בחרתי ככה את ההעתקה עבור האיברים של הבסיס ואיך הגעתי אליה??) ודבר נוסף האם מותר לי להגדיר את ההעתקה שלי כלינארית ואז להשתמש במשפט ההגדרה (כי אני נותן את הערכים שאליהם נשלח הבסיס) ולהגיע להעתקה הכללית? (מותר לי להגדיר אותה כלינארית בכלל בתרגיל הזה? לא'''שאני רואה דרך אחרת.. הסקלרים הם סקלרים '''כלשהם''' מהשדה) ==1.28==האם זה נכון להוכיח ש imT1=kerT2, ומכאן נובע שהסכום ישר לפי 2.7 ב.כי T2 אידמפוטנטית?
==שאלה==
האם כל span כולל את אפס?
===תשובה===
כן כל span הוא תת מרחב וקטורים. אם זה נכון זה בסדר, ואם זה לא נכון אז לא :)
הסבר אחר: span הוא אוסף כל הצירופים הלינאריים==כמה שאלות==*'''דורש הוכחה או טריוויאלי?''' קבוצה D פורשת מ"ו V. ב-D יש n איברים. האם צריך להסביר למה מכך נובע ש- dimV<=n? (אפשר להניח בשלילה ש-k=dimV>n ואז אם d שייך ל-D, בפרט הצנוסיף ל-D עוד k-n איברים מהצורה ad כאשר a בשדה. נקבל קבוצה חדשה E שפורשת את V וגם dimE=k לכן E בסיס ל-V, אבל E ת"ל הטריוויאלי כי <math>d+a_1ad=0</math> כאשר <math>a_1</math> בשדה אבל <math>a_1=- כלומר כל הסקלרים הם אפסיםa^{-1}</math> שונה מ-0. קיבלנו סתירה לכך שבסיס הוא בת"ל, מ.ש.ל) ההוכחה די ארוכה והיא לא מטרת התרגיל (11.2), אבל מצד שני, האורך שלה מראה על כך שהיא לא ממש טריוויאלית.. בקיצור - צריך או לא צריך?*מה זה cspan? אם יש כזה דבר בכלל..?*הציון שלי של תרגיל 3 לא מופיע, למה ומה לעשות בנושא? (הגשתי אותו!)
== 7.20 ==תודה מראש!!
אפשר קצת הסבר על השאלה? אני לא יודע איך להסתכל על זה..מה עוזר לי הנתון שV מ"ו מעל שדה F?ואיך זה בדיוק
מתקשר למימד?? אם אפשר קצת רמזים..
===תשובה===
תמיד חשוב לזכור *לא צריך להוכיח את ההגדרות - מימד הוא מספר האיברים בבסיסזה אלא מבקשים במפורש. מספיק לצטט את המשפט מההרצאה.
*אני אתן דוגמא, מקווה מנחש שזה יעזור:קיצור של Columne Spane כלומר מרחב העמודות. אני לא נתקלתי בזה, אני לא יודע אם ראיתם את זה בהרצאה או לא.
ניקח <math>V=\mathbb{C}^2,F=\mathbb{C},H=\mathbb{R}</math>. אפשר לראות שF הוא מרחב וקטורי מעל H עם הבסיס <math>\{1,i\}</math> שכן כל מספר מרוכב הוא מהצורה <math>a\cdot 1+b\cdot i</math> כאשר a,b ממשיים ובוודאי הסכום הזה מתאפס רק אם a=b=0. לכן הקבוצה הנ"ל פורשת ובת"ל ולכן היא בסיס. לכן F הוא ממימד 2 מעל H (כי יש 2 איברים בבסיס)*לשלוח למתרגל שלך מייל בנושא.
====תשובה לתשובה====
תודה!
*איזה משפט בדיוק?
*אני ראיתי את זה בשאלה שמתחת לזו...
*אוקיי תודה.
V הוא הוא ממימד 2 מעל F (זה ברור). נמצא לו בסיס מעל H: <math>\{(1,0),(i,0),(0,1),(0,i)\}</math> ואכן אנו רואים שV הוא ממימד 4=2x2 מעל H.
==שאלה==אם אני יודע ש:v מרחב וקטורי נוצר סופיתלא יודע,<math>B\subseteq V</math> ובנוסף:תפתח מחברת ותחפש. כנראה שיהיה מספיק לכתוב "לפי משפט, מספר האיברים בקבוצה פורשת גדול או שווה למימד"*<math>sp(B)=V</math>*B ::נראה לי שהמשפט שאומר שאם יש קבוצה שפורשת את V, וקבוצה בת"ל.אז אני יכול להגיד שמוכלת ב-B בסיס עבור Vאז מספר האיברים בפורשת גדול שווה ממספר האיברים בבת"ל. ==המבחן==ביום שלישי יש מבחן בלינארית. כמה זמן המבחן?מתי הוא מתחיל? כמה שאלות? מה המבנה?
===תשובה===
כןמה שאמרו בהרצאה. זו ההגדרה של בסיס. Span(B)=V (פורש) ובת"לאם לא אמרו, אפשר לשאול ביום ראשון בחזרה
==שאלה 7.10==העברתי את המטריצות לעמודות מה אמרו בהרצאה? אני לא יכול להגיע ביום ראשון לחזרה, ודירגתי את המטריצה שהתקבלהאתם משאירים אותי פה במתח.יצאו לי ארבע שורות אפסים, האם זה אומר שהן תלויות לינארית ?איך מנמקים את זה?
== 11.10 ==
האם אני יכול להגיד ש- dim(cspan(A)+cspan(B))=rank(A+B)?
===תשובה===
השאלה היא לא כמה שורות אפסים יש, אלא כמה משתנים חופשיים ישזה לא נכון. אם קיים פתרון לא טריוויאלי למערכת Axקח (A=0 אזי עמודות A תלויות לינארית.(-B
== שאלה 6.14==איך מוכיחים שקבוצה אפשר הכוונה לגבי 6.14? תודה רבה! :הרמז שרשום שם מכוון מצויין.. משפט ההגדרה, השלמה לבסיס. אם תוכל לכוון אותי לבעייה, אני אוכל לכוון אותך לפתרון.::התכוונתי לגבי א'. תודה:::כן, לגבי א'. משפט ההגדרה במפורש. הרי התמונה של ההעתקה היא פורשתהמרחב הנפרש על ידי ה-w_i מהמשפט. ==2.8==מה זה אומר ש T1+T2 = Iv? אני יודע מה זה Iv, אני מתכוון ל-מה זה אומר הסכום שלהם? כאילו ש T1v1+T2v2=v1+v2 או ש T1v+T2v=v? ואיך מוצאים בסיס לקבוצהאו מה?זה ממש לא מובן. תודה
===תשובה===
למדנו שמרחבי השורות של מטריצות שקולות שורה הם זהים. לכן על מנת למצוא בסיס לקבוצת וקטורים יש '''לשים אותם בשורות''' מטריצה '''ולדרג''' תקרא את המטריצהאותה שאלה עם התשובה למטה. '''בצורה המדורגת של המטריצה, השורות השונות מאפס מהוות בסיס''' למרחב השורות:סליחה לא שמתי לב! אני די בטוח שלא למדנו את זה אבל לא נורא.תודה
הspan של הקבוצה הוא כמובן הspan של השורות השונות מאפס בצורה המדורגת. כך ניתן לדעת מה הקבוצה פורשת ::אני בטוח לחלוטין (קבוצה תמיד פורשת כמעט) שכן למדתם את הspan שלה - זו ההגדרה)זה ולכן זה דיי נורא כי זה חומר חשוב למבחן.===שאלה נוספת===וכשכתוב בב' T1T2, הכוונה היא הפעם לכפל של העתקות, כמו סכום? כי בדרך כלל זה הרכבה, אבל עכשיו נראה יותר מתאים שזה יהיה כפל.נכון? תודה
כאשר יש מרחב וקטורי :ואז איך תגדיר? כפל של פולינומים או מטריצות שני וקטורים? אין כזה דבר כפל של שני וקטורים. כפל בין העתקות לינארית הוא בלבד הרכבה. כפי שלמדנו <math>T^2=TT=T\circ T</math>::אה, חשבתי שאם א. זה חיבור אז ב. זה יהיה כפל כזה D=TS - מעבירים אותו לצורה וקטורית פשוטה כמו בתרגיל לדוגמא שפרסמנו בעמוד הראשי> D(v) = T(v)*S(v) אבל לא משנה.===עוד שאלה, לגבי דרך הפתרון===האם אני יכול להניח שקיימים x ששייך לimT1 וy ששייך לimT2 ואז להראות שאחרי כמה פעולות imT1+imT2 שווה לv ששייך לV אחרי אותן פעולות? אני ממש לא בטוח אם זה נכון, יש משהו לא נכון בהוכחה שלי? בנוסף, אני חושב שלא השתמשתי בעובדה שזה סכום ישר.זה בסדר? תודה!
==שאלה על מימדים==מה המימד של המרחב הוקטורי המכיל רק 0? האם :אין עובדה שזה סכום ישר אומר שהחיתוך נותן 0? כי , זה מה שצריך להוכיח. אם כך לא הוכחת את זה אז המימד זה לא בסדר. :ואתה לא צריך להראות שסכום של {(ax וy הוא איבר בV זה טריוויאלי מסגירות. אתה צריך להוכיח ש'''כל''' v בV הוא מהצורה v=x+y עבור x,by כלשהם בIm-ים המתאימים.::אוקיי,0אז אם אני לוקח v ששייך לV,0) סכום ישר ואחרי כמה פעולות מגיע ממנו לX+Y, זה בסדר?::האם מותר לי גם (0aיהיה לי הרבה יותר קל אם כן) להניח שקיימים v,0x,dy כמו מקודם,cואז להראות אחרי כמה פעולות ש v=a וגם x+y=a::(a ביטוי מסוים שלא אכתוב כדי לא לגלות את התשובה)} שווה לסכום המימדים שהוא 4. זה בסדר? אפשר להגיד שאם זה ואם אין חיתוך בין הim-ים, פחות מימד החיתוך שהוא 1אז ה-דרוש מתקיים?::ועוד דבר, לאאני יכול להניח שT1 וT2 הפיכות? אזי מימד הסכום שווה ל3 אבל תודה! ::: אי אפשר להניח דברים שלא בנתון. ושוב, אתה חייב להראות ש'''כל''' v הוא באמת שווה מהצורה הנ"ל. איך תעשה את זה? זו החלטה שלך. הניסוח שלך קצת מצחיק-4תקח x,y,v כללים ותוכיח שתמיד x+y=v? הרי וודאי לא יכול להיות שתצליח בזה. ==2.7==אם אני מוכיח ב א' T היא העתקה הזהות זה בעצם מקיים את מה הולך פהשהם מבקשים?או שצריך להראות שייש מקרים עבורם T שווה למינוס העתקת הזהות?(לפי מה שניסיתי לראות המקרה השני בכלל לא הגיוני וניתן לסתור אותו,אז אם צריך להראות שניתן שיתקיים שT שווה למינוס אז זו בעצם הפרחה, לא?)
===תשובה===
המימד של מרחב האפס {0} הוא אפסהלוגיקה חשובה במתמטיקה. הבסיס שלו הוא הקבוצה הריקהאני אענה לשאלה, אבל חשוב לי להבהיר שאתם צריכים להיות מסוגלים להבין שאלה כזו לבד.
כאשר אומרים הוכח/הפרך, יש לומר אם המשפט הוא משפט שקר או משפט אמת. במקרה הזה המשפט הוא:'''T המקיימת את תנאי השאלה היא בהכרח העתקת הזהות או מינוס העתקת הזהות.''' אם כל T שמקיימת את תנאי השאלה היא העתקת הזהות או מינוס העתקת הזהות אזי המשפט נכון (מהגדרה). לעומת זאת, אם קיימת T שמקיימת את תנאי השאלה ושונה מהעתקת הזהות '''וגם''' שונה ממינוס העתקת הזהות אזי המשפט הוא משפט שקר והפרכנו אותו.:ככה חשבתי, פשוט זה נראה לי מוזר שבכלל הוסיפו את העניין עם המינוס אם הוא לא משנה בכלל, אז העדפתי לשאול. תודה::יופי. תמיד טוב לשאול.===שאלה כלליתבקשר לשאלה והתשובה שנשאלו פה===האם שורותיה של מטריצה בדורגת הם בהכרח בת"רגע, אבל מה עם העתקת האפס, זה לא סותר את מה שאמרתם, העתקת האפס לא שווה להעתקת היחידה? לא? יש לשים לב כי העתקה אידמפוטנטית מוגדרת <math>T^2 = T</math> פרט ל-0 (בדר"כ) - בהסתמך על הערך "אידמפוטנט" [http://he.wikipedia.org/wiki/%D7%90%D7%99%D7%93%D7%9E%D7%A4%D7%95%D7%98%D7%A0%D7%98%D7%99%D7%95%D7%AA] == 1.28 ==המטריצה המייצגת יצאה לי (x^2 2*x+3 3*x) זה הגיוני?ואז אני מדרג?הרי זה כמו וקטור שורה איך אני יכול לדרג?(לא ענית לי למטה..)תודה!
===תשובה===
שורותיה השונות מאפס של כי מה שרשמת זה לא מטריצה מדורגת הן בהכרח בת"ל. אף שורה איננה צ"ל העמודות של קודמותיההמטריצה צריכות להיות וקטורי הקואורדינטות, בוודאי פולינום אינו יכול להיות עמודה של מטריצה. ממליץ בחום רב לקרוא את המסמך על קואורדינטות ומטריצות מייצגות, כי יש לה אפסים במקומות בהם יש לשורות הקודמות שם דוגמאות והסברים לכל התהליך. ==שאלה (שקשורה ל6.14)==האם העתקה T:V->W חייבת להיות מוגדרת לכל v בV? אני יודע שבהעתקות, לא חייב להיות לכל וקטור בW מקור, כי אני זוכר שהעתקה יכולה להיות על ולא על, אבל האם היא חייבת "לקחת" את כל הקטורים מV אל איברים פותחיםבW אל לא?למשל, אם אני מגדיר העתקה מR4 לR4, האם אני יכול להגיד אותה כך? T(a,b,00) = T(0,0,a,b) אפילו שהוא לא מוגדר לכל V, או לא? תודה ===תשובה===חייב להיות מוגדר לכל v, באופן כללי פונקציה צריכה להיות ח"ע ושלימה (כמו בבדידה) == 1.14 ==אפשר בבקשה הכוונה איך אני מוכיח את א'? עם ב' הסתדרתי.. :אין סעיפים בשאלה 1.14 ::התכוונתי להעתקת האפס!! :::מוכיחים את זה באמצעות הקריטריון המקוצר לבדיקת העתקה לינארית. ::::אני יכול לעשות מעבר כזה: T(v+u) =0 כיוון ש לכל v ששיך לV מתקיים T(v)=0? :::::מן הסתם... זו ההגדרה של העתקת האפס. :::::תודה:)
==שאלה==
האם אני יכול להגיד את הדבר הבאהדרגה של מטריצה עם 2 שורות ו2 עמודות שונות משורות אפסים, היא 2 או 4?לפי תשובה קודמת, נראה שכתבתם שהדרגה היא 2,<math>spanאבל זה מביא לסתירה מסוימת, כי אם rank(A+B)=span2 אם A מטריצה מגודל 2 על 2, אז זה אומר גם שהמימד של המרחב R2x2 הוא 2, לא? אבל חשבתי שהמימד של המרחב R2x2 הוא 4, כי בבסיס שלו 4 איברים {(span0,0,0,1)(A\cup B0010)(0100)=span(A\cup B1000)} ? איפה אני טועה? תודה =A\cup B=span=תשובה===לפי תשובה קודמת, ראינו מטריצה כזו עם דרגה 1. אין קשר בין המימד של מרחב המטריצות, לפי המימד של מרחב השורות של המטריצה. הדרגה של מטריצה בגודל nxm היא קטנה שווה למינימום בין n,m. לעומת זאת מימד כל המטריצות הוא nm. אם המטריצה בצורה מדורגת, הדרגה שלה היא '''מספר השורות השונה מאפס'''. בפרט, הדרגה לא יכולה להיות גדולה ממספר השורות.:כמה שאלות: -מהי הגדרה של הדרגה של מטריצה? אם היא קטנה או שווה למינימום בין M,N, זה אומר שאי אפשר לחשב אותה במדויק?:-אם יש מטריצה (Aמטריצות)\cup spanשנראית כך: a, b, c, a+b+c :(Ba וb בשורה הראשונה וה2 האחרים בשורה השניה)</math>, אז מימד המטריצות האלה הוא עדיין MN? אפילו שאחד האיברים במטריצה תלוי באחרים?:-rankT כך שT הוא ממטריצות MxN למטריצות מאותו הגודל, הוא MN או המינימום? יש דבר כזה rankA וגם rankT כשA מטריצה וT העתקה? הם 2 סימונים ל2 דברים שונים? תודה מראש...רבה
===תשובה===
לא. האיחוד של תתי מרחבים לרוב אינו תת מרחבההגדרה רשומה בעמוד זה, מספר פעמים. למשל [[#שאלה זו מופיעה בתרגיל 3, והפרכתה נמצאת בפתרונותלתשובה]] ושתי שאלות מתחתיה.
המעבר הראשון הלא חוקי אם תיקח תת מרחב של מרחב כל המטריצות שלא מכיל את כל המטריצות האפשריות, המימד שלו בהכרח יהיה קטן יותר. לגבי הדוגמא הספציפית צריך לוודא שזה אכן תת מרחב אחרת אין הגדרה למימד שלו. rankT היא הדרגה של העתקה, אני לא יודע אם למדתם את זה או לא. אם כן, יש הגדרה במחברת שלכם. אם T העתקה לינארית ממרחב המטריצות למרחב המטריצות, היא העתקה בין מרחבים וקטוריים ממימד NM ולכן המטריצה שמייצגת אותה היא מגודל NMxNM, ולכן יכול להיות שהדרגה של המטריצה המייצגת הינה NM.::::תודה לגבי כל השאר, יש לי רק עוד דבר לא פתור: נניח שיש מטריצה (משמאל לימיןבוא נגיד, מסדר 2 על 2) כאשר אחד או יותר מהמקומות במטריצה הוא שאפשר להוריד תלוי\ים במקומות האחרים (כמו בדוגמה שנתתי קודם, רק אם הדוגמה שנתתי לא טובה (כי היא לא תת מרחב וכדומה) אז דוגמה אחרת דומה -- המימד של המטריצות מהסוג הזה הוא עדיין MxN או לא? תודה. דוגמא: יהי מרחב המטריצות <math>V=F^{2\times 2}</math> ויהי <math>W=\{A\in V : a_{11}+a_{12}+a_{21}=a_{22}\}</math>. אזי קל לוודא שW תת מרחב של V ושהבסיס שלו הינו <math>B=\{\begin{bmatrix} 1 & 0 \\ 0 & 1\end{bmatrix},\begin{bmatrix} 0 & 1 \\ 0 & 1\end{bmatrix},\begin{bmatrix} 0 & 0 \\ 1 & 1\end{bmatrix}\}</math> לכן המימד של W הינו 3. המימד של V לעומת זאת הוא 4. :איך מצאת את הspan ולהשאיר שיוויוןהבסיס של W? == 1. 28 ==מה פתאום הspan של קבוצה שווה לקבוצההכוונה וקטור כללי מ R2[X ? הרי הקבוצה יכולה להיות סופיתנניח (1, ואוסף כל הצירופים הלינאריים 1,1) הוא אינו סופי טוב? ===תשובה=== 1. (מעל שדה אינסופי כמובן1,1,1)הוא וקטור '''ספציפי''' - ההפך מ'''כללי''' 2. במרחב הפולינומים <math>\mathbb{R}_2[x]</math> הוקטורים הם '''פולינומים''' מדרגה קטנה שווה 2. לכן וקטור כללי במרחב זה הוא <math>a+bx+cx^2</math> :את האמת שזה מה שחשבתי רק שלא הייתי בטוח..:בכל מקרה, איך אני מחשב את ההעתקה ההפיכה? ::יש כמה דרכים. אחת מהן למדתם בהרצאה- בעזרת ההופכית של המטריצה המייצגת. הדרך השנייה היא לפי משפט ההגדרה - מספיק לבחור בסיס בתמונה ולראות מה המקור שלו וכך אפשר לחשב את המטריצה המייצגת של ההעתקה ההופכית. :::ראיתי הגדרה שאומרת: תהי f:A->B פונקציה. אם קיימת g:B->A כך ש f הרכבה g =למטריצה היחידה של A ו g הרכבה f= למטריצת היחידה של B נאמר :::שf הפיכה וg נקראת הפונקציה ההופכית של f.:::אי אפשר להשתמש בזה עבור הרכבה של העתקות לינאריות? :::: אפשר לומר את זה על העתקות לינאריות, עם הסייג הבא: הרכבה של העתקות לינאריות אינה מטריצה אלא העתקה. כלומר ההרכבה של ההעתקות היא ההעתקת הזהות והמכפלה של המטריצות המייצגות היא מטריצת היחידה (שכן המטריצה המייצגת של העתקת הזהות מבסיס לעצמו היא תמיד מטריצת היחידה). ::::המטריצה המייצגת יצאה לי (x^2 2*x+3 3*x) זה הגיוני?ואז אני מדרג?הרי זה כמו וקטור שורה איך אני יכול לדרג?
== שאלה ==
1.אם (V1,v2...vn) וקטורים בת"ל וגם (u1,u2,...,un) וקטורים בת"ל ומתקיים ש:
v1=a1u1+a2u2...anun,...,vn=b1u1+b2u2+...+bnun , אני יכולה להגיד ש {a1,...,an}..{b1,...,bn הם בת"ל?
2צריך למבחן לדעת את העתקת האינטגרל, הנגזרת ועוד נושאים המוזכרים בחוברת של בועז צבאן ולא למדנו אותם?? === תשובה===אין צורך לדעת דברים שלא נלמדו בהרצאה, בתרגיל או נתנו בשיעורי הבית. מטריצת מעבר היא חייבת להיות ריבועית כמובן שלא מזיק לפתור תרגילים נוספים, אבל אין צורך לזכור הגדרות אחרות. ==שאלה למתרגלים (או למתרגל הספציפי שלי, אדם צ'פמן==למדנו נושא שלם (דטרמיננטות) שלא הזכרנו אותו אפילו בתרגול עם אדם צ'פמן. למה?המרצה אמר שהוא יכול להיות במבחן!תודה. :מוזר, אנחנו מהקבוצה השנייה(עם אלי בגנו) לא למדנו דטרמיננטות בכלל גם לא בתרגול.
===תשובה===
1אם הנושא יהיה במבחן, הוא יהיה בהתחשב בכך שלא היה תרגול. סקלרים לא יכולים לעולם להיות בת"ל. ההגדרה של בת"ל תקפה רק לגבי וקטוריםבהסמך על מה שלמדתם בהרצאה בלבד.
2. כן. כי הרי יש בה n עמודות (מספר האיברים בבסיס B) שכל אחת מהן באורך n (מספר האיברים בבסיס C). הרי מספר האיברים זהה בכל הבסיסיםכמובן שלמי שלא למד את זה בהרצאה, זה לא יהיה במבחן.
:לגבי 1==תרגיל 11. 8==מבקשים ממני בתרגיל לתת דוגמות למטריצות אשר מקיימות את התנאי המתבקש.האם אני לא מבינה! הרי כן אפשר להסתכל על כוקטורי עמודה {a1,צריך להסביר כיצד הגעתי לדרגה של המטריצות A ו-B שבחרתי או שפשוט לכתוב: "דרגתה של המטריצה A שנבחרה היא ..,an},{b1,."ואותו כנ"ל עבור AB..,bn ולשאול האם הם תלויים לינארית?
::הסימון עם סוגריים מסולסלים מסמן קבוצהתודה מראש, ולא וקטור עמודהגל. את מתכוונת ל<math>(a_1,...,a_n),(b_1,...,b_n)</math>? (כלומר, 2 וקטורי קואורדינטות) אה.. אני בכלל מבין עכשיו את הטעות בסימון. מהם הסקלרים שבין a ל b?
::אני מניח שהתכוונת ל::<math>v_i=a_{1i}u_1+...+a_{ni}u_n</math> ואז השאלה אם הקבוצה <math>\{(a_{1i},...,a_{ni})|1\leq i \leq n\}</math> היא בת"ל. אבל זה בדיוק השאלה בשיעורי הבית. צריך להוכיח את זהרק להראות שהדרגה שלהן היא אכן כפי שאתה טוען.
::רמז: ההעתקה מv לקואורדינטות של v לפי בסיס מסוים, הינה העתקה לינארית==תרגיל 11.2==האם x הוא בהכרח וקטור מסדר n*1 או שהוא יכול להיות מטריצה?
===תשובה===
הכוונה היא שb וx שניהם וקטורי עמודה (כלומר מגודל nx1 כפי שציינת)
:תודה!
:ועוד שאלה: כאשר נתון ש-<math>V</math> הוא מרחב העמודות של <math>A</math>, האם אני יכולה פשוט בלי להסביר כלום לכתוב ש: <math>V=span\{v_1,v_2,...,v_n\}</math> כאשר <math>v_1,v_2,...v_n</math> הם וקטורי העמודות של <math>A</math>?
== שאלה לתשובה ==::כן, זו ההגדרה.
רציתי לשאול עוד בנושא==בסיס==הוצאתי חוברת לינארית מהספרייה, נניח ואני מגיעה לכך שובספר כתוב שכדי לוודא שוקטורים מסויימים a1,a2,...ak בת"ל, צריך לשים את הוקטורים כעמודות של מטריצה הומוגנית, ואז לצטט את שני המשפטים הבאים: במטריצה המורכבת מהעמודות a1,a2,...,ak,b (כך שכל עמודה היא וקטור), הוקטור b הוא צירוף לינארי של a1,...,ak כך שהמקדם של ai לכל i הוא xi אם"ם (x1,...xk) הוא פתרון של המערכת שלמעלה. בנוסף ידוע כי מטריצת מקדמים מצומצמת (כלומר מקדמים של מערכת משוואות לינאריות הומוגניות) היא שקולה למטריצת היחידה אם"ם אין למערכת פתרון לא טריוויאלי. כלומר נוכיח שהמטריצה שהרכבנו מהעמודות a1,...,ak,b שקולה למטריצת היחידה עפ"י פעולות שורה אלמנטריות, ולפי זה פתרון המערכת x1,...,xk הוא טריוויאלי כלומר 0=(x1,...,xk) ולכן ל- 0=x1a1+x2a2+...+xkak יש רק פתרון טריוויאלי לכן לפי הגדרה הווקטורים a1,...,ak בת"ל.
<math>(a1u1+השאלה שלי היא האם מספיק לנמק: ידוע שאם מטריצה שקולה למטריצת היחידה אז כל עמודותיה בת"ל?נימוק כזה קצר יכול לחסוך המון זמן וכאב ראש...anun),(b1u1+..+bnun),...,(c1u1+..+cnun)</math> שונים מאפס ובת"ל.
האם אני יכולה להסיק ש <math>(a1..an),(b1..bn),...,(c1..cn)</math> חייבים להיות שונים מ0 ובת"ל?
*אי אפשר לרשום בסקלרים a,b===תשובה===למדנו את התיאור הראשון בתרגיל - וגם השתמשנו בזה בפתרון תרגיל 3 (בקובץ המצורף)...c זה כמו לרשום <math>a_1u_1,a_2u_2..כן למדנו שניתן לדרג את המטריצה ולראות האם שורות התאפסו לנו.a_3u_n</math> זה פשוט לא עובדאלה שתי שיטות שונות ושתיהן נכונות.
*הסימון סוגריים מסולסלים שהיה במקור - שמור לקבוצות בלבד, חשוב לשים לב ששקילות למטריצה היחידה היא רלוונטית רק כאשר מדובר על מטריצה ריבועית. וקטורים יכולים להיות בת"ל גם אם תשים אותם בעמודות מטריצה והיא תהיה לא לוקטוריםריבועית.
*זה נכון, אבל צריך להוכיח את זהחשוב לזכור שכאשר אנו שמים וקטורים בעמודות ומדרגים - אנו מסתכלים על מרחב הפתרונות. (למעשה זו השאלה רק במילים אחרות)כאשר אנו שמים את הוקטורים בעמודות ומדרגים - אנו מסתכלים על מרחב השורות.
==שאלה 2 בדף המצורף11.10 ==כל מספר מסוים של וקטורים מתוך מרחב מסוים שהם המטריצות A B הן שתיהן מגודל MXN?ובהוכחה אני אמורה להניח שהשורות הן בת"ל הם בהכרח גם בסיס של אותו המרחבושהדרגה שווה למס' השורות?אם שתי המטריצות הן מגודל MXN אז מה הדרגה?
===תשובה===
בוודאי לעולם לא מניחים דברים שלאכתובים בנתון. בסיס הוא '''פורש''' וגם '''בת"ל'''. אחד התנאים בלבד אינו מספיק. מספר הוקטורים היחיד שיכול להיות בבסיס הוא המימד הגדלים של המרחבהמטריצות נתונים - וזה נכון.
לדוגמא:<math>\{(1,0,0),(0,1,0)\}\subseteq \mathbb{R}^3</math> השורות לא חייבות להיות בת"ל אבל לא בסיסבכלל.
אבל (ואולי לזה התכוונת) אם ניקח קבוצה בת"ל עם מספר וקטורים כגודל המימד של המרחב היא אכן תהיה בסיס תודות למשפט השלישי חינם.== שאלה לתשובה ==
==שאלה 6.4א==בשאלה מבקשים לוהכיח שאם חיתוך של שני ספאנים שונה מאפס, תודה על התשובה אבל כל ספאן יוצר צירוף לינארי מתאפסלא כ"כ עזרת לי, אז הטענה בכלל ברור לי שאי אפשר להניח משהו שהוא לא יכולה להיות נכונהנתון, השאלה שלי היתה האם כדי להוכיח את מה שרצו אני מניחה שהם בת"ל,הרי במקרה כללי אני חייבת להניח את זה בעיה בתרגיל..לא?ובנוסף לא ענית לי מהי הדרגה של מטריצה(כללית, כלומר שלא יודעם את אבריה) MXN?מימד מרחב השורות/העמודות?
===תשובה===
<math>\{0,1\}\neq \{0\}</math>זה כמו לשאול: האם x זוגי? התשובה המתבקשת כמובן היא תלוי מהו x.
===שאלה על התשובה===את/ה יכול/ה לתת דוגמא ל2 קבוצות שמקיימות את התנאי הזהאי אפשר להניח ששורות המטריצה בת"ל, הרי בוודאי יש מטריצות ששורותיהן תלויות לינארית. למה שתניחי דבר שהוא לא בהכרח נכון?
אין כזה דבר דרגה של מטריצת כללית. שוב, הדבר דומה לשאלה מהם הגורמים הראשוניים של מספר כללי x.
====דוגמא====
ניקח <math>B=\{(1,0,1),(1,0,-1)\},A=\{(1,0,0),(0,1,0)\}\subseteq \mathbb{R}^3</math>
<math>span(כאשר מנסים לפתור תרגיל כזה צריך לגשת אליו בצורה טכנית. לתת שמות לשורות המטריצות A)\cap span(B) = span\{(1,0B ואז לראות מהן שורות המטריצה A+B,0)\}\neq \{0\}</math>ואז לראות איך אפשר לחשב את הדרגה כפונקציה של השורות האלה וככה לנסות לפתור את התרגיל.
במילים: באופן כללי יש צירוף לינארי משפט לפיו דרגת המטריצה = מימד מרחב העמודות = מימד מרחב השורות = מספר המשתנים התלויים במערכת ההומוגנית = מספר השורות השונות מאפס בצורה המדורגת של A וצירוף לינארי של B ששניהם שווים זה לזה אבל שונים מאפס.המטריצה
== שאלה 3 ב בבוחן תרגיל 2.8==שלום, לא הבנתי למה הזווית של 1מה הכוונה ב(א) שכתוב <math> T1 +i היא בדיוק פי חלקי ארבעT2 = Iv </math> ? כלומר מה החישוב שעושיםהכוונה בחיבור העתקות ליניאריות?תודה רבה... XD
===תשובה===
במישור המרוכב זו הנקודה (1,1) שנמצאת בדיוק כמו שלמדנו בהרצאה ובתרגיל על הקו הישר x=y שנמצא בזוית 45 מעלות (כי הוא חוצה את הזוית הישרה בין הצירים). אם זה לא מספיק ברור, גם המרחב הוקטורי של העתקות לינאריות - <math>tgHom(\thetaV,W)=\frac{b}{a}=\frac{1}{1}=1</math> ולכן <math>\theta = \frac{\pi}{4}</math>:
יהיו 2 העתקות לינאריות T,S. נגדיר את ההעתקה הלינארית שהיא החיבור שלהן D=T+S, על ידי <math>\forall v\in V :D(v)= שאלה 1 ב' בבוחן S(v)+T(v)</math> ===תשובה לתשובה==בפתרונות כתוב שאם נדרג נמצא שורת סתירה עבור a=0ולכן אין פיתרון.דרגתי כמה וכמה פעמים ואני לא מוצאת שום שורת סתירה!אני כן מחלקת בa כחלק מהפעולות אלמנטריות אבל כשאני רוצה להוכיח שבאמת אין פיתרון עבור aתודה רבה XD :P :) :D ==מרחב עמודות ***עוד שאלה***==0 אני לא מצליחה!אתה יכול לפרט יותראיך מחשבים את הדרגה של A, כלומר את מספר האיברים בבסיס של מרחב העמודות של A?איך מוצאים את הבסיס?מהי הדרגה של מטריצת האפס? למה? תודה.
===תשובה===
אסור לחלק בa כחלק מהפעולות האלמנטריות *הדרגה של המטריצה היא מספר השורות השונות מאפס בצורה המדורגת שלה. *אפשר למצוא בסיס למרחב העמודות על ידי:**שחלוף המטריצה A**דירוג המטריצה המשוחלפת**שורות הצורה המדורגת של המטריצה המשוחלפת השונות מאפס, מהוות בסיס למרחב העמודות (כאשר בודקים מסתכלים עליהן כעמודות כמובן)*מטריצה האפס היא בצורה מדורגת, אין שורות שונות מאפס ולכן הדרגה היא אפס.:תודה, אבל נראה לי (לפי הגיון) שהדרגה של מטריצה היא מספר השורות שגם לא תלויות אחת בשניה (בת"ל), לא? נגיד המטריצה 1 2 2 4 הדרגה שלה היא 1 או 2? תודה. :הדרגה היא אחד. המושג הכללי שאתה מתאר (מספר השורות שלא תלויות אחת בשנייה) מוגדר במדויק - הוא נקרא מימד. מימד הוא מספר האיברים בבסיס. ואם תביא את המקרה aהמטריצה הזו לצורה מדורגת תראה בקלות שיש רק שורה אחת שונה מאפס בצורה המדורגת, והיא מהווה בסיס למרחב השורות. ==תרגיל 11.2ב==מהי המטריצה A|b? :המטריצה A שהוסיפו לה מימין את העמודה b. == סכום ישר == לא הבנתי עד הסוף את הנושא של הסכום הישר! אתה יכול לתת דוגמא? גם היתה דוג' בהרצאה שלא ממש הבנתי, V=R^3 u=sp{(1,1,1)}, w={(x1,x2,x3)|x1+x2+x3=0 זה מקור הטעות, x1,x2,x3 in R טענה- v=u+w צ"ל : 1. U+W מוכל בV. 2.V תת מרחב של U+W 3.U חיתוך W שווה 0. למה צריך להוכיח את 2?? ===תשובה===הביטוי <math>V=U\oplus W</math> אומר את שני הדברים הבאים לפי הגדרה: א. V=U+W ב. <math>U\cap W = \{0\}</math> על מנת להוכיח את א, צריך להוכיח את 1+2 שלך (זו סה"כ הכלה דו כיוונית שמוכיחה שיוויון). ב' הוא בדיוק 3 שלך.
תציבי במטריצה '''המקורית''' a=0 ותראי לאן את מגיעה.
אוקי תודה!
<!------------------------------[שאלות חדשות יש לכתוב בראש הדף, לא בסופו. נא לא לכתוב מתחת לקו זה]------------------------------>