שדה המספרים הממשיים

שדה המספרים הממשיים (או: השדה הממשי) הוא השדה הסדור היחיד שהוא שדה סדור שלם. אברי השדה הזה הם המספרים הממשיים. מקובל לסמן אותו באות $\mathbb {R}$.

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

תכונות

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

עבור שדות סדורים, אקסיומת החסם העליון שקולה לשילוב של ארכימדיות ושלמות במובן של סדרות. לכן השדה הממשי הוא השדה הסדור הארכימדי היחיד שהוא שלם במובן של סדרות. זהו גם השדה הארכימדי הגדול ביותר: כל שדה סדור ארכימדי מוכל בממשיים.

עוצמת קבוצת המספרים הממשיים מכונה עוצמת הרצף, ונהוג לסמנה בסימונים $|\mathbb {R} |$, $\aleph$, ${\mathfrak {c}}$ או $\beth _{1}$. גאורג קנטור הוכיח באמצעות שיטת האלכסון של קנטור כי השדה אינו בן מניה.

למעשה, עוצמת שדה הממשיים שווה לעוצמת קבוצת החזקה של המספרים הטבעיים - $2^{\aleph _{0}}$. הסיבה לכך היא שעוצמת שדה הממשיים שווה לעוצמת הקטע הפתוח $(0,1)$, וזו שווה ל-$2^{\aleph _{0}}$ על ידי ההצגה הבינארית של כל מספר ממשי בקטע.

היסטוריה ובנייה

ערך מורחב – בניית המספרים הממשיים

השדה הממשי הופיע אחרי שהתברר שהמספרים הרציונליים אינם מספיקים לצרכים גאומטריים, למשל בגלל שאורך האלכסון של ריבוע שאורך צלעו יחידה אחת אינו מספר רציונלי (ראה פיתגוראים). עד סוף המאה ה-19 חשבו על המספרים הממשיים כאורכים של קטעים על ישר אינסופי (כלומר, הבינו את המספרים האלה כעומדים בהתאמה חד-חד ערכית עם הנקודות על הישר), ותפיסה זו עמדה ביסוד התיאור האלגברי של הגאומטריה, באמצעות קואורדינטות קרטזיות (על ידי דקארט). זו גם הסיבה מדוע לעיתים קרובות שדה זה נקרא בשם הישר הממשי.

יש כאן בעיה עקרונית: מצד אחד מנסים להיפטר ממספר גדול של אקסיומות גאומטריות בעזרת ביסוס אלגברי, ומצד שני, האובייקט האלגברי היסודי (השדה הממשי) מוגדר באמצעים גאומטריים. לבעיה זו נמצא פתרון משביע רצון, כאשר ב-1872 פרסם גאורג קנטור מאמר שבו הגדיר את המספרים הממשיים באמצעות סדרות קושי של מספרים רציונליים; הגדרתו (השקולה) של ריכרד דדקינד את המספרים הממשיים באמצעות חתכי דדקינד פורסמה מעט מאוחר יותר באותה שנה.

בנייה באמצעות סדרות קושי של מספרים רציונליים

כאמור, ניתן להגדיר את המספרים הממשיים באמצעות סדרות קושי של מספרים רציונליים. לסדרת קושי יש משמעות רק במסגרת של מרחב מטרי, ובבנייה זו נשתמש במספרים הרציונליים, $\mathbb {Q}$, ובמטריקה $d(x,y)=|x-y|$ (כאשר הקווים האנכיים מציינים ערך מוחלט).

תהי $R$ קבוצת כל סדרות קושי ב-$\mathbb {Q}$. נאמר ששתי סדרות שכאלו שקולות אם ורק אם ההפרש ביניהן שואף לאפס. זהו יחס שקילות. על קבוצת המנה של היחס מגדירים חיבור וכפל באמצעות חיבור וכפל של נציגים (היינו סדרות קושי) איבר-איבר. הפעולות מוגדרות היטב, ומקיימות את כל אקסיומות השדה, כאשר איבר האפס ואיבר היחידה הם המחלקות של הסדרות הקבועות (0) ו-(1). באותה דרך אפשר להתאים לכל מספר רציונלי q את מחלקת השקילות של הסדרה הקבועה (q), וכך משוכן שדה המספרים הרציונליים בקבוצת המנה. יחס הסדר מוגדר כך: $[\{x_{n}\}_{n=1}^{\infty }]<[\{y_{n}\}_{n=1}^{\infty }]$ אם ורק אם קיים r>0 וקיים $N$ טבעי כך שלכל $n>N$ טבעי מתקיים $x_{n}<y_{n}-r$. הגדרה זו אינה תלויה בנציגים, ואיתה הופכת קבוצת המנה לשדה סדור. השדה הזה מקיים את אקסיומת החסם העליון.

