a separable fr chet space of almost universal disposition
play

A separable Frchet space of almost universal disposition Christian - PowerPoint PPT Presentation

A separable Frchet space of almost universal disposition Christian Bargetz joint work with Jerzy Kkol and Wiesaw Kubi University of Innsbruck Pawe Domaski Memorial Conference Bdlewo 17 July 2018 Notation Let E and F be Banach


  1. A separable Fréchet space of almost universal disposition Christian Bargetz joint work with Jerzy Kąkol and Wiesław Kubiś University of Innsbruck Paweł Domański Memorial Conference Będlewo 1–7 July 2018

  2. Notation Let E and F be Banach spaces. A linear mapping f : E → F , with � f ( x ) � F = � x � E for all x ∈ E is called an isometric embedding. Christian Bargetz (University of Innsbruck) A universal separable Fréchet space 2 / 17

  3. Notation Let E and F be Banach spaces. A linear mapping f : E → F , with � f ( x ) � F = � x � E for all x ∈ E is called an isometric embedding. Given ε > 0, a linear mapping ( 1 + ε ) − 1 � x � E ≤ � f ( x ) � F ≤ ( 1 + ε ) � x � E f : E → F , with for all x ∈ E is called an ε -isometric embedding. Christian Bargetz (University of Innsbruck) A universal separable Fréchet space 2 / 17

  4. A universal Banach space Theorem (Banach-Mazur, 1929) The space ( C [ 0 , 1 ] , � · � ∞ ) is universal for all separable Banach spaces. In other words, for every separable Banach space E there is an isometric embedding E ֒ → C [ 0 , 1 ] . Christian Bargetz (University of Innsbruck) A universal separable Fréchet space 3 / 17

  5. The Gurari˘ ı space In 1965, V. I. Gurari˘ ı constructed a separable Banach space with the following extension property. (G) For every ε > 0, for all finite dimensional normed spaces E ⊆ F , for every isometric embedding e : E → G there exists an ε -isometric embedding f : F → G such that f ↾ E = e . Christian Bargetz (University of Innsbruck) A universal separable Fréchet space 4 / 17

  6. The Gurari˘ ı space In 1965, V. I. Gurari˘ ı constructed a separable Banach space with the following extension property. (G) For every ε > 0, for all finite dimensional normed spaces E ⊆ F , for every isometric embedding e : E → G there exists an ε -isometric embedding f : F → G such that f ↾ E = e . In other words, E F e G Christian Bargetz (University of Innsbruck) A universal separable Fréchet space 4 / 17

  7. The Gurari˘ ı space In 1965, V. I. Gurari˘ ı constructed a separable Banach space with the following extension property. (G) For every ε > 0, for all finite dimensional normed spaces E ⊆ F , for every isometric embedding e : E → G there exists an ε -isometric embedding f : F → G such that f ↾ E = e . In other words, E F e f G Christian Bargetz (University of Innsbruck) A universal separable Fréchet space 4 / 17

  8. The Gurari˘ ı space In 1965, V. I. Gurari˘ ı constructed a separable Banach space with the following extension property. (G) For every ε > 0, for all finite dimensional normed spaces E ⊆ F , for every isometric embedding e : E → G there exists an ε -isometric embedding f : F → G such that f ↾ E = e . In other words, E F e f G In 1976, W. Lusky showed that (G) defines G uniquely up to isometry. Christian Bargetz (University of Innsbruck) A universal separable Fréchet space 4 / 17

  9. The Gurari˘ ı space In 1965, V. I. Gurari˘ ı constructed a separable Banach space with the following extension property. (G) For every ε > 0, for all finite dimensional normed spaces E ⊆ F , for every isometric embedding e : E → G there exists an ε -isometric embedding f : F → G such that f ↾ E = e . In other words, E F e f G In 1976, W. Lusky showed that (G) defines G uniquely up to isometry. A simpler proof: Kubiś and Solecki (2013) Christian Bargetz (University of Innsbruck) A universal separable Fréchet space 4 / 17

  10. Graded Fréchet spaces We consider Fréchet spaces with a fixed sequence of semi-norms. Christian Bargetz (University of Innsbruck) A universal separable Fréchet space 5 / 17

  11. Graded Fréchet spaces We consider Fréchet spaces with a fixed sequence of semi-norms. If in addition, � · � 1 ≤ � · � 2 ≤ . . . we call E a graded Fréchet space. Christian Bargetz (University of Innsbruck) A universal separable Fréchet space 5 / 17

  12. ( ε -)Isometries Let E and F be Fréchet spaces with fixed sequences of semi-norms. A linear mapping f : E → F , with � f ( x ) � F , i = � x � E , i for all i ∈ N and all x ∈ E is called an isometric embedding. Christian Bargetz (University of Innsbruck) A universal separable Fréchet space 6 / 17

  13. ( ε -)Isometries Let E and F be Fréchet spaces with fixed sequences of semi-norms. A linear mapping f : E → F , with � f ( x ) � F , i = � x � E , i for all i ∈ N and all x ∈ E is called an isometric embedding. Given ε > 0, a linear mapping ( 1 + ε ) − 1 � x � E , i ≤ � f ( x ) � F , i ≤ ( 1 + ε ) � x � E , i f : E → F , with for all i ∈ N and all x ∈ E is called an ε -isometric embedding. Christian Bargetz (University of Innsbruck) A universal separable Fréchet space 6 / 17

  14. A universal Fréchet space Theorem (Mazur-Orlicz, 1948) The space ( C ( R ) , {� · � i } i ∈ N ) , where � � � f � i := sup | f ( x ) | : x ∈ [ − i , i ] , is universal for all separable Fréchet spaces. In other words, for every separable Fréchet space E there is an isometric embedding E ֒ → C ( R ) . Christian Bargetz (University of Innsbruck) A universal separable Fréchet space 7 / 17

  15. Is there a Fréchet-Gurari˘ ı space? Question Is there an analogue of the Gurari˘ ı space for separable Fréchet spaces? Christian Bargetz (University of Innsbruck) A universal separable Fréchet space 8 / 17

  16. Is there a Fréchet-Gurari˘ ı space? Question Is there an analogue of the Gurari˘ ı space for separable Fréchet spaces? A natural candidate is G N . Can we find a suitable sequence of semi-norms on G N ? Christian Bargetz (University of Innsbruck) A universal separable Fréchet space 8 / 17

  17. Connecting to the Banach space setting Let ( E , {� · �} i ∈ N ) be a finite dimensional graded Fréchet space. Christian Bargetz (University of Innsbruck) A universal separable Fréchet space 9 / 17

  18. Connecting to the Banach space setting Let ( E , {� · �} i ∈ N ) be a finite dimensional graded Fréchet space. Observations: ker � · � i = { x ∈ E : � x � i = 0 } is a subspace. Christian Bargetz (University of Innsbruck) A universal separable Fréchet space 9 / 17

  19. Connecting to the Banach space setting Let ( E , {� · �} i ∈ N ) be a finite dimensional graded Fréchet space. Observations: ker � · � i = { x ∈ E : � x � i = 0 } is a subspace. � · � i is a norm on E i := E / ker � · � i . Christian Bargetz (University of Innsbruck) A universal separable Fréchet space 9 / 17

  20. Connecting to the Banach space setting Let ( E , {� · �} i ∈ N ) be a finite dimensional graded Fréchet space. Observations: ker � · � i = { x ∈ E : � x � i = 0 } is a subspace. � · � i is a norm on E i := E / ker � · � i . ( E i , � · � i ) is a Banach space and � E ֒ → E i and E i + 1 ։ E i i Christian Bargetz (University of Innsbruck) A universal separable Fréchet space 9 / 17

  21. Connecting to the Banach space setting Let ( E , {� · �} i ∈ N ) be a finite dimensional graded Fréchet space. Observations: ker � · � i = { x ∈ E : � x � i = 0 } is a subspace. � · � i is a norm on E i := E / ker � · � i . ( E i , � · � i ) is a Banach space and � E ֒ → E i and E i + 1 ։ E i i If f : E → F is ( ε -)isometric, so is f i : E i → F i , defined by f E F can can f i E i F i Christian Bargetz (University of Innsbruck) A universal separable Fréchet space 9 / 17

  22. An important tool: A universal operator on G There exists a non-expansive linear operator π : G → G with ker π ≃ G and Christian Bargetz (University of Innsbruck) A universal separable Fréchet space 10 / 17

  23. An important tool: A universal operator on G There exists a non-expansive linear operator π : G → G with ker π ≃ G and 1 For every separable Banach space X and � T � ≤ 1, π G G T X Christian Bargetz (University of Innsbruck) A universal separable Fréchet space 10 / 17

  24. An important tool: A universal operator on G There exists a non-expansive linear operator π : G → G with ker π ≃ G and 1 For every separable Banach space X and � T � ≤ 1, ∃ i π G G T i X Christian Bargetz (University of Innsbruck) A universal separable Fréchet space 10 / 17

  25. An important tool: A universal operator on G There exists a non-expansive linear operator π : G → G with ker π ≃ G and 1 For every separable Banach space X and � T � ≤ 1, ∃ i π G G T i X 2 ∀ ε > 0, E ⊆ F finite dimensional Banach spaces, � T � ≤ 1, π G G e T E F Christian Bargetz (University of Innsbruck) A universal separable Fréchet space 10 / 17

  26. An important tool: A universal operator on G There exists a non-expansive linear operator π : G → G with ker π ≃ G and 1 For every separable Banach space X and � T � ≤ 1, ∃ i π G G T i X 2 ∀ ε > 0, E ⊆ F finite dimensional Banach spaces, � T � ≤ 1, ∃ f π G G f e T E F Christian Bargetz (University of Innsbruck) A universal separable Fréchet space 10 / 17

Recommend


More recommend