En matemáticas , una incrustación (o incrustación [1] ) es una instancia de alguna estructura matemática contenida dentro de otra instancia, como un grupo que es un subgrupo .
Cuando algún objeto X se dice que está incrustado en otro objeto Y , la incrustación está dada por algunos inyectiva mapa y conservadora de la estructura f : X → Y . El significado preciso de "preservar la estructura" depende del tipo de estructura matemática de la que X e Y son instancias. En la terminología de la teoría de categorías , un mapa que preserva la estructura se llama morfismo .
El hecho de que un mapa f : X → Y es una incrustación se indica a menudo por el uso de una "flecha enganchado" ( U + 21aa ↪ hacia la derecha de la flecha con HOOK ); [2] así:(Por otro lado, esta notación a veces se reserva para mapas de inclusión ).
Dados X e Y , pueden ser posibles varias incrustaciones diferentes de X en Y. En muchos casos de interés hay una incrustación estándar (o "canónica"), como las de los números naturales en los números enteros , los números enteros en los números racionales , los números racionales en los números reales y los números reales en los números complejos. . En tales casos, es común para identificar el dominio X con su imagen f ( X ) contenidos en Y , de modo que f ( X ) ⊆ Y .
Topología y geometría
Topología general
En topología general , una incrustación es un homeomorfismo en su imagen. [3] Más explícitamente, un mapa continuo inyectivoentre espacios topológicos y es una incrustación topológica si produce un homeomorfismo entre y (dónde lleva la topología subespacial heredada de). Entonces intuitivamente, la incrustación déjanos tratar como un subespacio de. Cada incrustación es inyectiva y continua . Todo mapa inyectivo, continuo y abierto o cerrado es una incrustación; sin embargo, también hay incrustaciones que no están abiertas ni cerradas. Esto último sucede si la imagenno es un conjunto abierto ni un conjunto cerrado en.
Para un espacio dado , la existencia de una incrustación es un invariante topológico de. Esto permite distinguir dos espacios si uno se puede empotrar en un espacio y el otro no.
Topología diferencial
En topología diferencial : Sea y ser colectores lisos ySea un mapa fluido. Luegose llama inmersión si su derivada es inyectiva en todas partes. Una incrustación , o una incrustación suave , se define como una inmersión inyectiva que es una incrustación en el sentido topológico mencionado anteriormente (es decir, homeomorfismo en su imagen). [4]
En otras palabras, el dominio de una incrustación es difeomórfico a su imagen y, en particular, la imagen de una incrustación debe ser una subvariedad . Una inmersión es precisamente una incrustación local , es decir, para cualquier punto hay un barrio tal que es una incrustación.
Cuando la variedad de dominio es compacta, la noción de una incrustación suave es equivalente a la de una inmersión inyectiva.
Un caso importante es . El interés aquí está en cuán grande debe ser para una incrustación, en términos de la dimensión de . El teorema de la incrustación de Whitney [5] establece quees suficiente y es el mejor límite lineal posible. Por ejemplo, el espacio proyectivo real RP m de dimensión, dónde es una potencia de dos, requiere para una incrustación. Sin embargo, esto no se aplica a las inmersiones; por ejemplo, RP 2 se puede sumergir encomo se muestra explícitamente en la superficie de Boy, que tiene autointersecciones. La superficie romana no es una inmersión ya que contiene tapones transversales .
Una incrustación es adecuada si se comporta bien con respecto a los límites : se requiere el mapa ser tal que
- , y
- es transversal a en cualquier punto de .
La primera condición es equivalente a tener y . La segunda condición, en términos generales, dice que f ( X ) no es tangente a la frontera de Y .
Geometría riemanniana y pseudo-riemanniana
En geometría riemanniana y geometría pseudo-riemanniana: sean ( M , g ) y ( N , h ) variedades de Riemann o, más generalmente , variedades pseudo-riemannianas . Una incrustación isométrica es una incrustación suave f : M → N que conserva la (pseudo-) métrica en el sentido de que g es igual al retroceso de h por f , es decir, g = f * h . Explícitamente, para dos vectores tangentes cualesquiera tenemos
De manera análoga, la inmersión isométrica es una inmersión entre variedades (pseudo) -Riemannianas que conserva las métricas (pseudo) -Riemannianas.
De manera equivalente, en la geometría de Riemann, una incrustación (inmersión) isométrica es una incrustación suave (inmersión) que conserva la longitud de las curvas (cf. Teorema de incrustación de Nash ). [6]
Álgebra
En general, para una categoría algebraica C , una incrustación entre dos estructuras C -algebraicas X e Y es un C -morfismo e : X → Y que es inyectivo.
Teoría de campo
En la teoría de campo , una incrustación de un campo E en un campo F es un homomorfismo de anillos σ : E → F .
El núcleo de σ es un ideal de E que no puede ser todo el campo E , debido a la condición σ (1) = 1 . Además, es una propiedad bien conocida de los campos que sus únicos ideales son el ideal cero y todo el campo en sí. Por lo tanto, el kernel es 0, por lo que cualquier incrustación de campos es un monomorfismo . Por lo tanto, E es isomorfo a la subcampo σ ( E ) de F . Esto justifica la inclusión de nombres para un homomorfismo arbitrario de campos.
Álgebra universal y teoría de modelos
Si σ es una firma yson σ- estructuras (también llamadas σ-álgebras en álgebra universal o modelos en teoría de modelos ), luego un mapaes una incrustación σ si se cumplen todos los siguientes requisitos:
- es inyectable,
- para cada -símbolo de función de orden y tenemos ,
- para cada -símbolo de relación y tenemos si
Aquí es una notación teórica modelo equivalente a . En la teoría de modelos también hay una noción más fuerte de incrustación elemental .
Teoría de órdenes y teoría de dominios
En la teoría de órdenes , una incrustación de conjuntos parcialmente ordenados es una función F entre conjuntos parcialmente ordenados X e Y tal que
La inyectividad de F se sigue rápidamente de esta definición. En la teoría de dominios , un requisito adicional es que
- se dirige .
Espacios métricos
Un mapeo de espacios métricos se llama incrustación (con distorsión ) Si
por alguna constante .
Espacios normativos
Un caso especial importante es el de los espacios normativos ; en este caso, es natural considerar incrustaciones lineales.
Una de las preguntas básicas que se pueden hacer sobre un espacio normado de dimensión finita es, cuál es la dimensión máximatal que el espacio de Hilbert se puede incrustar linealmente en con constante distorsión?
La respuesta está dada por el teorema de Dvoretzky .
Teoría de categorías
En la teoría de categorías , no existe una definición satisfactoria y generalmente aceptada de incrustaciones que sea aplicable a todas las categorías. Uno esperaría que todos los isomorfismos y todas las composiciones de incrustaciones sean incrustaciones, y que todas las incrustaciones sean monomorfismos. Otros requisitos típicos son: cualquier monomorfismo extremo es una incrustación y las incrustaciones son estables bajo retrocesos .
Idealmente, la clase de todos los subobjetos incrustados de un objeto dado, hasta el isomorfismo, también debería ser pequeña y, por tanto, un conjunto ordenado . En este caso, se dice que la categoría está bien potenciada con respecto a la clase de incrustaciones. Esto permite definir nuevas estructuras locales en la categoría (como un operador de cierre ).
En una categoría concreta , una incrustación es un morfismo ƒ : A → B que es una función inyectiva del conjunto subyacente de A al conjunto subyacente de B y también es un morfismo inicial en el siguiente sentido: Si g es una función del subyacente conjunto de un objeto C al conjunto subyacente de a , y si su composición con ƒ es un morfismo ƒg : C → B , entonces g sí mismo es un morfismo.
Un sistema de factorización para una categoría también da lugar a una noción de incrustación. Si ( E , M ) es un sistema de factorización, entonces los morfismos en M pueden ser considerados como las incrustaciones, especialmente cuando la categoría es bien alimentado con respecto a M . Las teorías concretas a menudo tienen un sistema de factorización en el que M consiste en las incrustaciones en el sentido anterior. Este es el caso de la mayoría de los ejemplos que se dan en este artículo.
Como es habitual en la teoría de categorías, existe un concepto dual , conocido como cociente. Todas las propiedades anteriores se pueden dualizar.
Una incrustación también puede referirse a un functor de incrustación .
Ver también
- Inmersión cerrada
- Cubrir
- Reducción de dimensión
- Inmersión
- Lema de Johnson-Lindenstrauss
- Sub-colector
- Subespacio
- Espacio universal
Notas
- ^ Spivak 1999 , p. 49 sugiere que "los ingleses" (es decir, los británicos) utilizan "incrustación" en lugar de "incrustación".
- ^ "Flechas - Unicode" (PDF) . Consultado el 7 de febrero de 2017 .
- ^ Hocking y Young , 1988 , p. 73. Sharpe 1997 , pág. dieciséis.
- ^ Obispo y Crittenden , 1964 , p. 21. Bishop y Goldberg 1968 , pág. 40. Crampin y Pirani 1994 , p. 243. do Carmo 1994 , p. 11. Flanders 1989 , pág. 53. Gallot, Hulin y Lafontaine 2004 , p. 12. Kobayashi y Nomizu 1963 , pág. 9. Kosinski 2007 , pág. 27. Lang 1999 , pág. 27. Lee 1997 , pág. 15. Spivak 1999 , pág. 49. Warner 1983 , pág. 22.
- ^ Whitney H., Variedades diferenciables, Ann. de Matemáticas. (2), 37 (1936), págs. 645–680
- ^ Nash J., El problema de la incrustación de variedades riemannianas, Ann. de Matemáticas. (2), 63 (1956), 20–63.
Referencias
- El obispo Richard Lawrence ; Crittenden, Richard J. (1964). Geometría de colectores . Nueva York: Academic Press. ISBN 978-0-8218-2923-3.
- El obispo Richard Lawrence ; Goldberg, Samuel Irving (1968). Análisis tensorial en colectores (Primera edición de Dover, 1980). La Compañía Macmillan. ISBN 0-486-64039-6.
- Crampin, Michael; Pirani, Felix Arnold Edward (1994). Geometría diferencial aplicable . Cambridge, Inglaterra: Cambridge University Press. ISBN 978-0-521-23190-9.
- do Carmo, Manfredo Perdigao (1994). Geometría de Riemann . ISBN 978-0-8176-3490-2.
- Flandes, Harley (1989). Formas diferenciales con aplicaciones a las ciencias físicas . Dover. ISBN 978-0-486-66169-8.
- Gallot, Sylvestre; Hulin, Dominique; Lafontaine, Jacques (2004). Geometría de Riemann (3ª ed.). Berlín, Nueva York: Springer-Verlag . ISBN 978-3-540-20493-0.
- Hocking, John Gilbert; Young, Gail Sellers (1988) [1961]. Topología . Dover. ISBN 0-486-65676-4.
- Kosinski, Antoni Albert (2007) [1993]. Colectores diferenciales . Mineola, Nueva York: Publicaciones de Dover. ISBN 978-0-486-46244-8.
- Lang, Serge (1999). Fundamentos de la geometría diferencial . Textos de Posgrado en Matemáticas. Nueva York: Springer. ISBN 978-0-387-98593-0.
- Kobayashi, Shoshichi ; Nomizu, Katsumi (1963). Fundamentos de la geometría diferencial, volumen 1 . Nueva York: Wiley-Interscience.
- Lee, John Marshall (1997). Variedades de Riemann . Springer Verlag. ISBN 978-0-387-98322-6.
- Sharpe, RW (1997). Geometría diferencial: generalización de Cartan del programa Erlangen de Klein . Springer-Verlag, Nueva York. ISBN 0-387-94732-9..
- Spivak, Michael (1999) [1970]. Una introducción completa a la geometría diferencial (Volumen 1) . Publicar o perecer. ISBN 0-914098-70-5.
- Warner, Frank Wilson (1983). Fundamentos de colectores diferenciables y grupos de mentiras . Springer-Verlag, Nueva York. ISBN 0-387-90894-3..
enlaces externos
- Adámek, Jiří; Horst Herrlich; George Strecker (2006). Categorías abstractas y concretas (La alegría de los gatos) .
- Integración de colectores en el Atlas de colectores