集合・論とは? わかりやすく解説

しゅうごう‐ろん〔シフガフ‐〕【集合論】

読み方:しゅうごうろん

数学一部門で、集合性質研究する学問19世紀末ドイツゲオルク=カントル創始


集合論

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2025/03/15 07:54 UTC 版)

集合論

集合論(しゅうごうろん、英語: set theory)は、集合とよばれる数学的対象をあつかう数学理論である。

通常、「集合」はいろいろな数学的対象の集まりを表していると見なされる。これは日常的な意味でのものの集まりやその要素、特定のものが入っているかいないか、という概念を包摂している。現代数学の定式化においては集合論がさまざまな数学的対象を描写する言葉をあたえている。集合論は数学の公理的な基礎付けをあたえ、数学的な対象を形式的に「集合」と「帰属関係」によって構成することが可能になる。また、集合論の公理として何を仮定するとどんな体系が得られるか、といった集合それ自体の研究も活発に行われている。

集合論における基本的な操作には、あたえられた集合のべき集合直積集合をとる、などがある。また二つの集合の元同士の関係を通じて定義される順序関係写像などの概念が集合の分類に重要な役割を果たす。集合論では、二つの集合の間に全単射が存在するとき濃度が等しいという。そこで集合を濃度の等しさによって類別した各々の同値類のことを濃度という。この定義では濃度は真のクラスになってしまうので、濃度そのものを集合論的な対象として取り扱い難い。選択公理を仮定すると任意の集合は整列可能であることが導かれる。整列集合の順序型を順序同型で類別した各々の同値類と定義してしまうと、それは真のクラスとなってしまう。幸いなことに任意の整列集合は順序数と呼ばれる特別な集合と順序同型となる。そのためそれら順序数を整列集合の順序型と定義することができる。また順序数全体

ゲオルク・カントール

ゲオルク・カントールによるフーリエ級数の研究において、実直線上の級数がよく振る舞わない点を調べる過程で集合の概念が取り出された。彼はやがて有理数や代数的数のなす集合が可算であるという結果を得て、それをリヒャルト・デーデキントとの書簡の中で伝えている。

そこでは実数についてもこれが成り立つかという問題に取り組んでいること、どうやらそうではないらしいことが述べられている。それからわずか数週間で、彼は実数が可算でないということについての証明を得る。その後、彼は数直線 R と平面 R2の間に全単射があるかという問題に取り組んで、3年にわたる研究の結果、それらの集合の間に全単射が存在することを示した。彼はその証明を伝えたデーデキントへの書簡の中で、有名な "Je le vois, mais je ne le crois pas"「私はそれを頭では理解しているが、しかしそれを信じることができない」という言葉を書き残している。

実数集合の持つ超越的な性格は同時代の数学者の一部のあいだに揺籃期の集合論そのものに対する拒否反応を巻き起こした。カントールの師レオポルト・クロネッカーによる否定はカントールに影響を与えることになった。

ツェルメロによって選択公理とその帰結としてすべての集合上に整列順序関係が入るということがはっきりさせられた。選択公理の意味するところやその妥当性についてはルベーグとボレル、ベールの間の議論などに代表されるように数学者たちによる活発な議論の的となった。

クルト・ゲーデル

一方で、カントールが頭を悩ませつづけた連続体仮説:「実数集合は自然数集合の次に大きい集合であるか?」は、クルト・ゲーデルポール・コーエンの業績によってZFC公理系からは証明も反証もできないことがわかった。

数学にあたえた影響

集合論以前の数学は、数であるとか方程式であるとかあらかじめ与えられた数学的対象の性質を研究する、という性格が強いものだった。集合論以降は問題にしている数学的な現象をよく反映するような「構造」を積極的に記号論理によって定義し、その構造を持つ集合について何がいえるかを調べる、という考え方が優勢になった。とくに20世紀に入ってからの抽象代数学位相空間論では様々な新しい数学的対象が集合の道具立てを用いて積極的に構成され、研究された。このパラダイムはブルバキによる『数学原論』においてその頂点に達したと見なされている。

