Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro...
Transcript of Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro...
![Page 1: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/1.jpg)
Feliz aniversario, Stefan!
Leandro F. Aurichi
ICMC-USP
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 1 / 23
![Page 2: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/2.jpg)
O aniversariante
Stefan Banach 30 de marco de 1892 - 31 de agosto de 1935
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 2 / 23
![Page 3: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/3.jpg)
O que ele fez?
Entre 1929 e 1932, ele escreveu o livro “Theorie des operations lineaires”.Nele aparece o conceito que hoje chamamos de espacos de Banach.Grosso modo, um espaco de Banach e um espaco vetorial com uma nocao dedistancia (norma) muito boa com relacao a sequencias: todas as sequencias quetem chance de convergir, de fato convergem.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 3 / 23
![Page 4: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/4.jpg)
O que ele fez?
Entre 1929 e 1932, ele escreveu o livro “Theorie des operations lineaires”.
Nele aparece o conceito que hoje chamamos de espacos de Banach.Grosso modo, um espaco de Banach e um espaco vetorial com uma nocao dedistancia (norma) muito boa com relacao a sequencias: todas as sequencias quetem chance de convergir, de fato convergem.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 3 / 23
![Page 5: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/5.jpg)
O que ele fez?
Entre 1929 e 1932, ele escreveu o livro “Theorie des operations lineaires”.Nele aparece o conceito que hoje chamamos de espacos de Banach.
Grosso modo, um espaco de Banach e um espaco vetorial com uma nocao dedistancia (norma) muito boa com relacao a sequencias: todas as sequencias quetem chance de convergir, de fato convergem.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 3 / 23
![Page 6: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/6.jpg)
O que ele fez?
Entre 1929 e 1932, ele escreveu o livro “Theorie des operations lineaires”.Nele aparece o conceito que hoje chamamos de espacos de Banach.Grosso modo, um espaco de Banach e um espaco vetorial com uma nocao dedistancia (norma) muito boa com relacao a sequencias: todas as sequencias quetem chance de convergir, de fato convergem.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 3 / 23
![Page 7: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/7.jpg)
Novidade?
Essas nocoes ja eram conhecidas na epoca, mas foi o “balanco” que tornou issoespecial.
Por um lado, essas nocoes sao fortes o suficiente para se provar muitas coisas.Por outro lado, sao gerais o suficiente para muitos dos espacos importantes emmatematica satisfazerem.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 4 / 23
![Page 8: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/8.jpg)
Novidade?
Essas nocoes ja eram conhecidas na epoca, mas foi o “balanco” que tornou issoespecial.Por um lado, essas nocoes sao fortes o suficiente para se provar muitas coisas.
Por outro lado, sao gerais o suficiente para muitos dos espacos importantes emmatematica satisfazerem.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 4 / 23
![Page 9: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/9.jpg)
Novidade?
Essas nocoes ja eram conhecidas na epoca, mas foi o “balanco” que tornou issoespecial.Por um lado, essas nocoes sao fortes o suficiente para se provar muitas coisas.Por outro lado, sao gerais o suficiente para muitos dos espacos importantes emmatematica satisfazerem.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 4 / 23
![Page 10: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/10.jpg)
Impacto
Entre outras coisas, isso e um dos marcos do que se entende por analise funcionalhoje em dia.Cai em exames de qualificacao de doutorado de certos institutos de matematica.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 5 / 23
![Page 11: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/11.jpg)
Impacto
Entre outras coisas, isso e um dos marcos do que se entende por analise funcionalhoje em dia.
Cai em exames de qualificacao de doutorado de certos institutos de matematica.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 5 / 23
![Page 12: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/12.jpg)
Impacto
Entre outras coisas, isso e um dos marcos do que se entende por analise funcionalhoje em dia.Cai em exames de qualificacao de doutorado de certos institutos de matematica.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 5 / 23
![Page 13: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/13.jpg)
Amigos
Paradoxo de Banach-Tarski
Teorema de Hahn-Banach
Teorema de Banach-Steinhaus
Jogo de Banach-Mazur
Teorema de Banach-Alaoglu
Teorema do ponto fixo de Banach
Serviu de comida para piolhos.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 6 / 23
![Page 14: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/14.jpg)
Amigos
Paradoxo de Banach-Tarski
Teorema de Hahn-Banach
Teorema de Banach-Steinhaus
Jogo de Banach-Mazur
Teorema de Banach-Alaoglu
Teorema do ponto fixo de Banach
Serviu de comida para piolhos.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 6 / 23
![Page 15: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/15.jpg)
Amigos
Paradoxo de Banach-Tarski
Teorema de Hahn-Banach
Teorema de Banach-Steinhaus
Jogo de Banach-Mazur
Teorema de Banach-Alaoglu
Teorema do ponto fixo de Banach
Serviu de comida para piolhos.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 6 / 23
![Page 16: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/16.jpg)
Amigos
Paradoxo de Banach-Tarski
Teorema de Hahn-Banach
Teorema de Banach-Steinhaus
Jogo de Banach-Mazur
Teorema de Banach-Alaoglu
Teorema do ponto fixo de Banach
Serviu de comida para piolhos.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 6 / 23
![Page 17: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/17.jpg)
Amigos
Paradoxo de Banach-Tarski
Teorema de Hahn-Banach
Teorema de Banach-Steinhaus
Jogo de Banach-Mazur
Teorema de Banach-Alaoglu
Teorema do ponto fixo de Banach
Serviu de comida para piolhos.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 6 / 23
![Page 18: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/18.jpg)
Amigos
Paradoxo de Banach-Tarski
Teorema de Hahn-Banach
Teorema de Banach-Steinhaus
Jogo de Banach-Mazur
Teorema de Banach-Alaoglu
Teorema do ponto fixo de Banach
Serviu de comida para piolhos.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 6 / 23
![Page 19: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/19.jpg)
Amigos
Paradoxo de Banach-Tarski
Teorema de Hahn-Banach
Teorema de Banach-Steinhaus
Jogo de Banach-Mazur
Teorema de Banach-Alaoglu
Teorema do ponto fixo de Banach
Serviu de comida para piolhos.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 6 / 23
![Page 20: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/20.jpg)
Amigos
Paradoxo de Banach-Tarski
Teorema de Hahn-Banach
Teorema de Banach-Steinhaus
Jogo de Banach-Mazur
Teorema de Banach-Alaoglu
Teorema do ponto fixo de Banach
Serviu de comida para piolhos.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 6 / 23
![Page 21: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/21.jpg)
Piolhos...
Durante a segunda guerra, para escapar de ir para um campo de concentracao,trabalhos forcados e essas coisas, Banach trabalhou como um alimentador depiolhos (era a unica maneira conhecida para se obter vacina para tifo na epoca)
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 7 / 23
![Page 22: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/22.jpg)
Piolhos...
Durante a segunda guerra, para escapar de ir para um campo de concentracao,trabalhos forcados e essas coisas, Banach trabalhou como um alimentador depiolhos (era a unica maneira conhecida para se obter vacina para tifo na epoca)
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 7 / 23
![Page 23: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/23.jpg)
Piolhos...
Durante a segunda guerra, para escapar de ir para um campo de concentracao,trabalhos forcados e essas coisas, Banach trabalhou como um alimentador depiolhos (era a unica maneira conhecida para se obter vacina para tifo na epoca)
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 7 / 23
![Page 24: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/24.jpg)
Paradoxo de Banach-Tarski
E possıvel quebrar uma esfera em finitos pedacos e depois junta-los de forma afazer duas novas esferas iguais a original.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 8 / 23
![Page 25: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/25.jpg)
Paradoxo de Banach-Tarski
E possıvel quebrar uma esfera em finitos pedacos e depois junta-los de forma afazer duas novas esferas iguais a original.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 8 / 23
![Page 26: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/26.jpg)
Teorema de Hahn-Banach
Esse teorema garante certas condicoes para quando funcionais podem serestendidos continuamente em espacos vetoriais normados.Foi provado independentemente por Banach e por Hahn. Um caso particular deleja havia sido provado antes por Helly. E mesmo um caso mais geral ja havia sidoprovado por Riesz um pouco antes.Pequeno comentario: Esse teorema e “levemente” mais fraco que o axioma daescolha. Mas e forte o suficiente para provar a existencia de conjuntos naomensuraveis e o paradoxo de Banach-Tarski.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 9 / 23
![Page 27: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/27.jpg)
Teorema de Hahn-Banach
Esse teorema garante certas condicoes para quando funcionais podem serestendidos continuamente em espacos vetoriais normados.
Foi provado independentemente por Banach e por Hahn. Um caso particular deleja havia sido provado antes por Helly. E mesmo um caso mais geral ja havia sidoprovado por Riesz um pouco antes.Pequeno comentario: Esse teorema e “levemente” mais fraco que o axioma daescolha. Mas e forte o suficiente para provar a existencia de conjuntos naomensuraveis e o paradoxo de Banach-Tarski.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 9 / 23
![Page 28: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/28.jpg)
Teorema de Hahn-Banach
Esse teorema garante certas condicoes para quando funcionais podem serestendidos continuamente em espacos vetoriais normados.Foi provado independentemente por Banach e por Hahn.
Um caso particular deleja havia sido provado antes por Helly. E mesmo um caso mais geral ja havia sidoprovado por Riesz um pouco antes.Pequeno comentario: Esse teorema e “levemente” mais fraco que o axioma daescolha. Mas e forte o suficiente para provar a existencia de conjuntos naomensuraveis e o paradoxo de Banach-Tarski.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 9 / 23
![Page 29: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/29.jpg)
Teorema de Hahn-Banach
Esse teorema garante certas condicoes para quando funcionais podem serestendidos continuamente em espacos vetoriais normados.Foi provado independentemente por Banach e por Hahn. Um caso particular deleja havia sido provado antes por Helly.
E mesmo um caso mais geral ja havia sidoprovado por Riesz um pouco antes.Pequeno comentario: Esse teorema e “levemente” mais fraco que o axioma daescolha. Mas e forte o suficiente para provar a existencia de conjuntos naomensuraveis e o paradoxo de Banach-Tarski.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 9 / 23
![Page 30: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/30.jpg)
Teorema de Hahn-Banach
Esse teorema garante certas condicoes para quando funcionais podem serestendidos continuamente em espacos vetoriais normados.Foi provado independentemente por Banach e por Hahn. Um caso particular deleja havia sido provado antes por Helly. E mesmo um caso mais geral ja havia sidoprovado por Riesz um pouco antes.
Pequeno comentario: Esse teorema e “levemente” mais fraco que o axioma daescolha. Mas e forte o suficiente para provar a existencia de conjuntos naomensuraveis e o paradoxo de Banach-Tarski.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 9 / 23
![Page 31: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/31.jpg)
Teorema de Hahn-Banach
Esse teorema garante certas condicoes para quando funcionais podem serestendidos continuamente em espacos vetoriais normados.Foi provado independentemente por Banach e por Hahn. Um caso particular deleja havia sido provado antes por Helly. E mesmo um caso mais geral ja havia sidoprovado por Riesz um pouco antes.Pequeno comentario: Esse teorema e “levemente” mais fraco que o axioma daescolha.
Mas e forte o suficiente para provar a existencia de conjuntos naomensuraveis e o paradoxo de Banach-Tarski.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 9 / 23
![Page 32: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/32.jpg)
Teorema de Hahn-Banach
Esse teorema garante certas condicoes para quando funcionais podem serestendidos continuamente em espacos vetoriais normados.Foi provado independentemente por Banach e por Hahn. Um caso particular deleja havia sido provado antes por Helly. E mesmo um caso mais geral ja havia sidoprovado por Riesz um pouco antes.Pequeno comentario: Esse teorema e “levemente” mais fraco que o axioma daescolha. Mas e forte o suficiente para provar a existencia de conjuntos naomensuraveis e o paradoxo de Banach-Tarski.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 9 / 23
![Page 33: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/33.jpg)
Teorema de Banach-Steinhaus
Esse teorema tambem e conhecido como Princıpio da limitacao uniforme.Foi provado por Banach e Steinhaus mas tambem de forma independente porHahn.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 10 / 23
![Page 34: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/34.jpg)
Teorema de Banach-Steinhaus
Esse teorema tambem e conhecido como Princıpio da limitacao uniforme.
Foi provado por Banach e Steinhaus mas tambem de forma independente porHahn.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 10 / 23
![Page 35: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/35.jpg)
Teorema de Banach-Steinhaus
Esse teorema tambem e conhecido como Princıpio da limitacao uniforme.Foi provado por Banach e Steinhaus mas tambem de forma independente porHahn.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 10 / 23
![Page 36: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/36.jpg)
Digressao
Steinhaus foi o orientador de doutorado de Banach.Diz a lenda que Steinhaus estava passeando num parque na Cracovia e ouviualguem falar o termo “integral de Lebesgue”.Esse alguem era o Banach.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 11 / 23
![Page 37: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/37.jpg)
Digressao
Steinhaus foi o orientador de doutorado de Banach.
Diz a lenda que Steinhaus estava passeando num parque na Cracovia e ouviualguem falar o termo “integral de Lebesgue”.Esse alguem era o Banach.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 11 / 23
![Page 38: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/38.jpg)
Digressao
Steinhaus foi o orientador de doutorado de Banach.Diz a lenda que Steinhaus estava passeando num parque na Cracovia e ouviualguem falar o termo “integral de Lebesgue”.
Esse alguem era o Banach.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 11 / 23
![Page 39: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/39.jpg)
Digressao
Steinhaus foi o orientador de doutorado de Banach.Diz a lenda que Steinhaus estava passeando num parque na Cracovia e ouviualguem falar o termo “integral de Lebesgue”.Esse alguem era o Banach.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 11 / 23
![Page 40: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/40.jpg)
Voltando ao Teorema de Banach-Steinhaus
Esse teorema em geral e apresentado com uma prova simples a partir do Teoremade Baire.Mas existe uma outra demonstracao, tambem simples, mas elementar, feita porSokal.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 12 / 23
![Page 41: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/41.jpg)
Voltando ao Teorema de Banach-Steinhaus
Esse teorema em geral e apresentado com uma prova simples a partir do Teoremade Baire.
Mas existe uma outra demonstracao, tambem simples, mas elementar, feita porSokal.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 12 / 23
![Page 42: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/42.jpg)
Voltando ao Teorema de Banach-Steinhaus
Esse teorema em geral e apresentado com uma prova simples a partir do Teoremade Baire.Mas existe uma outra demonstracao, tambem simples, mas elementar, feita porSokal.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 12 / 23
![Page 43: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/43.jpg)
Uma demonstracao facil, para nao passar em branco
LemaSuponha T : X → Y um operador linear limitado. Entao, para todo x ∈ X e todor > 0 temos
supa∈Br (x)
||T (a)|| ≥ ||T ||r
Demonstracao.
Para todo α ∈ X , temos
max{||T (x + α)||, ||T (x − α)||} ≥ 12 (||T (x + α) + ||T (x − α)||)
≥ 12 (||T (x + α)− T (x − α)||)
= 12 2||T (α)||
= ||T (α)||
Daı e so tomar o supremo para α ∈ Br (0).
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 13 / 23
![Page 44: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/44.jpg)
Uma demonstracao facil, para nao passar em branco
LemaSuponha T : X → Y um operador linear limitado. Entao, para todo x ∈ X e todor > 0 temos
supa∈Br (x)
||T (a)|| ≥ ||T ||r
Demonstracao.
Para todo α ∈ X , temos
max{||T (x + α)||, ||T (x − α)||} ≥ 12 (||T (x + α) + ||T (x − α)||)
≥ 12 (||T (x + α)− T (x − α)||)
= 12 2||T (α)||
= ||T (α)||
Daı e so tomar o supremo para α ∈ Br (0).
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 13 / 23
![Page 45: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/45.jpg)
Uma demonstracao facil, para nao passar em branco
LemaSuponha T : X → Y um operador linear limitado. Entao, para todo x ∈ X e todor > 0 temos
supa∈Br (x)
||T (a)|| ≥ ||T ||r
Demonstracao.
Para todo α ∈ X , temos
max{||T (x + α)||, ||T (x − α)||} ≥ 12 (||T (x + α) + ||T (x − α)||)
≥ 12 (||T (x + α)− T (x − α)||)
= 12 2||T (α)||
= ||T (α)||
Daı e so tomar o supremo para α ∈ Br (0).
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 13 / 23
![Page 46: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/46.jpg)
Uma demonstracao facil, para nao passar em branco
LemaSuponha T : X → Y um operador linear limitado. Entao, para todo x ∈ X e todor > 0 temos
supa∈Br (x)
||T (a)|| ≥ ||T ||r
Demonstracao.
Para todo α ∈ X , temos
max{||T (x + α)||, ||T (x − α)||} ≥ 12 (||T (x + α) + ||T (x − α)||)
≥ 12 (||T (x + α)− T (x − α)||)
= 12 2||T (α)||
= ||T (α)||
Daı e so tomar o supremo para α ∈ Br (0).
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 13 / 23
![Page 47: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/47.jpg)
Uma demonstracao facil, para nao passar em branco
LemaSuponha T : X → Y um operador linear limitado. Entao, para todo x ∈ X e todor > 0 temos
supa∈Br (x)
||T (a)|| ≥ ||T ||r
Demonstracao.
Para todo α ∈ X , temos
max{||T (x + α)||, ||T (x − α)||} ≥ 12 (||T (x + α) + ||T (x − α)||)
≥ 12 (||T (x + α)− T (x − α)||)
= 12 2||T (α)||
= ||T (α)||
Daı e so tomar o supremo para α ∈ Br (0).
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 13 / 23
![Page 48: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/48.jpg)
Uma demonstracao facil, para nao passar em branco
LemaSuponha T : X → Y um operador linear limitado. Entao, para todo x ∈ X e todor > 0 temos
supa∈Br (x)
||T (a)|| ≥ ||T ||r
Demonstracao.
Para todo α ∈ X , temos
max{||T (x + α)||, ||T (x − α)||} ≥ 12 (||T (x + α) + ||T (x − α)||)
≥ 12 (||T (x + α)− T (x − α)||)
= 12 2||T (α)||
= ||T (α)||
Daı e so tomar o supremo para α ∈ Br (0).
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 13 / 23
![Page 49: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/49.jpg)
Uma demonstracao facil, para nao passar em branco
LemaSuponha T : X → Y um operador linear limitado. Entao, para todo x ∈ X e todor > 0 temos
supa∈Br (x)
||T (a)|| ≥ ||T ||r
Demonstracao.
Para todo α ∈ X , temos
max{||T (x + α)||, ||T (x − α)||} ≥ 12 (||T (x + α) + ||T (x − α)||)
≥ 12 (||T (x + α)− T (x − α)||)
= 12 2||T (α)||
= ||T (α)||
Daı e so tomar o supremo para α ∈ Br (0).
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 13 / 23
![Page 50: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/50.jpg)
Depois do lema, o teorema
LemaSuponha T : X → Y um operador linear limitado. Entao, para todo x ∈ X e todor > 0 temos
supa∈Br (x)
||T (a)|| ≥ ||T ||r
Teorema (de Banach-Steinhaus)
Seja F uma famılia de operadores lineares limitados de um espaco de Banach Xnum espaco vetorial normado Y . Se para cada x ∈ X , supT∈F ||T (x)|| <∞,entao supT∈F ||T || <∞.
Demonstracao.
Suponha que nao e seja (Tn)n∈N em F tal que ||Tn|| ≥ 4n para todo n ∈ N.Escolha x0 e para cada n ≥ 1 aplique o lema para obter xn ∈ X tal que||xn − xn−1|| ≤ 3−n e ||Tn(xn)|| ≥ 2
3 3−n||Tn||.Note que (xn)n∈N e de Cauchy e, portanto, converge para algum x ∈ X . Entao||x − xn|| ≤ 1
2 3−n e ||Tn(x)|| ≥ 16 3−n||Tn|| ≥ 1
6 ( 43 )n →∞.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 14 / 23
![Page 51: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/51.jpg)
Depois do lema, o teorema
LemaSuponha T : X → Y um operador linear limitado. Entao, para todo x ∈ X e todor > 0 temos
supa∈Br (x)
||T (a)|| ≥ ||T ||r
Teorema (de Banach-Steinhaus)
Seja F uma famılia de operadores lineares limitados de um espaco de Banach Xnum espaco vetorial normado Y . Se para cada x ∈ X , supT∈F ||T (x)|| <∞,entao supT∈F ||T || <∞.
Demonstracao.
Suponha que nao e seja (Tn)n∈N em F tal que ||Tn|| ≥ 4n para todo n ∈ N.Escolha x0 e para cada n ≥ 1 aplique o lema para obter xn ∈ X tal que||xn − xn−1|| ≤ 3−n e ||Tn(xn)|| ≥ 2
3 3−n||Tn||.Note que (xn)n∈N e de Cauchy e, portanto, converge para algum x ∈ X . Entao||x − xn|| ≤ 1
2 3−n e ||Tn(x)|| ≥ 16 3−n||Tn|| ≥ 1
6 ( 43 )n →∞.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 14 / 23
![Page 52: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/52.jpg)
Depois do lema, o teorema
LemaSuponha T : X → Y um operador linear limitado. Entao, para todo x ∈ X e todor > 0 temos
supa∈Br (x)
||T (a)|| ≥ ||T ||r
Teorema (de Banach-Steinhaus)
Seja F uma famılia de operadores lineares limitados de um espaco de Banach Xnum espaco vetorial normado Y . Se para cada x ∈ X , supT∈F ||T (x)|| <∞,entao supT∈F ||T || <∞.
Demonstracao.
Suponha que nao e seja (Tn)n∈N em F tal que ||Tn|| ≥ 4n para todo n ∈ N.Escolha x0 e para cada n ≥ 1 aplique o lema para obter xn ∈ X tal que||xn − xn−1|| ≤ 3−n e ||Tn(xn)|| ≥ 2
3 3−n||Tn||.Note que (xn)n∈N e de Cauchy e, portanto, converge para algum x ∈ X . Entao||x − xn|| ≤ 1
2 3−n e ||Tn(x)|| ≥ 16 3−n||Tn|| ≥ 1
6 ( 43 )n →∞.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 14 / 23
![Page 53: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/53.jpg)
Depois do lema, o teorema
LemaSuponha T : X → Y um operador linear limitado. Entao, para todo x ∈ X e todor > 0 temos
supa∈Br (x)
||T (a)|| ≥ ||T ||r
Teorema (de Banach-Steinhaus)
Seja F uma famılia de operadores lineares limitados de um espaco de Banach Xnum espaco vetorial normado Y . Se para cada x ∈ X , supT∈F ||T (x)|| <∞,entao supT∈F ||T || <∞.
Demonstracao.
Suponha que nao e seja (Tn)n∈N em F tal que ||Tn|| ≥ 4n para todo n ∈ N.
Escolha x0 e para cada n ≥ 1 aplique o lema para obter xn ∈ X tal que||xn − xn−1|| ≤ 3−n e ||Tn(xn)|| ≥ 2
3 3−n||Tn||.Note que (xn)n∈N e de Cauchy e, portanto, converge para algum x ∈ X . Entao||x − xn|| ≤ 1
2 3−n e ||Tn(x)|| ≥ 16 3−n||Tn|| ≥ 1
6 ( 43 )n →∞.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 14 / 23
![Page 54: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/54.jpg)
Depois do lema, o teorema
LemaSuponha T : X → Y um operador linear limitado. Entao, para todo x ∈ X e todor > 0 temos
supa∈Br (x)
||T (a)|| ≥ ||T ||r
Teorema (de Banach-Steinhaus)
Seja F uma famılia de operadores lineares limitados de um espaco de Banach Xnum espaco vetorial normado Y . Se para cada x ∈ X , supT∈F ||T (x)|| <∞,entao supT∈F ||T || <∞.
Demonstracao.
Suponha que nao e seja (Tn)n∈N em F tal que ||Tn|| ≥ 4n para todo n ∈ N.Escolha x0 e para cada n ≥ 1 aplique o lema para obter xn ∈ X tal que||xn − xn−1|| ≤ 3−n e ||Tn(xn)|| ≥ 2
3 3−n||Tn||.
Note que (xn)n∈N e de Cauchy e, portanto, converge para algum x ∈ X . Entao||x − xn|| ≤ 1
2 3−n e ||Tn(x)|| ≥ 16 3−n||Tn|| ≥ 1
6 ( 43 )n →∞.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 14 / 23
![Page 55: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/55.jpg)
Depois do lema, o teorema
LemaSuponha T : X → Y um operador linear limitado. Entao, para todo x ∈ X e todor > 0 temos
supa∈Br (x)
||T (a)|| ≥ ||T ||r
Teorema (de Banach-Steinhaus)
Seja F uma famılia de operadores lineares limitados de um espaco de Banach Xnum espaco vetorial normado Y . Se para cada x ∈ X , supT∈F ||T (x)|| <∞,entao supT∈F ||T || <∞.
Demonstracao.
Suponha que nao e seja (Tn)n∈N em F tal que ||Tn|| ≥ 4n para todo n ∈ N.Escolha x0 e para cada n ≥ 1 aplique o lema para obter xn ∈ X tal que||xn − xn−1|| ≤ 3−n e ||Tn(xn)|| ≥ 2
3 3−n||Tn||.Note que (xn)n∈N e de Cauchy e, portanto, converge para algum x ∈ X .
Entao||x − xn|| ≤ 1
2 3−n e ||Tn(x)|| ≥ 16 3−n||Tn|| ≥ 1
6 ( 43 )n →∞.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 14 / 23
![Page 56: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/56.jpg)
Depois do lema, o teorema
LemaSuponha T : X → Y um operador linear limitado. Entao, para todo x ∈ X e todor > 0 temos
supa∈Br (x)
||T (a)|| ≥ ||T ||r
Teorema (de Banach-Steinhaus)
Seja F uma famılia de operadores lineares limitados de um espaco de Banach Xnum espaco vetorial normado Y . Se para cada x ∈ X , supT∈F ||T (x)|| <∞,entao supT∈F ||T || <∞.
Demonstracao.
Suponha que nao e seja (Tn)n∈N em F tal que ||Tn|| ≥ 4n para todo n ∈ N.Escolha x0 e para cada n ≥ 1 aplique o lema para obter xn ∈ X tal que||xn − xn−1|| ≤ 3−n e ||Tn(xn)|| ≥ 2
3 3−n||Tn||.Note que (xn)n∈N e de Cauchy e, portanto, converge para algum x ∈ X . Entao||x − xn|| ≤ 1
2 3−n e ||Tn(x)|| ≥ 16 3−n||Tn|| ≥ 1
6 ( 43 )n →∞.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 14 / 23
![Page 57: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/57.jpg)
Jogo de Banach-Mazur
O jogo de Banach-Mazur e um jogo parecido com o seguinte:
Considere o seguinte jogo entre os jogadores I e II .Na primeira rodada, jogador I escolhe A1 aberto nao vazio.Entao o jogador II escolhe B1 ⊂ A1 aberto nao vazio.Na rodada n + 1, o jogador I joga An+1 ⊂ Bn aberto nao vazio e o jogadorescolhe Bn+1 ⊂ An+1 aberto nao vazio.O jogo continua para cada rodada n ∈ N>0.O jogador I vence se
⋂n∈N>0
An = ∅.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 15 / 23
![Page 58: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/58.jpg)
Jogo de Banach-Mazur
O jogo de Banach-Mazur e um jogo parecido com o seguinte:
Considere o seguinte jogo entre os jogadores I e II .Na primeira rodada, jogador I escolhe A1 aberto nao vazio.Entao o jogador II escolhe B1 ⊂ A1 aberto nao vazio.Na rodada n + 1, o jogador I joga An+1 ⊂ Bn aberto nao vazio e o jogadorescolhe Bn+1 ⊂ An+1 aberto nao vazio.O jogo continua para cada rodada n ∈ N>0.O jogador I vence se
⋂n∈N>0
An = ∅.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 15 / 23
![Page 59: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/59.jpg)
Jogo de Banach-Mazur
O jogo de Banach-Mazur e um jogo parecido com o seguinte:
Considere o seguinte jogo entre os jogadores I e II .
Na primeira rodada, jogador I escolhe A1 aberto nao vazio.Entao o jogador II escolhe B1 ⊂ A1 aberto nao vazio.Na rodada n + 1, o jogador I joga An+1 ⊂ Bn aberto nao vazio e o jogadorescolhe Bn+1 ⊂ An+1 aberto nao vazio.O jogo continua para cada rodada n ∈ N>0.O jogador I vence se
⋂n∈N>0
An = ∅.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 15 / 23
![Page 60: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/60.jpg)
Jogo de Banach-Mazur
O jogo de Banach-Mazur e um jogo parecido com o seguinte:
Considere o seguinte jogo entre os jogadores I e II .Na primeira rodada, jogador I escolhe A1 aberto nao vazio.
Entao o jogador II escolhe B1 ⊂ A1 aberto nao vazio.Na rodada n + 1, o jogador I joga An+1 ⊂ Bn aberto nao vazio e o jogadorescolhe Bn+1 ⊂ An+1 aberto nao vazio.O jogo continua para cada rodada n ∈ N>0.O jogador I vence se
⋂n∈N>0
An = ∅.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 15 / 23
![Page 61: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/61.jpg)
Jogo de Banach-Mazur
O jogo de Banach-Mazur e um jogo parecido com o seguinte:
Considere o seguinte jogo entre os jogadores I e II .Na primeira rodada, jogador I escolhe A1 aberto nao vazio.Entao o jogador II escolhe B1 ⊂ A1 aberto nao vazio.
Na rodada n + 1, o jogador I joga An+1 ⊂ Bn aberto nao vazio e o jogadorescolhe Bn+1 ⊂ An+1 aberto nao vazio.O jogo continua para cada rodada n ∈ N>0.O jogador I vence se
⋂n∈N>0
An = ∅.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 15 / 23
![Page 62: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/62.jpg)
Jogo de Banach-Mazur
O jogo de Banach-Mazur e um jogo parecido com o seguinte:
Considere o seguinte jogo entre os jogadores I e II .Na primeira rodada, jogador I escolhe A1 aberto nao vazio.Entao o jogador II escolhe B1 ⊂ A1 aberto nao vazio.Na rodada n + 1, o jogador I joga An+1 ⊂ Bn aberto nao vazio e o jogadorescolhe Bn+1 ⊂ An+1 aberto nao vazio.
O jogo continua para cada rodada n ∈ N>0.O jogador I vence se
⋂n∈N>0
An = ∅.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 15 / 23
![Page 63: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/63.jpg)
Jogo de Banach-Mazur
O jogo de Banach-Mazur e um jogo parecido com o seguinte:
Considere o seguinte jogo entre os jogadores I e II .Na primeira rodada, jogador I escolhe A1 aberto nao vazio.Entao o jogador II escolhe B1 ⊂ A1 aberto nao vazio.Na rodada n + 1, o jogador I joga An+1 ⊂ Bn aberto nao vazio e o jogadorescolhe Bn+1 ⊂ An+1 aberto nao vazio.O jogo continua para cada rodada n ∈ N>0.
O jogador I vence se⋂
n∈N>0An = ∅.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 15 / 23
![Page 64: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/64.jpg)
Jogo de Banach-Mazur
O jogo de Banach-Mazur e um jogo parecido com o seguinte:
Considere o seguinte jogo entre os jogadores I e II .Na primeira rodada, jogador I escolhe A1 aberto nao vazio.Entao o jogador II escolhe B1 ⊂ A1 aberto nao vazio.Na rodada n + 1, o jogador I joga An+1 ⊂ Bn aberto nao vazio e o jogadorescolhe Bn+1 ⊂ An+1 aberto nao vazio.O jogo continua para cada rodada n ∈ N>0.O jogador I vence se
⋂n∈N>0
An = ∅.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 15 / 23
![Page 65: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/65.jpg)
O livro escoces
Uma versao deste jogo aparecia no problema 43 do Livro escoces.
Alguns matematicos que trabalhavam numa universidade polonesa se reuniam emcafes para discutir matematica.Eles costumavam usar as proprias mesas de marmore para escrever. Mas oproblema e que no final do dia isso era apagado.Assim, Banach (ou sua esposa, Lucja), teve a ideia de comprar um livro embranco e deixa-lo guardado no proprio cafe.Como o nome do lugar era “Cafe Escoces”, o livro acabou ganhando esse nome.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 16 / 23
![Page 66: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/66.jpg)
O livro escoces
Uma versao deste jogo aparecia no problema 43 do Livro escoces.Alguns matematicos que trabalhavam numa universidade polonesa se reuniam emcafes para discutir matematica.
Eles costumavam usar as proprias mesas de marmore para escrever. Mas oproblema e que no final do dia isso era apagado.Assim, Banach (ou sua esposa, Lucja), teve a ideia de comprar um livro embranco e deixa-lo guardado no proprio cafe.Como o nome do lugar era “Cafe Escoces”, o livro acabou ganhando esse nome.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 16 / 23
![Page 67: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/67.jpg)
O livro escoces
Uma versao deste jogo aparecia no problema 43 do Livro escoces.Alguns matematicos que trabalhavam numa universidade polonesa se reuniam emcafes para discutir matematica.Eles costumavam usar as proprias mesas de marmore para escrever.
Mas oproblema e que no final do dia isso era apagado.Assim, Banach (ou sua esposa, Lucja), teve a ideia de comprar um livro embranco e deixa-lo guardado no proprio cafe.Como o nome do lugar era “Cafe Escoces”, o livro acabou ganhando esse nome.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 16 / 23
![Page 68: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/68.jpg)
O livro escoces
Uma versao deste jogo aparecia no problema 43 do Livro escoces.Alguns matematicos que trabalhavam numa universidade polonesa se reuniam emcafes para discutir matematica.Eles costumavam usar as proprias mesas de marmore para escrever. Mas oproblema e que no final do dia isso era apagado.
Assim, Banach (ou sua esposa, Lucja), teve a ideia de comprar um livro embranco e deixa-lo guardado no proprio cafe.Como o nome do lugar era “Cafe Escoces”, o livro acabou ganhando esse nome.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 16 / 23
![Page 69: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/69.jpg)
O livro escoces
Uma versao deste jogo aparecia no problema 43 do Livro escoces.Alguns matematicos que trabalhavam numa universidade polonesa se reuniam emcafes para discutir matematica.Eles costumavam usar as proprias mesas de marmore para escrever. Mas oproblema e que no final do dia isso era apagado.Assim, Banach (ou sua esposa, Lucja), teve a ideia de comprar um livro embranco e deixa-lo guardado no proprio cafe.
Como o nome do lugar era “Cafe Escoces”, o livro acabou ganhando esse nome.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 16 / 23
![Page 70: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/70.jpg)
O livro escoces
Uma versao deste jogo aparecia no problema 43 do Livro escoces.Alguns matematicos que trabalhavam numa universidade polonesa se reuniam emcafes para discutir matematica.Eles costumavam usar as proprias mesas de marmore para escrever. Mas oproblema e que no final do dia isso era apagado.Assim, Banach (ou sua esposa, Lucja), teve a ideia de comprar um livro embranco e deixa-lo guardado no proprio cafe.Como o nome do lugar era “Cafe Escoces”, o livro acabou ganhando esse nome.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 16 / 23
![Page 71: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/71.jpg)
Premios
Os problemas eram marcados no livro e algumas vezes era marcado tambem quemtinha resolvido. Ha um total de 193 problemas no livro.
Alguns dos problemas tinham indicacao de um premio para quem o resolvesse.Por exemplo, o problema 43 valia uma garrafa de vinho (oferecida pelo Mazur).
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 17 / 23
![Page 72: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/72.jpg)
Premios
Os problemas eram marcados no livro e algumas vezes era marcado tambem quemtinha resolvido. Ha um total de 193 problemas no livro.Alguns dos problemas tinham indicacao de um premio para quem o resolvesse.
Por exemplo, o problema 43 valia uma garrafa de vinho (oferecida pelo Mazur).
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 17 / 23
![Page 73: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/73.jpg)
Premios
Os problemas eram marcados no livro e algumas vezes era marcado tambem quemtinha resolvido. Ha um total de 193 problemas no livro.Alguns dos problemas tinham indicacao de um premio para quem o resolvesse.Por exemplo, o problema 43 valia uma garrafa de vinho (oferecida pelo Mazur).
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 17 / 23
![Page 74: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/74.jpg)
O livro e a guerra
A cidade polonesa (Lwow) foi invadida por russos e por alemaes durante asegunda guerra.No prefacio de uma edicao moderna do livro, Ulam conta que na sua ultima visitaa cidade antes da guerra, o livro foi assunto de uma discussao sua com Mazur: “Oque fazer com o livro se a cidade for invadida?”.Fizeram um plano de enterra-lo (inclusive decidindo onde, para depois outrospoderem encontrar).Mas Ulam nao soube dizer se foi isso mesmo que ocorreu.De qualquer forma, ha no final do livro diversos problemas propostos pormatematicos russos que participaram da invasao.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 18 / 23
![Page 75: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/75.jpg)
O livro e a guerra
A cidade polonesa (Lwow) foi invadida por russos e por alemaes durante asegunda guerra.
No prefacio de uma edicao moderna do livro, Ulam conta que na sua ultima visitaa cidade antes da guerra, o livro foi assunto de uma discussao sua com Mazur: “Oque fazer com o livro se a cidade for invadida?”.Fizeram um plano de enterra-lo (inclusive decidindo onde, para depois outrospoderem encontrar).Mas Ulam nao soube dizer se foi isso mesmo que ocorreu.De qualquer forma, ha no final do livro diversos problemas propostos pormatematicos russos que participaram da invasao.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 18 / 23
![Page 76: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/76.jpg)
O livro e a guerra
A cidade polonesa (Lwow) foi invadida por russos e por alemaes durante asegunda guerra.No prefacio de uma edicao moderna do livro, Ulam conta que na sua ultima visitaa cidade antes da guerra, o livro foi assunto de uma discussao sua com Mazur:
“Oque fazer com o livro se a cidade for invadida?”.Fizeram um plano de enterra-lo (inclusive decidindo onde, para depois outrospoderem encontrar).Mas Ulam nao soube dizer se foi isso mesmo que ocorreu.De qualquer forma, ha no final do livro diversos problemas propostos pormatematicos russos que participaram da invasao.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 18 / 23
![Page 77: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/77.jpg)
O livro e a guerra
A cidade polonesa (Lwow) foi invadida por russos e por alemaes durante asegunda guerra.No prefacio de uma edicao moderna do livro, Ulam conta que na sua ultima visitaa cidade antes da guerra, o livro foi assunto de uma discussao sua com Mazur: “Oque fazer com o livro se a cidade for invadida?”.
Fizeram um plano de enterra-lo (inclusive decidindo onde, para depois outrospoderem encontrar).Mas Ulam nao soube dizer se foi isso mesmo que ocorreu.De qualquer forma, ha no final do livro diversos problemas propostos pormatematicos russos que participaram da invasao.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 18 / 23
![Page 78: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/78.jpg)
O livro e a guerra
A cidade polonesa (Lwow) foi invadida por russos e por alemaes durante asegunda guerra.No prefacio de uma edicao moderna do livro, Ulam conta que na sua ultima visitaa cidade antes da guerra, o livro foi assunto de uma discussao sua com Mazur: “Oque fazer com o livro se a cidade for invadida?”.Fizeram um plano de enterra-lo (inclusive decidindo onde, para depois outrospoderem encontrar).
Mas Ulam nao soube dizer se foi isso mesmo que ocorreu.De qualquer forma, ha no final do livro diversos problemas propostos pormatematicos russos que participaram da invasao.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 18 / 23
![Page 79: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/79.jpg)
O livro e a guerra
A cidade polonesa (Lwow) foi invadida por russos e por alemaes durante asegunda guerra.No prefacio de uma edicao moderna do livro, Ulam conta que na sua ultima visitaa cidade antes da guerra, o livro foi assunto de uma discussao sua com Mazur: “Oque fazer com o livro se a cidade for invadida?”.Fizeram um plano de enterra-lo (inclusive decidindo onde, para depois outrospoderem encontrar).Mas Ulam nao soube dizer se foi isso mesmo que ocorreu.
De qualquer forma, ha no final do livro diversos problemas propostos pormatematicos russos que participaram da invasao.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 18 / 23
![Page 80: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/80.jpg)
O livro e a guerra
A cidade polonesa (Lwow) foi invadida por russos e por alemaes durante asegunda guerra.No prefacio de uma edicao moderna do livro, Ulam conta que na sua ultima visitaa cidade antes da guerra, o livro foi assunto de uma discussao sua com Mazur: “Oque fazer com o livro se a cidade for invadida?”.Fizeram um plano de enterra-lo (inclusive decidindo onde, para depois outrospoderem encontrar).Mas Ulam nao soube dizer se foi isso mesmo que ocorreu.De qualquer forma, ha no final do livro diversos problemas propostos pormatematicos russos que participaram da invasao.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 18 / 23
![Page 81: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/81.jpg)
Problema 153
Um problema bem interessante no livro e o problema 153, tambem proposto porMazur.
Problema
Seja f : [0, 1]× [0, 1]→ R contınua. Dado ε > 0, existem a1, ..., an, b1, ..., bn,c1, ..., cn ∈ [0, 1] tais que
|f (x , y)−n∑
k=1
ck f (ak , y)f (x , bk)| < ε
para todo x , y ∈ [0, 1]× [0, 1]?
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 19 / 23
![Page 82: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/82.jpg)
Problema 153
Um problema bem interessante no livro e o problema 153, tambem proposto porMazur.
Problema
Seja f : [0, 1]× [0, 1]→ R contınua. Dado ε > 0, existem a1, ..., an, b1, ..., bn,c1, ..., cn ∈ [0, 1] tais que
|f (x , y)−n∑
k=1
ck f (ak , y)f (x , bk)| < ε
para todo x , y ∈ [0, 1]× [0, 1]?
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 19 / 23
![Page 83: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/83.jpg)
Historia
Esse problema foi proposto em 1936.
Em 1955, Grothendieck provou que se o “Problema da aproximacao” fosseresolvido negativamente, entao o problema 153 tambem seria resolvido (nanegativa).O problema da aproximacao perguntava se todo espaco de Banach tinha apropriedade da aproximacao (algo que os espacos de Hilbert satisfazem).Em 1973, Enflo publicou um artigo com um espaco de Banach que nao tinha apropriedade da aproximacao, resolvendo assim tambem o problema 153.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 20 / 23
![Page 84: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/84.jpg)
Historia
Esse problema foi proposto em 1936.Em 1955, Grothendieck provou que se o “Problema da aproximacao” fosseresolvido negativamente, entao o problema 153 tambem seria resolvido (nanegativa).
O problema da aproximacao perguntava se todo espaco de Banach tinha apropriedade da aproximacao (algo que os espacos de Hilbert satisfazem).Em 1973, Enflo publicou um artigo com um espaco de Banach que nao tinha apropriedade da aproximacao, resolvendo assim tambem o problema 153.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 20 / 23
![Page 85: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/85.jpg)
Historia
Esse problema foi proposto em 1936.Em 1955, Grothendieck provou que se o “Problema da aproximacao” fosseresolvido negativamente, entao o problema 153 tambem seria resolvido (nanegativa).O problema da aproximacao perguntava se todo espaco de Banach tinha apropriedade da aproximacao (algo que os espacos de Hilbert satisfazem).
Em 1973, Enflo publicou um artigo com um espaco de Banach que nao tinha apropriedade da aproximacao, resolvendo assim tambem o problema 153.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 20 / 23
![Page 86: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/86.jpg)
Historia
Esse problema foi proposto em 1936.Em 1955, Grothendieck provou que se o “Problema da aproximacao” fosseresolvido negativamente, entao o problema 153 tambem seria resolvido (nanegativa).O problema da aproximacao perguntava se todo espaco de Banach tinha apropriedade da aproximacao (algo que os espacos de Hilbert satisfazem).Em 1973, Enflo publicou um artigo com um espaco de Banach que nao tinha apropriedade da aproximacao, resolvendo assim tambem o problema 153.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 20 / 23
![Page 87: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/87.jpg)
Premio?
Mas talvez o melhor da historia era que o problema 153 valia tambem um premio:
um ganso vivo.
Mazur, Ganso e Enflo1972
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 21 / 23
![Page 88: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/88.jpg)
Premio?
Mas talvez o melhor da historia era que o problema 153 valia tambem um premio:um ganso vivo.
Mazur, Ganso e Enflo1972
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 21 / 23
![Page 89: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/89.jpg)
Premio?
Mas talvez o melhor da historia era que o problema 153 valia tambem um premio:um ganso vivo.
Mazur, Ganso e Enflo1972
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 21 / 23
![Page 90: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/90.jpg)
Para o lar
Mas nem todos os problemas do livro sao assim difıceis.Um que tem uma solucao simples e o problema 9 (marcado no livro comoresolvido por Ulam):
ProblemaSuponha que uma famılia de conjuntos F e tal que todo F ∈ F tem n elementose que, toda vez que tomamos F1, ...,Fn+1 ∈ F existe um a ∈
⋂n+1i=1 Fi . E verdade
que existe a tal que a ∈⋂
F∈F F .
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 22 / 23
![Page 91: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/91.jpg)
Para o lar
Mas nem todos os problemas do livro sao assim difıceis.
Um que tem uma solucao simples e o problema 9 (marcado no livro comoresolvido por Ulam):
ProblemaSuponha que uma famılia de conjuntos F e tal que todo F ∈ F tem n elementose que, toda vez que tomamos F1, ...,Fn+1 ∈ F existe um a ∈
⋂n+1i=1 Fi . E verdade
que existe a tal que a ∈⋂
F∈F F .
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 22 / 23
![Page 92: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/92.jpg)
Para o lar
Mas nem todos os problemas do livro sao assim difıceis.Um que tem uma solucao simples e o problema 9 (marcado no livro comoresolvido por Ulam):
ProblemaSuponha que uma famılia de conjuntos F e tal que todo F ∈ F tem n elementose que, toda vez que tomamos F1, ...,Fn+1 ∈ F existe um a ∈
⋂n+1i=1 Fi . E verdade
que existe a tal que a ∈⋂
F∈F F .
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 22 / 23
![Page 93: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/93.jpg)
Para o lar
Mas nem todos os problemas do livro sao assim difıceis.Um que tem uma solucao simples e o problema 9 (marcado no livro comoresolvido por Ulam):
ProblemaSuponha que uma famılia de conjuntos F e tal que todo F ∈ F tem n elementose que, toda vez que tomamos F1, ...,Fn+1 ∈ F existe um a ∈
⋂n+1i=1 Fi .
E verdadeque existe a tal que a ∈
⋂F∈F F .
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 22 / 23
![Page 94: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/94.jpg)
Para o lar
Mas nem todos os problemas do livro sao assim difıceis.Um que tem uma solucao simples e o problema 9 (marcado no livro comoresolvido por Ulam):
ProblemaSuponha que uma famılia de conjuntos F e tal que todo F ∈ F tem n elementose que, toda vez que tomamos F1, ...,Fn+1 ∈ F existe um a ∈
⋂n+1i=1 Fi . E verdade
que existe a tal que a ∈⋂
F∈F F .
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 22 / 23
![Page 95: Feliz aniversário, Stefan!legal.icmc.usp.br/lib/exe/fetch.php?media=slides:banach.pdf · Leandro F. Aurichi (ICMC-USP) Feliz anivers ario, Stefan! 3 / 23. O que ele fez? Entre 1929](https://reader034.fdocuments.in/reader034/viewer/2022042313/5edd5d95ad6a402d66686e4a/html5/thumbnails/95.jpg)
Referencias
Versao datilografada (por Ulam) do livro (so procurar na internet)
https://arxiv.org/pdf/1005.1585.pdf
Artigo com a demonstracao (bem) simples do Teorema de Banach-Steinhaus.
Todas as imagens (e boa parte das historias): wikipedia.
Leandro F. Aurichi (ICMC-USP) Feliz aniversario, Stefan! 23 / 23