严谨性的作用II：数学严谨性对物理发展的实例问询

作为常年在物理和数学交叉领域摸爬打滚的老玩家，我来给你拆解这两个问题的真实案例：

• 狄拉克δ函数的早期应用：20世纪20年代，狄拉克为了搞定量子力学中点粒子、点电荷的计算难题，硬生生造出了δ函数——这个“函数”除原点外全为0，积分却等于1，完全不符合当时数学界对“函数”的严谨定义。当时不少数学家吐槽这根本是“野路子”，但物理学家才不管这些，直接拿它解决了散射理论、量子跃迁等一堆核心问题，把量子力学的发展速度拉满。要是当时物理学家非得等数学家给δ函数补全严谨的数学框架（直到几十年后施瓦茨的分布论才搞定），那量子力学里很多关键实验的解释、理论突破肯定会被拖慢，说不定整个领域的进展都会滞后好几年。
• 费曼路径积分：40年代费曼提出的路径积分，核心是对粒子所有可能的路径求和，但从当时的数学严谨性来看，这种“无穷路径求和”完全没靠谱的定义——既没有合适的测度，也没有收敛性证明。但物理学家一眼就看中了这个工具的好用之处，用它计算量子场论、统计力学的问题比传统方法高效太多。如果当时死磕数学严谨性，等数学家把路径积分的基础理论彻底搞清楚（直到现在还有部分细节在完善），那量子场论的发展节奏肯定会慢一大截，像量子电动力学重整化这类关键进展说不定都会推迟。

• 希尔伯特空间与量子力学的数学基础：早期量子力学的开拓者们（薛定谔、海森堡等人）都是从物理直觉出发搞理论——薛定谔搞出波函数，海森堡整出矩阵力学，但他们自己一开始都没完全搞懂这些工具的数学本质。直到量子力学提出的这些“奇怪”数学问题倒逼数学家去完善希尔伯特空间的严谨理论，物理学家才恍然大悟：原来量子态是希尔伯特空间里的向量，可观测量是自伴算子。这套扎实的数学框架反过来让物理学家对量子力学的基础有了精准的理解，比如对测量问题、态叠加原理的表述再也不是模糊的直觉，而是严谨的数学结论。
• 重整化群的数学化：物理学家一开始用重整化是为了处理量子场论里的发散问题——这本来是个“凑出来”的技巧，把计算里的无穷大抵消掉，数学上看起来特别不严谨。但随着物理上对相变、临界现象的研究深入，物理学家意识到重整化背后藏着尺度变换的深层规律，这推动数学家去构建重整化群的严谨数学理论。现在重整化群已经成为动力系统、泛函分析领域的重要分支，而这套扎实的数学理解又反过来让物理学家能更精准地研究临界现象、量子场论的非微扰性质。

内容的提问来源于stack exchange，提问作者Gil Kalai