====סכום תתי מרחבים וסכום ישר ====
הגדרה: <math>V</math> מרחב וקטורי מעל <math>\mathbb{F}</math> . יהיו <math>W_1,W_2\leq V</math> תתי מרחבים.
אזי '''סכום תתי המרחבים ''' <math>W_1 + W_1:=\{w_1+w_2:\, w_1\in W_1, w_2\in W_2\}</math> הינו תת מרחב.
הערה: זהו התת מרחב הכי "קטן" המכיל את שני תת המרחב. פורמאלית, כל תת מרחב <math>U</math> המקיים
כי <math> W_1,W_2\subseteq U</math> יקיים כי <math> W_1+ W_2 \subseteq U</math>
הגדרה: הסכום <math>W_1+W_2</math> יקרא '''סכום ישר''' אם <math>W_1\cap W_2 = \{0\}</math>