הצגת המקור של Mathwiki:ארגז חול

== שאלה ==

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


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


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


==קישור==

[[file:flower.jpg|200px|link=http://www.math-wiki.com/index.php?title=%D7%A1%D7%A8%D7%98%D7%95%D7%A0%D7%99%D7%9D:%D7%9E%D7%AA%D7%9E%D7%98%D7%99%D7%A7%D7%94_%D7%91%D7%93%D7%99%D7%93%D7%94|alt= "הרצאות מצולמות בקורס מתמטיקה בדידה"|הרצאות מצולמות בקורס מתמטיקה בדידה]]