[論文レビュー] Tangency vis-a'-vis differentiability by Peano, Severi and Guareschi

Szymon Dolecki, Gabriele Greco|arXiv (Cornell University)|Mar 5, 2010

Mathematical and Theoretical Analysis参考文献 30被引用数 13

ひとこと要約

本稿は、ペアノ、セベリ、グアレスキの業績を通じて、接線および微分可能性の概念の歴史的発展をたどるものであり、1887年および1903年のペアノによる下付接線錐および上付接線錐の初期定義が、1930年代にセベリとグアレスキが微分可能性および厳密微分可能性を下付接線錐を用いて特徴づけた後続の研究の基盤を築いたことを示している。主な貢献は、微分積分学および解析の基礎的アイデアが、現代の変分解析および最適化の概念へとつながる包括的な歴史的統合を提供することにある。

ABSTRACT

Peano defined 'differentiability' of functions and 'lower tangent cones' in 1887, and 'upper tangent cones' in 1903, but uses the latter concept already in 1887 without giving a formal definition. Both cones were defined for arbitrary sets, as certain limits of appropriate homothetic relations. Around 1930 Severi and Guareschi, in a series of mutually fecundating individual papers, characterized differentiability in terms of 'lower tangent cones' and strict differentiability in terms of 'lower paratangent cones', a notion introduced, independently, by Severi and Bouligand in 1928. Severi and Guareschi graduated about 1900 from the University of Turin, where Peano taught till his demise in 1932.

研究の動機と目的

• 数学解析における接線および微分可能性の概念の歴史的進化を再構築すること。特に、ペアノ、セベリ、グアレスキの貢献に焦点を当てる。
• ペアノが1887年に下付接線錐および上付接線錐を定義した概念的系譜が、1930年代にセベリとグアレスキが下付接線錐を用いて微分可能性を特徴づけたことにどのようにつながったかを明確にすること。
• 19世紀末から20世紀初頭にかけて、ペアノの影響を受ける形で、トリノ大学が数学的革新の中心であった役割を強調すること。
• イタリアの大学アーカイブから得た一次資料を基に、グアレスキとセベリの伝記的・アーカイブ的文脈を記録すること。
• ペアノの形式的言語、論理学および集合論における基礎的業績が、彼の幾何学的・解析的貢献の前触れであったことを位置づけること。

提案手法

• 1887年および1903年のペアノの原典的業績を分析的に再構築し、同氏が同位相似関係を用いて下付接線錐および上付接線錐を定義した点に焦点を当てる。
• セベリとグアレスキの1930年代の論文を、1928年にブリゴアンダンが提唱した「付接線錐」に関する先行研究と比較することで、同概念が独立して発展したことを確立する。
• グアレスキ・フォンド、パヴィア大学、ジェノバ、アッカデミア・リガーレのアーカイブ資料を活用し、人物関係および学術的つながりを検証する。
• ペアノの形式的論理、集合論、微分方程式分野における貢献を、彼の接線および微分可能性に関する研究の物語に統合する。
• 収束理論および幾何学的解析の応用により、ペアノの定義と変分解析分野における後続の発展との間の概念的連続性を解釈する。
• ペアノの『数学フォーミュラー』（1894–1908）、クライン宛ての書簡、『Mathematische Annalen』への出版物といった一次資料を相互に照合する。

実験結果

リサーチクエスチョン

• RQ1 ペアノが1887年に定義した微分可能性および接線錐の概念は、その後の変分解析分野における発展をどのように予見していたか？
• RQ2 セベリとグアレスキが1930年代に下付接線錐を用いて微分可能性を特徴づけたことは、ペアノの初期業績をどのように継承していたか？
• RQ3 20世紀初頭に接線および微分可能性の概念の発展を促進したトリノ大学の役割は何か？
• RQ4 1928年にセベリとブリゴアンダンが独立して「付接線錐」概念を提唱したことは、その後のグアレスキの業績とどのように関係していたか？
• RQ5 ペアノからセベリおよびグアレスキへの知的系譜を裏付ける、アーカイブ的および伝記的証拠は何か？

主な発見

• ペアノは1887年に任意の集合に対して下付接線錐を、1903年に上付接線錐を、同位相似関係を用いて形式的に定義し、解析における接線の概念の基礎的枠組みを確立した。
• 1903年までに上付接線錐を形式的に定義しなかったものの、ペアノは1887年の業績でその概念を既に使用しており、概念に対する初期の直感的把握がなされていたことが示唆される。
• セベリとグアレスキは1930年代に、下付接線錐を用いた微分可能性および下付付接線錐（lower paratangent cone）を用いた厳密微分可能性の特徴づけを独立して行ったが、これはペアノの基礎的業績に直接根ざしていた。
• 1928年にセベリとブリゴアンダンが提唱した下付付接線錐の概念は、後にグアレスキによって体系化され、厳密微分可能性を特徴づける中心的役割を果たした。
• ペアノが教鞭を執り、セベリとグアレスキが学んだトリノ大学の知的環境は、これらのアイデアの伝達および発展において重要な役割を果たした。
• アーカイブ調査により、グアレスキの業績がペアノの遺産に深く根ざしていることが確認された。彼の1934年および1936年の多変数および複素微分可能性に関する論文は、ペアノの形式的体系に直接的な系譜をもつものであった。