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

El hecho de que un mapa f : XY 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 XY.

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.

Other Languages
català: Embedding
English: Embedding
français: Plongement
한국어: 매장 (수학)
Nederlands: Inbedding
русский: Вложение
slovenščina: Vložitev (matematika)
українська: Вкладення