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