Funciones y sus Propiedades Fundamentales

TL;DR

Las funciones son relaciones especiales donde cada entrada tiene una única salida, permitiéndonos modelar cómo una cantidad depende de otra. Entender su dominio y rango es crucial para saber qué valores pueden tomar y qué valores resultan. Analizar propiedades como la inyectividad, sobreyectividad y biyectividad te ayuda a clasificar cómo se comportan estas relaciones.

1. The Mental Model

Imagina una máquina: le metes algo (la entrada) y te da una única cosa a cambio (la salida). Si la misma entrada siempre produce la misma salida, es una función.

2. The Core Material

Una función es una regla que asigna a cada elemento de un conjunto de entrada (llamado dominio) exactamente un elemento de un conjunto de salida (llamado rango o codominio). Usualmente se escribe como $f(x)$, donde $x$ es la entrada y $f(x)$ es la salida.

Componentes Clave de una Función

Photo by Andriall on Pexels

1. Dominio (Dom(f)): Es el conjunto de todos los posibles valores de entrada ($x$) para los cuales la función está definida.

   • Puntos clave:
     • Denominadores no pueden ser cero.
     • Argumentos de raíces cuadradas (o cualquier raíz par) no pueden ser negativos.
     • Argumentos de logaritmos deben ser positivos.
     • Funciones polinómicas: Dominio son todos los números reales ($\mathbb{R}$).

2. Rango (Ran(f) o Im(f)): Es el conjunto de todos los posibles valores de salida ($f(x)$) que la función puede producir.

   • Para encontrarlo, a menudo necesitas analizar el comportamiento de la función, graficarla o despejar $x$ en términos de $y=f(x)$.

Propiedades Fundamentales de las Funciones

Photo by Sergey Meshkov on Pexels

Las funciones se clasifican según cómo relacionan sus elementos del dominio y del rango.

Inyectividad (Función Uno a Uno)

Una función $f$ es inyectiva si cada elemento del rango está asociado con exactamente un elemento del dominio. Dicho de otra forma, si $f(x_1) = f(x_2)$, entonces $x_1 = x_2$.
* Gráficamente: Ninguna línea horizontal corta la gráfica de la función en más de un punto (prueba de la línea horizontal).

Sobreyectividad (Función Suprayectiva o Exhaustiva)

Una función $f$ es sobreyectiva si cada elemento del rango (codominio) es la imagen de al menos un elemento del dominio. Es decir, el rango de la función es igual a su codominio.
* Para probarlo, para cada $y$ en el codominio, debes encontrar un $x$ en el dominio tal que $f(x)=y$.

Biyectividad (Función Biunívoca)

Una función $f$ es biyectiva si es tanto inyectiva como sobreyectiva.
* Las funciones biyectivas son especiales porque tienen una función inversa única. Cada elemento del dominio se empareja con exactamente un elemento del rango, y viceversa.

graph TD
    A["Función $f: A \to B$"] --> B{¿Es inyectiva?};
    B -- Sí --> C{¿Es sobreyectiva?};
    B -- No --> D["No es Biyectiva"];
    C -- Sí --> E["Es Biyectiva"];
    C -- No --> D;
    E --> F["Tiene Inversa Única"];
    D --> G["No necesariamente tiene Inversa Única"];

Ejemplos de Propiedades:

Photo by Anya Juárez Tenorio on Pexels

• Función inyectiva: $f(x) = x^3$. Si $x_1^3 = x_2^3$, entonces $x_1 = x_2$.
• Función no inyectiva: $f(x) = x^2$. $f(2)=4$ y $f(-2)=4$, pero $2 \neq -2$.
• Función sobreyectiva (con codominio $\mathbb{R}$): $f(x) = x^3$. Para cualquier $y \in \mathbb{R}$, podemos encontrar $x = \sqrt[3]{y}$ tal que $f(x)=y$.
• Función no sobreyectiva (con codominio $\mathbb{R}$): $f(x) = x^2$. El rango es $[0, \infty)$, que no cubre todo $\mathbb{R}$. Por ejemplo, no hay $x$ tal que $f(x)=-1$.
• Función biyectiva: $f(x) = x^3$ (de $\mathbb{R}$ a $\mathbb{R}$). Es inyectiva y sobreyectiva.

