MATH 409 Lecture 6

« previous | Thursday, September 12, 2013 | next »

Lecture Slides

New Challenges

Challenge 5

Prove that the set $\mathbb{ℝ}\times \mathbb{ℝ}$ is of the same cardinality as $\mathbb{ℝ}$.

Challenge 6

…

Limits of Sequences

A sequence of elements of a set $X$ is a function $f:\mathbb{\mathbb{N}}\to X$.

Notation: $x_1,x_2,\dots$, where $x_n=f(n)$. Alternatively, ${\left\{x_n\right\}}_{n\in \mathbb{\mathbb{N}}}$ or simply $\left\{x_n\right\}$.

A sequence $\left\{x_n\right\}$ of real numbers is said to converge to a real number $a$ if for any $ϵ>0$ there exists $N\in \mathbb{\mathbb{N}}$ such that $|x_n-a|<ϵ$ for all $n\ge N$.

The number $a$ is called the limit of $\left\{x_n\right\}$.

Notation: $\underset{n\to \mathrm{\infty }}{\lim }{x}_n=a$, or $x_n\to a$ as $n\to \mathrm{\infty }$.

A sequence is called convergent if it has a limit and divergent otherwise.

The condition $|x_n-a|<ϵ$ is equivalent to $a-ϵ<x_n<a+ϵ$ or to $x\in (a-ϵ,a+ϵ)$. This interval is called the ε-neighborhood of the point $a$. The convergence $x_n\to a$ means that any ε-neighborhood of $a$ contains all but finitely many elements of the sequence $\left\{x_n\right\}$.

Examples

Theorem. The sequence ${\left\{\frac{1}{n}\right\}}_{n\in \mathbb{\mathbb{N}}}$ converges to 0.

Proof. By the Archimedean Principle, for any $ϵ>0$ there exists a natural number $N$ such that $Nϵ>1$. Then for any $n\ge N$, we have $nϵ\ge nϵ>1$ so that (dividing by $n$) $\frac{1}{n}<ϵ$. Since $\frac{1}{n}>0$, we obtain $\left|\frac{1}{n}\right|<ϵ$ for $n\ge N$.

quod erat demonstrandum

Theorem. The constant sequence $\left\{x_n\right\}$, where $x_n=a$ for some $a\in \mathbb{ℝ}$ and all $n\in \mathbb{\mathbb{N}}$.

Proof. Since $|x_n-a|=0$ for all $n\in \mathbb{\mathbb{N}}$, the sequence converges to $a$.

quod erat demonstrandum

Theorem. The sequence ${\left\{{(-1)}^n\right\}}_{n\in \mathbb{\mathbb{N}}}$ is divergent.

(to be shown later)

Theorem. The sequence ${\left\{n\right\}}_{n\in \mathbb{\mathbb{N}}}$ is divergent.

Proof. By the Archimedean Principle above, $\frac{1}{n}$ gets small, so its inverse must get large.

quod erat demonstrandum

Properties

Theorem. The limit is unique.

Proof. Suppose $a$ and $b$ are distinct real numbers. Let $ϵ=\frac{|b-a|}{2}$. Then the ε-neighborhoods of $a$ and $b$ are disjoint. Hence they cannot both contain all but finitely many elements of the same sequence.

quod erat demonstrandum

Theorem. Any convergent sequence $\left\{x_n\right\}$ is bounded, which means that the set of its elements is bounded.

Proof. This follows from three facts:

1. Any ε-neighborhood is bounded,
2. any finite set is bounded, and
3. the union of two bounded sets is also bounded.

Take the first set to be the one that is bounded in the ε-neighborhood, and the remaining elements outside the ε-neighborhood is finite. Thus the union of these two sets is the sequence, which must also be bounded.

The sequence ${\left\{n\right\}}_{n\in \mathbb{\mathbb{N}}}$ discussed above breaks this property.

quod erat demonstrandum

Theorem. Any subsequence converges to the same limit.

