集合論の重要語源事典・追加編（３０語）

集合論の重要語源事典・追加編（３０語）

1. 写像と関係の深化

21. 定義域 (Domain) ラテン語の「dominium（支配権、所有地）」や「dominus（主人）」に由来する。写像 $f:A\to B$ において、変換の出発点となる集合 $A$ のこと。関数が作用する「支配領域」を意味する。かつては独立変数の変域とも呼ばれたが、集合論的には、その写像の規則が適用可能であることが定義されている要素全体の集合を指す。ここから要素を選び出し、対応する値を決定するため、関係性の土台となる部分である。

22. 値域 / 像 (Range / Image) 「Range」は古フランス語の「rang（列、並び）」に由来し、広がりや範囲を意味する。「Image」はラテン語の「imago（似姿、コピー）」に由来。写像によって定義域の要素が移された先の集合（またはその部分集合）を指す。定義域の要素が「実体」だとすれば、それに対応する値域の要素は鏡に映った「像」のようなものである。写像が到達しうる範囲全体を特定するために用いられる。

23. 同値関係 (Equivalence Relation) 「Equivalence」はラテン語の「aequus（等しい）」と「valere（価値がある）」の合成語。「等しい価値がある」という意味。数学における「$=$（イコール）」の概念を一般化したもの。「反射律」「対称律」「推移律」の３つの性質を満たす関係を指す。例えば「同じ色である」や「割った余りが等しい」など、完全に同一でなくとも、ある基準において「同じ」とみなせる要素同士を結びつける概念である。

24. 商集合 (Quotient Set) 「Quotient」はラテン語の「quotiens（何回、幾つ）」に由来し、割り算の「商」を意味する。ある集合を同値関係によってグループ分け（類別）した際、そのグループ（同値類）を一つの要素として見なして集めた新しい集合。「集合を関係で割る」という抽象的な操作を表す。例えば、整数全体を「3で割った余りが等しい」という関係で割ると、$\{0,1,2\}$に対応する3つのグループからなる商集合ができる。

25. 二項関係 (Binary Relation) 「Binary」はラテン語の「binarius（二つの）」に由来する。集合 $A$ と $B$ の直積 $A\times B$ の部分集合として定義される。つまり、二つの要素の間に何らかのつながりがあるかどうかを、ペアの集合として表現したもの。「大小関係」「親子関係」「所属関係」など、あらゆる「関係」を集合論の言葉（ペアの集合）のみで厳密に定義するための極めて汎用的な枠組みである。

26. 逆写像 (Inverse Map) ラテン語の「invertere（逆にする、ひっくり返す）」に由来する。写像 $f$ が全単射であるとき、矢印の向きを逆転させて、行き先から元の要素を一意に戻す写像 $f^{-1}$ のこと。「結果」から「原因」を特定する操作とも言える。単なる逆操作ではなく、厳密には全単射（完全な一対一対応）が存在する場合にのみ定義できるため、構造が保たれていることの証明としても重要である。

27. 合成写像 (Composite Map) ラテン語の「componere（一緒に置く、組み立てる）」に由来する。二つの写像 $f$ と $g$ を繋げて、一つの新しい写像を作る操作。$A$ から $B$ へ、さらに $B$ から $C$ へと要素をリレーさせる。記号では $g\circ f$ と書き、「$f$ の後に $g$ を適用する」ことを表す。複雑な関数や構造も、単純な写像の積み重ね（合成）として分解・理解できることを示す、代数的構造の基礎となる演算である。

28. 添字集合 (Index Set) ラテン語の「index（指し示すもの、人差し指）」に由来する。集合族（集合の集まり）を扱う際、個々の集合を識別するためのラベル（番号や記号）を集めた集合。例えば数列 $a_1,a_2,...$ の場合、自然数全体が添字集合となる。しかし添字は数である必要はなく、無限の集合をラベルとして使うことも可能。これにより、並び順とは無関係に、膨大な数の集合を整理・管理することが可能になる。

29. 特性関数 (Characteristic Function) ギリシャ語の「charakter（刻印、印）」に由来する。ある集合 $A$ の部分集合 $S$ に対して、要素が $S$ に含まれていれば $1$、含まれていなければ $0$ を返す関数。「集合」という静的な対象を、「関数」という動的な対象に翻訳するツール。これにより、集合の演算（共通部分や和集合）を、数値の計算（掛け算や足し算など）として扱えるようになり、解析学や確率論との架け橋となる。

30. 対称差 (Symmetric Difference) 二つの集合 $A$ と $B$ のうち、「片方だけに属する要素」全体を集めた集合。記号は $△$ や $\oplus$ が使われる。名称は、$A$ と $B$ の役割を入れ替えても結果が変わらない（対称である）ことに由来する。論理演算における排他的論理和（XOR）に相当する。和集合から共通部分を取り除いたものとも定義でき、集合同士の「違い」を浮き彫りにする演算である。

