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

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

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

תכונות

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

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

עוצמת קבוצת המספרים הממשיים מכונה עוצמת הרצף, ונהוג לסמנה בסימונים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle |\mathbb R|} , הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \aleph} , הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathfrak c} או $\beth _{1}$. גאורג קנטור הוכיח באמצעות שיטת האלכסון של קנטור כי השדה אינו בן מניה.

למעשה, עוצמת שדה הממשיים שווה לעוצמת קבוצת החזקה של המספרים הטבעיים - הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle 2^{\aleph_0}} . הסיבה לכך היא שעוצמת שדה הממשיים שווה לעוצמת הקטע הפתוח הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle (0,1)} , וזו שווה ל-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle 2^{\aleph_0}} על ידי ההצגה הבינארית של כל מספר ממשי בקטע.

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

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

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

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

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

כאמור, ניתן להגדיר את המספרים הממשיים באמצעות סדרות קושי של מספרים רציונליים. לסדרת קושי יש משמעות רק במסגרת של מרחב מטרי, ובבנייה זו נשתמש במספרים הרציונליים, $\mathbb {Q}$, ובמטריקה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle d(x,y)=|x-y|} (כאשר הקווים האנכיים מציינים ערך מוחלט).

תהי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle R} קבוצת כל סדרות קושי ב-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb{Q}} . נאמר ששתי סדרות שכאלו שקולות אם ורק אם ההפרש ביניהן שואף לאפס. זהו יחס שקילות. על קבוצת המנה של היחס מגדירים חיבור וכפל באמצעות חיבור וכפל של נציגים (היינו סדרות קושי) איבר-איבר. הפעולות מוגדרות היטב, ומקיימות את כל אקסיומות השדה, כאשר איבר האפס ואיבר היחידה הם המחלקות של הסדרות הקבועות (0) ו-(1). באותה דרך אפשר להתאים לכל מספר רציונלי q את מחלקת השקילות של הסדרה הקבועה (q), וכך משוכן שדה המספרים הרציונליים בקבוצת המנה. יחס הסדר מוגדר כך: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle [\{x_n\}_{n=1}^\infty] < [\{y_n\}_{n=1}^\infty]} אם ורק אם קיים r>0 וקיים $N$ טבעי כך שלכל הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle n>N} טבעי מתקיים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle x_n < y_n-r} . הגדרה זו אינה תלויה בנציגים, ואיתה הופכת קבוצת המנה לשדה סדור. השדה הזה מקיים את אקסיומת החסם העליון.

הוכחה. תהי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle S} תת-קבוצה לא ריקה חסומה מלעיל על ידי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle u} . נגדיר $u_{1}$ כמספר רציונלי כלשהו הגדול מ-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle u} (ולכן הוא בעצמו חסם מלעיל). מכיוון ש-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle S} אינה ריקה, קיים מספר רציונלי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle l_1} שקטן יותר מלפחות אחד מאיברי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle S} . כעת נמשיך ונגדיר את שתי הסדרות באופן הבא: אם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle a_n=\frac{u_n+l_n}{2}} חסם מלעיל אז הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle u_{n+1}=a_n} ו-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle l_{n+1}=l_n} , אם הוא אינו חסם מלעיל אז הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle l_{n+1}=a_n} ו-$u_{n+1}=u_{n}$. קל להראות כי שתי הסדרות הנ"ל הן סדרות קושי, והסדרות שקולות. נסמן את מחלקת השקילות שלהן ב-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle r} . קל להראות באינדוקציה כי לכל הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle n} טבעי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle u_n} חסם מלעיל ל-$S$ בעוד ש-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle l_n} לא, מעובדה זו נובע כי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle r} חסם מלעיל (לפי הגדרת הסדר שהוצגה קודם), נראה כי גם נובע שהוא סופרמום, כלומר החסם מלעיל הקטן ביותר. נניח כי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle t} מקיים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle t < r} , אז קיים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle n_0} טבעי עבורו הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle t < l_{n_0}} , ומכיוון ש-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{l_n\}_{n=1}^\infty} מונוטונית עולה נקבל כי לכל $n\geq n_{0}$ גם מתקיים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle t < l_n} , אך ראינו כבר ש-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle l_n} אינו חסם מלעיל ולכן הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle t} שקטן ממנו ממש גם הוא אינו חסם מלעיל.

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

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

• הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \empty\subset A\subset\mathbb Q}
• לכל הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle x\in A} וגם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle y<x} , מתקיים $y\in A$
• להפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} אין מקסימום: לא קיים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle x\in A} כך שלכל הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle y\in A} מתקיים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle y\leq x} .

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

לכל מספר רציונלי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle q} , החתך הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{x:x<q\}} הוא החתך המייצג את הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle q} . את קבוצת חתכי דדקינד נסמן הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb{R}} . יחס הסדר על קבוצת החתכים מוגדר לפי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle A\leq B\Leftrightarrow A\subseteq B} . פעולת החיבור מוגדרת לפי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle A+B=\{x+y|x\in A\land y\in B\}} . לכל חתך קיים נגדי ביחס לחיבור, הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle -A=\{x-y|x<0\land y\in A^c\}} . כעת נגדיר את הכפל. עבור הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle A,B\ge0} , נגדיר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle A\cdot B=\{x\cdot y|x\in A\setminus0\land y\in B\setminus0\}\cup0} . אם לפחות אחד מהחתכים A,B הוא שלילי, נגדיר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle A\cdot B=-(A\cdot-B)=-(-A\cdot B)=-A\cdot-B} . גם כאן מתקבל שדה סדור.

נראה כי השדה הוא שדה סדור שלם: תהי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle S\subseteq\R} קבוצה לא ריקה וחסומה של מספרים ממשיים, ונגדיר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle M=\bigcup_{A\in S}A} . אז M הוא חתך, שהוא החסם העליון של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle S} .

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

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

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

הערות שוליים

הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0

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