第7章：集合論における包含関係と「if」

――真理を包み込む「器」の幾何学と論理的構造

7.1 数学の「OS」としての集合論：抽象化の極致

19世紀末、ゲオルグ・カントールによって産声を上げた集合論は、それまでの数学が扱っていた「数」や「図形」という具体的な対象の背後に潜む、より根源的な「集まり（Set）」という概念を白日の下にさらけ出した。今日、集合論は単なる数学の一分野ではない。それは代数学、解析学、幾何学、そして確率論に至るまで、あらゆる数学的言明を記述するための「オペレーティング・システム（OS）」である。

なぜ集合論がこれほどまでに強力な基盤となり得たのか。その理由は、数学的な「性質」や「条件」という目に見えない抽象的な概念を、集合という「視覚的な器」の中の「要素」として整理することを可能にしたからである。そして、この整理のプロセスの中心に位置するのが、他ならぬ「if（ならば）」の論理である。

本章では、集合論における最も基本的な関係である「包含関係（$\subseteq$）」が、いかにして論理学の「含意（$⟹$）」そのものを具現化したものであるのか、そしてその一致が現代数学にいかなる厳密性をもたらしたのかを解剖していく。これは、記号の森を抜け、真理が「包み込まれる」という幾何学的な直感と論理的な必然性が融合する場所への旅である。

7.2 部分集合の定義：論理の「含意」の空間的翻訳

集合論において、ある集合 $A$ が集合 $B$ の部分集合である（$A\subseteq B$）という言明は、数学の初学者が最初に出会う、最も美しい「翻訳」の例である。この包含関係の定義を改めて、一文字ずつ噛みしめるように見てみよう。

定義： $A\subseteq B⟺\forall x(x\in A⟹x\in B)$ （集合 $A$ が $B$ の部分集合であるとは、宇宙のあらゆる $x$ について、もし $x$ が $A$ の要素であるならば、$x$ は $B$ の要素でもあることを指す）

この定義こそが、本稿がこれまでの章で積み上げてきた論理の結実である。ここでは、記号 $\subseteq$（包含）の中身が、記号 $⟹$（ならば）によって完璧に記述されている。

7.2.1 包含関係と必要十分条件の再会

第2章で学んだ「必要条件」と「十分条件」を、この集合の定義に重ねてみよう。

• 「$x\in A$ であること」は、「$x\in B$ であること」の十分条件である。
• 「$x\in B$ であること」は、「$x\in A$ であること」の必要条件である。

この翻訳により、私たちは「$P⟹Q$」という抽象的な論理の強弱を、ベン図における「円の大きさ」や「包含の向き」として直感的に理解できるようになった。十分条件（$A$）は内側の小さな円であり、必要条件（$B$）はそれを包み込む大きな円である。数学における「if」は、集合論という器を得ることで、目に見えない思考の向きを、空間的な広がりへと置換することに成功したのである。

7.3 空集合 $\varnothing$ という論理的特異点：なぜ「無」がすべてを包むのか

集合論を学び始めた者が最初に直面する、ある種の中毒性を持ったパラドックスが、「空集合はあらゆる集合の部分集合である（$\varnothing \subseteq A$）」という定理である。

一見すると、これは単なる数学者の勝手な「約束事」のように思えるかもしれない。しかし、これまでの章で「空虚な真（Vacuous Truth）」を学んできた読者なら、これが約束事などではなく、論理的な必然であることを理解できるはずだ。

7.3.1 「反例」の不在が真理を作る

定義に立ち返ってみよう。$\varnothing \subseteq A$ が正しいと言えるためには、次の「if」が真でなければならない。 $\forall x(x\in \varnothing ⟹x\in A)$

この「if」の前提（前件）は「$x\in \varnothing$」である。しかし、空集合には定義により要素が一つも含まれていないため、この前提はあらゆる $x$ に対して常に偽となる。第1章および第4章で学んだ通り、前件が偽であるとき、命題全体は「真」となる。

この論理は極めて堅牢である。もし $\varnothing \subseteq A$ が間違いであると主張したいのなら、あなたは「空集合の要素でありながら、集合 $A$ には属していない具体的な $x$」を、反例として提示しなければならない。しかし、空集合には要素が一人もいないため、そのような反例を連れてくることは不可能である。反例を提示できない以上、この「if」の鎖は決して断ち切られることがなく、空集合は数学のあらゆる場所に、その姿を見せずに潜り込む権利を得るのである。

7.3.2 体系の美しさを守るための「if」

