Sequential compactness
From Maths
Revision as of 22:26, 8 March 2015 by Alec (Talk | contribs) (Created page with "The Bolzano-Weierstrass theorem states that every bounded sequence has a convergent subsequence. Sequential compactness extends this notion to general topolo...")
The Bolzano-Weierstrass theorem states that every bounded sequence has a convergent subsequence.
Sequential compactness extends this notion to general topological spaces.
Definition
A topological space [ilmath](X,\mathcal{J})[/ilmath] is sequentially compact if every (infinite) Sequence has a convergent subsequence.
Warning
Sequential compactness and compactness are not the same for a general topology
Uses
- A metric space is compact if and only if it is sequentially compact, a theorem found here