(no title)
zeroonetwothree | 1 day ago
How to construct the real numbers as a set with that property (and the other usual properties) formally and rigorously took quite a long time to figure out.
zeroonetwothree | 1 day ago
How to construct the real numbers as a set with that property (and the other usual properties) formally and rigorously took quite a long time to figure out.
lupire|1 day ago
freehorse|12 hours ago
You can still have sequences with no limits (a_n:=n, going to infinity, where all successive terns differ by 1 and which does not have a limit in the usual metric), as well as sequences with multiple limit points (in which case, subsequences can be considered).
Btw this is "Cauchy completeness", so it is a bit different (but equivalent) way to approach the construction of the real numbers from Dedekind's, but it is also one that can apply to more general metric spaces.