一方で、さまざまな数学の問題に対応した構造を理解するときには、個々の対象が具体的にどんな集合として定義されたかということよりも、類似の構造を持つほかの数学的対象との関係性の方がしばしば重要になる。この関係性は対象間の写像のうちで「構造を保つ」ようなものによって定式化される。このような考え方を扱うために圏論が発達した。集合論の著しい特徴は集合間の写像たちまでが再び集合として実現できることだが、こういった性質を圏論的に定式化することで集合論の圏論化・幾何化ともいうべきトポスの概念がえられる。

参考文献

  • 倉田令二朗、篠田寿一『公理論的集合論』河合出版、1996年。ISBN 4879999679 
  • 赤摂也『集合論入門』(増補版)培風館、1959年。ISBN 4563003018 
  • 松坂和夫『集合・位相入門』岩波書店、1968年。ISBN 4000054244 

関連項目

外部リンク


集合論(意味論的特徴づけ)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/05/28 14:28 UTC 版)

共有知識」の記事における「集合論(意味論的特徴づけ)」の解説

等価な)代替案として、共有知識は集合論を用いて定式化することもできる(これはノーベル賞受賞者ロバート・オーマンがその独創的な 1976 年論文においてとった方法である)。 まず状態の集合 S から始める。状態の集合 S の部分集合として事象 E を定義できるそれぞれのエージェント i について,S 上の分割 Pi定義するこの分割が、ある状態におけるエージェント知識の状態を表現している。状態 s において、エージェント i は、Pi (s) のうちのどれかの状態が起きていることを知るのだが、それがどれなのかは知らない(ここで Pi (s) は、s を含む分割 Pi一意要素を表す。このモデルではエージェント真でないことを知ってしまうというケース排除されていることに注意せよ)。 ここで知識関数 K を次のようにして定められるK i ( e ) = { s ∈ S | P i ( s ) ⊂ e } {\displaystyle K_{i}(e)=\{s\in S|P_{i}(s)\subset e\}} すなわち、Ki (e) は、事象 e が起こっていることをエージェント知っているような状態の集合である。これは e の部分集合になる。 上の様相論理による定式化同じようにして、「全員が e を知っているということを表す演算子定義できる: E ( e ) = ⋂ i K i ( e ) {\displaystyle E(e)=\bigcap _{i}K_{i}(e)} 様相演算子場合同じく関数 E は再帰的用いることができ、 E 1 ( e ) = E ( e ) , E n + 1 ( e ) = E ( E n ( e ) ) {\displaystyle E^{1}(e)=E(e),E^{n+1}(e)=E(E^{n}(e))} とする。これを使うと共有知識関数を、 C ( e ) = ⋂ n = 1E n ( e ) {\displaystyle C(e)=\bigcap _{n=1}^{\infty }E^{n}(e)} と定義できる上で素描した構文論的なアプローチとの等価性簡単に確認できる:いま定義したオーマン構造考えよ.これと対応するクリプキ構造を、 同じ集合 S, 分割 Pi一致する同値類定めアクセス可能関係 Ri, 原子命題 p に対応するオーマン構造における事象Ep とする。これに属する状態 s ∈ E p {\displaystyle s\in E^{p}} のすべてにおいてだけ、原子命題 p に「真」という値を与えるような付値関数、 として定められる前節定義した共有知識アクセス可能性関数 RG が、すべての i ∈ G {\displaystyle i\in G} の分割 Pifinest common coarsening に一致することを確認するのは難しくなく、これはオーマン1976 年論文与えられ共有知識有限的な特徴づけになっている

※この「集合論(意味論的特徴づけ)」の解説は、「共有知識」の解説の一部です。
「集合論(意味論的特徴づけ)」を含む「共有知識」の記事については、「共有知識」の概要を参照ください。

ウィキペディア小見出し辞書の「集合・論」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



集合・論と同じ種類の言葉


固有名詞の分類


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「集合・論」の関連用語

集合・論のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



集合・論のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
デジタル大辞泉デジタル大辞泉
(C)Shogakukan Inc.
株式会社 小学館
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの集合論 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの共有知識 (改訂履歴)、ウィラード・ヴァン・オーマン・クワイン (改訂履歴)、宇宙 (数学) (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。
Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL).
Weblioに掲載されている「Wiktionary日本語版(日本語カテゴリ)」の記事は、Wiktionaryの集合論 (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS