Προβολή πηγαίου κώδικα για τη σελίδα 0,999...

{{Μετάφραση-επιμέλεια|Μαθηματική ορολογία}}
[[File:999 Perspective 2.svg|300px|thumbnail|Τα επαναλαμβανόμενα δεκαδικά συνεχίζονται με έναν άπειρο αριθμό από εννιάρια.]]
Στα [[μαθηματικά]], ο [[περιοδικός αριθμός|περιοδικός δεκαδικός]] '''0,999…''', ο οποίος μπορεί επίσης να γραφτεί ως <math>0,\bar{9}</math> ή <math>0,\dot{9}</math>, συμβολίζει ένα [[πραγματικός αριθμός|πραγματικό αριθμό]] που μπορεί να αποδειχθεί πως είναι ο [[αριθμός]] '''1'''. Με άλλα λόγια, οι συμβολισμοί "0,999…" και "1" αναπαριστούν τον ίδιο αριθμό.

Η ισότητα '''0,999… = 1''' είναι εδώ και καιρό αποδεκτή από τους μαθηματικούς και συμπεριλαμβάνεται σε ακαδημαϊκά συγγράμματα. Τις τελευταίες δεκαετίες οι ερευνητές της [[διδακτική των μαθηματικών|διδακτικής των μαθηματικών]] μελέτησαν τον βαθμό στον οποίο το κοινό αποδέχεται την εν λόγω ισότητα.<ref>{{Cite journal|url=http://neospaidagogos.online/files/20_Teyxos_Neou_Paidagogou_Septemvrios_2020.pdf|title=Αποδείξεις ότι 0.9999…..=1 και η εξήγηση για το «φαινόμενο» της μη αποδοχής τους, εκ μέρους σπουδαστών των μαθηματικών και όχι μόνον.|last=Πλατάρος|first=Ιωάννης|date=30/9/2020|journal=ΝΕΟΣ ΠΑΙΔΑΓΩΓΟΣ|accessdate=2/1/2021|doi=|quote=(σελ. 174-185)}}</ref> Μερικοί την απορρίπτουν λόγω των αντιλήψεων τους ότι κάθε αριθμός έχει μοναδική [[δεκαδική γραφή]], ότι θα πρέπει να υπάρχουν μη-αρνητικοί [[απειροστός|απειροστοί]] αριθμοί, ή ότι η γραφή του '''0,999…''' και κατ' επέκταση το πλήθος των ψηφίων του είναι πεπερασμένο.

Γενικά, βάσει της ισότητας 0,999...=1 κάθε αριθμός μπορεί να αναπαρασταθεί με δύο τρόπους, ως απλός δεκαδικός αριθμός και ως περιοδικός αριθμός (επί παραδείγματι το 8,32 και το 8,31999... αναπαριστούν τον ίδιο αριθμό). Η πρώτη αναπαράσταση είναι αυτή που προτιμάται σχεδόν πάντα με αποτέλεσμα να δημιουργηθεί η λανθασμένη αντίληψη ότι είναι η μόνη αναπαράσταση.

==Αλγεβρικές Αποδείξεις==

Αλγεβρικές αποδείξεις που δείχνουν ότι 0,999 ... αντιπροσωπεύει τον αριθμό 1 χρησιμοποιούν έννοιες , όπως [[κλάσματα]],[[διχοτόμηση]], και ψηφίο χειρισμού για τη δημιουργία μετασχηματισμών που διατηρούν την ισότητα από 0,999 ... προς 1.

===Κλάσματα και Διχοτόμηση===

Ένας λόγος για τον οποίο είναι άπειρα δεκαδικά μια αναγκαία προέκταση των πεπερασμένων δεκαδικών είναι να εκπροσωπεί τα κλάσματα. Χρησιμοποιώντας διχοτόμηση, μια απλή διαίρεση των ακεραίων, όπως 1/9 γίνεται ένα επαναλαμβανόμενο δεκαδικό, 0,111 ..., όπου τα ψηφία επαναλαμβάνουν χωρίς τέλος. Αυτό το δεκαδικό δίνει μια γρήγορη απόδειξη για  0,999 ... = 1. [[Πολλαπλασιασμός]] των 9 φορές 1 παράγει 9 σε κάθε ψηφίο, έτσι 9 × 0,111 ... ισούται με   
0,999 ... και 9 × 1/9 ισούται με 1, οπότε 0,999 ... = 1:

:<math>
\begin{align}
0,\bar{9}          &= 0,\bar{9}\\
9 \times 0,\bar{9} &= 9 \times 0.\bar{9} \\
9 \times 0,\bar{9} &= (10 - 1) \times 0,\bar{9} \\
9 \times 0,\bar{9} &= 9,\bar{9} - 0,\bar{9}\\
9 \times 0,\bar{9} &= 9 \\
0,\bar{9}          &= 1
\end{align}
</math>

Μια άλλη μορφή αυτής της απόδειξης πολλαπλασιάζει το 1/3 = 0,333 ... με το 3.

=== Χειρισμός ψηφίου===

Όταν ένας αριθμός σε δεκαδική μορφή πολλαπλασιάζεται με το 10, τα ψηφία δεν αλλάζουν, αλλά κάθε ψηφίο μετακινείται κατά μία θέση προς τα αριστερά. Έτσι, 10 × 0,999 ... ισούται με  9,999 ..., το οποίο είναι 10 μεγαλύτερος από τον αρχικό αριθμό. Για να γίνει αυτό, θεωρείστε ότι αφαιρώντας 0,999 ... από 9,999 ..., καθένα από τα ψηφία μετά την υποδιαστολή μηδενίζεται, δηλαδή το αποτέλεσμα είναι 9-9 = 0 για κάθε τέτοιο ψηφίο. Το τελικό βήμα χρησιμοποιεί άλγεβρα:

:<math>
\begin{align}
x           &= 0,999\ldots \\
10 x       &= 9,999\ldots \\
10 x - x    &= 9,999\ldots - 0,999\ldots \\
9 x         &= 9 \\
x           &= 1
\end{align}
</math>

===Συζήτηση===

Παρόλο που αυτές οι αποδείξεις αποδεικνύουν ότι 0,999 ...&nbsp;=&nbsp;1,ο βαθμός στον οποίο αυτές "εξηγούν" την εξίσωση εξαρτάται από το κοινό. Στην εισαγωγική αριθμητική, όπως αποδείξεις που βοηθούν να κατανοηθεί γιατί 0,999 ... &nbsp;=&nbsp; 1, αλλά 0,333 ... &nbsp;<&nbsp;0,34. Και στην εισαγωγική άλγεβρα, οι αποδείξεις εξηγούν γιατί η γενική μέθοδος μετατροπής κλασμάτων και δεκαδικών ψηφίων  λειτουργεί. Αλλά οι αποδείξεις ρίχνουν λίγο φως στη θεμελιώδη σχέση μεταξύ δεκαδικών ψηφίων και των αριθμών που αντιπροσωπεύουν, το οποίο κρύβεται πίσω από το ερώτημα "πώς δύο διαφορετικές δεκαδικές αναπαραστάσεις μπορούμε να πούμε ότι είναι ίσες σε όλα".<ref>This argument is found in Peressini and Peressini p. 186</ref> Ο Γουίλιαμ Μπάγιερς υποστηρίζει ότι ένας μαθητής ο οποίος συμφωνεί ότι 0,999 ...&nbsp;=&nbsp;1 λόγω των παραπάνω αποδείξεων, αλλά χωρις να έχει αποσαφηνίσει τα πράγματα, δεν καταλαβαίνει πραγματικά την εξίσωση.<ref>Byers pp. 39–41</ref>  Ο Φρεντ Ρίχμαν ισχυρίζεται ότι το πρώτο επιχείρημα "παίρνει τη δύναμή του από το γεγονός ότι οι περισσότεροι άνθρωποι έχουν μάθει να δέχονται την πρώτη εξίσωση χωρίς να σκέφτονται".<ref>Richman p. 396</ref> Μόλις ένα σύστημα αναπαράστασης ορίζεται, μπορεί να χρησιμοποιηθεί για να δικαιολογήσει τους κανόνες της δεκαδικής αριθμητικής που χρησιμοποιείται στις παραπάνω αποδείξεις. Επιπλέον, μπορεί κανείς άμεσα να αποδείξει ότι και το 0,999 ... και  το 1,000 ... αντιπροσωπεύουν το ίδιο πραγματικό αριθμό. Αυτό γίνεται παρακατω.

==Αναλυτικές Αποδείξεις==

Δεδομένου ότι το ζήτημα 0,999 ... δεν επηρεάζει την επίσημη ανάπτυξη των μαθηματικών, μπορεί να μετατεθεί μέχρι να αποδειχθούν τα βασικά θεωρήματα της [[πραγματική ανάλυση]]. Μια απαίτηση είναι να χαρακτηριστούν πραγματικοί αριθμοί που μπορούν να γραφτούν σε δεκαδική μορφή, αποτελούμενοι από ένα προαιρετικό σύμβολο, μια πεπερασμένη ακολουθία οποιουδήποτε αριθμού  ψηφίων που αποτελούν ακέραιο μέρος, μια υποδιαστολή, και μια ακολουθία ψηφίων που σχηματίζουν ένα κλασματικό μέρος. Για τους σκοπούς της συζήτησης 0,999 ..., το ακέραιο μέρος μπορεί να συνοψιστεί ως ''b''<sub>0</sub> και παραμελώντας τους αρνητικούς ,η δεκαδική επέκταση έχει τη μορφή
::<tt><math>b_0.b_1b_2b_3b_4b_5\dots</math></tt>

Το κλασματικό μέρος, σε αντίθεση με το ακέραιο μέρος, δεν περιορίζεται σε έναν πεπερασμένο αριθμό ψηφίων. Αυτή είναι μια [[ένδειξη θέσης]], έτσι ώστε για παράδειγμα, το 5 στο 500 συμβάλλει δέκα φορές όσο το 5 στο 50 και το 5 στο 0,05 συνεισφέρει ένα δέκατο όσο και το 5 σε 0,5.

===Άπειρες σειρές και ακολουθίες===

Ίσως η πιο κοινή ανάπτυξη των δεκαδικών επεκτάσεων είναι να ορίσουμε ως ποσά των [[άπειρες σειρές]]. Σε γενικές γραμμές:
:<math>b_0 . b_1 b_2 b_3 b_4 \ldots = b_0 + b_1\left({\tfrac{1}{10}}\right) + b_2\left({\tfrac{1}{10}}\right)^2 + b_3\left({\tfrac{1}{10}}\right)^3 + b_4\left({\tfrac{1}{10}}\right)^4 + \cdots .</math>

Για 0,999 ... μπορεί κανείς να εφαρμόσει το θεώρημα σ[[συγκλίνουσες σειρές|ύγκλιση]] σχετικό με την [[γεωμετρική σειρά]]<ref>Rudin p. 61, Theorem 3.26; J. Stewart p. 706</ref>

[[File:base4 333.svg|right|thumb|200px| Όρια: Το διάστημα μονάδα, συμπεριλαμβανομένης της [[τεταρτοταγούς συστήματος αρίθμησης|βάσης-4]] ακολουθία κλάσμα (.3, .33, .333, ...) συγκλίνουν στο 1.]]
:Αν <math>|r| < 1 \,\!</math> τότε <math>ar+ar^2+ar^3+\cdots = \frac{ar}{1-r}.</math>

Από τότε που το 0,999 ... είναι ένα τέτοιο ποσό με κοινή αναλογία r = {{frac|1|10}}, το θεώρημα κάνει σύντομη εργασία του θέματος:

:<math>0,999\ldots = 9\left(\tfrac{1}{10}\right) + 9\left({\tfrac{1}{10}}\right)^2 + 9\left({\tfrac{1}{10}}\right)^3 + \cdots = \frac{9\left({\tfrac{1}{10}}\right)}{1-{\tfrac{1}{10}}} = 1.\,</math>
Η απόδειξη αυτή (δηλαδή ότι το 10 ισούται με 9,999 ...) Εμφανίζεται ήδη από το 1770 στο βιβλίο του [[Λέοναρντ Όιλερ]]   [[Στοιχεία της άλγεβρας]].<ref>Euler p. 170</ref>

Το άθροισμα της γεωμετρικής σειράς είναι το ίδιο ένα αποτέλεσμα ακόμη μεγαλύτερο από του Όιλερ. Μια τυπική παραγωγή του 18ου αιώνα που ήδη χρησιμοποιεί έναν όρο προς όρο χειρισμό παρόμοιο με την [[αλγεβρική απόδειξη]] που αναφέρεται παραπάνω, το 1811, από το βιβλίο του Μπόνικαστλ "μια εισαγωγή στην Άλγεβρα" χρησιμοποιεί ένα τέτοιο επιχείρημα για γεωμετρική σειρά για να δικαιολογήσει τον ίδιο ελιγμό στο 0,999 ...<ref>Grattan-Guinness p. 69; Bonnycastle p. 177</ref> Μια αντίδραση του 19ου αιώνα σε αυτές τις φιλελεύθερες μεθόδους άθροισης οδήγησε στον ορισμό που εξακολουθεί να κυριαρχεί σήμερα: το άθροισμα μιας σειράς  ορίζεται να είναι το όριο της ακολουθίας των μερικών αθροισμάτων της. Μια αντίστοιχη απόδειξη του θεωρήματος που υπολογίζει ρητές ακολουθίες. Μπορεί να βρεθεί σε οποιαδήποτε απόδειξη που βασίζεται στο λογισμό ή ανάλυση.<ref>For example, J. Stewart p. 706, Rudin p. 61, Protter and Morrey p. 213, Pugh p. 180, J.B. Conway p. 31</ref>

Η [[ακολουθία]] (''x''<sub>0</sub>, ''x''<sub>1</sub>, ''x''<sub>2</sub>, ...)έχει όριο '' Χ'' αν στην απόσταση |''x''&nbsp;−&nbsp;''x''<sub>''n''</sub>|  γίνουν n αυθαίρετες μικρές αυξήσεις. Η δήλωση ότι 0,999 ...&nbsp;=&nbsp;1 μπορεί να ερμηνευθεί και να αποδειχθεί ως ένα όριο:<ref>The limit follows, for example, from Rudin p. 57, Theorem 3.20e. For a more direct approach, see also Finney, Weir, Giordano (2001) ''Thomas' Calculus: Early Transcendentals'' 10ed, Addison-Wesley, New York.  Section 8.1, example 2(a), example 6(b).</ref>

:<math>0.999\ldots = \lim_{n\to\infty}0.\underbrace{ 99\ldots9 }_{n} = \lim_{n\to\infty}\sum_{k = 1}^n\frac{9}{10^k}  = \lim_{n\to\infty}\left(1-\frac{1}{10^n}\right) = 1-\lim_{n\to\infty}\frac{1}{10^n} = 1.\,</math>

Το τελευταίο βήμα, του ότι το {{frac|1|10<sup>''n''</sup>}} → 0 όταν το ''n'' → ∞, συχνά αιτιολογείται από το [[Ιδιοκτησία του Αρχιμήδη]] των πραγματικών αριθμών. Αυτή η βασισμένη στο όριο στάση απέναντι στο 0,999 ... συχνά βάλει σε πιο υποβλητικούς αλλά λιγότερο ακριβείς όρους. Για παράδειγμα, το  βιβλίο 'Αριθμητική για το πανεπιστήμιο'  εξηγεί "αν το  0,999, συνέχιζε στο άπειρο θα γινόταν 1, Επειδή κάθε προσάρτηση των 9 φέρνει την τιμή πιο κοντά στο 1 ". Το βιβλίο 'Αριθμητική για τα Σχολεία' λέει , "... όταν ένας μεγάλος αριθμός με 9 έχει ληφθεί, η διαφορά μεταξύ 1 και 0,99999 ... γίνεται απίστευτα μικρή".<ref>Davies p. 175; Smith and Harrington p. 115</ref>

===Ένθετα διαστήματα και ελάχιστα άνω φράγματα===

[[File:999 Intervals C.svg|right|thumb|250px|Ενθετα διαστήματα: στη βάση 3, 1 = 1.000 ... = 0,222 ...]]

	

Ο ορισμός σειράς παραπάνω είναι ένας απλός τρόπος για να καθοριστεί ο πραγματικός αριθμός που ονομάζεται από μια δεκαδική επέκταση. Μια συμπληρωματική προσέγγιση έχει προσαρτηθεί στην αντίθετη διαδικασία: για ένα δοσμένο πραγματικό αριθμό, καθορίστε τη δεκαδική επέκταση (-ες) για να τον ονομάσετε.
 
		 
	
Εάν ένας πραγματικός αριθμός'' x'' είναι γνωστό ότι ανήκει στο [[κλειστό διάστημα]] [0, 10] (δηλαδή, είναι μεγαλύτερος από ή ίσος με το 0 και μικρότερος από ή ίσος με το 10), μπορεί κανείς να φανταστεί τη διαίρεση του διαστήματος σε δέκα κομμάτια που επικαλύπτονται μόνο στα άκρα τους: [0, 1], [1, 2], [2, 3], και ούτω καθεξής μέχρι [9, 10]. Ο αριθμός'' Χ'' πρέπει να ανήκει σε ένα από αυτά? Αν ανήκει στο [2, 3], τότε καταγράφεται το ψηφίο «2» και υποδιαιρεί το διάστημα σε [2, 2.1], [2.1, 2.2], .. ., [2,8, 2,9], [2,9, 3]. Συνεχίζοντας αυτή τη διαδικασία προκύπτει μια άπειρη ακολουθία του [[ένθετα διαστήματα]],που επισημαίνονται με μια άπειρη ακολουθία ψηφίων ''b''<sub>0</sub>, ''b''<sub>1</sub>, ''b''<sub>2</sub>, ''b''<sub>3</sub> ..., και  γράφεται
 
		 
	
<math>x=b_0.b_1b_2b_3\dots</math>
 
		 
	
Σε αυτό το φορμαλισμό, οι ταυτότητες 1 = 0,999 ... και 1 = 1,000 ... αντανακλούν, αντίστοιχα, το γεγονός ότι το 1 έγκειται στο [0, 1] και [1, 2], οπότε μπορεί να επιλεχθεί κάποιο υποδιάστημα κατά την εύρεση ψηφίων του. Για να εξασφαλιστεί ότι αυτή η σημείωση δεν καταχράται το σύμβολο «=», κάποιος χρειάζεται ένας τρόπος για να ανακατασκευαστεί ένας μοναδικός πραγματικός αριθμός για κάθε δεκαδικό. Αυτό μπορεί να γίνει με τα όρια, αλλά και άλλες κατασκευές συνεχίζονται με το απαιτούμενο θέμα.<ref>Beals p. 22; I. Stewart p. 34</ref>
 
		

Μια απλή επιλογή είναι το [[θεώρημα ένθετων διαστημάτων]], που εγγυάται ότι δοσμένης μιας ακολουθίας ένθετων, κλειστών διαστημάτων των οποίων τα μήκη  έχουν γίνει αυθαίρετα μικρά, τα διαστήματα περιέχουν ακριβώς ένα πραγματικό αριθμό  [[τομή (θεωρία συνόλων)|τομή]] τους. Έτσι''b''<sub>0</sub>.''b''<sub>1</sub>''b''<sub>2</sub>''b''<sub>3</sub>...  ορίζεται να είναι ο μοναδικός αριθμός που περιέχεται σε όλα τα διαστήματα [''b''<sub>0</sub>,''b''<sub>0</sub> + 1],[''b''<sub>0</sub>.''b''<sub>1</sub>,''b''<sub>0</sub>.''b''<sub>1</sub>+0.1], και ούτω καθεξής. 0.999 ... τότε είναι ο μοναδικός πραγματικός αριθμός που βρίσκεται σε όλα τα χρονικά διαστήματα [0, 1], [0.9, 1], [0.99, 1], και [0,99 ... 9, 1], για κάθε πεπερασμένη συμβολοσειρά 9s. Καθώς το 1 είναι ένα στοιχείο του καθενός από αυτά τα διαστήματα, 0,999 ... . = 1 <ref>Bartle and Sherbert pp. 60–62; Pedrick p. 29; Sohrab p. 46</ref>
 
		 
	
Η Φωλιά θεώρημα διαστήματα συνήθως στηρίζεται σε ένα πιο θεμελιώδες χαρακτηριστικό των πραγματικών αριθμών: η ύπαρξη [[ελάχιστο άνω φράγμα]] s ή'' suprema''. Για να εκμεταλλευθούν άμεσα αυτά τα αντικείμενα, μπορεί να καθοριστεί ''b''<sub>0</sub>.''b''<sub>1</sub>''b''<sub>2</sub>''b''<sub>3</sub>...  ως το ελάχιστο άνω φράγμα του συνόλου των approximants  {''b''<sub>0</sub>,''b''<sub>0</sub>.''b''<sub>1</sub>,''b''<sub>0</sub>.''b''<sub>1</sub>''b''<sub>2</sub>, ...}.<ref>Apostol pp. 9, 11–12; Beals p. 22; Rosenlicht p. 27</ref> Έτσι στη συνέχεια  μπορεί να αποδειχθεί ότι αυτός ο ορισμός (ή το ένθετων ορισμός διαστήματα) είναι σύμφωνος με τη διαδικασία υποδιαίρεσης, υπονοώντας 0.999 ... = 1 και πάλι.Ο Tom Apostol συμπεραίνει οτι
 
<blockquote>		
Το γεγονός ότι ένας πραγματικός αριθμός μπορεί να έχει δύο διαφορετικές δεκαδικές αναπαραστάσεις είναι απλώς μια αντανάκλαση του γεγονότος ότι δύο διαφορετικά σύνολα των πραγματικών αριθμών μπορεί να έχουν την ίδιο ελάχιστο άνω φράγμα ..<ref name=":0">Apostol p. 12</ref>
</blockquote>

==Αποδείξεις από την κατασκευή των πραγματικών αριθμών==

Ορισμένες προσεγγίσεις ορίζουν ρητά  πραγματικούς αριθμούς  [[κατασκευή των πραγματικών αριθμών|δομές που δημιουργήθηκαν κατά την αριθμιτική ορθολογική]], με [[αξιωματική θεωρία συνόλων]]. Οι [[φυσικός αριθμός]]  - 0, 1, 2, 3, και ούτω καθεξής - αρχίζουν με 0 και συνεχίζουν προς τα πάνω, έτσι ώστε κάθε αριθμός έχει διάδοχο. Κάποιος μπορεί να επεκτείνει τους φυσικούς αριθμούς με τα αρνητικά τους να δώσουν όλα τα [[ακέραιος]] , και να επεκτείνει περαιτέρω τις αναλογίες, δίνοντας την [[αριθμιτική ορθολογική]] . Αυτά τα αριθμητικά συστήματα  συνοδεύονται από την αριθμητική πρόσθεση, αφαίρεση, πολλαπλασιασμό και διαίρεση. Πιο διακριτικά, περιλαμβάνουν [[θεωρία διάταξης|διάταξη]], έτσι ώστε ένας αριθμός να μπορεί να συγκριθεί με ένα άλλο και βρέθηκε να είναι μικρότερος από, μεγαλύτερος από, ή ίσος με άλλο αριθμό.

Το βήμα από ρητούς σε πραγματικούς είναι μια σημαντική επέκταση. Υπάρχουν τουλάχιστον δύο δημοφιλείς τρόποι για να επιτευχθεί αυτό το βήμα, και οι δύο δημοσιευμένοι το 1872: [[Dedekind cut]] s\ και [[ακολουθία Cauchy]]. Αποδείξεις ότι 0.999 ... = 1 που χρησιμοποιούν άμεσα αυτές τις κατασκευές δεν βρίσκονται στα σχολικά βιβλία για την πραγματική ανάλυση, όπου η σύγχρονη τάση για τις τελευταίες δεκαετίες ήταν να χρησιμοποιήθει μια αξιωματική ανάλυση. Ακόμα και όταν μια κατασκευή προσφέρεται, συνήθως εφαρμόζεται προς απόδειξη αξιωμάτων των πραγματικών αριθμών, τα οποία υποστηρίζουν στη συνέχεια τις παραπάνω αποδείξεις. Ωστόσο, αρκετοί συγγραφείς εκφράζουν την ιδέα ότι, ξεκινώντας με μια κατασκευή είναι πιο λογικά σκόπιμο, και οι αποδείξεις που προκύπτουν είναι πιο ολοκληρωμένες.<ref>The historical synthesis is claimed by  Griffiths and Hilton (p.xiv) in 1970 and again by Pugh (p. 10) in 2001; both actually prefer Dedekind cuts to axioms. For the use of cuts in textbooks, see Pugh p. 17 or Rudin p. 17. For viewpoints on logic, Pugh p. 10, Rudin p.ix, or Munkres p. 30</ref>

===Τομή Dedekind===
{{Κύριο|Τομή Ντέντεκιντ}}

Κατά την προσέγγιση της [[Τομή Ντέντεκιντ|τομής Ντέντεκιντ]] , κάθε πραγματικός αριθμός''Χ'' ορίζεται ως '''[[άπειρο σύνολο]] του συνόλου των ρητών αριθμών λιγότερο από''Χ'''''.<ref name="Enderton p. 113">Enderton (p. 113) qualifies this description: "The idea behind Dedekind cuts is that a real number ''x'' can be named by giving an infinite set of rationals, namely all the rationals less than ''x''. We will in effect define ''x'' to be the set of rationals smaller than ''x''. To avoid circularity in the definition, we must be able to characterize the sets of rationals obtainable in this way..."</ref>  Συγκεκριμένα, ο πραγματικός αριθμός 1 είναι το σύνολο όλων των [[Ρητός αριθμός|ρητών αριθμών]] που είναι μικρότεροι από 1.<ref name="Richman p p. 119">Rudin pp. 17–20, Richman p. 399, or Enderton p. 119. To be precise, Rudin, Richman, and Enderton call this cut 1*, 1<sup>−</sup>, and 1<sub>''R''</sub>, respectively; all three identify it with the traditional real number 1. Note that what Rudin and Enderton call a Dedekind cut, Richman calls a "nonprincipal Dedekind cut".</ref>  Κάθε θετική δεκαδική επέκταση καθορίζει εύκολα ένα Dedekind cut:. Το σύνολο των ρητών αριθμών που είναι μικρότεροι από κάποιο στάδιο της επέκτασης. Έτσι, ο πραγματικός αριθμός 0.999 ... είναι το σύνολο των ρητών αριθμών ''r'' τέτοιοι ώστε ''r''<0, or''r''<0.9, or''r''<0.99, or''r'' είναι μικρότεροι από κάποιον άλλο αριθμό του εντύπου
:<math>\begin{align}1-\left(\tfrac{1}{10}\right)^n\end{align}</math><ref name="Richman p. 399">Richman p. 399</ref>
Κάθε στοιχείο των 0.999 ... είναι μικρότερο από 1, έτσι ώστε να είναι ένα στοιχείο του πραγματικού αριθμού 1. Αντιστρόφως, ένα στοιχείο 1 είναι ένας ρητός αριθμός
:<math>\begin{align}\tfrac{a}{b}<1\end{align},</math>
η οποία συνεπάγεται
:<math>\begin{align}\tfrac{a}{b}<1-\left(\tfrac{1}{10}\right)^b\end{align}.</math>
Από το 0.999 ... 1 και περιέχουν τους ίδιους ρητούς αριθμούς, είναι το ίδιο σύνολο: 0.999 ... = 1.

Ο ορισμός των πραγματικών αριθμών ως Dedekind Cut εκδόθηκε για πρώτη φορά από την [[Richard Dedekind]] το 1872.<ref name="MacTutor2">{{cite web |url=http://www-gap.dcs.st-and.ac.uk/~history/PrintHT/Real_numbers_2.html |title=History topic: The real numbers: Stevin to Hilbert |author=J J O'Connor and E F Robertson |work=MacTutor History of Mathematics |date=Οκτώβριος 2005 |accessdate=2006-08-30 |archiveurl=https://web.archive.org/web/20070929095431/http://www-gap.dcs.st-and.ac.uk/~history/PrintHT/Real_numbers_2.html |archivedate=2007-09-29 |url-status=dead }}</ref> 
Η παραπάνω προσέγγιση για την ανάθεση πραγματικού αριθμού σε κάθε δεκαδικό επέκτασης οφείλεται σε ένα χαρτί expository τίτλου "Is 0,999 ... = 1;" από τον Fred Richman στο'' [[Μαθηματικά Magazine]]'', το οποίο απευθύνεται σε εκπαιδευτικούς συλλογικών μαθηματικών, ιδιαίτερα στο κατώτερο / ανώτερο επίπεδο, και τους μαθητές τους.<ref name="Richman">Richman</ref>  Ο Richman σημειώνει ότι η λήψη Dedekind Cut σε οποιοδήποτε [[πυκνό υποσύνολο]] των ρητών αριθμών παράγει τα ίδια αποτελέσματα. Ειδικότερα, χρησιμοποιεί [[δεκαδικό κλάσμα]] , για τα οποία η απόδειξη είναι πιο άμεση. Σημειώνει, επίσης, ότι συνήθως οι ορισμοί επιτρέπουν  το
{X: x <1} να είναι μια περικοπή, αλλά όχι το {x: x ≤ 1}. (Ή το αντίστροφο) "Γιατί αυτο;" Ακριβώς για να αποκλείσει την ύπαρξη διακριτών αριθμών 0.9 * και 1 [...] Έτσι, βλέπουμε ότι στον παραδοσιακό ορισμό των πραγματικών αριθμών, η εξίσωση 0.9 * = 1 είναι χτισμένη στο ξεκίνημα.<ref name="Richman pp. 398–399">Richman pp. 398–399</ref> Μια περαιτέρω τροποποίηση της διαδικασίας οδηγεί σε μια διαφορετική δομή όπου τα δύο δεν είναι ίσα. Παρά το γεγονός ότι είναι συνεπείς, πολλοί από τους κοινούς κανόνες των δεκαδικών αριθμητικών δεν ισχύουν πλέον, για παράδειγμα, το κλάσμα 1/3 δεν έχει εκπροσώπηση. Βλέπε "[[# Εναλλακτικά συστήματα αριθμό|Εναλλακτικά συστήματα αριθμός]]" παρακάτω.

===Ακολουθίες Cauchy===
{{Κύριο|Ακολουθίες του Cauchy}}

Μια άλλη προσέγγιση είναι να ορίσουμε ένα πραγματικό αριθμό με '' 'το όριο της ακολουθίας Cauchy ρητών αριθμών'' ». Η κατασκευή των πραγματικών αριθμών χρησιμοποιεί τη διάταξη των ρητών λιγότερο άμεσα. Πρώτον, η απόσταση μεταξύ των ''x''  και'' y'' ορίζεται ως η [[απόλυτη τιμή]] |''x''&nbsp;−&nbsp;''y''|, όπου η απόλυτη τιμή |'' z'' | ορίζεται ως το μέγιστο των'' Ζ'' και &nbsp;−&nbsp;'' Ζ'', συνεπώς ποτέ αρνητική. Στη συνέχεια, οι πραγματικοί ορίζεται να είναι οι ακολουθίες των ρητών που έχουν την ιδιότητα των [[ακολουθιών Cauchy]]  χρησιμοποιώντας αυτή την απόσταση.Δηλαδή, στην ακολουθία (''x''<sub>0</sub>, ''x''<sub>1</sub>, ''x''<sub>2</sub>, ...), μια χαρτογράφηση από φυσικούς αριθμούς σε ρητούς, για κάθε θετικό  δ υπάρχει ένα'' Ν'' τέτοιο ώστε |''x''<sub>''m''</sub>&nbsp;−&nbsp;''x''<sub>''n''</sub>|&nbsp;≤&nbsp;δ για κάθε '' m'','' n''&nbsp;>&nbsp;'' Ν''. (Η απόσταση μεταξύ των όρων γίνεται μικρότερη από οποιαδήποτε θετικό αριθμό.)<ref name="Griffiths p. 386">Griffiths & Hilton §24.2 "Sequences" p. 386</ref>

Αν (''x''<sub>''n''</sub>) και (''y''<sub>''n''</sub>) είναι δύο ακολουθείες Cauchy ,τότε αυτές ορίζονται στο είναι ίση με πραγματικούς αριθμούς,  αν η ακολουθία (''x''<sub>''n''</sub>&nbsp;−&nbsp;''y''<sub>''n''</sub>) έχει όριο το 0. Η αποκοπή του δεκαδικού αριθμού ''b''<sub>0</sub>.''b''<sub>1</sub>''b''<sub>2</sub>''b''<sub>3</sub>... παράγει μια ακολουθία ρητών που είναι Cauchy, αυτό χρησιμοποιείται για να καθορίσει την πραγματική αξία του αριθμού.<ref name="Griffiths & Hilton pp. 388, 393">Griffiths & Hilton pp. 388, 393</ref> Έτσι, στόχος αυτής της διαδικασίας είναι να δείξουμε ότι η ακολουθία  
:<math>\left(1 - 0, 1 - {9 \over 10}, 1 - {99 \over 100}, \dots\right)
= \left(1, {1 \over 10}, {1 \over 100}, \dots \right)</math>
έχει όριο το 0.Λαμβάνοντας υπόψη την'' n''στη διάρκεια της ακολουθίας, για ''n''=0,1,2,..., επομένως, πρέπει να αποδειχθεί ότι
:<math>\lim_{n\rightarrow\infty}\frac{1}{10^n} = 0.</math>

Το όριο αυτό είναι απλό,<ref name="Griffiths & Hilton p. 395">Griffiths & Hilton p. 395</ref>  μια πιθανή απόδειξη είναι ότι για ε = ''a''/''b'' > 0 μπορεί κανείς να πάρει ''N''&nbsp;=&nbsp;''b''  στον ορισμό του [[όριο μίας ακολουθίας]]. Έτσι και πάλι 0.999...&nbsp;=&nbsp;1.

Ο ορισμός των πραγματικών αριθμών, όπως ακολουθίες Cauchy εκδόθηκε για πρώτη φορά ξεχωριστά από τον [[Eduard Heine]] και τον [[Georg Cantor]], το 1872.<ref name="MacTutor2" /> Η παραπάνω προσέγγιση στις δεκαδικές επεκτάσεις, συμπεριλαμβανομένης της απόδειξης ότι 0.999 ... = 1, ακολουθεί στενά το βιβλίο των κλασικών μαθηματικών "Μια σύγχρονη ερμηνεία" έργο των Griffiths και Hilton.  Το βιβλίο είναι γραμμένο ειδικά για να προσφέρει μια δεύτερη ματιά σε γνωστές έννοιες σε ένα σύγχρονο πρίσμα.<ref name="Griffiths & Hilton pp.viii, 395">Griffiths & Hilton pp.viii, 395</ref>

==Γενικεύσεις==

Το αποτέλεσμα ότι 0.999 ... = 1 γενικεύεται εύκολα με δύο τρόπους. Πρώτον, κάθε μη μηδενικό αριθμό με πεπερασμένο δεκαδικό συμβολισμό (ισοδύναμα, ατελείωτα 0 πίσω) έχει ένα αντίστοιχο με καταληκτικά 9. Για παράδειγμα, ο 0,24999 ... ισούται με 0,25. Οι αριθμοί αυτοί είναι ακριβώς τα δεκαδικά κλάσματα, και είναι [[πυκνό σύνολο|πυκνή]].<ref name="Petkovšek p. 408">Petkovšek p. 408</ref>

Δεύτερον, ένα παρόμοιο θεώρημα ισχύει σε κάθε ρίζα ή [[βάσης (ύψωση σε δύναμη)|βάσης]]. Για παράδειγμα, στη βάση 2, (το [[δυαδικό σύστημα αρίθμησης]]) 0.111 ... ισούται με 1, και στη βάση 3 (το [[τριαδικό σύστημα αρίθμησης]]) 0.222 ... ισούται με 1. Τα  διδακτικά βιβλία της πραγματικής ανάλυσης είναι πιθανό να παραλείψουν το παράδειγμα των 0.999 ... και παρουσιάζουν μία ή δύο από αυτές τις γενικεύσεις από την αρχή.<ref name="Morrey p p. 61">Protter and Morrey p. 503; Bartle and Sherbert p. 61</ref>

Εναλλακτικές αναπαραστάσεις για το 1 εμφανίζονται ακόμα και σε μη ακέραιες βάσεις. Για παράδειγμα, στο [[λόγος χρυσής βάσης]], οι δύο τυπικές αναπαραστάσεις είναι 1.000 ... και 0.101010 ..., και υπάρχουν απείρως πολλά περισσότερες παραστάσεις που περιλαμβάνουν γειτονικά 1. Γενικώς, το [[σχεδόν όλων]]'' q'' μεταξύ 1 και 2, υπάρχουν αμέτρητες βάσης ''q'' επεκτάσεις του 1. Από την άλλη πλευρά, εξακολουθούν να υπάρχουν πολλά μη αριθμήσιμα ''q'' (συμπεριλαμβανομένων όλων των φυσικών αριθμών μεγαλύτερο από 1) για τις οποίες υπάρχει μόνο μία βάση ''q'' επέκταση των 1, εκτός από το ασήμαντο 1.000 .... Το αποτέλεσμα ήταν το πρώτο που λαμβάνεται από τον [[Paul Erdős]], τον Miklos Horváth και τον István Joó γύρω στο 1990. Το 1998  ο Vilmos Komornik και η  Paola Loreti καθορίζουν μια μικρότερη τέτοια βάση, την [[Komornik-Loreti σταθερά]] ''q'' = 1,787231650 .... Σε αυτή τη βάση, 1 = 0.11010011001011010010110011010011 ...Τα ψηφία δίνονται από την [[Thue-Morse ακολουθία]], η οποία δεν επαναλαμβάνεται.<ref name="Komornik and Loreti p. 636">Komornik and Loreti p. 636</ref>
 
Μια πιο εκτεταμένη  γενίκευση [[μη τυποποιημένων θέσεων αριθμητικών συστημάτων]]. Έχουν πάρα πολλές παραστάσεις, και κατά κάποιο τρόπο οι δυσκολίες είναι μεγαλύτερες. Για παράδειγμα:<ref name="Kempner p. 611; Petkovšek p. 409">Kempner p. 611; Petkovšek p. 409</ref>
* Στο [[ισορροπημένο τριαδικό]] σύστημα, <sup>1</sup>/<sub>2</sub> = 0.111... = 1.<u>111</u>....
* Στο αντίστροφο [[παραγοντικό σύστημα αρίθμησης]] (χρήση βάσεων 2,3,4, ... για τις θέσεις ''μετά'' την υποδιαστολή), 1 = 1.000 ... = 0,1234 ....

===Αδυναμία ύπαρξης μοναδικής αναπαράστασης===
Το ότι όλα αυτά τα διαφορετικά αριθμητικά συστήματα πάσχουν από πολλαπλές αναπαραστάσεις για ορισμένους πραγματικούς αριθμούς μπορεί να αποδοθεί σε μια θεμελιώδη διαφορά μεταξύ των πραγματικών αριθμών, ως διατεταγμένο σύνολο και συλλογές άπειρες σειρές των συμβόλων, διέταξε [[λεξικογραφική διάταξη|λεξικογραφικά]]. Πράγματι, οι ακόλουθες δύο ιδιότητες εκφράζουν τη δυσκολία:

* Αν ένα [[διάστημα (μαθηματικά)|διάστημα]] του [[πραγματικός αριθμός|πραγματικού αριθμού]] s είναι [[partition ενός συνόλου|διαμέριση]]<ref name=":0" /> σε δύο μη κενά τμήματα ''L'',''R'' , έτσι ώστε κάθε στοιχείο της ''L'' είναι (απολύτως) μικρότερο από κάθε στοιχείο του ''R'', τότε είτε ''L'' περιέχει ένα μεγαλύτερο στοιχείο ή ''R'' περιέχει ένα μικρότερο στοιχείο, αλλά όχι δύο.
** Η συλλογή του άπειρου [[εγχόρδων (επιστήμη υπολογιστών)|εγχόρδων]] s συμβόλων που λαμβάνονται από κάθε πεπερασμένο «αλφάβητο», λεξικογραφικά διατεταγμένη, μπορεί να χωριστεί σε δύο μη κενά τμήματα ''L'',''R'' , έτσι ώστε κάθε στοιχείο του ''L'' να είναι μικρότερο από κάθε στοιχείο του ''R'', ενώ ''L'' περιέχει ένα μεγαλύτερο στοιχείο και ''R'' περιέχει ένα μικρότερο στοιχείο. Πράγματι, αρκεί να λάβει δύο πεπερασμένο [[πρόθεμα (επιστήμη υπολογιστών)|πρόθεμα]] (αρχική substrings) ''p''<sub>1</sub>,''p''<sub>2</sub> των στοιχείων από τη συλλογή, όπως ότι διαφέρουν μόνο στο τελικό τους σύμβολο, για το οποίο σύμβολο έχουν διαδοχικές τιμές, και να λάβει για ''L'' το σύνολο όλων των χορδών στη συλλογή του οποίου το αντίστοιχο πρόθεμα είναι ''p''<sub>1</sub>, και για ''R'' το υπόλοιπο, οι χορδές στη συλλογή του οποίου είναι τουλάχιστον ''p''<sub>2</sub>. Στη συνέχεια,''L'' έχει ένα μεγαλύτερο στοιχείο, ξεκινώντας με''p''<sub>1</sub> και επιλέγοντας το μεγαλύτερο διαθέσιμο σύμβολο σε όλες τις παρακάτω θέσεις, ενώ''R'' έχει ένα μικρότερο στοιχείο που λαμβάνεται ακολουθώντας ''p''<sub>2</sub> από το μικρότερο σύμβολο σε όλες τις θέσεις.
Το πρώτο σημείο προκύπτει από τις βασικές ιδιότητες των πραγματικών αριθμών: ''L'' έχει μια [[supremum]] και το''R'' έχει μια [[infimum]], τα οποία είναι εύκολα φαίνεται να είναι ίσα.  ένα πραγματικός αριθμός βρίσκεται είτε στο ''R'' ή ''L'', αλλά όχι και στα δύο καθώς τα ''L'' και ''R'' υποτίθεται ότι είναι [[διακριτά σύνολα|ασυνεχές]]. Το δεύτερο σημείο γενικεύει την 0.999.../1.000 ... ζεύγος που λαμβάνεται για ''p''<sub>1</sub>="0",''p''<sub>2</sub>="1". Στην πραγματικότητα, το ένα δεν χρειάζεται να χρησιμοποιεί το ίδιο αλφάβητο για όλες τις θέσεις (έτσι ώστε, για παράδειγμα, [[μικτή radix]] συστήματα μπορούν να περιλαμβάνονται) ή να εξετάσει την πλήρη συλλογή των πιθανών χορδών. Το μόνο σημαντικό σημείο είναι ότι σε κάθε θέση ένα [[πεπερασμένο]] συμβόλων (τα οποία μπορεί ακόμη και να εξαρτώνται από τα προηγούμενα σύμβολα) μπορεί να επιλεγεί από (αυτό είναι απαραίτητο για να διασφαλιστεί η μέγιστη και ελάχιστη επιλογή), και ότι κάνοντας μια έγκυρη επιλογή για κάθε θέση που θα πρέπει να οδηγήσει σε μια έγκυρη άπειρη χορδή (έτσι ένα δεν πρέπει να επιτρέψει "9" σε κάθε θέση, ενώ απαγορεύουν μια άπειρη διαδοχή "9"). Βάσει των υποθέσεων αυτών, το ανωτέρω επιχείρημα δείχνει ότι ο [[μονότονος|Για τη διατήρηση]] χάρτης από τη συλλογή των χορδών σε ένα διάστημα των πραγματικών αριθμών δεν μπορεί να είναι μια [[bijection]]: είτε ορισμένοι αριθμοί δεν αντιστοιχούν σε οποιαδήποτε σειρά, ή ορισμένες από αυτές αντιστοιχούν σε περισσότερες από μία χορδή.  Ο Marko Petkovšek έχει αποδειχθεί ότι για κάθε θέση σύστημα που ονομάζει όλους τους πραγματικούς αριθμούς, το σύνολο των πραγματικών με πολλαπλές αναπαραστάσεις είναι πάντα πυκνό. Χρησιμοποιεί την απόδειξη "μια διδακτική άσκηση στο δημοτικό [[σημείο που τοπολογία]]",που Περιλαμβάνει την προβολή σύνολων της θέσης αξίες με τη [[χώρου Stone]]  και την παρατήρηση ότι οι πραγματικές αντιπροσωπείες τους δίνονται από [[συνεχής λειτουργία (τοπολογία )|συνεχείς συναρτήσεις]] <ref>σσ. 410-411 Petkovšek</ref>

===Τομή Dedekind===
{{Κύριο|Τομή Ντέντεκιντ}}

Κατά την προσέγγιση της [[Τομή Ντέντεκιντ|τομής Ντέντεκιντ]] , κάθε πραγματικός αριθμός''Χ'' ορίζεται ως '''[[άπειρο σύνολο]] του συνόλου των ρητών αριθμών λιγότερο από''Χ'''''.<ref name="Enderton p. 113"/>  Συγκεκριμένα, ο πραγματικός αριθμός 1 είναι το σύνολο όλων των ρητών αριθμών που είναι μικρότεροι από 1.<ref name="Richman p p. 119"/>  Κάθε θετική δεκαδική επέκταση καθορίζει εύκολα ένα Dedekind cut:. Το σύνολο των ρητών αριθμών που είναι μικρότεροι από κάποιο στάδιο της επέκτασης. Έτσι, ο πραγματικός αριθμός 0.999 ... είναι το σύνολο των ρητών αριθμών ''r'' τέτοιοι ώστε ''r''<0, or''r''<0.9, or''r''<0.99, or''r'' είναι μικρότεροι από κάποιον άλλο αριθμό του εντύπου
:<math>\begin{align}1-\left(\tfrac{1}{10}\right)^n\end{align}</math><ref name="Richman p. 399"/>
Κάθε στοιχείο των 0.999 ... είναι μικρότερο από 1, έτσι ώστε να είναι ένα στοιχείο του πραγματικού αριθμού 1. Αντιστρόφως, ένα στοιχείο 1 είναι ένας ρητός αριθμός
:<math>\begin{align}\tfrac{a}{b}<1\end{align},</math>
η οποία συνεπάγεται
:<math>\begin{align}\tfrac{a}{b}<1-\left(\tfrac{1}{10}\right)^b\end{align}.</math>
Από το 0.999 ... 1 και περιέχουν τους ίδιους ρητούς αριθμούς, είναι το ίδιο σύνολο: 0.999 ... = 1.

Ο ορισμός των πραγματικών αριθμών ως Dedekind Cut εκδόθηκε για πρώτη φορά από την [[Richard Dedekind]] το 1872.<ref name="MacTutor2"/> 
Η παραπάνω προσέγγιση για την ανάθεση πραγματικού αριθμού σε κάθε δεκαδικό επέκτασης οφείλεται σε ένα χαρτί expository τίτλου "Is 0,999 ... = 1;" από τον Fred Richman στο'' [[Μαθηματικά Magazine]]'', το οποίο απευθύνεται σε εκπαιδευτικούς συλλογικών μαθηματικών, ιδιαίτερα στο κατώτερο / ανώτερο επίπεδο, και τους μαθητές τους.<ref name="Richman"/>  Ο Richman σημειώνει ότι η λήψη Dedekind Cut σε οποιοδήποτε [[πυκνό υποσύνολο]] των ρητών αριθμών παράγει τα ίδια αποτελέσματα. Ειδικότερα, χρησιμοποιεί [[δεκαδικό κλάσμα]] , για τα οποία η απόδειξη είναι πιο άμεση. Σημειώνει, επίσης, ότι συνήθως οι ορισμοί επιτρέπουν  το
{X: x <1} να είναι μια περικοπή, αλλά όχι το {x: x ≤ 1}. (Ή το αντίστροφο) "Γιατί αυτο;" Ακριβώς για να αποκλείσει την ύπαρξη διακριτών αριθμών 0.9 * και 1 [...] Έτσι, βλέπουμε ότι στον παραδοσιακό ορισμό των πραγματικών αριθμών, η εξίσωση 0.9 * = 1 είναι χτισμένη στο ξεκίνημα.<ref name="Richman pp. 398–399"/> Μια περαιτέρω τροποποίηση της διαδικασίας οδηγεί σε μια διαφορετική δομή όπου τα δύο δεν είναι ίσα. Παρά το γεγονός ότι είναι συνεπείς, πολλοί από τους κοινούς κανόνες των δεκαδικών αριθμητικών δεν ισχύουν πλέον, για παράδειγμα, το κλάσμα 1/3 δεν έχει εκπροσώπηση. Βλέπε "[[# Εναλλακτικά συστήματα αριθμό|Εναλλακτικά συστήματα αριθμός]]" παρακάτω.

===Ακολουθίες Cauchy===
{{Κύριο|Ακολουθίες του Cauchy}}

Μια άλλη προσέγγιση είναι να ορίσουμε ένα πραγματικό αριθμό με '' 'το όριο της ακολουθίας Cauchy ρητών αριθμών'' ». Η κατασκευή των πραγματικών αριθμών χρησιμοποιεί τη διάταξη των ρητών λιγότερο άμεσα. Πρώτον, η απόσταση μεταξύ των ''x''  και'' y'' ορίζεται ως η απόλυτη τιμή |''x''&nbsp;−&nbsp;''y''|, όπου η απόλυτη τιμή |'' z'' | ορίζεται ως το μέγιστο των'' Ζ'' και &nbsp;−&nbsp;'' Ζ'', συνεπώς ποτέ αρνητική. Στη συνέχεια, οι πραγματικοί ορίζεται να είναι οι ακολουθίες των ρητών που έχουν την ιδιότητα των [[ακολουθιών Cauchy]]  χρησιμοποιώντας αυτή την απόσταση.Δηλαδή, στην ακολουθία (''x''<sub>0</sub>, ''x''<sub>1</sub>, ''x''<sub>2</sub>, ...), μια χαρτογράφηση από φυσικούς αριθμούς σε ρητούς, για κάθε θετικό  δ υπάρχει ένα'' Ν'' τέτοιο ώστε |''x''<sub>''m''</sub>&nbsp;−&nbsp;''x''<sub>''n''</sub>|&nbsp;≤&nbsp;δ για κάθε '' m'','' n''&nbsp;>&nbsp;'' Ν''. (Η απόσταση μεταξύ των όρων γίνεται μικρότερη από οποιαδήποτε θετικό αριθμό.)<ref name="Griffiths p. 386"/>

Αν (''x''<sub>''n''</sub>) και (''y''<sub>''n''</sub>) είναι δύο ακολουθείες Cauchy ,τότε αυτές ορίζονται στο είναι ίση με πραγματικούς αριθμούς,  αν η ακολουθία (''x''<sub>''n''</sub>&nbsp;−&nbsp;''y''<sub>''n''</sub>) έχει όριο το 0. Η αποκοπή του δεκαδικού αριθμού ''b''<sub>0</sub>.''b''<sub>1</sub>''b''<sub>2</sub>''b''<sub>3</sub>... παράγει μια ακολουθία ρητών που είναι Cauchy, αυτό χρησιμοποιείται για να καθορίσει την πραγματική αξία του αριθμού.<ref name="Griffiths & Hilton pp. 388, 393"/> Έτσι, στόχος αυτής της διαδικασίας είναι να δείξουμε ότι η ακολουθία  
:<math>\left(1 - 0, 1 - {9 \over 10}, 1 - {99 \over 100}, \dots\right)
= \left(1, {1 \over 10}, {1 \over 100}, \dots \right)</math>
έχει όριο το 0.Λαμβάνοντας υπόψη την'' n''στη διάρκεια της ακολουθίας, για ''n''=0,1,2,..., επομένως, πρέπει να αποδειχθεί ότι
:<math>\lim_{n\rightarrow\infty}\frac{1}{10^n} = 0.</math>

Το όριο αυτό είναι απλό,<ref name="Griffiths & Hilton p. 395"/>  μια πιθανή απόδειξη είναι ότι για ε = ''a''/''b'' > 0 μπορεί κανείς να πάρει ''N''&nbsp;=&nbsp;''b''  στον ορισμό του [[όριο μίας ακολουθίας]]. Έτσι και πάλι 0.999...&nbsp;=&nbsp;1.

Ο ορισμός των πραγματικών αριθμών, όπως ακολουθίες Cauchy εκδόθηκε για πρώτη φορά ξεχωριστά από τον [[Eduard Heine]] και τον [[Georg Cantor]], το 1872.<ref name="MacTutor2" /> Η παραπάνω προσέγγιση στις δεκαδικές επεκτάσεις, συμπεριλαμβανομένης της απόδειξης ότι 0.999 ... = 1, ακολουθεί στενά το βιβλίο των κλασικών μαθηματικών "Μια σύγχρονη ερμηνεία" έργο των Griffiths και Hilton.  Το βιβλίο είναι γραμμένο ειδικά για να προσφέρει μια δεύτερη ματιά σε γνωστές έννοιες σε ένα σύγχρονο πρίσμα.<ref name="Griffiths & Hilton pp.viii, 395"/>

==Εφαρμογές==

Μία εφαρμογή του 0.999 ... ως μια αναπαράσταση του 1 εμφανίζεται στη στοιχειώδη θεωρία αριθμων. Το 1802, ο H. Goodwin δημοσίευσε μια παρατήρηση για την εμφάνιση του ψηφιου 9 στις επαναλαμβανόμενες δεκαδικές αναπαραστάσεις των κλασμάτων των οποίων οι παρονομαστές είναι ορισμένα [[Πρώτος αριθμός|πρώτων αριθμών]]. Παραδείγματα περιλαμβάνουν:
1/7 = 0.142857142857 ... και 142 + 857 = 999.
1/73 = 0.0136986301369863 ... και 0136 + 9863 = 9999.

Ο Ε. Midy απεδειξε ένα γενικό αποτέλεσμα για τετοια κλασματα, που σήμερα ονομάζεται θεώρημα του Midy, το 1836. Η δημοσίευση ήταν ασαφής, και δεν είναι σαφές αν η απόδειξη του εμπλέκεται άμεσα με το 0.999 ..., αλλά τουλάχιστον μία σύγχρονη απόδειξη του WG Leavitt το κάνει. Εάν μπορεί να αποδειχθεί ότι ένα δεκαδικό ψηφίο με τη μορφή 0.b1b2b3 ... είναι ένας θετικός ακέραιος, τότε θα πρέπει να είναι ο 0,999 ..., η οποία είναι η πηγή του 9 στο θεώρημα.<ref>Leavitt 1984 p. 301</ref>  Έρευνες σε αυτή την κατεύθυνση μπορουν να παρακινήσουν τετοιες έννοιες όπως αυτη του μεγιστου κοινού διαιρέτη, modular αριθμητική, Fermat primes, σειρες από στοιχεία της ομάδας, και τετραγωνική αμοιβαιότητα.<ref>Lewittes pp. 1–3; Leavitt 1967 pp. 669, 673; Shrader-Frechette pp. 96–98</ref>

Επιστρέφοντας στην πραγματική ανάλυση, η βάση-3 αναλογα 0.222 ... = 1 διαδραματίζει καίριο ρόλο σε ένα χαρακτηρισμό ενός από τα απλούστερα fractals, τα μεσαία τρίτα Cantor:

* Ένα σημείο στο [[διάστημα μονάδας]] έγκειται στο σύνολο Cantor, [[αν και μόνο αν]] μπορεί να αναπαρασταθεί σε τριαδικο χρησιμοποιώντας μόνο τα ψηφία 0 και 2.

Το ''n''στο ψηφίο του παρουσιάζει τη θέση του σημείου στο''n''στο στάδιο της κατασκευής. Για παράδειγμα, το σημείο <sup>2</sup>/<sub>3</sub> είναι δεδομένη η συνηθισμένη αναπαράσταση των 0,2 ή 0,2000 ..., δεδομένου ότι βρίσκεται στα δεξιά της πρώτης διαγραφής και στα αριστερα καθε επομενης διαγραφης. Το σημείο <sup>1</sup>/<sub>3</sub> παριστάνεται όχι ως 0.1 αλλά ως 0,0222 ..., δεδομένου ότι βρίσκεται στα αριστερά της πρώτης διαγραφής και στα δεξιά της κάθε διαγραφής στη συνέχεια.<ref>Pugh p. 97? Alligood, Sauer, and Yorke σσ. 150-152. Protter and Morrey (p. 507) and Pedrick (p. 29) assign this description as an exercise.</ref>

Η επανάληψη των 9 επίσης εμφανιζεται σαν ένα ακόμη από τα έργα του Georg Cantor. Θα πρέπει να ληφθούν υπόψη για να κατασκευάσει μια έγκυρη απόδειξη, εφαρμόζοντας το διαγώνιο επιχείρημα του , του 1891 σε δεκαδικες επεκτάσεις, και της μη μετρισημοτητας του διαστήματος της μονάδας. Μια τέτοια απόδειξη θα πρέπει να είναι σε θέση να δηλώσει ορισμένα ζεύγη των πραγματικών αριθμών να είναι διαφορετικα με βάση τις δεκαδικες επεκτάσεις τους, έτσι κάποιες πρέπει να αποφεύγονται, όπως ζεύγη 0,2 και 0,1999 ... Μια απλή μέθοδος αντιπροσωπεύει όλους τους αριθμούς με ατερμωνες επεκτάσεις. η αντίθετη μέθοδος καταργει την επανάληψη του 9 <ref>Maor (p. 60) and Mankiewicz (p. 151) review the former method; Mankiewicz attributes it to Cantor, but the primary source is unclear. Munkres (p. 50) mentions the latter method.</ref> . Μια παραλλαγή που μπορεί να είναι πιο κοντά στο αρχικό επιχείρημα του Cantor  στην πραγματικότητα χρησιμοποιεί βάση το 2, και μετατρεποντας σε βάσης-3 επεκτάσεις σε βάση-2, μπορεί ακομη κανείς να αποδείξει την μη-μετρησιμοτητα του συνόλου Cantor.<ref>Rudin p. 50, Pugh p. 98</ref>

== Σκεπτικισμός στην εκπαίδευση ==

Οι φοιτητές των μαθηματικών συχνά απορρίπτουν την ισότητα των 0.999 ... και 1, για λόγους που πηγάζουν από βαθιές ανησυχίες όσον αφορά την έννοια όριο και τις διαφωνίες σχετικά με τη φύση των απειροελάχιστων. Υπάρχουν πολλοί κοινοί παράγοντες που συμβάλλουν στη σύγχυση:
*Οι μαθητές είναι συχνά «διανοητικά δεσμευμένοι στην ιδέα ότι ένας αριθμός μπορεί να αναπαρασταθεί με ένα και μονάδικο τρόπο ως δεκαδικός." Βλέποντας δύο προδήλως διαφορετικά δεκαδικά ψηφία που αντιπροσωπεύουν τον ίδιο αριθμό φαίνεται να είναι ένα παράδοξο, το οποίο ενισχύεται από την εμφάνιση του φαινομενικά καλώς εννοούμενου αριθμού 1<ref>Bunch p. 119; Tall and Schwarzenberger p. 6. The last suggestion is due to Burrell (p. 28): "Perhaps the most reassuring of all numbers is 1&nbsp;... So it is particularly unsettling when someone tries to pass off 0.9~ as 1."</ref>
*Μερικοί μαθητές ερμηνεύουν τον "0.999 ..." (ή παρόμοια μορφή) ως μια μεγάλη, αλλά πεπερασμένη σειρά από  9, ενδεχομένως με ένα μεταβλητό, απροσδιόριστο μήκος. Εάν δέχονται μια άπειρη σειρά από εννιάρια, μπορούν να αναμένουν ακόμα ένα τελευταίο 9 "στο άπειρο».<ref>Tall and Schwarzenberger pp. 6–7; Tall 2000 p. 221</ref>
*Η διαισθητική και διφορούμενη διδασκαλία οδηγεί τους μαθητές να σκεφτούν το όριο μιας ακολουθίας ως ένα είδος άπειρης διαδικασίας και όχι μια σταθερή αξία, δεδομένου ότι μια ακολουθία δεν χρειάζεται να φθάσει το όριο της. Όταν οι μαθητές δέχονται τη διαφορά ανάμεσα σε μια ακολουθία αριθμών και το όριό της, θα μπορούν να διαβάζουν "0.999 ..." υπό την έννοια της ακολουθίας και όχι του ορίου της.<ref>Tall and Schwarzenberger p. 6; Tall 2000 p. 221</ref>

Οι ιδέες αυτές λανθασμένα βρίσκονται στο πλαίσιο του προτύπου πραγματικών αριθμών, αν και μερικές μπορεί να ισχύουν σε άλλα συστήματα αριθμών είτε επειδή εφευρέθηκαν για τη γενική μαθηματική χρησιμότητά τους ή ως διδακτικό [[αντιπαράδειγμα]] s για την καλύτερη κατανόηση του 0.999 ...

Πολλές από αυτές τις εξηγήσεις βρέθηκαν από τον [[David Tall]], ο οποίος έχει μελετήσει τα χαρακτηριστικά της διδασκαλίας και της γνωστικής λειτουργίας που τον είχαν οδήγησει εκει από κάποιες παρεξηγήσεις που είχαν προκυψει από τους φοιτητές του. Παίρνοντας συνέντευξη από τους μαθητές του για να καθορίσει γιατί η συντριπτική πλειοψηφία απέρριψε αρχικά την ισότητα, διαπίστωσε ότι «οι μαθητές συνέχισαν να αντιλαμβανονται το 0,999 ... ως μια ακολουθία αριθμών όλο και πιο κοντά στο 1 και όχι ως μια σταθερή αξία, διότι « δεν έχει καθοριστει πόσες θέσεις υπάρχουν »ή« είναι το κατά το δυνατόν πλησιέστερο δεκαδικό κάτω του 1 ».<ref>Tall 2000 p. 221</ref>

Από τις στοιχειώδεις αποδείξεις, πολλαπλασιάζοντας το 0.333 ... =<sup>1</sup>/<sub>3</sub> με 3 φαίνεται να είναι μια επιτυχημένη στρατηγική για να πείσει τους μαθητές που αμφιβαλλουν ότι το  0.999 ... = 1. Παρόλα αυτά, όταν έρχονται αντιμέτωποι με τη σύγκρουση μεταξύ της πίστης τους στην πρώτη εξίσωση και τη δυσπιστίας τους για τη δεύτερη, κάποιοι μαθητές είτε αρχίζουν να αμφισβητουν την πρώτη εξίσωση ή απλά μπερδευονται.<ref>Tall 1976, σσ. 10-14</ref> Καμια από τις πιο εξελιγμένες ,ακομη , μεθόδους δεν είναι αλάνθαστη: φοιτητές που είναι πλήρως ικανοι για την εφαρμογή αυστηρών ορισμών μπορεί ακόμα να εκπλαγουν στην οψη των αποτέλεσματων σε προχωρημένα μαθηματικά, συμπεριλαμβανομένων του 0.999 .... Για παράδειγμα, ένας μαθητής  της πραγματικης ανάλυσης ήταν σε θέση να αποδείξει ότι ο 0.333 ... =<sup> 1 </sup>/<sub>3</sub> χρησιμοποιώντας τον [[supremum]]  ορισμό, αλλά επέμεινε στη συνέχεια, ότι το 0.999 ... <1 βασιζόμενος στην προηγούμενη κατανόηση του για την διχοτόμηση.<ref>Pinto και Tall p. 5, Edwards και Ward σσ. 416-417</ref> Άλλοι εξακολουθούν να είναι σε θέση να αποδείξουν ότι <sup>1</sup>/<sub>3</sub>= 0,333 ..., αλλά, μετά προκειμενου να μην βρεθούν αντιμέτωποι με την   [[κλάσματα|κλασματική απόδειξη]], επιμένουν ότι  η «λογική» αντικαθιστά τους μαθηματικούς υπολογισμούς.

Ο Joseph Mazur αφηγείται την ιστορία ενός κατά τα άλλα λαμπρου  του φοιτητή λογισμού που "αμφισβήτησε σχεδόν ό,τι είπα στην τάξη, αλλά ποτέ δεν αμφισβήτησε τον υπολογιστή του," και ο οποίος πίστευε ότι εννέα ψηφία είναι το μόνο που χρειάζεται κανεις για τα μαθηματικά, όπως τον υπολογισμό της ρίζας του 23. Ο μαθητής παρέμεινε με τον περιοριστικο επιχείρημα ότι ο 9,99 ... = 10, αποκαλώντας το «αγριοφάνταστη άπειρη αναπαραγωγικη διαδικασία».<ref>Mazur pp. 137–141</ref>

Ως μέρος της APOS Ed Dubinsky θεωρίας της μαθηματικής εκπαίδευσης, ο ίδιος και οι συνεργάτες του (2005) προτείνει ότι οι φοιτητές οι οποίοι συλλάβουν το 0,999 ... ως ένα πεπερασμένο, αορίστου μηκους με μια απείρως μικρή απόσταση από το 1 "δεν έχουν κατασκευάσει ακόμη μια πλήρη αντίληψη της διαδικασίας των άπειρων δεκαδικών». Άλλοι φοιτητές οι οποίοι έχουν πλήρη αντίληψη της διαδικασίας του 0.999 ... μπορεί να μην είναι ακόμη σε θέση να "ενσωματώσουν" αυτή τη διαδικασία στην " αντικειμενική αντίληψη", όπως η αντικειμενική αντίληψη που έχουν του 1, και έτσι βλέπουν την διαδικασία 0.999 ... και το αντικείμενο 1, ως ασυμβίβαστα. Ο Dubinsky et al. επίσης, συνδέει αυτή τη διανοητική ικανότητα της ενθυλάκωσης να βλέπουν το 1/3 ως μια σειρά από μόνη της και να ασχολείται με το σύνολο των φυσικών αριθμών σαν ένα σύνολο.<ref>Dubinsky ''et al.'' 261–262</ref>

==Στο δημοφιλή πολιτισμό==

Με την άνοδο του Διαδικτύου, οι συζητήσεις για το 0.999 ... έχουν ξεφύγει από την τάξη και είναι κοινός τόπος για τις ομάδες συζητήσεων καιτους πίνακες μηνυμάτων, συμπεριλαμβανομένων πολλών που έχουν ονομαστικά λίγο να κάνουν με τα μαθηματικά. Στο newsgroup sci.math, διαφωνώντας για τον  0.999 ... έχει περιγράφεται ως ένα "δημοφιλές άθλημα", και είναι ένα από τα ερωτήματα που απαντά στο FAQ.<ref>As observed by Richman (p. 396). {{cite web |url=http://www.faqs.org/faqs/sci-math-faq/specialnumbers/0.999eq1/ |author=Hans de Vreught |year=1994 |title=sci.math FAQ: Why is 0.9999... = 1? |accessdate=2006-06-29 |archiveurl=https://web.archive.org/web/20070929122649/http://www.faqs.org/faqs/sci-math-faq/specialnumbers/0.999eq1/ |archivedate=2007-09-29 |url-status=live }}</ref> Το FAQ ισα που καλύπτει το 1/3,  το πολλαπλασιασμό με 10, και τα όρια, και επίσης παραπέμπει σε ακολουθίες Cauchy.

Μια έκδοση του 2003 της στηλης γενικου ενδιαφέροντος της εφημερίδας The Straight Dope εξετάζει το 0.999 ... μέσω του 1/3 και τών ορίων, λέγοντας πραγματα που δεν είναι ορθά,

:::<tt> Το κάτω πρωτευόντων σε μας διατηρείτε ακόμα, λέγοντας: .999 ~ δεν αντιπροσωπεύει πραγματικά μια σειρά, στη συνέχεια, αλλά μια διαδικασία. Για να βρείτε έναν αριθμό πρέπει να σταματήσει η διαδικασία,  στο σημείο στο οποίο ο .999 ~ = 1  τα πράγματα δεν συμβαινουν .Επομενως είναι ανοησίες<ref>{{cite web |url=http://www.straightdope.com/columns/030711.html |title=An infinite question: Why doesn't .999~ = 1? |date=2003-07-11 |author=[[Cecil Adams]] |work=[[The Straight Dope]] |publisher=[[Chicago Reader]] |accessdate=2006-09-06 |archiveurl=https://web.archive.org/web/20060815010844/http://www.straightdope.com/columns/030711.html |archivedate=2006-08-15 |url-status=live }}</ref></tt>

Δύο αποδείξεις προσφέρονται στη συνέχεια, με βάση τα όρια και τον πολλαπλασιασμό με 10.
0.999 ... εμφανιζεται επισης και στη μαθηματική λαογραφία, συγκεκριμένα στα ανέκδοτα που ακολουθούν:<ref>Renteln and Dundes, p. 27</ref>

:::<tt>Ε: Πόσοι μαθηματικοί χρειάζονται για να βιδώσουν μια λάμπα;</tt>
:::<tt>Α:0.9999999</tt>

==Σε εναλλακτικά συστήματα αριθμών==

Παρά το γεγονός ότι οι πραγματικοί αριθμοί αποτελούν ένα εξαιρετικά χρήσιμο σύστημα αριθμών, η απόφαση να ερμηνευτεί η ένδειξη «0,999 ..." με την ονοματοδοσία του πραγματικού αριθμού είναι τελικά μια σύμβαση, και ο Timothy Gowers υποστηρίζει στα Μαθηματικά οτι:<tt><nowiki> μια πολύ σύντομη εισαγωγή ότι η προκύπτουσα ταυτότητα 0.999 ... = 1 είναι επίσης μια σύμβαση </nowiki></tt> :

::<tt>Ωστόσο, δεν είναι σε καμία περίπτωση μια αυθαίρετη σύμβαση, διότι δεν θεσπίστηκε ώστε να αναγκάζει ούτε να εφεύρει παράξενα νέα αντικείμενα ή να εγκαταλείψει κάποιους από τους γνωστους κανόνες της αριθμητικής.<ref>Gowers p. 60</ref> </tt>

Κάποιος μπορεί να καθορίσει και άλλα αριθμητικά συστήματα που χρησιμοποιούν διαφορετικούς κανόνες ή νέα αντικείμενα΄ σε μερικά τέτοια συστήματα αριθμών, οι παραπάνω αποδείξεις θα πρέπει να ερμηνευθούν εκ νέου και θα μπορούσε κανείς να διαπιστώσει ότι, σε ένα δεδομένο σύστημα αριθμών, το 0.999 ... και το 1, μπορεί να μην είναι ταυτόσημα. Ωστόσο, πολλά συστήματα αριθμών είναι προέκταση της, και όχι από ανεξάρτητες εναλλακτικές λύσεις προς το σύνολο των πραγματικών αριθμών, έτσι ώστε το 0.999 ... = 1 εξακολουθεί να ισχύει. Ακόμη και σε τέτοια συστήματα αριθμών, όμως, αξίζει τον κόπο να εξετάσει κανεις εναλλακτικά αριθμητικά συστήματα, όχι μόνο για το πώς ο 0,999 ... συμπεριφέρεται (αν, πράγματι, ένας αριθμός που εκφράζεται ως "0.999 ..." είναι τόσο ουσιαστικος και ξεκάθαρος), αλλά επίσης και για τη συμπεριφορά των σχετικών φαινομένων. Εάν τέτοια φαινόμενα διαφέρουν από εκείνα στο πραγματικό σύστημα αριθμών, τότε τουλάχιστον μία από τις υποθέσεις που είναι ενσωματωμένη στο σύστημα πρέπει να μην ισχύει.

===Απειροελάχιστα===
Μερικές αποδείξεις ότι ο 0.999 ... = 1 βασίζονται στην Αρχιμήδια ιδιοκτησία των πραγματικών αριθμών: ότι δεν υπάρχουν μη μηδενικά απειροελάχιστα. Συγκεκριμένα, η διαφορά 1 - 0,999 ... πρέπει να είναι μικρότερη από οποιοδήποτε θετικο ρητό αριθμό, έτσι πρέπει να είναι ένα απειροελάχιστο' αλλά επειδή οι πραγματικοί δεν περιέχουν μη μηδενικά απειροστά, η διαφορά είναι επομένως μηδέν, και ως εκ τούτου οι δύο τιμές είναι ίδιες.
Ωστόσο, υπάρχουν μαθηματικά συνεκτικά διατεταγμένες αλγεβρικές δομές, συμπεριλαμβανομένων των διαφόρων εναλλακτικών λύσεων για τους πραγματικούς αριθμούς, τα οποία είναι μη-Αρχιμήδια. Για παράδειγμα, οι διπλοί αριθμοί περιλαμβάνουν ένα νέο απειροελάχιστο στοιχείο ε, ανάλογη προς την φανταστική μονάδα i στους [[Μιγαδικός αριθμός|μιγαδικούς αριθμούς]] εκτός του ότι ε2 = 0. Η δομή που προκύπτει είναι χρήσιμη στην αυτόματη διαφοροποίηση.Στους δύο αριθμούς μπορεί να δοθεί μια λεξικογραφική σειρά, στην οποία τα πολλαπλάσια του ε καθίστανται μη Αρχιμήδια στοιχεία.<ref>Berz 439–442</ref> Ως προέκταση των πραγματικών αριθμών, στους διπλούς αριθμούς ισχυει ακόμα ότι 0.999 ... = 1. Σχετικά με αύτο, ενώ ε υπάρχει στους διπλούς αριθμούς, το ίδιο κάνει και το ε / 2, οπότε το ε δεν είναι "ο μικρότερος διπλός θετικός αριθμός," και, μάλιστα, όπως και στους πραγματικούς, δεν υφίστανται τέτοιοι αριθμοί.

Ο Lightstone δείχνει πώς να συνδέσει σε κάθε αριθμό μια ακολουθία αριθμών,

:<math>0.d_1d_2d_3 \dots;\dots d_{\infty - 1}d_\infty d_{\infty + 1}\dots,</math>

Αναπροσαρμόζονται από τoυς [[hypernatural]] αριθμούς. Ενώ ο ίδιος δεν συζητά άμεσα τον 0.999 ..., δείχνει τον πραγματικό αριθμό 1/3 να αντιπροσωπεύεται από 0.333 ...? ... 333 ... η οποία είναι συνέπεια της [[αρχή της μεταφοράς]]. Κατά συνέπεια, ο αριθμός 0.999 ...? ... 999 ... = 1. Με αυτόν τον τύπο δεκαδική αναπαράσταση, δεν είναι κάθε επέκταση  που αντιπροσωπεύει έναν αριθμό. Ειδικότερα, "0.333 ...? ... 000 ..." και "0.999 ...? ... 000 ..." δεν ανταποκρίνονται σε οποιονδήποτε αριθμό.

Ο τυπικός ορισμός του αριθμού 0.999... είναι το [[όριο ακολουθίας|όριο της ακολουθίας]] 0,9, 0,99, 0,999, ... Ένας διαφορετικός ορισμός θεωρεί ότι η κλάση ισοδυναμίας [(0,9, 0,99, 0,999, ...)] της παρόντος ακολουθίας στην [[κατασκευή Ultrapower]], το οποίο αντιστοιχεί σε έναν αριθμό που είναι απείρως μικρότερο από 1. Γενικότερα, ο hyperreal αριθμός {{nowrap | 1=''u''<sub>''Χ''</sub>=0,999 ...?...999000...,}} με το τελευταίο ψηφίο 9 στο άπειρο [[hypernatural]] rank''Χ'', ικανοποιεί μια αυστηρή ανισότητα {{nowrap|''u''<sub>''Χ''</sub><1}}. Ως εκ τούτου,ο Karin Katz και ο [[Mikhail Katz]] έχουν προτείνει μια εναλλακτική ερμηνεία του «0,999 ...":

:<math>\underset{H}{0.\underbrace{999\ldots}}\;=1\;-\;\frac{1}{10^{H}}.</math><ref>Katz & Katz 2010</ref>
Όλες αυτές οι ερμηνείες του "0,999 ..." είναι απείρως κοντά στο 1. [[Ian Stewart (μαθηματικός)|Ian Stewart]] χαρακτηρίζει αυτή την ερμηνεία ως τον «απολύτως λογικο» τρόπο για να δικαιολογήσει αυστηρά την διαίσθηση ότι «υπάρχει ένα μικρό κομμάτι που λείπει" από 1 σε 0,999 ....<ref>Stewart 2009, σελ. . 175? Η πλήρης συζήτηση για τον 0.999 ... . διαδίδεται μέσω σσ. 172-175</ref> Μαζί με Katz & Katz,  ο Robert Ely αμφισβητεί επίσης την υπόθεση ότι οι ιδέες των μαθητών σχετικά με {{nowrap | 0.999 ... <1}} είναι λανθασμένες διαισθήσεις σχετικά με τους πραγματικούς αριθμούς, την ερμηνεία τους και όχι συνηθισμένες διαισθήσεις που θα μπορούσαν να αποδειχθούν πολύτιμες για την εκμάθηση του λογισμού.<ref>Katz & Katz (2010β)</ref><ref>R. Ely (2010)</ref>

Ο [[Χοσέ Benardete]] στο βιβλίο του'' Infinity: Ένα δοκίμιο στη μεταφυσική'' υποστηρίζει ότι κάποιες φυσικές προ-μαθηματικες διαίσθησεις δεν μπορεί να εκφραστουν αν περιορίζονται σε ένα υπερβολικά περιοριστικό σύστημα αριθμων:
: Η ευκρίνεια της συνέχειας έχει βρεθεί-πολλές φορές-να απαιτει ότι ο τομέας των πραγματικών αριθμών να διευρυνθεί για να συμπεριλάβει απειροελάχιστα . Αυτή η διευρυμένη περιοχή μπορεί να ορισεί το πεδίο συνεχειας των αριθμών. Θα είναι πλέον προφανές ότι 0.9999 ... δεν είναι ίσο με 1, αλλά είναι απειροελάχιστα κοντα του. Νομίζω ότι το 0.9999 ... Πρέπει βέβαια να γίνει δεκτό ως αριθμός '''' ... αν και όχι ως'' πραγματικός αριθμός'' <ref>{{cite book|first=José Amado|last=Benardete|title=Infinity:. Ένα δοκίμιο στην μεταφυσικη |publisher=Clarendon Press |year=1964 |page=279 |url=http://books.google.com/?id=wMgtAAAAMAAJ| accessdate= 27 November 2011 <!--Added by DASHBot-->}}</ref>

===Hackenbush===

Η συνδυαστική θεωρία παιγνίων παρέχει εναλλακτικους πραγματικούς, καθώς, με το άπειρο Blue-Red Hackenbush ως ένα ιδιαίτερα σημαντικό παράδειγμα. Το 1974, η Elwyn Berlekamp περιγράφει μια αλληλογραφία μεταξύ Hackenbush χορδές και δυαδικες επεκτάσεις των πραγματικών αριθμών, η οποία υποκινήθηκε από την ιδέα της συμπίεσης δεδομένων. Για παράδειγμα, η αξία των Hackenbush εγχόρδων LRRLRLRL ... είναι 0.0101012 ... = 1/3. Ωστόσο, η αξία της LRLLL ... (που αντιστοιχούν σε 0,111 ... 2) απειροελάχιστα λιγότερο από 1. Η διαφορά μεταξύ των δύο είναι ο σουρεαλιστικός αριθμός 1/ω, όπου ω είναι η πρώτη άπειρη τακτικη' το σχετικό παιχνίδι είναι LRRRR ... ή 0.000 ... 2.<ref>Berlekamp, Conway, and Guy (pp. 79–80, 307–311) discuss 1 and <sup>1</sup>/<sub>3</sub> and touch on <sup>1</sup>/<sub>ω</sub>. The game for 0.111...<sub>2</sub> follows directly from Berlekamp's Rule.</ref>
Αυτό είναι στην πραγματικότητα αληθές των δυαδικών επεκτάσεων των πολλών ρητών αριθμών, όπου οι τιμές των αριθμών είναι ίσες, αλλά οι αντίστοιχες διαδρομές δυαδικόυ δέντρου είναι διαφορετικες. Για παράδειγμα, 0,10111 ... 2 = 0,11000 ... 2, τα οποία είναι και τα δύο ίσα με 3/4, αλλά η πρώτη αναπαράσταση αντιστοιχεί στο δυαδικό LRLRRR διαδρομή δέντρο ... ενώ η δεύτερη αντιστοιχεί στη διαφορετική LRRLLL διαδρομής\ ....

===Επανεξέταση αφαίρεσης===

Ένας άλλος τρόπος με τον οποίο οι αποδείξεις θα μπορούσαν να υπονομευθούν αν είναι 1 - 0,999 ... απλά δεν υπάρχει, διότι η αφαίρεση δεν είναι πάντα δυνατό. Μαθηματικές δομές με μια λειτουργία προσθήκης, αλλά όχι λειτουργία αφαίρεσης περιλαμβάνουν [[αντιμεταθετική]] [[semigroup]] s, [[αντιμεταθετική monoid]] s και [[semiring]] s. Richman θεωρεί δύο τέτοια συστήματα,σχεδιασμένα έτσι ώστε 0.999 ... <1.

Πρώτον,ο Richman ορίζει ένα μη αρνητικό ''δεκαδικό αριθμό'' ως μια κυριολεκτική δεκαδική επέκταση . Αυτός ορίζει τη [[λεξικογραφική σειρά]] και η λειτουργία της πρόσθεσης, σημειώνοντας ότι 0.999 ... <1 μόνο και μόνο επειδή 0 <1 στη θέση του ενός, αλλά και για οποιαδήποτε nonterminating''Χ'', ένα έχει 0.999 ... +'' Χ'' = 1 +'' Χ''. Έτσι, μία ιδιαιτερότητα των δεκαδικών αριθμών είναι ότι η προσθήκη αυτή δεν μπορεί πάντα να ακυρωθεί?Επίσης κανένας δεκαδικός αριθμός δεν αντιστοιχεί σε <sup>1</sup>⁄<sub>3</sub>. Μετά τον ορισμό του πολλαπλασιασμού, οι δεκαδικοί αριθμοί αποτελούν ένα θετικό, εντελώς διατεταγμένο, ευμετάβλητο semiring.<ref>Richman pp. 397–399</ref>

Κατά τη διαδικασία καθορισμού πολλαπλασιασμού,ο Richman ορίζει επίσης ένα άλλο σύστημα που ο ίδιος αποκαλεί "cut ''D''", το οποίο είναι το σύνολο των [[Dedekind cut]] s των δεκαδικών κλασμάτων. Κανονικά ο ορισμός αυτός οδηγεί στους πραγματικούς αριθμούς, αλλά για ένα δεκαδικό κλάσμα''d'' επιτρέπει τόσο η μείωση (- ∞,'' Α'')όσο και το "κύριο cut" (- ∞, '' d'']. Το αποτέλεσμα είναι ότι οι πραγματικοί αριθμοί είναι «ανήσυχα ζουν μαζί με" τα δεκαδικά κλάσματα. πάλι 0,999 ... <1. δεν υπάρχει καμία θετική infinitesimals στην περικοπή''D''», αλλά υπάρχει« ένα είδος αρνητικής απειροελαχιστοποίησης, "0<sup>-.</sup>, η οποία δεν έχει δεκαδική επέκταση.Επίσης καταλήγει στο συμπέρασμα ότι  0.999...&nbsp;=&nbsp;1&nbsp;+&nbsp;0<sup>−</sup>, ενώ η εξίσωση  "0.999...+''x''=1"
δεν έχει καμία λύση.<ref>Richman pp. 398–400. Rudin (p. 23) assigns this alternative construction (but over the rationals) as the last exercise of Chapter 1.</ref>

===''p''-adic αριθμοί===

Όταν ρωτάμε για το 0.999 ..., αρχάριοι συχνά πιστεύουν ότι πρέπει να υπάρχει ένα  «τελικό 9," πιστεύοντας ότι 1&nbsp;−&nbsp;0,999 ...  είναι ένας θετικός αριθμός που γράφεται ως "0.000 ... 1". Το αν έχει νόημα ή όχι είναι σαφής: η προσθήκη ενός 1 στην τελευταία 9 σε 0.999 ... θα φέρουν όλα τα 9 σε 0 και θα αφήσει ένα 1 στη πρώτη θέση. Η ιδέα αυτή αποτυγχάνει, επειδή δεν υπάρχει "τελευταίο 9" σε 0.999 ....<ref>Gardiner p. 98; Gowers p. 60</ref>  Ωστόσο, υπάρχει ένα σύστημα που περιέχει μια άπειρη σειρά από 9 συμπεριλαμβανομένης ενός τελευταίου 9.

[[File:4adic 333.svg|right|thumb|200px|Οι 4-αδικοι ακέραιοι (μαύρα σημεία), συμπεριλαμβανομένης της ακολουθίας (3, 33, 333, ...) συγκλίνουν στο -1. Η 10-adic ανάλογο είναι ... 999 = -1]]

Οι [[p-adic αριθμοί|'' p''-αδικό αριθμοί]]  είναι ένα εναλλακτικό σύστημα ενδιαφέρον για την [[Θεωρία Αριθμών]]. Όπως και οι πραγματικοί αριθμοί, οι'' p''-adic αριθμοί μπορoύν να κατασκευαστούν μέσω  [[Ακολουθίες Cauchy|ακολουθιών Cauchy]]. Η κατασκευή χρησιμοποιεί ένα διαφορετικό μετρικό όπου το 0 είναι πιο κοντά στο ''p'', και πολύ πιο κοντά στο ''p<sup>n</sup>'', απ'ότι είναι στο 1. Οι ''p''-adic αριθμοί αποτελούν ένα τομέα [[πεδίο (άλγεβρα)|πεδίου]] για το πρώτο ''p'' και ένα [[δακτύλιος (μαθηματικά)|δακτυλίου]] για τα άλλα ''p'', συμπεριλαμβανομένων 10 . Έτσι η αριθμητική μπορεί να πραγματοποιηθεί στους ''p''-αδικούς, και δεν υπάρχουν απειροστά.
Στους 10 adic αριθμούς, τα ανάλογα των δεκαδικών επεκτάσεων τρέχουν προς τα αριστερά. Η 10-adic επέκταση ... 999 έχει ένα τελευταίο 9, και δεν έχει ένα πρώτο 9. Κάποιος μπορεί να προσθέσει 1 σ' αυτά, και να αφήσει πίσω του μόνο 0 μετά την εκτέλεση, μέσω: 1&nbsp;+&nbsp;...999&nbsp;=&nbsp;...000&nbsp;=&nbsp;0,  και έτσι ...999&nbsp;=&nbsp;−1.<ref name="Fjelstad pp. 14–15">Fjelstad pp. 14–15</ref>
Μια άλλη παραγωγή χρησιμοποιεί μια γεωμετρική σειρά. Η άπειρη σειρά αποτελείται από "...999" που δεν συγκλίνουν σε πραγματικούς αριθμούς, αλλά συγκλίνουν στους 10 adics, και έτσι μπορεί κανείς να επαναχρησιμοποιήσει το γνωστό τύπο:
:<math>\ldots999 = 9 + 9(10) + 9(10)^2 + 9(10)^3 + \cdots = \frac{9}{1-10} = -1.</math> <ref name="Fjelstad pp. 14–15"/>

(Σύγκριση με τη σειρά [[#Άπειρες σειρές και ακολουθίες|παραπάνω]].) Μια τρίτη παραγωγή επινοήθηκε από μια μαθήτρια που αμφισβητούσε την δασκάλα της ότι το 0.999 ... = 1, αλλά εμπνεύστηκε να πάρει την πολλαπλώς κατά 10 απόδειξη [[#Χειρισμός ψηφίου|ανωτέρω]] προς την αντίθετη κατεύθυνση: αν ''x''&nbsp;=&nbsp;...999  τότε 10''x''&nbsp;=&nbsp; ...990, έτσι ''x''&nbsp;=&nbsp;''x''&nbsp;−&nbsp;9, ως εκ τούτου,''x''&nbsp;=&nbsp;−1 και πάλι.

Ως τελική επέκταση, δεδομένου ότι {{nowrap begin}}0.999... = 1{{nowrap end}} (στους πραγματικούς) και {{nowrap begin}}...999 = −1{{nowrap end}}  (στους 10-adics), στη συνέχεια μπορεί κανείς να προσθέσει τις δύο εξισώσεις και να καταλήξει σε {{nowrap begin}}...999.999... = 0.{{nowrap end}}. Αυτή η εξίσωση δεν έχει νόημα, είτε σε μια 10-adic επέκταση ή σε μια δεκαδική επέκταση, αλλά αποδεικνύεται για να έχει νόημα και αλήθεια, αν κάποιος αναπτύσσει μια θεωρία των "διπλών δεκαδικών" με τελικά επαναλαμβανόμενα αριστερά άκρα για να αντιπροσωπεύουν ένα γνωστό σύστημα: τους πραγματικούς αριθμούς.<ref>DeSua pp. 902–903</ref>

== Παραπομπές ==
<references />

[[Κατηγορία:Μαθηματικά παράδοξα]]
[[Κατηγορία:Πραγματικοί αριθμοί]]