Topología traza

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda

En topología la topología traza es la topología que se define de manera natural en un subconjunto del espacio.

Definición formal[editar]

Sea un espacio topológico, e un subconjunto de . Entonces, la topología traza sobre es la topología menos fina que hace continua a la inyección canónica

es decir, la aplicación definida así: .

Se denota mediante .

Es posible probar que .

Propiedades heriditarias[editar]

Una propiedad topológica se dice hereditaria si al ser válida para un espacio también lo es para sus subconjuntos, vistos como espacios topológicos dotados de la topología traza.

Por ejemplo, la propiedad de ser un espacio de Hausdorff es hereditaria, pero la propiedad de ser normal no lo es.