Proof. Here a subsequence of a sequence $\left\{x_n\right\}$ is any sequence of the form $\left\{x_{n_k}\right\}$, where $\left\{n_k\right\}$ is an increasing sequence of natural numbers. Note that $n_k\ge k$. The proof follows easily by induction.

quod erat demonstrandum

The sequence $\left\{{(-1)}^n\right\}$ discussed above breaks this property.

Divergence to Infinity

A sequence $\left\{x_n\right\}$ is said to diverge to infinity if for any $C>0$ there exists $N\in \mathbb{\mathbb{N}}$ such that $\left|x_n\right|>C$ for all $n\ge N$.

Observe that such a sequence is indeed divergent as it is not bounded: given an interval, we can always get out of the interval and never turn back.

A sequence $\left\{x_n\right\}$ is said to diverge to positive infinity ($+\mathrm{\infty }$) if for any $C\in \mathbb{ℝ}$ there exists $N\in \mathbb{\mathbb{N}}$ such that $x_n>C$ for all $n\ge N$.

Likewise $\left\{x_n\right\}$ is said to diverge to negative infinity ($-\mathrm{\infty }$) if for any $C\in \mathbb{ℝ}$ there exists $N\in \mathbb{\mathbb{N}}$ such that $x_n<C$ for all $n\ge N$.

For example, the sequence ${\left\{n\right\}}_{n\in \mathbb{\mathbb{N}}}$ diverges to positive infinity.

Limit Theorems

Squeeze Theorem

Theorem. [Squeeze Theorem]. Suppose $\{x-n\}$, $\left\{y_n\right\}$, and $\left\{w_n\right\}$ are three sequences of real numbers such that $x_n\le w_n\le y_n$ for all sufficiently large $n$.

If the sequences $\left\{x_n\right\}$ and $\left\{y_n\right\}$ both converge to the same limit $a$, then $\left\{w_n\right\}$ converges to $a$ as well.

Proof. Since $\underset{n\to \mathrm{\infty }}{\lim }{x}_n=\underset{n\to \mathrm{\infty }}{\lim }{y}_n=a$, for any $ϵ>0$ there exist natural numbers $N_1$ and $N_2$ such that $a-ϵ<x_n<a+ϵ$ for all $n\ge N_1$ and $a-ϵ<y_n<a+ϵ$ for all $n\ge N_2$. Besides, there exists $N_0\in \mathbb{\mathbb{N}}$ such that $x_n\le w_n\le y_n$ for all $n\ge N_0$. We can choose $N$ to be the max of $N_0$, $N_1$, and $N_2$. Then for any natural number $n\ge N$, we have $a-ϵ<x_n\le w_n\le y_n<a+ϵ$, which implies that $a-ϵ<w_n<a+ϵ$. Thus $\underset{n\to \mathrm{\infty }}{\lim }{w}_n=a$.

quod erat demonstrandum

Note: alternate name: theorem of two police men and a drunk guy

Comparison Theorem

Theorem. [Comparison Theorem]. Suppose $\left\{x_n\right\}$ and $\left\{y_n\right\}$ are convergent sequences. If $x_n\le y_n$ for all sufficiently large $n$, then $\underset{n\to \mathrm{\infty }}{\lim }{x}_n\le \underset{n\to \mathrm{\infty }}{\lim }{y}_n$.

Proof. Let $a=\underset{n\to \mathrm{\infty }}{\lim }{x}_n$ and $b=\underset{n\to \mathrm{\infty }}{\lim }{y}_n$. Assume the contrary that $a>b$. Then $ϵ=\frac{a-b}{2}$ is a positive number. Hence there exists a natural number $N$ such that $|x_n-a|<ϵ$ and $|y_n-b|<ϵ$ for all $n\ge N$. In particular, $y_n<b+ϵ$ and $a-ϵ<x_n$ for $n\ge N$. However, $x+ϵ=a-ϵ=\frac{a+b}{2}$, which implies that $y_n<x_n$ for all $n\ge N$, a contradiction.

