The Limit of a Sequence (Brief Summary) 1

Similar documents
Sequences and Series

Math 312, Intro. to Real Analysis: Homework #4 Solutions

Solutions to Problem Sheet 1

Section Mathematical Induction and Section Strong Induction and Well-Ordering

5. Best Unbiased Estimators

SELECTING THE NUMBER OF CHANGE-POINTS IN SEGMENTED LINE REGRESSION

Limits of sequences. Contents 1. Introduction 2 2. Some notation for sequences The behaviour of infinite sequences 3

A New Constructive Proof of Graham's Theorem and More New Classes of Functionally Complete Functions

point estimator a random variable (like P or X) whose values are used to estimate a population parameter

11.7 (TAYLOR SERIES) NAME: SOLUTIONS 31 July 2018

Lecture 9: The law of large numbers and central limit theorem

We learned: $100 cash today is preferred over $100 a year from now

Further Pure 1 Revision Topic 5: Sums of Series

EXERCISE - BINOMIAL THEOREM

A point estimate is the value of a statistic that estimates the value of a parameter.

SUPPLEMENTAL MATERIAL

1 The Power of Compounding

Introduction to Probability and Statistics Chapter 7

Average Distance and Vertex-Connectivity

Statistics for Economics & Business

Rafa l Kulik and Marc Raimondo. University of Ottawa and University of Sydney. Supplementary material

Sampling Distributions and Estimation

Topic-7. Large Sample Estimation

NORMALIZATION OF BEURLING GENERALIZED PRIMES WITH RIEMANN HYPOTHESIS

Lecture 4: Parameter Estimation and Confidence Intervals. GENOME 560 Doug Fowler, GS

CHAPTER 2 PRICING OF BONDS

CHAPTER 8 Estimating with Confidence

Subject CT5 Contingencies Core Technical. Syllabus. for the 2011 Examinations. The Faculty of Actuaries and Institute of Actuaries.

Summary. Recap. Last Lecture. .1 If you know MLE of θ, can you also know MLE of τ(θ) for any function τ?

18.S096 Problem Set 5 Fall 2013 Volatility Modeling Due Date: 10/29/2013

Standard Deviations for Normal Sampling Distributions are: For proportions For means _

The Real Numbers. Here we show one way to explicitly construct the real numbers R. First we need a definition.

Notes on Expected Revenue from Auctions

CHAPTER : ARITHMETIC PROGRESSION CONTENTS. Idetify characteristics of arithmetic progressio PAGE 2.2 Determie whether a give sequece is a arithmetic p

Chapter 5: Sequences and Series

Inferential Statistics and Probability a Holistic Approach. Inference Process. Inference Process. Chapter 8 Slides. Maurice Geraghty,

INTERVAL GAMES. and player 2 selects 1, then player 2 would give player 1 a payoff of, 1) = 0.

1 over the interval [1,2]. Ans: 458,999 16,128. Find the arc length of the graph of the function

Unbiased estimators Estimators


1 Estimating sensitivities

