סכום ישר – הבדלי גרסאות

בהינתן ש-<math>\ V=U_1+...+U_n</math>, הטענה שלכל וקטור יש הצגה יחידה כאמור, שקולה לכך שההצגה היחידה של [[0 (מספר)|0]] היא <math>0=0+...+0</math>, וכן שקולה לכך שהחיתוך של כל מרחב <math>U_i</math> עם <math>\sum_{j=1}^{n} {U_j}</math> (כאשר <math>i \ne j</math>) מכיל רק את וקטור ה-0. אפיון שקול לסכום ישר הוא אם ה[[בסיס (אלגברה)|בסיס]]ים של <math>\ U_1,...,U_n</math> זרים בזוגות, והאיחוד שלהם מהווה בסיס למרחב <math>V</math>.

 

 

===סכום ישר של מרחבי מכפלה פנימית===