Baire property is open subspace-closed

This article gives the statement, and possibly proof, of a topological space property (i.e., Baire space) satisfying a topological space metaproperty (i.e., open subspace-closed property of topological spaces)
View all topological space metaproperty satisfactions | View all topological space metaproperty dissatisfactions
Get more facts about Baire space |Get facts that use property satisfaction of Baire space | Get facts that use property satisfaction of Baire space|Get more facts about open subspace-closed property of topological spaces

Statement

Verbal statement

Every open subset of a Baire space is itself a Baire space, under the subspace topology.

Definitions used

Baire space

Further information: Baire space

A topological space is termed a Baire space if an intersection of countably many open dense subsets is dense.

Subspace topology

Further information: Subspace topology

Facts used

Open subset of open subspace is open

Proof

Given: A Baire space $X$ , an open subset $A$ . A countable family of open dense subsets, $U_{n}, n \in N$ of $A$

To prove: The intersection $T = ⋂_{n \in N} U_{n}$ is dense in $A$

Proof:

Step no.	Assertion/construction	Facts used	Given data used	Previous steps used	Explanation
1	Consider the set $B = X ∖ \bar{A}$ , where $\bar{A}$ is the closure of $A$ in $X$ . $B$ is an open subset of $X$ .				the complement of a closed subset is open by definition.
2	Each $U_{n}$ is open in $X$ .	Fact (1)	$A$ is open in $X$ Each $U_{n}$ is open in $A$ .
3	Each $U_{n} \cup B$ is open in $X$ with $B$ defined in Step (1).			Steps (1), (2)	Step-combination, and the observation that a union of open subsets is open
4	Each $U_{n} \cup B$ is dense in $X$ . In other words, for any open subset $V$ of $X$ , the intersection $(U_{n} \cup B) \cap V$ is nonempty.				[SHOW MORE] Consider any open subset $V$ of $X$ . If the open subset intersects $B$ , we are done. Otherwise the open subset is in $\bar{A}$ . Hence, by definition, it intersects $A$ in a nonempty open subset, say $W$ . Then $W$ is an open subset of $A$ . Since $U_{n}$ is dense in $A$ , it intersects $W$ nontrivially, so it intersects $V$ nontrivially, completing the proof of density.
5	Consider the collection of subsets $U_{n} \cup B$ . This is a countable collection of open dense subsets of $X$			Steps (3), (4)	Step-combination direct
6	The intersection $⋂_{n \in N} (U_{n} \cup B)$ is dense in $X$ .		$X$ is a Baire space.	Step (5)	Step-given direct
7	$⋂_{n \in N} (U_{n} \cup B) = T \cup B$ where $T = ⋂_{n \in N} U_{n}$					pure set theory
8	$T \cup B$ is dense in $X$ .			Steps (6), (7)	Step-combination direct
9	$T$ is dense in $X$ . In other words, for any nonempty open subset $S$ of $A$ , $S \cap T$ is nonempty	Fact (1)	$A$ is open in $X$	Step (8)	[SHOW MORE] Since $S$ is open in $A$ , $S$ is also open in $X$ (by Fact (1)). By Step (8), $T \cup B$ is dense in $X$ , so $S \cap (T \cup B) = (S \cap T) \cup (S \cap B)$ is nonempty. But since $S \subseteq A$ , $S \cap B$ is empty, so $S \cap T$ must be nonempty, completing the proof.

References

Textbook references

Topology (2nd edition) by James R. Munkres, ^{More info}, Page 297, Lemma 48.4, Chapter 4, Section 48