‎0.999...‎

במתמטיקה,הסימון0.999...מציין אתהפיתוח העשרוניהאינסופי,שבו כל הספרות שאחרי הנקודה העשרוניתהן 9. על-פי ההגדרה המקובלת לפיתוח העשרוני, המספר שווה ל־1.השוויון0.999…=1אינו ייחודי; כלמספר ממשיבעלשבר עשרוני סופיאפשר לייצג גם באמצעות שבר עשרוני המסתיים בסדרה אינסופית של תשיעיות. כך למשל, המספר 13.412 ניתן לייצוג גם בתור המספר13.411999….תכונה זו בעצמה אינה ייחודית לכתיב העשרוני: לכלבסיסb, אפשר לייצג כל שבר סופי גם בעזרת רצף אינסופי שבו חוזרת הספרהb-1.

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

העוסקים בחינוך מתמטי מכירים את הקושי שבקבלת השוויון של המספר שבכותרת ל-1. גם בקבוצת הדיון sci.math,נערכו דיונים רבים בנושא השוויון, ואלו הביאו בסופו של דבר להכללת הסברים עבורו בקובץ השאלות והתשובות של הקבוצה.

קיימת הוכחה פשוטה לשוויון0.999...= 1, המבוססת על ההנחות הבאות:

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

שלבי ההוכחה הם:

יהי	$a=0.999999....$
לכן,	$10a=9.99999999....=9+a$
ניתן לחסר מ־$10a$את$a$ומתקבל:	$10a-a=(9+a)-a=9$
כלומר,	$10a-a=9$
כלומר,	$9a=9$
ולפיכך:	$a=1$

מבחינה מתמטית אין עניין מיוחד בשוויון0.999...= 1. הוא מסקנה מיידית מהגדרת הפיתוח העשרוני של מספר ממשי. אולם השוויון מושך תשומת לב רבה בהוראת המתמטיקה כיוון שהוא מקרה מבחן להבנת מושגים רבים, וביניהם:מספר ממשי,טור,סדרה,גבול,פיתוח עשרוניאינסופיועוד. אמנם מושגים אלה יסודיים מאוד במתמטיקה המודרנית, אך הם עמוקים וקשים להבנה. בהתאם, בבית הספר הם נלמדים באופן שטחי בלבד, ולמידה מעמיקה שלהם מתבצעת רק במסגרת לימודים אקדמיים במתמטיקה.

פיתוח עשרוני

ערך מורחב –השיטה העשרונית

בשיטה העשרונית,שבה אנו משתמשים בחיי היום-יום והיא גםשיטת הספירההמקובלת במתמטיקה, מבטאים כלמספר שלםכסכום שלחזקותשל10,המוכפלות בספרות0 עד 9. בשיטה העשרונית אפשר להציג כשבר עשרוני סופירק את המספרים השווים למנת החילוק שלמספר טבעיa בחזקה שלמה של 10,$\textstyle {\frac {a}{10^{n}}}$.מספרים רבים, ובהםמספרים רציונלייםרבים, כגון$\textstyle {\frac {1}{3}}$,לא ניתן להציג באופן זה (משום ש-3 אינו מחלק אף חזקה של 10). מתברר, שכל מספר רציונלי, ואף כלמספר ממשיx, אפשר להציג כסכוםאינסופישל חזקות (שליליות) של 10, הנקרא "הפיתוח העשרוני" של x; אבל עובדה זו אינה מובנת מאליה, ואף אינה דרושה כאן.

פיתוח עשרוני אינסופי

בדיוק כפי שרצף ספרות סופי$\ 0.a_{1}a_{2}\dots a_{n}$מובן כסכום$\textstyle {\frac {a_{1}}{10}}+{\frac {a_{2}}{100}}+\dots +{\frac {a_{n}}{10^{n}}}$,שהוא לעולם מספר רציונלי, אפשר להבין את הרצף האינסופי$\ 0.a_{1}a_{2}\dots a_{n}\dots$כסכום אינסופי,$\textstyle {\frac {a_{1}}{10}}+{\frac {a_{2}}{100}}+\dots +{\frac {a_{n}}{10^{n}}}+\dots$.סכום כזה נקרא "טור עשרוני", המתאים לשבר העשרוני האינסופי$\ 0.a_{1}a_{2}\dots a_{n}\dots$.

בגישה זו (שהיא התפיסה המקובלת במתמטיקה, ללא עוררין), יש שתי בעיות.

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

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

יש דרך קלה להבחין בין הטורים העשרוניים שסכומם רציונלי, לאלו שסכומם אינו כזה. בשבר עשרונימחזורייש קבוצת ספרות החוזרת שוב ושוב ממקום מסוים והלאה. בשבר כזה מקובל לסמן את הקבוצה החוזרת בקו עילי או בנקודות עיליות, או להמשיך את השבר בשלוש נקודות,כאשר הקבוצה החוזרת מובנת מן ההקשר. כך למשל$0.59{\overline {09}}=0.5{\overline {90}}=0.59090\dots$מסמן את השבר שבו, לאחר הספרה 5, באות הספרות 90 שוב ושוב. באופן דומה, בפיתוח העשרוני$0.333\dots$,שלוש הנקודות מציינות שהפיתוח אינו מסתיים, והספרה 3 מופיעה בו בכל מקום משם והלאה. מספר זה שונה, מן השבר הסופי 0.333. מתברר שלכל טור עשרוני מחזורי יש סכום רציונלי, ולכל טור עשרוני שאינו מחזורי יש סכום שאינו רציונלי.

סיכום של שברים עשרוניים

כדי להעניק משמעות לכל שבר עשרוני (מחזורי או שאינו מחזורי) יש להקדים ולפתח באופן מסודר אתשדה המספרים הממשיים(באחת משתי השיטות המקובלות,סדרות קושיאוחתכי דדקינד,או בדרך אחרת). לאחר מכן, ההגדרה המקובלת, והמתבקשת מאליה, תתאים לביטוי הפורמלי $\ 0.a_{1}a_{2}\dots a_{n}\dots$ את המספר הממשי היחיד שהוא סכומו של הטור $\ {\tfrac {a_{1}}{10}}+{\tfrac {a_{2}}{100}}+\dots +{\tfrac {a_{n}}{10^{n}}}+\dots$. בגישה זו יש להוכיח שהטור מתכנס (במרחב של המספרים הממשיים).

אף-על-פי-כן, אם מעוניינים לסכם רק שברים עשרוניים מחזוריים (כגון השבר0.999…), אין בכך צורך: סכומו של הטור ההנדסי $1+{\tfrac {1}{10^{m}}}+{\tfrac {1}{10^{2m}}}+\dots$ הוא ${\tfrac {1}{1-{\frac {1}{10^{m}}}}}={\tfrac {10^{m}}{10^{m}-1}}$, ולכן אפשר לקבל,כהגדרה,שהשבר המחזורי $0.a_{1}a_{2}\dots a_{k}{\overline {a_{k+1}\dots a_{k+m}}}$ מסתכם למספר הרציונלי ${\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}}$ לחלופין, אפשר להוכיח את נכונותה של נוסחה זו, אם מניחים שתי הנחות:

1. הביטוי (המחזורי)$0.a_{1}a_{2}\dots$מייצג מספר בשדהכלשהו.
2. ביטויים מסוג זה מקיימים את החוק$10\cdot 0.a_{1}a_{2}\dots \displaystyle =a_{1}+0.a_{2}a_{3}\dots$.

משתי הנחות אלה נובע, למשל, כי$10\cdot 0.999\dots \displaystyle =9+0.999\dots$,ולכן$0.999\dots ={\frac {9}{9}}=1$.

0.999…בהגדרות שונות של שדה המספרים הממשיים

יש מספר דרכים שקולות להגדיר את המושג שלמספר ממשי.

מספרים ממשיים בתור מחלקות שקילות של ביטויים עשרוניים

אחת הדרכים האלמנטריות לעשות זאת היא להגדיר מספר ממשי בתור ביטוי עשרוני (זאת אומרת רצף מהצורה$a_{1}\cdots a_{n}.b_{1}\cdots b_{k}\cdots$כאשר$a_{i}$ו-$b_{i}$הם ספרות)עד כדייחס השקילותהבא: $$a_{1}\cdots a_{n}.b_{1}\cdots (b_{k}+1)00\cdots 0\cdots$$ שקול ל $$a_{1}\cdots a_{n}.b_{1}\cdots b_{k}99\cdots 9\cdots$$ובאופן דומה: $$a_{1}\cdots (a_{k}+1)0\cdots 0.0\cdots 0\cdots$$ שקול ל $$a_{1}\cdots a_{k}9\cdots 9.9\cdots 9\cdots$$

