Math 209B Homework 2
|
|
- Vivien Jennings
- 6 years ago
- Views:
Transcription
1 Math 29B Homework 2 Edward Burkard Note: All vector spaces are over the field F = R or C 4.6. Two Compactness Theorems. 4. Point Set Topology Exercise 6 The product of countably many sequentally compact spaces is sequentially compact. (Use the diagonal trick as in the proof of Theorem 4.44.) Exercise 64 Let (X, ρ) be a metric space. A function f C(X) is called Hölder continuous of exponent α (α > ) if the quantity f(x) f(y) N α (f) = sup x y ρ(x, y) α is finite. If X is compact, {f C(X) f u and N α (f) } is compact in C(X). Let F = {f C(X) f u and N α (f) }. Let f F. Then we have that N α (f) implies that f(x) f(y) ρ(x, y) α. Let ɛ > and let x X. Then to show equicontinuity, let U = B (x), hence: ɛ α f(x) f(y) (ɛ α ) α = ɛ which implies, since x was arbitrary, F is equicontinuous on X. Recall that f u = sup x X f(x). So since every function in F satisfies f u it is clear that F is uniformly bounded. So by the Arzelà-Ascoli Theorem I we have that, since X is compact and Hausdorff (since it is a metric space), the closure of F in C(X) is compact. So to prove the claim it remains to show that F is closed. Let {f n } be a sequence in F converging to some function f. Observe: f u = lim f n u = sup lim f n (x) x X = sup lim f n (x) x X = lim sup f n (x) x X = lim = N α (f) = sup x y lim f n (x) lim f n (y) ρ α (x, y) lim(f n (x) f n (y)) = sup x y ρ α (x, y) = sup lim (f n(x) f n (y)) x y ρ α (x, y) (f n (x) f n (y)) = lim sup x y ρ α (x, y) = lim = Hence F is closed, and therefore F is compact in C(X).
2 The Stone-Weierstrass Theorem. Exercise 68 Let X and Y be compact Hausdorff spaces. The algebra generated by functions of the form f(x, y) = g(x)h(y), where g C(X) and h C(Y ), is dense in C(X Y ). Since both X and Y are compact and Hausdorff, by Tychonoff s theorem and Proposition 4. we have that X Y is compact and Hausdorff. Now consider the algebra described above. Call it A. Clearly A contains the constant functions as we can let g and h both be constants and hence we have an f(x, y) = r for all r R. Also clearly A separates points (this can be done by letting g(x) =, h(x) = 2, k(y) = 3 and given any two points (a, b) and (c, d) plugging them into f (x, y) = g(x)k(y) = 3 and f 2 (x, y) = h(x)k(y) = 6 respectively). Since A is closed by definition, we can apply the Stone-Weierstrass Theorem to it to conclude that A is dense in C(X Y ). 5.. Normed Vector Spaces. Exercise 3 Complete the proof of Proposition Elements of Functional Analysis We need to verify that T := lim T n is linear and T n T. First: Hence T is linear. Now check the norm of T : T (ax + by) = lim T n (ax + by) = lim(t n (ax) + T n (by)) = lim(at n (x) + bt n (y)) = lim(at n (x)) + lim(bt n (y)) = a lim T n (x) + b lim T n (y) = at (x) + bt (y) T = sup{ T x x = } = sup{ lim n T nx x = } = sup{ lim n T nx x = } = lim n sup{ T nx x = } = lim n T n Now fix x X and let ɛ >, then since {T n } is Cauchy there is an N N such that for all m, n N: Notice: T n (x) T m (x) ɛ T n (x) T (x) = T n (x) lim m T m(x) = lim m (T n(x) T m (x)) = lim m T n(x) T m (x) < ɛ Letting ɛ we see that T n (x) T (x). So since x was arbitrary we have T n T. Exercise 6 Suppose that X is a finite dimensional vector space. Let e,..., e n be a basis for X, and define n a je j = n a j. is a norm on X. The map (a,..., a n ) n a je j is continuous from F n with the usual Euclidean topology to X with the topology defined by. c. {x X x = } is compact in the topology defined by. d. All norms on X are equivalent. (Compare any norm to.)
3 3 a j e j + b j e j = = n λ a j e j = a j + b j a j + b j a j e j + b j e j λa j = λ a j = λ a j e j Now if n a je j =, then we have n a j =, which is a sum of nonnegative numbers, hence a j = for all j, thus n a je j =. So we conclude that is a norm. Define the map η : F n X by η(a,..., a n ) = a j e j. Using the norm (a,..., a n ) = a j on F n suggested by Folland on page 53 we can see: (a,..., a n ) = a j = η(a,..., a n ) = a j e j which makes it obvious that η is continuous. c. Let K = {(a i,..., a j ) (a,..., a j ) = }. Then K is clearly compact in F n. Now since we have η(k) = {x X x = } (by the definition of η) we can see that η(k) is compact as it is the continuous image of a compact set. Thus we have our conclusion. d. Let be any norm on X. Define M = max( e,..., e n ). Then we have a j e j a j e j = a j e j M a j = M a j e j. Thus we have x M x for all x X. As this is true, we can conclude that the map sending one norm to the other, in this case use ζ : (X, ) (X, ), is continuous (this is really just a dialation of the space). Recall the set K from the previous part. Since K is compact and ζ is continuous, ζ(k) is compact. By the extreme value theorem ζ assumes a minimum value as measured by, so we may as well say assumes a minimum value on K, call it m. Since is a norm, m and since x / K, m >. Given any element x X, we can construct the element x which is in K and hence x x m which implies m x x and so: m x x M x. Since this holds for any x X we have that is equivalent to. Moreover, since was arbitrary, every norm on X is equivalent to. Exercise 7 Let X be a Banach space. If T L(X, X ) and I T < where I is the identity operator, then T is invertible; in fact, the series (I T )n converges in L(X, X ) to T. If T L(X, X ) is invertible and S T < T, then S is invertible. Thus the set of invertible operators is open in L(X, X ).
4 4 Since X is a Banach space we have that it is complete, and hence by Proposition 5.4 L(X, X ) is complete. Let T L(X, X ) be such that I T <. Consider the sum (I T )n which is in L(X, X ) since it is an absolutely convergent sum (since I T < and hence I T n is a convergent geometric series) by Theorem 5.. Notice that showing I = T (I T )n proves that T exists and in fact T = (I T )n. A simple use of induction shows that T N (I T )n = I (I T ) N+. Now notice: N I (T (I T ) n ) = I (I (I T )N+ ) = (I T ) N+ I T N + which gives that I (T N (I T )n ) as N since I T <, hence I T (I T ) n = and so or equivalently T (I T ) n = I T = (I T ) n. Thus T is invertible. Let T L(X, X ) be invertible and let S L(X, X ) be such that S T < T (an equivalent statement: T S T < ). So: I ST = T (T S) T S T <. By the proof in part a, we have that ST is invertible, hence: I = (ST )(ST ) = S(T (ST ) ) and thus S = T (ST ). This proves that for any S in L(X, X ) sufficiently close to T, S is invertible, hence the set of invertible operators is open in L(X, X ). Exercise If < α, let Λ α ([, ]) be the space of Hölder continuous functions of exponent α on [, ]. That is, f Λ α ([, ]) iff f Λα <, where f(x) f(y) f Λα = f() + sup x,y [,], x y x y α. Λα is a norm that makes Λ α ([, ]) into a Banach space. Let λ α ([, ]) be the set of all f Λ α ([, ]) such that f(x) f(y) x y α as x y, for all y [, ]. If α <, λ α ([, ]) is an infinite-dimensional closed subspace of Λ α ([, ]). If α =, λ α ([, ]) contains only constant functions. Exercise 2 Let X be a normed vector space and M a proper closed subspace of X. x + M = inf{ x + y y M} is a norm on X /M. For any ɛ > there exists x X such that x = and x + M ɛ. c. The projection map π(x) = x + M from X to X /M has norm. d. If X is complete, so is X /M. (Use Theorem 5.) e. The topology defined by the quotient norm is the quotient topology as defined in Exercise 28.
5 5 Let x + M, y + M X /M. Then: (x + y) + M = inf{ (x + y) + z z M} { = inf (x + 2 ) ( z + y + ) } 2 z z M {( since is a norm on X inf x + ) ( 2 z + y + ) } 2 z z M let w = z 2 = inf{ x + w w M} + inf{ y + z w M} = x + M + y + M Thus since x and y were arbitrary, satisfies the triangle inequality for all x + M, y + M X /M. Now let x + M X /M and let c R. Then: c(x + M) = inf{ c(x + y) y M} since is a norm on X = inf{ c x + y y M} = c inf{ x + y y M} = c x + M Now suppose that x + M =. Then clearly x M, and hence x + M = in X /M, because if it were not, then it would be impossible for x + M to be as we are taking the infimum over vectors in M and x / M. Thus it is a norm on X /M. As M is a proper closed subset, we can find an x X /M such that x + M = a >. Define y = ax, then y + M =. Now by the definition of infimum we have that there is some m M with y + m + ɛ 2. Thus there is a element Υ B ɛ(y + m) with Υ =. So we have y + M Υ + M Υ y + M = Υ (y + m) + M Υ (y + m) ɛ Yielding the inequality: or equivalently c. Observe: d. e. y + M Υ + M = Υ + M ɛ π(x) = x + M = ɛ Υ + M. { x if x / M if x M Hence π(x) x which means π. However part b tells us π and hence π = Linear Functionals. Exercise 7 A linear functional f on a normed vector space X is bounded iff f ({}) is closed. (Use Exercise 2) (= ) Assume that f is bounded. Then it is continuous. So since {} is closed in R and f is continuous, f ({}) is closed as desired. ( =) Suppose that f were not bounded. Then n > there is an x n X with x n = and f(x n ) > 2 n. ( ) Define y n = xn f(x. Then y x n) n = n f(x = n) f(x x n) 2 and f(y n n ) = f n f(x n) Now fix x X and consider the sequence a n = x f(x)y n. Then a n x as n since y n as n. However, f(a n ) = f(x) f(x)f(y n ) = f(x) f(x) =. Thus we have a n f ({}). This would imply that f ({}) is dense in X. So there are two choices, either f : X {} or f ({}) is not closed. Since the first choice is obviously not true, it must be that f ({}) is not closed. Hence by contrapositive we have our desired conclusion. = f(x n) f(x n) =.
6 6 Exercise 8 Let X be a normed vector space. If M is a closed subspace and x X /M then M + Cx is closed. (Use Theorem 5.8) Every finite-dimensional subspace of X is closed. Exercise 9 Let X be an infinite-dimensional normed vector space. There is a sequence {x j } in X such that x j = for all j and x j x k 2 x j inductively, using Exercised 2b and 8.) X is not locally compact. for j k. (Construct Exercise 25 If X is a Banach space and X is separable, then X is separable. (Let {f n } be a countable dense subset of X. For each n choose x n X with x n = and f n (x n ) 2 f n. Then the linear combinations of {x n } are dense in X.) Note: Separability of X does not imply separability of X The Baire Category Theorem and Its Consequences. Exercise 27 There exist meager subsets of R whose complements have Lebesgue measure zero. Exercise 29 Let Y = L (µ) where µ is counting measure on N, and let X = {f SCY {n f(n) < }, equipped with the L norm. X is a proper dense subspace of Y ; hence X is not complete. Define T : X Y by T f(n) = nf(n). Then T is closed but not bounded. c. Let S = T. Then S : Y X is bounded and surjective, but not open. c. Exercise 3 Let Y = C([, ]) and X = C ([, ]), both equipped with the uniform norm. X is not complete. The map ( d dx) : X Y is closed (see Exercise 9) but not bounded. Consider the function f(x) = x 2 defined on [, ]. By lemma 4.47, ɛ > there is a polynomial P (x) defined on R such that P () = and x P (x) u < ɛ for x [, ]. If we let Q(x) = P ( ) x 2 we can rephrase the lemma to say ɛ > there is a polynomial Q(x) such that Q ( 2) = and x 2 Q(x) u < ɛ for x [, ]. Since these Q s are polynomials they are clearly in C ([, ]), and thus we may create a sequence of them as follows: Define Q n (x) to be one of the polynomials such that x 2 Q n (x) u < n for all n N. This creates a convergent sequence {Q n } in C ([, ]) which converges to x 2 on [, ], however x 2 / C ([, ]). Thus C ([, ]) is not complete. Exercise 32 Let and 2 be norms on the vector space X such that 2. If X is complete with respect to both norms, then the norms are equivalent.
7 5.4. Topological Vector Spaces. Exercise 45 The space C (R) of all infinitely differentiable functions on R has a Fréchet space topology with respect to which f n f iff f (k) n f (k) uniformly on compact sets for all k. Exercise 47 Suppose that X and Y are Banach spaces. If {T n } L(X, Y ) and T n T weakly (or strongly), then sup N T n <. Every weakly convergent sequence in X, and every weak -convergent sequence in X, is bounded (with respect to the norm). 7
THEOREMS, ETC., FOR MATH 515
THEOREMS, ETC., FOR MATH 515 Proposition 1 (=comment on page 17). If A is an algebra, then any finite union or finite intersection of sets in A is also in A. Proposition 2 (=Proposition 1.1). For every
More informationContinuous Functions on Metric Spaces
Continuous Functions on Metric Spaces Math 201A, Fall 2016 1 Continuous functions Definition 1. Let (X, d X ) and (Y, d Y ) be metric spaces. A function f : X Y is continuous at a X if for every ɛ > 0
More informationReal Analysis, 2nd Edition, G.B.Folland Elements of Functional Analysis
Real Analysis, 2nd Edition, G.B.Folland Chapter 5 Elements of Functional Analysis Yung-Hsiang Huang 5.1 Normed Vector Spaces 1. Note for any x, y X and a, b K, x+y x + y and by ax b y x + b a x. 2. It
More information7 Complete metric spaces and function spaces
7 Complete metric spaces and function spaces 7.1 Completeness Let (X, d) be a metric space. Definition 7.1. A sequence (x n ) n N in X is a Cauchy sequence if for any ɛ > 0, there is N N such that n, m
More informationProblem Set 5: Solutions Math 201A: Fall 2016
Problem Set 5: s Math 21A: Fall 216 Problem 1. Define f : [1, ) [1, ) by f(x) = x + 1/x. Show that f(x) f(y) < x y for all x, y [1, ) with x y, but f has no fixed point. Why doesn t this example contradict
More informationReal Analysis Chapter 4 Solutions Jonathan Conder
2. Let x, y X and suppose that x y. Then {x} c is open in the cofinite topology and contains y but not x. The cofinite topology on X is therefore T 1. Since X is infinite it contains two distinct points
More informationAnalysis III Theorems, Propositions & Lemmas... Oh My!
Analysis III Theorems, Propositions & Lemmas... Oh My! Rob Gibson October 25, 2010 Proposition 1. If x = (x 1, x 2,...), y = (y 1, y 2,...), then is a distance. ( d(x, y) = x k y k p Proposition 2. In
More informationProblem Set 5. 2 n k. Then a nk (x) = 1+( 1)k
Problem Set 5 1. (Folland 2.43) For x [, 1), let 1 a n (x)2 n (a n (x) = or 1) be the base-2 expansion of x. (If x is a dyadic rational, choose the expansion such that a n (x) = for large n.) Then the
More informationFolland: Real Analysis, Chapter 4 Sébastien Picard
Folland: Real Analysis, Chapter 4 Sébastien Picard Problem 4.19 If {X α } is a family of topological spaces, X α X α (with the product topology) is uniquely determined up to homeomorphism by the following
More informationANALYSIS WORKSHEET II: METRIC SPACES
ANALYSIS WORKSHEET II: METRIC SPACES Definition 1. A metric space (X, d) is a space X of objects (called points), together with a distance function or metric d : X X [0, ), which associates to each pair
More informationAnalysis III. Exam 1
Analysis III Math 414 Spring 27 Professor Ben Richert Exam 1 Solutions Problem 1 Let X be the set of all continuous real valued functions on [, 1], and let ρ : X X R be the function ρ(f, g) = sup f g (1)
More informationOverview of normed linear spaces
20 Chapter 2 Overview of normed linear spaces Starting from this chapter, we begin examining linear spaces with at least one extra structure (topology or geometry). We assume linearity; this is a natural
More informationFunctional Analysis Exercise Class
Functional Analysis Exercise Class Week 2 November 6 November Deadline to hand in the homeworks: your exercise class on week 9 November 13 November Exercises (1) Let X be the following space of piecewise
More informationReal Analysis Notes. Thomas Goller
Real Analysis Notes Thomas Goller September 4, 2011 Contents 1 Abstract Measure Spaces 2 1.1 Basic Definitions........................... 2 1.2 Measurable Functions........................ 2 1.3 Integration..............................
More informationLecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University
Lecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University February 7, 2007 2 Contents 1 Metric Spaces 1 1.1 Basic definitions...........................
More informationMath General Topology Fall 2012 Homework 11 Solutions
Math 535 - General Topology Fall 2012 Homework 11 Solutions Problem 1. Let X be a topological space. a. Show that the following properties of a subset A X are equivalent. 1. The closure of A in X has empty
More information1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3
Index Page 1 Topology 2 1.1 Definition of a topology 2 1.2 Basis (Base) of a topology 2 1.3 The subspace topology & the product topology on X Y 3 1.4 Basic topology concepts: limit points, closed sets,
More informationNotions such as convergent sequence and Cauchy sequence make sense for any metric space. Convergent Sequences are Cauchy
Banach Spaces These notes provide an introduction to Banach spaces, which are complete normed vector spaces. For the purposes of these notes, all vector spaces are assumed to be over the real numbers.
More informationCompact operators on Banach spaces
Compact operators on Banach spaces Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto November 12, 2017 1 Introduction In this note I prove several things about compact
More informationMath 328 Course Notes
Math 328 Course Notes Ian Robertson March 3, 2006 3 Properties of C[0, 1]: Sup-norm and Completeness In this chapter we are going to examine the vector space of all continuous functions defined on the
More informationconverges as well if x < 1. 1 x n x n 1 1 = 2 a nx n
Solve the following 6 problems. 1. Prove that if series n=1 a nx n converges for all x such that x < 1, then the series n=1 a n xn 1 x converges as well if x < 1. n For x < 1, x n 0 as n, so there exists
More informationNotes for Functional Analysis
Notes for Functional Analysis Wang Zuoqin (typed by Xiyu Zhai) September 29, 2015 1 Lecture 09 1.1 Equicontinuity First let s recall the conception of equicontinuity for family of functions that we learned
More informationREAL AND COMPLEX ANALYSIS
REAL AND COMPLE ANALYSIS Third Edition Walter Rudin Professor of Mathematics University of Wisconsin, Madison Version 1.1 No rights reserved. Any part of this work can be reproduced or transmitted in any
More informationTHE STONE-WEIERSTRASS THEOREM AND ITS APPLICATIONS TO L 2 SPACES
THE STONE-WEIERSTRASS THEOREM AND ITS APPLICATIONS TO L 2 SPACES PHILIP GADDY Abstract. Throughout the course of this paper, we will first prove the Stone- Weierstrass Theroem, after providing some initial
More informationCONTENTS. 4 Hausdorff Measure Introduction The Cantor Set Rectifiable Curves Cantor Set-Like Objects...
Contents 1 Functional Analysis 1 1.1 Hilbert Spaces................................... 1 1.1.1 Spectral Theorem............................. 4 1.2 Normed Vector Spaces.............................. 7 1.2.1
More information1. 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
Applied Analysis prelim July 15, 216, with solutions Solve 4 of the problems 1-5 and 2 of the problems 6-8. We will only grade the first 4 problems attempted from1-5 and the first 2 attempted from problems
More information(1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define
Homework, Real Analysis I, Fall, 2010. (1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define ρ(f, g) = 1 0 f(x) g(x) dx. Show that
More informationMetric Spaces and Topology
Chapter 2 Metric Spaces and Topology From an engineering perspective, the most important way to construct a topology on a set is to define the topology in terms of a metric on the set. This approach underlies
More informationReal Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi
Real Analysis Math 3AH Rudin, Chapter # Dominique Abdi.. If r is rational (r 0) and x is irrational, prove that r + x and rx are irrational. Solution. Assume the contrary, that r+x and rx are rational.
More informationL p Spaces and Convexity
L p Spaces and Convexity These notes largely follow the treatments in Royden, Real Analysis, and Rudin, Real & Complex Analysis. 1. Convex functions Let I R be an interval. For I open, we say a function
More informationMAA6617 COURSE NOTES SPRING 2014
MAA6617 COURSE NOTES SPRING 2014 19. Normed vector spaces Let X be a vector space over a field K (in this course we always have either K = R or K = C). Definition 19.1. A norm on X is a function : X K
More informationINTRODUCTION TO TOPOLOGY, MATH 141, PRACTICE PROBLEMS
INTRODUCTION TO TOPOLOGY, MATH 141, PRACTICE PROBLEMS Problem 1. Give an example of a non-metrizable topological space. Explain. Problem 2. Introduce a topology on N by declaring that open sets are, N,
More informationMA677 Assignment #3 Morgan Schreffler Due 09/19/12 Exercise 1 Using Hölder s inequality, prove Minkowski s inequality for f, g L p (R d ), p 1:
Exercise 1 Using Hölder s inequality, prove Minkowski s inequality for f, g L p (R d ), p 1: f + g p f p + g p. Proof. If f, g L p (R d ), then since f(x) + g(x) max {f(x), g(x)}, we have f(x) + g(x) p
More informationMcGill University Math 354: Honors Analysis 3
Practice problems McGill University Math 354: Honors Analysis 3 not for credit Problem 1. Determine whether the family of F = {f n } functions f n (x) = x n is uniformly equicontinuous. 1st Solution: The
More informationTHEOREMS, ETC., FOR MATH 516
THEOREMS, ETC., FOR MATH 516 Results labeled Theorem Ea.b.c (or Proposition Ea.b.c, etc.) refer to Theorem c from section a.b of Evans book (Partial Differential Equations). Proposition 1 (=Proposition
More informationMAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9
MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended
More informationMH 7500 THEOREMS. (iii) A = A; (iv) A B = A B. Theorem 5. If {A α : α Λ} is any collection of subsets of a space X, then
MH 7500 THEOREMS Definition. A topological space is an ordered pair (X, T ), where X is a set and T is a collection of subsets of X such that (i) T and X T ; (ii) U V T whenever U, V T ; (iii) U T whenever
More informationNotes for Functional Analysis
Notes for Functional Analysis Wang Zuoqin (typed by Xiyu Zhai) October 16, 2015 1 Lecture 11 1.1 The closed graph theorem Definition 1.1. Let f : X Y be any map between topological spaces. We define its
More informationLectures on Analysis John Roe
Lectures on Analysis John Roe 2005 2009 1 Lecture 1 About Functional Analysis The key objects of study in functional analysis are various kinds of topological vector spaces. The simplest of these are the
More informationImmerse Metric Space Homework
Immerse Metric Space Homework (Exercises -2). In R n, define d(x, y) = x y +... + x n y n. Show that d is a metric that induces the usual topology. Sketch the basis elements when n = 2. Solution: Steps
More informationMost Continuous Functions are Nowhere Differentiable
Most Continuous Functions are Nowhere Differentiable Spring 2004 The Space of Continuous Functions Let K = [0, 1] and let C(K) be the set of all continuous functions f : K R. Definition 1 For f C(K) we
More informationFunctional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...
Functional Analysis Franck Sueur 2018-2019 Contents 1 Metric spaces 1 1.1 Definitions........................................ 1 1.2 Completeness...................................... 3 1.3 Compactness......................................
More informationChapter 1. Introduction
Chapter 1 Introduction Functional analysis can be seen as a natural extension of the real analysis to more general spaces. As an example we can think at the Heine - Borel theorem (closed and bounded is
More informationLocally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem
56 Chapter 7 Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem Recall that C(X) is not a normed linear space when X is not compact. On the other hand we could use semi
More informationFUNCTIONAL ANALYSIS-NORMED SPACE
MAT641- MSC Mathematics, MNIT Jaipur FUNCTIONAL ANALYSIS-NORMED SPACE DR. RITU AGARWAL MALAVIYA NATIONAL INSTITUTE OF TECHNOLOGY JAIPUR 1. Normed space Norm generalizes the concept of length in an arbitrary
More informationContinuity. Matt Rosenzweig
Continuity Matt Rosenzweig Contents 1 Continuity 1 1.1 Rudin Chapter 4 Exercises........................................ 1 1.1.1 Exercise 1............................................. 1 1.1.2 Exercise
More informationExercise Solutions to Functional Analysis
Exercise Solutions to Functional Analysis Note: References refer to M. Schechter, Principles of Functional Analysis Exersize that. Let φ,..., φ n be an orthonormal set in a Hilbert space H. Show n f n
More informationThe Arzelà-Ascoli Theorem
John Nachbar Washington University March 27, 2016 The Arzelà-Ascoli Theorem The Arzelà-Ascoli Theorem gives sufficient conditions for compactness in certain function spaces. Among other things, it helps
More informationSummer Jump-Start Program for Analysis, 2012 Song-Ying Li. 1 Lecture 7: Equicontinuity and Series of functions
Summer Jump-Start Program for Analysis, 0 Song-Ying Li Lecture 7: Equicontinuity and Series of functions. Equicontinuity Definition. Let (X, d) be a metric space, K X and K is a compact subset of X. C(K)
More informationMTH 503: Functional Analysis
MTH 53: Functional Analysis Semester 1, 215-216 Dr. Prahlad Vaidyanathan Contents I. Normed Linear Spaces 4 1. Review of Linear Algebra........................... 4 2. Definition and Examples...........................
More informationLecture 5 - Hausdorff and Gromov-Hausdorff Distance
Lecture 5 - Hausdorff and Gromov-Hausdorff Distance August 1, 2011 1 Definition and Basic Properties Given a metric space X, the set of closed sets of X supports a metric, the Hausdorff metric. If A is
More informationYour first day at work MATH 806 (Fall 2015)
Your first day at work MATH 806 (Fall 2015) 1. Let X be a set (with no particular algebraic structure). A function d : X X R is called a metric on X (and then X is called a metric space) when d satisfies
More informationMath 426 Homework 4 Due 3 November 2017
Math 46 Homework 4 Due 3 November 017 1. Given a metric space X,d) and two subsets A,B, we define the distance between them, dista,b), as the infimum inf a A, b B da,b). a) Prove that if A is compact and
More informationREVIEW OF ESSENTIAL MATH 346 TOPICS
REVIEW OF ESSENTIAL MATH 346 TOPICS 1. AXIOMATIC STRUCTURE OF R Doğan Çömez The real number system is a complete ordered field, i.e., it is a set R which is endowed with addition and multiplication operations
More information2 (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?
MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due 9/5). Prove that every countable set A is measurable and µ(a) = 0. 2 (Bonus). Let A consist of points (x, y) such that either x or y is
More information3 (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?
MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due ). Show that the open disk x 2 + y 2 < 1 is a countable union of planar elementary sets. Show that the closed disk x 2 + y 2 1 is a countable
More informationIntroduction to Topology
Introduction to Topology Randall R. Holmes Auburn University Typeset by AMS-TEX Chapter 1. Metric Spaces 1. Definition and Examples. As the course progresses we will need to review some basic notions about
More informationd(x n, x) d(x n, x nk ) + d(x nk, x) where we chose any fixed k > N
Problem 1. Let f : A R R have the property that for every x A, there exists ɛ > 0 such that f(t) > ɛ if t (x ɛ, x + ɛ) A. If the set A is compact, prove there exists c > 0 such that f(x) > c for all x
More informationMetric Spaces Math 413 Honors Project
Metric Spaces Math 413 Honors Project 1 Metric Spaces Definition 1.1 Let X be a set. A metric on X is a function d : X X R such that for all x, y, z X: i) d(x, y) = d(y, x); ii) d(x, y) = 0 if and only
More informationE.7 Alaoglu s Theorem
E.7 Alaoglu s Theorem 359 E.7 Alaoglu s Theorem If X is a normed space, then the closed unit ball in X or X is compact if and only if X is finite-dimensional (Problem A.25). Even so, Alaoglu s Theorem
More informationSpaces of continuous functions
Chapter 2 Spaces of continuous functions 2.8 Baire s Category Theorem Recall that a subset A of a metric space (X, d) is dense if for all x X there is a sequence from A converging to x. An equivalent definition
More informationPROBLEMS. (b) (Polarization Identity) Show that in any inner product space
1 Professor Carl Cowen Math 54600 Fall 09 PROBLEMS 1. (Geometry in Inner Product Spaces) (a) (Parallelogram Law) Show that in any inner product space x + y 2 + x y 2 = 2( x 2 + y 2 ). (b) (Polarization
More informationReal Analysis Problems
Real Analysis Problems Cristian E. Gutiérrez September 14, 29 1 1 CONTINUITY 1 Continuity Problem 1.1 Let r n be the sequence of rational numbers and Prove that f(x) = 1. f is continuous on the irrationals.
More informationProblem Set 2: Solutions Math 201A: Fall 2016
Problem Set 2: s Math 201A: Fall 2016 Problem 1. (a) Prove that a closed subset of a complete metric space is complete. (b) Prove that a closed subset of a compact metric space is compact. (c) Prove that
More informationAnalysis Qualifying Exam
Analysis Qualifying Exam Spring 2017 Problem 1: Let f be differentiable on R. Suppose that there exists M > 0 such that f(k) M for each integer k, and f (x) M for all x R. Show that f is bounded, i.e.,
More informationContinuity of convex functions in normed spaces
Continuity of convex functions in normed spaces In this chapter, we consider continuity properties of real-valued convex functions defined on open convex sets in normed spaces. Recall that every infinitedimensional
More informationPrinciples of Real Analysis I Fall VII. Sequences of Functions
21-355 Principles of Real Analysis I Fall 2004 VII. Sequences of Functions In Section II, we studied sequences of real numbers. It is very useful to consider extensions of this concept. More generally,
More informationMath 5052 Measure Theory and Functional Analysis II Homework Assignment 7
Math 5052 Measure Theory and Functional Analysis II Homework Assignment 7 Prof. Wickerhauser Due Friday, February 5th, 2016 Please do Exercises 3, 6, 14, 16*, 17, 18, 21*, 23*, 24, 27*. Exercises marked
More information16 1 Basic Facts from Functional Analysis and Banach Lattices
16 1 Basic Facts from Functional Analysis and Banach Lattices 1.2.3 Banach Steinhaus Theorem Another fundamental theorem of functional analysis is the Banach Steinhaus theorem, or the Uniform Boundedness
More informationTopology. Xiaolong Han. Department of Mathematics, California State University, Northridge, CA 91330, USA address:
Topology Xiaolong Han Department of Mathematics, California State University, Northridge, CA 91330, USA E-mail address: Xiaolong.Han@csun.edu Remark. You are entitled to a reward of 1 point toward a homework
More informationMath 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 8B Solutions Charles Martin March 6, Homework Problems. Let (X i, d i ), i n, be finitely many metric spaces. Construct a metric on the product space X = X X n. Proof. Denote points in X as x = (x,
More informationMATH 51H Section 4. October 16, Recall what it means for a function between metric spaces to be continuous:
MATH 51H Section 4 October 16, 2015 1 Continuity Recall what it means for a function between metric spaces to be continuous: Definition. Let (X, d X ), (Y, d Y ) be metric spaces. A function f : X Y is
More informationCHAPTER I THE RIESZ REPRESENTATION THEOREM
CHAPTER I THE RIESZ REPRESENTATION THEOREM We begin our study by identifying certain special kinds of linear functionals on certain special vector spaces of functions. We describe these linear functionals
More informationl(y j ) = 0 for all y j (1)
Problem 1. The closed linear span of a subset {y j } of a normed vector space is defined as the intersection of all closed subspaces containing all y j and thus the smallest such subspace. 1 Show that
More informationThe Heine-Borel and Arzela-Ascoli Theorems
The Heine-Borel and Arzela-Ascoli Theorems David Jekel October 29, 2016 This paper explains two important results about compactness, the Heine- Borel theorem and the Arzela-Ascoli theorem. We prove them
More informationA VERY BRIEF REVIEW OF MEASURE THEORY
A VERY BRIEF REVIEW OF MEASURE THEORY A brief philosophical discussion. Measure theory, as much as any branch of mathematics, is an area where it is important to be acquainted with the basic notions and
More information1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer 11(2) (1989),
Real Analysis 2, Math 651, Spring 2005 April 26, 2005 1 Real Analysis 2, Math 651, Spring 2005 Krzysztof Chris Ciesielski 1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer
More informationIntroduction and Preliminaries
Chapter 1 Introduction and Preliminaries This chapter serves two purposes. The first purpose is to prepare the readers for the more systematic development in later chapters of methods of real analysis
More informationLinear Analysis Lecture 5
Linear Analysis Lecture 5 Inner Products and V Let dim V < with inner product,. Choose a basis B and let v, w V have coordinates in F n given by x 1. x n and y 1. y n, respectively. Let A F n n be the
More informationBounded and continuous functions on a locally compact Hausdorff space and dual spaces
Chapter 6 Bounded and continuous functions on a locally compact Hausdorff space and dual spaces Recall that the dual space of a normed linear space is a Banach space, and the dual space of L p is L q where
More informationContents Ordered Fields... 2 Ordered sets and fields... 2 Construction of the Reals 1: Dedekind Cuts... 2 Metric Spaces... 3
Analysis Math Notes Study Guide Real Analysis Contents Ordered Fields 2 Ordered sets and fields 2 Construction of the Reals 1: Dedekind Cuts 2 Metric Spaces 3 Metric Spaces 3 Definitions 4 Separability
More informationAn introduction to some aspects of functional analysis
An introduction to some aspects of functional analysis Stephen Semmes Rice University Abstract These informal notes deal with some very basic objects in functional analysis, including norms and seminorms
More informationMTG 5316/4302 FALL 2018 REVIEW FINAL
MTG 5316/4302 FALL 2018 REVIEW FINAL JAMES KEESLING Problem 1. Define open set in a metric space X. Define what it means for a set A X to be connected in a metric space X. Problem 2. Show that if a set
More informationMath 421, Homework #9 Solutions
Math 41, Homework #9 Solutions (1) (a) A set E R n is said to be path connected if for any pair of points x E and y E there exists a continuous function γ : [0, 1] R n satisfying γ(0) = x, γ(1) = y, and
More informationMAT 578 FUNCTIONAL ANALYSIS EXERCISES
MAT 578 FUNCTIONAL ANALYSIS EXERCISES JOHN QUIGG Exercise 1. Prove that if A is bounded in a topological vector space, then for every neighborhood V of 0 there exists c > 0 such that tv A for all t > c.
More informationBootcamp. Christoph Thiele. Summer As in the case of separability we have the following two observations: Lemma 1 Finite sets are compact.
Bootcamp Christoph Thiele Summer 212.1 Compactness Definition 1 A metric space is called compact, if every cover of the space has a finite subcover. As in the case of separability we have the following
More informationFunctional Analysis HW #1
Functional Analysis HW #1 Sangchul Lee October 9, 2015 1 Solutions Solution of #1.1. Suppose that X
More informationFunctional Analysis Winter 2018/2019
Functional Analysis Winter 2018/2019 Peer Christian Kunstmann Karlsruher Institut für Technologie (KIT) Institut für Analysis Englerstr. 2, 76131 Karlsruhe e-mail: peer.kunstmann@kit.edu These lecture
More information4 Countability axioms
4 COUNTABILITY AXIOMS 4 Countability axioms Definition 4.1. Let X be a topological space X is said to be first countable if for any x X, there is a countable basis for the neighborhoods of x. X is said
More informationEconomics 204 Summer/Fall 2011 Lecture 5 Friday July 29, 2011
Economics 204 Summer/Fall 2011 Lecture 5 Friday July 29, 2011 Section 2.6 (cont.) Properties of Real Functions Here we first study properties of functions from R to R, making use of the additional structure
More informationAssignment-10. (Due 11/21) Solution: Any continuous function on a compact set is uniformly continuous.
Assignment-1 (Due 11/21) 1. Consider the sequence of functions f n (x) = x n on [, 1]. (a) Show that each function f n is uniformly continuous on [, 1]. Solution: Any continuous function on a compact set
More informationTHE INVERSE FUNCTION THEOREM
THE INVERSE FUNCTION THEOREM W. PATRICK HOOPER The implicit function theorem is the following result: Theorem 1. Let f be a C 1 function from a neighborhood of a point a R n into R n. Suppose A = Df(a)
More informationSOME 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
SOME QUESTIONS FOR MATH 766, SPRING 2016 SHUANGLIN SHAO Question 1. Let C([0, 1]) be the set of all continuous functions on [0, 1] endowed with the norm f C = sup f(x). 0 x 1 Prove that C([0, 1]) is a
More informationFunctional Analysis I
Functional Analysis I Course Notes by Stefan Richter Transcribed and Annotated by Gregory Zitelli Polar Decomposition Definition. An operator W B(H) is called a partial isometry if W x = X for all x (ker
More informationDavid Hilbert was old and partly deaf in the nineteen thirties. Yet being a diligent
Chapter 5 ddddd dddddd dddddddd ddddddd dddddddd ddddddd Hilbert Space The Euclidean norm is special among all norms defined in R n for being induced by the Euclidean inner product (the dot product). A
More informationChapter 3: Baire category and open mapping theorems
MA3421 2016 17 Chapter 3: Baire category and open mapping theorems A number of the major results rely on completeness via the Baire category theorem. 3.1 The Baire category theorem 3.1.1 Definition. A
More informationChapter 1: Banach Spaces
321 2008 09 Chapter 1: Banach Spaces The main motivation for functional analysis was probably the desire to understand solutions of differential equations. As with other contexts (such as linear algebra
More informationAnalysis 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
Analysis Comprehensive Exam Questions Fall 2. Let f L 2 (, ) be given. (a) Prove that ( x 2 f(t) dt) 2 x x t f(t) 2 dt. (b) Given part (a), prove that F L 2 (, ) 2 f L 2 (, ), where F(x) = x (a) Using
More informationReview Notes for the Basic Qualifying Exam
Review Notes for the Basic Qualifying Exam Topics: Analysis & Linear Algebra Fall 2016 Spring 2017 Created by Howard Purpose: This document is a compilation of notes generated to prepare for the Basic
More informationCHAPTER V DUAL SPACES
CHAPTER V DUAL SPACES DEFINITION Let (X, T ) be a (real) locally convex topological vector space. By the dual space X, or (X, T ), of X we mean the set of all continuous linear functionals on X. By the
More information