Solutions to Take-Home Part of Math 317 Exam #1

Similar documents
Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics

CHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e.

x a x 2 (1 + x 2 ) n.

HOMEWORK 5 SOLUTIONS. n!f n (1) lim. ln x n! + xn x. 1 = G n 1 (x). (2) k + 1 n. (n 1)!

THE BANACH CONTRACTION PRINCIPLE. Contents

1 if 1 x 0 1 if 0 x 1

n k=1 k=0 1/k! = e. Example 6.4. The series 1/k 2 converges in R. Indeed, if s n = n then k=1 1/k, then s 2n s n = 1 n

Mathematical Methods of Engineering Analysis

Notes on metric spaces

1. Prove that the empty set is a subset of every set.

INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS

Metric Spaces Joseph Muscat 2003 (Last revised May 2009)

THE CENTRAL LIMIT THEOREM TORONTO

God created the integers and the rest is the work of man. (Leopold Kronecker, in an after-dinner speech at a conference, Berlin, 1886)

FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES

Practice with Proofs

Introduction to Topology

MA651 Topology. Lecture 6. Separation Axioms.

sin(x) < x sin(x) x < tan(x) sin(x) x cos(x) 1 < sin(x) sin(x) 1 < 1 cos(x) 1 cos(x) = 1 cos2 (x) 1 + cos(x) = sin2 (x) 1 < x 2

Metric Spaces. Chapter 1

1 Norms and Vector Spaces

Metric Spaces. Chapter Metrics

0 <β 1 let u(x) u(y) kuk u := sup u(x) and [u] β := sup

No: Bilkent University. Monotonic Extension. Farhad Husseinov. Discussion Papers. Department of Economics

FIRST YEAR CALCULUS. Chapter 7 CONTINUITY. It is a parabola, and we can draw this parabola without lifting our pencil from the paper.

SOLUTIONS TO EXERCISES FOR. MATHEMATICS 205A Part 3. Spaces with special properties

Solutions of Equations in One Variable. Fixed-Point Iteration II

INCIDENCE-BETWEENNESS GEOMETRY

An example of a computable

MATH10212 Linear Algebra. Systems of Linear Equations. Definition. An n-dimensional vector is a row or a column of n numbers (or letters): a 1.

Sample Induction Proofs

CONTINUED FRACTIONS AND PELL S EQUATION. Contents 1. Continued Fractions 1 2. Solution to Pell s Equation 9 References 12

Extension of measure

Elements of probability theory

Basic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011

Taylor and Maclaurin Series

t := maxγ ν subject to ν {0,1,2,...} and f(x c +γ ν d) f(x c )+cγ ν f (x c ;d).

The Steepest Descent Algorithm for Unconstrained Optimization and a Bisection Line-search Method

3. Mathematical Induction

Lectures 5-6: Taylor Series

So let us begin our quest to find the holy grail of real analysis.

Connectivity and cuts

MASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 5 9/17/2008 RANDOM VARIABLES

PUTNAM TRAINING POLYNOMIALS. Exercises 1. Find a polynomial with integral coefficients whose zeros include

Math 104: Introduction to Analysis

(Basic definitions and properties; Separation theorems; Characterizations) 1.1 Definition, examples, inner description, algebraic properties

Full and Complete Binary Trees

University of Miskolc

Solutions for Practice problems on proofs

Convex analysis and profit/cost/support functions

The Ergodic Theorem and randomness

SHARP BOUNDS FOR THE SUM OF THE SQUARES OF THE DEGREES OF A GRAPH

1 The Brownian bridge construction

Lemma 5.2. Let S be a set. (1) Let f and g be two permutations of S. Then the composition of f and g is a permutation of S.

Duality of linear conic problems

MATH 4330/5330, Fourier Analysis Section 11, The Discrete Fourier Transform

0 0 such that f x L whenever x a

arxiv: v1 [math.pr] 5 Dec 2011

