\documentclass[12pt]{amsart}
\usepackage{amssymb, amsmath}
\begin{document}
\begin{center}
{\Huge 18.100C Recitation Homework 3}
\smallskip
Due in 2-108 by 4:30 PM on \textbf{Friday}, February 26
\end{center}
\medskip
In this assignment, we ask that you choose from one of the following topics and write a 2--3 page paper about it. The paper should present the material in a readable manner, keeping in mind our discussion of {\em motivation} and {\em guiding text}. The intended audience is a technical one, e.g.\ a fellow mathematician who happens to pick up your paper.
\medskip
Your paper will be peer reviewed, meaning a fellow classmate will read and comment on your writing. Because of this, we are trying to get an even spread of topics. To this end we ask that you submit by {\bf Friday, February 19} your preferred topic and your second choice topic; submit your preferences by e-mail to your recitation instructor. Topics will be given out on a first-come, first-served basis.
\medskip
\begin{itemize}
\item[\bf 1.] {\bf Cardinality of connected spaces:} (Exercise 2.19 in Rudin) Let $X$ be a connected metric space with at least two points. Prove that $X$ is uncountable. Here is a suggested outline.
\begin{itemize}
\item[\bf(a)] If $A$ and $B$ are disjoint closed sets in $X$, prove that they are separated.
\item[\bf(b)] Prove that the result of part {\bf(a)} holds also for disjoint open sets $A$ and $B$.
\item[\bf(c)] Fix $x\in X$ and $\delta>0$. Let $B = B_\delta(x)$, and let $A\subseteq B^c$ be the set $A = \{y\in X\,;\, d(x,y)>\delta\}$. Prove that $A$ and $B$ are separated.
\item[\bf(d)] Use the uncountability of the positive real numbers to conclude that $X$ is uncountable.
\end{itemize}
\medskip
\item[\bf 2.] {\bf Spherical neighbourhood:} Consider the metric space $\mathbb{R}^n$ equipped with its usual Euclidean metric. For any point $x\in\mathbb{R}^n$, and any $r>0$, let $S_r(x)$ denote the {\em sphere} of radius $r$ centred at $x$:
\[ S_r(x) = \{y\in\mathbb{R}^n\,;\, d(x,y)=1\}. \]
Let $X\subseteq\mathbb{R}^n$ be any subset, and define $S_r[X]$ to be the union of all $r$-spheres centred at points of $X$:
\[ S_r[X] = \bigcup_{x\in X} S_r(x). \]
Show that $S_r[X]$ is compact if $X$ is compact. [{\em Hint}: it may be useful to consider the alternate definitions of compactness suggested by Rudin's Theorem 2.41 (Heine-Borel) rather than the original Definition 2.32.]
\medskip
\item[\bf 3.] {\bf Topology of $\mathbb{Q}$:} (Exercise 2.16 in Rudin) Regard $\mathbb{Q}$, the set of rational numbers, as a metric space, with $d(p,q)=|p-q|$. Let $E$ be the set of all $q\in\mathbb{Q}$ such that $2