Teoria isomorfa dos espaços de Banach C0(K,X)

• Ano de defesa: 2012
• Autor(a) principal: Batista, Leandro Candido
• Tipo de documento: Tese
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Biblioteca Digitais de Teses e Dissertações da USP
• Palavras-chave em Português: Banach spaces; Banach- Stone Theorem; Banach-Mazur distances; Distâncias de Banach-Mazur; Espaços de Banach; Espaços de funções contínuas a valores vetoriais; Isomorfismos; Isomorphisms; Spaces of vector-valued continuous functions; Teorema de Banach-Stone
• Link de acesso: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-17072013-113811/

Para um espaço localmente compacto de Hausdorff K e um espaço de Banach X, denotamos por C0(K,X) o espaço de todas as funções a valores em X contínuas sobre K que se anulam no infinito, munido da norma do supremo. No espírito do clássico teorema de Banach-Stone 1937, estabelecemos que se C0(K1,X) é isomorfo a C0(K2,X), onde X é um espaço de Banach de cotipo finito e tal que X é separável ou X* tem a propriedade de Radon-Nikodým, então ou K1 e K2 são ambos finitos ou K1 e K2 tem a mesma cardinalidade. Trata-se de uma extensão vetorial de um resultado de Cengiz 1978, o caso escalar X = R ou X = C. Demonstramos também que se K1 e K2 são intervalos compactos de ordinais e X é um espaço de Banach de cotipo finito, então a existência de um isomorfismo T de C(K1,X) em C(K2,X) com ||T||||T-1|| < 3 implica que uma certa soma topológica finita de K1 é homeomorfa a alguma soma topológica finita de K2. Mais ainda, se Xn não contém subespaço isomorfo a Xn+1 para todo n &isin; N, então K1 é homeomorfo a K2. Em outras palavras, obtemos um teorema tipo Banach-Stone vetorial que é uma extensão de um teorema de Gordon de 1970 e ao mesmo tempo uma extensão de um teorema de Behrends e Cambern de 1988. Mostramos que se existe um isomorfismo T de C(K1) em um subespaço de C(K2,X) com ||T||||T-1|| < 3, então a cardinalidade do &alpha;-ésimo derivado de K2 ou é finita ou é maior do que a cardinalidade do &alpha;-ésimo derivado de K1, para todo ordinal &alpha;. Em seguida, seja n um inteiro positivo, &Gamma; um conjunto infinito munido da topologia discreta e X um espaço de Banach de cotipo finito. Estabelecemos que se o n-ésimo derivado de K for não vazio, então a distância de Banach-Mazur entre C0(K,X) e C0(&Gamma;,X) é maior ou igual a 2n + 1. Também demonstramos que para quaisquer inteiros positivos n e k, a distância de Banach-Mazur entre C([1,&omega;nk],X) e C0(N,X) é exatamente 2n+1. Estes resultados fornecem extensões vetoriais para alguns teoremas de Cambern de 1970. Para um ordinal enumerável &alpha;, denotando por C(&alpha;) o espaço de Banach das funções contínuas no intervalo de ordinal [1, &alpha;], obtemos cotas superiores H(n, k) e cotas inferiores G(n, k) para as distâncias de Banach-Mazur entre os espaços C(&omega;) e C(&omega;nk), 1 < n, k < &omega;, verificando H(n, k) - G(n, k) < 2. Estas estimativas fornecem uma resposta para uma questão de Bessaga e Peczynski de 1960 sobre as distâncias de Banach-Mazur entre C(&omega;) e cada um dos espaços C(&alpha;), &omega;<&alpha;<&omega;&omega;.