[论文解读] L'identité algébrique d'une pratique portée par la discussion sur l'équation à l'aide de laquelle on détermine les inégalités séculaires des planètes (1766-1874)

Frédéric Brechenmacher|arXiv (Cornell University)|Apr 23, 2007

History and Theory of Mathematics参考文献 5被引用 4

一句话总结

本文透過1766年至1874年間的長期不等式方程，探討代數實踐的歷史演變，分析拉格朗日、拉普拉斯與魏爾斯特拉斯如何塑造代數方法。研究顯示，此時期的代數並非形式化的理論，而是一種根植於行星運動不等式求解的動態實踐，並在1874年克羅內克與若爾當的爭議中達至頂峰，從而確立了現代代數的理想。

ABSTRACT

What did "algebra" mean before the development of the algebraic theories of the 20th century ? This paper stresses the identities taken by the algebraic practices developped during the century long discussion around the equation around the equation of secular inequalities (1766- 1874). In 1874, a strong controversy on the theory of bilinear and quadratic forms opposed Camille Jordan and Leopold Kronecker. The arithmetical ideal of Kronecker faced Jordan's claim for the simplicity of his algebraic canonical form. As the controversy combined mathematical and historical arguments, it gave rise to the writing of a history of the methods used by Lagrange, Laplace and Weierstrass in a century long mathematical discussion around the "equation of secular inequalities".

研究动机与目标

• 理解20世紀前現代代數理論出現之前，'代數'在數學實踐中所代表的意義。
• 分析長期不等式方程作為塑造代數實踐的核心數學對象的角色。
• 追蹤從拉格朗日與拉普拉斯到魏爾斯特拉斯的代數方法演變，及其對後續形式代數的影響。
• 研究1874年克羅內克與若爾當之間的爭議如何透過算術與簡潔性兩種對立理想，重新定義代數的身分。
• 透過檔案與概念分析，重建代數標準形式的歷史與數學基礎。

提出的方法

• 分析1766年至1874年的原始文獻，包括拉格朗日、拉普拉斯與魏爾斯特拉斯關於行星運動與長期不等式的著作。
• 追蹤多代數學家在求解長期不等式方程時所使用的代數技術的轉變。
• 檢視1874年克羅內克與若爾當之間的爭議，作為定義代數身分的關鍵時刻，對比兩種理想：克羅內克的算術嚴謹性與若爾當對代數簡潔性與標準形式的追求。
• 運用歷史哲學分析，解讀數學實踐如何塑造代數在形式化之前的概念身分。
• 透過連結其在天體力學中的應用與現代代數結構的出現，重建代數方法的源流。
• 比較關鍵人物的認識論與方法論框架，以識別何謂「代數實踐」的轉變。

实验结果

研究问题

• RQ1 在20世紀抽象代數形式化之前，'代數'一詞在數學實踐中代表何種意義？
• RQ2 長期不等式方程如何作為催化劑，推動天體力學中代數技術的發展？
• RQ3 1874年克羅內克與若爾當之間的爭議，如何反映代數身分中的深層張力？
• RQ4 拉格朗日、拉普拉斯與魏爾斯特拉斯的方法如何促進代數推理的演變？
• RQ5 歷史敘事在克羅內克-若爾當辯論中所作的數學主張中扮演何種角色？

主要发现

• 18世紀與19世紀的代數並非形式化的理論，而是一種根植於解決具體問題的實踐，特別是行星運動中的長期不等式方程。
• 長期不等式方程作為核心數學對象，塑造了多代數學家的代數技術發展。
• 1874年克羅內克與若爾當的爭議揭示了根本性的認識論分歧：克羅內克的算術理想對比若爾當對代數簡潔性與標準形式的強調。
• 克羅內克-若爾當辯論期間所建構的歷史敘事並非偶然，而是其數學論證的核心，顯示歷史如何被用來為代數身分提供正當性。
• 本文證明，代數的身分是透過與天體力學的實踐互動而演變，而非透過抽象公理化。
• 基於同行評審與編輯修訂的最終發表版本，大幅擴充並精煉了最初的預印本，特別是在歷史與概念框架方面。