שינויים

===תרגיל 7.17===

יהא V מ"ו, ותהא B קבוצה המוכלת בV. הוכח שהתנאים הבאים שקולים:

(1) <math>B</math> בסיס עבור <math>V</math>

(2) וקטור האפס אינו שייך לB ולכל קבוצה <math>A\subseteq B</math> מתקיים <math>V=spanA\oplus span(B/A)</math>