Book contents
- Frontmatter
- Contents
- Preface
- PART ONE METRIC SPACES
- 1 Calculus Review
- 2 Countable and Uncountable Sets
- 3 Metrics and Norms
- 4 Open Sets and Closed Sets
- 5 Continuity
- 6 Connectedness
- 7 Completeness
- 8 Compactness
- 9 Category
- PART TWO FUNCTION SPACES
- PART THREE LEBESGUE MEASURE AND INTEGRATION
- References
- Symbol Index
- Topic Index
8 - Compactness
from PART ONE - METRIC SPACES
Published online by Cambridge University Press: 05 June 2012
- Frontmatter
- Contents
- Preface
- PART ONE METRIC SPACES
- 1 Calculus Review
- 2 Countable and Uncountable Sets
- 3 Metrics and Norms
- 4 Open Sets and Closed Sets
- 5 Continuity
- 6 Connectedness
- 7 Completeness
- 8 Compactness
- 9 Category
- PART TWO FUNCTION SPACES
- PART THREE LEBESGUE MEASURE AND INTEGRATION
- References
- Symbol Index
- Topic Index
Summary
Compact Metric Spaces
A metric space (M, d) is said to be compact if it is both complete and totally bounded. As you might imagine, a compact space is the best of all possible worlds.
Examples 8.1
(a) A subset K of ℝ is compact if and only if K is closed and bounded. This fact is usually referred to as the Heine–Borel theorem. Hence, a closed bounded interval [a, b] is compact. Also, the Cantor set Δ is compact. The interval (0, 1), on the other hand, is not compact.
(b) A subset K of ℝn is compact if and only if K is closed and bounded. (Why?)
(c) It is important that we not confuse the first two examples with the general case. Recall that the set {en:n ≥ 1} is closed and bounded in ℓ∞ but not totally bounded – hence not compact. Taking this a step further, notice that the closed ball {x: ∥x∥∞ ≤ 1} in ℓ∞ is not compact, whereas any closed ball in ℝn is compact.
(d) A subset of a discrete space is compact if and only if it is finite. (Why?)
Just as with completeness and total boundedness, we will want to give several equivalent characterizations of compactness. In particular, since neither completeness nor total boundedness is preserved by homeomorphisms, our newest definition does not appear to be describing a topological property.
- Type
- Chapter
- Information
- Real Analysis , pp. 108 - 127Publisher: Cambridge University PressPrint publication year: 2000