משפט האן-בנך – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
MathKnight (שיחה | תרומות) |
MathKnight (שיחה | תרומות) |
||
שורה 32:
מכיוון שהצלחנו לבנות הרחבה לאיבר המקסימלי של <math>\,E</math>, וניתן לראות בקלות שגם היא ב-<math>\,E</math>, נובע שהוא לא איבר מקסימלי וזו [[סתירה (לוגיקה)|סתירה]].
לכן, האיבר המקסימלי של <math>\,E</math> מוגדר היטב על כל <math>\,L</math> ומהווה הרחבה של <math>\,f_0</math> המקיימת את הנדרש. <math>\blacksquare</math>
== ראו גם ==
|