1. La Antigüedad y el Período Pre-Cálculo (Tablas y Relaciones)
En las civilizaciones antiguas (como Babilonia, Grecia y Egipto), no existía una definición explícita ni una notación para las funciones. Sin embargo, se utilizaba la idea de dependencia entre magnitudes.
- Babilonia: Crearon tablas astronómicas y matemáticas con valores correlacionados (como tablas de cuadrados o raíces), manejando tablas de «entrada y salida» de forma implícita.
- Grecia Clásica: Matemáticos como Claudio Ptolomeo elaboraron tablas de cuerdas (antecesoras de las funciones trigonométricas) para predecir movimientos astronómicos.
- Edad Media: Nicole Oresme (siglo XIV) dio un paso crucial al representar gráficamente cómo una magnitud física (como la velocidad) variaba con respecto a otra (como el tiempo), introduciendo por primera vez la representación de «formas» mediante coordenadas geométricas.
2. El Siglo XVII: La Geometría Analítica y el Nacimiento del Cálculo
El siglo XVII transformó la forma de entender la variabilidad geométrica mediante el álgebra.
- René Descartes y Pierre de Fermat: Introdujeron la geometría analítica. Al relacionar ecuaciones algebraicas como \(y = f(x)\) con curvas en un plano, establecieron que una relación algebraica determinaba una curva geométrica.
- Gottfried Wilhelm Leibniz: En 1673, utilizó formalmente por primera vez la palabra «función» (functio) para referirse a cualquier cantidad ligada a una curva, como la pendiente, la longitud de una subtangente o la coordenada de un punto.
- Isaac Newton: Trabajó el concepto desde la física bajo el nombre de fluentes y fluxiones, representando cómo las cantidades cambian continuamente con el tiempo.
3. El Siglo XVIII: Expresiones Analíticas y la Notación Moderna
Durante el Siglo de las Luces, las funciones se concibieron casi exclusivamente como fórmulas o expresiones algebraicas.
- Johann Bernoulli (1718): Definió una función de una variable como una «cantidad compuesta de alguna manera por esa variable y constantes».
- Leonhard Euler: En su obra Introductio in analysin infinitorum (1748), adoptó la definición de Bernoulli y popularizó la célebre notación \(f(x)\). Para Euler, una función debía poder escribirse mediante una combinación analítica (sumas, potencias, senos, logaritmos, etc.).
- Joseph-Louis Lagrange: Llevó esta visión al extremo, intentando reducir todo el cálculo analítico a series de potencias.
4. El Siglo XIX: El Rigor Analítico y las Funciones «Patológicas»
El concepto puramente analítico colapsó en el siglo XIX debido al estudio de fenómenos físicos concretos.
- Jean-Baptiste Joseph Fourier (1822): Al estudiar la propagación del calor, demostró que funciones discontinuas o definidas «a trozos» podían representarse mediante sumas infinitas de senos y cosenos (series de Fourier). Esto rompió la idea de que una función era una sola expresión analítica continua.
- Peter Gustav Lejeune Dirichlet (1837): Formuló una definición mucho más amplia y rigurosa, desvinculada de las fórmulas: «Si a cada valor de \(x\) le corresponde un único valor de \(y\), entonces \(y\) es función de \(x\)». Para demostrarlo, propuso la famosa función de Dirichlet (que vale \(1\) en los racionales y \(0\) en los irracionales), una función imposible de dibujar o expresar analíticamente en una sola fórmula clásica.
- Karl Weierstrass y Georg Cantor: Se descubrieron funciones continuas pero no derivables en ningún punto (como la función de Weierstrass), lo que obligó a separar definitivamente el concepto de función de la intuición geométrica de una curva trazable a mano.
5. El Siglo XX: Teoría de Conjuntos y Abstracción Total
Con el nacimiento de la teoría de conjuntos, el concepto alcanzó su forma moderna y totalmente abstracta.
- Nicolas Bourbaki (década de 1930): El colectivo de matemáticos franceses definió la función de forma puramente conjuntista: Una función \(f\) de un conjunto \(A\) en un conjunto \(B\) es un subconjunto del producto cartesiano \(A \times B\) tal que para cada \(x \in A\), existe un único \(y \in B\) tal que el par ordenado \((x, y) \in f\).
 |
Foto tomada en el Congreso de Bourbaki de 1938 en Dieulefit. De izquierda a derecha: Simone Weil (acompañando a su hermano André), Charles Pisot, André Weil (oculto), Jean Dieudonné (sentado), Claude Chabauty, Charles Ehresmann y Jean Delsarte. |
A partir de este punto, el concepto de función se liberó definitivamente de las ataduras de los números, las fórmulas algebraicas y la intuición del espacio geométrico visual. La formulación conjuntista no solo aportó un rigor inquebrantable al análisis, sino que amplió de forma ilimitada el alcance de las matemáticas: una función pasó a ser una regla de correspondencia abstracta capaz de mapear cualquier tipo de entidad matemática, desde vectores, matrices y conjuntos hasta operadores, espacios abstractos o incluso otras funciones. Esta flexibilidad conceptual transformó a las funciones en el lenguaje universal de las ciencias modernas, permitiendo modelar desde la física cuántica y las estructuras algebraicas más avanzadas hasta los algoritmos de aprendizaje automático y la teoría de la computación.
El matemático alemán Felix Klein (1849-1925), defensor incansable del rigor y la pedagogía matemática, destacó la centralidad de este concepto al afirmar:
«El concepto de función debe ser el alma de la enseñanza de las matemáticas; es el concepto que une todas las partes del análisis y las conecta con la geometría y las aplicaciones físicas.»
