Sistemas biortogonais em espaços de Banach C(K)

• Autor(a) principal: Hida, Clayton Suguio
• Data de Publicação: 2014
• Tipo de documento: Dissertação
• Idioma: por
• Título da fonte: Biblioteca Digital de Teses e Dissertações da USP
• Texto Completo: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-25042019-183043/
• topic: Banach spaces C(K); Biorthogonal systems; Espaço de Ostaszewski; Espaços de Banach C(K); Ostaszewski space; Sistemas biortogonais

Este trabalho tem como objetivo principal aplicar elementos de teoria dos conjuntos no estudo de sistemas biortogonais em espaços de Banach. Inicialmente, estudamos o Teorema de Markushevic, que garante que todo espaço de Banach separável admite um sistema biortogonal enumerável. Assim, partimos para o estudo de espaços de Banach não separáveis, mais especificamente, estudamos a existência de sistemas biortogonais não enumeráveis em espaços de Banach da forma C(K), com K compacto Hausdorff não metrizável. Nesta direção, estudamos dois teoremas devido a S. Todorcevic. O primeiro teorema nos dá condições que um compacto Hausdorff K deve satisfazer de tal modo que o respectivo espaço de Banach C(K) possua sistemas biortogonais não enumeráveis. O segundo teorema nos diz que, assumindo o Axioma de Martin, todo espaço de Banach não separável da forma C(K) possui um sistema biortogonal não enumerável. Em seguida, consideramos algumas funções cardinais definidas por P. Koszmider para espaços de Banach, associadas aos sistemas biortogonais e estudamos suas relações com funções cardinais conhecidas. Em particular, obtemos um resultado original que relaciona o peso de um espaço compacto Hausdorff K com o tamanho de tipos especiais de sistemas biortogonais em C(K), generalizando um resultado de S. Todorcevic sobre álgebras de Boole. Finalmente, construímos um espaço de Ostaszewski K usando o Princípio Diamante. O espaço K é um compacto disperso não metrizável tal que todas suas potências finitas são hereditariamente separáveis. Este espaço é um exemplo consistente de um espaço compacto Hausdorff não metrizável tal que o respectivo espaço de Banach C(K) não admite sistemas biortogonais não enumeráveis.