Low distortion embeddings between C(K) spaces joint work with Luis Sánchez González
|
|
- Meghan Davis
- 5 years ago
- Views:
Transcription
1 Low distortion embeddings between C(K) spaces joint work with Luis Sánchez González Tony Procházka Université de Franche-Comté August 2014 First Brazilian Workshop in Geometry of Banach Spaces Maresias
2 Introduction If K and L are homeomorphic, then C(K) and C(L) are isometrically isomorphic.
3 Introduction If K and L are homeomorphic, then C(K) and C(L) are isometrically isomorphic. If C(K) and C(L) are isometrically isomorphic, then K and L are homeomorphic. (Banach-Stone, 1937).
4 Introduction If K and L are homeomorphic, then C(K) and C(L) are isometrically isomorphic. If C(K) and C(L) are isometrically isomorphic, then K and L are homeomorphic. (Banach-Stone, 1937). If there is a linear isomorphism f : C(K) C(L) such that f f 1 < 2, then K and L are homeomorphic (Amir-Cambern, 1965).
5 Introduction If K and L are homeomorphic, then C(K) and C(L) are isometrically isomorphic. If C(K) and C(L) are isometrically isomorphic, then K and L are homeomorphic. (Banach-Stone, 1937). If there is a linear isomorphism f : C(K) C(L) such that f f 1 < 2, then K and L are homeomorphic (Amir-Cambern, 1965). If there is a Lipschitz homeomorphism f : C(K) C(L) such that f Lip f 1 Lip < 1 + ε, then K and L are homeomorphic (Jarosz, 1989).
6 Introduction If K and L are homeomorphic, then C(K) and C(L) are isometrically isomorphic. If C(K) and C(L) are isometrically isomorphic, then K and L are homeomorphic. (Banach-Stone, 1937). If there is a linear isomorphism f : C(K) C(L) such that f f 1 < 2, then K and L are homeomorphic (Amir-Cambern, 1965). If there is a Lipschitz homeomorphism f : C(K) C(L) such that f Lip f 1 Lip < 1 + ε, then K and L are homeomorphic (Jarosz, 1989). efinition (Lipschitz embedding/homeomorphism) Let (M, d) be a metric space and (X, ) a Banach space. We denote f : M X if d(x, y) f(x) f(y) d(x, y). Equivalent to f Lip f 1 Lip up to a scalar multiple of f.
7 Introduction If K and L are homeomorphic, then C(K) and C(L) are isometrically isomorphic. If C(K) and C(L) are isometrically isomorphic, then K and L are homeomorphic. (Banach-Stone, 1937). If there is a linear isomorphism f : C(K) C(L) such that f f 1 < 2, then K and L are homeomorphic (Amir-Cambern, 1965). If there is a Lipschitz homeomorphism f : C(K) C(L) such that f Lip f 1 Lip < 17 16, then K and L are homeomorphic (utrieux, Kalton, 2005). efinition (Lipschitz embedding/homeomorphism) Let (M, d) be a metric space and (X, ) a Banach space. We denote f : M X if d(x, y) f(x) f(y) d(x, y). Equivalent to f Lip f 1 Lip up to a scalar multiple of f.
8 Introduction If K and L are homeomorphic, then C(K) and C(L) are isometrically isomorphic. If C(K) and C(L) are isometrically isomorphic, then K and L are homeomorphic. (Banach-Stone, 1937). If there is a linear isomorphism f : C(K) C(L) such that f f 1 < 2, then K and L are homeomorphic (Amir-Cambern, 1965). If there is a Lipschitz homeomorphism f : C(K) C(L) such that f Lip f 1 Lip < 6 5, then K and L are homeomorphic (Górak, 2011). efinition (Lipschitz embedding/homeomorphism) Let (M, d) be a metric space and (X, ) a Banach space. We denote f : M X if d(x, y) f(x) f(y) d(x, y). Equivalent to f Lip f 1 Lip up to a scalar multiple of f.
9 A countable compact K is always homeomorphic to [0, ω α n] where K (α+1) = and 1 n = K (α) (Mazurkiewicz-Sierpiński).
10 A countable compact K is always homeomorphic to [0, ω α n] where K (α+1) = and 1 n = K (α) (Mazurkiewicz-Sierpiński). Górak for countable compacts: If α β or n m, then there is no Lipschitz homeomorphism f : C([0, ω α n]) C([0, ω β m]) such that f Lip f 1 Lip < 6 5. Theorem Let α < ω 1 and β < ω α. Then there is no Lipschitz embedding f : C([0, ω α ]) C([0, β]) such that f Lip f 1 Lip < 2.
11 A countable compact K is always homeomorphic to [0, ω α n] where K (α+1) = and 1 n = K (α) (Mazurkiewicz-Sierpiński). Górak for countable compacts: If α β or n m, then there is no Lipschitz homeomorphism f : C([0, ω α n]) C([0, ω β m]) such that f Lip f 1 Lip < 6 5. Theorem Let α < ω 1 and β < ω α. Then there is no Lipschitz embedding f : C([0, ω α ]) C([0, β]) such that f Lip f 1 Lip < 2. In particular if α β < ω 1 then, for any n, m N, there is no Lipschitz homeomorphism f : C([0, ω α m]) C([0, ω β n]) such that f Lip f 1 Lip < 2.
12 Another angle Aharoni (1974), 2 M separable metric sp.: M c 0.
13 Another angle Aharoni (1974), 2 M separable metric sp.: M c 0. Kalton-Lancien (2008) = 2.
14 Another angle Aharoni (1974), 2 M separable metric sp.: M c 0. Kalton-Lancien (2008) = 2. Baudier (2013): what if we replace c 0 by C(K)?
15 Another angle Aharoni (1974), 2 M separable metric sp.: M c 0. Kalton-Lancien (2008) = 2. Baudier (2013): what if we replace c 0 by C(K)? A.P., L. Sánchez (2013): M countable metric sp. s.t. M X, < 2 X not Asplund.
16 Another angle Aharoni (1974), 2 M separable metric sp.: M c 0. Kalton-Lancien (2008) = 2. Baudier (2013): what if we replace c 0 by C(K)? A.P., L. Sánchez (2013): M countable metric sp. s.t. M X, < 2 X not Asplund. Where does M live?
17 Another angle Aharoni (1974), 2 M separable metric sp.: M c 0. Kalton-Lancien (2008) = 2. Baudier (2013): what if we replace c 0 by C(K)? A.P., L. Sánchez (2013): M countable metric sp. s.t. M X, < 2 X not Asplund. Where does M live? Proposition For α < ω 1 M α C([0, ω α ]) countable uniformly discrete s.t. M C(K), < 2 K (α).
18 Another angle Aharoni (1974), 2 M separable metric sp.: M c 0. Kalton-Lancien (2008) = 2. Baudier (2013): what if we replace c 0 by C(K)? A.P., L. Sánchez (2013): M countable metric sp. s.t. M X, < 2 X not Asplund. Where does M live? Proposition For α < ω 1 M α C([0, ω α ]) countable uniformly discrete s.t. M C(K), < 2 K (α). Corollary If M ω α X, < 2, then Sz(X) ω α+1.
19 More about M
20 More about M Theorem There exists a countable metric space M such that if M X, < 2, then l 1 X.
21 More about M Theorem There exists a countable metric space M such that if M X, < 2, then l 1 X. Also, if M l 1, then 2.
22 More about M Theorem There exists a countable metric space M such that if M X, < 2, then l 1 X. Also, if M l 1, then 2. But...
23 More about M Theorem There exists a countable metric space M such that if M X, < 2, then l 1 X. Also, if M l 1, then 2. But... there is an equivalent norm on l 1 such that M 1 (l 1, ).
24 The unwieldy metric space M
25 The unwieldy metric graph M
26 The unwieldy metric graph M {1, 3, 2, 4} {1, 3, 2} {1, 2, 4} {1, 3, 4} {3, 2, 4} {1, 4} {1, 2} {1, 3} {3, 2} {2, 4} {3, 4} M = { } N F where F = {A N : 2 A < }
27 The unwieldy metric graph M {1, 3, 2, 4} {1, 3, 2} {1, 2, 4} {1, 3, 4} {3, 2, 4} {1, 4} {1, 2} {1, 3} {3, 2} {2, 4} {3, 4} M = { } N F where F = {A N : 2 A < } (a, b) is an edge iff a = and b N
28 The unwieldy metric graph M {1, 3, 2, 4} {1, 3, 2} {1, 2, 4} {1, 3, 4} {3, 2, 4} {1, 4} {1, 2} {1, 3} {3, 2} {2, 4} {3, 4} M = { } N F where F = {A N : 2 A < } (a, b) is an edge iff a = and b N or a N, b F and a b
29 Proof of M X, < 2 l 1 X
30 Proof of M X, < 2 l 1 X Assume f : M X, < 2.
31 Proof of M X, < 2 l 1 X Assume f : M X, < 2. Put x k := f(k) k N
32 Proof of M X, < 2 l 1 X Assume f : M X, < 2. Put x k := f(k) k N Claim: No subsequence of (x k ) is weakly Cauchy.
33 Proof of M X, < 2 l 1 X Assume f : M X, < 2. Put x k := f(k) k N Claim: No subsequence of (x k ) is weakly Cauchy. Indeed, let (k n ) N be given.
34 Proof of M X, < 2 l 1 X Assume f : M X, < 2. Put x k := f(k) k N Claim: No subsequence of (x k ) is weakly Cauchy. Indeed, let (k n ) N be given. Put A N = {k 2n : n N} and B N = {k 2n 1 : n N} N N.
35 Proof of M X, < 2 l 1 X Assume f : M X, < 2. Put x k := f(k) k N Claim: No subsequence of (x k ) is weakly Cauchy. Indeed, let (k n ) N be given. Put A N = {k 2n : n N} and B N = {k 2n 1 : n N} N N. Put X a,b = {x B X : x, f(a) f(b) 4 2}.
36 Proof of M X, < 2 l 1 X Assume f : M X, < 2. Put x k := f(k) k N Claim: No subsequence of (x k ) is weakly Cauchy. Indeed, let (k n ) N be given. Put A N = {k 2n : n N} and B N = {k 2n 1 : n N} N N. Put X a,b = {x B X : x, f(a) f(b) 4 2}. Then n N K n := a A n,b B n X a,b.
37 Proof of M X, < 2 l 1 X Assume f : M X, < 2. Put x k := f(k) k N Claim: No subsequence of (x k ) is weakly Cauchy. Indeed, let (k n ) N be given. Put A N = {k 2n : n N} and B N = {k 2n 1 : n N} N N. Put X a,b = {x B X : x, f(a) f(b) 4 2}. Then n N K n := a A n,b B n X a,b. (K n ) is a decreasing sequence of non-empty w -compacts
38 Proof of M X, < 2 l 1 X Assume f : M X, < 2. Put x k := f(k) k N Claim: No subsequence of (x k ) is weakly Cauchy. Indeed, let (k n ) N be given. Put A N = {k 2n : n N} and B N = {k 2n 1 : n N} N N. Put X a,b = {x B X : x, f(a) f(b) 4 2}. Then n N K n := a A n,b B n X a,b. (K n ) is a decreasing sequence of non-empty w -compacts x n=1 K n
39 Proof of M X, < 2 l 1 X Assume f : M X, < 2. Put x k := f(k) k N Claim: No subsequence of (x k ) is weakly Cauchy. Indeed, let (k n ) N be given. Put A N = {k 2n : n N} and B N = {k 2n 1 : n N} N N. Put X a,b = {x B X : x, f(a) f(b) 4 2}. Then n N K n := a A n,b B n X a,b. (K n ) is a decreasing sequence of non-empty w -compacts x n=1 K n x, x k2n x k2n+1 4 2
40 Proof of M X, < 2 l 1 X Assume f : M X, < 2. Put x k := f(k) k N Claim: No subsequence of (x k ) is weakly Cauchy. Indeed, let (k n ) N be given. Put A N = {k 2n : n N} and B N = {k 2n 1 : n N} N N. Put X a,b = {x B X : x, f(a) f(b) 4 2}. Then n N K n := a A n,b B n X a,b. (K n ) is a decreasing sequence of non-empty w -compacts x n=1 K n x, x k2n x k2n (x kn ) n is not weakly Cauchy+Rosenthal s theorem l 1 X
41 Left open Fully non-linear Amir-Cambern? At least for scattered compacta?
42 Left open Fully non-linear Amir-Cambern? At least for scattered compacta? Is it true that l 1 X, < 2, implies that l 1 X?
43 Autumn 2014: Thematic trimester at the Université de Franche-Comté Geometric and noncommutative methods in functional analysis
Selçuk Demir WS 2017 Functional Analysis Homework Sheet
Selçuk Demir WS 2017 Functional Analysis Homework Sheet 1. Let M be a metric space. If A M is non-empty, we say that A is bounded iff diam(a) = sup{d(x, y) : x.y A} exists. Show that A is bounded iff there
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 informationFREE SPACES OVER SOME PROPER METRIC SPACES
FREE SPACES OVER SOME PROPER METRIC SPACES A. DALET Abstract. We prove that the Lipschitz-free space over a countable proper metric space is isometric to a dual space and has the metric approximation property.
More informationMATH 4200 HW: PROBLEM SET FOUR: METRIC SPACES
MATH 4200 HW: PROBLEM SET FOUR: METRIC SPACES PETE L. CLARK 4. Metric Spaces (no more lulz) Directions: This week, please solve any seven problems. Next week, please solve seven more. Starred parts of
More informationExam 2 extra practice problems
Exam 2 extra practice problems (1) If (X, d) is connected and f : X R is a continuous function such that f(x) = 1 for all x X, show that f must be constant. Solution: Since f(x) = 1 for every x X, either
More informationASYMPTOTIC AND COARSE LIPSCHITZ STRUCTURES OF QUASI-REFLEXIVE BANACH SPACES
ASYMPTOTIC AND COARSE LIPSCHITZ STRUCTURES OF QUASI-REFLEXIVE BANACH SPACES G. LANCIEN AND M. RAJA Abstract. In this note, we extend to the setting of quasi-reflexive spaces a classical result of N. Kalton
More informationA noncommutative Amir-Cambern Theorem
supported by JSPS University of Waterloo, Banach Algebras 2011 Amir-Cambern Theorem Th. (Banach-Stone 37) : Let T : C(K 1 ) C(K 2 ) surjective linear isometry. Then u C(K 2, T) and τ : K 2 K 1 homeomorphism
More informationFrom now on, we will represent a metric space with (X, d). Here are some examples: i=1 (x i y i ) p ) 1 p, p 1.
Chapter 1 Metric spaces 1.1 Metric and convergence We will begin with some basic concepts. Definition 1.1. (Metric space) Metric space is a set X, with a metric satisfying: 1. d(x, y) 0, d(x, y) = 0 x
More informationLipschitz p-convex and q-concave maps
Lipschitz p-convex and q-concave maps J. Alejandro Chávez-Domínguez Instituto de Ciencias Matemáticas, CSIC-UAM-UCM-UC3M, Madrid and Department of Mathematics, University of Texas at Austin Conference
More informationarxiv: v1 [math.fa] 18 Mar 2014
THE METRIC GEOMETRY OF THE HAMMING CUBE AND APPLICATIONS F. BAUDIER, D. FREEMAN, TH. SCHLUMPRECHT, AND A. ZSÁK arxiv:1403.4376v1 [math.fa] 18 Mar 2014 Abstract. The Lipschitz geometry of segments of the
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 informationFree spaces and the approximation property
Free spaces and the approximation property Gilles Godefroy Institut de Mathématiques de Jussieu Paris Rive Gauche (CNRS & UPMC-Université Paris-06) September 11, 2015 Gilles Godefroy (IMJ-PRG) Free spaces
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 informationMath 140A - Fall Final Exam
Math 140A - Fall 2014 - Final Exam Problem 1. Let {a n } n 1 be an increasing sequence of real numbers. (i) If {a n } has a bounded subsequence, show that {a n } is itself bounded. (ii) If {a n } has a
More informationLocally uniformly rotund renormings of the spaces of continuous functions on Fedorchuk compacts
Locally uniformly rotund renormings of the spaces of continuous functions on Fedorchuk compacts S.TROYANSKI, Institute of Mathematics, Bulgarian Academy of Science joint work with S. P. GUL KO, Faculty
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 informationTHE NON-LINEAR GEOMETRY OF BANACH SPACES AFTER NIGEL KALTON
ROCKY MOUNTAIN JOURNAL OF MATHEMATICS Volume 44, Number 5, 2014 THE NON-LINEAR GEOMETRY OF BANACH SPACES AFTER NIGEL KALTON G. GODEFROY, G. LANCIEN AND V. ZIZLER Dedicated to the memory of Nigel J. Kalton
More informationA SHORT COURSE ON NON LINEAR GEOMETRY OF BANACH SPACES
A SHORT COURSE ON NON LINEAR GEOMETRY OF BANACH SPACES G. LANCIEN Abstract. In this course we show how some linear properties of Banach spaces, in particular properties related to the asymptotic structure
More informationSUBSPACES OF c 0 (IN) AND LIPSCHITZ ISOMORPHISMS Gilles GODEFROY, Nigel KALTON, Gilles LANCIEN
SUBSPACES OF c 0 (IN) AND LIPSCHITZ ISOMORPHISMS Gilles GODEFROY, Nigel KALTON, Gilles LANCIEN Abstract We show that the class of subspaces of c 0 (IN) is stable under Lipschitz isomorphisms. The main
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 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 informationContraction Mappings Consider the equation
Contraction Mappings Consider the equation x = cos x. If we plot the graphs of y = cos x and y = x, we see that they intersect at a unique point for x 0.7. This point is called a fixed point of the function
More informationWeek 5 Lectures 13-15
Week 5 Lectures 13-15 Lecture 13 Definition 29 Let Y be a subset X. A subset A Y is open in Y if there exists an open set U in X such that A = U Y. It is not difficult to show that the collection of all
More information2.2 Annihilators, complemented subspaces
34CHAPTER 2. WEAK TOPOLOGIES, REFLEXIVITY, ADJOINT OPERATORS 2.2 Annihilators, complemented subspaces Definition 2.2.1. [Annihilators, Pre-Annihilators] Assume X is a Banach space. Let M X and N X. We
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 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 informationMath 209B Homework 2
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
More informationMath 5210, Definitions and Theorems on Metric Spaces
Math 5210, Definitions and Theorems on Metric Spaces Let (X, d) be a metric space. We will use the following definitions (see Rudin, chap 2, particularly 2.18) 1. Let p X and r R, r > 0, The ball of radius
More informationProblem set 5, Real Analysis I, Spring, otherwise. (a) Verify that f is integrable. Solution: Compute since f is even, 1 x (log 1/ x ) 2 dx 1
Problem set 5, Real Analysis I, Spring, 25. (5) Consider the function on R defined by f(x) { x (log / x ) 2 if x /2, otherwise. (a) Verify that f is integrable. Solution: Compute since f is even, R f /2
More informationSOME BANACH SPACE GEOMETRY
SOME BANACH SPACE GEOMETRY SVANTE JANSON 1. Introduction I have collected some standard facts about Banach spaces from various sources, see the references below for further results. Proofs are only given
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 informationGeneric objects in topology and functional analysis
Generic objects in topology and functional analysis Wiesław Kubiś Institute of Mathematics, Czech Academy of Sciences and Cardinal Stefan Wyszyński University in Warsaw, Poland 46th Winter School in Abstract
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 informationBasic Properties of Metric and Normed Spaces
Basic Properties of Metric and Normed Spaces Computational and Metric Geometry Instructor: Yury Makarychev The second part of this course is about metric geometry. We will study metric spaces, low distortion
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 informationHonours Analysis III
Honours Analysis III Math 354 Prof. Dmitry Jacobson Notes Taken By: R. Gibson Fall 2010 1 Contents 1 Overview 3 1.1 p-adic Distance............................................ 4 2 Introduction 5 2.1 Normed
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 informationContinuous functions that are nowhere differentiable
Continuous functions that are nowhere differentiable S. Kesavan The Institute of Mathematical Sciences, CIT Campus, Taramani, Chennai - 600113. e-mail: kesh @imsc.res.in Abstract It is shown that the existence
More informationOn metric characterizations of some classes of Banach spaces
On metric characterizations of some classes of Banach spaces Mikhail I. Ostrovskii January 12, 2011 Abstract. The first part of the paper is devoted to metric characterizations of Banach spaces with no
More informationBounded uniformly continuous functions
Bounded uniformly continuous functions Objectives. To study the basic properties of the C -algebra of the bounded uniformly continuous functions on some metric space. Requirements. Basic concepts of analysis:
More information11 COMPLEX ANALYSIS IN C. 1.1 Holomorphic Functions
11 COMPLEX ANALYSIS IN C 1.1 Holomorphic Functions A domain Ω in the complex plane C is a connected, open subset of C. Let z o Ω and f a map f : Ω C. We say that f is real differentiable at z o if there
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 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 informationON THE STRUCTURE OF LIPSCHITZ-FREE SPACES
ON THE STRUCTURE OF LIPSCHITZ-FREE SPACES MAREK CÚTH, MICHAL DOUCHA, AND PRZEMYS LAW WOJTASZCZYK Abstract. In this note we study the structure of Lipschitz-free Banach spaces. We show that every Lipschitz-free
More informationAxioms of separation
Axioms of separation These notes discuss the same topic as Sections 31, 32, 33, 34, 35, and also 7, 10 of Munkres book. Some notions (hereditarily normal, perfectly normal, collectionwise normal, monotonically
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 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 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 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 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 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 informationarxiv: v1 [math.fa] 12 Jul 2012
THE NON-LINEAR GEOMETRY OF BANACH SPACES AFTER NIGEL KALTON arxiv:1207.2958v1 [math.fa] 12 Jul 2012 G. GODEFROY, G. LANCIEN, AND V. ZIZLER Dedicated to the memory of Nigel J. Kalton Abstract. This is a
More information11691 Review Guideline Real Analysis. Real Analysis. - According to Principles of Mathematical Analysis by Walter Rudin (Chapter 1-4)
Real Analysis - According to Principles of Mathematical Analysis by Walter Rudin (Chapter 1-4) 1 The Real and Complex Number Set: a collection of objects. Proper subset: if A B, then call A a proper subset
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 informationA new characterization of weak compactness
A new characterization of weak compactness & Valdir Ferreira Conference on NonLinear Functional Analysis 5 th Workshop on Functional Analysis Valencia, 17 20 October 2017 Universidade Federal do Ceará,
More informationTexas 2009 nonlinear problems
Texas 2009 nonlinear problems Workshop in Analysis and Probability August 2009, Texas A & M University, last update 07/28/2018 Abstract: This is a collection of problems suggested at two meetings of the
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 information4. (alternate topological criterion) For each closed set V Y, its preimage f 1 (V ) is closed in X.
Chapter 2 Functions 2.1 Continuous functions Definition 2.1. Let (X, d X ) and (Y,d Y ) be metric spaces. A function f : X! Y is continuous at x 2 X if for each " > 0 there exists >0 with the property
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 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 informationMidterm 1. Every element of the set of functions is continuous
Econ 200 Mathematics for Economists Midterm Question.- Consider the set of functions F C(0, ) dened by { } F = f C(0, ) f(x) = ax b, a A R and b B R That is, F is a subset of the set of continuous functions
More informationarxiv:math/ v1 [math.fa] 27 Feb 2006
arxiv:math/0602628v1 [math.fa] 27 Feb 2006 Linearly ordered compacta and Banach spaces with a projectional resolution of the identity Wies law Kubiś Instytut Matematyki, Akademia Świȩtokrzyska ul. Świȩtokrzyska
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 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 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 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 informationFunctional Analysis HW #1
Functional Analysis HW #1 Sangchul Lee October 9, 2015 1 Solutions Solution of #1.1. Suppose that X
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 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 informationA Primer on Lipschitz Functions by Robert Dr. Bob Gardner Revised and Corrected, Fall 2013
A Primer on Lipschitz Functions by Robert Dr. Bob Gardner Revised and Corrected, Fall 2013 Note. The purpose of these notes is to contrast the behavior of functions of a real variable and functions of
More informationLecture Course. Functional Analysis
MATHEMATISCHES INSTITUT PROF. DR. PETER MÜLLER Summer Term 2013 Lecture Course Functional Analysis Typesetting by Kilian Lieret and Marcel Schaub If you find mistakes, I would appreciate getting a short
More informationAN EXPLORATION OF THE METRIZABILITY OF TOPOLOGICAL SPACES
AN EXPLORATION OF THE METRIZABILITY OF TOPOLOGICAL SPACES DUSTIN HEDMARK Abstract. A study of the conditions under which a topological space is metrizable, concluding with a proof of the Nagata Smirnov
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 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 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 informationFunctional Analysis, Math 7320 Lecture Notes from August taken by Yaofeng Su
Functional Analysis, Math 7320 Lecture Notes from August 30 2016 taken by Yaofeng Su 1 Essentials of Topology 1.1 Continuity Next we recall a stronger notion of continuity: 1.1.1 Definition. Let (X, d
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 characterisation of the Daugavet property in spaces of Lipschitz functions
A characterisation of the Daugavet property in spaces of Lipschitz functions Luis C. García-Lirola Joint work with Antonin Procházka and Abraham Rueda Zoca Universidad de Murcia Septièmes journées Besançon-Neuchâtel
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 informationApplied Analysis (APPM 5440): Final exam 1:30pm 4:00pm, Dec. 14, Closed books.
Applied Analysis APPM 44: Final exam 1:3pm 4:pm, Dec. 14, 29. Closed books. Problem 1: 2p Set I = [, 1]. Prove that there is a continuous function u on I such that 1 ux 1 x sin ut 2 dt = cosx, x I. Define
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 information08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms
(February 24, 2017) 08a. Operators on Hilbert spaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 2016-17/08a-ops
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 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 informationApproximate identities and BSE norms for Banach function algebras. H. G. Dales, Lancaster
Approximate identities and BSE norms for Banach function algebras H. G. Dales, Lancaster Work with Ali Ülger, Istanbul Fields Institute, Toronto 14 April 2014 Dedicated to Dona Strauss on the day of her
More informationSet-Theoretic Geometry
Set-Theoretic Geometry Outline of Talk 1. The Filippov space under CH 2. Its demise under PFA and its survival under MA 3. Smooth arcs in the plane 4. Some questions All spaces are T 3 (Hausdorff and regular);
More informationHypographs of Upper Semi-continuous Maps and Continuous Maps on a Bounded Open Interval
American Journal of Applied Mathematics 216; 42): 75-79 http://www.sciencepublishinggroup.com/j/ajam doi: 1.11648/j.ajam.21642.12 ISSN: 233-43 Print); ISSN: 233-6X Online) Hypographs of Upper Semi-continuous
More informationMATH 202B - Problem Set 5
MATH 202B - Problem Set 5 Walid Krichene (23265217) March 6, 2013 (5.1) Show that there exists a continuous function F : [0, 1] R which is monotonic on no interval of positive length. proof We know there
More informationSpectral theory for linear operators on L 1 or C(K) spaces
Spectral theory for linear operators on L 1 or C(K) spaces Ian Doust, Florence Lancien, and Gilles Lancien Abstract It is known that on a Hilbert space, the sum of a real scalar-type operator and a commuting
More information1.2 Fundamental Theorems of Functional Analysis
1.2 Fundamental Theorems of Functional Analysis 15 Indeed, h = ω ψ ωdx is continuous compactly supported with R hdx = 0 R and thus it has a unique compactly supported primitive. Hence fφ dx = f(ω ψ ωdy)dx
More informationSolution Sheet 3. Solution Consider. with the metric. We also define a subset. and thus for any x, y X 0
Solution Sheet Throughout this sheet denotes a domain of R n with sufficiently smooth boundary. 1. Let 1 p
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 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 informationMidterm Exam Solutions February 27, 2009
Midterm Exam Solutions February 27, 2009 (24. Deine each o the ollowing statements. You may assume that everyone knows the deinition o a topological space and a linear space. (4 a. X is a compact topological
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 informationIsometries of spaces of unbounded continuous functions
Isometries of spaces of unbounded continuous functions Jesús Araujo University of Cantabria, Spain Krzysztof Jarosz Southern Illinois University at Edwardsville, USA Abstract. By the classical Banach-Stone
More information1.A Topological spaces The initial topology is called topology generated by (f i ) i I.
kechris.tex December 12, 2012 Classical descriptive set theory Notes from [Ke]. 1 1 Polish spaces 1.1 Topological and metric spaces 1.A Topological spaces The initial topology is called topology generated
More informationSome Applications of Fixed Point Theorem in Economics and Nonlinear Functional Analysis
International Mathematical Forum, 5, 2010, no. 49, 2407-2414 Some Applications of Fixed Point Theorem in Economics and Nonlinear Functional Analysis S. A. R. Hosseiniun Facualty of Mathematical Sciences
More information2.4 Annihilators, Complemented Subspaces
40 CHAPTER 2. WEAK TOPOLOGIES AND REFLEXIVITY 2.4 Annihilators, Complemented Subspaces Definition 2.4.1. (Annihilators, Pre-Annihilators) Assume X is a Banach space. Let M X and N X. We call the annihilator
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 information