数学的構造

全数学を統一的に少数の概念によって記述するために導入された概念

数学における構造(こうぞう、mathematical structure)とは、ブルバキによって全数学を統一的に少数の概念によって記述するために導入された概念である。集合に、あるいはの対象に構造を決めることで、その構造に対する準同型が構造を保つ写像として定義される。数学の扱う対象は、基本的には全て構造として表すことができる。

構造における歴史 編集

ブルバキ以前 編集

数学史において、現代的および革新的な新しい概念であるはずのものが、しかしその痕跡と言えるものが遡って古代においてすでに認められるというようなことはよくあることである。そのような事例として、17世紀ライプニッツニュートンによって考え出された微分法および積分法は、素朴で未発達な形ではエウドクソスアルキメデスが既に用いていた。このことは数学的構造の概念の発明にしてもそうであり、利用は最初の明示的な定式化に先行するのである。従って、数学史において構造の概念について定義して言及した最初のものを特定するのは容易であるが、そのような説明なしに用いた最初を特定するのは困難である。

合同算術において構造の概念はガウス Disquisitiones Arithmeticae (1801) の手法に実際に現れる。ガウスはユークリッド除法の剰余について、構造的な観点から研究を行った。これは群論の起源のひとつでもある。

ガロワ理論において、ガロワの対称性を用いた手法、ジョルダンの群論、クロネッカー体論などの手法は本質的に構造的である。

線型代数学において構造の概念は二段階に現れる。ユークリッド幾何学における公理的手法は最終的に厳密な形で確立された(ヒルベルトの公理英語版参照)。その後、ベクトル空間の定式化にはグラスマンペアノが取り組み、最終的にバナッハブルバキによって形となった。

多様体の構造の概念はベルンハルト・リーマンの手法において現れた。


定義 編集

構造の種 編集

集合論的な定義[1]: 構造種 (species of structure) とは、以下の四つからなる:

主基集合 (principal base set) または台集合 (underlying set)
(何の構造も持たない) 単なる「はだか」の集合。複数あってもよいが基本的には一つ[2]
副基集合 (auxiliary base set)
(それ自身がすでに構造を持った) 補助的な集合。複数あってもよいし、無くてもよい[2]
代表的特性記述 (predicate)
「主基集合と副基集合から、直積べき集合をとることを繰り返して得られる集合(階梯[3]と呼ばれる)にある集合(構造と呼ばれる)が含まれる」ということを表す論理式。複数あってもよい。
公理系
構造が満たす論理式。ただし移行可能であるという条件が付く。この条件は、準同型などを定義する際に必要になる。

与えれられた基底(主および副基のすべて)から作られる、ある階梯の中の一つの集合 M を考えるとき、M の元に関する具体的な性質によって M の部分集合が定まるが、いくつか定められた性質に対するそのような部分集合たちの交わりT とする。このとき、一つの元 τT は与えられた基底集合にT の構造を定めるといい、τT からの帰結として得られる任意の定理はT の構造の理論に属するという[4]

例えば、順序構造の主基集合とは、その元の対の間に順序関係の定義される(あるいはしようとする)集合をいう。位相構造ならば、位相を入れようとするあるいは入った集合である。ベクトル空間の主基集合はベクトルからなる集合であり、副基集合はある定まったである。複素多様体は、多様体の点集合を主基集合とし、複素数体を副基集合に持つ。

構造の比較 編集

同一の種 T に属する二つの構造 τ, υT に対し、一方の構造 υT に公理を追加して与えられる部分集合 U に属するならば、U の構造 υT の構造 τ より豊か (richer) であるという[5](「強い」ともいう)。

例えば、全順序集合の構造は半順序集合の構造より豊かである。

構造の同一性 編集

同一の階梯の二つの部分集合をとり、そのそれぞれに属する種 T, T' が具体的に述べられた公理によって定義され、かつそれらの間の全単射 TT' が具体的に表されているものとする。このとき、対応する構造 (T ∋) ττ' (∈ T') は、与えられた基底の上に同一の構造を定めるものと見なされ、種 T, T' のそれぞれを定義する公理系は互いに同等であるという[6]

例えば、位相構造多くの同等な公理系により与えられ得ることを想起せよ。

