encaje

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.