sobreyectiva | no sobreyectiva | |
---|---|---|
inyectivo | biyectivo | solo inyectable |
no- inyectivo | solo sobreyectiva | general |
En matemáticas , las inyecciones , sobreyecciones y biyecciones son clases de funciones que se distinguen por la forma en que los argumentos ( expresiones de entrada del dominio ) y las imágenes (expresiones de salida del codominio ) se relacionan o se asignan entre sí.
Una función mapea elementos de su dominio a elementos de su codominio. Dada una función:
- La función es inyectiva , o uno a uno , si cada elemento del codominio está mapeado a lo sumo por un elemento del dominio, o de manera equivalente, si distintos elementos del dominio mapean a distintos elementos en el codominio. Una función inyectiva también se llama inyección . [1] [2] Notablemente:
- o, de manera equivalente (usando transposición lógica ),
- La función es sobreyectiva , o sobre , si cada elemento del codominio está mapeado por al menos un elemento del dominio. Es decir, la imagen y el codominio de la función son iguales. Una función sobreyectiva es una sobreyección . [1] [2] Notablemente:
- La función es biyectiva ( uno a uno y sobre , correspondencia uno a uno o invertible ) si cada elemento del codominio está mapeado por exactamente un elemento del dominio. Es decir, la función es tanto inyectiva como sobreyectiva. Una función biyectiva también se llama biyección . [1] [2] [3] [4] [5] Es decir, combinando las definiciones de inyectiva y sobreyectiva,
- dónde significa " existe exactamente una x ".
- En cualquier caso (para cualquier función), se cumple lo siguiente:
Una función inyectiva no necesita ser sobreyectiva (no todos los elementos del codominio pueden estar asociados con argumentos), y una función sobreyectiva no necesita ser inyectiva (algunas imágenes pueden estar asociadas con más de un argumento). Las cuatro combinaciones posibles de características inyectivas y sobreyectivas se ilustran en los diagramas adyacentes.
Inyección
Una función es inyectiva ( uno a uno ) si cada elemento posible del codominio está mapeado como máximo por un argumento. De manera equivalente, una función es inyectiva si asigna distintos argumentos a distintas imágenes. Una función inyectiva es una inyección . [1] [2] La definición formal es la siguiente.
Los siguientes son algunos hechos relacionados con las inyecciones:
- Una función es inyectable si y solo si está vacío o se deja invertible ; es decir, hay una función tal que función identidad en X . Aquí, es la imagen de .
- Dado que cada función es sobreyectiva cuando su codominio está restringido a su imagen , cada inyección induce una biyección sobre su imagen. [1] Más precisamente, cada inyecciónse puede factorizar como una biyección seguida de una inclusión de la siguiente manera. Dejar ser con codominio restringido a su imagen, y deje ser el mapa de inclusión de dentro . Luego. Se da una factorización dual para las sobreyecciones a continuación.
- La composición de dos inyecciones es nuevamente una inyección, pero si es inyectiva, entonces solo se puede concluir que es inyectable (ver figura).
- Cada incrustación es inyectiva.
Surjection
Una función es sobreyectiva o sobre si cada elemento del codominio está mapeado por al menos un elemento del dominio . En otras palabras, cada elemento del codominio tiene una preimagen no vacía . De manera equivalente, una función es sobreyectiva si su imagen es igual a su codominio. Una función sobreyectiva es una sobreyección . [1] [2] La definición formal es la siguiente.
Los siguientes son algunos hechos relacionados con las sobreyecciones:
- Una función es sobreyectiva si y solo si es invertible a la derecha, es decir, si y solo si hay una función tal que función de identidad en . (Esta afirmación es equivalente al axioma de elección ).
- Al colapsar todos los argumentos que se mapean en una imagen fija dada, cada sobreyección induce una biyección de un conjunto cociente de su dominio a su codominio. Más precisamente, las preimágenes bajo f de los elementos de la imagen deson las clases de equivalencia de una relación de equivalencia en el dominio de, De manera que x y y son equivalentes si y sólo ellos tener la misma imagen bajo. Como todos los elementos de cualquiera de estas clases de equivalencia están mapeados porsobre el mismo elemento del codominio, esto induce una biyección entre el cociente establecido por esta relación de equivalencia (el conjunto de las clases de equivalencia) y la imagen de (que es su codominio cuando es surgective). Además, f es la composición de la proyección canónica de f al conjunto de cocientes, y la biyección entre el conjunto de cocientes y el codominio de.
- La composición de dos sobreyecciones es de nuevo una sobreyección, pero si es sobreyectiva, entonces solo se puede concluir que es sobreyectiva (ver figura).
Biyección
Una función es biyectiva si es tanto inyectiva como sobreyectiva. Una función biyectiva también se llama biyección o correspondencia uno a uno . [1] Una función es biyectiva si y solo si cada imagen posible está mapeada por exactamente un argumento. [2] Esta condición equivalente se expresa formalmente como sigue.
- La función es biyectiva, si para todos , hay un único tal que [3] [4] [5]
Los siguientes son algunos hechos relacionados con las biyecciones:
- Una función es biyectiva si y solo si es invertible, es decir, hay una función tal que función de identidad en X y función de identidad en . Esta función asigna cada imagen a su preimagen única.
- La composición de dos biyecciones es nuevamente una biyección, pero si es una biyección, entonces solo se puede concluir que es inyectable y es sobreyectiva (consulte la figura de la derecha y los comentarios anteriores sobre inyecciones y sobreyecciones).
- Las biyecciones de un conjunto a sí mismo forman un grupo bajo composición, llamado grupo simétrico .
Cardinalidad
Supongamos que uno quiere definir lo que significa que dos conjuntos "tengan el mismo número de elementos". Una forma de hacerlo es decir que dos conjuntos "tienen el mismo número de elementos", si y solo si todos los elementos de un conjunto pueden emparejarse con los elementos del otro, de tal manera que cada elemento esté emparejado con exactamente un elemento. En consecuencia, uno puede definir dos conjuntos para que "tengan el mismo número de elementos", si hay una biyección entre ellos. En cuyo caso, se dice que los dos conjuntos tienen la misma cardinalidad .
Asimismo, se puede decir que el conjunto "tiene menos o el mismo número de elementos" que el conjunto , si hay una inyección de a ; también se puede decir que conjunto "tiene menos elementos que el número" del conjunto , si hay una inyección de a , pero no una biyección entre y .
Ejemplos de
Es importante especificar el dominio y codominio de cada función, ya que al cambiarlos, las funciones que parecen ser iguales pueden tener propiedades diferentes.
- Inyectiva y sobreyectiva (biyectiva)
- La función de identidad id X para cada conjunto no vacío X , y por lo tanto específicamente
- , y por lo tanto también su inverso
- La función exponencial(es decir, la función exponencial con su codominio restringido a su imagen), y por lo tanto también su inverso el logaritmo natural
- Inyectiva y no sobreyectiva
- La función exponencial
- No inyectable y sobreyectivo
- No inyectable y no sobreyectivo
Propiedades
- Para cada función f , subconjunto X del dominio y subconjunto Y de la codomain, X ⊂ f -1 ( f ( X )) y f ( f -1 ( Y )) ⊂ Y . Si f es inyectiva, entonces X = f -1 ( f ( X )) , y si f es sobreyectiva, entonces f ( f -1 ( Y )) = Y .
- Para cada función h : X → Y , se puede definir una sobreyección H : X → h ( X ): x → h ( x ) y una inyección I : h ( X ) → Y : y → y . Resulta que. Esta descomposición es única hasta el isomorfismo .
Teoría de categorías
En la categoría de conjuntos , las inyecciones, sobreyecciones y biyecciones corresponden precisamente a monomorfismos , epimorfismos e isomorfismos , respectivamente. [6]
Historia
La terminología inyectiva-sobreyectiva-biyectiva (tanto como sustantivos como adjetivos) fue acuñada originalmente por el grupo francés Bourbaki , antes de su adopción generalizada. [7]
Ver también
- Prueba de línea horizontal
- Módulo inyectivo
- Permutación
Referencias
- ^ a b c d e f g "El glosario definitivo de jerga matemática superior" . Bóveda de matemáticas . 2019-08-01 . Consultado el 7 de diciembre de 2019 .
- ^ a b c d e f "Inyectiva, Sobreyectiva y Biyectiva" . www.mathsisfun.com . Consultado el 7 de diciembre de 2019 .
- ^ a b c d e f "Biyección, inyección y sobreyección | Wiki brillante de matemáticas y ciencias" . shiny.org . Consultado el 7 de diciembre de 2019 .
- ^ a b c d e f Farlow, SJ "Inyecciones, sobreyecciones y biyecciones" (PDF) . math.umaine.edu . Consultado el 6 de diciembre de 2019 .
- ^ a b c d e f "6.3: Inyecciones, Sobreyecciones y Biyecciones" . Matemáticas LibreTexts . 2017-09-20 . Consultado el 7 de diciembre de 2019 .
- ^ "Sección 7.3 (00V5): Mapas inyectivos y sobreyectivos de pre-ondas: el proyecto Stacks" . stacks.math.columbia.edu . Consultado el 7 de diciembre de 2019 .
- ^ Mashaal, Maurice (2006). Bourbaki . American Mathematical Soc. pag. 106. ISBN 978-0-8218-3967-6.
enlaces externos
- Usos más tempranos de algunas de las palabras de las matemáticas: la entrada sobre Inyección, Sobreyección y Biyección tiene la historia de Inyección y términos relacionados.