Further Study on Strong Lagrangian Duality Property for Invex Programs via Penalty Functions 1

A FIRST COURSE IN OPTIMIZATION THEORY

Separation Properties for Locally Convex Cones

WHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT?

How To Find Out How To Calculate A Premeasure On A Set Of Two-Dimensional Algebra

The Union-Find Problem Kruskal s algorithm for finding an MST presented us with a problem in data-structure design. As we looked at each edge,

About the inverse football pool problem for 9 games 1

Notes from February 11

The Prime Numbers. Definition. A prime number is a positive integer with exactly two positive divisors.

EMBEDDING COUNTABLE PARTIAL ORDERINGS IN THE DEGREES

Lecture Notes on Measure Theory and Functional Analysis

Every Positive Integer is the Sum of Four Squares! (and other exciting problems)

Nonlinear Algebraic Equations. Lectures INF2320 p. 1/88

THE SINE PRODUCT FORMULA AND THE GAMMA FUNCTION

MEASURE AND INTEGRATION. Dietmar A. Salamon ETH Zürich

CS 598CSC: Combinatorial Optimization Lecture date: 2/4/2010

10.2 Series and Convergence

Midterm Practice Problems

Selected practice exam solutions (part 5, item 2) (MAT 360)

DEGREES OF ORDERS ON TORSION-FREE ABELIAN GROUPS

MATH 132: CALCULUS II SYLLABUS

Math 4310 Handout - Quotient Vector Spaces

CONTRIBUTIONS TO ZERO SUM PROBLEMS

U.C. Berkeley CS276: Cryptography Handout 0.1 Luca Trevisan January, Notes on Algebra

Mathematical Induction. Mary Barnes Sue Gordon

Estimating the Average Value of a Function

Walrasian Demand. u(x) where B(p, w) = {x R n + : p x w}.

6. Define log(z) so that π < I log(z) π. Discuss the identities e log(z) = z and log(e w ) = w.

Mathematical Induction

Dynamic TCP Acknowledgement: Penalizing Long Delays

Section 4.2: The Division Algorithm and Greatest Common Divisors

Tiers, Preference Similarity, and the Limits on Stable Partners

Complex Function Theory. Second Edition. Donald Sarason >AMS AMERICAN MATHEMATICAL SOCIETY

The Henstock-Kurzweil-Stieltjes type integral for real functions on a fractal subset of the real line

Math 319 Problem Set #3 Solution 21 February 2002

A domain of spacetime intervals in general relativity

How To Understand The Theory Of Hyperreals

Date: April 12, Contents

Fairness in Routing and Load Balancing

5.3 Improper Integrals Involving Rational and Exponential Functions

1. Let X and Y be normed spaces and let T B(X, Y ).

Continued Fractions and the Euclidean Algorithm

Transcription:

Solutions to Take-Home Part of Math 317 Exam #1 1. Suppose (x n ) is a bounded sequence with lim inf x n = a and lim sup x n = b. Show that there exists a subsequence of (x n ) converging to a and a subsequence converging to b. Proof. For each m N, let y m = sup{x m, x m+1,...}. Then, by Lemma 1.3.7, there exists n m m such that y m 1 m < x n m. Equivalently, since x nm y m, we know that x nm y m = y m x nm < 1 m. (1) The goal is to show that the subsequence (x nm ) converges to b. Let ɛ > 0. Since lim y m = lim sup x n = b, we know there exists N 1 N such that, for all m N 1, Therefore, for m max{2/ɛ, N 1 }, y m b < ɛ 2. (2) x nm b = x nm y m +y m b x nm y m + y m b < 1 m + ɛ 2 ɛ 2 + ɛ 2 = ɛ, where the first inequality is an application of the triangle inequality, the second follows from (1) and (2), and the third from the choice of m. Therefore, since our choice of ɛ > 0 was arbitrary, we conclude that the subsequence (x nm ) b. A similar argument using the sequence (z m ) given by z m = inf{x m, x m+1,...} and the version of Lemma 1.3.7 suitable for infima (see Exercise 1.3.2, which you did as a warm-up for HW #2, Problem 1) yields a subsequence converging to a. 2. In class, we used the Axiom of Completeness (via the Nested Interval Property) to prove the Bolzano Weierstrass Theorem. For this problem, do the opposite: use the Bolzano Weierstrass Theorem to prove the Axiom of Completeness.

