A description/proof of that for set plus set as an element, open sets that are subsets of set and subsets whose complements are finite is topology
Topics
About: topological space
The table of contents of this article
Starting Context
- The reader knows a definition of topological space.
- The reader admits the proposition for any set, the intersection of the compliments of any possibly uncountable number of subsets is the complement of the union of the subsets.
- The reader admits the proposition for any set, the union of the complements of any possibly uncountable number of subsets is the complement of the intersection of the subsets.
Target Context
- The reader will have a description and a proof of the proposition that for any set, for the set plus the set as an element, the set of subsets which are subsets of the set and the subsets whose complements are finite constitutes a topology.
Orientation
There is a list of definitions discussed so far in this site.
There is a list of propositions discussed so far in this site.
Main Body
1: Description
For any set, \(S\), for the set, \(S' = S \cup \{S\}\), the set of subsets, \(O\), such that \(S_\alpha \in O\) if and only if \(S_\alpha \subseteq S\) or \(S' \setminus S_\alpha\) is finite constitutes a topology.
2: Proof
\(S' \in O\) as \(S' \setminus S' = \emptyset\) is finite. \(\emptyset \in O\) as \(\emptyset \subseteq S\).
Let us denote \(U_\alpha\) for any \(U_\alpha \subseteq S\) and \(V_\beta\) for any \(V_\beta \subseteq S'\) such that \(S' \setminus V_\beta\) is finite.
Is \((\cup_\alpha U_\alpha) \cup (\cup_\beta V_\beta)\) open for any \(\{\alpha\}\) and any non-empty \(\{\beta\}\)? \(S' \setminus ((\cup_\alpha U_\alpha) \cup (\cup_\beta V_\beta)) \subseteq S' \setminus \cup_\beta V_\beta = \cap_\beta S' \setminus V_\beta\), by the proposition for any set, the intersection of the compliments of any possibly uncountable number of subsets is the complement of the union of the subsets, and it is finite.
Is \((\cup_\alpha U_\alpha) \cup (\cup_\beta V_\beta)\) open for any \(\{\alpha\}\) and the empty \(\{\beta\}\)? \(\cup_\alpha U_\alpha\) is a subset of \(S\).
Is \((\cap_i U_i) \cap (\cap_j V_j)\) open for any non-empty finite \(\{i\}\) and any finite \(\{j\}\)? It is a subset of \(S\).
Is \((\cap_i U_i) \cap (\cap_j V_j)\) open for the empty \(\{i\}\) and any finite \(\{j\}\)? \(S' \setminus \cap_j V_j = \cup_j S' \setminus V_j\), by the proposition for any set, the union of the complements of any possibly uncountable number of subsets is the complement of the intersection of the subsets. It is finite.
