Bonus Homework. Math 766 Spring ) For E 1,E 2 R n, define E 1 + E 2 = {x + y : x E 1,y E 2 }.

Similar documents
converges as well if x < 1. 1 x n x n 1 1 = 2 a nx n

Problem Set 2: Solutions Math 201A: Fall 2016

3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?

Final Exam Practice Problems Math 428, Spring 2017

1. Let A R be a nonempty set that is bounded from above, and let a be the least upper bound of A. Show that there exists a sequence {a n } n N

Analysis Comprehensive Exam Questions Fall F(x) = 1 x. f(t)dt. t 1 2. tf 2 (t)dt. and g(t, x) = 2 t. 2 t

REVIEW OF ESSENTIAL MATH 346 TOPICS

1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer 11(2) (1989),

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 421, Homework #9 Solutions

SOLUTIONS TO SOME PROBLEMS

d(x n, x) d(x n, x nk ) + d(x nk, x) where we chose any fixed k > N

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

2) Let X be a compact space. Prove that the space C(X) of continuous real-valued functions is a complete metric space.

Section 21. The Metric Topology (Continued)

Real Analysis Chapter 4 Solutions Jonathan Conder

2 (Bonus). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?

Maths 212: Homework Solutions

Topology. Xiaolong Han. Department of Mathematics, California State University, Northridge, CA 91330, USA address:

Your first day at work MATH 806 (Fall 2015)

MASTERS EXAMINATION IN MATHEMATICS SOLUTIONS

NAME: Mathematics 205A, Fall 2008, Final Examination. Answer Key

Analysis Qualifying Exam

Analysis Finite and Infinite Sets The Real Numbers The Cantor Set

Real Analysis Notes. Thomas Goller

Chapter 5. Measurable Functions

Exercises from other sources REAL NUMBERS 2,...,

Lecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University

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

ANALYSIS WORKSHEET II: METRIC SPACES

Math 117: Topology of the Real Numbers

Prohorov s theorem. Bengt Ringnér. October 26, 2008

COUNTABLE PRODUCTS ELENA GUREVICH

McGill University Math 354: Honors Analysis 3

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

Mid Term-1 : Practice problems

TOPOLOGICAL GROUPS MATH 519

An Introduction to Fractals and Hausdorff Measures

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

It follows from the above inequalities that for c C 1

Analysis III Theorems, Propositions & Lemmas... Oh My!

Notions such as convergent sequence and Cauchy sequence make sense for any metric space. Convergent Sequences are Cauchy

Selected solutions for Homework 9

Summer Jump-Start Program for Analysis, 2012 Song-Ying Li

Math 4317 : Real Analysis I Mid-Term Exam 1 25 September 2012

van Rooij, Schikhof: A Second Course on Real Functions

Continuity. Matt Rosenzweig

Generalized metric properties of spheres and renorming of Banach spaces

Continuity. Chapter 4

Immerse Metric Space Homework

Math 140A - Fall Final Exam

Midterm 1. Every element of the set of functions is continuous

Functional Analysis HW #3

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

Hence, (f(x) f(x 0 )) 2 + (g(x) g(x 0 )) 2 < ɛ

Problem List MATH 5143 Fall, 2013

Finite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product

THEOREMS, ETC., FOR MATH 515

Applied Analysis (APPM 5440): Final exam 1:30pm 4:00pm, Dec. 14, Closed books.

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

Chapter 2 Metric Spaces

7 Complete metric spaces and function spaces

x 0 + f(x), exist as extended real numbers. Show that f is upper semicontinuous This shows ( ɛ, ɛ) B α. Thus

SOME QUESTIONS FOR MATH 766, SPRING Question 1. Let C([0, 1]) be the set of all continuous functions on [0, 1] endowed with the norm

Solutions Final Exam May. 14, 2014

Solutions to Tutorial 8 (Week 9)

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

Introductory Analysis 2 Spring 2010 Exam 1 February 11, 2015

Continuity. Chapter 4

Introduction to Functional Analysis

The Heine-Borel and Arzela-Ascoli Theorems

MATH NEW HOMEWORK AND SOLUTIONS TO PREVIOUS HOMEWORKS AND EXAMS

Math 328 Course Notes

