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.

É bem conhecido o fato de que todo grupo compacto tem sequências não triviais convergentes. A existência de grupos enumeravelmente compactos sem sequências não triviais convergentes, foi provada usando axiomas adicionais à axiomática usual ZFC: A. Hajnal e I. Juhász sob CH, E. K. van Douwen sob MA, A. H. Tomita sob MA(sigma-centrada) e R.E. Madariaga-Garcia e A. H. Tomita usando ultrafiltros seletivos. Neste trabalho, estudaremos algumas construções recentes relacionadas com as citadas acima, usando o Axioma de Martin, ultrafiltros seletivos e forcing. Essas construções estão relacionadas com algumas questões indicadas por A.D. Wallace, E. van Douwen, M. Tkachenko, D. Dikranjan e D. Shakhmatov / It is well known that every compact group has non-trivial convergent sequences. The existence of countably compact groups without non-trivial convergent sequences was proved using extra set-theoretical assumptions: A. Hajnal and I. Juhasz under CH, E. K. van Douwen under MA, A.H.Tomita under MA(centered) and R.E.Madariaga-Garcia and A.H. Tomita using a selective ultrafilter. I n this work, we study some recent constructions related to the ones given above using Martin Axiom, selective ultrafilters and forcing, related to questions raised by A.D. Wallace, E. van Douwen, M. Tkacenko, D. Dikranjan and D. Shakhmatov.

É bem conhecido o fato de que todo grupo compacto tem sequências não triviais convergentes. A existência de grupos enumeravelmente compactos sem sequências não triviais convergentes, foi provada usando axiomas adicionais à axiomática usual ZFC: A. Hajnal e I. Juhász sob CH, E. K. van Douwen sob MA, A. H. Tomita sob MA(sigma-centrada) e R.E. Madariaga-Garcia e A. H. Tomita usando ultrafiltros seletivos. Neste trabalho, estudaremos algumas construções recentes relacionadas com as citadas acima, usando o Axioma de Martin, ultrafiltros seletivos e forcing. Essas construções estão relacionadas com algumas questões indicadas por A.D. Wallace, E. van Douwen, M. Tkachenko, D. Dikranjan e D. Shakhmatov / It is well known that every compact group has non-trivial convergent sequences. The existence of countably compact groups without non-trivial convergent sequences was proved using extra set-theoretical assumptions: A. Hajnal and I. Juhasz under CH, E. K. van Douwen under MA, A.H.Tomita under MA(centered) and R.E.Madariaga-Garcia and A.H. Tomita using a selective ultrafilter. I n this work, we study some recent constructions related to the ones given above using Martin Axiom, selective ultrafilters and forcing, related to questions raised by A.D. Wallace, E. van Douwen, M. Tkacenko, D. Dikranjan and D. Shakhmatov.

Este trabalho é dividido em duas partes: Na primeira, apresentaremos três axiomas extras a ZFC referentes a ordens parciais, sendo eles: o Axioma de Martin (MA), o princípio diamante (\\diamond}) e a hipótese de Suslin (SH). Na segunda parte daremos algumas aplicações desses axiomas em teoria de conjuntos e em topologia geral. Começaremos falando sobre famílias dominantes e ilimitadas e observando que certas relações entre tais conceitos se diferem ao assumirmos apenas ZFC ou MA. Provaremos a independência da hipótese de Suslin, usando a independência de MA e de \\diamond. Apresentaremos três jogos topológicos: sendo eles o jogo de Choquet, o jogo de Rothberger e o jogo de Menger. O ganho na linguagem de jogos é deixar algo complicado com uma formulação mais simples. Analisaremos o produto de espaços que satisfazer a c.c.c. (countable chain condition) novamente sob a luz de ZFC ou MA. Construiremos um espaço compacto e Hausdor onde o conjunto dos naturais é denso e além disso, para toda função contínua com domínio N à valores num compacto, tal função admite uma extensão contínua para esse espaço. Finalmente, veremos quais condições um espaço precisa satisfazer para ser de Blumberg e uma tentativa de caracterizar tais espaços via jogos topológicos / This work is divided in two parts: At rst, we introduce three extra axioms to ZFC related to partial orders, namely: the Martin Axiom (MA), the Diamond Principle (\\diamond}) and the Suslin hypothesis (SH). In the second part we give some applications of these axioms in set theory and general topology. We start talking about dominant and unbounded families and that certain relations between these concepts dier if we assume only ZFC or MA. We prove the independence of Suslin hypothesis using the independece of MA and \\diamond. We present three topological games, the Choquet game, the Rothberger game and the Menger game. The gain in the games language is to say something dicult with a simpler formulation. We analyze the product of spaces c.c.c. (countable chain condition) under ZFC or MA. We construct a compact Hausdor space where the natural numbers are dense and, moreover, for any continuous function with domain N to a compact space, such a function admits a continuous extension. Finally, we will see what conditions a space has to satisfy to be Blumberg and, an attempt to characterize spaces via topological games

Este trabalho é dividido em duas partes: Na primeira, apresentaremos três axiomas extras a ZFC referentes a ordens parciais, sendo eles: o Axioma de Martin (MA), o princípio diamante (\\diamond}) e a hipótese de Suslin (SH). Na segunda parte daremos algumas aplicações desses axiomas em teoria de conjuntos e em topologia geral. Começaremos falando sobre famílias dominantes e ilimitadas e observando que certas relações entre tais conceitos se diferem ao assumirmos apenas ZFC ou MA. Provaremos a independência da hipótese de Suslin, usando a independência de MA e de \\diamond. Apresentaremos três jogos topológicos: sendo eles o jogo de Choquet, o jogo de Rothberger e o jogo de Menger. O ganho na linguagem de jogos é deixar algo complicado com uma formulação mais simples. Analisaremos o produto de espaços que satisfazer a c.c.c. (countable chain condition) novamente sob a luz de ZFC ou MA. Construiremos um espaço compacto e Hausdor onde o conjunto dos naturais é denso e além disso, para toda função contínua com domínio N à valores num compacto, tal função admite uma extensão contínua para esse espaço. Finalmente, veremos quais condições um espaço precisa satisfazer para ser de Blumberg e uma tentativa de caracterizar tais espaços via jogos topológicos / This work is divided in two parts: At rst, we introduce three extra axioms to ZFC related to partial orders, namely: the Martin Axiom (MA), the Diamond Principle (\\diamond}) and the Suslin hypothesis (SH). In the second part we give some applications of these axioms in set theory and general topology. We start talking about dominant and unbounded families and that certain relations between these concepts dier if we assume only ZFC or MA. We prove the independence of Suslin hypothesis using the independece of MA and \\diamond. We present three topological games, the Choquet game, the Rothberger game and the Menger game. The gain in the games language is to say something dicult with a simpler formulation. We analyze the product of spaces c.c.c. (countable chain condition) under ZFC or MA. We construct a compact Hausdor space where the natural numbers are dense and, moreover, for any continuous function with domain N to a compact space, such a function admits a continuous extension. Finally, we will see what conditions a space has to satisfy to be Blumberg and, an attempt to characterize spaces via topological games