quod erat demonstrandum

Corollary. If all elements of a convergent sequence $\left\{x_n\right\}$ belong to a closed interval $[a,b]$, then the limit belongs to $[a,b]$ as well.

Proof. This follows from two applecations of the previous theorem. let $\left\{y_n\right\}$ be the constant sequence $\left\{b\right\}$ and compare with $\left\{x_n\right\}$. If all elements satisfy $x_n<b$, then the limits must follow the same pattern. Reverse this step with $\left\{y_n\right\}=\left\{x_n\right\}$ and $\left\{x_n\right\}=\left\{a\right\}$.

quod erat demonstrandum

Convergence and Arithmetic Operations

Theorem. [Addition]. Suppose $\left\{x_n\right\}$ and $\left\{y_n\right\}$ are convergent sequences of real numbers. Then the sequences $\{x_n+y_n\}$ and $\{x_n-y_n\}$ are also convergent.

Moreover, if $a=\underset{n\to \mathrm{\infty }}{\lim }{x}_n$ and $b=\underset{n\to \mathrm{\infty }}{\lim }{y}_n$, then $\underset{n\to \mathrm{\infty }}{\lim }(x_n+y_n)=a+b$ and $\underset{n\to \mathrm{\infty }}{\lim }(x_n-y_n)=a-b$

Proof. Since $\underset{n\to \mathrm{\infty }}{\lim }{x}_n=a$ and $\underset{n\to \mathrm{\infty }}{\lim }{y}_n=b$, for any $ϵ>0$ there exists a natural number $N$ such that $\left|x_{n}a\right|<\frac{ϵ}{2}$ and $|y_n-b|<\frac{ϵ}{2}$ for all $n\ge N$. Then for any $n\ge N$ we obtain

$\begin{array}{rl}|(x_n+y_n)-(a+b)|& =|(x_n-a)+(y_n-b)|\\ & \le |x_n-a|+|y_n-b|\\ & <\frac{ϵ}{2}+\frac{ϵ}{2}=ϵ\\ |(x_n-y_n)-(a-b)|& =|(x_n-a)+(b-y_n)|\\ & \le |x_n-a|+|b-y_n|=|x_n-a|+|y_n-b|\\ & <\frac{ϵ}{2}+\frac{ϵ}{2}=ϵ\end{array}$.

Thus $x_n+y_n\to a+b$ and $x_n-y_n\to a-b$ as $n\to \mathrm{\infty }$.

quod erat demonstrandum

Theorem. [Products]. Suppose $\left\{x_n\right\}$ and $\left\{y_n\right\}$are convergent sequences of real numbers. Then the sequence $\left\{x_n{y}_n\right\}$ is also convergent.

Moreover, if $a=\underset{n\to \mathrm{\infty }}{\lim }{x}_n$ and $b=\underset{n\to \mathrm{\infty }}{\lim }{y}_n$, then $\underset{n\to \mathrm{\infty }}{\lim }{x}_n{y}_n=ab$.

Proof. Since $x_n\to a$ and $y_n\to b$ for $n\to \mathrm{\infty }$, for any $\delta >0$ there exists $N(\delta )\in \mathbb{\mathbb{N}}$ such that $|x_n-a|<\delta$ and $|y_n-b|<\delta$ for all $n\ge \mathbb{\mathbb{N}}(\delta )$. Then for any $n\ge N(\delta )$ we obtain

$\begin{array}{rl}|x_n{y}_n-ab|& =|x_n{y}_n-a{y}_n+a{y}_n-ab|\\ & =|(x_n-a)y_n+a(y_n-b)|\\ & =|(x_n-a)y_n-(x_n-a)b+(x_n-a)b+a(y_n-b)|\\ & =|(x_n-a)(y_n-b)+(x_n-a)b+a(y_n-b)|\\ & \le \left|(x_n-a)(y_n-b)\right|+\left|(x_n-a)b\right|+\left|a(y_n-b)\right|\\ & =|x_n-a||y_n-b|+|b||x_n-a|+|a||y_n-b|\\ & <{\delta }^2+(|a|+|b|)\delta \end{array}$

