Comprando un teorema: La historia tras la regla de L'Hôpital

Guillaume François Antoine de l'Hôpital
(marqués de l'Hôpital y de Sainte-Mesme)
(1661-1704)

En los cursos básicos de cálculode todo el mundo, la conocida como Regla de L'Hôpital es una herramienta indispensable. Todo estudiante que se enfrenta al cálculo diferencial aprende pronto esta elegante fórmula que permite resolver la molesta indeterminación \(\frac{0}{0}\) al calcular el límite de un cociente de funciones derivables:

$$\lim_{x \to a} \frac{f(x)}{g(x)} = \frac{f'(a)}{g'(a)} \quad \text{donde } f(a) = g(a) = 0 \text{ y } g'(a) \neq 0$$

(Formulación moderna del teorema para la resolución de indeterminaciones de la forma 0/0.)

Sin embargo, detrás de esta fórmula anterior se esconde una de las historias más singulares de la ciencia: un relato victorioso de mecenazgo, acuerdos financieros de confidencialidad y una disputa por la autoría intelectual que tardó más de dos siglos y medio en resolverse por completo.

Para comprender este enigma debemos viajar a finales del siglo XVII, una época de ebullición intelectual en Europa. En los años 1684 y 1686, el filósofo y matemático alemán Gottfried Wilhelm Leibniz había publicado dos breves artículos en los que presentaba al mundo erudito una herramienta revolucionaria: el cálculo infinitesimal. Entre las pocas personas que comprendieron de inmediato el inmenso potencial de este nuevo lenguaje se encontraba Guillaume François Antoine de L'Hospital (o de L'Hôpital), un noble francés y marqués fascinado por las matemáticas.

Consciente de que no poseía el genio ni la dedicación suficiente para dominar por sí mismo aquel fascinante pero complejo sistema, el marqués de L'Hôpital decidió contratar a un tutor de primer nivel. Entre 1691 y 1692 acogió en su residencia de París y más tarde en su finca de campo al joven matemático y físico suizo Johann Bernoulli (ver la entrada La Dinastía Matemática de los Bernoulli), un talento excepcional que dominaba el cálculo leibniziano como nadie más en la época. Durante esos meses, Bernoulli le impartió lecciones privadas y le transmitió los avances más recientes de la disciplina.

Johann Bernoulli (1667-1748)

Cuando Bernoulli regresó a su Basilea natal, la relación entre ambos no se interrumpió, sino que tomó un giro financiero inusual. En aquel momento, Bernoulli era un científico brillante pero sin recursos económicos, recién casado y desesperado por encontrar un empleo estable. Viendo la oportunidad perfecta, el marqués de L'Hôpital le envió una propuesta por carta el 7 de marzo de 1694.

En dicha carta, el noble le ofrecía una sustanciosa pensión de 300 libras anuales (prometiendo aumentarla pronto) a cambio de un compromiso de exclusividad matemática. L'Hôpital no le exigía dedicación exclusiva, sino que le pedía ocasionalmente algunas horas de su tiempo para trabajar en los problemas que él le enviase. No obstante, el contrato incluía dos cláusulas de confidencialidad estrictas: Bernoulli debía comunicarle al marqués todos sus nuevos descubrimientos y se comprometía firmemente a no compartir copias de sus notas ni hallazgos con nadie más, mencionando explícitamente que no quería que se hiciesen públicos.

«Le daré con gusto una pensión de trescientas libras... Prometo aumentar pronto esta pensión... No tengo la insensatez de solicitarle todo su tiempo, sino que solo le pediré que me dedique ocasionalmente algunas horas de su tiempo para trabajar en lo que le pida y también para comunicarme sus descubrimientos, con la solicitud de no mencionárselos a otros.»
— Fragmento de la carta enviada por L'Hôpital a Bernoulli el 7 de marzo de 1694.

Para el joven científico suizo, aquella bolsa de dinero cayó literalmente del cielo. Aunque la carta de respuesta de Bernoulli se perdió, se sabe por la correspondencia posterior que aceptó gustosamente las condiciones el 22 de julio de 1694. Fue precisamente en esa misma carta del 22 de julio donde Bernoulli expuso formalmente a su mecenas la regla geométrica para resolver la indeterminación \(\frac{0}{0}\). El razonamiento de Bernoulli era elegantemente geométrico. Consideró dos curvas, \(y = f(x)\) y \(y = g(x)\), que se intersecan en el mismo punto \(P\) del eje de abscisas, de modo que en \(x = a\) se cumple que \(f(a) = g(a) = 0\). Al desplazarse una pequeña distancia \(h\), el cociente \(\frac{f(a+h)}{g(a+h)}\) se aproxima al cociente entre las diferenciales de ambas funciones, de modo que en el límite se obtiene:

$$\text{En palabras de Bernoulli: } \quad \text{Valor en el límite } = \frac{\text{diferencial del numerador}}{\text{diferencial del denominador}}$$

(Razonamiento original de Bernoulli expresado en su carta de julio de 1694)

Para ilustrar su hallazgo, Bernoulli proporcionó en sus cartas ejemplos concretos que evidenciaban la aplicación práctica de su regla. Uno de los más destacados consistía en evaluar para \(x = a\) la función:

$$y = \frac{a\sqrt{ax} - x^2}{a - \sqrt{ax}} \quad \implies \quad \text{cuyo resultado exacto es } y = 3a$$

Dos años más tarde, en 1696, vio la luz un libro histórico: Analyse des infiniment petits pour l'intelligence des lignes courbes, firmado por el marqués de L'Hôpital. Fue el primer libro de texto impreso en la historia dedicado al cálculo diferencial. En el ítem n.º 163 del libro aparecía de forma destacada la regla para resolver la indeterminación \(\frac{0}{0}\). Los ejemplos utilizados en el texto eran idénticos a los de Bernoulli, salvo pequeñas modificaciones. Por ejemplo, L'Hôpital transformó el ejemplo anterior en la siguiente variante:

$$y = \frac{a^2 - ax}{a - \sqrt{ax}} \quad \implies \quad \text{obteniendo como resultado } y = 2a, $$ que no es más que una adaptación realizada por L'Hôpital en su obra de 1696 a partir del ejemplo de Bernoulli

