✅ Una relación es función cuando a cada elemento del dominio le corresponde un único valor en el codominio. Si hay repetidos, no es función.
Una relación entre dos conjuntos es una función si y sólo si a cada elemento del conjunto de partida (dominio) le corresponde exactamente un elemento del conjunto de llegada (codominio). En otras palabras, para que una relación sea una función, ningún elemento del dominio puede estar relacionado con más de un elemento distinto del codominio.
En este artículo vamos a analizar con detalle cuándo una relación cumple la condición de función y cuándo no, a través de definiciones formales, ejemplos claros y contraejemplos que te ayudarán a entender esta diferencia fundamental en matemáticas.
¿Qué es una relación en Matemáticas?
Una relación R entre dos conjuntos A y B es un subconjunto del producto cartesiano A × B. Esto significa que cada par ordenado (a, b) que pertenece a la relación cumple que a ∈ A y b ∈ B. Sin embargo, esta relación no asegura ningún tipo de unicidad o restricción en cómo se vinculan los elementos de A con los de B.
¿Cuándo una relación es una función?
Una relación f: A → B es una función si para cada elemento a ∈ A, existe únicamente un elemento b ∈ B tal que (a, b) ∈ f. Formalmente:
- Para todo a ∈ A, hay exactamente un b ∈ B con (a, b) ∈ f.
- No puede haber dos pares (a, b1) y (a, b2) en la función con b1 ≠ b2.
Esto significa que el recorrido del elemento del dominio en la función es único y bien definido.
Ejemplo de función
Considera la relación entre A = {1, 2, 3} y B = {a, b, c} definida por:
- (1, a)
- (2, b)
- (3, a)
En este caso, cada elemento de A está asociado a un único elemento de B. Por lo tanto, esta relación es una función.
¿Cuándo una relación NO es una función?
Una relación NO es función cuando existe al menos un elemento del dominio que se relaciona con más de un elemento diferente del codominio. Esto implica que la relación no cumple con la condición de unicidad para cada elemento del dominio.
Ejemplo de relación que no es función
Si tomamos la relación entre A = {1, 2, 3} y B = {a, b, c} definida por:
- (1, a)
- (2, b)
- (2, c)
- (3, a)
En este caso, el elemento 2 del dominio está asociado a dos elementos del codominio (b y c). Por lo tanto, esta relación no es una función.
Resumen para identificar funciones
- Dominio: Es el conjunto de entrada.
- Codominio: Es el conjunto de posibles salidas.
- Función: Para cada elemento del dominio, hay uno y sólo un elemento del codominio asociado.
- Relación que no es función: Si algún elemento del dominio tiene dos o más imágenes distintas en el codominio.
Propiedades adicionales para determinar si una función es inyectiva, suprayectiva o biyectiva
Cuando hablamos de funciones en matemáticas, entender sus propiedades nos ayuda a clasificar su comportamiento y su relación con los conjuntos de partida y llegada. Más allá de la definición básica, existen características que nos permiten identificar si una función es inyectiva, suprayectiva o biyectiva. ¡Vamos a desgranarlas!
1. Función inyectiva (o “uno a uno”)
Una función es inyectiva si cada elemento del codominio tiene a lo sumo un elemento del dominio que se corresponda con él. En otras palabras: no hay dos elementos distintos del dominio que se mapeen al mismo elemento del codominio. Esto implica que la función nunca “repite imágenes”.
- Ejemplo: Al asignar DNI a personas, cada DNI es único, así que esta asignación sería inyectiva.
- Contraejemplo: La función f(x) = x² no es inyectiva porque f(2) = f(-2) = 4, es decir, dos valores distintos del dominio dan la misma imagen.
Propiedades clave para una función inyectiva
- Si f(a) = f(b), entonces a = b.
- La función pasa el test de la recta horizontal: ninguna línea horizontal corta la gráfica más de una vez.
2. Función suprayectiva (o “sobre”)
Una función es suprayectiva si todo elemento del codominio tiene al menos un elemento en el dominio que se mapea hacia él. Es decir, la función “abarca” todo el conjunto de llegada.
- Ejemplo típico: La función f(x) = x³ que lleva a números reales sobre el conjunto de reales, porque cualquier número real tiene una preimagen.
- Contraejemplo: La función f(x) = e^x no es suprayectiva si consideramos codominio todos los reales, porque nunca toma valores negativos.
¿Cómo reconocer una función suprayectiva?
- Cada elemento b del codominio Y debe tener al menos un a en X con f(a) = b.
- Se puede interpretar como que la imagen de la función es igual al codominio:
| Característica | Descripción |
|---|---|
| Imagen de f | El conjunto de valores que toma f dentro de Y |
| Suprayectividad | Cuando Imagen(f) = Codominio |
3. Función biyectiva: lo mejor de los dos mundos
Una función es biyectiva si es a la vez inyectiva y suprayectiva. Esto significa que hay una correspondencia perfecta y única entre elementos del dominio y del codominio.
Matemáticamente, esto quiere decir que para cada elemento del codominio existe exactamente un elemento del dominio y viceversa.
¿Por qué es tan importante la biyectividad?
- Permite invertir la función: si f es biyectiva, existe una función inversa f⁻¹.
- Es fundamental en conceptos de equivalencia y en áreas como la teoría de conjuntos y el análisis matemático.
Resumen en números y conceptos
- Inyectiva: cada imagen corresponde a un único valor preimagen.
- Suprayectiva: la imagen cubre el codominio completo.
- Biyectiva: cumple ambas condiciones, estableciendo una correspondencia uno a uno perfecta.
Preguntas frecuentes
¿Qué es una función en matemáticas?
¿Cómo sé si una relación no es función?
¿Puede una función no ser inyectiva?
| Punto clave | Descripción |
|---|---|
| Relación | Conjunto de pares ordenados que relacionan dos conjuntos. |
| Función | Relación donde cada elemento del dominio tiene exactamente una imagen en el codominio. |
| Dominio | Conjunto de partida o valores de entrada en una función. |
| Codominio | Conjunto donde se obtienen los valores de salida o imágenes. |
| ¿Cuándo no es función? | Si a un mismo valor del dominio le corresponden varios valores en el codominio. |
| Prueba de la vertical | Test gráfico para determinar si una relación es función: cualquier línea vertical cruza solo una vez. |
| Tipos de funciones | Inyectiva, sobreyectiva y biyectiva según correspondencia entre dominio y codominio. |
| Ejemplo no función | Relación que asigna un mismo x a dos y diferentes, no cumple definición de función. |
¡Dejanos tus comentarios y no te pierdas otros artículos en nuestra web que te pueden interesar!
