Conjunto saturado

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa

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. Topology. [S.l.]: Prentice-Hall, 2000. ISBN 0-13-181629-2.
Ícone de esboço Este artigo sobre matemática é um esboço. Você pode ajudar a Wikipédia expandindo-o.