Real numbers
Prerequisites
All four operations for the integers (+,-,*,/)
Pencil and paper algorithms for all four operations
What are the real numbers
The real numbers are defined as the unique complete ordered field. A field is defined as a set of numbers such that:
Given any three numbers, the order of addition doesn't matter (e.g., 2+(3+5)=(2+3)+5)
Given any three numbers, the order of multiplication doesn't matter (e.g. 2(3(5))=(2(3))5)
Given any two numbers, addition doesn't care about order (e.g., 2+3=3+2)
Given any two numbers, multiplication doesn't care about order (e.g., 2(3)=3(2))
Adding zero and multiplying by one preserve the number, and 0 isn't equal to 1 (e.g., 2+0=2(1)=2)
Every number can be subtracted from 0 (e.g. 0-2=-2 and 2+(-2)=0)
1 can be divided by any nonzero number (e.g., 1/2=1/2 and 2(1/2)=1)
The product of a sum is the sum of the products (e.g., 2(3+5)=2(3)+2(5))
An ordered field is a field where the numbers can be ordered such that:
Addition preserves the ordering (e.g. since 2<3, 2+5<3+5)
Multiplying two numbers greater than zero (i.e., two positive numbers) gives a positive number (e.g., since 2>0 and 3>0, 2(3)>0)
A complete ordered field is an ordered field such that every set of numbers bounded from above has a least upper bound.
Representing Real Numbers
Look at the place-value chart here:
| ... | 1000 | 100 | 10 | 1 |
|---|---|---|---|---|
| ... | 4 | 3 | 2 | 1 |
Notice how it stopped in the ones place? What if it didn't stop? What if we have something like this instead:
| ... | 1000 | 1000 | 10 | 1 | . | 1/10 | 1/100 | 1/1000 | ... |
|---|---|---|---|---|---|---|---|---|---|
| ... | . |
You would get all nonnegative real numbers.
There is a caveat, however; every nonzero terminating real number has an alternate expansion with infinitely many nines. For example, since 1=9/10+9/100+9/1000..., 1=0.9
Math of real numbers
Addition, subtraction, multiplication and division all use the same method as integers. However, there are two things that should be noted.
Addition, subtraction and multiplication work by starting at the last digit. But in the real numbers, there sometimes is no last digit. So, to multiply 0.583436946468... by 3.525534690266..., you have to do something else. You have to do 0.5*3.5, 0.58*3.52, 0.583*3.525 etc. to see what happens at infinity.
In division, you don't stop at the ones place and take the remainder. Instead, you keep going forever.
Reals vs Rationals
All rational numbers are real numbers. This can be shown by performing the division described by the rational number. For instance, 3/7=0.428571. Are all real numbers rational? No. For we can do this:
| Number: | .6 | 4 | 7 | 1 | 1 | 1 | 1 | 1 | 1 | 6 | 4 | 8 | 3 | 3 | 2 | 3 | 5 | 1 | 1 | 1 | 1 | 2 | 3 | 5 | 6 | 8 | 9 | 1 | 1 | 1 | 1 | 0 | 2 | 8 | |||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 1/2 | .5 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | |
| 1/3 | .3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | |
| 2/3 | .6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | |
| 1/4 | .2 | 5 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | |
| 3/4 | .7 | 5 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | |
| 1/5 | .2 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | |
| 2/5 | .4 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | |
| 3/5 | .6 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | |
| 4/5 | .8 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | |
| 1/6 | .1 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | |
| 5/6 | .8 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | 3 | |
| 1/7 | .1 | 4 | 2 | 8 | 5 | 7 | 1 | 4 | 2 | 8 | 5 | 7 | 1 | 4 | 2 | 8 | 5 | 7 | 1 | 4 | 2 | 8 | 5 | 7 | 1 | 4 | 2 | 8 | 5 | 7 | 1 | 4 | 2 | ||||||
| 2/7 | .2 | 8 | 5 | 7 | 1 | 4 | 2 | 8 | 5 | 7 | 1 | 4 | 2 | 8 | 5 | 7 | 1 | 4 | 2 | 8 | 5 | 7 | 1 | 4 | 2 | 8 | 5 | 7 | 1 | 4 | 2 | 8 | 5 | ||||||
| 3/7 | .4 | 2 | 8 | 5 | 7 | 1 | 4 | 2 | 8 | 5 | 7 | 1 | 4 | 2 | 8 | 5 | 7 | 1 | 4 | 2 | 8 | 5 | 7 | 1 | 4 | 2 | 8 | 5 | 7 | 1 | 4 | 2 | 8 | ||||||
| 4/7 | .5 | 7 | 1 | 4 | 2 | 8 | 5 | 7 | 1 | 4 | 2 | 8 | 5 | 7 | 1 | 4 | 2 | 8 | 5 | 7 | 1 | 4 | 2 | 8 | 5 | 7 | 1 | 4 | 2 | 8 | 5 | 7 | 1 | ||||||
| 5/7 | .7 | 1 | 4 | 2 | 8 | 5 | 7 | 1 | 4 | 2 | 8 | 5 | 7 | 1 | 4 | 2 | 8 | 5 | 7 | 1 | 4 | 2 | 8 | 5 | 7 | 1 | 4 | 2 | 8 | 5 | 7 | 1 | 4 | ||||||
| 6/7 | .8 | 5 | 7 | 1 | 4 | 2 | 8 | 5 | 7 | 1 | 4 | 2 | 8 | 5 | 7 | 1 | 4 | 2 | 8 | 5 | 7 | 1 | 4 | 2 | 8 | 5 | 7 | 1 | 4 | 2 | 8 | 5 | 7 | ||||||
| 1/8 | .1 | 2 | 5 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | |
| 3/8 | .3 | 7 | 5 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | |
| 5/8 | .6 | 2 | 5 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | |
| 7/8 | .8 | 7 | 5 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | |
| 1/9 | .1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | ||||
| 2/9 | .2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | ||||||
| 4/9 | .4 | 4 | 4 | 4 | 4 | 4 | 4 | 4 | 4 | 4 | 4 | 4 | 4 | 4 | 4 | 4 | 4 | 4 | 4 | 4 | 4 | 4 | 4 | 4 | 4 | 4 | 4 | 4 | 4 | 4 | 4 | 4 | 4 | ||||||
| 5/9 | .5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | |
| 7/9 | .7 | 7 | 7 | 7 | 7 | 7 | 7 | 7 | 7 | 7 | 7 | 7 | 7 | 7 | 7 | 7 | 7 | 7 | 7 | 7 | 7 | 7 | 7 | 7 | 7 | 7 | 7 | 7 | 7 | 7 | 7 | 7 | 7 | 7 | 7 | 7 | 7 | 7 | |
| 8/9 | .8 | 8 | 8 | 8 | 8 | 8 | 8 | 8 | 8 | 8 | 8 | 8 | 8 | 8 | 8 | 8 | 8 | 8 | 8 | 8 | 8 | 8 | 8 | 8 | 8 | 8 | 8 | 8 | 8 | 8 | 8 | 8 | 8 | 8 | 8 | 8 | 8 | 8 | |
| 1/10 | .1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | |
| 3/10 | .3 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | |
| 7/10 | .7 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | |
| 9/10 | .9 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | |
| 1/11 | .0 | 9 | 0 | 9 | 0 | 9 | 0 | 9 | 0 | 9 | 0 | 9 | 0 | 9 | 0 | 9 | 0 | 9 | 0 | 9 | 0 | 9 | 0 | 9 | 0 | 9 | 0 | 9 | 0 | 9 | 0 | 9 | 0 | 9 | 0 | 9 | 0 | 9 | |
| 2/11 | .1 | 8 | 1 | 8 | 1 | 8 | 1 | 8 | 1 | 8 | 1 | 8 | 1 | 8 | 1 | 8 | 1 | 8 | 1 | 8 | 1 | 8 | 1 | 8 | 1 | 8 | 1 | 8 | 1 | 8 | 1 | 8 | 1 | 8 | 8 | 7 | |||
| 3/11 | .2 | 7 | 2 | 7 | 2 | 7 | 2 | 7 | 2 | 7 | 2 | 7 | 2 | 7 | 2 | 7 | 2 | 7 | 2 | 7 | 2 | 7 | 2 | 7 | 2 | 7 | 2 | 7 | 2 | 7 | 2 | 7 | 2 | 7 | 2 | 7 | 2 | 7 | |
| 4/11 | .3 | 6 | 3 | 6 | 3 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 3 | 6 | 6 | 3 | 6 | 3 | 6 | 3 | 6 | 6 | |||||||||||||
| 5/11 | .4 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | |||||||||||||||||||
| 6/11 | .5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | ||||||||||||||||||||
| 7/11 | .6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | 6 | ||||||||||||||||||||
Since the list contains all rational numbers from 0 to 1 (exclusive), the new number is between 0 and 1 (exclusive), and the new number isn't on the list (as it differs from each listed number in at least one position - the shaded digits), the new number is irrational. This also shows that there are more real numbers than natural numbers (if there are as many of the latter as the former, a list could be made containing all real numbers, then the same trick can be applied to arrive at a contradiction)