Proof. This will follow in two parts. Lemma 0.1. The Bolzano Weierstrass Theorem implies the Nested Interval Property. Proof. Let I n = [a n, b n ] for each n so that I 1 I 2 I 3.... For each n, a 1 < b n b 1, so the sequence (b n ) is bounded. By the Bolzano Weierstrass Theorem, it contains a convergent subsequence (b nk ) b. I claim that b b n for all n. To see this, note that (b n ) and (b nk ) are both decreasing sequences since the intervals are nested. If b > b m for some m, then for all k m we have n k n m m, so b nk b nm b m < b and b nk b = b b nk b b m. This is clearly impossible since b b m is a fixed positive number and the sequence (b nk ) converges to b. Therefore, b b m for all m. On the other hand, b a n for all n. This follows because, for any n, b nk a n, so, by the Order Limit Theorem, b = lim b nk a n. Therefore, we see that a n b b n for all n, so b I n for all n, meaning that b I n, i=1 so the intersection is non-empty. Since our choice of nested intervals was arbitrary, we conclude that the Nested Interval Property is true. Lemma 0.2. The Nested Interval Property implies the Axiom of Completeness. Proof. Let A be a non-empty set of real numbers that is bounded above. Since A is non-empty, there exists some number a 1 that is not an upper bound for A. Since A is bounded above, there exists an upper bound b 1 for A. Then a 1 < b 1. Let I 1 be the closed interval [a 1, b 1 ], which has length d = b 1 a 1 > 0. If the midpoint of the interval, m 1 = a 1+b 1 2 is an upper bound for A, let b 2 = m 1 and let a 2 = a 1 ; otherwise, let a 2 = m 1 and let b 2 = b 1. Define I 2 = [a 2, b 2 ]. Now we can iterate this process. For any n, let m n = an+bn 2 : if m n is an upper

bound for A, let b n+1 = m n and a n+1 = a n ; otherwise, let a n+1 = m n and b n+1 = b n. Either way, we define I n+1 = [a n+1, b n+1 ]. This process yields the nested intervals I 1 I 2... such that the left endpoint of each interval is not an upper bound for A and the right endpoint is. By the Nested Interval Property, n=1 I n contains a real number b. I claim that b = sup A. First, I want to show that b is an upper bound for A. Suppose it were not. Then there would be some a A such that a > b. Let ɛ 0 = a b > 0. Since each b n was chosen to be an upper bound for A, we know a b n for all n. But then, for any N > d ɛ 0, b N b a b = ɛ 0, This is clearly impossible, since b I N = [a N, b N ], which has length d 2 N < d N < ɛ 0. To see that b is the least upper bound, let ɛ > 0. Let N > d ɛ. Then, since none of the a n s is an upper bound for A, there exists a A such that a N < a b N. Now, both a and b are elements of [a N, b N ], which has length d 2 N, so b a d 2 N < d N < ɛ. Therefore, since b a = b a, we see that b a < ɛ or, equivalently, b ɛ < a. Since our choice of ɛ > 0 was arbitrary, Lemma 1.3.7 implies that b = sup A. Combining Lemmas 0.1 and 0.2, we see that the Bolzano Weierstrass Theorem implies the Nested Interval Property and the Nested Interval Property implies the Axiom of Completeness, so we conclude that the Bolzano Weierstrass Theorem implies the Axiom of Completeness. 3. Define the sequence (x n ) recursively by setting x 1 = 2 x n+1 = 2 + x n for all n {1, 2, 3,...} (a) Show that the sequence (x n ) converges.