2. 順序と構造

31. 半順序 (Partial Order) 要素の間に大小関係や前後関係が定義されているが、比較できないペアがあってもよい順序。「Partial（部分的）」はラテン語の「pars（部分）」に由来。例えば「約数・倍数の関係」では、2と3はどちらも相手の倍数ではないため比較不能である。このように、全ての要素を一列に並べることはできないが、局所的な上下関係が決まっている構造を指し、包含関係など広く見られる構造である。

32. 全順序 (Total Order) 集合内の任意の二つの要素が必ず比較可能（どちらかが大きい、または等しい）である順序。「Total（全体的）」は、すべてのペアに対して関係が定義されていることを意味する。数直線上の実数の大小関係や、辞書式順序などがこれに当たる。全ての要素が一列の線上に並ぶイメージを持てるため「線型順序」とも呼ばれる。半順序の中でも特に整然とした構造を持つ特殊なケースである。

33. 整列集合 (Well-ordered Set) どのような空でない部分集合をとっても、必ずそこに「最小元（一番小さい要素）」が存在するような順序集合。自然数は整列集合だが、整数や実数はそうではない（例えば、負の整数全体には最小元がない）。「Well（良い）」という言葉は、数学的帰納法が使える「良い性質」を持っていることを示唆する。選択公理を仮定すると、あらゆる集合は整列可能である（整列可能定理）ことが知られている。

34. 上限 / 下限 (Supremum / Infimum) ラテン語の「supremus（最高の）」と「infimus（最低の）」に由来。ある部分集合の要素すべて以上である値（上界）の中で、最小のものを上限（Sup）、その逆を下限（Inf）と呼ぶ。「最大値・最小値」と似ているが、その集合自体に要素が含まれていなくても定義できる点が異なる（例：$x<1$ の範囲の上限は $1$ だが、最大値は存在しない）。解析学の厳密性を支える重要な概念。

35. ツォルンの補題 (Zorn’s Lemma) ドイツの数学者マックス・ツォルンに由来。「帰納的順序集合には極大元が存在する」という定理。証明には選択公理が必要であり、実質的に選択公理と同値である。ベクトル空間の基底の存在や、可換環の極大イデアルの存在など、具体的な構成が不可能な無限の対象に対して「存在すること」を保証するための強力な道具として、現代数学の至る所で頻繁に利用される。

36. 鎖 (Chain) 順序集合の中で、どの二つの要素をとっても比較可能な（全順序になっている）部分集合のこと。要素が鎖の輪のように一列に繋がっているイメージから名付けられた。ツォルンの補題などの適用条件を確認する際に重要となる概念。複雑に分岐した半順序構造の中から、一本の「線」として繋がっている部分構造を抽出して議論するために用いられる。

37. 極大元 / 極小元 (Maximal / Minimal Element) 「それ以上大きい（小さい）要素が存在しない」要素のこと。「最大（最小）」との違いは、比較できない他の要素が存在しても構わない点である。例えば、会社の組織図で「社長」が複数人いれば、彼らは全員「極大」だが、唯一のトップではないため「最大」とは言えないかもしれない。順序集合の「端っこ」にある要素を指す概念で、構造の終端を特徴づける。

3. 公理的集合論の深層

38. 外延性公理 (Axiom of Extensionality) 「Extensionality」はラテン語の「extendere（広げる）」に由来し、論理学で概念の適用範囲（外延）を指す。「二つの集合が同じ要素を持っているならば、それらは等しい」という公理。つまり、集合の同一性は、中身（要素）によってのみ決まり、名前や定義のされ方、要素の並び順や重複には依存しないことを宣言している。集合論における「等号（＝）」の意味を定める最も基本的なルールである。

39. 分出公理 (Axiom of Specification / Separation) 「Specification」は特定すること、「Separation」は分けることを意味する。ある集合と条件が与えられたとき、その条件を満たす要素だけを「選り分けて」新しい集合を作ることを認める公理。かつてラッセルのパラドックスを生んだ「どんな条件でも集合を作れる」という素朴な考えを制限し、「既にある集合の中から」条件に合うものを切り出すことだけを許可することで矛盾を回避した。

40. 対の公理 (Axiom of Pairing) 「Pair」はラテン語の「par（等しい、一対）」に由来。任意の二つの要素 $x,y$ に対し、それらのみを要素とする集合 $\{x,y\}$ が存在することを保証する公理。非常に単純に見えるが、これがないと、要素を一つしか持たない集合から、複数の要素を持つ集合を新しく構成することができない。個々の対象を結合して「集合」というパッケージにするための基本的な操作である。

