Función
Una función es una regla que asigna exactamente un valor de salida a cada valor de entrada.
Definition
Una función es como una máquina: introduces una entrada y siempre obtienes exactamente una salida para ella. Formalmente, una función es una relación entre un conjunto de entradas (el dominio) y un conjunto de salidas (el rango) tal que cada elemento del dominio se empareja con exactamente un elemento del rango, y de manera aún más precisa, una función $f: A \to B$ es un subconjunto del producto cartesiano $A \times B$ tal que para cada $a \in A$ existe exactamente un $b \in B$ con $(a, b) \in f$, donde $A$ es el dominio y $B$ es el codominio.
Example
Una máquina expendedora es una buena analogía: presionas B3 y siempre obtienes el mismo snack, nunca dos cosas distintas al azar. Algebraicamente, $f(x) = x^2$ es una función porque la entrada $3$ siempre da como salida $9$, mientras que la relación $y^2 = x$ NO es una función ya que $x = 4$ da tanto $y = 2$ como $y = -2$. La función $f: \mathbb{R} \to \mathbb{R}$ definida por $f(x) = \sin(x)$ envía cada número real a un valor en $[-1, 1]$, por lo que su rango (imagen) es $[-1, 1]$, un subconjunto propio del codominio $\mathbb{R}$.
Key Insight
La regla clave es una salida por entrada: si una entrada pudiera producir dos salidas distintas, la relación no sería una función. Las funciones pueden representarse como ecuaciones, tablas, gráficas o correspondencias, y en una gráfica la prueba de la línea vertical verifica esta regla visualmente: si alguna línea vertical cruza la gráfica más de una vez, no es una función. El concepto es fundamental para toda la matemática: la teoría de categorías generaliza las funciones a morfismos, capturando aplicaciones que preservan estructura entre objetos abstractos.