Conjunto saturado
 | Este artigo ou secção contém uma lista de referências no fim do texto, mas as suas fontes não são claras porque não são citadas no corpo do artigo, o que compromete a confiabilidade das informações. (Setembro de 2021) |
Em matemática, e em particular em topologia, um subconjunto de um espaço topológico (X, τ) é saturado se é a interseção de subconjuntos abertos de X. No T1 espaço todo conjunto é saturado.
Conjuntos saturados também podem ser definidos em termos de funções sobrejetoras: seja p uma sobrejeção; o conjunto C do domínio de p é chamado saturado se para todo p-1(A) que intersecta C, p-1(A) está contido em C. Isto é equivalente à afirmar que p−1p(C)=C.
Referências[editar | editar código-fonte]
- G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. Mislove, and D. S. Scott (2003). «Continuous Lattices and Domains». Encyclopedia of Mathematics and its Applications. 93. Cambridge University Press. ISBN 0-521-80338-1
- J. R. Munkres (2000). Topology. [S.l.]: Prentice-Hall. ISBN 0-13-181629-2
