שינויים
/* הגדרת המרחב הנפרש (span) */
שימו לב: span של קבוצה אינסופית הוא אוסף הצירופים הלינאריים של כל קבוצה סופית של וקטורים שנבחר מבין המרחב כולו.
==תכונות המרחב הנפרש==
עד כה תארנו את הspan כקבוצה ואילו פנינו אליו בשם 'מרחב'. הסיבה היא שהspan הינו תמיד תת-מרחב כפי שקל להוכיח באמצעות הקריטריון המקוצר - צירוף לינארי של צירופים לינאריים הינו צירוף לינארי בעצמו. לא רק שהמרחב הנפרש הוא אכן מרחב, הוא המרחב הקטן ביותר המכיל את הקבוצה אותה הוא פורש:
===תרגיל===
יהי V מ"ו ותהי A תת קבוצה שלו. הוכח שלכל תת מרחב W כך ש A מוכלת בW, מתקיים ש <math>spanA\subseteq W</math>.
====הוכחה====
אם <math>v\in spanA</math> אזי קיימים וקטורים וסקלרים <math>v_1,...,v_k\in A</math>, <math>a_1,...,a_k\in\mathbb{F}</math> כך שמתקיים <math>v=a_1v_1+...+a_kv_k</math>. מתוך הנתון ש<math>A\subseteq W</math> נובע ש<math>v_1,...,v_k\in W</math> ולכן מתוך סגירות לכפל וסקלר וחיבור <math>v=a_1v_1+...+a_kv_k\in W</math> משל.
