:::מה זו הנחת האינדוקציה? זה בדיוק מה שצריך להוכיח הרי. האינדוקציה פה נעשית על המימד. כלומר אנחנו מניחים שכל אופרטור א"ג הוא מהצורה הזו אם הוא פועל על מרחב ממימד n. כעת אנחנו לוקחים את המרחב הגדול, ומפרקים אותו לשני תתי מרחבים אינווריאנטיים U, U+ שהמימד שלהם קטן ממש מהמימד של המרחב כולו. לכן לפי הנחת האינדוקציה האופרטור נראה כמו במשפט על כל אחת מתתי המרחבים הללו.
::::אהההה הבנתי, אז הנחת האינדוקצייה שפועלת על המימד נכונה כאן כי אנחנו משתמשים בה עבור U+ שאנחנו יודעים שהמימד שלו קטן ממש מ-n, וההנחה היא עבור 1, . . n-1, ובעצם מוכיחים עבור סכום הישר של ההצגות המצומצמות של T לפי הבסיסים שלהם ב-n. נחמד מאוד :) ! תודה ארז, אין עליך!!