\documentclass{amsart}
\usepackage{sagetex}
\usepackage{amsmath,amssymb,nopageno,ulem}
\usepackage{mathtools}
\DeclarePairedDelimiter{\ceil}{\lceil}{\rceil}
\usepackage[shortlabels]{enumitem}
\renewcommand{\dot}{\bullet}
\newtheorem{define}{Definition}
\newtheorem{lemma}{Lemma}
\newtheorem{ex}{Exercise}
\newcommand{\aut}[1]{\mathbf{Aut}{#1}}
\newcommand{\conj}[2][g]{{#1}^{-1}{#2}{#1}}
\newcommand{\normal}{\triangleleft}
\newcommand{\Aut}{\operatorname{Aut}}
\newcommand{\Inn}{\operatorname{Inn}}
\newcommand{\Out}{\operatorname{Out}}
\newcommand{\gens}[1]{\left\langle{#1}\right\rangle}
\newcommand{\epi}{\twoheadrightarrow}
\newcommand{\epic}{\twoheadrightarrow}
\newcommand{\mono}{\hookrightarrow}
\newcommand{\Z}{\mathbf{Z}}
\newcommand{\C}{\mathbf{C}}
\newcommand{\R}{\mathbf{R}}
\newcommand{\F}{\mathbf{F}}
\newcommand{\N}{\mathbf{N}}
\newcommand{\Q}{\mathbf{Q}}
\newcommand{\Int}{\overset{\circ}}
\def\GL{\text{GL}}
\def\SL{\text{SL}}
\def\nin{\not\in}
\def\F{\mathbf{F}}
\def\ker{\text{ker}}
\def\Re{\mbox{Re}}
\def\inf{\mbox{inf}}
\def\sup{\mbox{sup}}
\def\ne{\not =}
\newcommand{\inv}[1]{{#1}^{-1}}
\newcommand{\ndef}{\overset{\text{def}}=}
\def\smat{[\begin{smallmatrix} b&c\\ a&b \end{smallmatrix}]}
\def\acts{\curvearrowright}
\newcommand{\legendre}[1]{\left(\frac{ #1 }{p}\right)}
\newcommand*\colvec[3][]{
\begin{pmatrix}\ifx\relax#1\relax\else#1\\\fi#2\\#3\end{pmatrix}
}
\renewcommand{\theenumi}{\alph{enumi}}
\begin{document}
\section*{Ch2 Exercises}
\ex{Prove that the empty set is a subset of every set}
\begin{proof}
For $B \subseteq S \in \mathbf{Set}, B^c \cap B = \emptyset \subseteq
S$
\end{proof}
\ex{Prove the set of all algebraic numbers are countable. \\
Hint: For $\sum^n_0{a_k z^k} = 0, N \in \N$, there are only finitely many equations with \[n + \sum|a_k|=N\]
}
\begin{proof}
Write $\bold{A}$ for the algebraic numbers. Since each algebraic number is determined by its (finite) integral coefficients, then for some $n$ we have inclusions
\[A \mono \Z[X] \mono \Z^n, a \mapsto a_{n-1}x^{n-1}+...+a_0 \mapsto (a_0,...,a_{n-1})\]
Since $\Q \subset \bold{A}$, the algebraic numbers are countably infinite.
\end{proof}
\ex{Prove that there exist real numbers which are not algebraic.}
\begin{lemma}[Gelfond-Schneider Thm] $\alpha \ne 0,1, \beta \nin \Q, \alpha^\beta$ is transcendental.
\end{lemma}
\ex{Is the set of all irrational real numbers countable?}
\begin{proof}
Note there is an inclusion $\R/\Q \overset{\iota}\mono \R \setminus
\Q$ of irrational numbers with rational multiple exactly 1. If $\R/\Q$ is countable, $\R$ is a countable union of countable sets $\{xq\}_{q \in \Q}$ and therefore countable, which we know to be untrue. Therefore $\R/\Q$ is uncountable. Since $\iota(\R/\Q) \subset \R \setminus \Q$, the irrational numbers must also be uncountable.
\end{proof}
\ex{Construct a bounded set of real numbers with exactly three limit points.}
\begin{proof}
For $n \in \N$,
\[
A_0 \ndef \{1/n\}, A_1 \ndef \left\{\frac{n-1}{n}\right\}, A_2 \ndef
\left\{\frac{-n+1}{n}\right\}
\]
Let $A$ be the union of $A_0, A_1, A_2$, then $A \subset (-1,1)$ and
its limit points are exactly $\{\pm 1, 0\}$.
\end{proof}
\ex{Let $E'$ be the set of all limit points of a set $E$. Prove that $E'$ is closed. Prove that $E,\bar{E}$ have the same limit points. Do $E,E'$ always have the same limit points?}
For any limit point $\ell \in E'$, we have $\ell: N(\ell) \cap E'\subseteq E'; \ne \emptyset$
\ex{$A_1,A_2,A_3,\dots$ subsets of a metric space. \\
\begin{enumerate}
\item For $B_n \ndef \bigcup^n A_i$, show $\bar{B_n} = \bigcup^n \bar{A_i}$
\item For $B \ndef \bigcup^\Z A_i$, show $\bar{B} \subset \bigcup \bar{A_i}$
\end{enumerate} Show this inclusion can be proper.}
\begin{enumerate}
\item Consider $ n=2: \bar{A}_1 \cup \bar{A}_2$
\end{enumerate}
\ex{Are points of each open set $E \subseteq \R^2$ limit points? For closed sets?}
For $x \in E, \exists U_x \subset E$, its limit points would be $\ell:N(\ell) \cap E \setminus \{\ell\} \ne \emptyset$.
\ex{Let $\Int E$ denote the interior of $E$.
\begin{enumerate}
\item Prove $\Int E$ open
\item Prove $E$ open iff $\Int E = E$
\item For $G$ open, $G \subseteq E$, prove $G \subseteq \Int E$
\item Prove $(\Int E)^c = \bar{E^c}$
\item Do $E,\bar E $ always have the same interiors?
\item Do $E, \Int E$ always have the same closures?
\end{enumerate}
}
\begin{enumerate}
\item By definition, $A$ is open if for each point $p, \exists N(p)\subseteq A$, and the interior of $A$ is exactly such a set.
\item
\end{enumerate}
\ex{Let $X$ be infinite. For $p,q \in X$, define
\[
d(p,q) \ndef
\begin{cases}
1 & p \ne q \\
0 & p=q
\end{cases}
\]
Prove this is a metric. What are its open, closed and compact subsets?}
\begin{proof}
$x=y \iff d(x,y) = 0$ so positive definite; if $x \ne y, y \ne x \implies d(x,y) = d(y,x)$ so it's symmetric. To show the triangle inequality holds, break the right-hand side into cases:
\[
d(p,r)+d(r,q) =
\begin{cases}
2 & p \ne r \text{ and } r \ne q \\
1 & p=r \ne q \text{ or } p \ne r = q \\
0 & p=r=q
\end{cases}
\]
Then for $q,r,p$ pairwise distinct the sum (RHS) is always greater. Otherwise both sides equal $1$ (or $0$ if all terms equal).
Neighborhoods can't have zero radius, therefore $N(p) = \{ q:d(p,q) = 0\} = \{p\}, N(p) \cap A \subseteq \{p\}$ so no limit points, i.e., $A = \bar{A}$. Since $p \in A \implies N(p) \subseteq A, A = \overset{\circ}A$, and all subsets are clopen.
Let $\mathcal{U}$ be a cover of $A$. If $A$ is a finite subset with $n$ elements, we can finitely cover $A$ with
$\{U_k \in \mathcal{U}:x_k \in U_k\}_{j:1\leq j \leq n}$
, i.e., (finite) open sets each containing a point of $A$. Otherwise, for uncountable $A$, consider the cover $\mathcal{U}'\ndef \{U_j = x_j\}$. Any finite subcovering contains only finite points of $A$.
Thus, finite sets are compact and infinite sets noncompact.
\end{proof}
\ex{For $x,y \in \R$, define
\begin{itemize}
\item $d_1 \ndef (x-y)^2$
\item $d_2 \ndef \sqrt{|x-y|}$
\item $d_3 \ndef |x^2 - y^2|$
\item $d_4 \ndef |x-2y| $
\item $d_5 \ndef \frac{|x-y|}{1+|x-y|}$
\end{itemize}
Which are metrics?}
Immediately, $d_4$ isn't symmetric [$d(1,4) = 7 \ne 2 = d(4,1)$] and
$d_3$ isn't positive definite [let $y = -x$]. Then of the remaining three we check whether or not we have the triangle inequality $d(x,z)+d(z,y)-d(x,y) \geq 0$:
\begin{itemize}
\item $(x-z)^2+(z-y)^2 -(x-y)^2= x^2 + y^2 +2z^2 -2z(x+y)-x^2-y^2-2xy = z^2 + (z-(x+y))^2 + (x+y)-2xy$
\item $$\sqrt{|x-z|} + \sqrt{|z-y|} = \frac{|x-z|-|z-y|}{\sqrt{|x-z|} - \sqrt{|z-y|}}$$
\item $$\frac{|x-z|}{1+|x-z|} + \frac{|z-y|}{1+|z-y|}$$
\end{itemize}
\ex[Exercise 12]{Prove $K\ndef \{0\} \cup \{1/n\}_{n \in \N}$ is compact directly from definition.}
\begin{proof}
Let $U$ be a open cover of $K$. For each $x_n\in K, \exists U_n \in U:x_n \in U_n$. Define $U_0:0 \in U_0$ to be the open set containing $0$. For each $\delta >0, \exists m \in \N: \{\frac{1}{m},\frac{1}{m+1},...\} \subset U_0 \cap N_\delta$. Thus, there are finitely many $U_n:n<m$ which, in addition to $U_0$, cover $K$.
\end{proof}
\ex{Construct a compact set of reals whose limit points are countable.}
Something like Cantor set?
\[f(x) \ndef
\begin{cases}
1/r & x \in \Q \\
0 & x \nin \Q
\end{cases}
\]
\ex[14]{Give an example of an open cover of $(0,1)$ without finite subcover.}
\begin{proof}
Let $U \ndef \{(\frac{1}{n},1)\}_{n \in \N}$. Then for any $x \in (0,1), \exists M \in \N: x<1 \implies \frac{1}{M} < x$. So $U$ is a cover of $(0,1)$. However for any finite subset $U' \ndef \{(\frac{1}{n},1)\}_{n:1 \leq n \leq k } $ of $U$ with $k < M, \frac{1}{M} \nin U'$. Therefore $(0,1)$ is not compact.
\end{proof}
\ex[15]{Show that Thm 2.36 and its Corollary become false if compact is replaced with either closed or bounded.}
\ex[16]{$E \ndef \{p \in \Q:p^2 \in (2,3)\}$. Show $E$ is closed and bounded in $\Q$, but not compact. Is $E$ open?}
\begin{proof}
$1^2 < p^2 < 2^2 \implies E \subset (1,2)$, so $E$ bounded.
Assume $E$ is not closed, and note $\Q \setminus E = ub(E) \cup
lb(E)$. Say $E$ has a limit point $\ell \in
ub(E):(\ell-\delta,\ell+\delta) \cap E \ne \emptyset$. Then for some
$\ell' \in ub(E): \ell > \ell'$, set $\delta = \ell-\ell'>0$. Then we have
$(\ell-\delta,\ell+\delta) = (\ell',2\ell-\ell')$ and $
(\ell',2\ell-\ell') \cap E \ne \emptyset$, which is impossible since
$\ell'>p \in E$. A similar argument follows for $\ell \in lb(E)$,
thus $E$ is closed.
The cover $U \ndef \{(0,r- \frac{1}{n}):n \in \N, r^2 \in (2,3)\}$
has no finite subcover, so $E$ is not compact.
\end{proof}
\ex{Decimal expansions on the unit interval with only 4's and 7's
\[
E \ndef \left\{\sum a_k 10^{-k}:a_k \in \{4,7\}\right\}
\]
Is $E$ countable?dense?compact?perfect?}
\begin{proof}
There are really two cases here: series including eventually zero terms like $0.44=0.44\bar{0}$, and nonterminating series without zeros after the decimal point.
To determine cardinality, we map into sets of known cardinality. In the case including terminating series, $E$ is in surjection with binary decimals covering the unit interval $\sum a_k 10^{-k} \mapsto \sum b_k 2^{-k}$, otherwise there is a bijection in the latter case. So $E$ is uncountable either way.
$E$ is not dense in the unit interval because there are no terms of $E$ in the interval $(0.5,0.6)$.
We first show $E$ is perfect. Assume contrary, then there
exists $\ell \nin E:N_\epsilon(\ell) \cap E \ne \emptyset$. Then
$\ell$ has a decimal expansion with digits which aren't 4,7, or in
certain cases, 0 [for example, $0.404$]. If the first such digit
occurs at $k=n$, then for any $s \in E, |\ell -
s|>10^{-m-1}$. Therefore $\ell$ cannot be a limit point, and $E$ is
perfect.
Since $E$ is perfect, it contains its limit points and is therefore closed. Either $(0.4,0.7)$ or $(0.\bar{4},0.\bar{7}) = (\frac{4}{9}, \frac{7}{9})$ is a bound for $E$, and since $E$ is closed and bounded, $E$ is compact.
\end{proof}
\ex[18]{Is there a nonempty perfect set in $\R$ which contains no rational number?}
Assume there is such a set $P$, then for $q \in \Q, \epsilon > 0$, the intersection
\[
N_\epsilon(q) \cap (P \setminus \{q\})
\]
must be empty.
Since $P$ is nonempty, we have $p \in P:p \in (p - \epsilon, p+ \epsilon)$. We show that any open interval $(a,b)$ contains rational points. [WTS open segment has rationals]
\ex[19]{Prove:
\begin{enumerate}
\item Disjoint closed sets $A,B$ in a metric space $X$ are separated
\item Prove the same for disjoint open sets.
\item For some $p\in X, A \ndef \{q:d(p,q)<\delta\}, B \ndef \{q:d(p,q)>\delta\}$. $A,B$ are separated.
\item Every connected metric space with at least two points is uncountable.
\end{enumerate}
}
\begin{enumerate}
\item For disjoint closed sets, $A \cap B = \emptyset, A = \bar{A}, B = \bar{B}$. Then $\bar{A} \cap \bar{B} = \emptyset$
\item For disjoint open subsets $A,B$, $A \cup B$ also open
\end{enumerate}
\ex[20]{Are closures and interiors of connected sets connected?}
\ex[21]{Let $A,B \subset \R^k$ be separated subsets. Then for $a \in A, b \in B, t \in \R$, define
\[
p(t) = (1-t)a+tb, A_o=\inv{p}(A), B_0=\inv{p}(B)
\]
Prove
\begin{enumerate}
\item $A_0,B_0$ are separated subsets.
\item $\exists t_0 \in (0,1):p(t_o)\nin A \cup B$
\item Every convex subset of $\R^k$ is connected.
\end{enumerate}
}
Rewrite as $p(t) = a+ t(b-a)$. On the closed unit interval, $p(t)$ deforms $a$ into $b$ and vice-versa.
\ex[22]{A metric space is \emph{separable} if it contains a countable dense subset. Prove $\R^k$ is separable.}
TBD:Show cart product of intervals interior $N_\delta(x) \subset \R^k$
For $x = (x_1,...,x_k) \in \R^k, E \ndef \{(q_i,q_j)_{i,j:1 \leq i,j \leq k} \subseteq \Q^k:q_i,q_j \in \Q\}$, the cartesian product of open intervals, we will show $N_\delta(x) \cap E$ is an open subset of $\Q^k$ and $\R^k$ is thus separable. \\
For each \( \delta >0, \exists n \in \N:1/n < \delta \). Then
$B_{1/n}(x) \subset B_\delta (x)$.
\ex[23]{Prove that every separable metric space has a countable base.}
\ex[24]{Let $X$ be a metric space in which every infinite subset has a limit point. Prove $X$ is separable.}
\ex[25]{Prove every compact metric space $K$ has countable base, and that $K$ is therefore separable.}
\ex[26]{Let $X$ be a metric space in which every infinite subset has a limit point. Prove $X$ is compact.}
\ex[27]{For $E\subseteq \R^k$ uncountable and $P$ its condensation points, prove $P$ is perfect and $P^c \cap E$ at most countable.}
\ex[28]{Prove that every closed set in a separable metric space is the union of a (perhaps empty) perfect set and an at most countable set. (corollary: every countable closed subset of $\R^k$ has isolated points) hint: ex27}
\ex[29]{Prove that open sets in $\R$ are the union of at most countable intervals.}
Define a relation on $U \subseteq \R$ as follows: $\forall x,y \in U, x \sim y \iff $ there is a closed interval of $U$ with endpoints $x,y$. This relation is reflexive and symmetric, and for $x \sim z, z \sim y$, the union of closed segments is again in $U$.
\ex[30]{Imitate the proof of Thm 2.43 to obtain the following result: \\
If $\R^k = \bigcup_1^\infty F_n$, where each $F_n$ is a closed subset then at least one $F_n$ has nonempty interior. \\
Equivalent statement: If $G_n$ is a dense open subset of $\R^n$, then
$\bigcap_1^\infty G_n \ne \emptyset$ (in fact, dense in $\R^n$).}
\newpage
\section*{definitions and results}
\begin{itemize}
\item [limit point] We say $\ell$ is a \emph{limit point} of $E$ if there exists $\{q:q \ne \ell\} \subset E \cap N_r(\ell)$
\item [closure] The closure $\bar{A}$ of $A \subseteq X$ is $A$ plus its limit points.
\item [compact] A subset $S \subseteq X$ is \emph{compact} if each cover $\{U_i\}_I$ admits a finite subindexing $\{U_i\}_{J\subseteq I}$, i.e., a finite subcover.
\item [perfect] A subset is \emph{perfect} if it is closed and each point is a limit point.
\item [dense] $A$ is \emph{dense} in $X$ if for any other subset $B, B \cap \bar{A} \ne \emptyset$.
\item [condensation point] A point $p$ such that $|N_r(p) \cap E| = \mathfrak{c}$
\item [separate] $A,B$ are \emph{separated} if $A \cap \bar{B} = \emptyset \text{ and } \bar{A} \cap B = \emptyset$
\item [connected] $S$ is \emph{connected} if it is not the disjoint union of separable sets.
\item [base] A collection of open subsets $\{V_a\}$ such that every open set is some union $\bigcup V_a$.
\end{itemize}
We want to show there exists a nontrivial open subset of $\Q^k$ interior to every open subset of $\R^k$. \\
Assuming Euclidean metric, set $\delta = \frac{\sqrt{n}}{n^2}\epsilon$ and define $\Delta \ndef (\delta,...,\delta) \in \R^k$.
\[
d(x, x+\Delta) = \sqrt{\sum{\left(x_i-(x_i+\frac{\sqrt{n}}{n^2}\epsilon)\right)^2}} = \frac{\epsilon}{n} \in N_\epsilon(x)
\]
By the archimidean property of $\R$, there exists $M \in \N, M>1$:
\[
\frac{\sqrt{n}}{n^2}\epsilon<1 \implies \inv{M} < \frac{\sqrt{n}}{n^2}\epsilon
\]
Therefore, we have the open subset $E \subset \Q^k$:
\[
E \ndef \Q^k \cap \prod_{i=1}^n(x_i-\delta,x_i+\delta) \subset \prod_{i=1}^n(x_i-\delta,x_i+\delta) \subset N_\epsilon(x)
\]
Moreover for $(\inv{M},...,\inv{M}) \in N_\epsilon(0)$, so $E$ is nonempty. [show $N_\epsilon(x) \subset U(x)$] \\
WTS (countable) rationals in any real open set. Any real open set is the disjoint product of at most countable open intervals. Since $\R \cong (0,1)$, it suffices to prove this on the unit interval. Let $(a,b) \subset (0,1)$. Then $0 < \frac{1}{M} < b-a<1, M \in \N$.
From this we can show $b-\inv{M}>a, a+\inv{M}<b \implies a+\inv{M} -b+\inv{M} < b-a, -(b-a) + 2 $
For any $x \in (a,b), x-a,b-x>0, 2x+b-a>0$
WTS $\exists \delta>0:N_\delta(x) \cap U_x \ne emptyset$ \\
\[
\sage{latex(continued_fraction(pi).str(nterms=2))}
\]
\section*{things which are actually wrong}
Let $U,L$ be the open upper and open lower halves of $\R^k$, i.e., given $x = (x_1,...,x_n),(0,...,0) \in \R^k,
\begin{cases}
x_1 > 0 \implies & x \in U \\
x_1 < 0 \implies & x \in L \\
x_1 = 0 \implies & x \nin U \cup L
\end{cases}$. Then for $\delta >0, (\pm \delta,0,...,0) \in N_r(0) \cap (A \subset U) N_r(0) \cap (B \subset L), 0 \in \bar{U}\cap\bar{L}$ therefore by definition $(U \cap \bar{L}) \cap (\bar{U} \cap L) = \emptyset$.
We will show these definitions are equivalent.
\end{document}