41. 和集合の公理 (Axiom of Union) 任意の集合族（集合の集合）に対して、その要素である集合たちの要素をすべて集めた新しい集合（和集合）が存在することを保証する公理。これにより、有限個の集合だけでなく、無限個の集合を統合した巨大な集合を作ることが正当化される。要素をバラバラにして一つの平らな集合にならす操作とも言え、集合の階層を操作するために不可欠な公理である。

42. 無限公理 (Axiom of Infinity) 無限集合の存在を要請する公理。具体的には、空集合を含み、ある要素 $x$ があれば $x\cup \{x\}$ も含むような集合の存在を保証する。これにより、自然数全体の集合に相当する無限の要素を持つ集合（帰納的集合）が構成可能になる。有限の世界から脱出し、無限の数学を展開するための「ジャンプ台」となる公理であり、これなしでは現代数学の大部分は成立しない。

43. 置換公理 (Axiom of Replacement) フレンケルらが導入。「ある集合の要素それぞれに、何らかの関数的対応で定まる対象があるなら、それらを集めたものもまた集合になる」という公理。分出公理よりも強力で、集合のサイズが大きく変わるような変換（例えば順序数をより大きな順序数へ写すなど）を扱えるようにする。超限帰納法を正当化し、カントールの楽園（巨大な無限の世界）を十分に広く確保するために必要となる。

44. 正則性公理 (Axiom of Regularity / Foundation) 「Foundation（基礎）」の名の通り、集合論の土台を安定させる公理。「全ての空でない集合は、自分自身と共通部分を持たない要素を含む」という内容だが、実質的な意味は「要素の無限降下（$A\ni B\ni C\dots$ と無限に遡ること）を禁止する」ことである。これにより「自分自身を含む集合 ($x\in x$)」のような病的な存在が排除され、全ての集合が階層的な構造を持つことが保証される。

45. 連続体仮説 (Continuum Hypothesis) カントールが提唱した「自然数の濃度（可算無限）と実数の濃度（連続体）の間には、中間の濃度が存在しない」という仮説。ヒルベルトの23の問題の第1番に挙げられた。後にゲーデルとコーエンにより、現在の標準的な集合論の公理系（ZFC）からは「証明も反証もできない（独立である）」ことが証明された。数学的真理が決して一つではないことを示した、現代数学史上の記念碑的な未解決問題（解決済みとも言える）。

4. 高度な概念と論理

46. クラス (Class) ラテン語の「classis（艦隊、市民の階級）」に由来。集合論のパラドックスを避けるために導入された、「集合」よりも広い概念。「集まり」一般を指すが、すべてのクラスが集合として扱えるわけではない。要素になれるクラスを「集合」と呼び、大きすぎて集合として扱うと矛盾が生じるような集まり（例：全ての集合の集まり）を区別して扱うための用語である。

47. 真のクラス (Proper Class) 「Proper」はラテン語の「proprius（自身の、固有の）」に由来し、ここでは「真に、純粋に」といった意味。集合にはなれない（大きすぎる）クラスのこと。「全ての集合の集合」や「全ての順序数の集まり」などがこれに当たる。これらは他の集合の要素になることはできない。パラドックスの原因となる危険な巨大な集まりを、安全な数学的対象（集合）と区別して隔離するための概念。

48. 超限帰納法 (Transfinite Induction) 「Transfinite（有限を超えた）」帰納法。自然数に対する数学的帰納法を、順序数全体（無限の彼方）まで拡張したもの。通常のドミノ倒しが無限に続く列に対しても行えるようにした論法。「ゼロ」「後続数（次の数）」「極限数（ジャンプした先の数）」の3ステップで証明を行う。整列集合の性質を利用し、可算無限を超えた巨大な構造に対して数学的な証明を行うための強力な手法。

49. ベート数 (Beth Number) ヘブライ語アルファベットの２番目の文字「ℶ（ベート）」。アレフ数が整列構造（順序）に基づく大きさの階層であるのに対し、ベート数は冪集合演算（部分集合全体をとる操作）の繰り返しによって作られる大きさの階層を表す。連続体仮説が正しければアレフ数とベート数は一致するが、一般には区別される。無限の大きさを測るもう一つの重要な「ものさし」である。

50. フィルター (Filter) ラテン語の「filtrum（フェルト、漉し器）」に由来。ある集合の部分集合族のうち、「大きい」「重要である」とみなされる集合の集まりを抽象化した概念。「全体集合を含む」「共通部分をとっても閉じている」「より大きい集合は含む」などの性質を持つ。極限の概念を一般化したり、超準解析において「ほとんど至る所」という概念を定義したりする際に使われる、現代的な道具である。