エミー・ネーター Emmy Noether

Growth-as-a-Service™︎| Decrypt History, Encrypt Future™

エミー・ネーター Emmy Noether

エミー・ネーター(Emmy Noether)の功績は大きく分けて2つの柱があります。1つは物理学の根幹を成す「ネーターの定理」、もう1つは現代数学の景色を塗り替えた「抽象代数学(abstract algebra)」の確立です。

1. 物理学貢献:ネーターの定理

ネーターの定理(1918年)の証明は、現代の理論物理学の「言語」を決定づけました。彼女は、ニュートン力学のような個別の運動方程式を解くのではなく、「変分原理(最小作用の原理)」**という抽象的な枠組みを使って、幾何学的な対称性と物理的な保存量を直接結びつけました。物理学者にとっても数学者にとっても、この証明の鮮やかさは「計算の先にある構造の勝利」と言えます。

作用積分(Action)

証明の出発点は、物理系の挙動を記述するラグランジアン $L$ と、その時間積分である作用 $S$ です。

$$S = \int L(q, \dot{q}, t) dt$$

物体は、この作用 $S$ が最小(厳密には停留値)になるような経路を通ります(最小作用の原理)。

証明のステップ:対称性の導入

ネーターは、この系に**「連続的な対称性」**があると仮定しました。例えば、「空間をわずかに $\epsilon$ だけずらしても、物理法則(作用 $S$)が変わらない」という状態です。

ステップA:無限小変換

座標 $q$ を $q \to q + \epsilon \delta q$ と微小に変化させます。もし系に対称性があるなら、この変換をしても作用 $S$ の値は変化しません($\delta S = 0$)。

ステップB:変分と運動方程式の組み合わせ

ここでネーターは、作用の計算式を2つの方法で展開しました。

  1. 対称性の定義から: 変換による変化分は 0 である。
  2. 微分の鎖鎖律(テイルラー展開)から: 変化分は「各変数の微分の和」で書ける。

この2つを等式で結び、オイラー=ラグランジュ方程式(物体が実際に運動する際のルール)を代入すると。

ステップC:全微分形式の抽出

複雑な項が打ち消し合い、最終的に**「ある物理量 $Q$ の時間微分が 0 である」**という形が導き出されました。

$$\frac{d}{dt} Q = 0$$

これは、時間とともに変化しない量、すなわち保存量が存在することを意味します。

何が画期的だったのか?

それまでの物理学では、エネルギー保存則や運動量保存則は、実験で見つかった「個別の事実」でした。

ネーターの証明は、これらを**「宇宙の形(対称性)」の裏返し**として定義し直しました。

  • **「平行移動しても変わらない」という図形的な性質が、数式の上で自動的に「運動量保存」**という物理現象をひねり出したのです。

ルーリーが「矢印の性質から一貫性を導く」ように、ネーターは「座標変換の不変性から保存法則を導き」ました。どちらも**「中身の計算ではなく、構造が要請する必然性」**を見ている点が共通しています。

保存量の具体例(ネーターの定理による対応)

対称性(不変性)対応する保存量
時間の並進対称性エネルギー
空間の並進対称性運動量
回転対称性角運動量
ゲージ対称性電荷

この「変分原理」や「ラグランジアン」といった考え方は、現代の量子力学や相対性理論でもそのまま使われています。

  • 概要: 「系に対称性があるならば、それに対応する保存則が存在する」ということを数学的に証明しました。
  • 具体例:
    • 時間並進対称性(今日実験しても明日実験しても法則が変わらない)→ エネルギー保存則
    • 空間並進対称性(どこで実験しても法則が変わらない)→ 運動量保存則
    • 回転対称性(どの向きで実験しても法則が変わらない)→ 角運動量保存則

それまで「なぜエネルギーは保存されるのか?」は経験則に近いものでしたが、ネーターはそれを宇宙の図形的な性質(対称性)から導かれる必然であることを示しました。これは現代の素粒子物理学(標準模型)の土台となっています。

2. 数学貢献:抽象代数学の母

ジェイコブルーリーの「数式を使わず構造を語る」スタイルの遠い先祖は、実はネーターにあります。

  • 「計算」から「構造」へ: 19世紀までの数学は、具体的な数式を計算するのが主流でした。ネーターはそれを変え、「環(Ring)」や「イデアル(Ideal)」といった抽象的な概念そのものの性質を研究する手法を確立しました。
  • ネーター環: 彼女の名を冠した「ネーター環(昇鎖条件を満たす環)」は、現代の代数幾何学や数論において基礎概念です。
  • 「具体的な計算を捨てて、対象が持つ抽象的な構造に注目する」

エピソード:

彼女は当時、女性であるという理由だけで大学での正式なポストや給料が長く与えられませんでした。ヒルベルトが彼女を講師に雇おうとした際、反対する教授陣に対し、「大学は銭湯ではない(性別は関係ない)」と反論した話は有名です。