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

Similar documents
MATH 409 Advanced Calculus I Lecture 10: Continuity. Properties of continuous functions.

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.

Sequences. Limits of Sequences. Definition. A real-valued sequence s is any function s : N R.

. 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 =

Appendix A. Sequences and series. A.1 Sequences. Definition A.1 A sequence is a function N R.

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

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

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

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

Subsequences and the Bolzano-Weierstrass Theorem

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.

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

MATH 409 Advanced Calculus I Lecture 9: Limit supremum and infimum. Limits of functions.

MATH 409 Advanced Calculus I Lecture 12: Uniform continuity. Exponential functions.

Homework 4, 5, 6 Solutions. > 0, and so a n 0 = n + 1 n = ( n+1 n)( n+1+ n) 1 if n is odd 1/n if n is even diverges.

MATH 31BH Homework 1 Solutions

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

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

Contents Ordered Fields... 2 Ordered sets and fields... 2 Construction of the Reals 1: Dedekind Cuts... 2 Metric Spaces... 3

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

MATH 131A: REAL ANALYSIS (BIG IDEAS)

Logical Connectives and Quantifiers

Math 163 (23) - Midterm Test 1

CHAPTER 3. Sequences. 1. Basic Properties

MATH 409 Advanced Calculus I Lecture 25: Review for the final exam.

Continuity. Chapter 4

Continuity. Chapter 4

Week 2: Sequences and Series

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

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

Math 117: Topology of the Real Numbers

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 :

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

M17 MAT25-21 HOMEWORK 6

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

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

MATH 117 LECTURE NOTES

Advanced Calculus II Unit 7.3: 7.3.1a, 7.3.3a, 7.3.6b, 7.3.6f, 7.3.6h Unit 7.4: 7.4.1b, 7.4.1c, 7.4.2b, 7.4.3, 7.4.6, 7.4.7

MATH 301 INTRO TO ANALYSIS FALL 2016

Chapter 4. Measure Theory. 1. Measure Spaces

Advanced Calculus: MATH 410 Real Numbers Professor David Levermore 5 December 2010

MA103 Introduction to Abstract Mathematics Second part, Analysis and Algebra

A LITTLE REAL ANALYSIS AND TOPOLOGY

Econ Lecture 3. Outline. 1. Metric Spaces and Normed Spaces 2. Convergence of Sequences in Metric Spaces 3. Sequences in R and R n

Functions. Chapter Continuous Functions

REVIEW OF ESSENTIAL MATH 346 TOPICS

Definitions & Theorems

Existence of a Limit on a Dense Set, and. Construction of Continuous Functions on Special Sets

This exam contains 5 pages (including this cover page) and 4 questions. The total number of points is 100. Grade Table

Supremum and Infimum

Section 11.1 Sequences

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

,... We would like to compare this with the sequence y n = 1 n

Chapter 11: Sequences; Indeterminate Forms; Improper Integrals

Limit and Continuity

Analysis I. Classroom Notes. H.-D. Alber

FUNCTIONS OF A REAL VARIABLE

Principle of Mathematical Induction

FINAL EXAM Math 25 Temple-F06

Chapter 1 The Real Numbers

G1CMIN Measure and Integration

EC 521 MATHEMATICAL METHODS FOR ECONOMICS. Lecture 1: Preliminaries

MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9

CHAPTER 8: EXPLORING R

Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics

CHAPTER 7. Connectedness

Week 5 Lectures 13-15

lim Bounded above by M Converges to L M

Theorems. Theorem 1.11: Greatest-Lower-Bound Property. Theorem 1.20: The Archimedean property of. Theorem 1.21: -th Root of Real Numbers

The Real Number System

LECTURE 10: REVIEW OF POWER SERIES. 1. Motivation

2.2 Some Consequences of the Completeness Axiom

Advanced Calculus: MATH 410 Real Numbers Professor David Levermore 1 November 2017

Oscillation Criteria for Delay Neutral Difference Equations with Positive and Negative Coefficients. Contents

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

Math LM (24543) Lectures 02

MATH 1231 MATHEMATICS 1B CALCULUS. Section 4: - Convergence of Series.

MATH115. Sequences and Infinite Series. Paolo Lorenzo Bautista. June 29, De La Salle University. PLBautista (DLSU) MATH115 June 29, / 16

MATH 23b, SPRING 2005 THEORETICAL LINEAR ALGEBRA AND MULTIVARIABLE CALCULUS Midterm (part 1) Solutions March 21, 2005