בגישה זאת השוויון$1=0.999\dots$נובע ישירות מההגדרה, מכיוון שעל-פי יחס השקילות שהוגדר מעלה שני ייצוגים אלה שקולים. לזכותה של הגדרה זאת ניתן לומר שהיא מפורשת ואלמנטרית. עם זאת, הקשר בינה לבין ההגדרה המקובלת למספרים ממשיים אינו מובן מאליו, וקשה גם להגדיר את פעולות החשבון הבסיסיות מתוך הגדרה זאת.

גישה אקסיומטית למספרים ממשיים

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

אחת ממערכות האקסיומות המגדירות את המספרים הממשיים היא מערכת האקסיומות שלשדה סדור שלם.בשדה סדור שלם הגבולשל סדרה עולה שווה לסופרמוםשלה. זאת אומרת למספר הקטן ביותר שגדול או שווה לכל איברי הסדרה. על פי גישה זאת, על מנת להוכיח את השוויון$0.999\cdots =1$יש להסיק אותו מהאקסיומות. להלן דוגמה להוכחה כזאת:

1. נסמן$a_{n}=0.9\cdots 9$כאשר הספרה 9 חוזרת על עצמה$n$פעמים.
2. תחילה מוכיחים באינדוקציהש$a_{n}=1-{\frac {1}{10^{n}}}$
3. לכן הסדרה$a_{n}$עולהוחסומהמלעיל.
4. לכן, לפי אקסיומת השלמות, לסדרה יש גבול
5. לפי ההגדרה גבול זה הוא הערך של השבר העשרוני$0.999\dots$.
6. כעת קל להסיק ש$0.999\dots =1$כפי שהוסבר מעלה.

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

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

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

בניות נוספות של המספרים ממשיים

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

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

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

כדי להוכיח את השוויון$0.999...=1$(או כל טענה אחרת) בבנייה מפורשת מסוימת, די להוכיח שהאקסיומות של המספרים הממשיים מתקיימות בבנייה זאת. העובדה שהשוויון נובע מהאקסיומות הוסברה לעליל. ניתן גם להסיק שוויון זה ישירות מכל אחת מהבניות האלה.

קשיים שמעלה הביטוי...0.999 בהוראת המתמטיקה

השוויון$0.999\cdots =1$מעלה מספר קשיים אצל תלמידים רבים:

1. המושגמספר ממשי,ובהתאם לכך המושגיםגבולופיתוח עשרוני אינסופי, הם מושגים מסובכים. לראיה, אף על פי שבאופן אינטואיטיבי המושג מוכר לאנושות כבר אלפי שנים, הגדרה פורמלית שלו הופיעה רק במאה ה-19.
2. האגף השמאלי של השוויון הוא ביטוי אינסופי. שום "קטימה" (clipping), כלומר ביטוי סופי שלו, לא שווה בדיוק ל-1. למעשה, גם הסדרה שמתקבלת מהקטימות השונות שלו איננה המספר 1, אלא רק סידרה (אחת מני רבות) שמתכנסת למספר 1. המוסכמה ששבר עשרוני אינסופי מייצג את הגבול של הסדרה שמתקבלת מהקטימות השונות שלו - מסובכת להבנה.
3. בעוד שהביטוי באגף שמאל מסובך מאוד, הביטוי באגף ימין פשוט ביותר.
4. השוויון מהווה שתי דרכים שונות לכתוב את אותו המספר. בפני עצמו הדבר לא אמור להעלות קושי. גם השוויון$2+3=5$הוא כזה. אולם$2+3$איננה דרך "תיקנית" לכתוב את$5$,אלא ביטוי חשבוני שנותן את$5$.דוגמאות דומות יותר הן השוויונים:${\frac {2}{2}}=1$ו-$0=-0$,שגם הם מעלים קשיים מסוימים (אם כי קטנים בהרבה). אחד הדברים שמקל על ההבנה של השוויון${\frac {2}{2}}=1$הוא העובדה שלסימן השבר, מלבד היותו חלק מהסימון של מספרים רציונליים, יש גם משמעות של חילוק, לכן אפשר להבין גם אותו כתוצאה של פעולת חילוק, ולא רק כשתי דרכים שונות לכתוב את 1 כשבר. כמובן, שאר הקשיים שצוינו מעלה אינם קיימים בעבור השוויון${\frac {2}{2}}=1$.הסיטואציה עם$0=-0$דומה.

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

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

תופעת היצוג כפול על ידי שבר עשרוני במתמטיקה

אוסף הביטויים העשרוניים