הוכחה. תהי $S$ תת-קבוצה לא ריקה חסומה מלעיל על ידי $u$. נגדיר $u_{1}$ כמספר רציונלי כלשהו הגדול מ-$u$ (ולכן הוא בעצמו חסם מלעיל). מכיוון ש-$S$ אינה ריקה, קיים מספר רציונלי $l_{1}$ שקטן יותר מלפחות אחד מאיברי $S$. כעת נמשיך ונגדיר את שתי הסדרות באופן הבא: אם $a_{n}={\frac {u_{n}+l_{n}}{2}}$ חסם מלעיל אז $u_{n+1}=a_{n}$ ו-$l_{n+1}=l_{n}$, אם הוא אינו חסם מלעיל אז $l_{n+1}=a_{n}$ ו-$u_{n+1}=u_{n}$. קל להראות כי שתי הסדרות הנ"ל הן סדרות קושי, והסדרות שקולות. נסמן את מחלקת השקילות שלהן ב-$r$. קל להראות באינדוקציה כי לכל $n$ טבעי $u_{n}$ חסם מלעיל ל-$S$ בעוד ש-$l_{n}$ לא, מעובדה זו נובע כי $r$ חסם מלעיל (לפי הגדרת הסדר שהוצגה קודם), נראה כי גם נובע שהוא סופרמום, כלומר החסם מלעיל הקטן ביותר. נניח כי $t$ מקיים $t<r$, אז קיים $n_{0}$ טבעי עבורו $t<l_{n_{0}}$, ומכיוון ש-$\{l_{n}\}_{n=1}^{\infty }$ מונוטונית עולה נקבל כי לכל $n\geq n_{0}$ גם מתקיים $t<l_{n}$, אך ראינו כבר ש-$l_{n}$ אינו חסם מלעיל ולכן $t$ שקטן ממנו ממש גם הוא אינו חסם מלעיל.

בנייה באמצעות חתכי דדקינד

חתך דדקינד של מספרים רציונליים הוא קבוצה $A$ המקיימת:

• $\emptyset \subset A\subset \mathbb {Q}$
• לכל $x\in A$ וגם $y<x$, מתקיים $y\in A$
• ל$A$ אין מקסימום: לא קיים $x\in A$ כך שלכל $y\in A$ מתקיים $y\leq x$.

כל חתך ייצג מספר ממשי (שהוא הסופרמום שלו).

לכל מספר רציונלי $q$, החתך $\{x:x<q\}$ הוא החתך המייצג את $q$. את קבוצת חתכי דדקינד נסמן $\mathbb {R}$. יחס הסדר על קבוצת החתכים מוגדר לפי $A\leq B\Leftrightarrow A\subseteq B$. פעולת החיבור מוגדרת לפי $A+B=\{x+y|x\in A\land y\in B\}$. לכל חתך קיים נגדי ביחס לחיבור, $-A=\{x-y|x<0\land y\in A^{c}\}$. כעת נגדיר את הכפל. עבור $A,B\geq 0$, נגדיר $A\cdot B=\{x\cdot y|x\in A\setminus 0\land y\in B\setminus 0\}\cup 0$. אם לפחות אחד מהחתכים A,B הוא שלילי, נגדיר $A\cdot B=-(A\cdot -B)=-(-A\cdot B)=-A\cdot -B$. גם כאן מתקבל שדה סדור.

נראה כי השדה הוא שדה סדור שלם: תהי $S\subseteq \mathbb {R}$ קבוצה לא ריקה וחסומה של מספרים ממשיים, ונגדיר $M=\bigcup _{A\in S}A$. אז M הוא חתך, שהוא החסם העליון של $S$.

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

קישורים חיצוניים

• שדה המספרים הממשיים, באתר MathWorld (באנגלית)

