Markov-Kakutani Theorem and Haar Measure
|
|
- Garry Robbins
- 5 years ago
- Views:
Transcription
1 Markov-Kakutani Theorem and Haar Measure Analysis III 1 Markov-Kakutani Definition 1 E is a TVS (topological vector space) if (a) E is a vector space (over R or C). (b) E is a Hausdorff topological space. (c) The operations + : E E E and : C E E are continuous. Definition 2 A E is (a) balanced, if αa A, for all α 1, (b) convex, if (1 t)a + ta A for all 0 t 1, (c) absorbing, if E = λ λa. Definition 3 Let E be a real or complex vector space. p : E R + is a seminorm if (a) p(0) = 0, (b) p(x + y) p(x) + p(y), for all x, y E, (c) p(λx) = λ p(x), for all λ C, x E. Definition 4 A TVS is locally convex space (LCS) if it has a fundamental base of neighborhoods of zero formed with convex sets. Note that if p : E R + is a continuous seminorm and E is a TVS, then the set p 1 ([0, 1)) is an open, balanced, convex and absorbing neighborhood of 0. Viceversa, if A is convex, balanced and absorbing in a vector space E then the Minkowski functional p A (x) = inf{t > 0 x ta} is a seminorm and {p A < 1} A {p A 1}. It turns out that 1
2 Proposition 1 E is locally convex if and only if there exists a fundamental base of neighborhoods of origin formed with convex, balanced and absorbing sets. Definition 5 A family P of seminorms in the vector space E is said to be suficient if for any x E there exists p P so that p(x) 0. The locally convex topology generated by a sufficient familiy P of seminorms is the weakest locally convex topology that makes all of them continuous. A base of neighborhoods of 0 is given by the sets B = {x E p i (x) < ɛ i, p i F } where F P is an arbitrary finite set and ɛ i > 0 are arbitrary positive numbers. Definition 6 A TVS is said to be metrizable if the topology is given by a translation-invariant metric. Example 1 Let Ω R n be an open set, k N. The space C k (Ω) is the space of k continuosly differentiable functions in Ω endowed with the familiy of seminorms P K,m (f) = sup x K, α m α f(x) where K Ω. This is the topology of uniform convergence with derivatives on compacts. It is a metrizable topology. Definition 7 Let E, F be Banach spaces. Let L(E, F ) = {T : E F T linear, continuous} There are three natural topologies on L(E, F ): the norm topology, the strong topology and the weak topology. The norm topology is given by the norm T = sup T x F x E 1 L(E, F ) is a Banach space with this topology. The strong topology is given by seminorms p x1,...,x n (T ) = max 1 i n T x i F 2
3 This topology is the topology of strong pointwise convergence. L(E, F ) is a LCS with this topology. This is a weaker topology than the norm topology. The dual E is the special case L(E, F ) when F = C or F = R. The weakstar topology on E is the strong topology defined above. Finally, the weak topology on L(E, F ) is given by the seminorms p x1,...,x n;l(t ) = max 1 i n L(T (x i) where x i E and L F. This is also a LCS topology, weaker than the strong topology. Definition 8 Let E be a LCS, then Aut(E) = {T : E E T, T 1 linear, continuous} Definition 9 Let G be a group. π : G Aut(E) is a representation of G in E if it is a group homomorphism. Definition 10 x E is fixed by π if π(g)x = x holds for all g G. A E is invariant under π if π(g)a A holds for all g G. (Note that equality follows, π(g)a = A). Theorem 1 (Markov-Kakutani) Let E be a LCS and K E be a convex, compact subset. Let π : G Aut(E) be a representation of an abelian group in E. Assume that K is invariant under π. Then there exists x K, fixed by π. Proof (J. von Neumann) Let n 0 be an integer, and g G and let M n (g) := 1 ( I + π(g) + π(g 2 ) + + π(g n ) ). n + 1 Note that M n (g) is a continuous linear operator M n (g) : E E, but not necessarily invertible. Because K is invariant under π and convex, it follows that M n (g)(k) K for all n. Let S be the semigroup generated by M n (g) as n 0, g G. This is the set of finite words (products) of elements of the form described above. Let A = s S s(k) 3
4 Note that s(k) K for all s S, and s(k) is compact. We claim that A. Because of compactness, it is enough to prove that s 1 (K) s 2 (K) s n (K) for any n and s j S. We take s = s 1 s 2 s n. We claim s(k) n i=1s i (K). Indeed, s 1 (s 2 s n (K)) s 1 (K). Now we commute s 1 and s 2 to find s(k) s 2 (K) and we continue thus. This proves the claim and hence A. Let x A. It follows that for every g G and every n 0 there exists y K so that x = M n (g)y. (This just says that x M n (g)k). Now M n (g)(π(g)y) = 1 n+1 π(g k )y = M n (g)y + 1 ( π(g n+1 )y y ). n + 1 n + 1 Therefore, k=1 π(g)x x = 1 n + 1 (π(gn+1 )y y). We take any continuous seminorm p on E. It follows that p(π(g)x x) C K n + 1 where C K = sup z K K p(z). Letting n it follows that p(π(g)x x) = 0. Therefore π(g)x = x and the theorem is proved. Definition 11 Let G be an abelian group and let X be a metric space. We say that G acts continuously in X is there exist continuous maps (we denote φ g (x) = gx) such that φ g : X X g 1 (g 2 x) = (g 1 g 2 )x, and ex = x Let G act continuously in X. We define the representation T : G Aut(C(X)) 4
5 by and its dual by T g (f)(x) := f(g 1 x) T : G (C(K)) (T (g)(l))(f) := L((T (g 1 )f)). We say that a probability measure on X is G invariant if f(x)dµ = f(gx)dµ holds for any g G. X Theorem 2 Let G be an abelian group acting continuously in a compact metric space. Then there exists a G-invariant probability measure on X. Proof. Let K = P(X) = {µ C(X) µ 0, µ(1) = 1}. Then K is compact with the weak-star topology by the Alaoglu-Bourbaki theorem, it is convex, and it is invariant under T. By the Markov-Kakutani theorem there exists µ K that is fixed by T, X T (g)µ = µ. This means µ(t (g 1 f) = µ(f) i.e., f(gx)dµ = X X f(x)dµ. Definition 12 Let π : G Aut(E) be a representation of the group G in the automorphism group of the Banach space E. The dual representation π : G Aut(E ) is defined by (π (g)l)(x) = L(π(g 1 )x) Lemma 1 Let G be a compact group and let π : G Aut(E) where E is a Banach space. Assume that π is a representation and that it is continuous 5
6 when Aut(E) has the strong topology. (Topology of strong convergence of the operators, i.e. pointwise convergence in norm.) Let x E and define by L G x = sup g G G x : E R + L(π(g)x) = sup π (g)(l)x g G Then: 1) G x is a seminorm on E. 2) π (g)l G x = L G x for all g G, L E. 3) G x : B E (0, 1) R + is weak-star continuous. 4) Lx 0 L G x 0. Proof. We address only point 3). The weak-star topology on E is defined by seminorms, p x1,...x k (L) = max 1 j k L(x j). Let x E be fixed. Then the orbit of the action O(x) = {π(g)x g G} is compact in E because of the compactness of G and strong continuity of the representation. Then if ɛ > 0 there exist points π(g 1 )x,... π(g k )x, so that for every g G there exists a j 1,... k such that π(g)x π(g j )x E ɛ 4. Then, if we consider the seminorm p = p π(g1 )x,...π(g k )x and take L 1, L 2 B E (0, 1) such that p(l 1 L 2 ) ɛ 2 then it follows that L 1 L 2 G x ɛ. Theorem 3 Let G be a compact group, let π : G Aut(E) be a strongly continuous representation in a Banach space E. Let A E be a normbounded, weak-star closed, convex set that is invariant under π. Then there exists L A that is fixed by π Proof. Let A = {B A B, convex, weak-star compact, invariant under π } By Zorn s lemma, there exists A A that is minimal under inclusion. We claim that A is a singleton, A = {L}. Indeed, if not, there exist L 1 L 2 L 1, L 2 A. There exists x E such that L 1 x L 2 x. Let d := sup{ T S G x T, S A} 6
7 d > 0 by assumption. Now A is weak-star compact and, for any r > 0, the balls {T T T 0 G x < r} = B G x (T 0, r) are weak-star open and cover A, as T 0 A. We take r = d and cover A with 2 finitely many such balls: ( A n i=1bx G T i, d ) 2 with T i A. Let now T = 1 n n T i. because A is convex, it follows that T A. Let T A be arbitrary. Because T T i G x d for at least one 1 i n, it follows that 2 T T G x 1 [ ] ( d + (n 1)d = 1 1 ) d n 2 2n and so Take A B G x i=1 ( ( T, 1 1 ) ) d 2n A 1 := T A {S A T S G x ( 1 1 ) } d 2n Because T A 1, we know that A 1. Moreover, A 1 is weak-star compact, convex and invariant under π. This is absurd, because its diameter is strictly less than d, so A 1 A, but A was minimal under inclusion. Theorem 4 Let G be a compact group, and let P(G) = {µ C(G) µ 0, µ(1) = 1}. Then there exists µ P(G) that is left invariant. Moreover, µ is also rightinvariant and is unique. Proof (J. von Neumann). Let π : G Aut(C(G)) 7
8 be defined by (π(g)f)(h) := f(g 1 h) for f C(G), g, h G. Then π is a strongly continuous representation, P(G) is weak-star compact, convex, invariant under π, and hence, by the previous theorem, there exists µ P(G) that is fixed by π, π (g)µ = µ. This means that, for any f C(G) and any g G, G f(x)dµ(x) = G fd(π (g)(µ)(x)) = G (π(g 1 )f)(x)dµ(x) = G f(gx)dµ(x) that is, µ is left invariant. Now, let ν be any right invariant probability measure (which exists by a similar argument). Then ( ) [ ] f(xy)dν(x) dµ(y) = f(x)dν(x) 1dµ(y) = f(x)dν(x) G G G G G and by changing order of integration, the same quantity equals G f(y)dµ(y), and so, ν = µ, which implies also the uniqueness. µ is the Haar measure on G. 8
Notes on Distributions
Notes on Distributions Functional Analysis 1 Locally Convex Spaces Definition 1. A vector space (over R or C) is said to be a topological vector space (TVS) if it is a Hausdorff topological space and the
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 informationThe weak topology of locally convex spaces and the weak-* topology of their duals
The weak topology of locally convex spaces and the weak-* topology of their duals Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto April 3, 2014 1 Introduction These notes
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 informationi=1 β i,i.e. = β 1 x β x β 1 1 xβ d
66 2. Every family of seminorms on a vector space containing a norm induces ahausdorff locally convex topology. 3. Given an open subset Ω of R d with the euclidean topology, the space C(Ω) of real valued
More informationTOPOLOGICAL VECTOR SPACES
TOPOLOGICAL VECTOR SPACES PRADIPTA BANDYOPADHYAY 1. Topological Vector Spaces Let X be a linear space over R or C. We denote the scalar field by K. Definition 1.1. A topological vector space (tvs for short)
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 informationExtreme points of compact convex sets
Extreme points of compact convex sets In this chapter, we are going to show that compact convex sets are determined by a proper subset, the set of its extreme points. Let us start with the main definition.
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 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 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 information(convex combination!). Use convexity of f and multiply by the common denominator to get. Interchanging the role of x and y, we obtain that f is ( 2M ε
1. 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 informationBorel complexity and automorphisms of C*-algebras
Martino Lupini York University Toronto, Canada January 15th, 2013 Table of Contents 1 Auto-homeomorphisms of compact metrizable spaces 2 Measure preserving automorphisms of probability spaces 3 Automorphisms
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 informationTame definable topological dynamics
Tame definable topological dynamics Artem Chernikov (Paris 7) Géométrie et Théorie des Modèles, 4 Oct 2013, ENS, Paris Joint work with Pierre Simon, continues previous work with Anand Pillay and Pierre
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 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 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 informationTHE NEARLY ADDITIVE MAPS
Bull. Korean Math. Soc. 46 (009), No., pp. 199 07 DOI 10.4134/BKMS.009.46..199 THE NEARLY ADDITIVE MAPS Esmaeeil Ansari-Piri and Nasrin Eghbali Abstract. This note is a verification on the relations between
More informationUSING FUNCTIONAL ANALYSIS AND SOBOLEV SPACES TO SOLVE POISSON S EQUATION
USING FUNCTIONAL ANALYSIS AND SOBOLEV SPACES TO SOLVE POISSON S EQUATION YI WANG Abstract. We study Banach and Hilbert spaces with an eye towards defining weak solutions to elliptic PDE. Using Lax-Milgram
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 informationCHAPTER II THE HAHN-BANACH EXTENSION THEOREMS AND EXISTENCE OF LINEAR FUNCTIONALS
CHAPTER II THE HAHN-BANACH EXTENSION THEOREMS AND EXISTENCE OF LINEAR FUNCTIONALS In this chapter we deal with the problem of extending a linear functional on a subspace Y to a linear functional on the
More information3. The Hahn-Banach separation theorem
matkt@imf.au.dk Institut for Matematiske Fag Det Naturvidenskabelige Fakultet Aarhus Universitet September 2005 We read in W. Rudin: Functional Analysis Covering Chapter 3, Theorem 3.4 and its proof. The
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 informationFactorization of unitary representations of adele groups Paul Garrett garrett/
(February 19, 2005) Factorization of unitary representations of adele groups Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ The result sketched here is of fundamental importance in
More informationSOLUTIONS TO SOME PROBLEMS
23 FUNCTIONAL ANALYSIS Spring 23 SOLUTIONS TO SOME PROBLEMS Warning:These solutions may contain errors!! PREPARED BY SULEYMAN ULUSOY PROBLEM 1. Prove that a necessary and sufficient condition that the
More informationNotes for Functional Analysis
Notes for Functional Analysis Wang Zuoqin (typed by Xiyu Zhai) November 6, 2015 1 Lecture 18 1.1 The convex hull Let X be any vector space, and E X a subset. Definition 1.1. The convex hull of E is the
More informationContents. Index... 15
Contents Filter Bases and Nets................................................................................ 5 Filter Bases and Ultrafilters: A Brief Overview.........................................................
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 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 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 informationCommutative Banach algebras 79
8. Commutative Banach algebras In this chapter, we analyze commutative Banach algebras in greater detail. So we always assume that xy = yx for all x, y A here. Definition 8.1. Let A be a (commutative)
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 informationBanach Spaces V: A Closer Look at the w- and the w -Topologies
BS V c Gabriel Nagy Banach Spaces V: A Closer Look at the w- and the w -Topologies Notes from the Functional Analysis Course (Fall 07 - Spring 08) In this section we discuss two important, but highly non-trivial,
More informationPart III Functional Analysis
Part III Functional Analysis András Zsák Michaelmas 2017 Contents 1 The Hahn Banach extension theorems 1 2 The dual space of L p (µ) and of C(K) 7 3 Weak topologies 12 4 Convexity and the Krein Milman
More informationSeminorms and locally convex spaces
(April 23, 2014) Seminorms and locally convex spaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/fun/notes 2012-13/07b seminorms.pdf]
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 informationDefinably amenable groups in NIP
Definably amenable groups in NIP Artem Chernikov (Paris 7) Lyon, 21 Nov 2013 Joint work with Pierre Simon. Setting T is a complete first-order theory in a language L, countable for simplicity. M = T a
More informationBanach-Alaoglu, boundedness, weak-to-strong principles Paul Garrett 1. Banach-Alaoglu theorem
(April 12, 2004) Banach-Alaoglu, boundedness, weak-to-strong principles Paul Garrett Banach-Alaoglu theorem: compactness of polars A variant Banach-Steinhaus theorem Bipolars Weak
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 informationvon Neumann algebras, II 1 factors, and their subfactors V.S. Sunder (IMSc, Chennai)
von Neumann algebras, II 1 factors, and their subfactors V.S. Sunder (IMSc, Chennai) Lecture 3 at IIT Mumbai, April 24th, 2007 Finite-dimensional C -algebras: Recall: Definition: A linear functional tr
More informationCourse Notes for Functional Analysis I, Math , Fall Th. Schlumprecht
Course Notes for Functional Analysis I, Math 655-601, Fall 2011 Th. Schlumprecht December 13, 2011 2 Contents 1 Some Basic Background 5 1.1 Normed Linear Spaces, Banach Spaces............. 5 1.2 Operators
More informationMath General Topology Fall 2012 Homework 13 Solutions
Math 535 - General Topology Fall 2012 Homework 13 Solutions Note: In this problem set, function spaces are endowed with the compact-open topology unless otherwise noted. Problem 1. Let X be a compact topological
More informationA NICE PROOF OF FARKAS LEMMA
A NICE PROOF OF FARKAS LEMMA DANIEL VICTOR TAUSK Abstract. The goal of this short note is to present a nice proof of Farkas Lemma which states that if C is the convex cone spanned by a finite set and if
More informationFunctional Analysis (H) Midterm USTC-2015F haha Your name: Solutions
Functional Analysis (H) Midterm USTC-215F haha Your name: Solutions 1.(2 ) You only need to anser 4 out of the 5 parts for this problem. Check the four problems you ant to be graded. Write don the definitions
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 informationLattice algebra representations of L 1 (G) on translation invariant Banach function spaces
David Nicolaas Leendert Kok Lattice algebra representations of L 1 () on translation invariant Banach function spaces Master s thesis, defended on October 28, 2016 Thesis advisor: Dr. M.F.E. de Jeu Mathematisch
More informationFunctional Analysis HW #1
Functional Analysis HW #1 Sangchul Lee October 9, 2015 1 Solutions Solution of #1.1. Suppose that X
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 informationGELFAND S THEOREM. Christopher McMurdie. Advisor: Arlo Caine. Spring 2004
GELFAND S THEOREM Christopher McMurdie Advisor: Arlo Caine Super Advisor: Dr Doug Pickrell Spring 004 This paper is a proof of the first part of Gelfand s Theorem, which states the following: Every compact,
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 informationCHAPTER VIII HILBERT SPACES
CHAPTER VIII HILBERT SPACES DEFINITION Let X and Y be two complex vector spaces. A map T : X Y is called a conjugate-linear transformation if it is a reallinear transformation from X into Y, and if T (λx)
More informationThe local equicontinuity of a maximal monotone operator
arxiv:1410.3328v2 [math.fa] 3 Nov 2014 The local equicontinuity of a maximal monotone operator M.D. Voisei Abstract The local equicontinuity of an operator T : X X with proper Fitzpatrick function ϕ T
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 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 informations P = f(ξ n )(x i x i 1 ). i=1
Compactness and total boundedness via nets The aim of this chapter is to define the notion of a net (generalized sequence) and to characterize compactness and total boundedness by this important topological
More informationare Banach algebras. f(x)g(x) max Example 7.4. Similarly, A = L and A = l with the pointwise multiplication
7. Banach algebras Definition 7.1. A is called a Banach algebra (with unit) if: (1) A is a Banach space; (2) There is a multiplication A A A that has the following properties: (xy)z = x(yz), (x + y)z =
More informationBanach-Alaoglu theorems
Banach-Alaoglu theorems László Erdős Jan 23, 2007 1 Compactness revisited In a topological space a fundamental property is the compactness (Kompaktheit). We recall the definition: Definition 1.1 A subset
More informationEQUIVALENCE OF TOPOLOGIES AND BOREL FIELDS FOR COUNTABLY-HILBERT SPACES
EQUIVALENCE OF TOPOLOGIES AND BOREL FIELDS FOR COUNTABLY-HILBERT SPACES JEREMY J. BECNEL Abstract. We examine the main topologies wea, strong, and inductive placed on the dual of a countably-normed space
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 informationRepresentations of moderate growth Paul Garrett 1. Constructing norms on groups
(December 31, 2004) Representations of moderate growth Paul Garrett Representations of reductive real Lie groups on Banach spaces, and on the smooth vectors in Banach space representations,
More informationThe uniform metric on product spaces
The uniform metric on product spaces Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto April 3, 2014 1 Metric topology If (X, d) is a metric space, a X, and r > 0, then
More informationThus f is continuous at x 0. Matthew Straughn Math 402 Homework 6
Matthew Straughn Math 402 Homework 6 Homework 6 (p. 452) 14.3.3, 14.3.4, 14.3.5, 14.3.8 (p. 455) 14.4.3* (p. 458) 14.5.3 (p. 460) 14.6.1 (p. 472) 14.7.2* Lemma 1. If (f (n) ) converges uniformly to some
More informationHausdorff measure. Jordan Bell Department of Mathematics, University of Toronto. October 29, 2014
Hausdorff measure Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto October 29, 2014 1 Outer measures and metric outer measures Suppose that X is a set. A function ν :
More informationIntroduction to Functional Analysis
Introduction to Functional Analysis Carnegie Mellon University, 21-640, Spring 2014 Acknowledgements These notes are based on the lecture course given by Irene Fonseca but may differ from the exact lecture
More informationSpectral theory for compact operators on Banach spaces
68 Chapter 9 Spectral theory for compact operators on Banach spaces Recall that a subset S of a metric space X is precompact if its closure is compact, or equivalently every sequence contains a Cauchy
More informationAbelian topological groups and (A/k) k. 1. Compact-discrete duality
(December 21, 2010) Abelian topological groups and (A/k) k Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ 1. Compact-discrete duality 2. (A/k) k 3. Appendix: compact-open topology
More informationOn the topology of pointwise convergence on the boundaries of L 1 -preduals. Warren B. Moors
On the topology of pointwise convergence on the boundaries of L 1 -preduals Warren B. Moors Department of Mathematics The University of Auckland Auckland New Zealand Dedicated to J ohn R. Giles Introduction
More informationHahn-Banach theorems. 1. Continuous Linear Functionals
(April 22, 2014) Hahn-Banach theorems Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/fun/notes 2012-13/07c hahn banach.pdf] 1.
More informationMEANS WITH VALUES IN A BANACH LATTICE
University of Nebraska - Lincoln DigitalCommons@University of Nebraska - Lincoln Faculty Publications, Department of Mathematics Mathematics, Department of 9-4-1986 MEANS WITH VALUES IN A BANACH LATTICE
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 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 informationSemicontinuous functions and convexity
Semicontinuous functions and convexity Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto April 3, 2014 1 Lattices If (A, ) is a partially ordered set and S is a subset
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 informationA non-commutative notion of separate continuity
A non-commutative notion of separate continuity Matthew Daws Leeds November 2014 Matthew Daws (Leeds) Separate continuity November 2014 1 / 22 Locally compact spaces Let X be a locally compact (Hausdorff)
More informationHaar measure on compact groups. Anna Kiesenhofer
Haar measure on compact groups Anna Kiesenhofer March 15, 2011 Contents 1 Notation and Conventions 1 2 Introduction 2 3 Fixed point formulation 3 4 Uniqueness 8 5 The Ryll-Nardzewski xed point theorem
More informationWeak Topologies, Reflexivity, Adjoint operators
Chapter 2 Weak Topologies, Reflexivity, Adjoint operators 2.1 Topological vector spaces and locally convex spaces Definition 2.1.1. [Topological Vector Spaces and Locally convex Spaces] Let E be a vector
More informationMetric spaces and metrizability
1 Motivation Metric spaces and metrizability By this point in the course, this section should not need much in the way of motivation. From the very beginning, we have talked about R n usual and how relatively
More informationA Crash Course in Topological Groups
A Crash Course in Topological Groups Iian B. Smythe Department of Mathematics Cornell University Olivetti Club November 8, 2011 Iian B. Smythe (Cornell) Topological Groups Nov. 8, 2011 1 / 28 Outline 1
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
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 informationKirk s Fixed Point Theorem in Generating Spaces of Semi-Norm Family
Gen. Math. Notes, Vol. 21, No. 2, April 2014, pp.1-13 ISSN 2219-7184; Copyright c ICSRS Publication, 2014 www.i-csrs.org Available free online at http://www.geman.in Kirk s Fixed Point Theorem in Generating
More informationA topological semigroup structure on the space of actions modulo weak equivalence.
A topological semigroup structure on the space of actions modulo wea equivalence. Peter Burton January 8, 08 Abstract We introduce a topology on the space of actions modulo wea equivalence finer than the
More informationMA651 Topology. Lecture 9. Compactness 2.
MA651 Topology. Lecture 9. Compactness 2. This text is based on the following books: Topology by James Dugundgji Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology
More informationGeneralized metric properties of spheres and renorming of Banach spaces
arxiv:1605.08175v2 [math.fa] 5 Nov 2018 Generalized metric properties of spheres and renorming of Banach spaces 1 Introduction S. Ferrari, J. Orihuela, M. Raja November 6, 2018 Throughout this paper X
More informationBanach Spaces II: Elementary Banach Space Theory
BS II c Gabriel Nagy Banach Spaces II: Elementary Banach Space Theory Notes from the Functional Analysis Course (Fall 07 - Spring 08) In this section we introduce Banach spaces and examine some of their
More informationA Brief Introduction to Functional Analysis
A Brief Introduction to Functional Analysis Sungwook Lee Department of Mathematics University of Southern Mississippi sunglee@usm.edu July 5, 2007 Definition 1. An algebra A is a vector space over C with
More informationGeneral Convexity, General Concavity, Fixed Points, Geometry, and Min-Max Points
Mathematica Moravica Vol. 12-1 2008), 63 109 General Convexity, General Concavity, Fixed Points, Geometry, and Min-Max Points Milan R. Tasković Abstract. This paper continues the study of general convexity
More informationarxiv: v1 [math.fa] 23 Dec 2015
On the sum of a narrow and a compact operators arxiv:151.07838v1 [math.fa] 3 Dec 015 Abstract Volodymyr Mykhaylyuk Department of Applied Mathematics Chernivtsi National University str. Kotsyubyns koho,
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 informationFunctional Analysis HW #3
Functional Analysis HW #3 Sangchul Lee October 26, 2015 1 Solutions Exercise 2.1. Let D = { f C([0, 1]) : f C([0, 1])} and define f d = f + f. Show that D is a Banach algebra and that the Gelfand transform
More information(c) For each α R \ {0}, the mapping x αx is a homeomorphism of X.
A short account of topological vector spaces Normed spaces, and especially Banach spaces, are basic ambient spaces in Infinite- Dimensional Analysis. However, there are situations in which it is necessary
More informationMAT 449 : Problem Set 4
MAT 449 : Problem Set 4 Due Thursday, October 11 Vector-valued integrals Note : ou are allowed to use without proof the following results : The Hahn-Banach theorem. The fact that every continuous linear
More informationOn Fréchet algebras with the dominating norm property
On Fréchet algebras with the dominating norm property Tomasz Ciaś Faculty of Mathematics and Computer Science Adam Mickiewicz University in Poznań Poland Banach Algebras and Applications Oulu, July 3 11,
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 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 informationUnique ergodicity in C*-dynamical systems
Unique ergodicity in C*-dynamical systems by Daniël Willem van Wyk Submitted in partial fulfillment of the requirements for the degree Magister Scientiae in the Department of Mathematics and Applied Mathematics
More informationCLOSED GRAPH THEOREMS FOR BORNOLOGICAL SPACES
Khayyam J. Math. 2 (2016), no. 1, 81 111 CLOSED GRAPH THEOREMS FOR BORNOLOGICAL SPACES FEDERICO BAMBOZZI 1 Communicated by A. Peralta Abstract. The aim of this paper is that of discussing closed graph
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 information