ThmDex – An index of mathematical definitions, results, and conjectures.
Result R293 on D97: Open set
Open set less closed set is open
Formulation 0
Let $T = (X, \mathcal{T})$ be a D1106: Topological space.
Let $U \subseteq X$ be an D97: Open set in $T$.
Let $F \subseteq X$ be a D98: Closed set in $T$.
Then $U \setminus F$ is an D97: Open set in $T$.
Proofs
Proof 0
Let $T = (X, \mathcal{T})$ be a D1106: Topological space.
Let $U \subseteq X$ be an D97: Open set in $T$.
Let $F \subseteq X$ be a D98: Closed set in $T$.
Result R50: Set difference equals intersection with complement shows that \begin{equation} U \setminus F = U \cap (X \setminus F) \end{equation} The complement $X \setminus F$ is open in $T$ since $F$ is closed in $T$. A finite intersection of open sets is open, so that $U \cap (X \setminus F)$ and therefore $U \setminus F$ is open in $T$. $\square$