## Baby Rudin Problems

Last update: 19 March 2014

## Chapter 3

1. Prove that convergence of $\left\{{s}_{n}\right\}$ implies convergence of $\left\{|{s}_{n}|\right\}\text{.}$ Is the converse true?
2. Calculate $\underset{n\to \infty }{\text{lim}}\left(\sqrt{{n}^{2}+n}-n\right)\text{.}$
3. If ${s}_{1}=\sqrt{2},$ and $sn+1= 2+sn (n=1,2,3,…),$ prove that $\left\{{s}_{n}\right\}$ converges, and that ${s}_{n}<2$ for $n=1,2,3,\dots \text{.}$
4. Find the upper and lower limits of the sequence $\left\{{s}_{n}\right\}$ defined by $s1=0; s2m= s2m-12; s2m+1=12+ s2m.$
5. For any two real sequences $\left\{{a}_{n}\right\},\left\{{b}_{n}\right\},$ prove that $lim supn→∞ (an+bn)≤ lim supn→∞ an+ lim supn→∞ bn,$ provided the sum on the right is not of the form $\infty -\infty \text{.}$
6. Investigate the behavior (convergence or divergence) of $\sum {a}_{n}$ if
1. ${a}_{n}=\sqrt{n+1}-\sqrt{n}\text{;}$
2. ${a}_{n}=\frac{\sqrt{n+1}-\sqrt{n}}{n}\text{;}$
3. ${a}_{n}={\left(\sqrt[n]{n}-1\right)}^{n}\text{;}$
4. ${a}_{n}=\frac{1}{1+{z}^{n}},\phantom{\rule{2em}{0ex}}$ for complex values of $z\text{.}$
7. Prove that the convergence of $\sum {a}_{n}$ implies the convergence of $∑ann,$ if ${a}_{n}\ge 0\text{.}$
8. If $\sum {a}_{n}$ converges, and if $\left\{{b}_{n}\right\}$ is monotonic and bounded, prove that $\sum {a}_{n}{b}_{n}$ converges.
9. Find the radius of convergence of each of the following power series:
1. $\sum {n}^{3}{z}^{n},$
2. $\sum \frac{{2}^{n}}{n!}{z}^{n},$
3. $\sum \frac{{2}^{n}}{{n}^{2}}{z}^{n},$
4. $\sum \frac{{n}^{3}}{{3}^{n}}{z}^{n}\text{.}$
10. Suppose that the coefficients of the power series $\sum {a}_{n}{z}^{n}$ are integers, infinitely many of which are distinct from zero. Prove that the radius of convergence is at most $1\text{.}$
11. Suppose ${a}_{n}>0,$ ${s}_{n}={a}_{1}+\cdots +{a}_{n},$ and $\sum {a}_{n}$ diverges.
1. Prove that $\sum \frac{{a}_{n}}{1+{a}_{n}}$ diverges.
2. Prove that $aN+1sN+1 +⋯+ aN+ksN+k ≥1-sNsN+k$ and deduce that $\sum \frac{{a}_{n}}{{s}_{n}}$ diverges.
3. Prove that $ansn2≤ 1sn-1- 1sn$ and deduce that $\sum \frac{{a}_{n}}{{s}_{n}^{2}}$ converges.
4. What can be said about $∑an1+nan and∑ an1+n2an?$
12. Suppose ${a}_{n}>0$ and $\sum {a}_{n}$ converges. Put $rn=∑m=n∞ am.$
1. Prove that $amrm+⋯+ anrn>1- rnrm$ if $m and deduce that $\sum \frac{{a}_{n}}{{r}_{n}}$ diverges.
2. Prove that $anrn<2 (rn-rn+1)$ and deduce that $\sum \frac{{a}_{n}}{\sqrt{{r}_{n}}}$ converges.
13. Prove that the Cauchy product of two absolutely convergent series converges absolutely.
14. If $\left\{{s}_{n}\right\}$ is a complex sequence, define its arithmetic means ${\sigma }_{n}$ by $σn= s0+s1+⋯+sn n+1 (n=0,1,2,…).$
1. If $\text{lim} {s}_{n}=s,$ prove that $\text{lim} {\sigma }_{n}=s\text{.}$
2. Construct a sequence $\left\{{s}_{n}\right\}$ which does not converge, although $\text{lim} {\sigma }_{n}=0\text{.}$
3. Can it happen that ${s}_{n}>0$ for all $n$ and that $\text{lim sup} {s}_{n}=\infty ,$ although $\text{lim} {\sigma }_{n}=0\text{?}$
4. Put ${a}_{n}={s}_{n}-{s}_{n-1},$ for $n\ge 1\text{.}$ Show that $sn-σn= 1n+1∑k=1n kak.$ Assume that $\text{lim}\left(n{a}_{n}\right)=0$ and that $\left\{{\sigma }_{n}\right\}$ converges. Prove that $\left\{{s}_{n}\right\}$ converges. [This gives a converse of (a), but under the additional assumption that $n{a}_{n}\to 0\text{.]}$
5. Define the last conclusion from a weaker hypothesis: Assume $M<\infty ,$ $|n{a}_{n}|\le M$ for all $n,$ and $\text{lim} {\sigma }_{n}=\sigma \text{.}$ Prove that $\text{lim} {s}_{n}=\sigma ,$ by completing the following outline: If $m then $sn-σn= m+1n-m (σn-σm)+ 1n-m ∑i=m+1n (sn-si).$ For these $i,$ $|sn-si|≤ (n-i)M i+1 ≤ (n-m-1)M m+2 .$ Fix $\epsilon >0$ and associate with each $n$ the integer $m$ that satisfies $m≤n-ε1+ε Then $\left(m+1\right)/\left(n-m\right)\le 1/\epsilon$ and $|{s}_{n}-{s}_{i}| Hence $lim supn→∞ |sn-σ|≤ Mε.$ Since $\epsilon$ was arbitrary, $\text{lim} {s}_{n}=\sigma \text{.}$
15. Definition 3.21 can be extended to the case in which the ${a}_{n}$ lie in some fixed ${R}^{k}\text{.}$ Absolute convergence is defined as convergence of $\sum |{\text{a}}_{n}|\text{.}$ Show that Theorems 3.22, 3.23, 3.25(a), 3.33, 3.34, 3.42, 3.45, 3.47, and 3.55 are true in this more general setting. (Only slight modifications are required in any of the proofs.)
16. Fix a positive number $\alpha \text{.}$ Choose ${x}_{1}>\sqrt{\alpha },$ and define ${x}_{2},{x}_{3},{x}_{4},\dots ,$ by the recursion formula $xn+1=12 (xn+αxn).$
1. Prove that $\left\{{x}_{n}\right\}$ decreases monotonically and that $\text{lim} {x}_{n}=\sqrt{\alpha }\text{.}$
2. Put ${\epsilon }_{n}={x}_{n}-\sqrt{\alpha },$ and show that $εn+1= εn22xn< εn22α$ so that, setting $\beta =2\sqrt{\alpha },$ $εn+1<β (ε1β)2n (n=1,2,3,…).$
3. This is a good algorithm for computing square roots, since the recursion formula is simple and the convergence is extremely rapid. For example, if $\alpha =3$ and ${x}_{1}=2,$ show that ${\epsilon }_{1}/\beta <\frac{1}{10}$ and that therefore $ε5<4·10-16 ,ε6<4· 10-32.$
17. Fix $\alpha >1\text{.}$ Take ${x}_{1}>\sqrt{\alpha },$ and define $xn+1= α+xn 1+xn =xn+ α-xn2 1+xn .$
1. Prove that ${x}_{1}>{x}_{3}>{x}_{5}>\cdots \text{.}$
2. Prove that ${x}_{2}<{x}_{4}<{x}_{6}<\cdots \text{.}$
3. Prove that $\text{lim} {x}_{n}=\sqrt{\alpha }\text{.}$
4. Compare the rapidity of convergence of this process with the one described in Exercise 16.
18. Replace the recursion formula of Exercise 16 by $xn+1= p-1pxn+ αpxn-p+1$ where $p$ is a fixed positive integer, and describe the behavior of the resulting sequences $\left\{{x}_{n}\right\}\text{.}$
19. Associate to each sequence $a=\left\{{\alpha }_{n}\right\},$ in which ${\alpha }_{n}$ is $0$ or $2,$ the real number $x(a)=∑n=1∞ αn3n.$ Prove that the set of all $x\left(a\right)$ is precisely the Cantor set described in Sec. 2.44.
20. Suppose $\left\{{p}_{n}\right\}$ is a Cauchy sequence in a metric space $X,$ and some subsequence $\left\{{p}_{{n}_{i}}\right\}$ converges to a point $p\in X\text{.}$ Prove that the full sequence $\left\{{p}_{n}\right\}$ converges to $p\text{.}$
21. Prove the following analogue of Theorem 3.10(b): If $\left\{{E}_{n}\right\}$ is a sequence of closed nonempty and bounded sets in a complete metric space $X,$ if ${E}_{n}\supset {E}_{n+1},$ and if $limn→∞ diam En=0,$ then $\bigcap _{1}^{\infty }{E}_{n}$ consists of exactly one point.
22. Suppose $X$ is a nonempty complete metric space, and $\left\{{G}_{n}\right\}$ is a sequence of dense open subsets of $X\text{.}$ Prove Baire's theorem, namely, that $\bigcap _{1}^{\infty }{G}_{n}$ is not empty. (In fact, it is dense in $X\text{.)}$ Hint: Find a shrinking sequence of neighborhoods ${E}_{n}$ such that ${\stackrel{‾}{E}}_{n}\subset {G}_{n},$ and apply Exercise 21.
23. Suppose $\left\{{p}_{n}\right\}$ and $\left\{{q}_{n}\right\}$ are Cauchy sequences in a metric space $X\text{.}$ Show that the sequence $\left\{d\left({p}_{n},{q}_{n}\right)\right\}$ converges. Hint: For any $m,n,$ $d(pn,qn)≤ d(pn,pm)+ d(pm,qm)+ d(qm,qn);$ it follows that $∣ d(pn,qn)- d(pm,qm) ∣$ is small if $m$ and $n$ are large.
24. Let $X$ be a metric space.
1. Call two Cauchy sequences $\left\{{p}_{n}\right\},\left\{{q}_{n}\right\}$ in $X$ equivalent if $limn→∞ d(pn,qn)=0.$ Prove that this is an equivalence relation.
2. Let ${X}^{*}$ be the set of all equivalence classes so obtained. If $P\in {X}^{*},$ $Q\in {X}^{*},$ $\left\{{p}_{n}\right\}\in P,$ $\left\{{q}_{n}\right\}\in Q,$ define $Δ(P,Q)= limn→∞d (pn,qn);$ by Exercise 23, this limit exists. Show that the number $\Delta \left(P,Q\right)$ is unchanged if $\left\{{p}_{n}\right\}$ and $\left\{{q}_{n}\right\}$ are replaced by equivalent sequences, and hence that $\Delta$ is a distance function in ${X}^{*}\text{.}$
3. Prove that the resulting metric space ${X}^{*}$ is complete.
4. For each $p\in X,$ there is a Cauchy sequence all of whose terms are $p\text{;}$ let ${P}_{p}$ be the element of ${X}^{*}$ which contains this sequence. Prove that $Δ(Pp,Pq) =d(p,q)$ for all $p,q\in X\text{.}$ In other words, the mapping $\phi$ defined by $\phi \left(p\right)={P}_{p}$ is an isometry (i.e., a distance-preserving mapping) of $X$ into ${X}^{*}\text{.}$
5. Prove that $\phi \left(X\right)$ is dense in ${X}^{*},$ and that $\phi \left(X\right)={X}^{*}$ if $X$ is complete. By (d), we may identify $X$ and $\phi \left(X\right)$ and thus regard $X$ as embedded in the complete metric space ${X}^{*}\text{.}$ We call ${X}^{*}$ the completion of $X\text{.}$
25. Let $X$ be the metric space whose points are the rational numbers, with the metric $d\left(x,y\right)=|x-y|\text{.}$ What is the completion of this space? (Compare Exercise 24.)