第1章：集合論の記号 —— 物の集まりを定義する（完全版）

📚 前提となる関連章

この章は「記号の森」全体の基礎となる章です。集合論は現代数学の土台であり、前提となる知識は必要ありません。序章で数学記号の歴史と役割を理解したうえで、この章から始めることをお勧めします。

目次

1. 【導入】 現代数学の「容器」としての集合
2. 【定義】 中括弧 $\{\}$ の魔法と「順序の喪失」
3. 【所属】 エレメント $\in$ の系譜と $\epsilon$ の記憶
4. 【包含】 サブセット $\subset$ の迷宮と「流儀」の対立
5. 【演算】 キャップ $\cap$ とカップ $\cup$ の視覚的直観
6. 【無】 空集合 $\varnothing$ はファイ $\varphi$ にあらず
7. 【実践】 記号を使いこなすためのTeXコマンド

---

1. 【導入】 現代数学の「容器」としての集合

数学とは、突き詰めれば「定義された対象」を扱う学問です。しかし、19世紀末まで、数学者たちは「数の集まり」や「図形の集まり」を、日常言語に近い直感的な言葉で扱っていました。そこに厳密な「容器」を用意したのが、ゲオルク・カントールに始まる集合論です。

集合（Set）とは、範囲が明確な「ものの集まり」のことです。 この「範囲が明確」というのが重要です。「背の高い人の集まり」は集合になり得ません（どこからが背が高いか曖昧だからです）。しかし、「身長180cm以上の人の集まり」は集合になります。

現代数学において、すべての数学的対象——数、関数、図形、確率——は、この「集合」という言葉を使って記述されます。いわば集合論は、数学という巨大な建築物の基礎（土台）であり、そこで使われる記号は、建築作業員が共通して使う「標準工具」なのです。

本章では、その工具箱の中身を一つひとつ取り出し、その形、意味、そして歴史的な背景を解剖していきます。

---

2. 【定義】 中括弧 $\{\}$ の魔法と「順序の喪失」

集合を表す際、最も基本的な記号が中括弧（Braces / Curly brackets）です。数式の中で丸括弧 $(\dots )$ や角括弧 $[\dots ]$ は計算の順序や区間を表すために使われますが、集合を表すときは頑なに $\{\dots \}$ が使われます。

なぜ中括弧なのか

この記号には、「中身をひとまとめにする」という機能に加えて、**「中身の順序を無視する」**という強力なメッセージが込められています。 例えば、以下の2つの集合は数学的に「完全に同じ（等しい）」とみなされます。

$\{1,2,3\}=\{3,1,2\}$

列挙する順番に意味はありません。袋の中にビー玉が入っている状態を想像してください。袋の中でビー玉がどう転がっていようと、中身が変わらなければ「同じ袋」です。これが、順序を持つ「列（Sequence）」——例えば $(1,2,3)$ ——との決定的な違いです。

外延的記法と内包的記法

集合を定義する記法には、大きく分けて二つの派閥があります。

1. 外延的記法 (Roster notation): 中身をすべて書き並べる方法です。 $A=\{1,3,5,7,9\}$ これは直感的ですが、要素が無限にある場合や多すぎる場合には不向きです。「$\dots$」を使って省略することもありますが、規則性が曖昧になるリスクがあります。

2. 内包的記法 (Set-builder notation): 要素が満たすべき「条件」を書く方法です。現代数学ではこちらが主役です。 $B=\{x\in \mathbb{Z}\mid x>0\}$ ここに現れる縦棒 $\mid$ （またはコロン $:$ ）は、非常に重要な区切り文字です。これを自然言語に翻訳すると、以下のようになります。

   「集合 $B$ は、$x$ の集まりである（$\{x\dots \}$）。 ただし（$\mid$）、 $x$ は整数であり（$\in \mathbb{Z}$）、かつ $0$ より大きい（$x>0$）。」

   この縦棒一本が、英語の関係代名詞や “such that” の役割を果たしています。初学者はこの縦棒の前後の関係を見落としがちですが、「左側が代表選手（形）」、「右側が参加資格（条件）」を表していると読むのがコツです。

---

3. 【所属】 エレメント $\in$ の系譜と $\epsilon$ の記憶

ある「もの」が、ある「集合」の中に入っていること。これを表すのが記号 $\in$ です。

$a\in A$

これは「$a$ は集合 $A$ の要素（Element / Member）である」、「$a$ は $A$ に属する」と読みます。

記号の由来

この記号は、イタリアの数学者ジュゼッペ・ペアノが1889年に著書『算術の諸原理』で導入しました。由来はギリシャ語で「〜である」を意味する $ϵ\sigma \tau \iota$ (esti) の頭文字、エプシロン（$\epsilon$）です。 当初は単なるギリシャ文字の $\epsilon$ が使われていましたが、バートランド・ラッセルやホワイトヘッドらによって様式化され、現在の丸みを帯びた $\in$ という独立した記号になりました。

よくある誤解：要素と部分集合の混同

