0.999...
במתמטיקה, הסימון ...0.999 מציין את הפיתוח העשרוני האינסופי, שבו כל הספרות שאחרי הנקודה העשרונית הן 9. על-פי ההגדרה המקובלת לפיתוח העשרוני, המספר שווה ל־1. השוויון ...0.999=1 אינו ייחודי; כל מספר ממשי בעל שבר עשרוני סופי אפשר לייצג גם באמצעות שבר עשרוני המסתיים בסדרה אינסופית של תשיעיות. כך למשל, המספר 13.412 ניתן לייצוג גם בתור המספר ...13.411999. תכונה זו בעצמה אינה ייחודית לכתיב העשרוני: לכל בסיס b, אפשר לייצג כל שבר סופי גם בעזרת רצף אינסופי שבו חוזרת הספרה b-1.
אף על פי שהשוויון מקובל ללא עוררין על הקהילה המדעית, הגדרת הפיתוח העשרוני מסתמכת על המושג "טור מתכנס" מתחום האנליזה המתמטית. אנשים שאינם מכירים, אינם מבינים או אינם מקבלים רעיונות אלה, מתנגדים לשווין ומנסים ליצור גישות אלטרנטיביות בהן הוא לא יתקיים. יש כמובן מערכות מספרים ושיטות כתיבה אחרות בהן לביטוי ...0.999 אין משמעות או יש משמעות שונה מ-1, אולם בכל דרך עיקבית להציג את המספרים הממשיים באמצעות שברים עשרוניים שיויון זה יתקיים.
העוסקים בחינוך מתמטי מכירים את הקושי שבקבלת השוויון של המספר שבכותרת ל-1. גם בקבוצת הדיון sci.math[1], נערכו דיונים רבים בנושא השוויון, ואלו הביאו בסופו של דבר להכללת הסברים עבורו בקובץ השאלות והתשובות של הקבוצה.
קיימת הוכחה פשוטה לשוויון ...0.999999 = 1, המבוססת על ההנחות הבאות:
- לשבר עשרוני אינסופי יש ערך מוגדר היטב ויחיד.
- כפל של שבר עשרוני אינסופי בעשר שווה לשבר המתקבל מהזזת הנקודה העשרונית מקום אחד ימינה.
- אפשר לחסר שברים עשרוניים אינסופיים.
נגדיר: |
הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle a=0.999999....}
|
לכן, |
הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle 10a = 9.99999999.... = 9+a}
|
נחסר מ־הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle 10a} את הפענוח נכשל (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 10a-a = (9+a)-a = 9}
|
לכן, |
הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle 10a-a=9}
|
כלומר, |
הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle 9a=9}
|
ולפיכך: |
הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle a=1}
|
מבחינה מתמטית אין עניין מיוחד בשוויון ...0.999999 = 1. הוא מסקנה מיידית מהמושג פיתוח עשרוני של מספר ממשי. אולם השווין מושך תשומת לב רבה בהוראת המתמטיקה כיוון שהוא מקרה מבחן להבנת המושגים: מספר ממשי, טור, סדרה, גבול, פיתוח עשרוני אינסופי ועוד. אמנם מושגים אלה יסודיים מאוד במתמטיקה המודרנית, אך הם עמוקים וקשים להבנה. בהתאם, בבית הספר הם נלמדים באופן שיטחי בלבד, ולמידה מעמיקה שלהם מתבצעת רק בבמסגרת לימודים אקדמיים במתמטיקה.
מסיבה זאת הנושא מושך אליו גם "טרחנים כפייתיים" רבים.
פיתוח עשרוני
ערך מורחב – השיטה העשרונית
בשיטה העשרונית, שבה אנו משתמשים בחיי היום-יום והיא גם שיטת הספירה המקובלת במתמטיקה, מבטאים כל מספר שלם כסכום של חזקות של 10, המוכפלות בספרות 0 עד 9. בשיטה העשרונית אפשר להציג כשבר עשרוני סופי רק את המספרים השווים למנת החילוק של מספר טבעי a בחזקה שלמה של 10, הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \textstyle \frac{a}{10^n}} . מספרים רבים, ובהם מספרים רציונליים רבים, כגון 1/3, לא ניתן להציג באופן זה (משום ש- 3 אינו מחלק אף חזקה של 10). מתברר, שכל מספר רציונלי, ואף כל מספר ממשי x, אפשר להציג כסכום אינסופי של חזקות (שליליות) של 10, הנקרא "הפיתוח העשרוני" של x; אבל עובדה זו אינה מובנת מאליה, ואף אינה דרושה כאן.
פיתוח עשרוני אינסופי
בדיוק כפי שרצף ספרות סופי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ 0.a_1a_2\dots a_n} מובן כסכום הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \textstyle \frac{a_1}{10}+\frac{a_2}{100}+\dots+\frac{a_n}{10^n}} , שהוא לעולם מספר רציונלי, אפשר להבין את הרצף האינסופי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ 0.a_1a_2\dots a_n \dots } כסכום אינסופי, הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \textstyle \frac{a_1}{10}+\frac{a_2}{100}+\dots+\frac{a_n}{10^n}+\dots} . לסכום כזה נקרא "טור עשרוני", המתאים לשבר העשרוני האינסופי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ 0.a_1a_2\dots a_n \dots} .
בגישה זו (שהיא התפיסה המקובלת במתמטיקה, ללא עוררין), יש שתי בעיות.
- ראשית, מהי המשמעות של סכום אינסופי? מרגע שהוגדר הסכום של שני מספרים, אפשר להגדיר את הסכום של כל קבוצה סופית של מספרים באינדוקציה; אולם, הגדרה זו אינה מעניקה מובן לסכום של קבוצה אינסופית, ומושג זה דורש הגדרה חדשה. במהלך הטיפול במושג החדש מתברר עד מהרה שקל יותר לטפל בסכום של קבוצה שאיבריה ממוספרים על ידי מספרים טבעיים (...,1,2,3), במקום בסכום של קבוצה כללית. קבוצות כאלה נקראות סדרות. לסדרה שאותה מבקשים לסכם, קוראים במתמטיקה טור; בסוגיית הסיכום של טורים עוסק החשבון האינפיניטסימלי (ראו גם גבול של סדרה). בכל הגדרה מקובלת לסכום של טור, יש טורים שקיים להם סכום (אלו נקראים "טורים מתכנסים"), וטורים שלא קיים להם סכום (אלו נקראים "טורים מתבדרים"). כל הטורים העשרוניים מתכנסים.
- כאן מתעוררת הבעיה השנייה - היכן מחשבים את הסכום? כל טור עשרוני מתכנס למספר ממשי, אבל מספרים אלה בדרך-כלל אינם רציונליים. במילים אחרות, יש טורים עשרוניים שאינם מתכנסים למספר רציונלי. עובדה זו ניתן לבטא בשתי דרכים: מנקודת המבט של המספרים הרציונליים, לטור כזה אין סכום; ומנקודת המבט של המספרים הממשיים, יש לו סכום, שאינו רציונלי.
לכן כדי לתת משמעות לשבר עשרוני יש לקבוע תחילה איזה סוג מספר הוא מתאר ובאיזה מושג של התכנסות משתמשים כדי לפרש אותו. בהקשרים מסוימים יש יותר ממשמעות אחת למושג ההתכנסות. קביעת משמעות למושג ההתכנסות נעשית בדרך כלל על ידי קביעת טופולוגיה. מקובל לתאר באמצעות שברים עשרוניים אינסופיים מספרים ממשיים. על אוסף המספרים הממשיים יש טופולוגיה מקובלת אחת, לפי טופולוגיה זאת סכום של טור חיובי הוא המספר הקטן ביותר אשר גדול מכל הסכומים הסופיים של איברי הטור.
יש דרך קלה להבחין בין הטורים העשרוניים שסכומם רציונלי, לאלו שסכומם אינו כזה. בשבר עשרוני מחזורי יש קבוצת ספרות החוזרת שוב ושוב ממקום מסוים והלאה. בשבר כזה מקובל לסמן את הקבוצה החוזרת בקו עילי או בנקודות עיליות, או להמשיך את השבר בשלוש נקודות, כאשר הקבוצה החוזרת מובנת מן ההקשר. כך למשל הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ 0.59\overline{09} = 0.5\overline{90} = 0.59090...} מסמן את השבר שבו, לאחר הספרה 5, חוזרות הספרות 90 ללא גבול. באופן דומה, בפיתוח העשרוני ...0.333, שלוש הנקודות מציינות שהפיתוח אינו מסתיים, והספרה 3 מופיעה בו בכל מקום. מספר זה שונה, מן השבר הסופי 0.333. מתברר שלכל טור עשרוני מחזורי יש סכום רציונלי, ולכל טור עשרוני שאינו מחזורי יש סכום שאינו רציונלי.
סיכום של שברים עשרוניים
כדי להעניק משמעות לכל שבר עשרוני (מחזורי או שאינו מחזורי) יש להקדים ולפתח באופן מסודר את שדה המספרים הממשיים (באחת משתי השיטות המקובלות, סדרות קושי או חתכי דדקינד, או בדרך אחרת). לאחר מכן, ההגדרה המקובלת, והמתבקשת מאליה, תתאים לביטוי הפורמלי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ 0.a_1a_2\dots a_n \dots} את המספר הממשי היחיד שהוא סכומו של הטור הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \tfrac{a_1}{10}+\tfrac{a_2}{100}+\dots+\tfrac{a_n}{10^n}+\dots} . בגישה זו יש להוכיח שהטור מתכנס (במרחב של המספרים הממשיים).
אף-על-פי-כן, אם מעוניינים לסכם רק שברים עשרוניים מחזוריים (כגון השבר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ 0.999...} ), אין בכך צורך: סכומו של הטור ההנדסי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ 1+\tfrac{1}{10^m}+\tfrac{1}{10^{2m}}+\dots} הוא הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \tfrac{1}{1-\frac{1}{10^m}} = \tfrac{10^m}{10^m-1}} , ולכן אפשר לקבל, כהגדרה, שהשבר המחזורי מסתכם למספר הרציונלי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \tfrac{a_1}{10}+\dots+\tfrac{a_k}{10^k}+\tfrac{10^{m-1}a_{k+1}+10^{m-2}a_{k+2}+\dots+a_{k+m}}{10^m-1}} [2] לחלופין, אפשר להוכיח את נכונותה של נוסחה זו, אם מניחים שתי הנחות פשוטות:
- הביטוי (המחזורי) הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ 0.a_1a_2\dots} מייצג מספר בשדה כלשהו.
- ביטויים מסוג זה מקיימים את החוק הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ 10 \cdot 0.a_1a_2\dots = a_1 + 0.a_2a_3\dots} .
משתי הנחות אלה נובע, למשל, ש- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ 10\cdot 0.999... = 9 + 0.999...} , ולכן הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \textstyle \ 0.999... = \frac{9}{9}=1} .
...0.999 בהגדרות שונות של שדה המספרים הממשיים
יש מספר דרכים שקולות להגדיר את המושג של מספר ממשי.
מספרים ממשיים בתור מחלקות שקילות של כיתובים עשרוניים
אחת הדרכים האלמנטריות לעשות זאת היא להגדיר מספר ממשי בתור כיתוב עשרוני (זאת אומרת בטוי מהצורה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle a_1\cdots a_n.b_1\cdots b_k\cdots} כאשר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle a_i} ו-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle b_i} הם ספרות) עד כדי יחס השקילות הבא: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle a_1\cdots a_n.b_1\cdots (b_k+1) 00 \cdots 0\cdots} שקול ל הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle a_1\cdots a_n.b_1\cdots b_k99\cdots 9\cdots} ובאופן דומה: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle a_1\cdots (a_k+1)0\cdots 0.0\cdots 0\cdots } שקול ל הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle a_1\cdots a_k9\cdots 9.9\cdots 9\cdots }
בגישה זאת השוויון הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle 1=0.999\cdots} נובע ישירות מההגדרה מכיוון שעל-פי יחס השקילות שהוגדר מעלה שני ייצוגים אלה שקולים. היתרון של הגדרה זאת שהיא מפורשת ואלמנטרית והחסרונות שלה שלא ברור למה מושג זה מתאים לאינטואיציה שלנו לגבי מספרים ממשיים וקשה להגדיר את פעולות החשבון הבסיסיות באמצעות הגדרה זאת.
גישה אקסיומטית למספרים ממשיים
במקום לתת בנייה מפורשת של אוסף המספרים הממשיים, ניתן לתת רשימת פעולות שאנו רוצים לבצע על מספרים ממשיים ודרישות שפעולות אלה צריכות לקיים. לדרישות אלה קוראים אקסיומות. יש מספר מערכות של אקסיומות המתארות את המספרים הממשיים ביחידות עד כדי איזומורפיזם. זאת אמרת, שלא יכולות להיות שתי דוגמאות שונות לקבוצות עם פעולות שיקיימו את מערכת האקסיומות. אלה אם דוגמאות אלה יהיו שקולות במובן שתהיה העתקה חח"ע ועל בין הקבוצות ששומרת על הפעולות.
אחת ממערכות האקסיומות המגדירות את המספרים הממשיים היא מערכת האקסיומות של שדה סדור שלם. בשדה סדור שלם הגבול של סדרה עולה שווה לסופרמום שלה. זאת אומרת למספר הקטן ביותר שגדול או שווה לכל איברי הסדרה. על פי גישה זאת, על מנת להוכיח את השוויון הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle 0.999\cdots=1} יש להסיק אותו מהאקסיומות. להלן דוגמה להוכחה כזאת:
- נסמן הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle a_n=0.9\cdots9} כאשר הספרה 9 חוזרת על עצמה הפענוח נכשל (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 a_n=1-\frac{1}{10^n}}
- לכן הסדרה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle a_n} עולה וחסומה מלעיל.
- לכן, לפי אקסיומת השלמות, לסדרה יש גבול
- לפי ההגדרה גבול זה הוא הערך של השבר העשרוני הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle 0.999\cdots} .
- כעת קל להסיק ש הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle 0.999\cdots=1} כפי שהוסבר מעלה.
היתרון הגדול של הגישה האקסיומתית היא האוניברסליות שלה. כל בנייה של המספרים הממשיים תקיים את האקסיומות וכל קבוצה עם פעולות שמקיימת את האקסיומות יכולה להיקרא קבוצת המספרים הממשיים. כמו כן האקסיומות עצמן אינטואיטיביות למדי, ומתיישבות עם הניסיון היום יומי שלנו עם מושג המספרים הממשיים. מה שלא ברור אינטואיטיבית הוא שהאקסיומות מספיקות כדי לתאר את המספרים הממשיים, ושכל עובדה שנכונה עבור המספרים הממשיים תהיה נכונה עבור כל קבוצה המקיימת את האקסיומות. טענה זאת נובעת מהיחידות (עד כדי איזומורפיזם) של קבוצת המספרים הממשיים. יחידות זאת קל יחסית להוכיח פורמלית (בהסתמך על האקסיומות של תורת הקבוצות).
החיסרון של הגישה האקסיומתית הוא שהגישה לא מספקת בנייה מפורשת לקבוצת המספרים הממשיים. היא לא נותנת באופן ישיר את התשובה לשאלה "מהוא מספר ממשי?". כמו כן היא לא מוכיחה שקימת קבוצה המקיימת את כל האקסיומות. לכן כדאי להשלים גישה זאת על ידי בנייה מפורשת של המספרים הממשיים והוכחה שהאקסיומת מתקיימות עבור בנייה זאת. בנייה מפורשת כזאת תספק גם הוכחה שמערכת האקסיומות של המספרים הממשיים היא עיקבית, בהינתן העקביות של תורת הקבוצות.
ניתן להוכיח שהבנייה שמופיעה מעלה מקיימת את האקסיומות, אולם ההוכחה מסורבלת, לכן בדרך כלל מעדיפים בניות אחרות.
בניות נוספות של המספרים ממשיים
שתי הבניות המקובלות לשדה המספרים הממשיים הן חתכי דדקינד ומחלקות שקילות של סדרות קושי. שתי הבניות מתבססות על אותו רעיון כללי:
- תחילה מניחים שהמושג "מספר ממשי" כבר קיים.
- לאחר מכן מוצאים דרך לתאר ביחידות מספר ממשי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle x} על ידי מספרים רציונליים. במילים אחרות למצוא לו מעין תעודת זהות המורכבת ממספרים רציונליים. במקרה של חתכי דדקינד, "תעודת הזהות" היא קבוצת המספרים הרציונליים הקטנים מ - הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle x} . במקרה של סדרות קושי "תעודת הזהות" היא קבוצת הסדורת של מספרים הרציונליים המתכנסות ל - הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle x} .
- לבסוף מאפינם מה יכול להוות תעודת זהות של מספר ממשי (לפי הגישה שניבחרה) ואז מגדירים מספר ממשי להיות "תעודת הזהות" שלו.
רעיון זה עלול להראות קונטרא-אינטואיטיבי כי נדמה שמה שאנחנו מגדירים זה לא המספר עצמו אלה משהוא שמיצג אותו. למעשה רעיון זה שימושי מאוד בכל המתמטיקה, כיוון שבמתמטיקה בדרך כלל אין משמעות למהות האובייקטים עצמם אלה רק לאוסף האובייקטים הרלוונטיים והאינטראקציות ביניהם. כך אפשר לראות, הן חתך דדקינד והן במחלקת שקילות של סדרות קושי בתור שמות שונים לאותו מספר ממשי.
כדי להוכיח את השווין הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle 0.999...=1} (או כל טענה אחרת) בבנייה מפורשת מסוימת, די להוכיח שהאקסיומות של המספרים הממשיים מתקיימות בבנייה זאת. העובדה שהשווין נובע מהאקסיומות הוסברה לעליל. ניתן גם להסיק שוויון זה ישירות מכל אחת מהבניות האלה.
קשיים שמעלה הביטוי ...0.999 בהוראת המתמטיקה
השוויון הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle 0.999\cdots=1} מעלה מספר קשיים אצל תלמידים רבים:
- המושג מספר ממשי, ובהתאם לכך המושגים גבול ופיתוח עשרוני אינסופי, הם מושגים מסובכים. לראיה, אף על פי שבאופן אינטואיטיבי המושג מוכר לאנושות כבר אלפי שנים, הגדרה פורמלית הופיעה רק במאה ה-19.
- האגף השמאלי של השוויון הוא ביטוי אינסופי. שום "קטימה" (clipping), כלומר ביטוי סופי שלו, לא שווה בדיוק ל-1. למעשה, גם הסדרה שמתקבלת מהקטימות השונות שלו איננה המספר 1, אלא רק סידרה (אחת מני רבות) שמתכנסת למספר 1. המוסכמה ששבר עשרוני אינסופי מייצג את הגבול של הסדרה שמתקבלת מהקטימות השונות שלו - מסובכת להבנה.
- בעוד שהביטוי באגף שמאל מסובך מאוד, הביטוי באגף ימין פשוט ביותר.
- השווין מהווה שתי דרכים שונות לכתוב את אותו המספר. בפני עצמו הדבר לא אמור להעלות קושי. גם השוויון הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle 2+3=5} הוא כזה. אולם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle 2+3} איננה דרך "תיקנית" לכתוב את הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle 5} , אלא ביטוי חשבוני שנותן את הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle 5} . דוגמאות דומות יותר הן השוויונים: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{2}{2}=1} ו- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle 0=-0} , שגם הם מעלים קשיים מסוימים (אם כי קטנים בהרבה). אחד הדברים שמקל על ההבנה של השוויון הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{2}{2}=1} הוא העובדה שלסימן השבר, מלבד היותו חלק מהסימון של מספרים רציונליים, יש גם משמעות של חילוק, לכן אפשר להבין גם אותו כתוצאה של פעולת חילוק, ולא רק כשתי דרכים שונות לכתוב את 1 כשבר. כמובן, שאר הקשיים שצוינו מעלה אינם קיימים בעבור השוויון הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{2}{2}=1} . הסיטואציה עם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle 0=-0} דומה.
קשיים אלה מושכים תשומת לב רבה לנושא.[3]. כמו כן, הם גורמים ל- טרחנים כפייתים רבים לעסוק בו. אלה מנסים ליצור הגדורות אלטרנטיביות, ובדרך כלל לא עיקביות ולא מנוסחות היטב, למספרים הממשיים, שבהן השוויון לא יתקיים. כאמור, ניסיונות אלה נדונים לכישלון, אלא אם מוותרים על חלק מהתכונות הבסיסיות של המספרים הממשים ועל הפיתוח העשרוני שלהם.
עם זאת, כמו כל טענה מתמטית, שוויון זה תלוי בהגדרות שלפיהן מפרשים את שני אגפי השוויון. לדוגמה, אם מפרשים את אגף שמאל כפיתוח בבסיס גדול מ-10, אז השיויון לא נכון. גם אם מפרשים את שני האגפים כביטוים עשרוניים ולא כערכים המספריים שלהם, אז הם כמובן שונים.
תופעת היצוג כפול על ידי שבר עשרוני במתמטיקה
אוסף הביטויים העשרוניים
אם נסמן ב- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle Dec} את אוסף כל הביטויים מהצורה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle a_1\cdots a_n.b_1\cdots b_k\cdots} , אז ניתן להתייחס לייצוג עשרוני של מספר בתור העתקה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle d:Dec\to \R} . העובדה שלמספרים ממשיים מסוימים יש יותר מייצוג עשרוני אחד אומרת שההעתקה הזאת איננה חד-חד ערכית. העובדה שלכל מספר ממשי יש ייצוג עשרוני אומרת שהעתקה זאת היא על. לא ניתן להגדיר מבנה של שדה על הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle Dec} שיתאים למבנה השדה על הפענוח נכשל (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 Dec} שתתאים לטופולגיה על הפענוח נכשל (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 Dec} טופולוגיה כך ש הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle d} תהיה פונקציה רציפה ופונקציה פתוחה. במילים אחרות הטופולוגיה על הפענוח נכשל (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 Dec} . כך שכל מה "שחסר" כדי ש הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle d} תהיה הומיאומורפיזם זה ש הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle d} תהיה חד-חד ערכית. מאידך הטופולוגייות על הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle Dec} ועל הפענוח נכשל (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 \R} מרחב קשיר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle Dec} אינו קשיר לחלוטין.
אם מתמקדים בקטע הסגור הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle [0,1] \subset \R} אז העתקה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle d} הופכת להיות הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{0.\dots,9\}^\omega\to [0,1]} כאשר הטופולוגיה על הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{0.\dots,9\}^\omega} היא טופולוגיית המכפלה. המרחב הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \{0.\dots,9\}^\omega} הומיאומורפי לקבוצת קנטור.
ניתן להחליף את בסיס הספירה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle 10} בכל בסיס ספירה אחר והתוצאה תהיה דומה.
תופעת היצוג הכפול בחישוב עוצמת הממשיים
לתופעת היצוג הכפול על ידי שבר עשרוני יש השפעה (מינורית) על הוכחת העובדה שעוצמת שדה המספרים הממשיים היא הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle 2^{\alef_0}} . ההוכחה הסטנדרטית של עובדה זאת מתבססת על ההעתקה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle d} שהוגדרה מעלה. קל לראות ש הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle Dec} היא מעוצמה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle 2^{\alef_0}} (למעשה זה פשוט עוד יותר כשעובדים בבסיס 2) אך מכיוון ש- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle d} איננה חד-חד ערכית זה לא אומר באופן מיידי שזו גם עוצמת שדה הממשיים. קל להסיק זאת באמצעות משפט קנטור-ברנשטיין אך למעשה גם לא קשה להוכיח זאת ישירות במקרה זה.
מספרים p-אדיים
ערך מורחב – מספר p-אדי
המספרים ה-p-אדיים מהווים מערכת מספרים מקבילה למספרים הממשיים. המספרים ה-p-אדיים שונים מאוד בתכונתיהם מהמספרים הממשיים אך באספקטים מסוימים הם אנלוגיים למספרים הממשיים. מספרים p-אדיים ניתן לכתוב כשברים על פי בסיס ספירה ראשוני p. גם שברים אלה אינסופיים אבל באופן שונה: יש להם מספר סופי של ספרות לאחר הנקודה ומספר אינסופי של ספרות לפניה. הסיבה לכך שהמספר p קטן מ-1 בתור מספר p-אדי. הבדל זה גורם לכך שהמספרים ה-p-אדיים מתנהגים מאוד שונה מהמספרים הממשיים הן מבחינה אריתמטית והן מבחינה טופולוגית. תופעת היצוג הכפול לא קיימת בספרים ה-p-אדיים: לכל מספר p-אדי יצוג יחיד על ידי שבר בבסיס ספירה p. זה למעשה ההבדל הטופולוגי בין המספרים ה-p-אדיים לממשיים. הדבר גורם לכך ששדה המספרים ה-p-אדיים דומה בטופולוגיה שלו לקבוצת קנטור. בפרט כדור היחידה ב-p-אדיים (תת קבוצה של מספרים p-אדיים המקבילה לקטע [0,1] בממשיים) הומיאומורפי לקבוצת קנטור.
אנליזה לא סטנדרטית
ראו גם
קישורים חיצוניים
- sci.math FAQ: Why is 0.9999... = 1?
- גדי אלכסנדרוביץ', ...0.999 שווה 1, באתר "לא מדויק", 7 ביוני 2008
- אלון עמית, טרחנים כפייתיים במתמטיקה, באתר "האייל הקורא"
הערות שוליים
- ↑ sci.math
- ↑ הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{\frac{1}{1-\frac{1}{10}}.}{1-\frac{1}{10}}=1}
- ↑ ראו לדוגמה sci.math FAQ: Why is 0.9999...=1?, גדי אלכסנדרוביץ', ...0.999 שווה 1, באתר "לא מדויק", 7 ביוני 2008
מספרים טבעיים | |||||||||||||||||||||||||
0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | ||||||||||||||||
10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | ||||||||||||||||
20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | ||||||||||||||||
30 | 31 | 32 | 33 | 34 | 35 | 36 | 37 | 38 | 39 | ||||||||||||||||
40 | 41 | 42 | 43 | 44 | 45 | 46 | 47 | 48 | 49 | ||||||||||||||||
50 | 51 | 52 | 53 | 54 | 55 | ||||||||||||||||||||
| |||||||||||||||||||||||||
אחרים | |||||||||||||||||||||||||
שמות מספרים | ...0.999 | 666 | 1089 | 1729 | קבוע קפרקר | גוגול | גוגולפלקס | מספר גרהאם |
0.999...35172577Q713113