אם נסמן ב-$\mathrm {Dec}$את אוסף כל הביטויים מהצורה$a_{1}\cdots a_{n}.b_{1}\cdots b_{k}\cdots$כך ש-$a_{i}$ו-$b_{i}$הם ספרות עשרוניות לכל$i$,אז ניתן להתייחס לייצוג עשרונישל מספר בתורהעתקה$d:\mathrm {Dec} \to \mathbb {R}$.העובדה שלמספרים ממשייםמסוימים יש יותר מייצוג עשרוני אחד אומרת שההעתקה הזאת איננהחד-חד ערכית.העובדה שלכל מספר ממשי יש ייצוג עשרוני אומרת שהעתקה זאת היאעל.לא ניתן להגדיר מבנה שלשדהעל$\mathrm {Dec}$שיתאים למבנה השדה על$\mathbb {R}$.אולם ניתן להגדירטופולוגיהעל$\mathrm {Dec}$שתתאים לטופולוגיה על$\mathbb {R}$.זאת אומרת להגדיר על$\mathrm {Dec}$טופולוגיה כך ש$d$תהיהפונקציה רציפהופונקציה פתוחה.במילים אחרות הטופולוגיה על$\mathbb {R}$תתקבל כטופולוגיית מנהשל$\mathrm {Dec}$.כך שכל מה "שחסר" כדי ש$d$תהיההומיאומורפיזםזה ש$d$תהיה חד-חד ערכית. מאידך, הטופולוגייות על$\mathrm {Dec}$ועל$\mathbb {R}$מאוד שונות. למשל, בעוד ש-$\mathbb {R}$מרחב קשיר,הרי ש-$\mathrm {Dec}$אינו קשיר לחלוטין.

אם מתמקדים בקטע הסגור$[0,1]\subset \mathbb {R}$אז העתקה$d$הופכת להיות$\{0.\dots,9\}^{\ Omega }\to [0,1]$כאשר הטופולוגיה על$\{0.\dots,9\}^{\ Omega }$היאטופולוגיית המכפלה.המרחב$\{0.\dots,9\}^{\ Omega }$הומיאומורפי לקבוצת קנטור.

ניתן להחליף את בסיס הספירה$10$בכל בסיס ספירה אחר והתוצאה תהיה דומה.

תופעת היצוג הכפול בחישוב עוצמת הממשיים

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

מספרים p-אדיים

ערך מורחב –מספר p-אדי

המספרים ה-p-אדייםמהוויםמערכת מספריםמקבילהלמספרים הממשיים.המספרים ה-p-אדיים שונים מאוד בתכונותיהם מהמספרים הממשיים אך באספקטים מסוימים הם אנלוגיים למספרים הממשיים. מספרים p-אדיים ניתן לכתוב כשברים על פי בסיס ספירה ראשוני p. גם שברים אלה אינסופיים אבל באופן שונה: יש להם מספר סופי של ספרות לאחר הנקודה ומספר אינסופי של ספרות לפניה. הסיבה לכך שהמספר p קטן מ-1 בתורמספר p-אדי.הבדל זה גורם לכך שהמספרים ה-p-אדיים מתנהגים מאוד שונה מהמספרים הממשיים הן מבחינה אריתמטית והן מבחינה טופולוגית. תופעת היצוג הכפול לא קיימת בספרים ה-p-אדיים: לכל מספר p-אדי יצוג יחיד על ידי שבר בבסיס ספירה p. זה למעשה ההבדל הטופולוגי בין המספרים ה-p-אדיים לממשיים. הדבר גורם לכך ששדה המספרים ה-p-אדיים דומה בטופולוגיה שלו לקבוצת קנטור. בפרטכדור היחידהב-p-אדיים (תת קבוצה של מספרים p-אדיים המקבילה לקטע [0,1] בממשיים) הומיאומורפי לקבוצת קנטור.

אנליזה לא סטנדרטית

פרק זה לוקה בחסר. אנאתרמולוויקיפדיה והשלימו אותו.ייתכן שתמצאו פירוט בדף השיחה.

ראו גם

• מערכות מספרים
• חתכי דדקינד
• אנליזה לא סטנדרטית

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

מדיה וקבצים בנושא0.999...בוויקישיתוף

• sci.math FAQ: Why is 0.9999... = 1?
• גדי אלכסנדרוביץ',...0.999 שווה 1,באתר "לא מדויק", 7 ביוני 2008
• אלון עמית,טרחנים כפייתיים במתמטיקה,באתר "האייל הקורא"