הבדלים בין גרסאות בדף "83-110 לינארית להנדסה תשעד סמסטר א/מערכי תרגול"
מתוך Math-Wiki
אחיה בר-און (שיחה | תרומות) |
אחיה בר-און (שיחה | תרומות) |
||
שורה 30: | שורה 30: | ||
שזה גורר <math>x_2=0</math> כנדרש | שזה גורר <math>x_2=0</math> כנדרש | ||
− | *[[מדיה: | + | *[[מדיה:14LinearEng11.pdf|תירגול 11]] |
*[[מדיה:13LinearEng11.pdf|תירגול 12]] | *[[מדיה:13LinearEng11.pdf|תירגול 12]] | ||
*[[מדיה:13LinearEng12.pdf|תירגול 13]] | *[[מדיה:13LinearEng12.pdf|תירגול 13]] | ||
*[[מדיה:13LinearEng13.pdf|תירגול 14]] | *[[מדיה:13LinearEng13.pdf|תירגול 14]] |
גרסה מ־13:14, 24 בדצמבר 2013
83-110 לינארית להנדסה תשעד סמסטר א
הנה הטענה שהבטחתי להוכיח: יהיו ממ"פ מימד סופי מעל , ת"מ שלו. אזי
הוכחה: נוכיח רק את הכיוון (הכיוון השני פשוט ועשינו בכיתה): יהא צ"ל . כיוון ש ממימד סופי אזי ניתן למצוא בסיס או"ג ל ולמצוא הטלה של על . מתקיים ומהגדרת היטל מתקיים .
כלומר כאשר ובפרט .
כעת רוצים להוכיח כי .
כיוון ש אזי בפרט עבור מתקיים . ולכן
שזה גורר כנדרש