Timeline for How are real numbers constructed?
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 24, 2017 at 12:02 | comment | added | user21820 | Small caveat: the reals cannot actually be constructed as a metric-completion of the rationals, because the standard definition of metric-spaces rely on the reals. However, if you relax the definition and only require the metric to have values in some ordered semi-group, then we can indeed prove that the rationals form a generalized metric-space and we can construct its metric-completion via equivalence classes of Cauchy sequences. =) | |
| Apr 23, 2017 at 5:08 | vote | accept | Andres Romero | ||
| Apr 23, 2017 at 5:00 | history | answered | eepperly16 | CC BY-SA 3.0 |