- Encaje (matemática)
-
Encaje (matemática)
En matemática, un encaje (cf; embedding) se define según la categoría que estemos hablando. Es por eso que podemos hablar de encajes topológicos, encajes algebraicos, encajes geométricos u otros.
Definición
Sean X,Y objetos de alguna categoría
. Un encaje de X en Y es un función
la cual es un
-morfismo y es inyectivo, i.e. f es un
-monomorfismo.
Concepto asociado
Un espacio con frontera X se dice que está propiamente encajado en otro espacio Y con frontera si existe un encaje
tal que la restricción
también es un encaje.
Ejemplo
Si elegimos la categoría: topología, entonces un encaje es una aplicación continua e inyectiva entre espacios topológicos X, Y. Otra forma de enunciarlo es: f es un encaje, si existe
una aplicación continua que hace que los conjuntos
y
sean homeomorfos.
Una instancia particular es: una curva cerrada simple en X es un encaje de la 1-esfera en X.
Véase también:
- Teorema de Dvoretzky
- Espacio de Banach
- Vitali Milman
- Alexander Grothendieck
- isotopía
Categorías: Teoría de categorías | Topología | Álgebra
Wikimedia foundation. 2010.