תרשים מערכות מספרים ואובייקטים קשורים{| class="mw-collapsible autocollapse navbox" style="width: 90%; margin: 0.5em auto;" cellspacing="3" ! style="background-color:#b0c4de; background:#d1eeee; padding-top: 0.1em; padding-bottom: 0.1em; text-align: center; color: black; font-weight: bold;" | תרשים מערכות מספרים ואובייקטים קשורים

|- | style="padding-top: 3px; padding-bottom: 3px; background-color: #f9f9f9; font-size: 95%" |

מקרא   שדה.   חוג קמוטטיבי עם יחידה.   חוג עם חילוק.   מבנה כללי יותר.   קבוצה סופית   קבוצה בת מניה   קבוצה מעוצמת הרצף   מחלקה הגדולה מכדי להיות קבוצה שיכון העתקה על   איזומורפיזם לא קאנוני. העתקה שקיימת רק בחלק מהמקרים (בהתאם לבחירה של שדה המספרים $K$). ללא העתקות אלה וללא האיזומורפיזמים הלא קאנוניים, הדיאגרמה היא קומוטטיבית.             אלגברות קיילי-דיקסון אלגברות קיילי-דיקסון                           $\mathbb {O}$ $\mathbb {O}$               $\mathbb {H}$ $\mathbb {H}$   הסגור האלגברי של שדה המספרים הסוריאליסטיים הסגור האלגברי של שדה המספרים הסוריאליסטיים                                                                                                                                              ${\overline {\mathbb {C} (t)}}$ ${\overline {\mathbb {C} (t)}}$   $(t)$$\mathbb {C}$ $(t)$$\mathbb {C}$   $[t]$$\mathbb {C}$ $[t]$$\mathbb {C}$   $\mathbb {C}$ $\mathbb {C}$       $\mathbb {C} _{p}$ $\mathbb {C} _{p}$                                                                                                              ${\widehat {\overline {\mathbb {F} _{p}((t))}}}$ ${\widehat {\overline {\mathbb {F} _{p}((t))}}}$                                                                         ${\overline {\mathbb {Q} (t)}}$ ${\overline {\mathbb {Q} (t)}}$   $(t)$${\bar {\mathbb {Q} }}$ $(t)$${\bar {\mathbb {Q} }}$     $[t]$${\bar {\mathbb {Q} }}$ $[t]$${\bar {\mathbb {Q} }}$     ${\bar {\mathbb {Q} }}$ ${\bar {\mathbb {Q} }}$             ${\overline {\mathbb {Q} _{p}}}$ ${\overline {\mathbb {Q} _{p}}}$                               ${\overline {\mathbb {F} _{p}(t)}}$ ${\overline {\mathbb {F} _{p}(t)}}$     ${\overline {\mathbb {F} _{p}((t))}}$ ${\overline {\mathbb {F} _{p}((t))}}$                                                       ${\bar {\mathbb {Z} }}$ ${\bar {\mathbb {Z} }}$                 ${\bar {\mathbb {F} }}_{p}$ ${\bar {\mathbb {F} }}_{p}$       $(t)$${\bar {\mathbb {F} }}_{p}$ $(t)$${\bar {\mathbb {F} }}_{p}$   $((t))$${\bar {\mathbb {F} }}_{p}$ $((t))$${\bar {\mathbb {F} }}_{p}$                                                               $K$ $K$     $_{K}$$\mathbb {A}$ $_{K}$$\mathbb {A}$   $_{\nu }$$K$$:=$$F$ $_{\nu }$$K$$:=$$F$   $L$ $L$                                               שדה מקומי ממאפיין חיובי $((t))$$\mathbb {F} _{q}$ שדה מקומי ממאפיין חיובי $((t))$$\mathbb {F} _{q}$                   ${\mathcal {O}}_{K}$ ${\mathcal {O}}_{K}$       ${\widehat {{\mathcal {O}}_{K}}}$ ${\widehat {{\mathcal {O}}_{K}}}$   ${{\mathcal {O}}_{F}}$ ${{\mathcal {O}}_{F}}$   ${\mathcal {O}}_{F}/{\mathcal {P}}_{F}$$=$ $\mathbb {F} _{q}$ ${\mathcal {O}}_{F}/{\mathcal {P}}_{F}$$=$ $\mathbb {F} _{q}$     $(t)$$\mathbb {F} _{q}$ $(t)$$\mathbb {F} _{q}$   שדה המספרים הסוריאליסטיים שדה המספרים הסוריאליסטיים                                       ${}_{real}$${\overline {\mathbb {R} (t)}}$ ${}_{real}$${\overline {\mathbb {R} (t)}}$   $(t)$$\mathbb {R}$ $(t)$$\mathbb {R}$   $[t]$$\mathbb {R}$ $[t]$$\mathbb {R}$   $\mathbb {R}$ $\mathbb {R}$                                                                                                                 $(t)$$\mathbb {Q}$ $(t)$$\mathbb {Q}$   $[t]$$\mathbb {Q}$ $[t]$$\mathbb {Q}$     $\mathbb {Q}$ $\mathbb {Q}$     $_{\mathbb {Q} }$$\mathbb {A}$ $_{\mathbb {Q} }$$\mathbb {A}$   $\mathbb {Q} _{p}$ $\mathbb {Q} _{p}$       $(t)$$\mathbb {F} _{p}$ $(t)$$\mathbb {F} _{p}$     $((t))$$\mathbb {F} _{p}$ $((t))$$\mathbb {F} _{p}$                                                                               $[t]$$\mathbb {Z}$ $[t]$$\mathbb {Z}$     $\mathbb {Z}$ $\mathbb {Z}$     ${\hat {\mathbb {Z} }}$ ${\hat {\mathbb {Z} }}$   $\mathbb {Z} _{p}$ $\mathbb {Z} _{p}$     $\mathbb {F} _{p}$ $\mathbb {F} _{p}$   $[t]$$\mathbb {F} _{p}$ $[t]$$\mathbb {F} _{p}$     $[[t]]$$\mathbb {F} _{p}$ $[[t]]$$\mathbb {F} _{p}$                           מספרים סודרים מספרים סודרים             $[t]$$\mathbb {N}$ $[t]$$\mathbb {N}$     $\mathbb {N}$ $\mathbb {N}$             $\mathbb {Z} |_{n}$ $\mathbb {Z} |_{n}$

|}