理論の一意性と多意性 編集

一つの集合の上の或る構造を定義する公理系が,それが任意の集合に対して述べられるにもかかわらず,それらの公理を満足する二つの構造で,それぞれ二つの相異なる集合 E と F の上に定義されたものを考えると,その構造が(もし存在すれば)必ず同型になるということが公理から結論される(このことから,特に,E と F が対等であることが導かれる),ということもあり得る.このような場合,これらの公理を満足する構造の理論は一意的であるという;そうでない場合は,多意的である,といわれる.

— ブルバキ[7]

構造の例 編集

例えば、実数は上の三つの構造[注釈 1]をすべて持っている。すなわち、実数は全順序集合であり、体であり、また距離空間である。

自然数の理論,実数の理論,古典的ユークリッド幾何学などは一意的な理論である;順序集合の理論,群論,位相空間の理論などは多意的な理論である.多意的な理論の研究こそ,現代数学を古典的な数学と区別しているもっとも顕著な特徴なのである.

— ブルバキ[7]

意義または概念の有用性 編集

例えば解析幾何学において座標を使った解法と 位置ベクトルを使った解法を比べてみると、後者のほうが同じ内容を表現するにも重複した記述を省略できる、しかし問題を解く手段であることには両者とも変りはない。構造の概念も表現や思考の節約に役立つ。

ガロア理論においては、単なる計算の洗練を超えた構造の概念により方程式論の難題であった5次方程式の解法のみならず幾何学の難問であった角の三等分問題円積問題の解決にもつながった。

ブルバキの言う「数学者に豊かなインスピレーションを与える知識」とは異なった構造の類似において一方で成り立つ理論が他方でも成り立つのではないかという予想を構造の知見が容易にしていることを意味する。例えば、整数環有限体上の1変数多項式環との間の構造の類似においてアンドレ・ヴェイユにより、リーマン予想に類似の問題が解かれた[注釈 2]。リーマン予想に関してあえて大雑把にいえば、現在でもこの方向で研究が進められている。

しかし、或る構造の概念の適用が問題を解くにあたって見当違いのこともある。ポアンカレ予想はそれまで多くの研究者にとって役立つと思われていた位相幾何学で扱われる 位相多様体の概念によってでなく、より強い理論である―可微分多様体を扱う微分幾何学の範疇の問題として解かれた[注釈 1]

構造とブルバキズムに対する批判 編集

  • 一般的な枠組みから数学の記述を目指したにもかかわらず圏論を無視したこと。
  • 基礎論に対する偏った扱い[8]
  • 過度の抽象性が引き起こした教育的配慮のなさ。

脚注 編集

注釈 編集

  1. ^ a b 強さ弱さ)による数学的理論 順序づけは半順序である。つまりそれらの互いの強さの比較を判定できない2つの理論が存在しうる。構造の例の節で挙げた構造を扱う三つの理論はどれも互いに強さを比べられない。
  2. ^ 詳しくはヴェイユ予想を見よ。

出典 編集

  1. ^ ブルバキ 1969, 4章 構造.
  2. ^ a b Suppes 1994, p. 155.
  3. ^ ブルバキ 1968, p. 49, §8.1.
  4. ^ ブルバキ 1968, p. 49, §8.2.
  5. ^ ブルバキ 1968, p. 50, §8.3.
  6. ^ ブルバキ 1968, p. 50, §8.4.
  7. ^ a b ブルバキ 1968, p. 51, §8.7.
  8. ^ リヒャルト・デデキント渕野昌/訳・解説):数とは何かそして何であるべきか,筑摩書房,2013年7月10日,p.313.

参考文献 編集

  • ブルバキ『集合論』 3巻、田中尚夫・村田全訳、東京図書〈数学原論〉、1969年。 
  • ブルバキ『集合論』 要約、前原昭二訳、東京図書〈数学原論〉、1968年。 
  • Suppes, Patrick; Humphreys, P. (1994), P. Humphreys, ed., Philosophy of Physics, Theory Structure, and Measurement Theory, Patrick Suppes: Scientific Philosopher, volume 2., Springer Science & Business Media, ISBN 9780792325536, https://books.google.com/books?id=RFZLxAoWPOcC 

関連項目 編集

外部リンク 編集