$\in$ の使い方は単純に見えますが、集合の中にさらに集合が入っている場合（集合族）、混乱が生じます。

• $a\in A$ ：正しい。$a$ というボールが $A$ という箱に入っている。
• $\{a\}\in A$ ：通常は間違い。これは「$a$ というボールが入った小袋」が、そのまま $A$ という箱に入っているか？という意味になる。

例えば、$A=\{1,2,3\}$ とします。

• $1\in A$ は真です。
• $\{1\}\in A$ は偽です（$A$ の中に $\{1\}$ という袋は入っていません。入っているのは裸の $1$ です）。
• $\{1\}\subset A$ は真です（後述する部分集合の関係）。

この「要素として属する（$\in$）」と「部分として含まれる（$\subset$）」の違いを峻別することが、集合論の第一歩です。

逆向きの $\ni$ について

日本の教科書では時折「$A\ni a$」という書き方が登場します。「$A$ は $a$ を要素として持つ」と読みます。 しかし、現代の国際的な論文ではこの記法はほとんど使われません。英語の “Element” という言葉の語順（$a$ is an element of $A$）とも逆行するからです。基本的に、不等号と同様「小さいもの（要素）を左、大きいもの（集合）を右」に書くのが標準的なマナーとされています。

---

4. 【包含】 サブセット $\subset$ の迷宮と「流儀」の対立

ここが、本章で最も注意を要するセクションです。記号 $\subset$ の意味は、あなたが読んでいる本が「高校数学」か「大学数学」か、あるいは「いつの時代の本か」によって定義が異なるのです。

基本的な意味

記号 $\subset$ は Subset（部分集合）を表します。Cのような形は、包含（Contain）の頭文字とも、不等号 $<$ の曲線を丸めたものとも解釈されます。 $A\subset B$ これは、「集合 $A$ のすべての要素が、集合 $B$ の中にもある」状態を指します。 直感的には、マトリョーシカ人形のように、$B$ という大きな人形の中に $A$ という小さな人形がすっぽり収まっている状態です。

大論争：$\subset$ か $\subseteq$ か

ここで、「$A$ と $B$ が中身まで完全にピッタリ同じ場合（$A=B$）」を、この記号で認めるかどうかが問題になります。

1. 日本の高校数学・古い流儀

• $\subset$ ：部分集合を表す。$A=B$ の場合も含む。
• この流儀では、$\subset$ は不等号の $\leqq$ に相当する意味で使われます。「$A$ は $B$ 以下である（等しいかもしれない）」というニュアンスです。

2. 現代の専門数学・国際標準（ISO規格など）

• $\subseteq$ ：部分集合を表す。下の二重線は等号（$=$）の名残であり、「等しい可能性」を明示しています。
• $\subset$ ：**真部分集合（Proper subset）**を表すことが多い。つまり、「$A$ は $B$ に含まれるが、決してイコールではない（$A$ の方が確実に小さい）」という意味です。不等号の $<$ に相当します。
• $⊊$ ：真部分集合を誤解なく表すための、最も厳密で安全な記号です。

読者へのアドバイス

もしあなたが数学書を読むとき、その本の「序文」や「記号一覧」を必ず確認してください。著者が $\subset$ を「イコールを含む」意味で使っているか、「含まない」意味で使っているかが宣言されているはずです。 自分で論文やレポートを書く場合は、誤解を避けるために $\subseteq$（包含） と $⊊$（真部分集合） を使うのが、現代的なマナー（ベストプラクティス）と言えます。

---

5. 【演算】 キャップ $\cap$ とカップ $\cup$ の視覚的直観

2つの集合から新しい集合を作る「集合演算」の記号です。これらは論理学の記号と対になっており、形と意味の対応が見事です。

共通部分：キャップ $\cap$ (Intersection)

$A\cap B=\{x\mid x\in A\text{ かつ }x\in B\}$

• 形と読み方: 帽子（Cap）のような形をしているため、「キャップ」と読みます。正式名称はインターセクション。
• 意味: 論理演算の「AND（かつ）」に対応します。
• 視覚的イメージ: お椀を伏せた形です。 伏せたお椀に水をかけても、水は表面を滑り落ちてしまいます。つまり、**「範囲が削ぎ落とされて、狭くなる」**イメージを持ってください。あるいは、「共通部分」という厳しい条件（フィルター）を通すことで、残るものが少なくなる様子を表しています。

和集合：カップ $\cup$ (Union)

$A\cup B=\{x\mid x\in A\text{ または }x\in B\}$

• 形と読み方: コップ（Cup）のような形をしているため、「カップ」と読みます。正式名称はユニオン。
• 意味: 論理演算の「OR（または）」に対応します。
• 視覚的イメージ: コップのように上を向いています。 ここには水がたっぷりと溜まります。つまり、両方の集合の要素を**「すべて受け入れる広い心」**を表しています。どんな要素もこぼさず拾い上げる、包容力のある記号です。

よくある誤解：「または」の意味

数学における「または（OR）」は、日常会話の「または」とは異なります。 日常で「コーヒーまたは紅茶はいかがですか」と言われたら、どちらか一方を選ぶ（排他的論理和）のが普通です。両方頼むと変な顔をされます。 しかし、数学の $A\cup B$ における「または」は、「両方」を含みます。コーヒーも紅茶も両方頼んで良いのが、数学のカップ $\cup$ なのです。 もし「どちらか一方だけ」と言いたい場合は、「対称差（Symmetric difference）」という別の概念（記号では $△$ や $\oplus$）を使います。

ド・モルガンの法則：記号の反転

$\cap$ と $\cup$ は、補集合（否定）を通してお互いに入れ替わる関係にあります。

$(A\cup B{)}^c=A^c\cap B^c$

「『AまたはB』ではない」ということは、「Aでもない、かつ、Bでもない」ということです。 この法則を視覚的に覚えるには、記号の形に注目します。 「否定（${}^c$）というハンマーで叩くと、カップ（$\cup$）はひっくり返ってキャップ（$\cap$）になり、キャップはひっくり返ってカップになる」。 このイメージを持つと、複雑な集合演算も直感的に操作できるようになります。

---

6. 【無】 空集合 $\varnothing$ はファイ $\varphi$ にあらず

要素を一つも持たない集合を「空集合（Empty set）」と呼びます。 $A=\{x\in \mathbb{R}\mid x^2=-1\}$ 実数の範囲で2乗してマイナスになる数は存在しません。よってこの集合 $A$ の中身は空っぽです。これを $A=\varnothing$ と書きます。

記号の正体

多くの人がこの記号をギリシャ文字の「ファイ（$\varphi ,\Phi$）」だと思っていますが、それは間違いです。 この記号を導入したのは、20世紀の数学者集団ブルバキのメンバーであったアンドレ・ヴェイユです。彼はノルウェー語やデンマーク語のアルファベット「Ø（ラテン文字のオーにスラッシュを引いたもの）」からこの記号を採用しました。

手書きする際や、フォントを選ぶ際は以下の点に注意してください。

• $\varphi$ (Phi): 縦棒が丸を突き抜けていることが多い（または一筆書きの丸まった形）。
• $\varnothing$ (Empty set): 斜線が丸の中に収まっているか、あるいは突き抜けていても「斜め」である。数字の0に斜線を引いた形に近い。

これは些細な違いに見えますが、数学では $\varphi$ を関数や角度の記号として多用するため、明確に区別する必要があります。「空集合はファイではない」——これは数学リテラシーの一つです。

空集合はすべての集合の部分集合である

奇妙に聞こえるかもしれませんが、空集合はあらゆる集合の部分集合とみなされます。 $\varnothing \subset A$ これは「空集合のすべての要素は $A$ に属する」という命題が、論理学的に「真」となるためです（空集合には要素がないため、反例を示すことができず、結果として真となる。「空虚な真」と呼ばれます）。 「無」はすべての「有」の中に、静かに遍在しているのです。

---

7. 【実践】 記号を使いこなすためのTeXコマンド

最後に、これらの記号をPC上で美しく出力するための「呪文」、すなわちLaTeX（ラテック/ラテフ）コマンドを紹介します。Wordの数式エディタでも、バックスラッシュ \ から始まるこれらのコマンドを入力することで、素早く記号に変換できます。

記号	コマンド	意味	覚え方
$\{\}$	\{ \}	集合の括弧	エスケープが必要
$\in$	\in	属する	In
$\notin$	\notin	属さない	Not In
$\subset$	\subset	部分集合	Subset
$\subseteq$	\subseteq	部分集合（等号付）	Subset Equal
$⊊$	\subsetneq	真部分集合	Subset Not Equal
$\cap$	\cap	共通部分	Cap (帽子)
$\cup$	\cup	和集合	Cup (コップ)
$\varnothing$	\emptyset	空集合	Empty set
$\varnothing$	\varnothing	空集合（別形）	綺麗な丸形。おすすめ
$\setminus$	\setminus	差集合	Set minus

終わりに

集合論の記号は、単なる省略記号ではありません。 「中身を問わずひとまとめにする $\{\}$」「厳密な包含関係 $\subseteq$」「反転する $\cup$ と $\cap$」。これらの記号の形そのものが、論理的な構造を視覚化しています。この章で紹介した記号の「形」と「意味」のつながりを理解すれば、次章以降で登場するさらに抽象的な概念も、恐れることなく読み解くことができるでしょう。

（第1章 了）

---

🔗 関連・発展章

この章で学んだ記号の応用や発展については、以下の章で詳しく解説されています：

• 第2章：集合演算（$\cap ,\cup$）と論理演算（$\wedge ,\vee$）の同型性により、論理的思考がより深く理解できます
• 第5章：代数的構造（群、環、体）は、集合 $S$ 上の演算として定義されます。集合論の基礎があれば、その高度な応用が理解できます
• 第7章：包含関係 $\subseteq$ は、集合論の最も基本的な関係記号です。この関係がどのように抽象化されるかを学べます