שדה המספרים הממשיים – הבדלי גרסאות

תגית: הוספת תבנית לשינויים בערך
נניח כי <math>t</math> מקיים <math>t < r</math>, אז קיים <math>n_0</math> טבעי עבורו <math>t < l_{n_0}</math>, ומכיוון ש-<math>\{l_n\}_{n=1}^\infty</math> מונוטונית עולה נקבל כי לכל <math>n\geq n_0</math> גם מתקיים <math>t < l_n</math>, אך ראינו כבר ש-<math>l_n</math> אינו חסם מלעיל ולכן <math>t</math> שקטן ממנו ממש גם הוא אינו חסם מלעיל.
===בנייה באמצעות חתכי דדקינד===
{{בעבודה}}
[[חתכי דדקינד|חתך דדקינד]] של מספרים רציונליים הוא קבוצה <math>A</math> המקיימת:
* <math>\empty\subset A\not=subset\emptymathbb Q</math>
* <math>A\not=\mathbb{Q}</math>
* לכל <math>x\in A</math> וגם <math>y<x</math>, מתקיים <math>y\in A</math>
* ל<math>A</math> אין מקסימום: לא קיים <math>x\in A</math> כך שלכל <math>y\in A</math> מתקיים <math>y\le x</math>.
כל חתך ייצג מספר ממשי (שהוא ה[[אינפימום]] שלו).
 
לכל מספר רציונלי <math>q</math>, החתך <math>\{x:x<q\}</math> הוא החתך המייצג את <math>q</math>.
 
נגדיר את פעולות החיבור והכפל:
{{להשלים}}
* <math>A+B=\{a+b:a\in A\land b\in B\}</math>
*
 
==קישורים חיצוניים==
891

עריכות