We say that the function f obtains a maximum value provided that there. We say that the function f obtains a minimum value provided that there

MATH 409 Advanced Calculus I Lecture 11: More on continuous functions.

Econ Slides from Lecture 1

MATH NEW HOMEWORK AND SOLUTIONS TO PREVIOUS HOMEWORKS AND EXAMS

convergence theorem in abstract set up. Our proof produces a positive integrable function required unlike other known

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

INDEX. Bolzano-Weierstrass theorem, for sequences, boundary points, bounded functions, 142 bounded sets, 42 43

Math 104: Homework 7 solutions

U e = E (U\E) e E e + U\E e. (1.6)

1 + lim. n n+1. f(x) = x + 1, x 1. and we check that f is increasing, instead. Using the quotient rule, we easily find that. 1 (x + 1) 1 x (x + 1) 2 =

C.7. Numerical series. Pag. 147 Proof of the converging criteria for series. Theorem 5.29 (Comparison test) Let a k and b k be positive-term series

Chapter 2. Real Numbers. 1. Rational Numbers

MATH202 Introduction to Analysis (2007 Fall and 2008 Spring) Tutorial Note #12

Math 140: Foundations of Real Analysis. Todd Kemp

Part 2 Continuous functions and their properties

Solution of the 8 th Homework

Foundations of Mathematical Analysis

INFINITE SEQUENCES AND SERIES

2 Sequences, Continuity, and Limits

Final. due May 8, 2012

MATH 1231 MATHEMATICS 1B Calculus Section Sequences.

Transcription:

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

Limit of a sequence Definition. Sequence {x n } of real numbers is said to converge to a real number a if for any ε > 0 there exists N N such that x n a < ε for all n N. The number a is called the limit of {x n }. A sequence is called convergent if it has a limit and divergent otherwise. Properties of convergent sequences: the limit is unique; any convergent sequence is bounded; any subsequence of a convergent sequence converges to the same limit; modifying a finite number of elements cannot affect convergence of a sequence or change its limit; rearranging elements of a sequence cannot affect its convergence or change its limit.

Limit theorems Theorem 1 If lim x n = lim y n = a and n n x n w n y n for all sufficiently large n, then lim w n = a. n Theorem 2 If lim x n = a, lim y n = b, and n n x n y n for all sufficiently large n, then a b. Theorem 3 If lim x n = a and lim y n = b, n n then lim (x n +y n ) = a+b, lim (x n y n ) = a b, n n and lim x n y n = ab. If, additionally, b 0 and n y n 0 for all n N, then lim x n /y n = a/b. n

Examples lim n sin(e n ) n = 0. 1/n sin(e n )/n 1/n for all n N since 1 sinx 1 for all x R. As shown in the previous lecture, 1/n 0 as n. Then 1/n 1 0 = 0 as n. By the Squeeze Theorem, sin(e n )/n 0 as n. 1 lim n 2 = 0. n The sequence {1/2 n } is a subsequence of {1/n}. Hence it is converging to the same limit.

Examples lim n (1+2n) 2 1+2n 2 = 2. (1+2n) 2 1+2n 2 = (1+2n)2 /n 2 (1+2n 2 )/n 2 = (1/n+2)2 (1/n) 2 +2 Since 1/n 0 as n, it follows that 1/n+2 0+2 = 2 as n, (1/n+2) 2 2 2 = 4 as n, (1/n) 2 0 2 = 0 as n, for all n N. (1/n) 2 +2 0+2 = 2 as n, and, finally, (1/n+2) 2 (1/n) 2 +2 4 = 2 as n. 2

Monotone sequences Definition. A sequence {x n } is called increasing (or nondecreasing) if x 1 x 2 x 3... or, to be precise, x n x n+1 for all n N. It is called strictly increasing if x 1 < x 2 < x 3 <..., that is, x n < x n+1 for all n N. Likewise, the sequence {x n } is called decreasing (or nonincreasing) if x n x n+1 for all n N. It is called strictly decreasing if x n > x n+1 for all n N. Increasing and decreasing sequences are called monotone. Examples: the sequence {1/n} is strictly decreasing; the sequence 1,1,2,2,3,3,... is increasing, but not strictly increasing; the sequence 1,1, 1,1, 1,1,... is neither increasing nor decreasing; a constant sequence is both increasing and decreasing.