Math 127C, Spring 2006 Final Exam Solutions. x 2 ), g(y 1, y 2 ) = ( y 1 y 2, y1 2 + y2) 2. (g f) (0) = g (f(0))f (0).

Solve EACH of the exercises 1-3

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

INTRODUCTION TO TOPOLOGY, MATH 141, PRACTICE PROBLEMS

Math 209B Homework 2

Problem Set 5: Solutions Math 201A: Fall 2016

Contraction Mapping in Cone b-hexagonal Metric Spaces

Exercise 1. Let f be a nonnegative measurable function. Show that. where ϕ is taken over all simple functions with ϕ f. k 1.

Thus f is continuous at x 0. Matthew Straughn Math 402 Homework 6

Logical Connectives and Quantifiers

Supplement. The Extended Complex Plane

MA651 Topology. Lecture 10. Metric Spaces.

Introduction to Real Analysis Alternative Chapter 1

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.

Math General Topology Fall 2012 Homework 1 Solutions

Metric Space Topology (Spring 2016) Selected Homework Solutions. HW1 Q1.2. Suppose that d is a metric on a set X. Prove that the inequality d(x, y)

(1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define

In class midterm Exam - Answer key

MATHS 730 FC Lecture Notes March 5, Introduction

On Asymptotic Proximity of Distributions

Homework 1 Solutions

Preliminary Exam 2016 Solutions to Morning Exam

LECTURE 15: COMPLETENESS AND CONVEXITY

Convergence & Continuity

Riemann Mapping Theorem (4/10-4/15)

h(x) lim H(x) = lim Since h is nondecreasing then h(x) 0 for all x, and if h is discontinuous at a point x then H(x) > 0. Denote

Math 426 Homework 4 Due 3 November 2017

Transcription:

Bonus Homework Math 766 Spring ) For E,E R n, define E + E = {x + y : x E,y E }. (a) Prove that if E and E are compact, then E + E is compact. Proof: Since E + E R n, it is sufficient to prove that E + E is closed and bounded. E + E is bounded: Since E and E are compact, they are bounded. So there exists M > such that x < M for all x E and y < M for all y E. Then for z E + E, there exist x E and y E such that z = x + y. So z x + y < M. Hence E + E is bounded. E + E is closed: Let {z n } E + E such that z n z for some z R n. There exist x n E and y n E such that z n = x n + y n for each n. Since E is compact and {x n } E, there exists a subsequence {x nk } {x n } and x E such that x nk x as k. ow since E is compact and {y nk } E, there exists a subsequence {y nkl } {y k } and y E such that y nkl y as l. Then take z nkl {z n } and since z n z z = lim l z nkl = lim l x nkl + y nkl = x + y. But since x E and y E, it follows that z = x + y E + E. Therefore E + E is closed. Hence E + E is closed and bounded. (b) There exists a closed set E R such that E + is not closed Proof: Define E = {a n } n where a n = n n For all n, a n > n n+ and a n as n. Then it follows that [ ] E c = (a, ) (a n+,a n ) which is an open set. So E is closed. ow for each n Z, we have n E + since ( ) n = n n + n E +. n

But n as n and E +. It can be seen that / E + since for all k,n k n < n n + k < k + n, which implies that E + R\Z. Then E + is not closed. ) If f n converges pointwise to a continuous function f on [,] and every f n is continuous and non-negative on [,], then f n converges uniformly to f on [,]. Proof: Let ε > and define for K = K (ε) = For each x [,], since f n for all n f (x) = { x : f (x) f (x) ε f n (x) f n (x) for every. Since f n = f pointwise on [,], for each x [,] there exists = (x,ε) such that > implies f (x) f n (x) = f (x) f n (x) < ε. That is for each x [,], there exists = (x,ε) such that x / K. Then K = /. Also K + K for all since for any x K + we have f (x) } + f n (x) f (x) f n (x) ε. Since f n and f are continuous, so is f f n(x), and so { K = x : f (x) f (x) ε is a closed set. Also K [,], so K is compact. Then K are a nested sequence of compact sets with empty intersection. Therefore by Cantor s intersection theorem, there exists = (ε) such that K = /. Then if n >, then for all x [,] f (x) f n (x) = f (x) f n (x) < ε. }. Hence f n(x) converges uniformly to f on [,].

