subsequences - qmplus.qmul.ac.uk

23
Subsequences Intuitively and informally, a subsequence of (x n ) 1 n=1 = x 1 , x 2 , x 3 , x 4 ,... is a sequence like x 1 , x 3 , x 5 , x 7 ,... or x 2 , x 3 , x 5 , x 7 , x 11 ,.... We take just some of the terms of the original sequence but we take infinitely many of them and we take them in the same order as the original sequence. In the examples above, we took the x n where n is odd or the ones where n is a prime, but in general there does not have to be such a rule! Definition 2.31 A subsequence of (x n ) 1 n=1 is a sequence x r 1 , x r 2 , x r 3 ,... where r j 2 N for each j 2 N and r j +1 > r j for each j 2 N. We also denote this as (x r j ) 1 j =1 . MTH5104 Convergence and Continuity October 25, 2021 128 / 264

Upload: others

Post on 10-Apr-2022

6 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Subsequences - qmplus.qmul.ac.uk

Subsequences

Intuitively and informally, a subsequence of (xn)1n=1 = x1, x2, x3, x4, . . . is asequence like x1, x3, x5, x7, . . . or x2, x3, x5, x7, x11, . . .. We take just some

of the terms of the original sequence but we take infinitely many of themand we take them in the same order as the original sequence. In theexamples above, we took the xn where n is odd or the ones where n is aprime, but in general there does not have to be such a rule!

Definition 2.31

A subsequence of (xn)1n=1 is a sequence xr1 , xr2 , xr3 , . . . where rj 2 N foreach j 2 N and rj+1 > rj for each j 2 N. We also denote this as (xrj )

1j=1.

MTH5104 Convergence and Continuity October 25, 2021 128 / 264

Page 2: Subsequences - qmplus.qmul.ac.uk

Examples 2.32

Example (i). x2, x4, x6, . . . is a subsequence of (xn)1n=1. Here, we tookr1 = 2, r2 = 4, r3 = 6, etc. So rn = 2n and the subsequence can bewritten as (x2n)1n=1.

Example (ii). x1, x4, x9, x16, . . . is another subsequence. Here we havechosen rn = n

2, so the subsequence can be expressed as (xj2)1j=1.

Very often a sequence which does not converge has subsequences whichdo converge! For example xn = (�1)n. Here x1, x3, x5, . . . is a subsequencewhich converges to �1 (in fact all the terms are �1) and x2, x4, x6, . . . is asubsequence which converges to +1 (in fact all the terms are +1).

MTH5104 Convergence and Continuity October 25, 2021 129 / 264

jjI I

i. i

Page 3: Subsequences - qmplus.qmul.ac.uk

Bolzano-Weierstrass, Version 1

Theorem 2.33

Every bounded sequence contains a convergent subsequence.

Proof. By Theorem 2.26 (“increasing bounded sequences converge”) andits analogue for decreasing sequences, it will be enough to prove that everysequence of real numbers has a monotonic subsequence.Suppose we are given a sequence (xn)1n=1. There are two possibilities:

Case 1: For every N 2 N the set {xn : n � N} has a maximum.

Case 2: For some N 2 N the set {xn : n � N} does not have amaximum.

MTH5104 Convergence and Continuity October 25, 2021 130 / 264

Page 4: Subsequences - qmplus.qmul.ac.uk

Bolzano-Weierstrass (continued)

If we are in Case 1,

Case 1: For every N 2 N the set {xn : n � N} has a maximum.

MTH5104 Convergence and Continuity October 25, 2021 131 / 264

these are diminishing sets

let " bend that "rim-"✗ {"i ""-Let rz be the smallest integer such thatrn> rn and Kr

,= max {xn : u > re}←

Let rs be the smallest integer such that

rzsrz and Kr,= max {xu : n > rz}←

- - -

and so on.

Note that Kr,2 ✗re? Kr

,? - - -- i

Page 5: Subsequences - qmplus.qmul.ac.uk

Bolzano-Weierstrass (continued)

If we are in Case 2

Case 2: For some N 2 N the set {xn : n � N} does not have amaximum.

This proof is not required knowledge for the final examination.

MTH5104 Convergence and Continuity October 25, 2021 132 / 264

Let r,be N

.

Since Xp,is not the maximum , we choose r,

