אם U,V מרחבים וקטוריים ו-U מוכל ממש ב-V. האם זה גורר שהמימד של U קטן ממש מהמימד של V? אם כן, מדוע?
תודה מראש.
'''>> כן. וודאי מימד 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>. עדי