Espaço discreto

Em topologia, um espaço topológico diz-se discreto se os seus pontos estão isolados uns dos outros. Formalmente, X diz-se discreto se a sua topologia for o conjunto das partes de X.

Propriedades

Um espaço discreto:

• pode ser metrizado, através da métrica discreta
• é separado
• é compacto se e só se é finito

Ver também

• Topologia grosseira