Scalar multiplication and addition of sequences 9

Similar documents
Postulate 2 [Order Axioms] in WRW the usual rules for inequalities

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

Solution of the 7 th Homework

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

MATH 51H Section 4. October 16, Recall what it means for a function between metric spaces to be continuous:

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

MA103 Introduction to Abstract Mathematics Second part, Analysis and Algebra

MATH 117 LECTURE NOTES

MAS221 Analysis Semester Chapter 2 problems

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

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

Supremum and Infimum

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

A LITTLE REAL ANALYSIS AND TOPOLOGY

Principles of Real Analysis I Fall I. The Real Number System

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

Continuity. Chapter 4

Sequences. We know that the functions can be defined on any subsets of R. As the set of positive integers

Math 328 Course Notes

4130 HOMEWORK 4. , a 2

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.

Set, functions and Euclidean space. Seungjin Han

2.1 Convergence of Sequences

Principle of Mathematical Induction

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

Structure of R. Chapter Algebraic and Order Properties of R

5.5 Deeper Properties of Continuous Functions

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

Economics 204 Summer/Fall 2011 Lecture 5 Friday July 29, 2011

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

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

Continuity. Chapter 4

Chapter 1 The Real Numbers

Essential Background for Real Analysis I (MATH 5210)

Lecture 2. Econ August 11

Econ Slides from Lecture 1

Week 2: Sequences and Series

means is a subset of. So we say A B for sets A and B if x A we have x B holds. BY CONTRAST, a S means that a is a member of S.

Axioms for the Real Number System

Relations. Relations. Definition. Let A and B be sets.

Solutions for Homework Assignment 2

Chapter One. The Real Number System

6.2 Deeper Properties of Continuous Functions

Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics

Important Properties of R

Chapter 5. Measurable Functions

Part IA Numbers and Sets

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

Math LM (24543) Lectures 01

The Real Number System

2.2 Some Consequences of the Completeness Axiom

Introduction to Mathematical Analysis I. Second Edition. Beatriz Lafferriere Gerardo Lafferriere Nguyen Mau Nam

M17 MAT25-21 HOMEWORK 6

3 Measurable Functions

Lecture Notes in Real Analysis Anant R. Shastri Department of Mathematics Indian Institute of Technology Bombay

Math 117: Infinite Sequences

Suppose R is an ordered ring with positive elements P.

Problem Set 2: Solutions Math 201A: Fall 2016

2 Sequences, Continuity, and Limits

Introduction to Real Analysis

General Notation. Exercises and Problems

MIDTERM REVIEW FOR MATH The limit

0.1 Pointwise Convergence

INTRODUCTION TO REAL ANALYSIS II MATH 4332 BLECHER NOTES

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

Logical Connectives and Quantifiers

Chapter 1. Sets and Numbers

