Submitted by Marcos Samuel (msamjunior@gmail.com) on 2016-06-08T15:41:51Z No. of bitstreams: 1 dissrt_harlen.pdf: 1041797 bytes, checksum: c403d44126cebe3bcb06d2a31a5eb702 (MD5) / Submitted by Marcos Samuel (msamjunior@gmail.com) on 2016-06-08T15:41:51Z No. of bitstreams: 1 dissrt_harlen.pdf: 1041797 bytes, checksum: c403d44126cebe3bcb06d2a31a5eb702 (MD5) / Approved for entry into archive by Alda Lima da Silva (sivalda@ufba.br) on 2016-06-13T17:33:58Z (GMT) No. of bitstreams: 1 dissrt_harlen.pdf: 1041797 bytes, checksum: c403d44126cebe3bcb06d2a31a5eb702 (MD5) / Approved for entry into archive by Alda Lima da Silva (sivalda@ufba.br) on 2016-06-13T17:33:58Z (GMT) No. of bitstreams: 1 dissrt_harlen.pdf: 1041797 bytes, checksum: c403d44126cebe3bcb06d2a31a5eb702 (MD5) / Made available in DSpace on 2016-06-13T17:33:58Z (GMT). No. of bitstreams: 1 dissrt_harlen.pdf: 1041797 bytes, checksum: c403d44126cebe3bcb06d2a31a5eb702 (MD5) / Made available in DSpace on 2016-06-13T17:33:58Z (GMT). No. of bitstreams: 1 dissrt_harlen.pdf: 1041797 bytes, checksum: c403d44126cebe3bcb06d2a31a5eb702 (MD5) / 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.