# Explain .999...=1 Dedekind cut proof?

I have been looking for various proofs on why the infinite repeating decimal .999....=1 and I came across an explanation using Dedekind cuts on Wikipedia's website: https://en.wikipedia.org/wiki/0.999...#cite_note-13

But the definition presented brought up other questions for me that I had some difficulty answering.

1) My understanding from the Wikipedia page is that real numbers are defined by Dedekind cuts, where a real number is then equal to the infinite set of rationals less than it. If real numbers are sets then how do the usual operations on real numbers translate? For example, is addition set union? What about division?

2) I would like to present the proof to some high school senior students, but would like to read a "friendly" introduction of Dedekind cuts first. Do you know of any good resources?

• You can see Ethan Bloch, The real numbers and real analysis (2011) Sep 13, 2015 at 18:57
• Not necessarily the place to start, but definitely worth reading at some point: I'm a huge fan of (the translation of) Dedekind's original paper, "Essays on the theory of numbers" (gutenberg.org/files/21016/…). Sep 13, 2015 at 19:01
• I know this is not what you are asking, but for the record, Dedekind cuts are not a nice way to define real numbers: the "better" way to do it is to use Cauchy sequences of rationals, because this extends to other sets that have less structure than the real numbers. The best resource I've seen for the various definitions of real numbers is the Appendix chapters in Spivak's Calculus, if you can get hold of it, but it's probably not as friendly as you might want. It does have, in the exercises, a number of alternate ways of defining the reals. Sep 13, 2015 at 19:08
• If I may be so bold, if you are giving a mathematical presentation to high school students, you may want to pick a more flamboyant, immediately satisfying result. Students are likely to consider this result as just micromanaging definitions, and indeed you will spend a huge amount of time trying to give students some understanding of Dedekind cuts when they barely know what a set is. Plus you will have students who simply will not grasp the concept within an hour and will eat up your time with foundational objections, leaving those that do understand bored and frustrated. Sep 13, 2015 at 19:09
• If $0.999\ldots<1$ there would be some numbers in between. What would be their decimal expansion? The only way to resolve this is to declare that $0.999\ldots$ and $1$ are names for the same number, namely $1$. Sep 13, 2015 at 19:29