*(לא מתרגל/מרצה) הוכחנו בהרצאה כי סכום של תתי מרחבים (באופן כללי) הוא ת"מ. אם הסכום הישר מוגדר (כלומר החיתוך הוא וקטור האפס) אז הוא גם כן תת מרחב (מדובר במקרה פרטי).
== שאלה כללית לגבי שוויון תתי מרחבים ==
אם שני תתי מרחבים שווים, מה זה אומר על המימדים שלהם ועל הבסיסים שלהם?
ז״א אם U=W (תתי מרחבים) האם זה גורר בהכרח dimU=dimW ושהבסיסים שווים?