שינויים
/* בסיס ומימד */
==בסיס ומימד==
'''הגדרה:''' יהיה <math>V</math> מרחב וקטורי מעל <math>\mathbb{F}</math>. קבוצה '''<math>B\subset V''' </math> תקרא בסיס אם# <math>B</math>בת"ל
# <math>B</math> פורשת את המרחב, כלומר <math>)span(B)=V</math>
אם <math>dim_{\mathbb{F}}V<\infty</math> אזי <math>V</math> יקרא נוצר סופית.
'''משפט:''' ההגדרה של מימד מוגדרת היטב ואינה תלויה בבחירת הבסיס. כלומר כל שתי בסיסים <math>B,B'</math> בעלי אותה עוצמה (בעלי אותו מספר איברים).
תארנו את ההגדרה של תלות לינארית בתור היכולת לזרוק וקטורים מבלי להשפיע על המרחב הנפרש. כמובן שלפעולה זו יש סוף - מתישהו לא ניתן לזרוק אף וקטור מבלי לגרוע מהמרחב הנפרש. הקבוצה שנשארנו איתה במקרה זה תקרא '''בסיס'''.
