# Construction of real numbers

Page content

This is a note for me who forget again in the future.

There are several way to construct real numbers.

## Dedekind cuts

https://en.wikipedia.org/wiki/Dedekind_cut

A Dedekind cut is a partition of the rationals $\mathbb{Q}$ into two subsets $A$ and $B$ such that:

1. $A$ is non emply.
2. $A\neq\mathbb{O}$
3. If $x,y\in\mathbb{Q}$, $x<y$, and $y\in A$, then $x\in A$. ($A$ is “closed downwards”.)
4. If $x\in A$, then therre exists a $y\in A$ such that $x<y$ ($A$ does not contain a greatest element.)

## Eudoxus reals

We can construct reals FROM INTEGERS!