19世纪数学

一、分析学的严格化

19世纪是数学严格化的世纪。在牛顿和莱布尼茨之后，微积分的基础一直是模糊的——无穷小量的概念缺乏严格的定义。柯西（Augustin-Louis Cauchy，1789-1857 年）开始了严格化的工作——他用极限的概念取代了模糊的无穷小。

卡尔·魏尔斯特拉斯（Karl Weierstrass，1815-1897 年）进一步推进了严格化——他的ε-δ 语言为极限提供了精确的定义。魏尔斯特拉斯还构造了处处连续但处处不可微的函数——这个函数打破了"连续函数几乎处处可微"的直觉。

群论（Group Theory）是 19 世纪最重要的数学创新之一。埃瓦里斯特·伽罗瓦（Évariste Galois，1811-1832 年）是群论的创始人——他在 20 岁时就因决斗而去世，但留下了深刻的数学遗产。

伽罗瓦用群论解决了多项式方程的根式可解性问题——他证明了五次及以上的一般多项式方程不能用根式求解。这个结论结束了数学家们寻找五次方程求解公式的努力。

伽罗瓦的故事是数学史上最悲壮的之一——他在决斗前夜写下了他的数学遗嘱，其中包含了群论的核心思想。他的手稿直到 1846 年才被发表。

19 世纪中叶，非欧几何终于被数学界接受。波恩哈德·黎曼（Bernhard Riemann，1826-1866 年）在 1854 年的就职演讲中提出了黎曼几何——一种更一般的几何理论，其中空间的曲率可以变化。

黎曼几何为广义相对论提供了数学框架——爱因斯坦用黎曼几何描述了引力如何弯曲时空。这是数学领先于物理学应用的经典案例。

格奥尔格·康托尔（Georg Cantor，1845-1918 年）创立了集合论（Set Theory）——这是现代数学的基础。康托尔证明了一个惊人的结果：无穷大有不同的大小——实数的无穷大比整数的无穷大更大。

康托尔的对角线论证（Diagonal Argument）是数学史上最优雅的证明之一——它用简洁的方法证明了实数不可数。但康托尔的工作受到了同时代数学家的强烈反对——利奥波德·克罗内克（Leopold Kronecker）称康托尔为"科学骗子"。

19 世纪数学的一个重要趋势是抽象化。数学家们开始研究抽象的结构——群、环、域、向量空间——而不是具体的对象。这种抽象化使得数学可以应用于更广泛的领域。

尼尔斯·亨利克·阿贝尔（Niels Henrik Abel，1802-1829 年）和卡尔·雅可比（Carl Jacobi，1804-1851 年）发展了椭圆函数理论。阿瑟·凯利（Arthur Cayley，1821-1895 年）发展了矩阵理论。

19 世纪数学的遗产是深远的——它奠定了现代数学的基础：严格分析、抽象代数、集合论、拓扑学。这些工具至今仍是数学的核心。

19 世纪也展示了数学的一个悖论：数学越抽象，它在现实世界中的应用就越广泛。群论最初是为了解决多项式方程的问题，后来却成为了粒子物理学的基础。