Now, given $ϵ>0$, we set $\delta =\mathrm{m}\mathrm{i}\mathrm{n}(1,{(1+|a|+|b|)}^{-1}ϵ)$. Then $\delta >0$ and ${\delta }^2+(|a|+|b|)\delta \le (1+|a|+|b|)\delta \le ϵ$. By the above, $|x_n{y}_n-ab|<ϵ$ for all $n\ge N(\delta )$.

quod erat demonstrandum

Theorem. [Quotients]. Suppose that a sequence $\left\{x_n\right\}$ converges to some $a\in \mathbb{ℝ}$. If $a\ne 0$ and $x_n\ne 0$ for all $n\in \mathbb{\mathbb{N}}$, then the sequence $\left\{{x_n}^{-1}\right\}$ convergest to $a^{-1}$.

Proof. Since $x_n\to a$ as $n\to \mathrm{\infty }$, for any $\delta >0$ there exists $N(\delta )\in \mathbb{\mathbb{N}}$ such that $|x_n-a|<\delta$ for all $n\ge N(\delta )$.

Given $ϵ>0$, we set $\delta =\mathrm{m}\mathrm{i}\mathrm{n}(\frac{|a|}{2},\frac{|a{|}^2ϵ}{2})$. Then for any $n\ge N(\delta )$ we have $|x_n-a|<\frac{|a|}{2}$. Since

$|a|\le |a_n-x_n|+|x_n|=|x_n-a|+|x_n|$

it follows that $|x_n|\ge |a|-|x_n-a|>|a|-\frac{|a|}{2}=\frac{|a|}{2}$

Furthermore, for any $n\ge N(\delta )$, we obtain

$|\frac{1}{x_n}-\frac{1}{a}|=\left|\frac{a-x_n}{a{x}_n}\right|=\frac{|x_n-a|}{|a||x_n|}\le \frac{2|x_n-a|}{|a{|}^2}<\frac{2\delta }{|a{|}^2}\le ϵ$

We conclude that $\frac{1}{x_n}\to \frac{1}{a}$ as $n\to \mathrm{\infty }$.

quod erat demonstrandum

Corollary 1. If $\underset{n\to \mathrm{\infty }}{\lim }{x}_n=a$ then $\underset{n\to \mathrm{\infty }}{\lim }c{x}_n=ca$ for any $c\in \mathbb{ℝ}$.

Proof. Use the multiplication theorem with constant sequence $\left\{c\right\}$.

quod erat demonstrandum

Corollary 2. If $\underset{n\to \mathrm{\infty }}{\lim }{x}_n=a$ then $\underset{n\to \mathrm{\infty }}{\lim }(-x_n)=-a$.

Proof. There are two ways: take above $c=-1$, or use difference of sequnces with constant sequence $\left\{0\right\}$.

quod erat demonstrandum

Corollary 3. If $\underset{n\to \mathrm{\infty }}{\lim }{x}_n=a$, $\underset{n\to \mathrm{\infty }}{\lim }{y}_n=b$, and, moreover, $b\ne 0$ and $y_n\ne 0$ for all $n\in \mathbb{\mathbb{N}}$, then $\underset{n\to \mathrm{\infty }}{\lim }\frac{x_n}{y_n}=\frac{a}{b}$.

Proof. Since $b\ne 0$ and $y_n\ne 0$ for all $n\in \mathbb{\mathbb{N}}$, it follows that $y_n^{-1}\to b^{-1}$ as $n\to \mathrm{\infty }$. Since $\frac{x_n}{y_n}=x_n{y}_n^{-1}$ for all $n\in \mathbb{\mathbb{N}}$, the proposition follows from the theorem regarding multiplication.

quod erat demonstrandum