Encaje (matemática)

En matemática, un encaje o inmersión (cf; embedding) es una instancia de alguna estructura

matemática contenida dentro de otra instancia, tal como puede ser un grupo que es un subgrupo.
Se define según la categoría que estemos hablando, por eso, podemos hablar de encajes
topológicos, encajes algebraicos, encajes geométricos u otros.

Cuando algún objeto X se dice que es encajado en otro objeto Y, el encaje es dado por alguna
función inyectiva que preserve su estructura f : X → Y. El significado preciso de «preservar
estructura» depende del tipo de estructura matemática de las cuales X e Y son instancias. En
terminología de la teoría de categorías, un mapa que preserva la estructura es llamado morfismo.
En general, conservar una estructura se ve asociado a la equivalencia entre operar cierta función
con ciertas entidades dadas de X con operar con los mapeos de estas entidades (los cuales se
encuentran en Y), por ejemplo y por decir algo, f(a+b)=f(a)+f(b). De esta forma, podemos hablar
de conservar distancia, longitud u otras propiedades fundamentales más abstractas. Así, saber que
dos objetos están encajados implica que podemos generalizar conclusiones o argumentos para
aplicarlos ya sea en X o en Y según convenga sin mayores contratiempos. Cabe destacar que como
hablamos de funciones debemos o más bien podemos partir de la teoría de conjuntos para una
mayor formalización y para facilitar la abstracción, aunque claro que los más experimentados
sabrán que ya es costumbre en las matemáticas desde hace muchos años este punto de partida y
sin embargo me doy el derecho a mencionar el hecho por si algún curioso está interesado en la
topología geométrica que es tan llamativa para el público y para los mismos estudiosos.

El hecho de que un mapa f : X → Y sea un encaje es a veces indicado por medio del uso de una
«flecha enganchada», por lo tanto: Por otro lado, esta notación es a veces reservada
para inyecciones canónicas.

Dados X e Y, varios encajes diferentes de X en Y pueden ser posibles. En la mayoría de los casos de
interés, hay un encaje estándar (o «canónico»), como aquellos de números naturales en los
números enteros, los 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 identificar el
dominio X con sus imágenes f(X) contenidas en Y, de manera que X ⊆ Y.

Definición
Sean X,Y objetos de alguna categoría . Un encaje de X en Y es una 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.

Véase también
Espacio de Banach
Alexander Grothendieck
Isotopía

Obtenido de «https://es.wikipedia.org/w/index.php?title=Encaje_(matemática)&oldid=155309972»