. The firm makes different types of furniture. Let x ( x1,..., x n. If the firm produces nothing it rents out the entire space and so has a profit of

EVEN NUMBERED EXERCISES IN CHAPTER 4

Chapter 8. Confidence Interval Estimation. Copyright 2015, 2012, 2009 Pearson Education, Inc. Chapter 8, Slide 1

Subject CT1 Financial Mathematics Core Technical Syllabus

Math 124: Lecture for Week 10 of 17

Monetary Economics: Problem Set #5 Solutions

These characteristics are expressed in terms of statistical properties which are estimated from the sample data.

CHAPTER 8: CONFIDENCE INTERVAL ESTIMATES for Means and Proportions

CHAPTER 8: CONFIDENCE INTERVAL ESTIMATES for Means and Proportions

Maximum Empirical Likelihood Estimation (MELE)

. (The calculated sample mean is symbolized by x.)

A random variable is a variable whose value is a numerical outcome of a random phenomenon.

MATH 205 HOMEWORK #1 OFFICIAL SOLUTION

APPLICATION OF GEOMETRIC SEQUENCES AND SERIES: COMPOUND INTEREST AND ANNUITIES

Calculation of the Annual Equivalent Rate (AER)

Confidence Intervals Introduction

Estimating Proportions with Confidence

Confidence Intervals. CI for a population mean (σ is known and n > 30 or the variable is normally distributed in the.

ii. Interval estimation:

1 Basic Growth Models

r i = a i + b i f b i = Cov[r i, f] The only parameters to be estimated for this model are a i 's, b i 's, σe 2 i

Contents List of Files with Examples

FINM6900 Finance Theory How Is Asymmetric Information Reflected in Asset Prices?

x satisfying all regularity conditions. Then

Marking Estimation of Petri Nets based on Partial Observation

Random Sequences Using the Divisor Pairs Function

CAPITAL PROJECT SCREENING AND SELECTION

Fixed Income Securities

The material in this chapter is motivated by Experiment 9.

B = A x z

Basic formula for confidence intervals. Formulas for estimating population variance Normal Uniform Proportion

Asymptotics: Consistency and Delta Method

Institute of Actuaries of India Subject CT5 General Insurance, Life and Health Contingencies

Binomial Model. Stock Price Dynamics. The Key Idea Riskless Hedge

A Note About Maximum Likelihood Estimator in Hypergeometric Distribution

Outline. Plotting discrete-time signals. Sampling Process. Discrete-Time Signal Representations Important D-T Signals Digital Signals

Online appendices from Counterparty Risk and Credit Value Adjustment a continuing challenge for global financial markets by Jon Gregory

Single-Payment Factors (P/F, F/P) Single-Payment Factors (P/F, F/P) Single-Payment Factors (P/F, F/P)

between 1 and 100. The teacher expected this task to take Guass several minutes to an hour to keep him busy but

On the Composition of 2-Prover Commitments and Multi-Round Relativistic Commitments. CWI Amsterdam

Hopscotch and Explicit difference method for solving Black-Scholes PDE

Exam 1 Spring 2015 Statistics for Applications 3/5/2015

14.30 Introduction to Statistical Methods in Economics Spring 2009

Lecture 5: Sampling Distribution

0.1 Valuation Formula:

4.5 Generalized likelihood ratio test

ad covexity Defie Macaulay duratio D Mod = r 1 = ( CF i i k (1 + r k) i ) (1.) (1 + r k) C = ( r ) = 1 ( CF i i(i + 1) (1 + r k) i+ k ) ( ( i k ) CF i

Estimation of generalized Pareto distribution

Economic Computation and Economic Cybernetics Studies and Research, Issue 2/2016, Vol. 50

1 Random Variables and Key Statistics

Overlapping Generations

Moving frame and integrable system of the discrete centroaffine curves in R 3

Research Article The Probability That a Measurement Falls within a Range of n Standard Deviations from an Estimate of the Mean

CHAPTER 8 CONFIDENCE INTERVALS

Chapter 8: Estimation of Mean & Proportion. Introduction

2.6 Rational Functions and Their Graphs

Fourier Transform in L p (R) Spaces, p 1

Neighboring Optimal Solution for Fuzzy Travelling Salesman Problem

Diener and Diener and Walsh follow as special cases. In addition, by making. smooth, as numerically observed by Tian. Moreover, we propose the center

Transcription:

The Limit of a Sequece (Brief Summary). Defiitio. A real umber L is a it of a sequece of real umbers if every ope iterval cotaiig L cotais all but a fiite umber of terms of the sequece. 2. Claim. A sequece ca have at most oe it. Proof: Suppose L ad L be its of a sequece. The there exists a ope iterval I cotaiig L ad a ope iterval I cotaiig L ad both of these itervals cotai all but a fiite umber of terms of the sequece. If L L, I ad I ca be chose to be disjoit which (exercise) leads to a cotradictio. Thus, it must be that L = L.. Notatio. If L is the it of a sequece (a ) we write 6. Theorem. Let (a ) be a sequece. The followig are equivalet, (a) a = L (b) For every ɛ > 0, all but a fiite umber of terms of the sequece are cotaied i the iterval with ceter L ad radius ɛ. (c) ɛ > 0, N such that > N = a L < ɛ 7. Example: Let (a ) be the sequece give by a = +. Show that a =. Solutio: Let ɛ > 0 be arbitrary. We must fid a atural umber N such that 2 d(a, ) < ɛ () a = L ad we say that the sequece coverges to L or that the sequece is coverget. A sequece with o it is called diverget. 4. Remark. The defiitio of it gives precise meaig to the rather vague phrase a approaches L as approaches. This statemet does ot serve as the defiitio of it because either the ature of the approach or the cocept of are explaied. 5. Lemma. Let I is ay ope iterval cotaiig L, the withi I ca be foud a ope iterval of the form x L < ɛ wheever > N. Now d(a, ) = + = +. Moreover, sice IN is ubouded above there exists a atural umber N such that Nɛ >. It follows that: > N > ɛ ɛ > < ɛ + < ɛ d(a, ) < ɛ Philip Peace http://peace.us - Versio: April 0, 207. 2 Notice that the value of N will deped o the value of ɛ. The smaller the value of ɛ the larger N must be i order that the ope iterval determied by equatio () cotais all terms after the N th. Figures ad 4 suggest that that if ɛ = 0.2 the N = 5 works ad if ɛ = 0. the N = 9 suffices.

Sice N has the required property, we coclude that + = 8. Example. Let (a ) be the costat sequece give by a = 5, IN. Show that a = 5. Solutio. Let ɛ > 0. It is easy to fid N such that a 5 < ɛ wheever > N. Let N = 24 (ay other atural umber will do). Sice a 5 = 0, for all IN it is clearly true that a 5 < ɛ wheever > 24. It follows that a = 5. 9. More geerally, if a = c for all IN the a = c. a a 2 a a 4 a 50 0..2..4.5.6.7.8.9 Figure. Iitial Terms of the Sequece a = + 0.5 0 2 4 5 6 7 8 9 0 Figure 2. Graph of the sequece a = + L + 0.2 =.2 L =.0 L 0.2 = 0.8 0.5 0 2 4 5 6 7 8 9 0 Figure. > 5 a < 0.2. 2

L =.0 0.5 L + 0. =. L 0. = 0.9 0 2 4 5 6 7 8 9 0 Figure 4. > 9 a < 0.. 0. Example: Let (a ) be the sequece give by a =, >. Show usig the defiitio of the it of a se- quece that a = 0. Solutio. Let ɛ > 0 Notice (exercise) that < 2 for all > 2. Sice IN is ubouded, there exists a atural umber N > such that Nɛ > 2. It follows that: > N ɛ > 2 2 < ɛ Sice < 2, it follows that > N < ɛ 0 < ɛ which proves that d(a, 0) < ɛ =. The ext theorem reduces the calculatio of complex its to simpler oes. 2. Theorem. Let (a ) ad (b ) be sequeces. a = L ad b = M the: (a) (a ± b ) = L ± M (b) (a b ) = L M (c) If M 0 ad b 0 for all the a b = L M.. Example. Fid the it of the sequece (a ) give by a = / Solutio. Notice a = x y where x = / ad y =, IN. Now, it is easy to show that x = 0 ad y =. Usig part (b) of the above theorem yields a = 0 = 0 4. Example. Fid the it of the sequece (a ) give by a = 2. Solutio. Let x = /. The a = x x If

Sice x = 0. a = x x = 0 0 = 0. 5. Usig mathematical iductio (exercise) it is ow easy to show that p = 0 for ay atural umber p > 0. 6. Example. Fid the it of the sequece x = 2 + + 2. Solutio. But ad Hece 2 x = + 2 2 + 2 2 2 = + 2 + ( + ) = + = + 0 = ( ) + = 2 + 2 x = =. = 0 + = ( + ) ( ) +. 2 7. Defiitio. A sequece (a ) is bouded if there exists a umber M such that a M for all IN. A sequece which is ot bouded is called ubouded. 8. Example. Cosider the sequece a = +. Sice a for all IN, this sequece is bouded. 9. Claim. A coverget sequece is bouded. Proof. Let (a ) be a coverget sequece with it L. The there exists a umber N such the ope iterval (L, L+) cotais all terms a with > N. It follows that all terms of a are less tha or equal i absolute value to the maximum M of the set { a, a 2,..., a N, L +, L } (Exercise: Fid a couterexample to show that the coverse of this result is false.) 20. Corollary. The sequece a = has o it. Proof. Notice that the sequece (a ) is ubouded. If it had a it it would be bouded. 2. Sadwich Theorem Let (a ), (b ) ad (c ) be sequeces. If a b c for all IN ad the seqeces (a ) ad (c ) have the same it L the b = L cos 22. Example. Show = 0 Solutio. Notice that for all 0 cos The result follows by applyig the sadwich theorem. 4

2. Claim. The followig are equivalet: (a) a = 0. (b) a = 0. Proof. Exercise Hit: (Notice that d( a, 0) = d(a, 0) 24. Corollary. cos = 0 25. Lemma. (Beroull s Iequality) If x > the ( + x) ( + x) (b) o-decreasig if for all, m IN m x x m (c) decreasig if for all, m IN < m x > x m (d) o-icreasig if for all, m IN m x x m Warig: As show i the Ve diagram, the terms o-icreasig ad icreasig are ot mutually exclusive. Proof. By iductio (Exercise). 26. Claim. If a > the a is ubouded above. Proof. If a > the a = + x where x = a. Notice x > 0. By Beroulli s iequality a = ( + x) > + x Sice IN is ubouded above, give M arbitrary, there exists N IN such that for all > N, x > M. Hece, for all > N a > M provig that the sequece (a ) is ubouded above. 27. Claim. If 0 < a < the a = 0 Proof. Sice >, it follows by the a previous claim that the sequece ( ) a is ubouded. It follows that if ɛ > 0 there ( exists N such that for all > N, ) a >. This implies ɛ that a 0 < ɛ for all > N. Hece a = 0. 28. Defiitio. A sequece (x ) i IR is: (a) icreasig if for all, m IN < m x < x m Icreasig ic A No-decreasig Decreasig dec C No-icreasig 29. Dedekid (Completeess) Axiom. Every o-empty subset of IR which is bouded above has a supremum (least upper boud). 0. Claim. A sequece α = (a ) of real umbers which is both o-decreasig bouded coverges to the least upper boud of its set of terms. Proof. Let L = sup{a : IN} ad ɛ > 0. The there exists N such that L ɛ < a N L (otherwise L ɛ would be a smaller boud). Sice α is o-decreasig N L ɛ < a L Hece α coverges to L. 5

. Corollary. A o-decreasig sequece α = (a ) of real umbers either coverges or is ubouded above. 2. Defiitio. Let (x ) be a real sequece. A atural umber m is called: (a) A peak poit of (x ) if x m x for all m. (b) A p-blocker if m > p ad x m x p. Bolzao Weierstrass Theorem. A bouded sequece has a coverget subsequece. Proof. (See Spivak). Let m < m 2, <..., be the set of peak poits. If this set is ifiite the the bouded o icreasig subsequece x m x m2 x mk... must coverge (to its ifimum). If, o the other had, the set of peak poits is fiite, there exists a last peak poit m i which case there exists a coverget subsequece of m-blockers defied recursively as follows: let q = m + ad, for each k, let q k+ be the miimum blocker of q k. The the subsequece x q x q2 x qk... is o decreasig ad bouded below so coverges. 4. Exercise. I the proof of BW above, explai why the miimum at each stage exists. 5. Defiitio. A real sequece (a ) is Cauchy if for every ɛ > 0 there exists N such that, m > N a a m < ɛ. 6. Claim. Cauchy sequeces are bouded. Proof. Let ɛ > 0. There exists N such that for m, N, a m a < ɛ. The, by the triagle iequality a m a a m a < ɛ for all m, N. Takig = N. The a m a N < ɛ for all m N. It follows easly that (a m ) is bouded by ± max { a 0, a,..., a N, a N, ɛ + a N } 7. Claim [Uses BW]. Every Cauchy sequece i IR coverges. Proof. Let (a ) be a Cauchy sequece of real umbers. The (a ) is bouded so by BW has a coverget subsequece (a k ). Let L be the it of this subsequece. The there exist N such that k > N a k L < ɛ/2 ad there exists M such that, k > M a a k < ɛ/2 The, for all > max{n, M} a L a a k + a k L < ɛ 8. Corollary. Dedekid completeess implies Cauchy completeess 6