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

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 $⋂_{n \in N} U_{n}$ is dense in $A$

Proof:

Step no.	Assertion/construction	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$ .	$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

The rest of the proof needs to be converted to tabular form too!

so their intersection is dense in $X$ . This intersection is of the form $B \cup T$ , where $T$ is an open subset of $A$ . We now need to argue that $T$ is a dense subset of $A$ .

Let $S$ be a nonempty open subset of $A$ ; we need to show that $S \cap T$ is nonempty. Since $S$ is open in $A$ , $S$ is also open in $X$ , so $S \cap (T \cup B)$ is nonempty, because $T \cup B$ is dense in $X$ . But since $S \subset 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