espazo topolóxico que localmente compórtase coma un espazo real de n dimensións From Wikipedia, the free encyclopedia
En topoloxía, unha rama das matemáticas, unha variedade topolóxica é un espazo topolóxico que localmente se asemella ao espazo euclidiano real de n dimensións. As variedades topolóxicas son unha clase importante de espazos topolóxicos, con aplicacións en todas as matemáticas. Todas as variedades son variedades topolóxicas por definición. Outros tipos de variedades fórmanse engadindo estrutura a unha variedade topolóxica (por exemplo, as variedeades diferenciabeis son variedades topolóxicas equipadas cunha estrutura diferencial). Cada variedade ten unha variedade topolóxica "subxacente", obtida simplemente "esquecendo" a estrutura engadida.[1] Porén, non todas as variedades topolóxicas poden estar dotadas dunha estrutura adicional particular. Por exemplo, a variedade E8 é unha variedade topolóxica que non se pode dotar dunha estrutura diferenciable.
Un espazo topolóxico X chámase localmente euclidiano se hai un número enteiro non negativo n tal que cada punto de X ten unha veciñanza que é homeomórfica ao n-espazo real Rn .[2]
Unha variedade topolóxica é un espazo de Hausdorff localmente euclidiano. É normal poñer requisitos adicionais en variedades topolóxicas. En particular, moitos autores as definen como paracompactas[3] ou segundos numerábeis.[2]
No resto deste artigo unha variedade significará unha variedade topolóxica. Unha n-variedade significará unha variedade topolóxica tal que cada punto teña unha veciñanza homeomórfica a Rn.
A propiedade de ser localmente euclidiana é preservada polos homeomorfismos locais. É dicir, se X é localmente euclidiana de dimensión n e f : Y → X é un homeomorfismo local, entón Y é localmente euclidiana de dimensión n. En particular, ser localmente euclidiana é unha propiedade topolóxica.
As variedades herdan moitas das propiedades locais do espazo euclidiano. En particular, son localmente compactas, espazo localmente conexo, primeiro numerabeis, localmente contraibeis e localmente metrizables. Sendo espazos de Hausdorff localmente compactos, as variedades son necesariamente espazos de Tychonoff.
Unha variedade non necesita ser conexa, mais toda variedade M é unha unión disxunta de variedades conexas. Estas son só as compoñentes conexas de M, que son conxuntos abertos xa que as variedades son conexas localmente. Sendo conexas localmente por camiños, unha variedade é conexa por camiños se e só se é conexa. Polo tanto, as compoñentes por camiños son o mesmo que as compoñentes.
A propiedade de Hausdorff non é local; polo que aínda que o espazo euclidiano sexa Hausdorff, un espazo euclidiano localmente non ten por que selo. Porén, é certo que todo espazo localmente euclidiano é T<sub id="mwqA">1</sub> (dous puntos calquera poden ser separados por un aberto).
Un exemplo de espazo localmente euclidiano non Hausdorff é a liña con dúas orixes. Este espazo créase substituíndo a orixe da liña real por dous puntos, un contorno aberto de calquera dos cales inclúe todos os números distintos de cero nalgún intervalo aberto centrado en cero. Este espazo non é Hausdorff porque non se poden separar as dúas orixes.
Unha variedade é metrizable se e só se é paracompacto. A liña longa é un exemplo dunha variedade topolóxica unidimensional normal de Hausdorff que non é metrizable nin paracompacto. Dado que a metrizabilidade é unha propiedade moito desexable para un espazo topolóxico, é común engadir paracompactidade á definición dunha variedade. En calquera caso, as variedades non paracompactas considéranse xeralmente como patolóxicas. Un exemplo de variedade non paracompacta vén dado pola liña longa. As variedades paracompactas teñen todas as propiedades topolóxicas dos espazos métricos. En particular, son espazos de Hausdorff perfectamente normais.
Tamén se require habitualmente que as variedades sexan segundo numerabeis. Esta é precisamente a condición necesaria para asegurar que a variedade mergúllase nalgún espazo euclidiano de dimensións finitas. Para calquera variedade, as propiedades de ser segundo numeráble, Lindelöf e σ-compacto son todas equivalentes.
Toda variedade compacta é segundo numerábel e paracompacta.
Por invariancia do dominio, unha variedade n non baleira non pode ser unha variedade m para n ≠ m.[4] A dimensión dunha n-variedade non baleira é n. Ser unha n-variedade é unha propiedade topolóxica, o que significa que calquera espazo topolóxico homeomórfico a unha n-variedade tamén é unha n-variedade.[5]
Existen varios métodos para crear variedades a partir doutras variedades.
Se M é unha m-variedade e N é unha -variedade, o produto cartesiano M × N é unha (m + n)-variedade cando se dá a topoloxía do produto.[6]
A unión disxunta dunha familia numerábel de n-variedades é unha n-variedade (as pezas deben ter todas a mesma dimensión).[5]
A suma conexa de dúas n-variedades defínese eliminando unha bola aberta de cada variedade e tomando o cociente da unión disxunta das variedades resultantes con límite, sendo este cociente respecto dun homeomorfismo entre as esferas límite das bólas eliminadas. Isto resulta noutra n-variedade. [5]
Calquera subconxunto aberto dunha n-variedade é unha n-variedade coa topoloxía relativa ou inducida.[6]
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.