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
2 - Countable and Uncountable Sets
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
Equivalence and Cardinality
We have seen that the rational numbers are densely distributed on the real line in the sense that there is always a rational between any two distinct real numbers. But even more is true. In fact, it follows that there must be infinitely many rational numbers between any two distinct reals. (Why?) In sharp contrast to this picture of the rationals as a “dense” set, we will show in this section that the rational numbers are actually rather sparsely represented among the real numbers. We will do so by “counting” the rationals!
We say that two sets A and B are equivalent if there is a one-to-one correspondence between them. That is, A and B are equivalent if there exists some function f : A → B that is both one-to-one and onto. As a quick example, you might recall from calculus that the map x ↦ arctan x is a strictly increasing (hence one-to-one) function from ℝ onto the open interval (−π/2, π/2). Thus, ℝ is equivalent to (−π/2, π/2). For convenience we may occasionally write A ~ B in place of the phrase “A is equivalent to B.” Please note that the relation “is equivalent to” is an equivalence relation.
The notion of equivalence is supposed to lead us to a notion of the relative sizes of sets. Equivalent sets should, by rights, have the same “number” of elements.
- Type
- Chapter
- Information
- Real Analysis , pp. 18 - 35Publisher: Cambridge University PressPrint publication year: 2000