שינויים
/* בת"ל מקסימלית היא בסיס */ פסקה חדשה
אבל אני מסכים שההוכחה עם העתקות יותר קלה.
--[[משתמש:איתמר שטיין|איתמר שטיין]] 17:27, 29 באוגוסט 2012 (IDT)
== בת"ל מקסימלית היא בסיס ==
האם זו הוכחה טובה למשפט " אם A קבוצה בת"ל מקסימלית אז היא בסיס " ? :
יהי V מ"ו ותהי A בת"ל מקסימלית. צ"ל : V מוכל שווה ב-spanA (ההכלה השנייה טריוואלית).
הוכחה :
נניח בשלילה ש-V לא מוכל שווה בspA, כלומר קיים וקטור b ששייך ל V\spA.
b לא שייך לspA כלומר b אינו צי"ל של איברי A (הגדרת span) גורר ש A איחוד נקודון b בת"ל וזו סתירה לנתון ולכן V=spA ולכן A בסיס ל-V.