- 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.