. Get closed expressions for the following subsequences and decide if they converge. (1) a n+1 = (2) a 2n = (3) a 2n+1 = (4) a n 2 = (5) b n+1 =

Similar documents
a 2n = . On the other hand, the subsequence a 2n+1 =

MATH 409 Advanced Calculus I Lecture 7: Monotone sequences. The Bolzano-Weierstrass theorem.

MATH 301 INTRO TO ANALYSIS FALL 2016

1. Theorem. (Archimedean Property) Let x be any real number. There exists a positive integer n greater than x.

Subsequences and the Bolzano-Weierstrass Theorem

2.7 Subsequences. Definition Suppose that (s n ) n N is a sequence. Let (n 1, n 2, n 3,... ) be a sequence of natural numbers such that

2.3 Some Properties of Continuous Functions

Infinite Sequences of Real Numbers (AKA ordered lists) DEF. An infinite sequence of real numbers is a function f : N R.

Exercise 2. Prove that [ 1, 1] is the set of all the limit points of ( 1, 1] = {x R : 1 <

MATH 101, FALL 2018: SUPPLEMENTARY NOTES ON THE REAL LINE

ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS

Limits and Continuity

g 2 (x) (1/3)M 1 = (1/3)(2/3)M.

We are going to discuss what it means for a sequence to converge in three stages: First, we define what it means for a sequence to converge to zero

1. Supremum and Infimum Remark: In this sections, all the subsets of R are assumed to be nonempty.

Math 421, Homework #6 Solutions. (1) Let E R n Show that = (E c ) o, i.e. the complement of the closure is the interior of the complement.

µ (X) := inf l(i k ) where X k=1 I k, I k an open interval Notice that is a map from subsets of R to non-negative number together with infinity

Mathematics 242 Principles of Analysis Solutions for Problem Set 5 Due: March 15, 2013

2.1 Convergence of Sequences

Arkansas Tech University MATH 2924: Calculus II Dr. Marcel B. Finan

Math 430/530: Advanced Calculus I Chapter 1: Sequences

Copyright 2010 Pearson Education, Inc. Publishing as Prentice Hall.

Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr.

Read carefully the instructions on the answer book and make sure that the particulars required are entered on each answer book.

Math 320: Real Analysis MWF 1pm, Campion Hall 302 Homework 4 Solutions Please write neatly, and in complete sentences when possible.

FINAL EXAM Math 25 Temple-F06

Sequences. Chapter 3. n + 1 3n + 2 sin n n. 3. lim (ln(n + 1) ln n) 1. lim. 2. lim. 4. lim (1 + n)1/n. Answers: 1. 1/3; 2. 0; 3. 0; 4. 1.

MATH 117 LECTURE NOTES

MATH 131A: REAL ANALYSIS (BIG IDEAS)

Definition 2.1. A metric (or distance function) defined on a non-empty set X is a function d: X X R that satisfies: For all x, y, and z in X :

Math 117: Topology of the Real Numbers

Math 163 (23) - Midterm Test 1

CHAPTER 3. Sequences. 1. Basic Properties

Cool Results on Primes

A lower bound for X is an element z F such that

Math 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction

R N Completeness and Compactness 1

MATH 137 : Calculus 1 for Honours Mathematics Instructor: Barbara Forrest Self Check #1: Sequences and Convergence

Mathematical Induction

LECTURE 10: REVIEW OF POWER SERIES. 1. Motivation

Week 2: Sequences and Series

Solutions to Assignment-11

Proof. We indicate by α, β (finite or not) the end-points of I and call

Real Analysis - Notes and After Notes Fall 2008

Continuity. Chapter 4

Solutions Manual for Homework Sets Math 401. Dr Vignon S. Oussa

Introduction to Proofs in Analysis. updated December 5, By Edoh Y. Amiran Following the outline of notes by Donald Chalice INTRODUCTION

Math 140: Foundations of Real Analysis. Todd Kemp

Math 40510, Algebraic Geometry

V (v i + W i ) (v i + W i ) is path-connected and hence is connected.

M17 MAT25-21 HOMEWORK 6

(Infinite) Series Series a n = a 1 + a 2 + a a n +...

MATH FINAL EXAM REVIEW HINTS

MAT1000 ASSIGNMENT 1. a k 3 k. x =

Continuity. Chapter 4

We are now going to go back to the concept of sequences, and look at some properties of sequences in R

Numerical Sequences and Series

Math LM (24543) Lectures 02

Integer-Valued Polynomials

MATH 31BH Homework 1 Solutions

Indeed, if we want m to be compatible with taking limits, it should be countably additive, meaning that ( )

Notes on Complex Analysis

Section 11.1 Sequences

MATH 324 Summer 2011 Elementary Number Theory. Notes on Mathematical Induction. Recall the following axiom for the set of integers.

Principles of Real Analysis I Fall VII. Sequences of Functions

106 CHAPTER 3. TOPOLOGY OF THE REAL LINE. 2. The set of limit points of a set S is denoted L (S)

Limit and Continuity

Math Circle: Recursion and Induction

Definitions & Theorems

MA 301 Test 4, Spring 2007

Distance in the Plane

Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics

In N we can do addition, but in order to do subtraction we need to extend N to the integers

Real Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi

Introduction to Series and Sequences Math 121 Calculus II Spring 2015

Iowa State University. Instructor: Alex Roitershtein Summer Exam #1. Solutions. x u = 2 x v

Chapter 1 The Real Numbers

Class IX Chapter 1 Number Sustems Maths

Math 118B Solutions. Charles Martin. March 6, d i (x i, y i ) + d i (y i, z i ) = d(x, y) + d(y, z). i=1

Math 117: Infinite Sequences

The Heine-Borel and Arzela-Ascoli Theorems

CHAPTER 5. The Topology of R. 1. Open and Closed Sets

MATH3283W LECTURE NOTES: WEEK 6 = 5 13, = 2 5, 1 13

Walker Ray Econ 204 Problem Set 3 Suggested Solutions August 6, 2015

Week 5 Lectures 13-15

Bolzano Weierstrass Theorems I

a) Let x,y be Cauchy sequences in some metric space. Define d(x, y) = lim n d (x n, y n ). Show that this function is well-defined.

