### Función
Una **función** \( f \) es una relación entre dos conjuntos, \( A \) (dominio) y \( B \)
(codominio), donde a cada elemento de \( A \) le corresponde exactamente un elemento
de \( B \). Esto se denota como \( f: A \to B \)
### Función Inyectiva
Una función \( f: A \to B \) es **inyectiva** (o uno a uno) si diferentes elementos del
dominio se mapean a diferentes elementos del codominio. Formalmente, \( f \) es
inyectiva si:
\forall x_1, x_2 \in A, \, f(x_1) = f(x_2) \implies x_1 = x_2.
\]
Esto significa que no hay dos elementos distintos en \( A \) que se mapeen al mismo
elemento en \( B \).
### Función Sobreyectiva
Una función \( f: A \to B \) es **sobreyectiva** (o sobre) si cada elemento del
codominio es imagen de al menos un elemento del dominio. Formalmente, \( f \) es
sobreyectiva si:
\forall y \in B, \, \exists x \in A \, \text{tal que} \, f(x) = y.
\]
Esto significa que el rango (imagen) de \( f \) es todo el codominio \( B \).
### Función Biyectiva
Una función \( f: A \to B \) es **biyectiva** si es tanto inyectiva como sobreyectiva. Es
decir, \( f \) establece una correspondencia uno a uno entre los elementos de \( A \) y \( B
\). Formalmente, \( f \) es biyectiva si:
\[
\forall y \in B, \, \exists! X \in A \, \text{tal que} \, f(x) = y.
\]
Aquí, \(\exists!\) significa que existe exactamente un \( x \) tal que \( f(x) = y \).
En resumen:
- Una función **inyectiva** garantiza que no hay duplicados en las imágenes.
- Una función **sobreyectiva** asegura que todos los elementos del codominio son
alcanzados.
- Una función **biyectiva** combina ambas propiedades, estableciendo una
correspondencia uno a uno entre el dominio y el codominio.
Una **función inyectiva** (también conocida como función uno a uno) es una función
que asigna distintos elementos del dominio a distintos elementos del codominio. En
otras palabras, si dos elementos del dominio tienen la misma imagen en el codominio,
entonces esos dos elementos deben ser el mismo.
### Definición Formal
Una función \( f: A \to B \) es inyectiva si:
\[
\forall x_1, x_2 \in A, \, f(x_1) = f(x_2) \implies x_1 = x_2.
\]
Esto se puede interpretar como: si \( f(x_1) = f(x_2) \), entonces \( x_1 = x_2 \). No hay
dos elementos diferentes en \( A \) que se mapeen al mismo elemento en \( B \).
### Ejemplo de Función Inyectiva
Consideremos la función \( f: \mathbb{R} \to \mathbb{R} \) definida por \( f(x) = 2x \).
- Si \( f(x_1) = f(x_2) \), entonces \( 2x_1 = 2x_2 \).
- Dividiendo ambos lados de la ecuación por 2, obtenemos \( x_1 = x_2 \).
Por lo tanto, \( f(x) = 2x \) es inyectiva, ya que diferentes valores de \( x \) producen
diferentes valores de \( f(x) \).
### Gráficamente
En el plano cartesiano, una función es inyectiva si cualquier línea horizontal corta a la
gráfica de la función en, como máximo, un punto. Esto se conoce como la "prueba de la
línea horizontal”.
### Propiedades Importantes
- **Composición**: La composición de dos funciones inyectivas es inyectiva. Es decir,
si \( f \) y \( g \) son inyectivas, entonces \( g \circ f \) también es inyectiva.
- **Inversa**: Si una función \( f: A \to B \) es inyectiva, entonces existe una función
inversa \( f^{-1} \) en su rango, tal que \( f^{-1}(f(x)) = x \) para todos los \( x \) en \
( A \).
### Importancia
Las funciones inyectivas son importantes porque aseguran que cada elemento del
dominio se mapea de manera única a un elemento del codominio. Esto es esencial en
muchos contextos matemáticos, como en la teoría de conjuntos y en el análisis de
estructuras algebraicas.
En resumen, una función inyectiva es aquella en la que no hay dos elementos distintos
del dominio que se mapeen al mismo elemento del codominio.