3 3) Let ψ C[,] and define for f,g C[,]. If ψ(x) > for all x [,], then ρ ψ is a metric on C[,] If ψ(x) = for x / and ψ(x) = x / for / < x, then ρ ψ is not a metric on C[,]. Proof: For any f,g C[,], ρ ψ ( f,g) is well defines since ψ(x) f (x) g(x) is a continuous and hence integrable function on [,]. Also = ψ(x) g(x) f (x) dx = ρ ψ (g, f ). ow assume that f g. Then there exists x [,] such that f (x ) g(x ). Since f (x) g(x) is continuous at x and f (x ) g(x ) >, there exists δ > such that for all x [,] such that x x < δ f (x) g(x) f (x ) g(x ) < f (x ) g(x ) which implies that for x [,] such that x x < δ f (x) g(x) f (x ) g(x ) Also since ψ is continuous with ψ(x) >, there exists x [x δ,x + δ] [,] such that ε = inf ψ(x). x [x δ,x +δ] Without loss of generality assume that x. Then x +δ x εδ f (x ) g(x ). A symmetric argument holds if x = using that x. On the other hand if f = g, then f (x) = g(x) for all x [,] and =. So if and only if f = g. Finally for f,g,h C(,) ψ(x) f (x) h(x) dx + ψ(x) h(x) g(x) dx = ρ ψ ( f,h) + ρ ψ (h,g).

4 So ρ ψ is a metric on C(,). If ψ(x) = for x / and ψ(x) = x / for / < x, then to see that ρ ψ is not a metric define { x f (x) = x [, ] x (,] g(x) = which are both continuous on [,]. But the we have that f g and (x ) f (x) g(x) dx =. So ρ ψ cannot be a metric. 4) Let (X,ρ) be a metric space and E X be closed. Then f defined f (x) = inf{ρ(x,y) : y E} is continuous and f (x) = if and only if x E. Proof: Let x X and ε >. For any z B ε/ (x) and y E, by the triangle inequality we have Then ρ(x,y) ρ(x,z) + ρ(z,y) < ε + ρ(z,y) ρ(y,z) ρ(y,x) + ρ(x,z) < ρ(y,x) + ε. f (x) = inf ρ(x,y) ρ(x,z) + inf ρ(z,y) ε + f (z) < ε + f (z) y E y E f (z) = inf ρ(y,z) inf ρ(y,x) + ρ(x,z) f (x) + ε < f (x) + ε. y E y E Hence z B ε/ implies that f (x) f (z) < ε and f is continuous on X. If f (x) =, then for all n there exists y n E such that ρ(x,y n ) < inf y E (x,y) + n = f (x) + n = n. Then ρ(x,y n ) as n which means that y n x in X as n. But E is closed, so x E. On the other hand, if x E, then inf ρ(x,y) ρ(x,x) =. y E Then f (x) = if and only if x E. 5) Let f : U V be a continuously differentiable function between two nonempty open sets U,V R n. Suppose that the Jacobian determinant of f is never zero on U, that f (K) is compact for any compact set K V, and that V is connected. Then f (U) = V Proof: First I claim that f (U) is an open set in R n and hence an open set in the subspace topology of V. Fix y = f (x) f (U) where x U. Since f (x), by the inverse function theorem, there exist open neighborhoods U x U of x and V y V of y such that f is - from U x onto V y and f

5 is continuously differentiable on V y. That is V y = f (U x ) is an open neighborhood of y contained in f (U). Hence f (U) is open. ow I claim that f (U) is a closed set in the subspace topology of V. Let y n f (U) where y n y as n for some y V. Define K = {y n } n {y} V. Since y n y, it follows that K is compact. There exist x n f (K) U such that f (x n ) = y n. By assumption f (K) U is also compact, so there exists a subsequence {x nk } {x n } converging to some x f (K) U as k. Since f is continuous, f (x ) = lim k f (x nk ) = lim n y n = y. Therefore y f (U), which proves that f (U) is closed in V. Then f (U) and V \ f (U) are open sets in V. Moreover f (U) (V \ f (U)) = / and f (U) (V \ f (U)) = V. Since V is connected, either f (U) = / or V \ f (U) = /. Since U is nonempty, f (U) /. Therefore V \ f (U) = / and it follows that V f (U). The oposite inclusion, f (U) V, follows trivially since f : U V. So we have that f (U) = V.