Low distortion embeddings between C(K) spaces joint work with Luis Sánchez González

Size: px
Start display at page:

Download "Low distortion embeddings between C(K) spaces joint work with Luis Sánchez González"

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 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 information

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

Notions 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 information

FREE SPACES OVER SOME PROPER METRIC SPACES

FREE 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 information

MATH 4200 HW: PROBLEM SET FOUR: METRIC SPACES

MATH 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 information

Exam 2 extra practice problems

Exam 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 information

ASYMPTOTIC AND COARSE LIPSCHITZ STRUCTURES OF QUASI-REFLEXIVE BANACH SPACES

ASYMPTOTIC 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 information

A noncommutative Amir-Cambern Theorem

A 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 information

From 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.

From 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 information

Lipschitz p-convex and q-concave maps

Lipschitz 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 information

arxiv: v1 [math.fa] 18 Mar 2014

arxiv: 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 information

g 2 (x) (1/3)M 1 = (1/3)(2/3)M.

g 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 information

Free spaces and the approximation property

Free 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 information

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

MAT 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 information

Math 140A - Fall Final Exam

Math 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 information

Locally 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 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 information

Economics 204 Summer/Fall 2011 Lecture 5 Friday July 29, 2011

Economics 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 information

THE NON-LINEAR GEOMETRY OF BANACH SPACES AFTER NIGEL KALTON

THE 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 information

A SHORT COURSE ON NON LINEAR GEOMETRY OF BANACH SPACES

A 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 information

SUBSPACES 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 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 information

Analysis Finite and Infinite Sets The Real Numbers The Cantor Set

Analysis 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 information

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

Finite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product 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 information

Contraction Mappings Consider the equation

Contraction 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 information

Week 5 Lectures 13-15

Week 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 information

2.2 Annihilators, complemented subspaces

2.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 information

THEOREMS, ETC., FOR MATH 516

THEOREMS, 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 information

7 Complete metric spaces and function spaces

7 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 information

Math 209B Homework 2

Math 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 information

Math 5210, Definitions and Theorems on Metric Spaces

Math 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 information

Problem 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, 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 information

SOME BANACH SPACE GEOMETRY

SOME 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 information

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

Analysis 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 information

Generic objects in topology and functional analysis

Generic 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 information

MH 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. (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 information

Basic Properties of Metric and Normed Spaces

Basic 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 information

Math 5052 Measure Theory and Functional Analysis II Homework Assignment 7

Math 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 information

Honours Analysis III

Honours 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 information

Combinatorics in Banach space theory Lecture 12

Combinatorics 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 information

Continuous functions that are nowhere differentiable

Continuous 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 information

On metric characterizations of some classes of Banach spaces

On 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 information

Bounded uniformly continuous functions

Bounded 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 information

11 COMPLEX ANALYSIS IN C. 1.1 Holomorphic Functions

11 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 information

On Fréchet algebras with the dominating norm property

On 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 information

Stone-Čech compactification of Tychonoff spaces

Stone-Č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

ON THE STRUCTURE OF LIPSCHITZ-FREE SPACES

ON 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 information

Axioms of separation

Axioms 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 information

PROBLEMS. (b) (Polarization Identity) Show that in any inner product space

PROBLEMS. (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 information

THEOREMS, ETC., FOR MATH 515

THEOREMS, ETC., FOR MATH 515 THEOREMS, ETC., FOR MATH 515 Proposition 1 (=comment on page 17). If A is an algebra, then any finite union or finite intersection of sets in A is also in A. Proposition 2 (=Proposition 1.1). For every

More information

ON THE COMPOSITION OF DIFFERENTIABLE FUNCTIONS

ON 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 information

Summer Jump-Start Program for Analysis, 2012 Song-Ying Li. 1 Lecture 7: Equicontinuity and Series of functions

Summer 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 information

Most Continuous Functions are Nowhere Differentiable

Most 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 information

Chapter 3: Baire category and open mapping theorems

Chapter 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 information

arxiv: v1 [math.fa] 12 Jul 2012

arxiv: 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 information

11691 Review Guideline Real Analysis. Real Analysis. - According to Principles of Mathematical Analysis by Walter Rudin (Chapter 1-4)

11691 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 information

Continuous Functions on Metric Spaces

Continuous 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 information

A new characterization of weak compactness

A 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 information

Texas 2009 nonlinear problems

Texas 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 information

REPRESENTABLE BANACH SPACES AND UNIFORMLY GÂTEAUX-SMOOTH NORMS. Julien Frontisi

REPRESENTABLE 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 information

4. (alternate topological criterion) For each closed set V Y, its preimage f 1 (V ) is closed in X.

4. (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 information

Tools from Lebesgue integration

Tools 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 information

Non-linear factorization of linear operators

Non-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 information

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

Midterm 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 information

arxiv:math/ v1 [math.fa] 27 Feb 2006

arxiv: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 information

On 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 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 information

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

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 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 information

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

2 (Bonus). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure? 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 information

Notes for Functional Analysis

Notes 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 information

Functional Analysis HW #1

Functional Analysis HW #1 Functional Analysis HW #1 Sangchul Lee October 9, 2015 1 Solutions Solution of #1.1. Suppose that X

More information

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

d(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 information

Overview of normed linear spaces

Overview 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 information

A 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 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 information

Lecture Course. Functional Analysis

Lecture 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 information

AN EXPLORATION OF THE METRIZABILITY OF TOPOLOGICAL SPACES

AN 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 information

Introduction to Functional Analysis

Introduction 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 information

Functional Analysis Winter 2018/2019

Functional 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 information

INTRODUCTION TO TOPOLOGY, MATH 141, PRACTICE PROBLEMS

INTRODUCTION 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 information

Functional Analysis, Math 7320 Lecture Notes from August taken by Yaofeng Su

Functional 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 information

Banach Spaces II: Elementary Banach Space Theory

Banach 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 information

A characterisation of the Daugavet property in spaces of Lipschitz functions

A 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 information

B. Appendix B. Topological vector spaces

B. 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 information

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

Applied 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 information

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

3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure? 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 information

08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms

08a. 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 information

SOLUTIONS TO SOME PROBLEMS

SOLUTIONS 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 information

Continuity of convex functions in normed spaces

Continuity 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 information

Approximate 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 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 information

Set-Theoretic Geometry

Set-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 information

Hypographs of Upper Semi-continuous Maps and Continuous Maps on a Bounded Open Interval

Hypographs 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 information

MATH 202B - Problem Set 5

MATH 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 information

Spectral theory for linear operators on L 1 or C(K) spaces

Spectral 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 information

1.2 Fundamental Theorems of Functional Analysis

1.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 information

Solution Sheet 3. Solution Consider. with the metric. We also define a subset. and thus for any x, y X 0

Solution 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 information

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

1. Let A R be a nonempty set that is bounded from above, and let a be the least upper bound of A. Show that there exists a sequence {a n } n N Applied Analysis prelim July 15, 216, with solutions Solve 4 of the problems 1-5 and 2 of the problems 6-8. We will only grade the first 4 problems attempted from1-5 and the first 2 attempted from problems

More information

1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3

1 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 information

Midterm Exam Solutions February 27, 2009

Midterm 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 information

Your first day at work MATH 806 (Fall 2015)

Your 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 information

Isometries of spaces of unbounded continuous functions

Isometries 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 information

1.A Topological spaces The initial topology is called topology generated by (f i ) i I.

1.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 information

Some Applications of Fixed Point Theorem in Economics and Nonlinear Functional Analysis

Some 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 information

2.4 Annihilators, Complemented Subspaces

2.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 information

Functional Analysis. Martin Brokate. 1 Normed Spaces 2. 2 Hilbert Spaces The Principle of Uniform Boundedness 32

Functional 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