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