Proof. I will use induction to show that (x n ) is a bounded, increasing sequence; then the Monotone Convergence Sequence will imply that it converges. Specifically, I claim that, for all n {1, 2, 3,...}, 2 xn x n+1 2. Base Case: Clearly, since x 1 = 2 and x 2 = 2 + 2, 2 x1 x 2 2. Inductive Step: Suppose 2 x k x k+1 2. Then Also, x k+2 = 2 + x k+1 2 + 2 = 2. x k+2 = 2 + x k+1 2 + x k = x k+1 2, since x k+1 x k. Putting these two together, we see that 2 xk+1 x k+2 2. Therefore, by induction, we conclude that 2 x n x n+1 2 for all n {1, 2, 3,...}. This means that (x n ) is a bounded, increasing sequence, so it converges. (b) Let λ = lim n x n. Show that λ 2 λ 2 = 0. Proof. Consider the subsequence (x n+1 ) = (x 2, x 3,...). This is a subsequence of a convergent sequence, so Theorem 2.5.2 implies that λ = lim x n+1. On the other hand, by the Algebraic Limit Theorem λ 2 = (lim x n+1 ) 2 = lim ( x 2 n+1) = lim(2+xn ) = 2+lim x n = 2+λ. Therefore, we have that λ 2 = 2 + λ or, equivalently, as desired. λ 2 λ 2 = 0, 4. A point x is called a cluster point of the sequence (x n ) if for every ɛ > 0 there are infinitely many values of n with x n x < ɛ.

(a) Show that x is a cluster point of (x n ) if and only if there is a subsequence of (x n ) that converges to x. Proof. ( ) Let x be a cluster point of (x n ). By the definition of a cluster point, for any k {1, 2, 3,...}, there exist infinitely many values of n such that x n x < 1/k. Pick one and call it n k. Then I claim that the subsequence (x nk ) converges to x. To see this, let ɛ > 0 and pick N > 1 ɛ. Then, for any k N, x nk x < 1 k 1 N < ɛ. Since our choice of ɛ > 0 was arbitrary, we conclude that (x nk ) x. ( ) Suppose there is a subsequence of (x n ) that converges to x. Call the subsequence (x nk ). Let ɛ > 0. Then, since (x nk ) x, there exists N N such that, for all m N, x nm x < ɛ. Since there are infinitely many m N, we see that x is a cluster point of (x n ). (b) Show that (x n ) converges to x if and only if the sequence is bounded and x is its only cluster point. Proof. ( ) Suppose (x n ) x. Then the sequence (x n ) is bounded by Theorem 2.3.2. By Theorem 2.5.2, every subsequence of (x n ) also converges to x. Therefore, since a number is a cluster point if and only if some subsequences converges to it (by part (a)), x is the only cluster point of (x n ). ( ) Suppose (x n ) is a bounded sequence with a single cluster point x. Since x is the only cluster point, part (a) implies that every convergent subsequence of (x n ) converges to x. Since (x n ) is bounded, HW #5 Problem 4 implies that (x n ) x. 5. Let (x n ) be a sequence of real numbers such that x n x n+1 1 2 n for all n {1, 2, 3,...}. Show that (x n ) converges.

Proof. Let ɛ > 0. Choose N N such that N > 1 log 2 ɛ. Then, for any n > m N, x m x n = x m x m+1 + x m+1 x m+2 +... + x n 1 x n x m x m+1 + x m+1 x m+2 +... + x n 1 x n 1 2 m + 1 2 m+1 +... + 1 2 n 1 = 1 ( 2 m 1 + 1 ) 2 +... + 1 2 n m 1. The sum inside the parentheses is less than 2, so we see that x m x n < 1 2 m 2 = 1 2 m 1 1 < ɛ. 2N 1 Therefore, since our choice of ɛ > 0 was arbitrary, we see that (x n ) is a Cauchy sequence and thus, by Theorem 2.6.4, converges.