top | item 47199106

(no title)

lupire | 1 day ago

Critically, "Complete" also means that the supposed limit necessarily exists.

discuss

order

freehorse|23 hours ago

... for "Cauchy sequences", which are basically sequences whose terms become "closer and closer together".

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.