[论文解读] Reworking on affine exterior algebra of Grassmann, Peano and his school

Gabriele Greco, Enrico Pagani|arXiv (Cornell University)|Feb 22, 2010

Advanced Topics in Algebra参考文献 7被引用 4

一句话总结

本文從皮亞諾及其學派的視角重構並重新評估格拉斯曼的仿射外代數，強調皮亞諾透過『透過等價關係商化』（定義抽象）的創新方法，形式化幾何對象。研究顯示，格拉斯曼與皮亞諾的三維幾何微積分中的度量結構，通常可簡化為僅依賴仿射結構，突顯仿射幾何在構造外代數中的基礎充分性。

ABSTRACT

In this paper a construction of affine exterior algebra of Grassmann, with a special attention to the revisitation of this subject operated by Peano and his School, is examined from a historical viewpoint. Even if the exterior algebra over a vector space is a well known concept, the construction of an exterior algebra over an affine space, in which points and vectors coexist, has been neglected. This paper wants to fill this lack. Some attention is given to the introduction of defining by abstraction (today called definition by quotienting or by equivalence relation), a procedure due to and used by Peano to define geometric forms, basic elements of an affine exterior algebra. This Peano's innovative way of defining, is a relevant contribution to mathematics. It is observed that in the construction of an affine exterior algebra on the Euclidean three-dimensional space, Grassmann and Peano make use of metric concepts: an accurate analysis shows that, in some cases, the metric aspects can be eliminated, putting into evidence the sufficiency of the underlying affine structure of the Euclidean space. In the final part of the paper some geometrical and mechanical applications and interpretations of the affine exterior algebra given by Grassmann and Peano are presented.

研究动机与目标

• 重構並分析格拉斯曼所形式化的仿射外代數之歷史發展，並由皮亞諾及其學派重新詮釋。
• 強調皮亞諾透過抽象（以等價關係商化）定義幾何形式的方法，此為數學建構中的基礎性創新。
• 證明格拉斯曼與皮亞諾幾何微積分中的度量概念——常被視為必要——可被消除，顯示僅保留仿射結構已足夠。
• 提出仿射外代數在幾何與力學中的應用，展現其實務與理論上的相關性。
• 糾正歷史對仿射外代數的忽視，確立其在概念與結構上獨立於度量假設的完整性。

提出的方法

• 分析皮亞諾的《幾何計算》及其相關著作，以現代代數術語重構其對格拉斯曼《廣延量學》的重新詮釋。
• 應用『透過抽象定義』（以等價關係商化）的概念，形式化如定向線段與定向面積等幾何對象。
• 檢視度量概念在格拉斯曼與皮亞諾建構中的角色，系統性地識別其可被移除之處。
• 比較格拉斯曼原始的度量依賴表述與皮亞諾的仿射限制版本，以釐清最小結構需求。
• 運用皮亞諾《向量理論分析》與《數學公式集》中的公理框架，形式化仿射外代數的代數結構。
• 將所得代數框架應用於經典幾何與力學問題，如面積與體積計算及向量場分析。

实验结果

研究问题

• RQ1 皮亞諾及其學派如何在點與向量共存的仿射空間脈絡中，重新詮釋格拉斯曼的外代數？
• RQ2 皮亞諾透過抽象（以等價關係商化）定義幾何對象的方法，如何體現其對數學建構的創新與基礎性貢獻？
• RQ3 格拉斯曼與皮亞諾幾何微積分中的度量概念，在多大程度上可被消除而不損失一般性？當僅保留仿射結構時，尚存何種內容？
• RQ4 仿射外代數有哪些幾何與力學應用？與基於度量的表述相比，其表現如何？
• RQ5 為何仿射外代數在歷史上長期被忽視？其相較於度量依賴方法，具有何種概念優勢？

主要发现

• 皮亞諾透過抽象定義幾何形式（現被認可為以等價關係商化）的方法，是建構幾何對象的先驅性且數學嚴謹的途徑。
• 本文證明，在格拉斯曼與皮亞諾幾何微積分的大部分內容中，度量結構並非必要；僅靠仿射結構已足夠建構外代數。
• 作者證明，歐幾里得三維空間的仿射外代數可完全獨立於度量概念發展，挑戰了『度量幾何是向量與張量微積分基礎』的常識假設。
• 仿射外代數長期被忽視，歸因於格拉斯曼原作所帶有的哲學氛圍，以及坐標為基礎的解析幾何之主導地位。
• 皮亞諾的《幾何計算》及其相關著作，提供了一套連貫、公理化且富含應用的幾何微積分框架，其出現早於且預示了現代向量空間與外代數形式化。
• 本文確立，仿射外代數在幾何與力學應用中，相較於基於度量的表述，提供更廣泛且概念更清晰的基礎。