En matemáticas , una función inyectiva (también conocida como inyección o función uno a uno [1] ) es una función f que asigna distintos elementos de su dominio a distintos elementos; es decir, x 1 ≠ x 2 implica f ( x 1 ) ≠ f ( x 2 ) . (De manera equivalente, f ( x 1 ) = f ( x 2 ) implica x 1 = x 2 en el enunciado contrapositivo equivalente.) En otras palabras, cada elemento del codominio de la función es la imagen de como máximo un elemento de su dominio . [2] El término función uno a uno no debe confundirse con la correspondencia uno a uno que se refiere a funciones biyectivas , que son funciones tales que cada elemento en el codominio es una imagen de exactamente un elemento en el dominio.
Un homomorfismo entre estructuras algebraicas es una función que es compatible con las operaciones de las estructuras. Para todas las estructuras algebraicas comunes y, en particular, para los espacios vectoriales , un homomorfismo inyectivo también se denomina monomorfismo . Sin embargo, en el contexto más general de la teoría de categorías , la definición de monomorfismo difiere de la de homomorfismo inyectivo. [3] Este es, por tanto, un teorema de que son equivalentes para estructuras algebraicas; consulte Homomorfismo § Monomorfismo para más detalles.
Una función que no es inyectiva a veces se denomina muchos a uno. [2]
Definición
Sea una función cuyo dominio es un conjunto. Se dice que la función es inyectiva siempre que para todos y en si entonces ; es decir, implica Equivalentemente, si entonces en el enunciado contrapositivo .
Simbólicamente,
lo que lógicamente equivale al contrapositivo , [4]
Ejemplos
Para ver ejemplos visuales, los lectores son dirigidos a la sección de galería.
Para cualquier conjunto y subconjunto, el mapa de inclusión (que envía cualquier elemento a sí mismo) es inyectivo. En particular, la función de identidad es siempre inyectiva (y de hecho biyectiva).
Si el dominio de una función es el conjunto vacío , entonces la función es la función vacía , que es inyectiva.
Si el dominio de una función tiene un elemento (es decir, es un conjunto singleton ), entonces la función siempre es inyectiva.
La función definida por es inyectiva.
La función definida por no es inyectiva, porque (por ejemplo) Sin embargo, si se redefine para que su dominio sean los números reales no negativos [0,+∞), entonces es inyectiva.
La función exponencial definida por es inyectiva (pero no sobreyectiva, ya que ningún valor real se asigna a un número negativo).
La función definida por no es inyectiva, ya que, por ejemplo,
De manera más general, cuando y son ambas líneas reales, entonces una función inyectiva es aquella cuya gráfica nunca es intersecada por una línea horizontal más de una vez. Este principio se conoce como prueba de la línea horizontal . [2]
Las inyecciones se pueden deshacer
Las funciones con inversas izquierdas son siempre inyecciones. Es decir, dado que existe una función tal que para cada , entonces es inyectiva. En este caso, se llama retracción de Por el contrario, se llama sección de
Por el contrario, cada inyección con un dominio no vacío tiene una inversa izquierda . Se puede definir eligiendo un elemento en el dominio de y estableciendo el elemento único de la preimagen (si no está vacía) o (en caso contrario). [5]
La inversa izquierda no es necesariamente una inversa porque la composición en el otro orden puede diferir de la identidad en En otras palabras, una función inyectiva puede ser "invertida" por una inversa izquierda, pero no es necesariamente invertible , lo que requiere que la La función es biyectiva.
Las inyecciones pueden hacerse reversibles.
De hecho, para convertir una función inyectiva en una función biyectiva (por lo tanto invertible), basta con reemplazar su codominio por su imagen real. Es decir, sea tal que para todos ; entonces es biyectivo. De hecho, se puede factorizar desde dónde está la función de inclusión en
Si es inyectivo, entonces es inyectivo (pero no es necesario que lo sea).
es inyectiva si y sólo si, dada alguna función siempre que entonces En otras palabras, las funciones inyectivas son precisamente los monomorfismos en la categoría Conjunto de conjuntos.
Si es inyectivo y es un subconjunto de entonces , por lo tanto, se puede recuperar a partir de su imagen.
Si es inyectivo y y son ambos subconjuntos de entonces
Cada función se puede descomponer como para una inyección y sobreyección adecuadas . Esta descomposición es única hasta el isomorfismo y puede considerarse como la función de inclusión del rango de como un subconjunto del codominio de
Si es una función inyectiva, entonces tiene al menos tantos elementos como en el sentido de los números cardinales . En particular, si además hay una inyección desde hasta entonces y tienen el mismo número cardinal. (Esto se conoce como teorema de Cantor-Bernstein-Schroeder ).
Si ambos y son finitos con el mismo número de elementos, entonces es inyectivo si y sólo si es sobreyectivo (en cuyo caso es biyectivo).
Una función inyectiva que es un homomorfismo entre dos estructuras algebraicas es una incrustación .
A diferencia de la sobreyectividad, que es una relación entre la gráfica de una función y su codominio, la inyectividad es una propiedad únicamente de la gráfica de la función; es decir, si una función es inyectiva se puede decidir considerando únicamente la gráfica (y no el codominio) de
Demostrando que las funciones son inyectivas
Una prueba de que una función es inyectiva depende de cómo se presenta la función y qué propiedades tiene. Para funciones que vienen dadas por alguna fórmula existe una idea básica. Usamos la definición de inyectividad, es decir, que si entonces [6]
Aquí hay un ejemplo:
Prueba: Supongamos que So implica lo que implica Por lo tanto, de la definición se deduce que es inyectivo.
Existen muchos otros métodos para demostrar que una función es inyectiva. Por ejemplo, en cálculo, si es una función diferenciable definida en algún intervalo, entonces es suficiente demostrar que la derivada es siempre positiva o siempre negativa en ese intervalo. En álgebra lineal, si se trata de una transformación lineal, basta con demostrar que el núcleo de contiene sólo el vector cero. Si es una función con dominio finito, basta con mirar la lista de imágenes de cada elemento del dominio y comprobar que ninguna imagen aparece dos veces en la lista.
Un enfoque gráfico para una función de valor real de una variable real es la prueba de la línea horizontal . Si cada línea horizontal corta la curva de como máximo en un punto, entonces es inyectiva o uno a uno.
Galería
Una función inyectiva no sobreyectiva (inyección, no biyección)
Una función sobreyectiva inyectiva (biyección)
Una función sobreyectiva no inyectiva (sobreyección, no biyección)
Una función no inyectiva, no sobreyectiva (tampoco una biyección)
No es una función inyectiva. Aquí y son subconjuntos de y son subconjuntos de : para dos regiones donde la función no es inyectiva porque más de un elemento de dominio puede asignarse a un único elemento de rango. Es decir, es posible que más de uno se asigne al mismo
Hacer funciones inyectivas. La función anterior se puede reducir a una o más funciones inyectivas (por ejemplo) y mostrarse mediante curvas sólidas (las partes de guiones largos de la curva inicial ya no se asignan). Observe cómo la regla no ha cambiado: sólo el dominio y el rango. y son subconjuntos de y son subconjuntos de : para dos regiones donde la función inicial puede hacerse inyectiva de modo que un elemento de dominio pueda asignarse a un único elemento de rango. Es decir, sólo uno en se asigna a uno en
Funciones inyectivas. Interpretación diagramada en el plano cartesiano , definida por el mapeo donde dominio de función , rango de función y denota imagen de Cada uno en mapas exactamente uno único en Las partes circuladas de los ejes representan conjuntos de dominio y rango, de acuerdo con el estándar diagramas arriba
Función univalente – concepto matemáticoPages displaying wikidata descriptions as a fallback
Notas
^ A veces función uno uno , en la educación matemática india. «Capítulo 1: Relaciones y funciones» (PDF) . Archivado (PDF) desde el original el 26 de diciembre de 2023, a través de NCERT.
^ abc "Inyectiva, Suryectiva y Biyectiva". La matematica es divertida . Consultado el 7 de diciembre de 2019 .
^ "Sección 7.3 (00V5): Mapas inyectivos y sobreyectivos de presheaves". El proyecto Pilas . Consultado el 7 de diciembre de 2019 .
^ Farlow, SJ "Sección 4.2 Inyecciones, sobreyecciones y biyecciones" (PDF) . Matemáticas y Estadística - Universidad de Maine . Archivado desde el original (PDF) el 7 de diciembre de 2019 . Consultado el 6 de diciembre de 2019 .
^ A diferencia de la afirmación correspondiente de que toda función sobreyectiva tiene un inverso derecho, esto no requiere el axioma de elección , ya que la existencia de está implícita en el hecho de que el dominio no está vacío. Sin embargo, esta afirmación puede fallar en matemáticas menos convencionales como las matemáticas constructivas . En matemáticas constructivas, la inclusión del conjunto de dos elementos en los reales no puede tener un inverso izquierdo, ya que violaría la indescomponibilidad , al dar una retracción de la línea real al conjunto {0,1}.
^ Williams, Peter (21 de agosto de 1996). "Demostración de funciones uno a uno". Página de notas de referencia del Departamento de Matemáticas de CSU San Bernardino . Archivado desde el original el 4 de junio de 2017.
Referencias
Bartle, Robert G. (1976), Los elementos del análisis real (2ª ed.), Nueva York: John Wiley & Sons , ISBN 978-0-471-05464-1, pag. 17 y sigs .
Wikimedia Commons tiene medios relacionados con la inyectividad .
Busque inyectivo en Wikcionario, el diccionario gratuito.
Usos más tempranos de algunas de las palabras de Matemáticas: la entrada sobre Inyección, Suryección y Biyección tiene la historia de la Inyección y términos relacionados.
Khan Academy – Funciones sobreyectivas (sobre) e inyectivas (uno a uno): Introducción a las funciones sobreyectivas e inyectivas