::::אהההה הבנתי, אז הנחת האינדוקצייה שפועלת על המימד נכונה כאן כי אנחנו משתמשים בה עבור U+ שאנחנו יודעים שהמימד שלו קטן ממש מ-n, וההנחה היא עבור 1, . . n-1, ובעצם מוכיחים עבור סכום הישר של ההצגות המצומצמות של T לפי הבסיסים שלהם ב-n. נחמד מאוד :) ! תודה ארז, אין עליך!!
==שאלה==
בפתרונות של שאלה מס' 3 סעיף א' בתרגיל 11, כתוב שזה העתקה בי לינארית. לא הבנתי איך, קח y=0'0'0 x=1'1'1 ותקבל f(x,y)=1 כשאמור לצאת 0...