Theorem Any increasing sequence converges to a limit if it is bounded, and diverges to + otherwise. Proof: Let {x n } be an increasing sequence. First consider the case when {x n } is bounded. In this case, the set E of all elements occurring in the sequence is bounded. Then sup E exists. We claim that x n supe as n. Take any ε > 0. Then supe ε is not an upper bound of E. Hence there exists n 0 N such that x n0 > supe ε. Since the sequence is increasing, it follows that x n x n0 > supe ε for all n n 0. At the same time, x n supe for all n N. Therefore x n supe < ε for all n n 0, which proves the claim. Now consider the case when the sequence {x n } is not bounded. Note that the set E is bounded below (as x 1 is a lower bound). Hence E is not bounded above. Then for any C R there exists n 0 N such that x n0 > C. It follows that x n x n0 > C for all n n 0. Thus {x n } diverges to +.

Theorem Any decreasing sequence converges to a limit if it is bounded, and diverges to otherwise. Proof: Let {x n } be a decreasing sequence. Then the sequence { x n } is increasing since the inequality a b is equivalent to a b for all a,b R. By the previous theorem, either x n c for some c R as n, or else x n diverges to +. In the former case, x n c as n (in particular, it is bounded). In the latter case, x n diverges to (in particular, it is unbounded). Corollary Any monotone sequence converges to a limit if it is bounded, and diverges to infinity otherwise.

Nested intervals property Definition. A sequence of sets I 1,I 2,... is called nested if I 1 I 2..., that is, I n I n+1 for all n N. Theorem If {I n } is a nested sequence of nonempty closed bounded intervals, then the intersection n N I n is nonempty. Moreover, if lengths I n of the intervals satisfy I n 0 as n, then the intersection consists of a single point. Remark 1. The theorem may not hold if the intervals I 1,I 2,... are open. Counterexample: I n = (0,1/n), n N. The intervals are nested and bounded, but their intersection is empty since 1/n 0 as n. Remark 2. The theorem may not hold if the intervals I 1,I 2,... are not bounded. Counterexample: I n = [n, ), n N. The intervals are nested and closed, but their intersection is empty since the sequence {n} diverges to +.

Proof of the theorem Let I n = [a n,b n ], n = 1,2,... Since the sequence {I n } is nested, it follows that the sequence {a n } is increasing while the sequence {b n } is decreasing. Besides, both sequences are bounded (since both are contained in the interval I 1 ). Hence both are convergent: a n a and b n b as n. Since a n b n for all n N, the Comparison Theorem implies that a b. We claim that n N I n = [a,b]. Indeed, we have a n a for all n N (by the Comparison Theorem applied to a 1,a 2,... and the constant sequence a n,a n,a n...). Similarly, b b n for all n N. Therefore [a,b] is contained in the intersection. On the other hand, if x < a then x < a n for some n so that x / I n. Similarly, if x > b then x > b m for some m so that x / I m. This proves the claim. Clearly, the length of [a,b] cannot exceed I n for any n N. Therefore I n 0 as n implies that [a,b] is a degenerate interval: a = b.

Bolzano-Weierstrass Theorem Theorem Every bounded sequence of real numbers has a convergent subsequence. Proof: Let {x n } be a bounded sequence of real numbers. We are going to build a nested sequence of intervals I n = [a n,b n ], n = 1,2,..., such that each I n contains infinitely many elements of {x n } and I n+1 = I n /2 for all n N. The sequence is built inductively. First we set I 1 to be any closed bounded interval that contains all elements of {x n } (such an interval exists since the sequence {x n } is bounded). Now assume that for some n N the interval I n is already chosen and it contains infinitely many elements of the sequence {x n }. Then at least one of the subintervals I = [a n,(a n +b n )/2)] and I = [(a n +b n )/2,b n ] also contains infinitely many elements of {x n }. We set I n+1 to be such a subinterval. By construction, I n+1 I n and I n+1 = I n /2.

Proof (continued): Since I n+1 = I n /2 for all n N, it follows by induction that I n = I 1 /2 n 1 for all n N. As a consequence, I n 0 as n. By the nested intervals property, the intersection of the intervals I 1,I 2,I 3,... consists of a single number a. Next we are going to build a strictly increasing sequence of natural numbers n 1,n 2,... such that x nk I k for all k N. The sequence is built inductively. First we choose n 1 so that x n1 I 1. Now assume that for some k N the number n k is already chosen. Since the interval I k+1 contains infinitely many elements of the sequence {x n }, there exists m > n k such that x m I k+1. We set n k+1 = m. Now we claim that the subsequence {x nk } k N of the sequence {x n } converges to a. Indeed, for any k N the points x nk and a both belong to the interval I k. Hence x nk a I k. Since I k 0 as k, it follows that x nk a as k.