הבדלים בין גרסאות בדף "חתכי דדקינד"

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

גרסה מ־19:07, 4 בספטמבר 2020

הקדמה

  • אנחנו מעוניינים שבמערכת המספרים שלנו יהיה פתרון למשוואה x^2=2 (שורש שתיים).
  • הרי אחרת, מה המרחק מהנקודה (1,1) לראשית הצירים (0,0)?
  • האם ייתכן שהפרבולה y=x^2-2 עולה מהנקודה (0,-2) אל הנקודה (2,2) בלי לחתוך את ציר האיקס?
  • כיוון שאין פתרון למשוואה זו בשדה הרציונאליים, אנחנו רוצים לבנות את שדה הממשיים.



  • כיצד ניתן לתאר את נקודת החיתוך החיובית של הפרבולה y=x^2-2 עם ציר האיקס באמצעות המספרים הרציונאליים אם כך?

X^2-2.png

(נבנה באמצעות גאוגברה.)

  • ובכן, ניתן לומר שציר המספרים מתחלק לשניים - לפני שורש שתיים ואחרי שורש שתיים.
  • כלומר, אולי אנחנו יכולים לייצג את נקודת החיתוך על ידי אוסף הנקודות שקטנות ממנה \left\{x\in\mathbb{Q}| x<0 \vee x^2 <2\right\}, זו הקרן באיור.
  • הרעיון הזה של חיתוך ציר הרציונאליים סביב נקודה בלתי קיימת הוליד את חתכי דדקינד.

חתכי דדקינד

  • הגדרה: חתך דדקינד הוא קבוצה A\subseteq\mathbb{Q} המקיימת:
    • A\neq\emptyset
    • A חסומה מלעיל.
    • לכל m\in\mathbb{Q} מתקיים כי m\notin A אם ורק אם m חסם מלעיל של A
  • הערות ותזכורות:
    • חסם מלעיל של קבוצה הוא מספר שגדול יותר מכל איברי הקבוצה.
    • בחתך דדקינד אין מספר גדול ביותר, אחרת זה היה חסם מלעיל ששיך לקבוצה.
    • אם מספר שייך לחתך, בוודאי כל מספר נמוך ממנו שייך לחתך הרי לא ייתכן שמספר נמוך ממנו הוא חסם מלעיל.


  • הקרן באיור לעיל היא חתך דדקינד שתפקידו להגדיר את שורש שתיים.
  • כיצד ניתן להתייחס לקבוצות כאלה בתור מספרים?
  • עלינו להגיד פעולות בין חתכי דדקינד ולהוכיח שמדובר בשדה.
  • כאשר נגדיר את הפעולות, נזכור שמטרתינו היא להגדיר את הנקודות "החסרות" על הציר.

חיבור חתכי דדקינד

  • יהיו שתי חתכים A,B, נגדיר את החיבור:
    • A+B=\left\{a+b|a\in A,b\in B\right\}


  • החיבור הוא חתך דדקינד בעצמו:
    • כיוון שA,B אינן ריקות גם A+B אינה ריקה.
    • סכום חסמי מלעיל של A וB חוסם את A+B.
    • יהי a+b\in A+B, כיוון שאיברי החתכים אינם חסמי מלעיל, קיימים a<c\in A וכן b<d\in B ולכן a+b<c+d\in A+B וa+b אינו חסם מלעיל של A+B
    • יהי m\in\mathbb{Q} שאינו חסם מלעיל של A+B, לכן קיימים m<a+b\in A+B. כעת m-a<b כלומר m-a אינו חסם מלעיל של B ולכן שייך לקבוצה. סה"כ m=a+(m-a)\in A+B.


חתך האפס

  • נגדיר את חתך האפס, בהמשך נוכיח שהוא נייטרלי לחיבור.
  • 0_D=\left\{x\in\mathbb{Q}|x<0\right\}


נגדי

  • יהי חתך A, נגדיר את הנגדי:
    • -A=\left\{x\in\mathbb{Q}|\exists m\notin A:x<-m\right\}


  • לדוגמא -\left\{x\in\mathbb{Q}|x<2\right\}=\left\{x\in\mathbb{Q}|x<-2\right\}


NegDedekind2.png


  • הנגדי הוא חתך דדקינד בעצמו:
    • הנגדי לא ריק:
      • כיוון שA חסומה מלעיל יש לה חסם, וכל המספרים שקטנים ממינוס החסם שייכים לנגדי, ולכן -A\neq\emptyset
    • הנגדי חסום מלעיל:
      • יהי a\in A לכן לכל m\notin A מתקיים כי a<m ולכן -m<-a
      • לכל x\in -A קיים m\notin A כך ש x<-m ולכן x<-a
      • בעצם הנגדי של כל איבר בA הוא חסם מלעיל של -A.
    • כל איבר בנגדי אינו חסם מלעיל:
      • לכל איבר בנגדי x<-m לכן אמצע הקטע בין x,-m גדול מx וקטן מ-m ולכן שייך לנגדי -A ולכן x אינו חסם מלעיל.
    • אם איבר אינו חסם מלעיל, הוא שייך לנגדי:
      • נניח y אינו חסם מלעיל של -A לכן קיים y<x\in -A ולכן קיים m\notin A כך ש y<x<-m ולכן y\in -A