Mathwiki:ארגז חול

מתוך Math-Wiki
קפיצה אל: ניווט, חיפוש

שאלה

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


הוכחה

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


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


קישור

 "הרצאות מצולמות בקורס מתמטיקה בדידה"