Página 145 con el item n.º 163 (la regla de L'Hôpital) en su versión original

En el prefacio de la obra, L'Hôpital expresó un agradecimiento genérico a Leibniz y a Bernoulli, indicando que se había servido libremente de sus descubrimientos y devolviéndoles abiertamente el crédito que quisieran reclamar. Sin embargo, no precisó en ningún momento qué teoremas específicos pertenecían a Bernoulli. Atado por el contrato financiero y el cobro regular de su pensión, Bernoulli mantuvo un silencio educado en público mientras el marqués estuvo con vida.

Tras la muerte de L'Hôpital en 1704, Bernoulli se sintió libre de su compromiso y reclamó públicamente la autoría de la regla para \(\frac{0}{0}\). No obstante, la comunidad matemática de la época recibió sus afirmaciones con escepticismo. Bernoulli se había ganado con los años la reputación de ser un hombre mezquino y codicioso, por lo que muchos pensaron que simplemente intentaba arrebatarle el mérito al difunto marqués sin aportar pruebas tangibles.

El misterio permaneció sin resolver durante siglos, hasta que dos hallazgos documentales en el siglo XX le devolvieron la justicia histórica a Bernoulli. En 1922 se descubrió y publicó el manuscrito original de Bernoulli sobre cálculo diferencial redactado entre 1691 y 1692, cuya estructura e ideas coincidían ampliamente con la obra de L'Hôpital. Finalmente, en 1955, la publicación de la correspondencia privada de Bernoulli sacó a la luz la carta de 1694 con los términos exactos del pacto económico y la demostración original de la regla.

 Analyse des infiniment petits pour l'intelligence des lignes courbes, 1696

No obstante es justo reconoce que Analyse des infiniment petits pour l'intelligence des lignes courbes, inicialmente publicado de forma anónima en 1696 por el marqués de L'Hôpital —aunque fundamentado esencialmente en las lecciones impartidas por Johann Bernoulli—, posee una trascendencia histórica incalculable al ser considerado el primer manual o libro de texto sistemático de cálculo diferencial de la historia. Su publicación supuso un hito fundamental en la democratización del conocimiento científico: estructuró y clarificó las complejas e incipientes ideas sobre los infinitesimales desarrolladas por Gottfried Wilhelm Leibniz y los hermanos Bernoulli, transformando un cuerpo telemático disperso y de difícil acceso en una disciplina matemática didáctica, coherente y aplicable. Además de inmortalizar la célebre regla de L'Hôpital para la resolución de indeterminaciones, el tratado sirvió como el principal puente de aprendizaje para generaciones de matemáticos durante el siglo XVIII, estableciendo la notación y las bases metodológicas que consolidaron al cálculo como la herramienta científica definitoria de la Edad Moderna.

A la luz de esta verdad histórica, ¿deberíamos rebautizar el teorema como "Regla de Bernoulli"? El historiador de las matemáticas Dirk J. Struik argumentó con contundencia que no. En primer lugar, la célebre familia suiza ya cuenta con numerosos teoremas, ecuaciones y principios que llevan su nombre (debidos a Jakob, Johann y Daniel Bernoulli).

En segundo lugar, Struik señala que si la ciencia pretendiera rebautizar todas las reglas y teoremas basándose strictly en las leyes de la prioridad histórica, la nomenclatura científica caería en un caos absoluto:

El Teorema de Pitágoras era perfectamente conocido y aplicado por los matemáticos babilonios más de un milenio antes de la época de Pitágoras; las famosas Ecuaciones de Cauchy-Riemann del análisis complejo fueron desarrolladas previamente por Jean d'Alembert y Leonhard Euler; el Teorema de Taylor ya había sido anticipado por James Gregory y posiblemente por matemáticos indios hacia el año 1500; el célebre Triángulo de Pascal era utilizado por el matemático chino Yang Hui en el siglo XIII; y el llamado Método de Horner para ecuaciones algebraicas era manejado con destreza por Chhin Chiu-shao siglos antes de Horner.

Frecuentemente, los nombres que quedan grabados en la historia de la ciencia pertenecen a aquellas personas que, mediante su esfuerzo explicativo o editorial, lograron que esos conocimientos se volvieran populares, accesibles y comprendidos por la comunidad.

En este sentido, el marqués de L'Hôpital merece un lugar de honor. Pagó legítimamente por las lecciones y descubrimientos de Bernoulli, los organizó con impecable claridad pedagógica y los puso a disposición del mundo. Su libro no solo fue el primero impreso sobre la materia, sino que poseía una calidad tan excepcional que se mantuvo como la obra de referencia para aprender cálculo diferencial durante más de medio siglo, contando con traducciones al inglés y latín y reediciones hasta 1790.

---

Esta entrada está basada en el artículo: Struik, D. J. (1963). «The Origin of L'Hôpital's Rule». The Mathematics Teacher, 56(4), 257–260.

De Riemann a Lebesgue: la evolución del concepto de integral

El concepto de integral definida atravesó una fascinante transformación histórica, evolucionando desde los métodos geométricos de la Antigüedad —como el método de exhaustión de Eudoxo y Arquímedes para calcular áreas mediante aproximaciones—, pasando por las ideas puramente geométricas de los «indivisibles» de Bonaventura Cavalieri en el siglo XVII, hasta alcanzar su primer gran hito con las formulaciones infinitesimales de Isaac Newton y Gottfried Leibniz. Sin embargo, el siglo XIX exigió una transición crítica impulsada por el auge del rigor analítico de Augustin-Louis Cauchy y Karl Weierstrass, lo que hizo imprescindible fundamentar la integración sobre una definición precisa basada en el concepto formal de límite. Este esfuerzo cristalizó a mediados del siglo XIX con la integral de Riemann y su aproximación mediante sumas de rectángulos, continuó con la generalización de Thomas Joannes Stieltjes al introducir funciones integradoras de peso, y alcanzó su forma moderna a comienzos del siglo XX con la integral de Henri Lebesgue y la teoría de la medida, un desarrollo motivado en gran parte por el estudio de las series de Fourier y la necesidad teórica de integrar funciones «patológicas» con conjuntos densos de discontinuidades. 

Bernhard Riemann (1826-1866), Thomas Joannes Stieltjes (1856-1894) y Henri Léon Lebesgue (1875-1941)

1. La integral de Riemann (mediados del siglo XIX)

Bernhard Riemann (1826–1866) introdujo su definición en su Habilitationsschrift de 1854, titulada Über die Darstellbarkeit einer Function durch eine trigonometrische Reihe (“Sobre la representabilidad de una función mediante una serie trigonométrica”), presentada en Gotinga bajo la influencia de Dirichlet. El trabajo se publicó póstumamente en 1868.

Riemann partió del trabajo de Cauchy (quien había formalizado la integral para funciones continuas mediante sumas de Riemann–Cauchy) y de las investigaciones de Dirichlet sobre la convergencia de series de Fourier. Dirichlet había mostrado que funciones continuas a trozos (con un número finito de discontinuidades) admitían desarrollo en series de Fourier. Riemann buscó ampliar el alcance a funciones con discontinuidades más numerosas.

Definición clave. Se considera una función acotada \(f\) en un intervalo \([a,b]\). Se toma una partición

\[ P = \{a = x_0 < x_1 < \dots < x_n = b\} \]

y se forman las sumas de Riemann

\[ S(f,P,\xi) = \sum_{i=1}^n f(\xi_i)(x_i - x_{i-1}), \]

donde \(\xi_i \in [x_{i-1}, x_i]\). La integral existe si el límite de estas sumas existe cuando la norma de la partición (la longitud del subintervalo más largo) tiende a cero, independientemente de la elección de los puntos \(\xi_i\).

Riemann dio un criterio de integrabilidad (en términos de la oscilación de la función en los subintervalos) y construyó ejemplos de funciones Riemann-integrables con un conjunto denso de discontinuidades. Esto superaba las limitaciones de Cauchy y permitía tratar muchas funciones que aparecían en el análisis de Fourier.

Sin embargo, la integral de Riemann tenía debilidades importantes:

• No caracteriza fácilmente la clase de funciones integrables (esto se resolvió más tarde con la condición de Lebesgue: una función acotada es Riemann-integrable si y solo si es continua casi en todas partes, es decir, el conjunto de discontinuidades tiene medida cero).
• Se comporta mal con límites: el límite de una sucesión de funciones Riemann-integrables no necesariamente es Riemann-integrable, y no siempre se puede intercambiar límite e integral.
• El teorema fundamental del cálculo falla en casos patológicos. En 1881, Vito Volterra construyó un ejemplo de una función derivable con derivada acotada pero no Riemann-integrable.

Gaston Darboux (1875) reformuló la definición mediante sumas superiores e inferiores, lo que es la versión que se enseña habitualmente hoy bajo el nombre de “integral de Riemann”.

2. La integral de Riemann–Stieltjes (finales del siglo XIX)

En 1894, Thomas Joannes Stieltjes (1856–1894) introdujo una generalización natural mientras estudiaba el problema de los momentos: dada una sucesión de números \(\{\mu_n\}\), encontrar una distribución de masas \(\alpha\) tal que

\[ \int_0^\infty x^n \, d\alpha(x) = \mu_n. \]

Stieltjes reemplazó el incremento \(x_i - x_{i-1}\) por \(\alpha(x_i) - \alpha(x_{i-1})\), donde \(\alpha\) es una función de variación acotada (o monótona creciente). La suma de Riemann–Stieltjes es

\[ \sum f(\xi_i) \bigl[\alpha(x_i) - \alpha(x_{i-1})\bigr]. \]

Cuando \(\alpha(x) = x\), se recupera la integral de Riemann.

Esta integral unifica el tratamiento de distribuciones continuas y discretas (sumas ponderadas) y resulta especialmente útil en análisis funcional (teorema de representación de Riesz: el dual de \(C[a,b]\) se identifica con las integrales de Riemann–Stieltjes respecto a funciones de variación acotada) y en probabilidad (expectativas respecto a funciones de distribución).

La integral de Riemann–Stieltjes hereda muchas de las limitaciones de la de Riemann (problemas con discontinuidades comunes de \(f\) y \(\alpha\), comportamiento con límites, etc.), pero sirvió de puente conceptual hacia teorías más generales.

3. La integral de Lebesgue (principios del siglo XX)

Henri Lebesgue (1875–1941) resolvió las deficiencias principales de la teoría de Riemann. En 1901 publicó Sur une généralisation de l’intégrale définie y en 1902 presentó su tesis doctoral Intégrale, longueur, aire, donde desarrolló la teoría de la medida de Lebesgue y la integral asociada.

Lebesgue partió de los trabajos de Camille Jordan (contenido de Jordan) y Émile Borel (medida de Borel y conjuntos Borelianos). Construyó una medida (la medida de Lebesgue) que asigna “longitud” de manera coherente a una clase mucho más amplia de subconjuntos de \(\mathbb{R}\) (los conjuntos medibles de Lebesgue), incluyendo conjuntos que no son intervalos ni uniones contables de ellos.

La diferencia conceptual fundamental

La diferencia esencial entre ambas integrales se entiende mejor mediante una metáfora que el propio Lebesgue empleó:

«Tengo que pagar una cierta suma que he reunido en mi bolsillo. Saco los billetes y monedas y se los doy al acreedor en el orden en que los encuentro hasta alcanzar el total. Esto es la integral de Riemann. Pero puedo proceder de otra manera: después de sacar todo el dinero de mi bolsillo, ordeno los billetes y monedas según su valor y pago los montones uno tras otro. Esto es mi integral.»

En términos matemáticos:

• Riemann particiona el dominio (el eje \(x\)). Divide el intervalo \([a,b]\) en subintervalos pequeños y en cada uno elige un valor de la función \(f(\xi_i)\). Multiplica ese valor por la longitud del subintervalo y suma. El área se aproxima sumando “rectángulos verticales”.
• Lebesgue particiona el rango (el eje \(y\)). En lugar de preguntarse “¿cuánto vale la función en este pequeño intervalo de \(x\)?”, se pregunta “¿en qué conjunto de \(x\) la función toma valores entre \(y_k\) y \(y_{k+1}\)?”. Luego multiplica ese valor \(y_k\) por la medida (“longitud”) del conjunto donde ocurre, y suma.

Visualmente: Riemann corta la región bajo la curva en tiras verticales finas; Lebesgue la corta en tiras horizontales y mide cuánto “ancho” tiene cada altura.

Construcción formal (esbozo)

Para una función \(f \geqslant 0\) medible:

1. Se comienza con funciones simples: funciones que toman solo un número finito de valores. Si \[ \varphi = \sum_{k=1}^n c_k \, \mathbf{1}_{E_k}, \] donde los \(E_k\) son conjuntos medibles disjuntos y \(\mathbf{1}_{E_k}\) es la función característica de \(E_k\), entonces se define \[ \int \varphi \, d\mu = \sum_{k=1}^n c_k \, \mu(E_k). \] Aquí \(\mu(E_k)\) es la medida de Lebesgue del conjunto \(E_k\) (su “longitud” generalizada).
2. Para una función medible no negativa arbitraria \(f\), se aproxima por una sucesión creciente de funciones simples \(\varphi_n \uparrow f\) y se define \[ \int f \, d\mu = \lim_{n\to\infty} \int \varphi_n \, d\mu \] (el límite puede ser \(+\infty\)).
3. Para funciones de signo variable se descompone \(f = f^+ - f^-\) y se exige que ambas partes tengan integral finita.

Esta construcción permite integrar muchas más funciones que Riemann. El ejemplo clásico es la función de Dirichlet:

\[ f(x) = \begin{cases} 1 & \text{si } x \in \mathbb{Q}, \\ 0 & \text{si } x \notin \mathbb{Q}. \end{cases} \]

Esta función es discontinua en todo punto. No es Riemann-integrable en ningún intervalo (las sumas superiores siempre valen la longitud del intervalo y las inferiores valen 0). Sin embargo, es Lebesgue-integrable: el conjunto de los racionales tiene medida cero, por lo que \(\int f = 0\).

Ventajas decisivas de la integral de Lebesgue

• Toda función Riemann-integrable (acotada en un intervalo compacto) es Lebesgue-integrable y las integrales coinciden.
• Se pueden intercambiar límites e integrales bajo condiciones muy generales (teorema de la convergencia monótona y teorema de la convergencia dominada). Esto es fundamental en el análisis moderno y en la teoría de series de Fourier.
• El teorema fundamental del cálculo se restablece de forma mucho más general: toda función absolutamente continua es la integral indefinida de su derivada (que existe casi en todas partes).
• Proporciona el marco natural para la teoría de la probabilidad moderna (una variable aleatoria es una función medible, la esperanza es una integral de Lebesgue) y para los espacios de funciones \(L^p\), base del análisis funcional.

Lebesgue también combinó su teoría con la de Stieltjes, dando lugar a la integral de Lebesgue–Stieltjes (desarrollada plenamente por Johann Radon y otros), que generaliza ambas.

La trayectoria Riemann \(\to\) Riemann–Stieltjes \(\to\) Lebesgue refleja el paso de una teoría anclada en particiones del dominio y sumas de áreas de rectángulos a una teoría basada en la medida de conjuntos y el “agrupamiento por valores”. Riemann respondió a las necesidades de las series de Fourier de mediados del siglo XIX; Stieltjes amplió el concepto para problemas de momentos y análisis funcional; Lebesgue, a comienzos del XX, proporcionó el marco robusto y general que domina el análisis real, la teoría de la medida y gran parte de la matemática aplicada contemporánea.La “teoría de la integración” propiamente dicha es, en gran medida, una creación del siglo XX, aunque el concepto de área bajo una curva sea milenario. 

El matemático estadounidense de origen croata William Feller (1906-1970), conocido por sus contribuciones a la teoría de la probabilidad, expresó:

«Cualquiera que intente trabajar en la teoría de la probabilidad moderna sin la integral de Lebesgue se encontrará pronto en la posición de un hombre que intenta construir un rascacielos utilizando solo ladrillos y barro sin estructura de acero.»

---

Lecturas complementarias: 

• Antecedentes del Cálculo Infinitesimal de Newton y Leibniz.
• Newton, Leibniz y la invención de cálculo infinitesimal.
• La obra matemática de Arquímedes.
• Lúnulas de Hipócrates. 

---

La evolución del concepto de FUNCIÓN

El concepto de función constituye una de las columnas vertebrales sobre las que se asienta el análisis matemático moderno y la modelización del mundo físico. Sin embargo, su definición actual no es fruto de un destello aislado de genialidad, sino el resultado de un largo y fascinante proceso de maduración intelectual que abarca varios siglos. Lo que comenzó en la Antigüedad como una mera intuición sobre la relación entre magnitudes físicas o datos en tablas astronómicas, pasó por la geometría analítica del siglo XVII y las fórmulas algebraicas del Siglo de las Luces, hasta enfrentar las paradojas de las «funciones patológicas» en el siglo XIX. Esta necesidad constante de rigor impulsó su metamorfosis desde una noción basada en curvas trazables y expresiones numéricas, hasta convertirse en la estructura sumamente abstracta, rigurosa y versátil que hoy entendemos dentro de la teoría de conjuntos.

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.»

---

Carl Runge, el discípulo de Weierstrass que pasó su infancia en La Habana

Carl Runge nació durante una estancia de sus padres en Bremen, Alemania, en 1856. Su padre, Julius, era un comerciante alemán que además ejercía como cónsul danés en La Habana, donde conoció y se casó con Fanny Tolmé, hija de un comerciante inglés. Carl se crió como el tercero de cuatro varones —a los que se sumaban cuatro hermanas— en una atmósfera marcadamente británica. Como su familia residió en La Habana durante aproximadamente dos décadas, Runge pasó allí sus primeros años hasta que en  1863 su familia regresó para asentarse permanentemente en Bremen.

Como dato curioso, en el invierno de 1909-1910, siendo ya un afamado matemático y profesor universitario, viajó a Estados Unidos y aprovechó para realizar un segundo recorrido que incluyó un viaje de regreso a La Habana para visitar los lugares de su infancia. 

 Tras la prematura muerte de su padre en enero de 1864, su madre asumió en soledad la crianza de los ocho hijos. Carl, que siempre mantuvo un vínculo entrañable con ella, mostró desde pronto una inteligencia singular. .A los 19 años, nada más terminar la escuela básica, emprendió un viaje de seis meses junto a su madre en una especie de «peregrinación» por los grandes tesoros culturales de Italia. A su regreso a Alemania, se matriculó en la Universidad de Múnich para estudiar literatura. Sin embargo, el romance con las letras duró poco: tras apenas seis semanas de clases, dio un giro radical a su carrera para entregarse por completo a la física y las matemáticas.

Su etapa universitaria lo llevó a rodearse de los mejores. Tras cursar tres semestres junto a compañeros de la talla de Max Planck, se trasladó a la Universidad de Berlín, que en ese momento era el epicentro de las matemáticas europeas. Allí estudió bajo la tutela directa de Karl Weierstrass y de Leopold Kronecker. En 1880, completó su doctorado bajo la dirección de Weierstrass con una tesis que versó sobre la resolución de ecuaciones algebraicas empleando series numéricas, un tema fuertemente influido por el rigor del análisis complejo que caracterizaba a la escuela de Berlín. 

El joven Carl Runge y su madre 

Runge siempre se consideró un discípulo de Weierstrass. En 1885, con motivo del septuagésimo cumpleaños de Weierstrass, sus antiguos alumnos y colegas le obsequiaron un álbum conmemorativo con sus retratos. La foto registrada con el número 037 corresponde  al joven Carl.

En el Berlín de los años 1880, Carl Runge, discípulo de Weierstrass, destacaba tanto por su brillantez teórica como por su talento para el patinaje. Allí se enamoró de Aimée du Bois-Reymond, cuyo padre le exigió lograr una cátedra para permitir la boda. Tras desarrollar un método de resolución de ecuaciones algebraicas mediante series infinitas y publicarlo en Acta Mathematica (1885) impulsado por Mittag-Leffler, consiguió la cátedra en Hannover en 1886. En 1887 contrajo matrimonio, iniciando una etapa de 18 años en la que tuvo seis hijos y mantuvo una vida familiar llena de música y deporte.

Iris Runge (1888-1966)

Iris, la hija mayor de Carl,  fue una matemática y física, reconocida por ser una de las pioneras del trabajo matemático dentro de la industria. Además de sus contribuciones técnicas en física aplicada y electrónica,  coescribió junto a  Richard Courant (1888–1972), que estaba casado con su hermana Nina Runge, un influyente texto sobre ecuaciones diferenciales y publicó en 1949 una detallada biografía sobre la vida y el legado científico de su padre.  

En Hannover, guiado por su suegro, el célebre fisiólogo Émile du Bois-Reymond, Runge dio un giro hacia la física y la espectroscopia. Junto a Heinrich Kayser buscó descifrar la estructura atómica mediante la luz, y más tarde, con Friedrich Paschen, organizó las líneas del helio de tal forma que la comunidad creyó hasta 1897 que se trataba de dos elementos. Trabajos posteriores con Julius Precht, viajes internacionales y el rechazo de ofertas académicas en EE. UU. consolidaron su relevancia. Sin embargo, sufrió un «vacío» institucional: los matemáticos lo veían como un traidor por dedicarse a la física y los físicos lo consideraban solo un matemático.

Pese al rechazo inicial a su visión del cálculo numérico, en 1904 Max Planck y Felix Klein impulsaron su nombramiento como catedrático en Gotinga en una plaza creada a su medida. Tras jubilarse en 1925, la rama de la matemática aplicada que hoy conocemos como análisis numérico quedó temporalmente huérfana. Murió seis meses después por un ataque al corazón. Recordado por el célebre método de Runge-Kutta, sus allegados evocaban también su vitalidad, inmortalizada cuando celebró su 70.º cumpleaños haciendo la vertical ante sus nietos.

Aimée y Carl Runge con sus hijos en 1903

La Obra Científica de Runge

 1. Análisis Numérico y Matemáticas Aplicadas

Runge creía que una ecuación matemática solo alcanzaba su máximo valor práctico si se podía resolver numéricamente con precisión.

• Método de Runge-Kutta: Desarrollado a finales del siglo XIX junto con Martin Kutta. Es un conjunto de algoritmos iterativos clave para la aproximación de soluciones de ecuaciones diferenciales ordinarias. Sigue siendo la base computacional empleada en ingeniería, físicas de fluidos y simulaciones modernas.
• Fenómeno de Runge: Descubrió un problema fundamental en la teoría de la interpolación de funciones: al intentar aproximar ciertas funciones utilizando polinomios de grado muy elevado en puntos equidistantes, el error cerca de los bordes del intervalo crece drásticamente oscilando en lugar de converger.
• Teorema de Runge: En análisis complejo, estableció un resultado fundamental sobre la aproximación uniforme de funciones holomorfas mediante polinomios.

 

Carl David Runge (1856–1927) y  Martin Wilhelm Kutta (1867–1944)

2. Espectroscopia y Física Atómica

En lugar de limitarse al trabajo de escritorio, Runge trabajó extensamente en laboratorios. Colaboró con físicos emblemáticos como Heinrich Kayser y Friedrich Paschen:

• Líneas Espectrales de los Elementos: Analizó empíricamente la luz emitida por diferentes elementos químicos. Organizó y agrupó las líneas en series espectrales específicas (series principal, primera y segunda subordinada), sentando las bases operativas para entender la estructura atómica que Bohr postularía tiempo después.
• Efecto Zeeman y el Espectro Magnético: Demostró matemáticamente cómo las líneas espectrales se desdoblaban bajo la presencia de campos magnéticos (Efecto Zeeman), encontrando patrones numéricos regulares vinculados al peso y número atómico de los elementos.
• Bandas de Schumann-Runge: Estudio de la absorción de luz ultravioleta por moléculas de oxígeno (O₂), esencial en la física atmosférica moderna.

3. Física Teórica y Astrofísica

• Vector de Laplace-Runge-Lenz: Ayudó a formalizar este vector de conservación en mecánica clásica, el cual describe la forma y orientación fija de las órbitas planetarias (o Keplerianas) sin requerir resolver ecuaciones complejas.
• Astrofísica y Geodesia: Realizó importantes aportes a la espectroscopia astronómica para estudiar la composición de la luz solar y la atmósfera de las estrellas, participando en expediciones internacionales para el estudio de eclipses solares.

Desde su cátedra de Matemática Aplicada en la Universidad de Gotinga, Carl Runge transformó la enseñanza de las matemáticas, impulsando una formación más vinculada a la ciencia, la física y la resolución de problemas. Su influencia se extendió a varias generaciones de científicos, entre ellos a su doctorando Max Born, Premio Nobel de Física y uno de los pioneros de la mecánica cuántica.

---

Lecturas recomendadas;

•  Iris Runge: Carl Runge und sein wissenschaftliches Werk, Vandenhoeck & Ruprecht, Gotinga, 1949.
• Renate Tobies, Iris Runge. A Life at the Crossroads of Mathematics, Science and Industry, Birkhäuser 2012.

---

La Dinastía Matemática de los Bernoulli

La familia Bernoulli era originaria de Amberes pero asentados de forma definitiva en Basilea, Suiza, produjeron más de ocho matemáticos y científicos de primer nivel a lo largo de tres generaciones entre finales del siglo XVII y todo el siglo XVIII. Para comprender cómo este único apellido llegó a dominar el panorama intelectual de Europa, es indispensable situarse en su entorno histórico: una era marcada por la Ilustración y la transición del misticismo hacia el racionalismo científico, donde la ciencia comenzaba a verse como el motor del progreso de las naciones.

En el ámbito puramente matemático, los Bernoulli tuvieron la fortuna y la perspicacia de nacer en el momento exacto en que Newton y Leibniz acababan de inventar, de forma independiente, el cálculo infinitesimal. Mientras Newton guardaba recelosamente sus métodos de fluxiones en la Inglaterra anglicana, los hermanos Jakob y Johann Bernoulli adoptaron y perfeccionaron con entusiasmo la elegante notación diferencial que Leibniz promovía en la Europa continental. De esta forma, los Bernoulli se convirtieron en los grandes "evangelistas" de esta nueva herramienta, utilizándola no solo para resolver problemas abstractos, sino para fundar las bases de la física matemática, demostrando el poder del cálculo aplicado a la naturaleza.

Sin embargo, gran parte de esta producción científica no era solo el amor al conocimiento, sino un carácter familiar extremadamente soberbio  y competitivo. En una época donde el prestigio científico se ganaba resolviendo públicamente los desafíos matemáticos que se lanzaban en las revistas académicas de la época, los Bernoulli convirtieron la ciencia en un campo de batalla personal. Jakob y Johann pasaron años humillándose públicamente a través de problemas matemáticos imposibles, y esta toxicidad familiar se repitió cuando Johann, incapaz de soportar que su propio hijo Daniel ganara un prestigioso premio de la Academia de Ciencias de París, lo expulsó de la casa familiar e incluso intentó plagiar sus manuscritos sobre hidrodinámica. Al final, los Bernoulli moldearon el mundo moderno a través de sus matemáticas avanzadas, demostrando que detrás de las ecuaciones y leyes físicas más puras también se escondían algunas de las pasiones humanas más complejas y competitivas de la historia de la ciencia.

El primero de los grandes pilares de la dinastía fue Jakob Bernoulli, el hermano mayor, quien se obsesionó con el cálculo de probabilidades y la geometría.  Su hermano menor, Johann Bernoulli, poseía una intuición física arrolladora y se especializó en la mecánica y el análisis matemático, ejerció  como tutor de otras mentes brillantes de la época, como  Leonhard Euler. La tradición de excelencia continuó con la siguiente generación a través de Daniel Bernoulli, hijo de Johann, quien aplicó el cálculo al comportamiento de los fluidos y la acústica.  La Dinastía Bernoulli produjo muchos artistas y científicos notables, en particular un gran número de matemáticos y físicos. El siguiente árbol genealógico contiene a los miembros más prominentes de la estirpe:

 Jakob (Jacques) Bernoulli (1654–1705) fue un matemático fundamental para el desarrollo del cálculo infinitesimal de Leibniz, a quien defendió y cuyas técnicas aplicó para avanzar en el estudio de curvas como la elástica, la catenaria y la espiral logarítmica. Su legado trasciende el análisis matemático, destacando especialmente por su obra póstuma Ars Conjectandi (El arte de la conjetura), donde formuló la primera versión de la ley de los grandes números y sentó las bases de la moderna teoría de la probabilidad. Además, realizó contribuciones esenciales a la geometría diferencial y al cálculo exponencial, siendo reconocido por el descubrimiento de la constante matemática \(e\) y por dar nombre al concepto de "integral".

Johann (Jean) Bernoulli (1667–1748) fue el hermano menor de Jakob y  uno de los principales responsables de la difusión y el desarrollo del cálculo infinitesimal de Leibniz. Su trayectoria estuvo marcada por una intensa actividad investigadora y una notable labor docente. En el ámbito del cálculo, fue un pionero fundamental en la aplicación de herramientas matemáticas a problemas físicos de gran complejidad, realizando contribuciones significativas a la mecánica analítica. Asimismo, es reconocido como el verdadero autor de la famosa regla que lleva el nombre de su alumno, el marqués de L'Hôpital, quien la publicó en su obra de 1696 tras haberla aprendido directamente de la correspondencia privada que mantenía con Bernoulli. Su legado también se extiende a través de su profunda influencia en la siguiente generación de científicos, ya que, como profesor en Basilea, fue el mentor directo de figuras de la talla de Leonhard Euler.

 

Nicolaus I Bernoulli (1687–1759) fue un sobrino de Jakob y Johann, cuya labor académica contribuyó a expandir el prestigio intelectual de la familia durante el siglo XVIII. Aunque su trayectoria a menudo es eclipsada por la de sus famosos tíos, sus aportes fueron fundamentales en el desarrollo de la teoría de la probabilidad y el análisis matemático. Su trabajo se centró principalmente en la resolución de problemas complejos mediante métodos probabilísticos, siendo recordado por su importante correspondencia científica con figuras de la talla de Pierre Rémond de Montmort. En estos intercambios, analizó cuestiones clave sobre juegos de azar, como el famoso "Problema de San Petersburgo", el cual fue posteriormente desarrollado por su primo Daniel Bernoulli.

 

Nicolaus II Bernoulli (1695–1726) fue el hijo mayor de Johann Bernoulli y hermano de Daniel Bernoulli. A pesar de que su vida fue prematuramente truncada a los 30 años, destacó por su precocidad y su capacidad intelectual. Su trabajo se enfocó principalmente en las ecuaciones diferenciales y en la resolución de problemas geométricos complejos, siendo un colaborador cercano de su padre en diversos desafíos matemáticos. Entre sus logros más significativos destaca su labor en la resolución del problema de las trayectorias ortogonales, una cuestión que había generado importantes debates científicos en la época. En 1725, aceptó una invitación para unirse a la Academia de Ciencias de San Petersburgo, junto a su hermano Daniel. Sin embargo, su prometedora carrera en Rusia se vio interrumpida apenas unos meses después de su llegada, cuando falleció a causa de una fiebre severa en 1726.

 

Daniel Bernoulli (1700–1782) fue uno de los científicos más destacados de su época y el miembro más reconocido de la familia por sus contribuciones a la física y las matemáticas aplicadas. Hijo de Johann Bernoulli, Daniel logró consolidar su propio legado al combinar el análisis matemático con la observación de fenómenos naturales, destacando por su enfoque multidisciplinario. Su obra cumbre es Hydrodynamica (1738), un tratado fundamental donde estableció las bases de la mecánica de fluidos. En esta obra formuló el famoso principio de Bernoulli, que describe cómo la presión de un fluido disminuye a medida que aumenta su velocidad, una ley que sigue siendo un pilar esencial en la ingeniería y la física moderna, especialmente para explicar fenómenos como la sustentación aerodinámica.Además de sus logros en física, Daniel realizó aportes significativos a la teoría de la probabilidad y la estadística. Es recordado especialmente por su análisis del Problema de San Petersburgo, donde propuso una solución basada en la noción de "utilidad esperada" en lugar de solo el valor monetario, una idea que revolucionó la teoría económica y la toma de decisiones bajo condiciones de riesgo. Su carrera estuvo estrechamente vinculada a la Academia de Ciencias de San Petersburgo, donde vivió años de intensa productividad científica junto a su hermano Nicolaus II y más tarde, en su regreso a Basilea, mantuvo una estrecha amistad y correspondencia con Leonhard Euler. Su capacidad para conectar el cálculo avanzado con problemas del mundo real lo posicionó como un precursor fundamental de la física matemática contemporánea.

 

Johann II Bernoulli (1710–1790) fue el hijo menor de Johann I Bernoulli y continuó la ilustre tradición científica de su familia, destacándose principalmente en los campos de la física y las matemáticas. A diferencia de otros miembros de la dinastía, su labor estuvo muy vinculada a la investigación experimental y a la enseñanza académica. En el ámbito de la física, Johann II realizó importantes contribuciones al estudio del calor y de la luz. Su enfoque se centró en la naturaleza de estas fuerzas físicas, realizando experimentos y análisis teóricos que ayudaron a avanzar la comprensión científica durante la segunda mitad del siglo XVIII. Tras la muerte de su padre en 1748, ocupó la cátedra de matemáticas en la Universidad de Basilea, cargo que le permitió consolidar su reputación como un académico riguroso y un profesor influyente. 

 

Johann III Bernoulli (1744–1807),   hijo de Johann II Bernoulli, que destacó principalmente por sus contribuciones a la astronomía y la geografía matemática durante la Ilustración. A diferencia de sus predecesores, su carrera estuvo fuertemente vinculada a la vida académica en Berlín, donde desarrolló gran parte de su labor científica. Se dedicó al perfeccionamiento de los instrumentos astronómicos y a la precisión en la medición de fenómenos celestes, además de publicar numerosos trabajos sobre geografía, cronología y la historia de las matemáticas.  Desempeñó un papel crucial como editor y corresponsal, publicando cartas y diarios de viajes que facilitaron el intercambio intelectual entre los científicos europeos de finales del siglo XVIII. A través de su constante labor de publicación y su rol en la academia berlinesa, Johann III ayudó a mantener vivo el legado familiar, siendo uno de los últimos miembros de la dinastía en sostener un perfil público de alta influencia científica. 

Jacob II Bernoulli (1759–1789) fue el hijo menor de Johann II Bernoulli y representó la última generación de la dinastía en destacar significativamente en las ciencias exactas. Aunque su vida fue breve, falleció a los 29 años, demostró un talento matemático excepcional que permitió mantener el renombre familiar durante sus pocos años de carrera.   Se formó en la tradición matemática de su familia y, al igual que sus antepasados, mostró una gran capacidad para el análisis y la física matemática.  Su trabajo se centró en temas de física, particularmente en la elasticidad y la mecánica, siguiendo la línea de investigación iniciada por sus predecesores.  Su prometedora trayectoria se vio interrumpida trágicamente en 1789 al ahogarse en el río Neva, en San Petersburgo, mientras se desempeñaba como profesor y miembro de la Academia de Ciencias de Rusia, ciudad donde residía y trabajaba en aquel momento. 

 

En definitiva, la dinastía Bernoulli nos demuestra que la ciencia no solo avanza a base de pura lógica, sino también impulsada por las pasiones y el orgullo humano. Su legado sigue tan vivo que es prácticamente imposible estudiar física o matemáticas hoy en día sin toparse con su apellido; una familia irrepetible que, entre disputas y destellos de genialidad, nos enseñó a calcular el azar, a entender el movimiento de los fluidos y a descifrar las leyes del universo a través del lenguaje del cálculo. Refiriéndose a la omnipresencia de este apellido en la ciencia, matemático francés Jean le Rond d'Alembert escribió:

"Un Bernoulli es a las matemáticas lo que un Bach es a la música."

Cuando Jakob Bernoulli falleció, pidió que en su tumba grabaran una espiral logarítmica (una curva matemática que él estudió profundamente porque, por más que crezca, nunca cambia de forma) junto a la frase en latín: "Eadem mutata resurgo" ("Mutada, resurjo siendo la misma"). Aunque el tallador de piedra se equivocó y esculpió una espiral normal, la frase quedó para la posteridad como el símbolo perfecto de los Bernoulli: una dinastía que, a pesar de las peleas, las muertes y el paso de las generaciones, siempre resurgía con la misma e inconfundible genialidad matemática. 

Teoría de Grupos: Del Álgebra Abstracta a la Criptografía

"Siempre que los elementos de cualquier conjunto están relacionados por condiciones de simetría, la teoría de grupos es la herramienta natural para su estudio." 

— George Birkhoff

Un grupo, en términos modernos, es una estructura algebraica compuesta por un conjunto \(A\) y una operación interna (representada de forma general en la imagen como \(+\)) que combina cualquier par de sus elementos para devolver un tercer elemento que también pertenece al conjunto (clausura). Para constituir un grupo, esta relación debe cumplir estrictamente tres axiomas fundamentales:

1. Propiedad asociativa: El orden en que se operen consecutivamente los elementos no altera el resultado.
2. Elemento identidad: Un elemento neutro que, al ser operado con cualquier otro, lo deja inalterado.
3. Elemento inverso: Para cada elemento del conjunto, existe otro que al ser operado con él da como resultado el elemento identidad.

Dos ejemplos clásicos e intuitivos son el conjunto de los números enteros con la operación de adición, denotado como\( (Z, +)\), y las permutaciones de un conjunto finito bajo la operación de composición de funciones (representado visualmente en la imagen a través del célebre Cubo de Rubik, cuyos giros y combinaciones forman un grupo finito de simetrías).

Nace una teoría

Joseph-Louis Lagrange (1736-1813), Augustin Louis Cauchy (1789-1857) y Évariste Galois (1811-1832)

• 1771–1773 | Joseph-Louis Lagrange (Grupo de permutaciones de raíces): El viaje formal de la teoría de grupos comenzó en el último tercio del siglo XVIII. Lagrange intentaba resolver el histórico problema de encontrar una fórmula general para las ecuaciones polinómicas de quinto grado o superiores. Al hacerlo, introdujo de manera primigenia los grupos de permutaciones de las raíces de una ecuación. Analizó cómo cambiaban las funciones matemáticas de estas raíces al intercambiar (permutar) sus posiciones, descubriendo que la estructura de estas permutaciones determinaba la resolubilidad de la ecuación.
  
  
• 1815 | Augustin-Louis Cauchy (Grupos finitos sin definición): A las puertas del siglo XIX, Cauchy tomó el testigo de Lagrange y sistematizó el estudio de las permutaciones de manera aislada. Aunque operaba con estructuras que hoy identificamos perfectamente como grupos finitos, él trabajaba y descubría sus teoremas y propiedades lógicas de forma intuitiva, sin formalizar conceptualmente o dar una definición abstracta de lo que era un "grupo".
  
  
• 1830 | Évariste Galois (Concepto de grupo finito): A la temprana edad de 18 años, el joven genio Évariste Galois acuñó formalmente el término y el concepto de grupo en un contexto puramente finito. Galois demostró definitivamente que las ecuaciones de quinto grado no tienen solución general por radicales (teorema de Abel-Galois) y asoció a cada ecuación algebraica una estructura de permutaciones de sus raíces. Si este "Grupo de Galois" poseía una propiedad interna específica (ser resoluble), la ecuación podía resolverse; de lo contrario, era imposible. Galois vinculó para siempre el álgebra con la simetría estructural.

Camino hacia la Abstracción y el Espacio Geométrico (1850 - 1872)

Arthur Cayley (1821-1895),  Camille Jordan (1838-1922) y Felix Klein (1849-1925)

• 1850–1870 | Arthur Cayley y Camille Jordan (Tratamiento abstracto): A mediados de siglo, la teoría comenzó a romper su dependencia de las ecuaciones. Cayley se dio cuenta de que un grupo no tenía por qué limitarse a permutaciones de raíces; cualquier conjunto de elementos (ya fuesen matrices, números o figuras) que cumpliera con los axiomas estructurales formaba un grupo. A él le debemos la noción moderna de grupo abstracto y las famosas "tablas de Cayley". Por su parte, Jordan escribió el primer tratado sobre el tema, ordenando y unificando el conocimiento disperso en toda Europa.
  
  
• 1872 | Felix Klein (Grupo de transformaciones en la geometría): Klein provocó una auténtica revolución en la geometría a través de su célebre Programa de Erlangen. Propuso que la geometría no debía estudiarse según las propiedades de los objetos de manera aislada, sino a través de las propiedades que permanecen invariantes cuando se les aplica un grupo de transformaciones (como rotaciones, traslaciones o reflexiones). Así, la geometría euclidiana, la proyectiva o la hiperbólica pasaron a definirse por el grupo algebraico que las gobierna.

 Continuidad, Redes Cristalinas y Topología (1873 - 1895)

Sophus Lie (1842-1899),  Evgraf Fedorov (1853-1919) y Henri Poincaré (1854-1912)

• 1873 | Sophus Lie (Grupos continuos de transformaciones): El matemático noruego Sophus Lie dio un giro drástico al introducir los grupos infinitos y continuos, conocidos hoy como Grupos de Lie. A diferencia de las permutaciones discretas de Galois, los elementos de estos grupos fluyen de manera continua (como las infinitas rotaciones posibles de una esfera). Lie aplicó esto al estudio y resolución de ecuaciones diferenciales basándose en sus simetrías internas.
  
  
• 1890–1891 | Evgraf Fedorov (Clasificación de redes de cristales): El aporte de Evgraf Fedorov entre 1890 y 1891 supuso una de las primeras y más brillantes aplicaciones de la teoría de grupos abstracta a las ciencias naturales a través de la consolidación de la cristalografía matemática. Fedorov comprendió que la estructura interna de un cristal físico está determinada por la repetición periódica y ordenada de átomos en el espacio tridimensional. Para clasificar estas estructuras, utilizó los llamados grupos cristalográficos espaciales, los cuales combinan de forma algebraica las operaciones de simetría puntual (como rotaciones e inversiones) con las simetrías de traslación espacial. Mediante este riguroso enfoque algebraico, Fedorov demostró matemáticamente que solo existen exactamente 230 formas únicas en las que los patrones geométricos pueden repetirse infinitamente en tres dimensiones sin dejar huecos ni solaparse. Su hazaña no solo catalogó de manera definitiva todas las simetrías posibles de la materia sólida mucho antes de que la difracción de rayos X permitiera observar los átomos directamente, sino que transformó la teoría de grupos en una herramienta indispensable para comprender la física del estado sólido y la arquitectura íntima de la naturaleza.
  
  
• 1895 | Henri Poincaré (Grupos topológicos): Cerrando el siglo XIX, Poincaré fusionó la estructura de grupo algebraico con el concepto de continuidad del espacio geográfico y topológico. Esto dio nacimiento a la topología algebraica (mediante herramientas como el grupo fundamental), permitiendo estudiar las propiedades globales y deformaciones de espacios n-dimensionales complejos mediante operaciones puramente abstractas.
  
  

 El Siglo XX: Aplicaciones a la Física Cuántica y la Criptografía 

• Aplicaciones a la estructura de la materia y mecánica cuántica: Durante el siglo XX, la teoría de grupos dejó de ser una sofisticada rama de las matemáticas puras para convertirse en la espina dorsal de la física contemporánea. Con el nacimiento de la física cuántica y la física de partículas (el Modelo Estándar), los científicos descubrieron que las partículas subatómicas fundamentales (quarks, leptones) y las fuerzas de la naturaleza (electromagnetismo, fuerza nuclear fuerte y débil) no son más que proyecciones cuánticas que obedecen a las leyes internas de simetría de determinados grupos matemáticos de Lie.
  
  
• Aplicaciones a la criptografía de clave pública: La teoría de grupos es uno de los pilares fundamentales de la criptografía moderna, ya que proporciona la estructura matemática necesaria para diseñar sistemas de seguridad altamente confiables. En lugar de trabajar con números de forma tradicional, los algoritmos de cifrado —como el famoso RSA o la criptografía de curva elíptica— utilizan las propiedades de los grupos cíclicos finitos y la dificultad del problema del logaritmo discreto. En estos sistemas, realizar una operación en una dirección (como mezclar la información usando la operación del grupo) es sumamente sencillo y rápido para una computadora, pero realizar la operación inversa (descifrar el mensaje sin la clave) es un problema computacionalmente intratable en un tiempo razonable. Así, la abstracción algebraica de elementos, inversos y operaciones asociativas garantiza que nuestras transacciones bancarias, contraseñas y comunicaciones en línea permanezcan completamente seguras frente a intentos de hackeo.

La historia de la teoría de grupos es, en conclusión, el viaje de una herramienta matemática nacida para resolver ecuaciones algebraicas que terminó desvelando las leyes de simetría más profundas que gobiernan el universo observable.