to be the smallest number wilt rn > r, and xrixr;since xr

,is not the maximum , we choose r,

to be smallest s.t.rs > re and Kris scrz .

By construction : Er, < Kr, < scr, < - -.

Page 6: Subsequences - qmplus.qmul.ac.uk

This page left blank

MTH5104 Convergence and Continuity October 25, 2021 133 / 264

Case 1A ④

kn ¥,

✗✗

✗ Fez✗

✗✗✗

✗✗✗

f l l I✗

re →Kir,

V2 v3n

rXu

✗✗

✗ ⑦④

④ ✗④ ✗

✗ ✗✗t ✗

I✗ I 1

9 rz rz re→n

ra -_ N

Page 7: Subsequences - qmplus.qmul.ac.uk

Accumulation point

Definition 2.34

A real number x 2 R is called an accumulation point of a sequence (xn) iffor every " > 0 there are infinitely many elements of the sequence whichlie "-close to x (i.e. satisfy |xn � x | < "). This means x is an accumulationpoint of (xn) if and only if

8" > 0 8N 2 N 9n > N : |xn � x | < ". (10)

MTH5104 Convergence and Continuity October 25, 2021 134 / 264

-"

for infinitely many n c- IN"

Page 8: Subsequences - qmplus.qmul.ac.uk

Limit is an accumulation point

Lemma 2.35

If (xn) converges to x 2 R, then x is an accumulation point.

Proof. We need to prove (10). So we are given " > 0 and N 2 N (pickedby the Demon) and we need to find n > N such that |xn � x | < ".

Since xn ! x as n ! 1, we know by definition of convergence that forthe given " > 0, there exists some N such that 8n > N : |xn � x | < ".(Here we relabelled N to N in the definition of convergence, because N isalready used with a di↵erent meaning.)

Now, we can pick n := max{N, N}+ 1. This choice of n is allowedbecause n > N. From n > N, we conclude that |xn � x | < ", which iswhat we wanted to show.

MTH5104 Convergence and Continuity October 25, 2021 135 / 264

Page 9: Subsequences - qmplus.qmul.ac.uk

In general, a sequence can have an accumulation point even if it does notconverge and it can have several accumulation points.

Example 2.36

Let xn = (�1)n. Then we know that (xn) does not converge. But bothx = +1 and x

0 = �1 are accumulation points for (xn).

Check. For x = +1: Given any " > 0 and any N 2 N, let n := 2N so thatn > N and n even. Then |xn � 1| = 0 < ".For x 0 = �1: Given any " > 0 and any N 2 N, let n := 2N + 1 so thatn > N and n odd. Then |xn � (�1)| = 0 < ".

We also know that the subsequence (x2n)1n=1 converges to +1 and thesubsequence (x2n+1)1n=1 converges to �1. So both accumulation pointsare actually limits of subsequences. This is true in general. . .

MTH5104 Convergence and Continuity October 25, 2021 136 / 264

Page 10: Subsequences - qmplus.qmul.ac.uk

Convergent subsequences

Lemma 2.37

The real number x 2 R is an accumulation point of (xn)1n=1 if and only if

there is a subsequence (xrn)1n=1 converging to x .

Proof. Suppose there is a subsequence (xrj )1j=1 converging to x . Then for

any " > 0, there is J 2 N such that all the elements of the subsequence(xrj ) with j > J satisfy |xrj � x | < ". In particular, there are infinitelymany. (One can write this more formally, as we have done in the proof ofLemma 2.35.)

MTH5104 Convergence and Continuity October 25, 2021 137 / 264

Page 11: Subsequences - qmplus.qmul.ac.uk

Proof (continued). Conversely, if x is an accumulation point, then wecan construct a subsequence converging to x as follows:

From (10), for " = 1 and N = 1, we can find r1 > 1 such that|xr1 � x | < " = 1. Then, using (10) again, this time with " = 1/2 andN = r1, we can find r2 > r1 with |xr2 � x | < " = 1/2. We then iterate this,i.e. if xrj�1 is already constructed, we use (10) with " = 1

j and N = rj�1 to

find some rj > rj�1 with |xrj � x | < 1j .

Clearly, the subsequence (xrj )1j=1 then converges to x .

MTH5104 Convergence and Continuity October 25, 2021 138 / 264

✗+

✗Rtl .

✗④ ✗

✗se -1112

7C ④

⑧ ✗x - 112

→c-1 I✗'

✗ f,

rz 93

Page 12: Subsequences - qmplus.qmul.ac.uk

Bolzano-Weierstrass, Version 2

We can now restate Theorem 2.33.

Theorem 2.38

Every bounded sequence of real numbers has an accumulation point.

Proof. This follows by combining the first version of the theorem withLemma 2.37.

MTH5104 Convergence and Continuity October 25, 2021 139 / 264

(sink 1)I.,

Accumulation pts : -1,0 , + I

suppose Cxn7n? , is a bounded sequence .

Then by them 2-33, there is a convergent subsequence

By Lemma 2.37 , there is an accumulation point ,

Page 13: Subsequences - qmplus.qmul.ac.uk

Cauchy Sequences

How can we prove that a sequence is convergent if we don’t have acandidate for the limit?

Lemma 2.39

Suppose that (xn)1n=1 converges to some x 2 R. Then the sequence

(yn)1n=1 defined by yn = xn+1 � xn converges to zero.

Proof. We first observe that limn!1 xn+1 = limn!1 xn = x . (This is“obvious”, but we should still make sure we can formally prove it! See theCoursework.)

Then, using Theorem 2.19 (ii), we have

limn!1

yn = limn!1

xn+1 � limn!1

xn = x � x = 0.

MTH5104 Convergence and Continuity October 25, 2021 140 / 264

Genta )n% = (xnÑ=e

"hi:b (xn-u-x.nl

"

Page 14: Subsequences - qmplus.qmul.ac.uk

Examples 2.40

Example (i). Let xn = n�1n . Then we know that xn ! 1 as n ! 1. So

we obtain yn = xn+1 � xn = nn+1 � n�1

n ! 0 as n ! 1.

Example (ii). Let xn = (�1)n. Then |yn| = |xn+1 � xn| = 2 for all n 2 Nand hence (yn) does not converge to zero. By Lemma 2.39, (xn) can thusnot converge to any real number x 2 R (as we have already seen before).

MTH5104 Convergence and Continuity October 25, 2021 141 / 264

"

ñ-¥¥"=n¥, ← In→ 0 In→a)

Yn = Kate - Rn = {- l - l if u even1 + 1 if nodd

⇒ lyn 1=2 .

Page 15: Subsequences - qmplus.qmul.ac.uk

The converse of Lemma 2.39 is false!

Examples 2.41

Example (i). Let xn =pn. Then the sequence (xn) does not converge to

any real number. But the sequence yn = xn+1 � xn =pn + 1�

pn does

converge to zero.

MTH5104 Convergence and Continuity October 25, 2021 142 / 264

Note true - F) (Fei + Tn)= (ntl ) - n = I

⇒ ont - rn = ¥+rñ £ In → 0

In→a)

