The Warwick Mathematics Society Website

User login

Upcoming events

  • No upcoming events available

There are 499 members of the Warwick Mathematics Society, of which 0 are new today!
We're 99% of the way toward our target of 500 members.
You can join up on the UWSU website.

What's so special about Cauchy sequences

Post Icon Posted: Submitted by richardhp on 25 June 2008 - 4:31pm.

Joined: 2007-10-01
Posts: 170

I'm reading some stuff on completeness and I can't work out if it's just so long since Analysis I or whether because they never told us but I don't see why Cauchy Sequences are so important when it comes to completeness. Surely you could define it so that any sequence that converges must have a limit in the set since any convergent sequence is necessarily Cauchy, or is there something more at work here?

Post Icon Posted: 25 June 2008 - 5:12pm

Joined: 2006-10-01
Posts: 427

See, convergence of sequences is written in terms of a known point $ a $, $ a_n \rightarrow a $ if it gets arbritrarily close to $ a $ and stays there (er... roughly). It is the natural definition of tending to a limit, and certainly should feel so after metric spaces.

But mathematics is all about maximal results with minimal hypotheses- and it makes sense to search for a weaker definition of limit. A cauchy sequence is one such weakened definition, heuristically a cauchy sequence is a sequence that converges with respect to itself, a train that comes to a stop; but that need not do so at a station - there need be no point $ a $ for it to tend to, a cauchy sequence simply tends.

The reason why the definition seems pointless to begin with is that most examples of incomplete spaces you will be shown are subspaces of larger complete spaces and it is tempting to view them thus*, but the abstraction can be useful: and there are familiar seeming incomplete spaces with rather unfamiliar completions (try the P-adic numbers on for size...).

All in all, like much in mathematics, it is an abstraction that is trivial for familiar examples, a weak hypothesis that comes up equivalent to standard stuff for "nice" things: but if you go deep enough it draws some pretty important distinctions.

*(indeed every such space can abstractly be viewed as a subspace of its completion- see Sutherland's rather fab bit on the construction of the reals in the metric spaces core text for an example)