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