集合論 入門
The Language of Mathematics
入門（高校〜大学1年レベル）
この章について
入門では、「集合」という概念を数学の基本言語として理解する。集合は単なる「ものの集まり」ではなく、数学的対象を統一的に記述する道具である。集合の演算、写像、関係を通じて、数学を語る準備を整えることが目標である。
前提知識
- 高校数学の基礎
- 論理的な文章を読む力
- 具体例から一般化する姿勢
目次
1. 集合とは何か
素朴集合論の出発点。
- 集合の直感的定義
- 元と帰属関係 $\in$
- 集合の記法（外延・内包）
2. 部分集合と等しさ
集合の比較。
- 部分集合 $\subseteq$
- 集合の等しさ
- 空集合 $\emptyset$
3. 集合の演算
新しい集合を作る。
- 和集合 $A \cup B$
- 共通部分 $A \cap B$
- 差集合と補集合
4. 写像（関数）
集合間の対応。
- 写像の定義
- 定義域・値域・終域
- 全射・単射・全単射
5. 写像の合成と逆写像
写像の操作。
- 合成写像 $g \circ f$
- 逆写像の存在条件
- 恒等写像
6. 関係
元の間の関わり。
- 二項関係
- 同値関係
- 商集合
関連用語（用語集）
ベン図
集合演算の視覚化と包除原理。
ド・モルガンの法則
補集合で和と共通が入れ替わる双対関係。
べき集合
集合の部分集合全体。有限集合では $2^n$ 個で、一般にはカントールの定理へつながる。
対称差
一方だけに属する要素と XOR との対応。
同値関係
反射・対称・推移と商集合。
次のステップ
入門編で集合の基礎を学んだら、初級編 第1章に進んで、冪集合と直積から始め、濃度の理論、可算集合と非可算集合、対角線論法などを学ぼう。
主要な概念
集合の直感的な捉え方
素朴集合論では、集合を「いくつかの対象をひとまとめにしたもの」と直感的に捉える。集合 $A$ の元 $x$ について、$x \in A$ と書く。ただし、任意の性質を満たす対象を無制限に集めて集合を作れるわけではない。
写像の定義
集合 $A$ から集合 $B$ への写像 $f: A \to B$ とは、$A$ の各元 $a$ に対して $B$ の元 $f(a)$ をただ一つ対応させるものである。
同値関係の定義
集合 $A$ 上の関係 $\sim$ が同値関係であるとは、以下を満たすこと： (1) 反射律：$a \sim a$、 (2) 対称律：$a \sim b \Rightarrow b \sim a$、 (3) 推移律：$a \sim b, b \sim c \Rightarrow a \sim c$。
全単射と濃度
二つの集合 $A$, $B$ の間に全単射が存在するとき、$A$ と $B$ は同じ濃度を持つという。これは「同じ大きさ」の厳密な定義である。
素朴集合論のパラドックス
Russell のパラドックス
「自分自身を元として含まない集合すべての集合」が存在すると仮定すると矛盾が生じる。$R = \{x : x \notin x\}$ として、$R \in R$ かどうかを問うと破綻する。
公理的集合論への動機
パラドックスを避けるため、「どのような集合が存在するか」を公理で制限する必要がある。これが ZFC 公理系への道である。
このレベルで理解できること
数学的記述の基礎
「$\forall x \in A$」「$\exists y \in B$」などの記法を正確に読み書きできるようになる。
関数の厳密な理解
高校で習った「関数」を写像として再定義。定義域・値域の重要性を理解。
同値類の考え方
「同じとみなす」関係から新しい数学的対象を作る。整数、有理数の構成への準備。
無限の入口
自然数全体は無限集合。有限集合との本質的な違いを直感的に理解。
学習のポイント
- 記号に慣れる：$\in$, $\subseteq$, $\cup$, $\cap$ などを自然に使えるように
- 具体例を作る：抽象的な定義を具体的な集合で確認する
- 定義を正確に：「写像」「全射」などの定義を曖昧にしない
- パラドックスから学ぶ：素朴な集合概念の問題点を理解し、公理的集合論が必要になった理由を考える
索引
定義索引（一般的な概念）
このレベルで登場する用語・記号・関数の定義一覧である。
具体例一覧（このレベル限定）
具体的な数値例や計算例の一覧である。
読み物
すべてを集めると壊れる ［読み物］
「ものの集まり」というだけでは足りなかった。村の床屋のなぞなぞからラッセルのパラドックスへ、「どんな条件からでも集合を作れる」という素朴な考えが、たった一行のパラドックスで崩れた瞬間を肩の力を抜いて語る。
三つの輪が語ること ［読み物］
検索の絞り込み、アンケートの二度数え、「〜でない」の入れ替え。重なり合う輪＝ベン図を手がかりに、和・共通・差という集合演算が日常のどこに潜んでいるかを気軽に語る。
すべては「集まり」から ［読み物］
数も、点も、関数も、もとをたどればすべて集合で書ける。「ものの集まり」というたった一言が、なぜ数学全体を支える共通言語になれたのか。カントールから自然数の構成まで、肩の力を抜いて語る。