שינויים
/* הוכחת בת"ל ע"י הנחה בשלילה */
יהיה V מרחב וקטורי, ויהי W תת מרחב. נניח ולוקחים בסיס ל W.
<S=<V1,V2....Vn כעת, ארצה להוכיח שקיים ב-v איבר כלשהו שאינו נמצא בW. אם כך ניתן לומר בפרט שאינו ת"ל בבסיס של W.
'''ועכשיו לשאלה:''' ארצה להוכיח שהבסיס איחוד אותו איבר מ-v הוא אכן בת"ל. אניח בשלילה שהוא ת"ל- '''האם כדי להגיע לסתירה אני יכולה להניח שדווקא המקדם של v האיבר הנוסף שונה מאפס? אם כן, מדוע מותר לי להניח דווקא עליו?'''
תודה :) שבת שלום :)