5 Measure theory II. (or. lim. Prove the proposition. 5. For fixed F A and φ M define the restriction of φ on F by writing.

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

Metric Spaces and Topology

MATH 131A: REAL ANALYSIS (BIG IDEAS)

STA2112F99 ε δ Review

Convex analysis and profit/cost/support functions

That is, there is an element

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

Describing the Real Numbers

Problem List MATH 5143 Fall, 2013

2. The Concept of Convergence: Ultrafilters and Nets

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

Copyright c 2007 Jason Underdown Some rights reserved. statement. sentential connectives. negation. conjunction. disjunction

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

First In-Class Exam Solutions Math 410, Professor David Levermore Monday, 1 October 2018

The Lebesgue Integral

Economics 204 Summer/Fall 2011 Lecture 2 Tuesday July 26, 2011 N Now, on the main diagonal, change all the 0s to 1s and vice versa:

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

Section 2.5 : The Completeness Axiom in R

Mathematical Methods for Physics and Engineering

2 Lebesgue integration

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

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

MATH5011 Real Analysis I. Exercise 1 Suggested Solution

Real Analysis - Notes and After Notes Fall 2008

Midterm Review Math 311, Spring 2016

Econ Lecture 2. Outline

HOMEWORK ASSIGNMENT 6

Studying Rudin s Principles of Mathematical Analysis Through Questions. August 4, 2008

Solution. 1 Solution of Homework 7. Sangchul Lee. March 22, Problem 1.1

MAS221 Analysis, Semester 1,

MATH 145 LECTURE NOTES. Zhongwei Zhao. My Lecture Notes for MATH Fall

02. Measure and integral. 1. Borel-measurable functions and pointwise limits

Transcription:

8 Sequences 1.2.7. Proposition. Every subsequence of a convergent sequence (a n ) n N converges to lim n a n. Proof. If (a nk ) k N is a subsequence of (a n ) n N, then n k k for every k. Hence if ε > 0 and N N with a n r < ε for all n N, then also a nk r < ε for all k N. Notice that 1.2.7 does not only say that every subsequence of a convergent sequence converges. The statement is that all subsequences of a convergent sequence (a n ) n N converge, and they all converge to the same number, namely to lim n a n. The assertion in 1.2.7 is many times used in its contrapositive way. I.e., if we want tocheckthatasequenceisdivergent, wearesometimesabletospotanonconvergent subsequence, or, two subsequences that converge, but not to same the same limit. A prime example is the sequence (a n ) n N = (( 1) n ) n N. You have done question 3 where you have proved from first principles that (( 1) n ) n N is divergent. Using 1.2.7, we can re-confirm this: The subsequence (a 2n ) n N of (a n ) n N is the constant sequence 1, which converges to 1, whereas the subsequence (a 2n+1 ) n N of (a n ) n N is the constant sequence 1, which converges to -1. Hence by 1.2.7, the original sequence (a n ) n N must be divergent.

Scalar multiplication and addition of sequences 9 1.3. Scalar multiplication and addition of sequences. It would be a tedious undertaking to prove convergence from first principles for all sequences. Instead we are looking for general principles which allow to deduce convergence (and to compute the limits) from known sequences after applying certain operations. In this section we introduce the simplest rules of this sort. 1.3.1. Scalar multiplication rule. If (a n ) n N is a convergent sequences and c R, then also (c a n ) n N is a convergent sequence and lim (c a n) = c lim a n. n n Proof. A special case here is c = 0. In this case the sequence (c a n ) n N is equal to the constant sequence of value 0, which converges to 0. We may therefore assume that c 0. We write r = lim n a n and we must show that (c a n ) n N converges to c r. According to the definition of convergence 1.2.2 we have to pick some real number ε > 0 and we have to find some N N (depending on ε) such that for all n N, ( ) c a n c r < ε. How do we find such an N? Let us first write out what we know by our assumptions on the convergence of the given sequence: As (a n ) n N converges to r, there is some N 1 N (depending on ε) such that for all n N 1, It follows a n r < ε. c a n c r = c (a n r) = c a n r as c 0 < c ε. What now? Recall that we started with ε and we still have to find some N N such that for all n N, c a n c r < ε. On the other hand we were able to find the natural number N 1 (depending on ε) with the property that for all n N 1, c a n c r < c ε. The idea now is to apply the N 1 -argument for ε c instead of ε!! Then the argument above shows that we can find a natural number N 1 with the property that for all n N 1, ε c a n c r < c c = ε. Thus the natural number N, defined as N := N 1 (the symbol := stands for defined as ) that we found for ε c is suitable to solve our initial problem ( ) for ε. 1.3.2. Sum rule. If (a n ) n N, (b n ) n N are convergent sequences, then also their sum (a n +b n ) n N is a convergent sequence and lim n (a n +b n ) = lim n a n + lim n b n.

10 Sequences Proof. We write r = lim n a n, s = lim n b n and we must show that (a n + b n ) n N converges to r+s. According to the definition of convergence 1.2.2 we have to pick some real number ε > 0 and we have to find some N N (depending on ε) such that for all n N, ( ) a n +b n (r +s) < ε. How do we find such an N? Let us first write out what we know by our assumptions on the convergence of the two given sequences: As (a n ) n N converges to r, there is some N 1 N (depending on ε) such that for all n N 1, a n r < ε. As (b n ) n N converges to s, there is some N 2 N (depending on ε) such that for all n N 2, b n s < ε. Hence if we take N 3 as the maximum of N 1 and N 2, then we know for all n N 3 : a n r < ε and b n s < ε. Now by the triangle inequality (cf. 1.2.1(iii)), we get for all n N 3 : a n +b n (r +s) = (a n r)+(b n s) a n r + b n s ε+ε = 2ε. What now? Recall that we started with ε and we still have to find some N N such that for all n N, a n +b n (r +s) < ε. On the other hand we were able to find the natural number N 3 (depending on ε) with the property that for all n N 3, a n +b n (r +s) < 2ε. The idea now is to apply the N 3 -argument for ε 2 instead of ε!! Hence the argument above shows that we can find a natural number N 3 with the property that for all n N 3, a n +b n (r +s) < 2 ε 2 = ε. Thus the natural number N := N 3 that we found for ε 2 is suitable to solve our initial problem ( ) for ε.

Bounded and monotone sequences 11 1.4. Bounded and monotone sequences. 1.4.1. Definition. For a subset S of R and an element r R we write S r if s r for every s S and S < r if s < r for every s S. Similarly the notation r S and r < S has to be understood. (i) Given a subset S of R we call every element r R with S r an upper bound for S. S is called bounded from above if there is an upper bound for S. Similarly every element r R with the property r S is called a lower bound for S. S is called bounded from below if there is a lower bound for S. S is called bounded if S is bounded from above and from below. For example the set of all rational numbers q with q 2 < 2 is bounded from above by 3 2 and bounded from below by 2. (ii) A sequence (a n ) n N is called bounded from above, bounded from below or bounded, if its value set has this property. 1.4.2. Proposition. Every convergent sequence is bounded. Proof. Let (a n ) n N be our convergent sequence with limit r. We choose ε = 1 and exploit the definition of convergence: Hence we know that there is some N N such that for all n N, a n r < 1; in other words r 1 < a n < r+1. Hence the set of all a n with n N is bounded above by r +1 and bounded below by r 1. However, the set {a 1,...,a N 1 } is finite and therefore bounded. Since the union of two bounded sets is bounded, the value set of (a n ) n N is bounded. The following cannot be proved and is an axiom for real numbers: 1.4.3. Completeness axiom of R. Every nonempty subset S of R which has an upper bound, has a least upper bound. 1.4.4. Rules on least upper bounds and greatest lower bounds. IfS Risboundedfromabove,thenitsleastupperboundiscalledthesupremum of S and denoted by sup(s). For an element x R we have: x = sup(s) S x and for all r < x } there is some {{ s S with r < s }. S r A subset S R is bounded from below if and only if S := { s s S} is bounded from above, because S r r S for all r R. If this is the case, then S has a greatest lower bound, called the infimum of S, denoted by inf(s) and we have inf(s) = sup( S). Observe that the supremum of a bounded set S may be a member of S (e.g. if S = [0,1]) or may not be a member of S (e.g. if S = [0,1)). The existence of suprema of bounded sets is responsible for many constructions of real numbers. Most prominently, 2 is defined as sup{x Q x 2 < 2}.

12 Sequences Further, we pick up an example from section 1.1 now. Given a real number r > 0 and natural numbers n,m, we have a good intuition what r n m is: r n m is the m th root of r n. However, what shall we think of r 2? Or better: How is r 2 defined? We will answer this now with the aid of the axiom above. More generally, let r,p be real numbers. If r 1 we define r p := sup{r x x Q and x p}. We extend this definition for 0 < r < 1 by r p = ( 1 r ) p and show that We have r p = inf{r x x Q and x p} : r p = sup{( 1 r )x x Q and x p} = = sup{r x x Q and x p} = = sup{r x x Q and x p} = see below = inf{r x x Q and x p}. The last equality needs justification. Since r < 1 it is clear that for all x,y Q with x p y we have r x r y. Hence u := sup{r x x Q and x p} inf{r x x Q and x p} =: v. We now show that v u = 1 (and therefore v = u). We know already 1 v u and we show that for every real number δ > 0 we have v u < 1+δ. Choose n N with 1+nδ > 1 r and choose rational numbers x 1 p x 2 with x 2 x 1 < 1 n. By definition of u and v we have v rx1 and u r x2. Therefore Finally ( 1 r ) 1 n < 1+δ since 1 r v u rx1 r x2 = (1 r )x2 x1 by choice of n < 1+nδ as 1 r >1 and x2 x1< 1 n < ( 1 r ) 1 n. from the Binomial Theorem (1+δ) n. 1.4.5. Definition. Let (a n ) n N be a sequence. (a) (a n ) n N is called strictly increasing if a 1 < a 2 < a 3 <... and strictly decreasing if a 1 > a 2 > a 3 >... (a n ) n N is called strictly monotone if it is strictly increasing or strictly decreasing. (b) (a n ) n N is called increasing if a 1 a 2 a 3... and decreasing if a 1 a 2 a 3... (a n ) n N is called monotone if it is increasing or decreasing. The next theorem is a powerful tool to compute limits. We ll see examples shortly.

Bounded and monotone sequences 13 1.4.6. Monotone convergence theorem. Every monotone and bounded sequence has a limit. Proof. Let (a n ) n N be our monotone sequence. We first assume that (a n ) n N is increasing, i.e. a 1 a 2 a 3... By assumption, (a n ) n N is bounded from above, which means that the value set A = {a n n N} is bounded from above. By the completeness axiom 1.4.3 of R, A has a supremum s and we claim that s is the limit of (a n ) n N. To see this, take ε > 0. Since s is the least upper bound of A, s ε is not an upper bound of A, i.e. there is some N N with s ε < a N. Now if n N, then as (a n) n N is increasing as s=supa s ε < a N a n s. In particular a n s ε for all n N as required. It remains to do the case when (a n ) n N is decreasing. However, in this case the sequence ( a n ) n N is increasing (and again bounded). By what we have shown ( a n ) n N has a limit and by the scalar multiplication rule, also (a n ) n N has a limit.