שינויים
/* תשובה */
===תשובה===
אנחנו פותרים מחר שאלה שכנראה תעזור לך. בינתיים אני ארמוז: מה המימד של הגרעין של פונקציונל?
==שאלה - העתקה אוניטרית==
אני רוצה להוכיח ש-T אוניטרית (TT*=T*T=I) אם ורק אם T שומרת מ"פ.
כיוון אחד טרוויאלי, בכיוון השני אני צריך להוכיח שאם T שומרת מ"פ היא אוניטרית. איך אני עושה את זה?
הגעתי למצב שלכל w,v מתקיים:
<v,T*Tw>=<v,w>
עכשיו, אני יכול לפתח את זה כך:
<v,T*Tv>=<v,v> לכל v,
אבל איך אני יכול להמשיך מכאן? כלומר, אם <a,b>=<a,c> לכל a, האם זה בהכרח אומר ש-b=c?
משתמש אלמוני
