שינויים

ראשית, <math>U+W\subseteq V</math> ולכן <math>dim(U+W)\leq dim(V)=5</math>. אבל לפי משפט המימדים מתקיים <math>5\geq dim(V+W)=dim(V)+dim(W)-dim(U\cap W)=3+4-dim(U\cap W)</math>.

 ביחד מקבלים ש<math>dim(U\cap W)\geq 2</math>. מצד שני, החיתוך מוכל גם בU וגם בW ולכן המימד שלו קטן שווה מהמימדים שלהם, ובפרט מהקטן מהם. לכן <math>dim(U\cap W)\leq 3</math>.  סה"כ האפשרויות למימד הן 2,3. קל למצוא דוגמאות המוכיחות שאפשרויות אלה אכן מתקבלות מתישהו. ===תרגיל 8.5===יהא V מ"ו ממימד n, ויהיו U,W תתי מרחבים כך ש dimU=n-1 ו-W אינו מוכל בU. הוכח כי W+U=V ====הוכחה====נוכיח בעזרת משפט המימדים ש dim(U+W)=dimV ואז המשל נובע. <math>dim(U+W)=dimU+dimW-dim(U\cap W)</math>. מכיוון שW אינו מוכל בU החיתוך בינהם שונה מU. ולכן <math>dim(U\cap W)<dimW </math> ולכן <math>dimW-dim(U\cap W)\geq 1</math>. ביחד מקבלים <math>dim(U+W)=n-1 + dimW -dim(U\cap W)\geq n-1+1=n=dimV</math>. משל.