もし空集合が部分集合ではないと定義してしまったら、集合論というOSは「バグ」だらけのものになってしまうだろう。例えば、共通部分（$A\cap B$）が空になるケースや、べき集合の計算において、常に「空集合の場合」という例外処理を記述しなければならなくなる。数学における「if」の冷徹な定義は、この「無（空集合）」を体系の中に美しく収容するための、最も洗練された装置だったのである。

7.4 集合演算と論理演算：パラレルワールドの同期

集合論の世界と命題論理の世界は、鏡合わせのように完璧に対応している。私たちが集合に対して行う操作は、その裏側で、常に「if」を中心とした論理演算と同期しているのである。

1. 積集合（$\cap$）と論理積（$\wedge$）： $x\in A\cap B⟺(x\in A\text{ かつ }x\in B)$
2. 和集合（$\cup$）と論理和（$\vee$）： $x\in A\cup B⟺(x\in A\text{ または }x\in B)$
3. 補集合（$A^c$）と否定（$\neg$）： $x\in A^c⟺\neg (x\in A)$

そして、これらすべての演算を統合し、二つの集合の間の「階層構造」を決定するのが、本章の主題である包含関係（$\subseteq$）と含意（$⟹$）である。

この対応関係を究極まで突き詰めると、数学の証明とは、「集合の包含関係を操作すること」と「if の鎖を繋ぐこと」が全く同じ作業であることを教えてくれる。ある性質を持つものの集合（$A$）を調べることが、そのままその性質がもたらす帰結（$B$）を証明することになる。集合論における「if」は、抽象的な概念を「要素」という具体的な粒に変換し、それを「器」で包むことで、私たちの理性が真理を「掴む」ためのインターフェースを提供しているのである。

---

7.5 ラッセルの逆説：自由すぎた「if」が招いた論理の崩壊

19世紀末、数学者たちは「性質 $P$ を満たすものすべての集まり」を無条件に集合として認めるという、極めて自由で直感的な立場をとっていた。これは論理学的に言えば、「もし性質 $P(x)$ が真であるならば、要素 $x$ は集合 $S$ に属する（$P(x)⟹x\in S$）」という「if」の使い方に、一切の制限を設けないことを意味していた。ゴットロープ・フレーゲはこの素朴な前提の上に巨大な論理学の体系を築き上げようとしたが、その出版直前、イギリスの若き哲学者ベルトラン・ラッセルから届いた一通の手紙が、数学の土台を根底から揺るがした。

7.5.1 悪魔の「if」：自分自身を含まない集合

ラッセルが提示したのは、次のような定義によって作られる集合 $R$ であった。 「もし、ある集合 $x$ が自分自身を要素として含まない（$x\notin x$）ならば、$x$ を集合 $R$ の要素とする。」 論理式で書けば、$R=\{x\mid x\notin x\}$ である。

一見すると、これは単なる奇妙な言葉遊びに見える。しかし、この $R$ 自身が $R$ に属するかどうかを問うた瞬間、論理は制御不能な「無限ループ」に陥る。

1. もし $R\in R$ ならば、定義により $R$ は自分自身を含んではならないはずなので、$R\notin R$ となる。
2. もし $R\notin R$ ならば、定義により $R$ は自分自身を含むべきなので、$R\in R$ となる。

この「もし～ならば」の連鎖は、真から偽へ、偽から真へと高速で明滅を繰り返す論理的なショート（短絡）を引き起こす。数学における「if」が、いかなる制約もなく自分自身を指し示したとき、それは真理を語るための道具から、体系すべてを焼き尽くす「毒」へと変貌したのである。

7.5.2 公理的集合論への避難：制限された「if」

フレーゲはこの逆説に直面し、「数学の基礎が崩壊した」と絶望した。この危機を回避するために誕生したのが、ZFC（ツェルメロ・フレンケル・選択公理）と呼ばれる現代の公理的集合論である。 ZFCは、無条件に「もし～ならば」を使って集合を作ることを禁じた。代わりに、「あらかじめ存在が保証されている大きな集合の中から、性質 $P$ を満たすものだけを切り出す」という制限（分担公理）を設けたのである。 数学における「if」は、この歴史的な挫折を経て、自由奔放な若さから、自らの限界をわきまえた「大人の論理」へと進化した。私たちは今、この制限された「if」という安全な檻の中で、数学という精密な遊戯を続けているのである。

7.6 外延性の公理：同一性を決める「双方向の if」

数学において「二つの対象が同じである」とはどういうことか。この究極の問いに対する集合論の回答が、「外延性の公理（Axiom of Extensionality）」である。ここでも「if」は、同一性という目に見えない概念を定義するための、唯一の物差しとして機能する。

7.6.1 $A=B$ を定義する「iff」

二つの集合 $A$ と $B$ が等しい（$A=B$）とは、次のように定義される。

