Atlas (topoloxía)

En matemáticas, particularmente en topoloxía, un atlas é un concepto usado para describir unha variedade. Un atlas está formado por cartas individuais que, grosso modo, describen rexións individuais da variedade. En xeral, a noción de atlas subxace na definición formal dunha variedade e outras  estruturas relacionadas, tal como fibrados de vectores e outros fibrados.

 Cartas 
A definición dun atlas depende da noción de carta. Unha carta para un espazo topolóxico M é un homeomorfismo  dun subconxunto aberto U de M cara a un subconxunto aberto dun espazo euclidiano. Tradicionalmente, a carta escríbese como o par ordenado .

Cando se escolle un sistema de coordenadas no espazo euclidiano, este define as coordenadas : as coordenadas dun punto  de  defínense como as coordenadas de  A parella formada por unha carta e un tal sistema de coordenadas chámase sistema de coordenadas local, carta de coordenadas, parche de coordenadas, mapa de coordenadas ou marco local.

 Definición formal de atlas 
Un atlas para un espazo topolóxico  é unha familia indexada  de cartas sobre  que é unha cobertura de  (é dicir, ). Se para algún n fixo, a imaxe de cada carta é un subconxunto aberto do espazo euclidiano n-dimensional, entón  dise que é unha variedade n -dimensional.

Un atlas  nunha variedade -dimensional  chámase atlas adecuado se se cumpren as seguintes condicións: 

 A imaxe de cada carta é un de  ou , onde  é o semiespazo pechado, 
  é unha cobertura aberta localmente finita de , e
 , onde  é a bóla aberta de raio 1 centrada na orixe.

Toda variedade segundo numerábel admite un atlas adecuado. A maiores, se  é unha cobertura aberta da variedade segundo contábel , entón hai un atlas adecuado  en , tal que  é un refinamento de .

 Mapas de transición 

Un mapa de transición proporciona unha forma de comparar dúas cartas dun atlas. Para facer esta comparación, consideramos a composición dunha carta coa inversa da outra. Esta composición non está ben definida a non ser que restrinximos ambas as cartas á intersección dos seus dominios de definición. 

Supoña que  e  son dúas cartas para unha variedade M tal que  non está baleira. O mapa de transición  é o mapa definido por 

Teña en conta que dado que  e  ambos os dous son homeomorfismos, o mapa de transición  é tamén un homeomorfismo.

 Máis estrutura 
A miúdo desexamos máis estrutura nunha variedade que simplemente a estrutura topolóxica. Por exemplo, se queremos unha noción inequívoca de diferenciación de funcións nunha variedade, entón é necesario construír un atlas cuxas funcións de transición sexan diferenciábeis. Tal variedade chámase diferenciábel. Dada unha variedade diferenciábel, pódese definir sen ambigüidades a noción de vectores tanxentes e logo derivadas direccionais.

Se cada función de transición é un mapa suave, entón o atlas chámase atlas suave, e a variedade en si denomínase suave. Alternativamente, pódese esixir que os mapas de transición teñan só k derivadas continuas, en cuxo caso dise que o atlas é .

Moi xeralmente, se cada función de transición pertence a un pseudogrupo  dos homeomorfismos do espazo euclidiano, entón o atlas chámase a -atlas. Se os mapas de transición entre as cartas dun atlas conservan unha trivialización local, daquela o atlas define a estrutura dun fibrado.

 Notas 


 Véxase tamén 


 Outros artigos 
 Función suave
 Variedade (xeometría)

 Ligazóns externas 
 Atlas by Rowland, Todd

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