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

תוכן שנמחק תוכן שנוסף
מ הוספת תבנית:MathWorld בקישורים חיצוניים (תג) (דיון)
ריכארד דדקינד ==> ריכרד דדקינד
שורה 12:
מבחינה היסטורית, השדה הממשי הופיע אחרי שהתברר ש[[שדה המספרים הרציונליים|המספרים הרציונליים]] אינם מספיקים לצרכים [[גאומטריה|גאומטריים]], למשל בגלל שאורך האלכסון של ריבוע שאורך צלעו יחידה אחת אינו [[מספר רציונלי]] (ראה [[פיתגוראים]]). עד סוף [[המאה ה-19]] חשבו על המספרים הממשיים כאורכים של קטעים על ישר אינסופי (כלומר, הבינו את המספרים האלה כעומדים ב[[התאמה חד-חד ערכית]] עם הנקודות על הישר), ותפיסה זו עמדה ביסוד [[גאומטריה אנליטית|התיאור האלגברי של הגאומטריה]], באמצעות [[קואורדינטות קרטזיות]] (על ידי [[דקארט]]). זו גם הסיבה מדוע לעיתים קרובות שדה זה נקרא בשם [[הישר הממשי]].
 
יש כאן בעיה עקרונית: מצד אחד מנסים להיפטר ממספר גדול של אקסיומות גאומטריות בעזרת ביסוס אלגברי, ומצד שני, האובייקט האלגברי היסודי (השדה הממשי) מוגדר באמצעים גאומטריים. לבעיה זו נמצא פתרון משביע רצון, כאשר ב-[[1872]] פרסם [[גאורג קנטור]] מאמר שבו הגדיר את המספרים הממשיים באמצעות [[סדרת קושי|סדרות קושי]] של מספרים רציונליים; הגדרתו (השקולה) של [[ריכארדריכרד דדקינד]] את המספרים הממשיים באמצעות [[חתכי דדקינד]] פורסמה מעט מאוחר יותר באותה שנה.
 
אפשר להגדיר את השדה הממשי באופן אקסיומטי, כ[[שדה סדור שלם|שדה הסדור השלם]] המינימלי, או כ[[שדה סדור שלם|שדה הסדור השלם]] ה[[שדה ארכימדי|ארכימדי]] היחידי.