Problem Sets

If you haven't worked with open sets before or need a refresher, try proving these results. These are all standard results, but please try to prove them without looking them up. Do not turn these in; the first graded problem set will be assigned next week.

When \(X\) is a metric space, we equip it with the metric topology unless otherwise specified.

1. Let \((X,d)\) be a metric space, let \(x\in X\), let \(r>0\). Show that \[B(x,r)=\{y\in X: d(x,y) < r\}\] is an open set.
2. Show that the metric topology on \(X\) is in fact a topology.
3. Give an example of a metric space \(X\) and a sequence of open sets \(U_1,\dots, U_n\) such that \(\bigcap_i U_i\) is not an open set.
4. Let \((X,d)\) be a metric space. Show that every open subset of \(X\) is a union of open balls. (Note that this need not be a countable union of open balls.)
5. Let \((X,\mathscr{S})\), \((Y,\mathscr{T})\) be topological spaces and let \(f\from X\to Y\) be a continuous map. Show that if \(x_n\to a\), then \(f(x_n) \to f(a)\).

Please keep in mind the course's generative AI policy. If you use an LLM in your problem set, you must acknowledge it at the start of your solution to each problem, for instance "I used [LLM] to [edit/generate] [part/most/all] of this solution". At grader discretion, LLM-generated solutions may receive a flat 95% grade (regardless of correctness) and no further feedback.

1. Let \(B_\Q=\{(a,b)\subset \R\mid a,b\in \Q\}\) be the set of open intervals with rational endpoints. Show that \(B_\Q\) is a basis for a topology on \(\R\) and that it generates the standard topology on \(\R\).

2. (based on Munkres, p. 92, #9) Show that the lexicographic order topology on \(\R\times \R\) is equal to the product topology \(\R_d\times \R\), where \(\R_d\) is the discrete topology on \(\R\).

   Conclude that this topology is metrizable (i.e., it is the metric topology for some metric on \(\R\times \R\).

3. We say that a topological space \((X,\mathcal{T})\) is Hausdorff if for every \(x,y\in X\) with \(x\ne y\), there are open sets \(U\) and \(V\) such that \(x\in U\), \(y\in V\), and \(U\cap V = \emptyset\). Show that if \(X\) is finite and Hausdorff, then \(\mathcal{T}\) is the discrete topology.
4. Let \(X = [0,1]^2\), equipped with the lexicographic order topology. Show that every sequence in \(X\) has a convergent subsequence.