Subespaço topológico
Origem: Wikipédia, a enciclopédia livre.
Em topologia, um subespaço topológico de um espaço X é um subconjunto de X munido da topologia relativa, definida a seguir.
[editar] Topologia relativa
A topologia relativa ou induzida num subespaço S de um espaço topológico X é o conjunto das intersecções de S com os abertos de X.
[editar] Heredetariedade
Algumas propriedades dos espaços topológicos passam para os seus subespaços:
- Um subespaço de um espaço finito é finito;
- Um subespaço de um espaço discreto é discreto;
- Um subespaço de um espaço separado é separado;
- Um subespaço fechado de um espaço compacto é compacto
