Em topologia, o fecho ou aderência de um subespaço topológico S de X é o menor fechado de X que contém S.
Definição
O fecho de um conjunto , denotado por
, é o conjunto formado pelos seus pontos aderentes.
Um conjunto é considerado fechado se é igual ao seu fecho. Ou seja, quando contém todos os seus pontos aderentes.
Propriedades
- O fecho de S é a intersecção de todos os fechados que contêm S;
- O fecho de um conjunto X (
) é obtido acrescentando-se a X os seus pontos de acumulação, ou seja, é a união de dois conjuntos, X e
(=conjunto dos pontos aderentes):
. Por exemplo, se tomarmos o conjunto aberto
, então seu fecho será o conjunto fechado
.
Exemplos
- O fecho do conjunto
dos números racionais é a reta
. Também o fecho do conjunto
dos números irracionais é
.
e
não são conjuntos fechados.
- O fecho de uma bola aberta é uma bola fechada.