定義： $A=B⟺\forall x(x\in A⟺x\in B)$ （$A$ と $B$ が等しいとは、任意の $x$ について、「もし $x\in A$ ならば $x\in B$」であり、かつ「もし $x\in B$ ならば $x\in A$」であることを指す）

この定義の美しさは、対象の「名前」や「並び順」や「作り方」を一切無視し、ただ「何を含んでいるか（外延）」という事実のみを、双方向の「if（iff）」によって縛り上げた点にある。

7.6.2 証明の王道：二重の包含関係

数学の証明において、二つの集合が同じであることを示す際、私たちは必ず「二重の包含関係」を示す。

1. $A\subseteq B$（もし $x\in A$ ならば $x\in B$）
2. $B\subseteq A$（もし $x\in B$ ならば $x\in A$） この二つの「if」の矢印が結ばれたとき、二つの集合は論理的な均衡に達し、同一のものとして認められる。第3章で学んだ「同値」の概念が、集合論においては「実体の同一性」を保証するための具体的な手続となっているのである。数学における「if」は、バラバラの対象を一つに統合し、同一性という秩序を与える「知の接着剤」としての役割を担っている。

7.7 べき集合と対角線論法：「もし全単射があるならば」という絶唱

集合論の生みの親カントールは、「無限」にも大きさの段階があるという、当時の常識を覆す衝撃的な事実を証明した。その証明の核となったのもまた、「if」を用いた背理法、すなわち「対角線論法」であった。

7.7.1 べき集合 $\mathcal{P}(A)$ の宇宙

集合 $A$ のすべての部分集合を集めたものを、べき集合 $\mathcal{P}(A)$ と呼ぶ。有限集合であれば、要素数 $n$ に対してべき集合の大きさは $2^n$ となり、常に元より大きくなる。カントールはこの関係が、無限集合においても成立すること、すなわち「無限の先にはさらなる巨大な無限がある」ことを示した。

7.7.2 絶望の「if」：一対一対応の不在

カントールの証明は、次のような「if」から始まる。 「もし、ある集合 $A$ とそのべき集合 $\mathcal{P}(A)$ の間に、漏れも重複もない一対一の対応（全単射 $f$）が存在するならば……」

カントールはこの「if」の世界で、巧妙な「対角線集合 $D$」を構築する。 「$D=\{a\in A\mid a\notin f(a)\}$」 （自分自身の行き先の集合に含まれないような要素の集まり）

この $D$ 自体も $\mathcal{P}(A)$ の要素である以上、もし全単射 $f$ があるなら、$D=f(d)$ となるような要素 $d\in A$ が存在しなければならない。しかし、ここでラッセルの逆説と同様の矛盾が起きる。 「もし $d\in D$ ならば、$D$ の定義により $d\notin f(d)=D$ となり矛盾する。」 「もし $d\notin D$ ならば、$D$ の定義により $d\in f(d)=D$ となり矛盾する。」

この「if」の果てに現れた矛盾は、出発点の仮定、すなわち「全単射が存在する」という可能性を永遠に否定する。数学における「if」は、この証明を通じて、人類を「無限」という一様な闇から救い出し、無限の背後に広がる目も眩むような階層構造（濃度）へと連れ出したのである。

7.8 第7章の結語：集合という器の中で鼓動する「if」

本章では、現代数学の基盤である集合論と、その中核に流れる「if」の関係を詳述した。

集合論における「if」は、

• 包含関係（$\subseteq$）において、論理的な含意（$⟹$）を空間的な広がりに翻訳し、
• 空集合（$\varnothing$）において、何もない場所での真理を保証し、
• ラッセルの逆説において、無秩序な論理使用に対する「限界」を教え、
• 外延性の公理において、双方向の矢印によって「同一性」を定義し、
• 対角線論法において、不可能性の証明を通じて「無限の深淵」を照らし出した。

集合論を学ぶということは、単に「集まり」を扱うことではない。それは、あらゆる数学的な概念を「器（集合）」として捉え、その器の間に「if」という糸を渡していくことで、真理の地図を描き出す作業である。集合論という OS 上で動くプログラムこそが、数学の諸分野における定理たちなのだ。

さて、集合論によって数学の「静的な構造」を記述する準備を整えた私たちは、次章において、いよいよ「動的な変化」と「無限の接近」を扱う世界へと進む。そこは、19世紀の数学者たちが「if」という論理のメスを極限まで研ぎ澄ませて構築した、解析学の至宝「$ϵ-\delta$ 論法」の世界である。集合という器の中に、極限という激しい息吹を吹き込むのは、やはり「if」の力なのである。

---