סכום ישר

סכום ישר (Direct Sum)

סכום של תתי-מרחבים $U+W$ נקרא סכום ישר, ומסומן כ-$U\oplus W$, אם כל וקטור בסכום ניתן להצגה כחיבור של $u+w$ בדרך יחידה בלבד.

תנאי שקול ושימושי לזיהוי: סכום הוא ישר אם ורק אם החיתוך בין המרחבים מכיל אך ורק את וקטור האפס. כלומר: $U\cap W=\{0\}$.

כאשר מדובר בסכום ישר, המימד מתנהג בפשטות: $\dim (U\oplus W)=\dim (U)+\dim (W)$.