THE RADON NIKODYM PROPERTY AND LIPSCHITZ EMBEDDINGS
|
|
- Georgiana Burns
- 5 years ago
- Views:
Transcription
1 THE RADON NIKODYM PROPERTY AND LIPSCHITZ EMBEDDINGS Motivation The idea here is simple. Suppose we have a Lipschitz homeomorphism f : X Y where X and Y are Banach spaces, namely c 1 x y f (x) f (y) c 2 x y. Now suppose that we can introduce some notion of differentiability so that f is differentiable with derivative T at some point a. Then we certainly have that c 1 x Tx c 2 x, namely, that a linear isomorphism exists. To make this precise we will need to define a suitable notion of differentiability. Of key note here is the Radon Nikodym property, so this is where we will start. 1 Some Calculus on Banach Spaces 1.1 The Radon Nikodym Property We say that a closed, convex, bounded set C E of a Banach space E has the Radon Nikodym Property if given a measurable space (Ω, B) with an E valued measure τ, and a scalar valued probability measure µ with τ(a)/µ(a) C for all A B (with µ(a) = 0m then there exists an f L 1 (µ, E) such that τ(a) = A f (w)dµ. We say that a space has the Radon Nikodym property when its unit ball has the Radon Nikodym property. We note that c 0 does not have the Radon Nikodym Property: define a measure τ(a) = ( A 1dt, A eit dt,... ). Such a measure on c 0 is absolutely continuous with respect to Lebesgue measure but there is no possible derivative in c 0. Theorem 1.1. Let E be a Banach space. Then E has the Radon Nikodym property just when every absolutely continuous function f : [0, 1] E is differentiable almost everywhere. Proof. Let f be such an absolutely continuous function. The variation of f, V(t) = sup{ f (s j ) f (s j 1 ) } where {s j } is some partition of [0, t] is an absolutely continuous scalar function, so we can represent V(t) = µ[0, t], where µ is some finite positive measure µ which is absolutely continuous with respect to Lebesgue measure. Define a vector measure τ by τ(a i, b i ) = f (b i ) f (a i ), extending by linearity on disjoint unions of intervals. If A is a general Borel set there is some sequence of sets G n of [0, 1] that are open and decrease to A. Since µ(g n ) exists, we see that µ(g m /G m ) 0, and thus τ(a) = lim τ(g n ) exists (as τ = µ.) Since E has the Radon Nikodym Property we can find some Bochner integrable g : [0, 1] E so that f (t) = f (0) + τ[0, t] = t g(x) dx + f (0). Such an f has derivative almost 0 everywhere by the obvious extension of the classical Lebesgue differentiation theorem. 1
2 We note that the converse is true here: namely, if there is some function f : [0, 1] E which is differentiable nowhere, then E fails the Radon Nikodym Property. This property is harder to prove, requiring a soujorn into the properties of Martingales, so we will not include it here. This gives us another way of thinking about the counter example given for c 0 : take the function f (t) = ( t 0 1 dt, t 0 sin t dt, t 0 sin 2t dt,... ) (this is in c 0 by direct computation). The only possible derivative here does not end up in c 0. We can also use this to prove that L 1 [0, 1] does not have the RNP 1 by considering the function f (t) = 1 [0,t]. This is clearly non differentiable (any derivative would converge to the delta functional: the delta functional is not in L 1.) Moreover, the Radon Nikodym property is preserved under isomorphisms. This is actually an d easy consequence, differentiation being a linear operator and all that: dt (F(g(t)) = F( d dt g(t)) if F is a linear isomorphism. (The fact that it is a linear isomorphism gives us the bounding required). 1.2 Gateaux Differentiability We say that a function f : E F between two Banach spaces is Gateaux differentiable at a point x if all its directional derivatives exist, and the resulting map is linear: namely if the function F(u+τψ) F(u) df(u, ψ) = lim τ 0 τ exists, and df(u, λψ + µφ) = λdf(u, ψ) + µdf(u, φ). Of particular note is when this limit exists uniformly in the unit sphere, we will then call the function Frechet Differentiable. First up, we want to be able to reduce to a countable case: Lemma 1.1. Suppose that f is a Lipschitz function between two open sets in Banach spaces E and F. If G E is a dense additive subgroup such that at x 0 the difference quotients exist and form an additive function then the function is Gateaux differentiable at x 0. Proof. The functions h t (u) = ( f (x 0 + tu) f (x 0 ))/t are equicontinuous with Lipschitz constant the same as the Lispchitz constant of f. Hence the existence of lim t 0 h t (u) on G implies the limit exists for all u G = E. Also the additivity of the limit on G implies the additivity of the limit on E. 1.3 Almost Everywhere on Banach Spaces We have another problem: what does almost all mean on a Banach space E? There are several possible definitions, however, it is worth noting that there is no obvious choice of definition of almost everywhere here. There is no natural choice, on R n we can view Lesbegue Measure as coming from the Riesz Representation theorem applied to C[ 1, 1] n : Lesbegue Measure is the unique measure extending Riemann Integration. However, in a Banach space, the unit sphere (the obvious analogue for [ 1, 1] n is never compact, so we are not free to apply Riesz. So, how do we clear this up? There are several ways we could potentially proceed. We will proceed by introducing Aronszajn null sets. The reader is cautioned that there are several other 1 We could do this in entirely the smae way as c 0, but this is nicer 2
3 useful ways of proceeding, namely, Gauss null sets, Cube null sets and Haar null sets are all valid choices. Definition: We say that a set A is Aronszajn null if it can be written as the union of Borel sets E n with the property that for any E n the intersection of E n with the line through x m has Lebesgue measure 0, for all x m in some separating set. We write A({y k }) = the family of Borel sets such that the intersection with the line through y k has Lesbegue measure 0, so equivalently, a set is Aronszajn null if it lies in A({x k }) for every separating set x k. 2 We note that the entire space isn t Aronszajn null (as the intersection of every line with the entire space is the line which has infinite measure) neither is any ball centred at zero, for basically the same reason (but with finite measure). It is worth noting that the concept of Aronszajn null is translation invariant: this either pops out of theorem 3.1 or can be obtained through several arguments relating Aronszajn null sets to other types of null sets. 3 Our goal now is to present a proof of the main theorem in this area: the set of points at which a Lipschitz function is not Gateaux differentiable is Aronszajn null. First of all, we show that the result is true for functions f : U F where U R n. 2 Functions from R n to F Theorem 2.1. Suppose F is a Banach space with the Radon Nikodym Property. Then, if U R n is an open subset, and f : U F is a Lipschitz function, then f is almost everywhere Gateaux differentiable. Proof. Note that we are free to take G some countably dense additive subgroup of R n4 and then apply the Lemma from the section on Gateaux Differentiability. First of all, note that the directional derivatives of f exist for each of the vectors in G, as F has the Radon Nikodym property. So our goal now is to show that these directional derivatives are almost everywhere additive functions on G. To prove this we will rely upon using convolutions and bump functions: take a bump function φ(x) in R n which is everywhere positive, compactly supported and has integral 1. Define φ k (x) = k n φ(kx). So, for g(x) = ( f φ)(x) (a C function) we have that D g (x)u = ( f D φ (x))u is a linear function of u R n for each x. On the other hand, Lesbegue s Dominated Convergence theorem gives us that D g (x)u = φ h u (x), where h u is the limit of the difference quotient (and a bounded measurable function). 5 Conssequently, we have that φ (h u+v h u h v ) = 0 for every u, v. 2 It is a technicality that we require every separating set x k, but an important one. 3 Of particular note is that a set is Aronszajn null if and only it is a null set with respect to every Gaussian measure (a measure on the space whose pushforward under any element of the dual space is a Gaussian measure). It is seen (quite easily) that the second concept is very translation invariant. 4 Probably Q n 5 Bounded because Lipschitz, this gives us our dominating function. 3
4 Finally, note that lim ϕ k p = p pointwise ae, for every bounded measurable function p mapping to R. Using the fact that the dual seperates, we can apply functionals and we are done. 3 A characterization of A({y k }) We need one final ingredient before we can show that the set of points is Aronszajn null, and this is a way of characterizing Aronszajn null sets a bit better. This will consist of a Lemma and a theorem. Lemma 3.1. Let F be a k dimensional subspace of E and let λ k denote the Lebesgue measure on F. Then the function f B (x) = λ k (F (B + x)) is Borel for every Borel subset B of E. Proof. We have that the set {x : f B (x) α} is certainly closed for every closed/bounded set B and every α, and that if B j increases or decreases to B, then f Bj (x) f B (x), and thus we are done. Theorem 3.2. Let F be an n-dimensional subspace of E and let y k be a basis for F. Let λ n be the Lebesgue measure on F and let A be a Borel subset of E such that λ n (F (A + x)) = 0 for every x E. Then A A({y k }). Proof. We prove this by induction on the dimension n of F. It is clear that this is true for n = 1, this is simply the definition of Aronszajn null sets. Let G be the span of {y 1,..., y n 1 } and assume that λ n is the product measure of λ n 1 on G and λ 1 on y n (suitable normalized). Let A n = {x A : λ 1 (A (x + Ry n )) = 0}. The set A n is Borel, and therefore, so is A = A/A n. This set has the property that for each line L parallel to y n either L A = or L A = L A and λ 1 (L A ) > 0. Fix some x E. We have that 0 = λ n ((A + x) F) λ n ((A + x) F), as we are shrinking the size of the set. This equals C λ 1((u + Ry n ) (A + x))dλ n 1, where C is the projection of F (A + x) onto G in the direction of y n. This is contained in the set B = G (A + x), and thus we have that 0 B λ 1((u + Ry n ) (A + x))dλ n 1. By construction, the integrand here is strictly positive, namely, λ n 1 (B) = 0 4 Main Proof Theorem 4.1. Suppose that E is a separable Banach space, F a Banach space with the Radon Nikodym Property. Let f be a Lispchitz function from an open set U E into F. Then the set of points at which f is not Gateaux differentiable is Aronszajn null. Proof. First up, we note that the the set of points at which f is Gateaux Differentiable is a Borel set: this is because we can use the hypothesis of separability to cut down to the countable case. A 4
5 point x is differentiable just when for all n N there is some m N and t, s 1 m we have that: f (x + tu) f (x) f (x + su) f (x) t s < 1/n. This condition is one that we can take a countable intersection of, namely, the set of differentiable points is Borel. 6 Take some sequence of linearly independent vectors whose linear span is dense in E. Let V n =span{x k : l n}. Let D n be the set of those x U for which f is differentiable in each direction in V n, and linear in its argument. The idea now is to consider V n E, this is roughly an n-dimensional space, so we want to use the result of section 2. For every y E the set (E/D n + y) V n is the subset of V n where the function f y (x) = f (x y) Vn is differentiable, and by Theorem 2.1, this set has measure 0. By Theorem 3.1 the set E/D n belongs to A({x k : k n}). It follows that E/ n D n A(x k ), eg, is Aronszajn null. The function is thus Gateuax differentiable on D n by theorem Now we are ready to use this to prove our main result: Theorem 4.2. Suppose f : E F is a Lipschitz embedding with x y f (x) f (y) K x y with E a separable Banach space and F a space with the Radon-Nikodym property then E is isomorphic to a subset of F. Proof. By the above, there is a Gateaux derivative for f at some point. By construction, the derivative D f is such that x D f K x, but this is an embedding into F as required. 6 We would have no hope of doing any analysis/finding the measure of anything if it were not Borel. 5
Analysis Comprehensive Exam Questions Fall 2008
Analysis Comprehensive xam Questions Fall 28. (a) Let R be measurable with finite Lebesgue measure. Suppose that {f n } n N is a bounded sequence in L 2 () and there exists a function f such that f n (x)
More informationPart V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory
Part V 7 Introduction: What are measures and why measurable sets Lebesgue Integration Theory Definition 7. (Preliminary). A measure on a set is a function :2 [ ] such that. () = 2. If { } = is a finite
More informationFinite-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
Chapter 4 Hilbert Spaces 4.1 Inner Product Spaces Inner Product Space. A complex vector space E is called an inner product space (or a pre-hilbert space, or a unitary space) if there is a mapping (, )
More informationProblem Set 6: Solutions Math 201A: Fall a n x n,
Problem Set 6: Solutions Math 201A: Fall 2016 Problem 1. Is (x n ) n=0 a Schauder basis of C([0, 1])? No. If f(x) = a n x n, n=0 where the series converges uniformly on [0, 1], then f has a power series
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 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 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 informationMATH MEASURE THEORY AND FOURIER ANALYSIS. Contents
MATH 3969 - MEASURE THEORY AND FOURIER ANALYSIS ANDREW TULLOCH Contents 1. Measure Theory 2 1.1. Properties of Measures 3 1.2. Constructing σ-algebras and measures 3 1.3. Properties of the Lebesgue measure
More informationg 2 (x) (1/3)M 1 = (1/3)(2/3)M.
COMPACTNESS If C R n is closed and bounded, then by B-W it is sequentially compact: any sequence of points in C has a subsequence converging to a point in C Conversely, any sequentially compact C R n is
More informationDerivatives. Differentiability problems in Banach spaces. Existence of derivatives. Sharpness of Lebesgue s result
Differentiability problems in Banach spaces David Preiss 1 Expanded notes of a talk based on a nearly finished research monograph Fréchet differentiability of Lipschitz functions and porous sets in Banach
More informationTopological vectorspaces
(July 25, 2011) Topological vectorspaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ Natural non-fréchet spaces Topological vector spaces Quotients and linear maps More topological
More information+ 2x sin x. f(b i ) f(a i ) < ɛ. i=1. i=1
Appendix To understand weak derivatives and distributional derivatives in the simplest context of functions of a single variable, we describe without proof some results from real analysis (see [7] and
More informationExamples of Dual Spaces from Measure Theory
Chapter 9 Examples of Dual Spaces from Measure Theory We have seen that L (, A, µ) is a Banach space for any measure space (, A, µ). We will extend that concept in the following section to identify an
More informationIntegration on Measure Spaces
Chapter 3 Integration on Measure Spaces In this chapter we introduce the general notion of a measure on a space X, define the class of measurable functions, and define the integral, first on a class of
More informationMeasurable functions are approximately nice, even if look terrible.
Tel Aviv University, 2015 Functions of real variables 74 7 Approximation 7a A terrible integrable function........... 74 7b Approximation of sets................ 76 7c Approximation of functions............
More informationTools from Lebesgue integration
Tools from Lebesgue integration E.P. van den Ban Fall 2005 Introduction In these notes we describe some of the basic tools from the theory of Lebesgue integration. Definitions and results will be given
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 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 informationTHEOREMS, 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 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 informationREPRESENTABLE BANACH SPACES AND UNIFORMLY GÂTEAUX-SMOOTH NORMS. Julien Frontisi
Serdica Math. J. 22 (1996), 33-38 REPRESENTABLE BANACH SPACES AND UNIFORMLY GÂTEAUX-SMOOTH NORMS Julien Frontisi Communicated by G. Godefroy Abstract. It is proved that a representable non-separable Banach
More informationMeasures. Chapter Some prerequisites. 1.2 Introduction
Lecture notes Course Analysis for PhD students Uppsala University, Spring 2018 Rostyslav Kozhan Chapter 1 Measures 1.1 Some prerequisites I will follow closely the textbook Real analysis: Modern Techniques
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 information3. (a) What is a simple function? What is an integrable function? How is f dµ defined? Define it first
Math 632/6321: Theory of Functions of a Real Variable Sample Preinary Exam Questions 1. Let (, M, µ) be a measure space. (a) Prove that if µ() < and if 1 p < q
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 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 informationMeasure Theory. John K. Hunter. Department of Mathematics, University of California at Davis
Measure Theory John K. Hunter Department of Mathematics, University of California at Davis Abstract. These are some brief notes on measure theory, concentrating on Lebesgue measure on R n. Some missing
More information1. If 1, ω, ω 2, -----, ω 9 are the 10 th roots of unity, then (1 + ω) (1 + ω 2 ) (1 + ω 9 ) is A) 1 B) 1 C) 10 D) 0
4 INUTES. If, ω, ω, -----, ω 9 are the th roots of unity, then ( + ω) ( + ω ) ----- ( + ω 9 ) is B) D) 5. i If - i = a + ib, then a =, b = B) a =, b = a =, b = D) a =, b= 3. Find the integral values for
More informationLebesgue Integration: A non-rigorous introduction. What is wrong with Riemann integration?
Lebesgue Integration: A non-rigorous introduction What is wrong with Riemann integration? xample. Let f(x) = { 0 for x Q 1 for x / Q. The upper integral is 1, while the lower integral is 0. Yet, the function
More informationCombinatorics in Banach space theory Lecture 12
Combinatorics in Banach space theory Lecture The next lemma considerably strengthens the assertion of Lemma.6(b). Lemma.9. For every Banach space X and any n N, either all the numbers n b n (X), c n (X)
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 informationCHAPTER 6. Differentiation
CHPTER 6 Differentiation The generalization from elementary calculus of differentiation in measure theory is less obvious than that of integration, and the methods of treating it are somewhat involved.
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 informationMEASURE AND INTEGRATION. Dietmar A. Salamon ETH Zürich
MEASURE AND INTEGRATION Dietmar A. Salamon ETH Zürich 9 September 2016 ii Preface This book is based on notes for the lecture course Measure and Integration held at ETH Zürich in the spring semester 2014.
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 informationNOTES ON THE REGULARITY OF QUASICONFORMAL HOMEOMORPHISMS
NOTES ON THE REGULARITY OF QUASICONFORMAL HOMEOMORPHISMS CLARK BUTLER. Introduction The purpose of these notes is to give a self-contained proof of the following theorem, Theorem.. Let f : S n S n be a
More information1.5 Approximate Identities
38 1 The Fourier Transform on L 1 (R) which are dense subspaces of L p (R). On these domains, P : D P L p (R) and M : D M L p (R). Show, however, that P and M are unbounded even when restricted to these
More informationSpectral theorems for bounded self-adjoint operators on a Hilbert space
Chapter 10 Spectral theorems for bounded self-adjoint operators on a Hilbert space Let H be a Hilbert space. For a bounded operator A : H H its Hilbert space adjoint is an operator A : H H such that Ax,
More informationMTH 404: Measure and Integration
MTH 404: Measure and Integration Semester 2, 2012-2013 Dr. Prahlad Vaidyanathan Contents I. Introduction....................................... 3 1. Motivation................................... 3 2. The
More informationNon-linear factorization of linear operators
Submitted exclusively to the London Mathematical Society doi:10.1112/0000/000000 Non-linear factorization of linear operators W. B. Johnson, B. Maurey and G. Schechtman Abstract We show, in particular,
More informationIntroduction to Real Analysis Alternative Chapter 1
Christopher Heil Introduction to Real Analysis Alternative Chapter 1 A Primer on Norms and Banach Spaces Last Updated: March 10, 2018 c 2018 by Christopher Heil Chapter 1 A Primer on Norms and Banach Spaces
More informationMeasure and Integration: Solutions of CW2
Measure and Integration: s of CW2 Fall 206 [G. Holzegel] December 9, 206 Problem of Sheet 5 a) Left (f n ) and (g n ) be sequences of integrable functions with f n (x) f (x) and g n (x) g (x) for almost
More informationRecall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm
Chapter 13 Radon Measures Recall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm (13.1) f = sup x X f(x). We want to identify
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 informationLebesgue Measure on R n
CHAPTER 2 Lebesgue Measure on R n Our goal is to construct a notion of the volume, or Lebesgue measure, of rather general subsets of R n that reduces to the usual volume of elementary geometrical sets
More informationCONVOLUTION OPERATORS IN INFINITE DIMENSION
PORTUGALIAE MATHEMATICA Vol. 51 Fasc. 4 1994 CONVOLUTION OPERATORS IN INFINITE DIMENSION Nguyen Van Khue and Nguyen Dinh Sang 1 Introduction Let E be a complete convex bornological vector space (denoted
More information6.2 Fubini s Theorem. (µ ν)(c) = f C (x) dµ(x). (6.2) Proof. Note that (X Y, A B, µ ν) must be σ-finite as well, so that.
6.2 Fubini s Theorem Theorem 6.2.1. (Fubini s theorem - first form) Let (, A, µ) and (, B, ν) be complete σ-finite measure spaces. Let C = A B. Then for each µ ν- measurable set C C the section x C is
More informationPart III. 10 Topological Space Basics. Topological Spaces
Part III 10 Topological Space Basics Topological Spaces Using the metric space results above as motivation we will axiomatize the notion of being an open set to more general settings. Definition 10.1.
More informationMeasure and integration
Chapter 5 Measure and integration In calculus you have learned how to calculate the size of different kinds of sets: the length of a curve, the area of a region or a surface, the volume or mass of a solid.
More informationBoundedly complete weak-cauchy basic sequences in Banach spaces with the PCP
Journal of Functional Analysis 253 (2007) 772 781 www.elsevier.com/locate/jfa Note Boundedly complete weak-cauchy basic sequences in Banach spaces with the PCP Haskell Rosenthal Department of Mathematics,
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 informationA List of Problems in Real Analysis
A List of Problems in Real Analysis W.Yessen & T.Ma December 3, 218 This document was first created by Will Yessen, who was a graduate student at UCI. Timmy Ma, who was also a graduate student at UCI,
More informationLebesgue Measure on R n
8 CHAPTER 2 Lebesgue Measure on R n Our goal is to construct a notion of the volume, or Lebesgue measure, of rather general subsets of R n that reduces to the usual volume of elementary geometrical sets
More information9 Radon-Nikodym theorem and conditioning
Tel Aviv University, 2015 Functions of real variables 93 9 Radon-Nikodym theorem and conditioning 9a Borel-Kolmogorov paradox............. 93 9b Radon-Nikodym theorem.............. 94 9c Conditioning.....................
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 informationThe small ball property in Banach spaces (quantitative results)
The small ball property in Banach spaces (quantitative results) Ehrhard Behrends Abstract A metric space (M, d) is said to have the small ball property (sbp) if for every ε 0 > 0 there exists a sequence
More information1 Continuity Classes C m (Ω)
0.1 Norms 0.1 Norms A norm on a linear space X is a function : X R with the properties: Positive Definite: x 0 x X (nonnegative) x = 0 x = 0 (strictly positive) λx = λ x x X, λ C(homogeneous) x + y x +
More informationNAME: Mathematics 205A, Fall 2008, Final Examination. Answer Key
NAME: Mathematics 205A, Fall 2008, Final Examination Answer Key 1 1. [25 points] Let X be a set with 2 or more elements. Show that there are topologies U and V on X such that the identity map J : (X, U)
More informationProbability and Measure
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 84 Paper 4, Section II 26J Let (X, A) be a measurable space. Let T : X X be a measurable map, and µ a probability
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 informationMATH & MATH FUNCTIONS OF A REAL VARIABLE EXERCISES FALL 2015 & SPRING Scientia Imperii Decus et Tutamen 1
MATH 5310.001 & MATH 5320.001 FUNCTIONS OF A REAL VARIABLE EXERCISES FALL 2015 & SPRING 2016 Scientia Imperii Decus et Tutamen 1 Robert R. Kallman University of North Texas Department of Mathematics 1155
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 information1.3.1 Definition and Basic Properties of Convolution
1.3 Convolution 15 1.3 Convolution Since L 1 (R) is a Banach space, we know that it has many useful properties. In particular the operations of addition and scalar multiplication are continuous. However,
More informationfor all x,y [a,b]. The Lipschitz constant of f is the infimum of constants C with this property.
viii 3.A. FUNCTIONS 77 Appendix In this appendix, we describe without proof some results from real analysis which help to understand weak and distributional derivatives in the simplest context of functions
More informationHILBERT SPACES AND THE RADON-NIKODYM THEOREM. where the bar in the first equation denotes complex conjugation. In either case, for any x V define
HILBERT SPACES AND THE RADON-NIKODYM THEOREM STEVEN P. LALLEY 1. DEFINITIONS Definition 1. A real inner product space is a real vector space V together with a symmetric, bilinear, positive-definite mapping,
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 informationSummary of Real Analysis by Royden
Summary of Real Analysis by Royden Dan Hathaway May 2010 This document is a summary of the theorems and definitions and theorems from Part 1 of the book Real Analysis by Royden. In some areas, such as
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 informationII - REAL ANALYSIS. This property gives us a way to extend the notion of content to finite unions of rectangles: we define
1 Measures 1.1 Jordan content in R N II - REAL ANALYSIS Let I be an interval in R. Then its 1-content is defined as c 1 (I) := b a if I is bounded with endpoints a, b. If I is unbounded, we define c 1
More informationI. ANALYSIS; PROBABILITY
ma414l1.tex Lecture 1. 12.1.2012 I. NLYSIS; PROBBILITY 1. Lebesgue Measure and Integral We recall Lebesgue measure (M411 Probability and Measure) λ: defined on intervals (a, b] by λ((a, b]) := b a (so
More information5 Measure theory II. (or. lim. Prove the proposition. 5. For fixed F A and φ M define the restriction of φ on F by writing.
5 Measure theory II 1. Charges (signed measures). Let (Ω, A) be a σ -algebra. A map φ: A R is called a charge, (or signed measure or σ -additive set function) if φ = φ(a j ) (5.1) A j for any disjoint
More informationSigned Measures and Complex Measures
Chapter 8 Signed Measures Complex Measures As opposed to the measures we have considered so far, a signed measure is allowed to take on both positive negative values. To be precise, if M is a σ-algebra
More informationMATHS 730 FC Lecture Notes March 5, Introduction
1 INTRODUCTION MATHS 730 FC Lecture Notes March 5, 2014 1 Introduction Definition. If A, B are sets and there exists a bijection A B, they have the same cardinality, which we write as A, #A. If there exists
More informationbe the set of complex valued 2π-periodic functions f on R such that
. Fourier series. Definition.. Given a real number P, we say a complex valued function f on R is P -periodic if f(x + P ) f(x) for all x R. We let be the set of complex valued -periodic functions f on
More informationat time t, in dimension d. The index i varies in a countable set I. We call configuration the family, denoted generically by Φ: U (x i (t) x j (t))
Notations In this chapter we investigate infinite systems of interacting particles subject to Newtonian dynamics Each particle is characterized by its position an velocity x i t, v i t R d R d at time
More information01. Review of metric spaces and point-set topology. 1. Euclidean spaces
(October 3, 017) 01. Review of metric spaces and point-set topology Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 017-18/01
More information4 Hilbert spaces. The proof of the Hilbert basis theorem is not mathematics, it is theology. Camille Jordan
The proof of the Hilbert basis theorem is not mathematics, it is theology. Camille Jordan Wir müssen wissen, wir werden wissen. David Hilbert We now continue to study a special class of Banach spaces,
More informationSolutions to Problem Set 5 for , Fall 2007
Solutions to Problem Set 5 for 18.101, Fall 2007 1 Exercise 1 Solution For the counterexample, let us consider M = (0, + ) and let us take V = on M. x Let W be the vector field on M that is identically
More informationNotation. General. Notation Description See. Sets, Functions, and Spaces. a b & a b The minimum and the maximum of a and b
Notation General Notation Description See a b & a b The minimum and the maximum of a and b a + & a f S u The non-negative part, a 0, and non-positive part, (a 0) of a R The restriction of the function
More information= ϕ r cos θ. 0 cos ξ sin ξ and sin ξ cos ξ. sin ξ 0 cos ξ
8. The Banach-Tarski paradox May, 2012 The Banach-Tarski paradox is that a unit ball in Euclidean -space can be decomposed into finitely many parts which can then be reassembled to form two unit balls
More informationOn the control measures of vector measures. Baltasar Rodríguez-Salinas. Sobre las medidas de control de medidas vectoriales.
RACSAM Rev. R. Acad. Cien. Serie A. Mat. VOL. 97 (3), 2003, pp. 377 384 Análisis Matemático / Mathematical Analysis On the control measures of vector measures Baltasar Rodríguez-Salinas Abstract. If Σ
More informationON THE COMPOSITION OF DIFFERENTIABLE FUNCTIONS
ON THE COMPOSITION OF DIFFERENTIABLE FUNCTIONS M. BACHIR AND G. LANCIEN Abstract. We prove that a Banach space X has the Schur property if and only if every X-valued weakly differentiable function is Fréchet
More informationAPPROXIMATING BOCHNER INTEGRALS BY RIEMANN SUMS
APPROXIMATING BOCHNER INTEGRALS BY RIEMANN SUMS J.M.A.M. VAN NEERVEN Abstract. Let µ be a tight Borel measure on a metric space, let X be a Banach space, and let f : (, µ) X be Bochner integrable. We show
More informationIntegral Jensen inequality
Integral Jensen inequality Let us consider a convex set R d, and a convex function f : (, + ]. For any x,..., x n and λ,..., λ n with n λ i =, we have () f( n λ ix i ) n λ if(x i ). For a R d, let δ a
More informationAn effective form of Rademacher s theorem
An effective form of Rademacher s theorem Alex Galicki 1 joint work with Daniel Turetsky 2 1 University of Auckland, 2 Kurt Gödel Research Center 12th June, 2014 Alex Galicki (Auckland) An effective form
More informationFunctional Analysis. Martin Brokate. 1 Normed Spaces 2. 2 Hilbert Spaces The Principle of Uniform Boundedness 32
Functional Analysis Martin Brokate Contents 1 Normed Spaces 2 2 Hilbert Spaces 2 3 The Principle of Uniform Boundedness 32 4 Extension, Reflexivity, Separation 37 5 Compact subsets of C and L p 46 6 Weak
More informationAnalysis Preliminary Exam Workshop: Hilbert Spaces
Analysis Preliminary Exam Workshop: Hilbert Spaces 1. Hilbert spaces A Hilbert space H is a complete real or complex inner product space. Consider complex Hilbert spaces for definiteness. If (, ) : H H
More informationAnalysis Finite and Infinite Sets The Real Numbers The Cantor Set
Analysis Finite and Infinite Sets Definition. An initial segment is {n N n n 0 }. Definition. A finite set can be put into one-to-one correspondence with an initial segment. The empty set is also considered
More informationStone-Čech compactification of Tychonoff spaces
The Stone-Čech compactification of Tychonoff spaces Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto June 27, 2014 1 Completely regular spaces and Tychonoff spaces A topological
More informationErrata Applied Analysis
Errata Applied Analysis p. 9: line 2 from the bottom: 2 instead of 2. p. 10: Last sentence should read: The lim sup of a sequence whose terms are bounded from above is finite or, and the lim inf of a sequence
More informationOutline of Fourier Series: Math 201B
Outline of Fourier Series: Math 201B February 24, 2011 1 Functions and convolutions 1.1 Periodic functions Periodic functions. Let = R/(2πZ) denote the circle, or onedimensional torus. A function f : C
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 informationAliprantis, Border: Infinite-dimensional Analysis A Hitchhiker s Guide
aliprantis.tex May 10, 2011 Aliprantis, Border: Infinite-dimensional Analysis A Hitchhiker s Guide Notes from [AB2]. 1 Odds and Ends 2 Topology 2.1 Topological spaces Example. (2.2) A semimetric = triangle
More informationB. Appendix B. Topological vector spaces
B.1 B. Appendix B. Topological vector spaces B.1. Fréchet spaces. In this appendix we go through the definition of Fréchet spaces and their inductive limits, such as they are used for definitions of function
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 informationNormed and Banach spaces
Normed and Banach spaces László Erdős Nov 11, 2006 1 Norms We recall that the norm is a function on a vectorspace V, : V R +, satisfying the following properties x + y x + y cx = c x x = 0 x = 0 We always
More informationRENORMINGS OF L p (L q )
RENORMINGS OF L p (L q ) by arxiv:math/9804002v1 [math.fa] 1 Apr 1998 R. Deville, R. Gonzalo and J. A. Jaramillo (*) Laboratoire de Mathématiques, Université Bordeaux I, 351, cours de la Libération, 33400
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 informationReminder Notes for the Course on Measures on Topological Spaces
Reminder Notes for the Course on Measures on Topological Spaces T. C. Dorlas Dublin Institute for Advanced Studies School of Theoretical Physics 10 Burlington Road, Dublin 4, Ireland. Email: dorlas@stp.dias.ie
More informationRiesz Representation Theorems
Chapter 6 Riesz Representation Theorems 6.1 Dual Spaces Definition 6.1.1. Let V and W be vector spaces over R. We let L(V, W ) = {T : V W T is linear}. The space L(V, R) is denoted by V and elements of
More information