Page 16: Subsequences - qmplus.qmul.ac.uk

Example (ii). Let xn = 1 + 12 + 1

3 + 14 + . . .+ 1

n =Pn

k=11k . This

sequence does not converge (we have actually already seen this in Chapter0, but will see it again more precisely below). Neverthelessyn = xn+1 � xn = 1

n+1 does converge to zero.

This means that for (xn)1n=1 to converge to some x 2 R it is necessarythat the sequence (xn+1 � xn)1n=1 converges to zero, but this condition isnot su�cient.

The next definition gives a necessary and su�cient condition.

MTH5104 Convergence and Continuity October 25, 2021 143 / 264

Page 17: Subsequences - qmplus.qmul.ac.uk

Definition of Cauchy sequence

Lemma 2.39 says that if (xn) converges to some x 2 R, then

8" > 0 9N 2 N 8n > N : |xn+1 � xn| < ".

(This is nothing else than the definition of yn = xn+1 � xn ! 0 forn ! 1.) The following definition strengthens this idea, testing not onlythe distance between xn and xn+1 (for n > N) but actually all thedistances between xn to xm for n and m both greater than N.

Definition 2.42 (Cauchy sequence)

A sequence (xn)1n=1 is called a Cauchy sequence if and only if

8" > 0 9N 2 N 8n > N 8m > N : |xm � xn| < ". (11)

