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

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה אל: ניווט, חיפוש

שדה המספרים הממשיים (או: השדה הממשי) הוא הקבוצה שאיבריה הם המספרים הממשיים, עם פעולות החיבור והכפל הרגילות. את קבוצת המספרים הממשיים נהוג לסמן באות \mathbb {R}. נהוג לזהות את שדה המספרים הממשיים עם הישר החד-ממדי האינסופי הרציף, לכן השדה נקרא פעמים רבות "הישר הממשי", בייחוד כאשר רוצים לדבר על תכונות יותר "טופולוגיות" או "גאומטריות" שלו.

תכונות[עריכת קוד מקור | עריכה]

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

עוצמת קבוצת המספרים הממשיים מכונה עוצמת הרצף, ונהוג לסמנה בסימונים |\mathbb R|, \aleph, \mathfrak c או \beth_1. גאורג קנטור הוכיח באמצעות שיטת האלכסון של קנטור כי עוצמת הרצף גדולה מעוצמת קבוצת המספרים הטבעיים (למעשה, היא שווה לעוצמת קבוצת החזקה של המספרים הטבעיים -  2^{\aleph_0}=\beth_1).

היסטוריה ובנייה[עריכת קוד מקור | עריכה]

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

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

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

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

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

תהי R קבוצת כל סדרות הקושי ב-\mathbb{Q}, כלומר קבוצת כל הסדרות \{x_n\}_{n=1}^\infty כך שלכל \varepsilon>0 קיים N טבעי כך שלכל זוג טבעיים m,n>N מתקיים |x_m-x_n|<\varepsilon.

נאמר ששתי סדרות שכאלו שקולות אם ורק אם ההפרש ביניהן שואף לאפס, כלומר הסדרות \{x_n\}_{n=1}^\infty ו-\{y_n\}_{n=1}^\infty שקולות אם ורק אם לכל \varepsilon>0 קיים N טבעי כך שלכל n>N טבעי מתקיים |x_n-y_n|<\varepsilon.
ניתן להראות כי הגדרה זו אכן מגדירה יחס שקילות. קבוצת המנה (אוסף כל מחלקות השקילות) של יחס שקילות זה תסומן \mathbb{R}.

את המספרים הרציונליים נזהה בממשיים על ידי מחלקות השקילות המתאימות, עבור רציונלי q מחלקת השקילות המתאימה היא מחלקת השקילות של הסדרה הקבועה \{q\}_{n=1}^\infty.

את פעולות החיבור, החיסור, הכפל והחילוק נגדיר איבר איבר, באופן הבא:
\{x_n\}_{n=1}^\infty+\{y_n\}_{n=1}^\infty:=\{x_n+y_n\}_{n=1}^\infty
\{x_n\}_{n=1}^\infty-\{y_n\}_{n=1}^\infty:=\{x_n-y_n\}_{n=1}^\infty
\{x_n\}_{n=1}^\infty\cdot\{y_n\}_{n=1}^\infty:=\{x_n\cdot y_n\}_{n=1}^\infty
\{x_n\}_{n=1}^\infty / \{y_n\}_{n=1}^\infty:=\{x_n / y_n\}_{n=1}^\infty (יש לשים לב למקרים בהם נוצרת חלוקה ב-0)
בנוסף, את הסדר על איברי הסדרה נגדיר כך: \{x_n\}_{n=1}^\infty \leq \{y_n\}_{n=1}^\infty אם ורק אם קיים N טבעי כך שלכל n>N טבעי מתקיים x_n \leq y_n
(בכל ההגדרות סימוני הסדרות מתייחסים כמובן לסדרות מייצגות של מחלקות השקילות, וניתן להראות כי אין ההגדרה תלויה בסדרה המייצגת)

ניתן להראות כי ההגדרות הנ"ל אכן הופכות את הקבוצה לשדה סדור שלם.
האקסיומה היחידה שאינה נובעת באופן מיידי היא השלמות, כלומר שלכל תת-קבוצה לא ריקה חסומה מלעיל קיים סופרמום (חסם מלעיל קטן ביותר). נוכיח עובדה זו:
תהי 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 שקטן ממנו ממש גם הוא אינו חסם מלעיל.