1 基本概念
集合論では、まず「何を集まりとして扱うか」を定める。対象を個別の要素として捉え、それらの所属や包含関係を記述することで、算術から幾何、抽象代数に至るまで広い範囲の記述が可能になる。ここでの基本語彙は極めて簡潔だが、数学全体の共通基盤として機能する。
1.1 集合
集合とは、ある基準でまとめられた対象の集まりである。要素の種類は数、点、関数、さらには他の集合でもよい。重要なのは、集合を構成する個々の対象が区別可能であり、全体として一つの対象として扱える点にある。
1.2 要素と所属関係
要素は集合に含まれる対象を指し、所属関係は「ある対象がある集合に属する」ことを表す。記号で書けば、対象 \(x\) が集合 \(A\) に入るとき \(x \in A\) と表す。これにより、対象の有無を明確に判定できる。
1.3 部分集合
集合 \(A\) のすべての要素が集合 \(B\) に含まれるとき、\(A\) は \(B\) の部分集合であるという。これは包含関係の基本形であり、集合の大小や構造を比較する出発点となる。空集合はあらゆる集合の部分集合である。
1.4 集合の表記
集合は波括弧を用いた列記、条件による記述、あるいは既知の標準記法で表される。たとえば、\(\{1,2,3\}\) は三つの要素からなる集合であり、\(\{x \mid x \text{ は偶数}\}\) のように性質で定めることもできる。表記は簡潔だが、曖昧さを避けるために厳密さが求められる。
2 集合の演算
集合は、演算を通して新しい集合へと組み立てられる。これらの操作は、論理的な結合や対象の選別を数式として表現するための道具である。多くの数学分野では、集合演算が構造の記述に直接用いられる。
2.1 和集合
和集合は、複数の集合の要素をまとめて得られる集合である。二つの集合 \(A\) と \(B\) に対し、少なくとも一方に属する要素全体を集める。重なりがあっても、要素は重複なく一つの集合として扱う。
2.2 共通部分
共通部分は、複数の集合に同時に属する要素からなる。二集合の重なりを表し、条件を満たす対象の抽出に相当する。交わりの有無や広さを調べることで、集合どうしの関係が見えやすくなる。
2.3 差集合
差集合は、ある集合から別の集合に含まれる要素を除いた残りである。たとえば \(A\setminus B\) は、\(A\) に属し \(B\) には属さない要素全体を示す。選別や除外の操作として基本的な役割を持つ。
2.4 補集合
補集合は、ある全体集合を基準に、その中で対象集合に入らない要素からなる。どの全体を採るかによって結果が変わるため、文脈の明示が重要である。論理学では否定に対応する概念として扱われる。
2.5 直積
直積は、二つ以上の集合の要素を組にした集合である。各要素の取りうる組合せを体系的に並べることで、座標、関係、関数の記述に使われる。順序つきの組を通じて、多変数の構造を表現できる。
3 関係と写像
集合論では、要素同士の結びつきを関係として扱い、規則的な対応を写像として定式化する。これにより、単なる集まりから、変換や比較を含む構造へと議論を拡張できる。多くの数学的対象は、この枠組みで整理される。
3.1 二項関係
二項関係は、二つの対象のあいだに成り立つ関係を表す。集合の直積の部分集合として定義されることが多く、順序、等号、大小関係などが典型例である。対象間の結びつきを一般的に記述する基本概念である。
3.1.1 反射律と対称律
反射律は、各対象が自分自身と関係を持つ性質である。対称律は、ある対象が別の対象と関係するなら、逆向きにも同じ関係が成り立つ性質を指す。等号や一部の同値関係は、これらの性質を備える。
3.1.2 推移律と反対称律
推移律は、\(x\) が \(y\) に関係し、\(y\) が \(z\) に関係するなら、\(x\) と \(z\) も関係するという性質である。反対称律は、互いに関係し合う二つの対象が一致することを意味する。順序づけにおいて重要な役割を果たす。
3.2 写像
写像は、一つの集合の各要素に対して、別の集合のただ一つの要素を対応させる規則である。数学では関数とも呼ばれ、入力と出力の対応を厳密に表す。多くの構造保存や変換の議論は、写像を通じて行われる。
3.2.1 単射
単射は、異なる入力が異なる出力へ対応する写像である。情報の重なりがなく、もとの違いが保たれる。埋め込みや識別可能性の議論にしばしば用いられる。
3.2.2 全射
全射は、到達先の各要素が少なくとも一つの入力から得られる写像である。像が値域を尽くすため、射影や網羅的対応を表す際に重要である。余りなく対象を覆う性質を持つ。
3.2.3 全単射
全単射は、単射かつ全射である写像をいう。入力と出力の間に一対一対応が成立し、逆写像が定まる。対象どうしの「同じ大きさ」や同型性を表す基本的な基準となる。
3.3 写像の合成
写像の合成は、二つの写像を順につなげて一つの写像を作る操作である。まず一方で移し、次にその結果をもう一方へ渡す。関数を部品として組み合わせる考え方を支える中心的手法である。
4 集合の大きさと無限
集合論では、要素の数だけでなく、無限集合の比較が重要になる。有限か無限かという区別を越えて、どの無限がどの程度「大きい」かを精密に扱う点に特徴がある。これにより、実数や関数空間の規模を論じられる。
4.1 濃度
濃度は、集合の要素数を一般化した概念である。有限集合では通常の個数と一致するが、無限集合では全単射の存在によって比較される。集合の大きさを構造から切り離して捉えるための指標である。
4.1.1 有限集合
有限集合は、要素の数が有限である集合である。順に数え上げれば個数が決まる。日常的な「有限個」の感覚と一致し、集合論の無限概念との対比を作る。
4.1.2 可算集合
可算集合は、自然数と一対一に対応づけられる集合である。無限でありながら順に列挙できる点が特徴で、整数や有理数が代表例となる。数え上げ可能な無限として基本的である。
4.1.3 非可算集合
非可算集合は、自然数では列挙し尽くせない集合である。要素数が可算無限よりも大きく、実数集合が典型例である。無限にも階層があることを示す重要な例である。
4.2 無限集合
無限集合とは、有限個の要素では尽くせない集合である。部分集合との対応や自己相似的な性質を示すことが多く、有限集合とは異なる直観が必要になる。数学では、無限を厳密に扱うための理論が整備されている。
4.3 濃度比較
濃度比較は、二つの集合の大きさを全単射の有無で比べる方法である。片方からもう片方への単射や全射の存在も、大小関係の判断材料になる。これにより、無限集合間でも秩序だった比較ができる。
4.4 連続体の濃度
連続体の濃度は、実数全体の持つ濃度を指す。可算無限より大きい最小の非可算濃度として理解されることが多い。解析学の基盤である実数の大きさを、集合論的に明確化する概念である。
5 順序構造
順序構造は、集合の要素を並べたり比較したりするための枠組みである。大小や先後の関係を抽象化し、代数的・論理的な構成にも広く用いられる。順序の強さや性質によって、さまざまな分類が行われる。
5.1 半順序
半順序は、反射性、反対称性、推移性を満たす順序関係である。要素どうしが必ずしも比較可能である必要はない。包含関係や因子関係のように、部分的な順序づけに適している。
5.2 全順序
全順序は、任意の二要素が必ず比較できる順序である。大小関係が一方に定まり、列や系列のような直観に近い。実数の通常の大小関係はその代表例である。
5.3 良順序
良順序は、空でない部分集合が必ず最小要素を持つ順序である。無限の中でも、最初の要素を持つという性質が重要になる。帰納法や順序数の理論と深く関わる。
5.4 順序数
順序数は、良順序の型を表す対象である。単に要素の個数を表す濃度とは異なり、並び方や位置の情報を含む。無限段階の構成や再帰的定義において中心的な役割を果たす。
6 公理的集合論
公理的集合論は、集合を公理に基づいて厳密に扱う立場である。素朴な直観だけでは矛盾が生じうるため、許される集合の形成を制限し、理論の整合性を保つ。現代数学の基礎づけにおいて標準的な形式を与える。
6.1 公理の必要性
集合を無制限に作ると、自己言及的な定義から矛盾が起こりうる。そのため、集合の存在を認める条件を明示し、許容される構成を限定する必要がある。公理はそのための約束事である。
6.2 空集合の公理
空集合の公理は、要素を一つも持たない集合の存在を認める。これは集合論の出発点となる最小の対象であり、多くの構成の土台になる。空であること自体が、厳密な理論では重要な存在条件となる。
6.3 対の公理
対の公理は、二つの対象からなる集合の存在を保証する。これにより、有限集合の構成が進めやすくなる。組を作る操作の最も基本的な形である。
6.4 和集合の公理
和集合の公理は、集合の集まりから要素をまとめた集合の存在を認める。複数の集合を一つに統合する操作を、存在論として支える。演算としての和集合を公理的に保証する役割を持つ。
6.5 べき集合の公理
べき集合の公理は、ある集合のすべての部分集合からなる集合の存在を認める。部分集合全体をひとまとまりに扱えるため、構造の階層化に不可欠である。無限の増大を生む重要な公理でもある。
6.6 無限公理
無限公理は、無限集合の存在を保証する。有限な公理だけでは自然数の全体を直接導けないため、無限を理論の中に明示的に導入する。算術や解析の基盤を支える前提である。
6.7 分出公理
分出公理は、既存の集合から条件を満たす要素だけを取り出して新しい集合を作る。無制限な集合形成を避けつつ、必要な部分集合を確保する仕組みである。限定的な抽出を許すことで整合性を保つ。
6.8 置換公理
置換公理は、集合の各要素を写像で置き換えた像が集合になることを保障する。これにより、再帰的な構成や順序数の扱いが可能になる。無限にわたる定義の展開を支える。
6.9 正則性公理
正則性公理は、集合が自分自身へ無限に入り込むような循環を排除する。これによって、集合の所属関係がよく基礎づけられた形になる。階層的な構成を明確にするための条件である。
7 構成と定義
集合論は、単に対象を並べるだけでなく、既存の集合から新しい集合を段階的に作る理論でもある。ここでは、べき集合や再帰を通じて、複雑な対象を体系的に定義する方法が重要になる。定義の手順が厳密であることが、基礎理論としての強みである。
7.1 べき集合
べき集合は、ある集合のすべての部分集合を集めた集合である。元の集合より大きな階層を作り出し、論理や位相の構成に頻繁に現れる。部分集合の全体を一つの対象にする点が特徴的である。
7.2 冪集合反復
冪集合反復は、べき集合を繰り返し適用して集合の階層を作る方法である。各段階でより大きな構造が得られ、集合宇宙の層を考える手がかりになる。無限段階に及ぶ構成の理解に役立つ。
7.3 再帰的定義
再帰的定義は、対象を自分より前の段階の情報を用いて定める方法である。自然数列や順序数、木構造などの記述に向いている。初期条件と遷移規則を明示することで、曖昧さを避けられる。
7.4 集合族
集合族は、集合を要素とする集まりである。単一の集合だけでは表しにくい系列や分類を扱うのに便利で、位相空間や測度論でも現れる。集合の集合として、より高い階層の構造を提供する。
8 集合論の応用
集合論は抽象理論にとどまらず、数学の多くの領域へ具体的に浸透している。数の構成、空間の定義、関数の取り扱いなど、基本的な枠組みの多くが集合論的に整理される。応用先は広く、共通言語としての役割が際立つ。
8.1 数の構成
自然数、整数、有理数、実数は、集合論的に構成できる。これにより、数の体系を一貫した基礎の上に置ける。各段階の数を集合として定義することで、算術全体の整合性が見通しやすくなる。
8.2 関数と関係の基礎付け
関数や関係は、集合の直積の部分集合として定式化される。これにより、写像や対応の概念が厳密化される。代数、解析、論理の多くの命題が、この基礎づけの上で表現される。
8.3 位相空間論への応用
位相空間論では、集合の上に開集合の族を与えて連続性を定義する。空間そのものを点の集合として扱うため、集合論は不可欠である。連結性、コンパクト性などの性質も、集合的に記述される。
8.4 解析学への応用
解析学では、実数列、関数列、極限、関数空間などが集合論的枠組みで扱われる。測度や収束の議論でも、集合の構造が重要である。厳密な定義によって、微積分の基礎が安定する。
8.5 代数学への応用
代数学では、群、環、体などの代数系を集合と演算の組として考える。生成元や部分構造、準同型などの概念も、集合論的に整理される。抽象的な演算規則を一貫して記述するための土台となる。
9 基礎論との関係
集合論は、数学の基礎がどのように成り立つかを問う基礎論と密接に結びついている。形式体系の性質、証明可能性、独立性の問題は、集合論の内部でも中心的な話題である。理論の限界と可能性を明らかにするために、論理との接点が欠かせない。
9.1 数理論理との接点
集合論は、命題論理や述語論理の形式の上で記述される。量化や論理式を用いて、公理や定理を厳密に表現できる。証明論やモデル理論とも相互に影響し合う。
9.2 公理系の整合性
公理系の整合性は、矛盾を生じないかどうかを問う。集合論では、理論全体が自己矛盾を含まないことが重要視される。整合性の問題は、基礎づけの信頼性に直結する。
9.3 独立性結果
独立性結果とは、ある命題が特定の公理系からは証明も反証もできないことを指す。これは、公理だけではすべての問いが決まらないことを示す。集合論では、補助公理の選択が結論に影響する場合がある。
9.4 選択公理と連続体仮説
選択公理は、無限にわたる選択を可能にする原理であり、多くの数学分野で有用である。連続体仮説は、自然数の濃度と実数の濃度の間に中間の大きさがないかを問う命題である。いずれも集合論の公理的枠組みで重要な位置を占める。