Which statement states that "Every complete metric space is of second category"?
Baire category theorem
The question asks to identify the statement that declares "Every complete metric space is of second category". This is a fundamental result in topology and functional analysis.
Let's examine the statement itself and the options provided.
Understanding Complete Metric Spaces and Category
First, let's clarify the terms involved:
- Metric Space: A set \(X\) together with a distance function (metric) \(d\) that satisfies certain properties (non-negativity, identity of indiscernibles, symmetry, triangle inequality).
- Complete Metric Space: A metric space where every Cauchy sequence converges to a point within the space. Examples include the set of real numbers \(\mathbb{R}\) and Euclidean spaces \(\mathbb{R}^n\) with the standard metric.
- Nowhere Dense Set: A set \(A\) in a topological space \(X\) is nowhere dense if the interior of its closure is empty. Formally, \(\text{int}(\text{cl}(A)) = \emptyset\). Intuitively, a nowhere dense set is 'thin' everywhere; its closure contains no open sets.
- Set of First Category (Meager Set): A set that can be expressed as a countable union of nowhere dense sets.
- Set of Second Category: A set that is not of first category. This means it cannot be written as a countable union of nowhere dense sets. Spaces of second category are, in a sense, 'large' or 'non-meager'.
The statement "Every complete metric space is of second category" relates the property of completeness to the topological property of being of second category.
Analyzing the Options
Let's look at the given options:
- Baire category theorem: This is a key theorem in topology and analysis. There are several equivalent formulations, but a common one states that in a complete metric space (or a locally compact Hausdorff space), the union of a countable collection of nowhere dense sets has an empty interior. Another equivalent formulation is exactly the statement given in the question: Every complete metric space is of the second category.
- Cantor Theorem: There are several theorems named after Cantor. One famous one states that for any set \(A\), the cardinality of the power set of \(A\) is strictly greater than the cardinality of \(A\) (\(|\mathcal{P}(A)| > |A|\)). Another is the Cantor's intersection theorem for complete metric spaces, which deals with nested sequences of non-empty closed sets with diameters tending to zero. Neither of these relates to the concept of categories or the statement about complete metric spaces being of the second category.
- Fundamental theorem: This term is too general. There are fundamental theorems in many areas of mathematics (e.g., Fundamental Theorem of Calculus, Fundamental Theorem of Algebra). None of these are relevant to the category of topological spaces or complete metric spaces.
- Baire sandwich theorem: This is not a standard name for a theorem in topology or analysis. The "sandwich theorem" (or Squeeze Theorem) is typically associated with limits of sequences or functions in calculus. Baire is associated with the Baire Category Theorem.
Conclusion: Baire Category Theorem
Based on the definitions and standard mathematical theorems, the statement "Every complete metric space is of second category" is precisely one of the standard formulations of the Baire Category Theorem. The theorem highlights that complete metric spaces are topologically large; they cannot be "covered" by a countable collection of nowhere dense sets.
Therefore, the correct theorem is the Baire category theorem.
| Theorem Name | Related Concepts | Connection to the Statement |
|---|---|---|
| Baire category theorem | Complete metric spaces, locally compact Hausdorff spaces, nowhere dense sets, first category, second category | Directly states that complete metric spaces are of second category. |
| Cantor Theorem | Set cardinality, power sets, nested closed sets | Not related to topological categories. |
| Fundamental theorem | Calculus, Algebra (various fields) | Too general, not specific to topology or categories. |
| Baire sandwich theorem | Not a standard theorem name related to this topic | Irrelevant. |
Revision Table: Key Concepts
| Term | Definition/Meaning |
|---|---|
| Complete Metric Space | A metric space where all Cauchy sequences converge within the space. |
| Nowhere Dense Set | A set whose closure has an empty interior. |
| Set of First Category (Meager) | A countable union of nowhere dense sets. |
| Set of Second Category | A set that is not of first category. |
| Baire Category Theorem | States that a complete metric space (or a locally compact Hausdorff space) is of second category. |
Additional Information: Significance of Baire Category Theorem
The Baire Category Theorem is a powerful tool in functional analysis and topology. It has several important consequences:
- It implies that the real numbers \(\mathbb{R}\) are of the second category, meaning \(\mathbb{R}\) cannot be written as a countable union of nowhere dense sets. This shows that \(\mathbb{R}\) is "large" in a topological sense.
- It is used to prove other significant theorems, such as the Open Mapping Theorem and the Closed Graph Theorem in functional analysis (for Banach spaces, which are complete normed vector spaces).
- It shows that the set of rational numbers \(\mathbb{Q}\) in \(\mathbb{R}\) is of the first category (meager), while the set of irrational numbers \(\mathbb{R} \setminus \mathbb{Q}\) is of the second category (in fact, a dense \(G_\delta\) set, which is also second category). This illustrates that sets of second category can be topologically much larger than sets of first category, even if both are uncountable (like \(\mathbb{R}\) and \(\mathbb{R} \setminus \mathbb{Q}\)).
Important Questions from Metric Spaces
Let (X, d) be a compact metric space. Let T ∶ X → X be a continuous function satisfying infn∈ℕ d(Tn(x),Tn (y)) ≠ 0 for every x, y ∈ X with x ≠ y. Then which of the following statements are true?
For any two metric spaces (X, dX), (Y, dY) a map f ∶ X → Y is said to be a closed map if whenever F is closed in X, then f(F) is closed in Y. For any subset B of a metric space, B is given the induced metric. The metric on X × Y is given by d((x, y), (x', y')) = max{dX(x, x'), dY(y, y')}. Which of the following are true?
Let p ∶ \(\mathbb{R}\)2 → \(\mathbb{R}\) be defined by
\(p(x, y)=\left\{\begin{array}{lll} |x| & \text { if } & x \neq 0 \\ |y| & \text { if } & x=0 . \end{array}\right.\)
Which of the following statements are true?
Let X = \(\rm\displaystyle\prod_{n=1}^{\infty}\)[0, 1], that is, the space of sequences {xn}n ≥ 1 with xn ∈ [0, 1], n ≥ 1.
Define the metric d: X × X → [0, ∞) by
d({xn}n≥1, {yn}n≥1) = \(\rm\displaystyle\sup _{n ≥ 1} \frac{\left|x_n-y_n\right|}{2^n}\).
Which of the following statements are true?
If f is continuous mapping of compact metric space X into a metric space Y then:
