שינויים

'''>> כן. וודאי מימד U לא גדול ממימד V. נניח שמימדיהם שווים והמימד הוא n. ניקח בסיס ל-U: <math>v_1,...,v_n</math>, אזי זו קבוצה בת n אייברים בת"ל ב-U ולכן ב-V. היות ומימד V הוא n הרי שזו קב' בת"ל מגודל המימד ולכן בסיס גם ל-V. ולכן <math>U=sp{v_1,...,v_n}=V</math>. '''באותו אופן, אם U מוכל ב-V ומימדיהם שווים U=V. עדי