שינויים
/* תכונות */
===תכונות ===
יהיה <math>V</math> מ"ו. יהיו <math>A,B\subseteq V</math> תתי קבוצות ו <math>W,U\leq V</math> תתי מרחבים. אזי
#<math>U+W=span\{U\cup W\}</math>, וכפי שאמרנו הסכום הינו תת המרחב הקטן ביותר המכיל את שני תתי המרחבים. #<math>A\subseteq span(A)</math>#<math>A\subseteq B</math> אזי <math>span(A)\subseteq span(B)</math>
# בתירגול הקודם ראינו כי <math>span\{v_1,\dots v_m\}+span\{v_{m+1},\dots v_{m+k}\}=span\{v_1,\dots v_{m+k}\}</math>
## באופן כללי מתקיים כי <math>span(A)+span(B)=span(A\cup B)</math>. הוכחה: מצד אחד <math>A,B\subseteq A\cup B</math> ולכן <math>span(A),span(B)\subseteq span(A\cup B)</math> ולכן <math>span(A)+span(B)\subseteq span(A\cup B)</math>מצד שני <math>A\subseteq span(A)\subseteq span(A)+span(B)</math> ובאופן דומה גם <math>B\subseteq span(A)+span(B)</math> ולכן <math>A\cup B\subseteq span(A)+span(B)</math> ולכן <math>span(A\cup B)\subseteq span(A)+span(B)</math>
===תרגילים===