MAT115A-21 COMPLETE LECTURE NOTES

PUTNAM TRAINING NUMBER THEORY. Exercises 1. Show that the sum of two consecutive primes is never twice a prime.

THE CANTOR GAME: WINNING STRATEGIES AND DETERMINACY. by arxiv: v1 [math.ca] 29 Jan 2017 MAGNUS D. LADUE

F (x) = P [X x[. DF1 F is nondecreasing. DF2 F is right-continuous

Solutions to Homework Assignment 2

MATH NEW HOMEWORK AND SOLUTIONS TO PREVIOUS HOMEWORKS AND EXAMS

Notes on nets and convergence in topology

MAT 3271: Selected solutions to problem set 7

Math 320: Real Analysis MWF 1pm, Campion Hall 302 Homework 8 Solutions Please write neatly, and in complete sentences when possible.

Metric Spaces Math 413 Honors Project

Chapter 2 Metric Spaces

An idea how to solve some of the problems. diverges the same must hold for the original series. T 1 p T 1 p + 1 p 1 = 1. dt = lim

Sequences: Limit Theorems

Transcription:

Math 316, Intro to Analysis subsequences. Recall one of our arguments about why a n = ( 1) n diverges. Consider the subsequences a n = ( 1) n = +1. It converges to 1. On the other hand, the subsequences a n+1 = ( 1) n+1 = 1 converges to 1. If a n had a limit L then the subsequences a n and a n+1 would have the same limits: 1 = L and 1 = L. But this is impossible since +1 1. Today we make this explicit. Definition 1. Let f : N N be a strictly increasing sequence on natural numbers. (That is, if n < m then f(n) f(m)). Let a : N R be a sequence of real numbers. Then a f is called a subsequence of a. The idea is to build a new sequence by skipping some (possibly many) of the entries of the original sequence, but respecting the order of the original sequence, and never repeating the same term in the sequence. Notation: We often write a n instead of a(n) similarly we will write our sequence of natural numbers as n k instead of f(k). Thus, the standard notation for a subsequence if a nk where n 1 < n < n 3 <... is an increasing sequence. Example: Let a n = ( 1) n and b n = 1 n. Get closed expressions for the following subsequences and decide if they converge. (1) a n+1 = () a n = (3) a n+1 = (4) a n = (5) b n+1 = (6) b n = (7) b n+1 = (8) b n = Theorem. Let a n be any sequence and a R be any number. a n a if and only if every subsequence of a n converges to a 1

Proof. ( =) Suppose that for every subsequence a nk of a n a nk a. Notice that a n is a subsequence of itself. Thus, a nk = a k converges of a, as we claimed. (= ) Now suppose that a n a then for all ɛ > 0 there is an N such that if n > N then a n a < ɛ. Now, let n k be any strictly increasing sequence of natural numbers. Claim 1: n k k for all k. We will prove this claim soon. Suppose that k > N, but then n k k > N so that a nk a < ɛ. This completes the proof. Proof of Claim 1. The proof is by induction. Base Case. Show that n 1 1 inductive step Let k N. Assume that n k k. Thus, by the principle of mathematical induction n k k for all k N Use this theorem to prove the following (which we have previously proven directly) Corollary 3. a n = ( 1) n does not converge. Exercise 4. Show that there exists a sequence which diverges but for which there exists at least one convergent subsequence. Hint: Use a n = ( 1) n Cool. We ve have some divergent sequences with convergent subsequences. In order to study this phenomenon more we make some notation: Definition 5. If a n is a sequence and a R then a is a sub-sequential limit of a n if there is a subsequence a nk which converges to a. Exercise 6. Make a guess for what the set of all sub-sequential limits of a n = ( 1) n is.

Theorem 7. For a sequence a n and a R a is a sub-sequential limit of a n if and only if for all ɛ > 0 there exists infinitely many n N with a n a < ɛ. Proof. ( =) Suppose that a is a sub-sequential limit. Then there is a subsequence a nk with a nk a. Consider any ɛ > 0. Since a nk a there is a K such that if k > K then 3 How large is the set {n k : k > K}? Say a few words completing the proof. (= ) Suppose that for every ɛ there are infinitely many n N with a n a < ɛ. We need to build a subsequence with a nk a. We will do so using the following inductive argument: Claim : There exists a strictly increasing sequence n 1 < n <... of natural numbers such that a nk a < 1 k for all k N. Proof of Claim. Base case: By assumption there exist infinitely many n such that a n a < 1. Let n 1 be one of these. I ll include a first inductive step even though it is not strictly necessary in order to provide motivation. First inductive step: By assumption there are infinitely many n with a n a < 1. Since {1,,... n 1 } is a finite set, there are infinitely many n N with n n 1 and a n a 1. Let n be one such number. inductive step: Fix k N. Assume that that we have found n 1 < n < < n k with a nj a < 1 j for j = 1,,..., k. By assumption, there are infinitely many n N such that a n a < 1 k+1. The set {1,,... n k} is finite, so there are infinitely many natural numbers n with Let n k+1 be one such number. Thus, we have a sub-sequence a nk with a nk a < 1 k. Show that a n k a.

4 The Bolzano Weierstrass Theorem. Exercise 8. (1) The sequence a n = ( 1) n does not converge. Find a subsequence of a n which does converge. () The sequence b n = n diverges to infinity. ( i.e. For all M there exists and N such that if n > N then b n > M) Show that every subsequence of b n also diverges to infinity. What is different about these two sequences? Today we prove the following important theorem. Its proof is an application of Theorem 7 and of the nested intervals theorem. Theorem 9. If x n is a bounded sequence, then there is a subsequence x nk which converges. Proof. In order to prove the theorem we find a sub sequential limit. The subsequence which converges to that limit is a convergent subsequence. We will first make use of the Nested intervals theorem. Claim 3: If u is an upper bound for x n and l is lower bound then there is a sequence of nested intervals [a 1, b 1 ] [a, b ] [a 3, b 3 ] with b n a n = u l. and such that for each k n there are infinitely many n such that x n I k. We now use the claim to prove the theorem. By the nested intervals theorem there is an element of the intersection p a limit point of x n.. We will use Theorem 7 to show that p is Consider any ɛ > 0. Since 1 k, there is a k > 0 such that 1 <. k Then u l k = (u l) 1 k < ɛ Consider any q [a k, b k ]. a k p b k and a k q b k If p q then since q b k and a k p it follows that q p = q p = < ɛ For you: If q < p then show that q p < ɛ

5 Thus, for all q [a k, b k ] q is within ɛ of p. But by Claim 3 there are infinitely many x n [a k, b k ]. Thus there are infinitely many n with x n p < ɛ and p is a sub-sequential limit of x n. All that remains is to prove Claim 3: If u is an upper bound for x n and l is lower bound then there is a sequence of nested intervals [a 1, b 1 ] [a, b ] [a 3, b 3 ] with b n a n = u l. n and such that for each k there are infinitely many n such that x n I k. Proof of Claim 3. We will use an inductive construction to build the intervals [a n, b n ]. Let m = u l. Since x n [l, u] for all n (and in particularly infinitely often) it follows that at least one of the following hold: (Case 1) There are infinitely many n with x n [l, m] or (Case ) There are infinitely many n with x n [m, u] If (case 1) holds then set a 1 = l and b 1 = m. If (case 1) does not hold, then (case ) does. Set a 1 = m and b 1 = u. Either way we see that x n [a 1, b 1 ] for infinitely many n, and either (Case 1 ) b 1 a 1 = This completes the base case for our induction. Assume that there exists a sequence of k nested intervals = u l or (Case ) b 1 a 1 = = u l. [a 1, b 1 ] [a, b ] [a k, b k ] such that for all j = 1,,..., k two conditions hold: We need only build a subinterval [a k+1, b k+1 ] [a k, b k ] such that Let m k = b k+a k be the midpoint of [a k, b k ]. Since x n [l, u] for infinitely many n it follows that at least one of the following hold: (Case 1) There are infinitely many n with x n [a k, m k ] or (Case ) There are infinitely many n with x n [m k, b k ] If (case 1) holds then set a k+1 = a k and b k+1 = m k. If (case 1) does not hold, then (case ) does. Set a k+1 = m k and b k=1 = b k. Either way we see that x n [a k+1, b k+1 ] for infinitely many n.

6 In (case 1) In (case ) b k+1 a k+1 = = = by the inductive assumption b k+1 a k+1 = = = by the inductive assumption Thus, by the principle of mathematical induction we have a sequence of nested intervals [a 1, b 1 ] [a, b ]... such that for all k x n [a k, b k ] for infinitely many n and such that [b k a k ] u l. Thus, every sequence has a subsequential limit and so has a convergent subsequence. How many might it have? Exercise 10. If a n is a convergent sequence then show that a n has exactly one subsequential limit. If a n is a bounded sequence but does not converge then show that a n has at least two subsequential limits.