Resolubilidade e irresolubilidade de espaços topológicos

• Main Author: Ana Carolina Boero
• Other Authors: Antonio de Padua Franco Filho
• Language: Portuguese
• Published: Universidade de São Paulo 2007
• Subjects: espaço d-forçado; irresolúvel; maximal; resolúvel; submaximal; d-forced space; irresolvable; resolvable; topological space
• Online Access: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-08052007-081304/

O principal objetivo deste trabalho é apresentar um estudo sistemático da teoria dos espaços topológicos resolúveis e irresolúveis. Enfocaremos diversas propriedades inerentes aos mesmos, incluindo uma exposição meticulosa de técnicas utilizadas na construção de espaços topológicos irresolúveis e sem pontos isolados. Dado um cardinal \\kappa > 1, exibiremos exemplos de espaços topológicos que são \\kappa-resolúveis, mas que não são \\kappa^{+}-resolúveis. Mostraremos, ainda, que se um espaço topológico for n-resolúvel, para todo número natural n, o mesmo será \\omega-resolúvel. Provaremos, contudo, que se \\lambda é um cardinal tal que \\omega < cf(\\lambda) = \\lambda, existe um espaço topológico que é \\mu-resolúvel, para todo cardinal \\mu < \\lambda, mas que não é \\lambda-resolúvel. O cerne desta dissertação refere-se à construção, em ZFC, de um subespaço enumerável, denso e submaximal de 2^c. === The main purpose of this work is to study the theory of resolvable and irresolvable topological spaces. We shall introduce many properties of these spaces and we shall give special attention to some techniques used in the construction of irresolvable topological spaces without isolated points. Given a cardinal \\kappa > 1, we will present some examples of topological spaces which are \\kappa-resolvable, but not \\kappa^{+}-resolvable. Besides, we will show that if a topological space is n-resolvable, for every natural number n > 1, then it is \\omega-resolvable too. Nevertheless, we shall prove that if \\lambda is a cardinal with \\omega < cf(\\lambda) = \\lambda, there is a topological space which is \\mu-resolvable, for each cardinal \\mu < \\lambda, but that is not \\lambda-resolvable. The backbone of this dissertation is the construction, in ZFC, of a countable, dense and submaximal subspaces of 2^c.