Neste trabalho investigamos problemas sobre reflexão de funções cardinais, fazendo uso de técnicas como submodelos elementares e Teoria PCF. Mostramos que o grau de Lindelöf reflete todos os cardinais fortemente inacessíveis e que um exemplo de espaço onde a mesma função cardinal não reflita um cardinal fracamente inacessível requer a existência de 0#. Além disso, estendemos um resultado de reflexão do caráter, de espaços Lindelöf para espaços linearmente Lindelöf, obtendo novas equivalências com a Hipótese do Contínuo (CH). Obtivemos ainda várias respostas parciais para problemas clássicos deste tópico de pesquisa. / This work investigates problems about reflection of cardinal functions, using techniques such as elementary submodels and PCF Theory. We show that the Lindelöf degree reflects all the strongly inaccessible cardinals and that a example of a space in which the same cardinal function does not reflect a weakly inaccessible cardinal requires \"0# exists\". Furthermore, we extend a result of reflection of the character from Lindelöf spaces to linearly Lindelöf spaces, obtaining new equivalences with the Continuum Hypothesis (CH). We also obtained several partial answers to classic problems of this research topic.

Neste trabalho investigamos problemas sobre reflexão de funções cardinais, fazendo uso de técnicas como submodelos elementares e Teoria PCF. Mostramos que o grau de Lindelöf reflete todos os cardinais fortemente inacessíveis e que um exemplo de espaço onde a mesma função cardinal não reflita um cardinal fracamente inacessível requer a existência de 0#. Além disso, estendemos um resultado de reflexão do caráter, de espaços Lindelöf para espaços linearmente Lindelöf, obtendo novas equivalências com a Hipótese do Contínuo (CH). Obtivemos ainda várias respostas parciais para problemas clássicos deste tópico de pesquisa. / This work investigates problems about reflection of cardinal functions, using techniques such as elementary submodels and PCF Theory. We show that the Lindelöf degree reflects all the strongly inaccessible cardinals and that a example of a space in which the same cardinal function does not reflect a weakly inaccessible cardinal requires \"0# exists\". Furthermore, we extend a result of reflection of the character from Lindelöf spaces to linearly Lindelöf spaces, obtaining new equivalences with the Continuum Hypothesis (CH). We also obtained several partial answers to classic problems of this research topic.

The primary result from this dissertation is following inequality: d(B) ≤ min(2^< wd(B),sup{λ^c(B): λ < wd(B)}) in ZFC, where B is a homogeneous complete Boolean algebra, d(B) is the density, wd(B) is the weak density, and c(B) is the cellularity of B. Chapter II of this dissertation is a general overview of homogeneous complete Boolean algebras. Assuming the existence of a weakly inaccessible cardinal, we give an example of a homogeneous complete Boolean algebra which does not attain its cellularity. In chapter III, we prove that for any integer n > 1, wd_2(B) = wd_n(B). Also in this chapter, we show that if X⊂B is κ—weakly dense for 1 < κ < sat(B), then sup{wd_κ(B):κ < sat(B)} = d(B). In chapter IV, we address the following question: If X is weakly dense in a homogeneous complete Boolean algebra B, does there necessarily exist b € B\{0} such that {x∗b: x ∈ X} is dense in B|b = {c € B: c ≤ b}? We show that the answer is no for collapsing algebras. In chapter V, we give new proofs to some well known results concerning supporting antichains. A direct consequence of these results is the relation c(B) < wd(B), i.e., the weak density of a homogeneous complete Boolean algebra B is at least as big as the cellularity. Also in this chapter, we introduce discernible sets. We prove that a discernible set of cardinality no greater than c(B) cannot be weakly dense. In chapter VI, we prove the main result of this dissertation, i.e., d(B) ≤ min(2^< wd(B),sup{λ^c(B): λ < wd(B)}). In chapter VII, we list some unsolved problems concerning this dissertation.

O conceito de reflexão em topologia expressa o fato de que um espaço satisfaz uma dada propriedade sempre que esta é satisfeita por seus subespaços \"menores\". Neste trabalho, estuda-se a reflexão de propriedades envolvendo a maioria das principais funções cardinais e metrizabilidade, bem como outras propriedades relacionadas. São discutidos problemas em aberto -- como o problema de Hamburger --, incluindo respostas parciais e exemplos de consistência. Várias dentre as demonstrações apresentadas utilizam técnicas de submodelos elementares, que constituem hoje uma importante ferramenta no estudo de topologia geral. / The concept of reflection in topology expresses the fact that a space satisfies a given property provided that its \"small\" subspaces do. This work presents a study on reflection of properties concerning most of the main cardinal functions and metrizability, as well as other related properties. Open problems --such as Hamburger\'s question-- are also discussed, including partial answers and consistent examples. Several of the proofs presented here make use of elementary submodels, nowadays an important tool in the study of general topology.

O conceito de reflexão em topologia expressa o fato de que um espaço satisfaz uma dada propriedade sempre que esta é satisfeita por seus subespaços \"menores\". Neste trabalho, estuda-se a reflexão de propriedades envolvendo a maioria das principais funções cardinais e metrizabilidade, bem como outras propriedades relacionadas. São discutidos problemas em aberto -- como o problema de Hamburger --, incluindo respostas parciais e exemplos de consistência. Várias dentre as demonstrações apresentadas utilizam técnicas de submodelos elementares, que constituem hoje uma importante ferramenta no estudo de topologia geral. / The concept of reflection in topology expresses the fact that a space satisfies a given property provided that its \"small\" subspaces do. This work presents a study on reflection of properties concerning most of the main cardinal functions and metrizability, as well as other related properties. Open problems --such as Hamburger\'s question-- are also discussed, including partial answers and consistent examples. Several of the proofs presented here make use of elementary submodels, nowadays an important tool in the study of general topology.