Math 104 Assignment 6

1. Distances and convergent sequences

   Let $(M, d)$ be a metric space.

   1. Let $(x_n)_n$ be a sequence in $M$, and $L \in M$. Prove that $(x_n)_n$ converges to $L$ if and only if the sequence of real numbers $(d(x_n, L))_n$ converges to $0$.
   2. Suppose that $(a_k)_k$ and $(b_k)_k$ are sequences in $M$ which converge to $a$ and $b$ repsectively. Prove that \[\limni[k] d(a_k, b_k) = d(a, b).\]

2. Limits and order properties

   1. Suppose that $(a_n)_n$ is a convergent sequence in $\R$, and there are $N \in \N$ and $b \in \R$ such that $a_n \leq b$ for all $n \gt N$. Prove that \[\lim_{n\to\infty} a_n \leq b.\]
   2. Suppose that $(a_n)_n$ and $(b_n)_n$ are convergent sequences in $\R$ such that for some $N \in \N$ and every $n \gt N$, $a_n \leq b_n$. Prove that \[\lim_{n\to\infty} a_n \leq \lim_{n \to \infty} b_n.\] (Hint: use Part A.)
   3. Suppose that $(a_n)_n$ and $(b_n)_n$ are convergent sequences in $\R$ such that for some $N \in \N$ and every $n \gt N$, $a_n \leq b_n$, and so that \[\lim_{n\to\infty}a_n = \lim_{n\to\infty}b_n.\] Suppose further that $(c_n)_n$ is another sequence so that $a_n \leq c_n \leq b_n$ for $n \gt N$. Prove that $(c_n)_n$ converges to the same limit as $(a_n)_n$ and $(b_n)_n$.
   4. Show by example that if $(a_n)_n$ is a convergent sequence in $\R$ and $b \in \R$ is such that $a_n \lt b$ for all $n$, it may not be the case that \[\lim_{n\to\infty} a_n \lt b.\]
   5. Suppose that $(a_n)_n$ is a sequence in $\R$ which is decreasing in the sense that $a_n \geq a_{n+1}$ for every $n \in \N$. Prove that $(a_n)_n$ converges if and only if it is bounded below.

3. Square roots and convergent sequences

   1. Suppose that $(z_a)_a$ is a sequence in $\R_{\geq0}$ with \[\lim_{s\to\infty} z_s = z.\] Show that $(\sqrt{z_n})_n$ converges to $\sqrt z$. (Hint: it may be useful to treat the case $z = 0$ separately; it may also be useful to use the fact that $(\sqrt{z_t} - \sqrt{z})(\sqrt{z_t}+\sqrt{z}) = z_t - z$. You should not assume anything about continuity.)

   Let $a_1 = 1$ and for $n \in \N$, define $a_{n+1} = \sqrt{3+2a_n}$.

   2. Prove that for every $n \in \N$, we have $0 \leq a_n \leq a_{n+1} \leq 6.02\times 10^{23}$.
   3. Prove that $(a_n)_n$ converges, and find its limit.

4. A compact set

   Suppose that $(a_n)_n$ is a sequence in a metric space $(M, d)$ which converges to a limit $a$. Prove that $\set{a_n\mid n \in \N} \cup \set a$ is compact.

Here are some further problems to think about out of interest. You do not need to attempt them, nor should you submit them with the assignment.

• Distances and convergent sequences

  Suppose that $(a_n)_n$, $(b_n)_n$ are sequences in a metric space $(M, d)$ so that \[\limni d(a_n, b_n) = 0.\] Prove that both sequences converge to the same limit, or provide a counterexample.

• An interesting sequence of rational numbers

  Let $(q_n)_n$ be the sequence from Question 2, and let $(a_n)_n$ be any sequence in $\Q$. Show that $(a_n)_n$ is a subsequence of $(q_n)_n$.

• Topologies

  A topological space is a pair $(X, \mathscr{T})$ where $X$ is a set, and $\mathscr{T}$ is a collection of subsets of $X$ so that $\emptyset, X \in \mathscr{T}$, and $\mathscr{T}$ is closed under finite intersections and arbitrary unions (that is to say, if $G_1, \ldots, G_n \in \mathscr{T}$ then $G_1\cap\cdots\cap G_n \in \mathscr{T}$, and if $(G_\alpha)_\alpha$ is a collection of elements of $\mathscr{T}$ then $\bigcup_\alpha G_\alpha \in \mathscr{T}$). The elements of $\mathscr{T}$ are said to be open, and a set $F \subseteq X$ is said to be closed if $F^c \in \mathscr{T}$. We refer to $\mathscr{T}$ as a topology on $X$.

  Notice that if $(M, d)$ is a metric space, then $\mathscr{T}_d = \set{U \subseteq M \mid U \text{ is open with respect to } d}$ is a topology on $M$. We say that the topology $\mathscr{T}_d$ is induced by the metric $d$.

  A topological space $(X, \mathscr{T})$ is said to be metrizable if there is a metric on $X$ which induces $\mathscr{T}$. Note that this metric need not be unique!

  A sequence $(x_n)_n$ in a topological space $(X, \mathscr{T})$ is said to converge to $x \in X$ if for every open set $G \in \mathscr{T}$ with $x \in G$, there are only finitely many $n \in \N$ for which $x_n \notin G$. (Remember that we proved this was equivalent to our definition of convergence in metric spaces.)

  1. Let $X = \set{0, 1}$ and $\mathscr{T} = \set{\emptyset, X}$. Is $(X, \mathscr{T})$ a topological space? Is it metrizable?
  2. Are limits of sequences in topological spaces unique when they exist? Or can a sequence converge to more than one distinct point?
  3. Give an example of a topological space and two different metrics which give rise to the same topology.
  4. Formulate a necessary and sufficient condition in terms of sequecnes for two metrics inducing the same topology.
  5. Suppose that $\mathscr{T}_1$ and $\mathscr{T}_2$ are topologies on a set $X$ with the property that any sequence in $X$ converges with respect to $\mathscr{T}_1$ if and only if it does with respect to $\mathscr{T}_2$. Must $\mathscr{T}_1 = \mathscr{T}_2$?