Topoloxía relativa

En topoloxía e outras áreas relacionadas das matemáticas, un subespazo dun espazo topolóxico X é un subconxunto S de X que está equipado cunha topoloxía inducida a partir da de X chamada topoloxía relativa (ou topoloxía traza,  topoloxía inducida,   topoloxía do subespazo).; see Section 26.2.4. Submanifolds, p. 59

 Definición 
Dado un espazo topolóxico  e un subconxunto  de , a topoloxía relativa en  está definida por



É dicir, un subconxunto de  é aberto na topoloxía relativa se e só se é a intersección de  cun conxunto aberto en . Se  está equipado coa topoloxía relativa, entón é un espazo topolóxico por dereito propio e chámase subespazo de . Os subconxuntos de espazos topolóxicos suponse normalmente que están equipados coa topoloxía relativa a non ser que se indique o contrario.

Alternativamente, podemos definir a topoloxía relativa para un subconxunto  de  como a topoloxía máis fina para a cal o mapa de inclusión



é continuo.

De xeito máis xeral, supoñamos que  é unha inxección dun conxunto  nun espazo topolóxico . Entón a topoloxía relativa en  defínese como a topoloxía máis grosa para a cal  é continua. Os conxuntos abertos nesta topoloxía son precisamente os da forma  para  aberto en . Daquela   é homeomórfico á súa imaxe en  (tamén coa topoloxía relativa) e  chámase mergullo topolóxico.

Un subespazo  chámase subespazo aberto se a inxección  é un mapa aberto, é dicir, se a imaxe cara adiante dun conxunto aberto de  está aberto en . Así mesmo chámase subespazo pechado se a inxección  é un mapa pechado.

 Terminoloxía 
A distinción entre un conxunto e un espazo topolóxico adoita estar esvaída notacionalmente, por comodidade, o que pode ser unha fonte de confusión cando estas definicións se atopan por primeira vez Así, sempre que  é un subconxunto de , e  é un espazo topolóxico, entón os símbolos sen outras marcas, "" e "", adoitan usarse para referirse a ambos os  e  considerados como dous subconxuntos de , e tamén a  e  como os espazos topolóxicos relacionados como se comentou anteriormente. Así que frases como " un subespazo aberto de " úsanse co significado de  é un subespazo aberto de , no sentido usado anteriormente; é dicir: (i)  ; e (ii)  considérase que está dotado da topoloxía relativa.

 Exemplos 
No seguinte,  representa os números reais coa súa topoloxía habitual.

 A topoloxía do subespazo dos números naturais, como subespazo de , é a topoloxía discreta.
 Os números racionais  considerados como subespazo de  non teñen a topoloxía discreta ({0} por exemplo, non é un conxunto aberto en  porque non hai un subconxunto aberto de  cuxa intersección con  pode dar como resultado só o conxunto unitario {0}). Se a e b son racionais, entón os intervalos (a, b) e [a, b] están respectivamente abertos e pechados, mais se a e b son irracionais, entón o conxunto de todos os racionais x con a < x < b é aberto e pechado.
 O conxunto [0,1] como subespazo de  é aberto e pechado, mentres que como subconxunto de  só é pechado.
 Como subespazo de , [0, 1] ∪ [2, 3] componse de dous subconxuntos abertos disxuntos (que tamén están pechados), polo que é un espazo desconexo.
 Sexa S = [0, 1) un subespazo da recta real . Entón [0, ) está aberto en S mais non en  (como, por exemplo, a intersección entre (-, ) e S resultan [0, )). Do mesmo xeito [, 1) está pechado en S pero non en  (xa que non hai un subconxunto aberto de  que pode ter unha intersección con [0, 1) para dar como resultado [, 1) ). S é aberto e pechado como un subconxunto de si mesmo mais non como un subconxunto de .

 Propiedades 
A topoloxía do subespazo ten a seguinte propiedade característica. Sexa  un subespazo de  e sexa   o mapa de inclusión. Daquela para calquera espazo topolóxico , un mapa  é continuo se e só se o mapa composto  é continuo.
alt=Characteristic property of the subspace topology|centro| Propiedade característica da topoloxía subespacial
Esta propiedade é característica no sentido de que se pode usar para definir a topoloxía relativa .

Enumeramos algunhas propiedades máis da topoloxía do subespazo. No seguinte   é un subespazo de .

 Se  é continua, a restrición a  é continua.
 Se  é continua, entón  é continua.
 Os conxuntos pechados en  son precisamente as interseccións de  con conxuntos pechados en .
 Se  é un subespazo de , entón  tamén é un subespazo de  coa mesma topoloxía. Noutras palabras, a topoloxía relativa que  herda de  é a mesma que herda de .
 Supoñamos que  é un subespazo aberto de  (polo tanto, ). Entón un subconxunto de  é aberto en  se e só se é aberto en .
 Supoñamos que  é un subespazo pechado de  (polo tanto, ). Entón un subconxunto de  é pechado en  se e só se é pechado en .
 Se  é unha base para , entón  é unha base para .
 A topoloxía inducida nun subconxunto dun espazo métrico ao restrinxir a métrica a este subconxunto coincide coa topoloxía relativa para este subconxunto.

 Conservación das propiedades topolóxicas 
Se un espazo topolóxico que ten algunha propiedade topolóxica implica que os seus subespazos teñen esa propiedade, entón dicimos que a propiedade é hereditaria. Se só os subespazos pechados deben compartir a propiedade chamámoslle debilmente hereditaria.

 Todo subespazo aberto e todo subespazo pechado dun espazo completamente metrizábel é completamente metrizábel.
 Cada subespazo aberto dun espazo de Baire é un espazo de Baire.
 Todo subespazo pechado dun espazo compacto é compacto.
 Ser un espazo de Hausdorff é hereditario.
 Ser un espazo normal é debilmente hereditario.
 Ser un espazo totalmente limitado é hereditario.
 Ser un espazo totalmente desconexo é hereditario.
 Ser un espazo primeiro numerábel ou segundo numerábel é hereditario.

 Notas 


 Véxase tamén 
 Bibliografía 
 Bourbaki, Nicolas, Elements of Mathematics: General Topology, Addison-Wesley (1966)

 Willard, Stephen. General Topology, Dover Publications (2004) 
 Outros artigos 
 Espazo cociente (topoloxía) 
 Topoloxía produto
 Topoloxía suma directa

Categoría:Topoloxía
Categoría:Wikipedia:Páxinas con traducións non revisadas