שינויים

קפיצה אל: ניווט, חיפוש

חתכי דדקינד

נוספו 142 בתים, 19:07, 4 בספטמבר 2020
/* פעולות בין חתכי דדקינד */
*כאשר נגדיר את הפעולות, נזכור שמטרתינו היא להגדיר את הנקודות "החסרות" על הציר.
==פעולות בין חיבור חתכי דדקינד== ===חיבור===
*יהיו שתי חתכים <math>A,B</math>, נגדיר את החיבור:
===חתך האפס=נגדי== *נגדיר את חתך האפס, בהמשך נוכיח שהוא נייטרלי לחיבור.*<math>0_D=\left\{x\in\mathbb{Q}|x<0\right\}</math>  ===נגדי===
*יהי חתך A, נגדיר את הנגדי:
**<math>-A=\left\{x\in\mathbb{Q}|\exists m\notin A:x<-m\right\}</math>