Invariantes Cardinais Definidos A Partir dos Ideais Clássicos da Reta, Com Aplicações

Abstract

Dado qualquer ideal fechado para uniões enumeráveis, podem ser definidos os invariantes cardinais não-enumeráveis aditividade (add), número de cobertura (cov), uniformidade (non) e cofinalidade (cof). Neste trabalho, investigamos os cardinais do diagrama de Cichon - que são invariantes cardinais como os acima descritos, obtidos quando consideramos os ideais clássicos M e L (respectivamente, o ideal dos subconjuntos magros da reta e o ideal dos subconjuntos Lebesgue nulos da reta). Apresentamos demonstrações para várias desigualdades entre esses cardinais, usando argumentos conjuntísticos e/ou topológicos ou via morfismos na categoria Dial2(Sets)op (por exemplo, cov(M) é menor ou igual a non(L), add(M) = min{b,cov(M)}, bem como as desigualdades duais). Aplicações desses cardinais em Topologia e Análise também são investigadas, apresentando demonstrações. Por exemplo, espaços de Lindelöf de tamanho menor do que cov(M) (ou, mais geralmente, que podem ser escritos como união de menos do que cov(M) subespaços compactos) são D-espaços. Vários resultados envolvendo cardinais do diagrama de Cichon e variações seletivas de separabilidade são apresentados; algumas demonstrações utilizam argumentos baseados em jogos topológicos e conjuntísticos.