MTH5104 Convergence and Continuity October 25, 2021 144 / 264

Page 18: Subsequences - qmplus.qmul.ac.uk

Equivalence of Cauchy sequences and convergent

sequences

Theorem 2.43

Let (xn)1n=1 be a sequence of real numbers. Then (xn)1n=1 converges if and

only if it is a Cauchy sequence.

Proof. We first show: Convergent sequences are Cauchy sequences.Assume that there is some x 2 R such that xn ! x as n ! 1. We haveto prove that (xn) is a Cauchy sequence. So, we are given " > 0 (by theDemon). Then by the definition of convergence, letting " = "

2 , we can findsome N such that for all n > N we have |xn � x | < " = "

2 . We pick exactlythis N. Then for all n,m > N, we have

|xm � xn| |xm � x |+ |x � xn| < "+ " = "2 + "

2 = ".

MTH5104 Convergence and Continuity October 25, 2021 145 / 264

Page 19: Subsequences - qmplus.qmul.ac.uk

Proof (continued). Now we prove: Cauchy sequences do converge. Wedo this in several steps.

Step 1. Cauchy sequences are bounded: For " = 1 (in the definition of aCauchy sequence), we can find N1 such that for all n,m > N1 we have|xm � xn| < 1. In particular, letting n = N1 + 1 be fixed, we find that forall m > N1 we have |xm| < |xN1+1|+ 1. Thus the sequence is bounded:

|xm| < M = max{|x1|, |x2|, . . . , |xN1 |, |xN1+1|+ 1} for all m 2 N.

Step 2. We can find a convergent subsequence: Indeed, this is just anapplication of the Theorem of Bolzano-Weierstrass (Theorem 2.33). So inparticular, we have a subsequence (xrj )

1j=1 and some number x 2 R, such

that xrj ! x as j ! 1.

MTH5104 Convergence and Continuity October 25, 2021 146 / 264

-

Assume Gen /% ,is Cauchy

*I

*I 10cm / =/ km- xntxul £ Ixm-xnltlxnklxnitl

Page 20: Subsequences - qmplus.qmul.ac.uk

Proof (continued).

Step 3. The whole sequence converges to x : As xrj ! x , by definition ofconvergence there is some N2 such that 8rj > N2 : |xrj � x | < " = "

2 .

Moreover, by the definition of a Cauchy sequence, there is some N3 suchthat 8m, n > N3 : |xm � xn| < " = "

2 . Thus for anyn > N := max{N2,N3}, we can pick some r` > N and estimate

|xn � x | |xn � xr` |+ |xr` � x | < "+ " ="

2+

"

2= ".

So xn ! x as n ! 1.

This proof is non-examinable.

MTH5104 Convergence and Continuity October 25, 2021 147 / 264

Page 21: Subsequences - qmplus.qmul.ac.uk

This slide left blank

MTH5104 Convergence and Continuity October 25, 2021 148 / 264

sent ✗

✗at 42

✗✗

✗✗✗u✗

"n"

✗✗

✗✗

Ka - Elz✗

I 1

Nif→n

✗n=N,t1

V-n.ME IN , him> N, : lkn-x.ru/< %

Page 22: Subsequences - qmplus.qmul.ac.uk

This slide left blank

MTH5104 Convergence and Continuity October 25, 2021 149 / 264

A RTEin

✗ ✗✗+ %

"re ✗ ✗✗✗ ✗ x

se .X

x -%

X- E

I 1

Nz Nz=N →n

b- rj > Nz : Hmm > Nz. :

Hey. - x / < E-zlxn-xmk.EE

Page 23: Subsequences - qmplus.qmul.ac.uk

Remarks

While this theorem seems hard at first look, Cauchy sequences actuallyhave a lot of advantages:

We have a condition that applies to all sequences (not just monotonicones) and tells us whether the sequence converges or not.

The statement is “if and only if”, so the Cauchy criterion is necessaryand su�cient.

The theorem applies to sequences in Rn and C and Cn, not just to R.(In Rn, by |xm � xn| we mean the distance between xm and xn.)

Finally, there is an easier proof of the Bolzano-Weierstrass Theoremusing Cauchy sequences and it works in Rn, not just in R.

MTH5104 Convergence and Continuity October 25, 2021 150 / 264