Determine exactly which finite topological spaces are Hausdorff. Prove your result.
2.
Let \((X, \tau)\) be a topological space and let \(A\) be a subset of \(X\text{.}\) Prove that \(\overline{A} = A \cup \Bdry(A)\text{.}\)
3.
Let \(A\) a subset of a topological space. Prove that \(\Bdry(A) = \emptyset\) if and only if \(A\) is open and closed.
4.
Let \(X\) be a nonempty set with at least two elements and let \(p\) be a fixed element in \(X\text{.}\) Let \(\tau_p\) be the particular point topology and \(\tau_{\overline{p}}\) the excluded point topology on \(X\text{.}\) That is
\(\tau_{p}\) is the collection of subsets of \(X\) consisting of \(\emptyset\text{,}\)\(X\text{,}\) and all of the subsets of \(X\) that contain \(p\text{.}\)
\(\tau_{\overline{p}}\) is the collection of subsets of \(X\) consisting of \(\emptyset\text{,}\)\(X\text{,}\) and all of the subsets of \(X\) that do not contain \(p\text{.}\)
That the particular point and excluded point topologies are topologies is the subject of Exercise 9 and Exercise 10. Let \(A = (0,1]\) be a subset of \(\R\text{.}\) Find, with proof, \(\overline{A}\text{,}\)\(\Int(A)\text{,}\) and \(\Bdry(A)\) when
(a)
\(\R\) has the topology \(\tau_{p}\) with \(p = 0\)
(b)
\(\R\) has the topology \(\tau_{\overline{p}}\) with \(p = 0\text{.}\)
5.
Let \(\B = \{[a,b) \mid a \lt b \text{ in } \R\}\text{.}\)
(a)
Show that \(\B\) is a basis for a topology \(\tau_{\ell \ell}\) on \(\R\text{.}\) This topology is called the lower limit topology on \(\R\text{.}\) The line \(\R\) with the topology \(\tau_{\ell \ell}\) is sometimes called the Sorgenfrey line (after the mathematician Robert Sorgenfrey).
(b)
Show that every open interval \((a,b)\) is also an open set in the lower limit topology.
(c)
If \(\tau_1\) and \(\tau_2\) are topologies on a set \(X\) such that \(\tau_1 \subseteq \tau_2\text{,}\) then \(\tau_1\) is said to be a coarser topology that \(\tau_2\text{,}\) or \(\tau_2\) is a finer topology that \(\tau_1\text{.}\) Part (b) shows that the lower limit topology may be a finer topology than the Euclidean metric topology. Determine if this is true, that the lower limit topology is actually a finer topology than the Euclidean metric topology on \(\R\text{.}\) Justify your answer.
(d)
Let \(a \lt b\) be in \(\R\text{.}\) Is the set \([a,b)\) clopen in \((\R, \tau_{\ell \ell})\text{?}\) Prove your answer.
6.
A subset \(A\) of a topological space \(X\) is said to be dense in \(X\) if \(\overline{A} = X\text{.}\)
(a)
Show that \(\Q\) is dense in \(\R\) using the Euclidean metric topology.
(b)
Is \(\Z\) dense in \(\R\) using the Euclidean metric topology? Prove your answer.
(c)
Let \(A\) be a subset of a topological space \(A\text{.}\) Prove that \(A\) is dense in \(X\) if and only if \(A \cap O \neq \emptyset\) for every open set \(O\text{.}\)
7.
Let \(X\) be a topological space and let \(A\) be a subset of \(X\text{.}\)
(a)
Show that the sets \(\Int(A)\text{,}\)\(\Bdry(A)\text{,}\) and \(\Int(A^c)\) are mutually disjoint (that is, the intersection of any two of these sets is empty).
(b)
Prove that \(X = \Int(A) \cup \Bdry(A) \cup \Int(A^c)\text{.}\)
8.
Prove that a subspace of a Hausdorff space is a Hausdorff space.
9.
Let \(X\) be a nonempty set with at least two elements and let \(p\) be a fixed element in \(X\text{.}\) Let \(\tau_p\) be the particular point topology and \(\tau_{\overline{p}}\) the excluded point topology on \(X\text{.}\) That is
\(\tau_{p}\) is the collection of subsets of \(X\) consisting of \(\emptyset\text{,}\)\(X\text{,}\) and all of the subsets of \(X\) that contain \(p\text{.}\)
\(\tau_{\overline{p}}\) is the collection of subsets of \(X\) consisting of \(\emptyset\text{,}\)\(X\text{,}\) and all of the subsets of \(X\) that do not contain \(p\text{.}\)
That the particular point and excluded point topologies are topologies is the subject of Exercise 9 and Exercise 10. Determine, with proof, if \(X\) is a Hausdorff space when
(a)
\(X\) has the topology \(\tau_{p}\)
(b)
\(X\) has the topology \(\tau_{\overline{p}}\text{.}\)
10.
Prove that a subset \(C\) of a topological space \(X\) is closed if and only if \(C\) contains its boundary.
11.
Recall that a point \(a\) in a subset \(A\) of a metric space \(X\) is an isolated point of \(A\) if there is a neighborhood \(N\) of \(a\) in \(X\) such that \(N \cap A = \{a\}\text{.}\) We can make the same definition in any topological space.
Definition13.17.
A point \(a\) in a subset \(A\) of a topological space \(X\) is an isolated point of \(A\) if there is a neighborhood \(N\) of \(a\) such that \(N \cap A = \{a\}\text{.}\)
(a)
If \(A\) is a subset of a topological space \(X\text{,}\) prove that a point \(a \in A\) is an isolated point of \(A\) if and only if \(\{a\}\) is an open set in \(A\text{.}\)
(b)
We proved that in a metric space every boundary point of a set \(A\) is either a limit point or an isolated point of \(A\text{.}\) (See Exercise 12.) Is the same statement true in a topological space? Prove your answer.
12.
For each integer \(a\text{,}\) let \(a\Z = \{ka \mid k \in \Z\}\text{.}\) That is, \(a\Z\) is the set of all integer multiples of \(a\text{.}\) That \(\{a\Z \mid a \in \Z\}\) is a basis for a topology \(\tau\) on \(\Z\) is the topic of Exercise (ex_aZ_top). In this exercise work in the topological space \((\Z, \tau)\)
(a)
Let \(A = \mathbb{E}\text{,}\) the set of even integers.
(i)
Find, with justification, \(\Int(A)\text{.}\)
(ii)
Find, with justification, \(\overline{A}\text{.}\)
(b)
Let \(B = \mathbb{N} = \{n \in \Z \mid n \geq 1\}\text{.}\) That is, \(\mathbb{N}\) is the set of natural numbers.
(i)
Find, with justification, \(\Int(B)\text{.}\)
(ii)
Find, with justification, \(\overline{B}\text{.}\)
13.
Consider the Double Origin topology defined as follows. Let \(X = \R^2 \cup \{0^*\}\text{,}\) where \(0^*\) is considered as a point that is not in \(\R^2\) (\(0^*\) is our double origin). As a basis for the open sets, we use the standard open balls for every point except \(0\) and \(0^*\text{.}\) For the point \(0\text{,}\) we define open sets to be
So \(N(0,r)\) is the top half of a disk of radius \(\frac{1}{r}\) centered at the origin, excluding the \(y\)-axis but including the origin, and \(N(0^*,r)\) is the bottom half of a disk of radius \(\frac{1}{r}\) centered at the origin, excluding the \(y\)-axis and including the point \(0^*\text{.}\)
(a)
Show that the collection of sets described as a basis for the Double Origin topology is actually a basis for a topology.
(b)
Is \(X\) with the Double Origin topology Hausdorff? Prove your answer.
14.
(a)
Show that finite sets are closed in \(\R^n\) with the Zariski topology.
(b)
Show that \(\R^n\) with the Zariski topology is not Hausdorff. (Exercise 12 shows that a basis for the Zariski topology on \(\R^n\) is the collection of sets of the form \(\R^n \setminus Z(f)\text{,}\) where \(Z(f)\) is the set of zeros of the polynomial \(f\) in \(n\) variables.)
15.
Consider the digital line topology \(\tau_{dl}\) on \(\Z\) with basis \(\{B(n)\}\text{,}\) where
\begin{equation*}
B(n) = \begin{cases}\{n\} \amp \text{ if \(n\) is an odd integer } , \\ \{n-1,n,n+1\} \amp \text{ if \(n\) is an even integer } . \end{cases}
\end{equation*}
(a)
Let \(A = \{-1,0,1\}\) of \((\Z, \tau_{dl})\text{.}\)
(i)
Find the limit points and boundary points of \(A\text{.}\) Prove your conjectures. Is every limit point of \(A\) a boundary point of \(A\text{?}\) Is every boundary point of \(A\) a limit point of \(A\text{?}\)
(ii)
Find \(\overline{A}\) and write \(X \setminus \overline{A}\) as a union of open sets.
(b)
Now consider the subset \(B = \{0\}\) of \((\Z, \tau_{dl})\text{.}\)
(i)
Find the limit points and boundary points of \(B\text{.}\) Prove your conjectures. Is every limit point of \(B\) a boundary point of \(B\text{?}\) Is every boundary point of \(B\) a limit point of \(B\text{?}\)
(ii)
Find \(\overline{B}\) and write \(X \setminus \overline{B}\) as a union of open sets.
16.
Let \((X,d)\) be a metric space. Recall from Exercise 8 in Chapter 10, that if \(C\) is a closed subset of a metric space \(X\) and \(x\) is an element of \(X \setminus C\text{,}\) then \(d(x,C) = 0\) if and only if \(x \in C\text{.}\) Use this idea to do the following.
(a)
Prove that every metric space is regular.
(b)
Prove that every metric space is a normal space.
17.
Let \(K = \left\{\frac{1}{k} \mid k \text{ is a positive integer} \right\}\text{.}\) Let \(\B\) be the collection of all open intervals of the form \((a,b)\) and all sets of the form \((a,b) \setminus K\text{,}\) where \(a \lt b\) are real numbers as in Example 13.13. That \(\B\) generates a topology \(\tau_K\) on \(\R\) follows from the fact that \(\tau_K\) is finer than the Euclidean topology.
(a)
Show that \((\R, \tau_K)\) is a Hausdorff space.
(b)
Exercise 16 shows that every metric space is regular. In this part of the exercise, show that \((R, \tau_K)\) is not a regular space. We can conclude that \((\R, \tau_K)\) is not metrizable.
Prove that a topological space \(X\) is \(T_1\) if and only if each singleton set is closed.
(b)
Show that every \(T_2\)-space is \(T_1\text{,}\) that every \(T_3\)-space is \(T_2\text{,}\) and that every \(T_4\)-space is \(T_3\text{.}\)
19.
In this exercise we illustrate spaces that are \(T_1\) but not \(T_2\) and \(T_2\) but not \(T_3\text{.}\)
(a)
Show that \(\R\) with the finite complement topology is \(T_1\) but not \(T_2\text{.}\)
(b)
Define the space \(\R_K\) as in Example 13.13 to be the set of reals with topology \(\tau\) with a basis that consists of the standard open intervals in \(\R\) along with all sets of the form \((a,b) \setminus K\text{,}\) where \((a,b)\) is any open interval and \(K = \left\{\frac{1}{k} \mid k \in \Z^+\right\}\text{.}\) Show that \(\R_K\) is \(T_2\) but not \(T_3\text{.}\)
20.
For each of the following, answer true if the statement is always true. If the statement is only sometimes true or never true, answer false and provide a concrete example to illustrate that the statement is false. If a statement is true, explain why.
(a)
Every limit point of a subset \(A\) of a topological space \(X\) is also a boundary point of \(A\text{.}\)
(b)
Every boundary point of a subset \(A\) of a topological space \(X\) is also a limit point of \(A\text{.}\)
(c)
If \(X\) is a topological space and \(A \subseteq X\) such that \(\Int(A)=\overline{A}\text{,}\) then \(A\) is both open and closed.
(d)
If \(X\) is a topological space and \(A\) and \(B\) are subsets of \(X\) with \(\overline{A}=\overline{B}\) and \(\Int(A) = \Int(B)\text{,}\) then \(A = B\text{.}\)
(e)
If \(A\) and \(B\) are subsets of a topological space \(X\text{,}\) then \(\overline{A \cap B} = \overline{A} \cap \overline{B}\text{.}\)
(f)
If \(A\) and \(B\) are subsets of a topological space \(X\text{,}\) then \(\overline{A \cup B} = \overline{A} \cup \overline{B}\text{.}\)