3. Worked Example

Vamos a analizar la función $f(x) = \frac{1}{x-3}$.

1. Dominio:

   • El denominador no puede ser cero. Entonces, $x-3 \neq 0 \Rightarrow x \neq 3$.
   • El dominio es todos los números reales excepto el 3: $Dom(f) = \mathbb{R} - \{3\}$ o $(-\infty, 3) \cup (3, \infty)$.

2. Rango:

   • Sea $y = \frac{1}{x-3}$. Para encontrar el rango, intentemos despejar $x$ en términos de $y$.
   • $y(x-3) = 1$
   • $yx - 3y = 1$
   • $yx = 1 + 3y$
   • $x = \frac{1 + 3y}{y}$
   • Para que $x$ esté definido, el denominador $y$ no puede ser cero.
   • Entonces, el rango es todos los números reales excepto el 0: $Ran(f) = \mathbb{R} - \{0\}$ o $(-\infty, 0) \cup (0, \infty)$.

3. Inyectividad:

   • Asumamos $f(x_1) = f(x_2)$.
   • $\frac{1}{x_1-3} = \frac{1}{x_2-3}$
   • Esto implica que $x_1-3 = x_2-3$.
   • Sumando 3 a ambos lados, obtenemos $x_1 = x_2$.
   • Por lo tanto, la función es inyectiva.

4. Sobreyectividad:

   • Si definimos el codominio como $\mathbb{R}$, la función no es sobreyectiva porque 0 no está en el rango (nunca podemos obtener $f(x)=0$).
   • Si definimos el codominio como $\mathbb{R} - \{0\}$, entonces sí sería sobreyectiva. La sobreyectividad siempre depende del codominio especificado.

5. Biyectividad:

   • Como no es sobreyectiva con codominio $\mathbb{R}$, no es biyectiva en este caso. Si ajustamos el codominio a su rango $\mathbb{R} - \{0\}$, entonces sí sería biyectiva.

4. Key Takeaways

• Una función asigna a cada entrada exactamente una salida.
• El dominio es el conjunto de todas las entradas válidas; el rango es el conjunto de todas las salidas posibles.
• Una función es inyectiva si cada salida proviene de una única entrada (pasa la prueba de la línea horizontal).
• Una función es sobreyectiva si cada elemento del codominio es una salida de la función.
• Una función biyectiva es tanto inyectiva como sobreyectiva y tiene una inversa única.
• Al determinar la sobreyectividad, es crucial considerar el codominio especificado de la función.

Errores comunes a evitar:
- No verificar restricciones del dominio (denominadores cero, raíces de negativos, logaritmos de no-positivos).
- Confundir el codominio con el rango; el rango es el conjunto real de salidas, el codominio es el conjunto potencial de salidas.
- Asumir que una función es biyectiva sin probar tanto la inyectividad como la sobreyectividad.
- Pensar que $f(x) = x^2$ es inyectiva porque números diferentes producen el mismo valor absoluto, lo cual es incorrecto.

5. Now Try It

Considera la función $g(x) = \sqrt{x+4}$. Tu tarea es:
1. Determinar el dominio de $g(x)$.
2. Determinar el rango de $g(x)$.
3. Determinar si $g(x)$ es inyectiva (con su dominio como entradas).
4. Si el codominio es $[0, \infty)$, ¿es $g(x)$ sobreyectiva? ¿Es biyectiva?

Qué buscar para saber que lo hiciste bien: Habrás encontrado un dominio que impide raíces de números negativos, un rango que solo incluye números positivos, y habrás demostrado inyectividad y sobreyectividad (o no) basándote en la definición de la función y el codominio dado.