数学の言葉：論理・集合・写像

概要

この科目は教材全体の入口です。大学の数学は、高校までの「計算して答えを出す」数学から、「定義から出発して定理を証明する」数学へと大きく姿を変えます。そのとき必要になるのが、論理・集合・写像という「数学の言葉」です。「任意の $\varepsilon > 0$ に対してある $\delta > 0$ が存在して……」という文を正確に読み、否定し、それについての証明を自分で書けるようになること──これが本科目の第一の目標です。

前半（第1〜4章）では、命題と量化子、集合の演算、写像、同値関係と順序を扱います。記号の読み方だけでなく、「何を仮定し、何を示せば証明が終わるのか」という証明の骨組みそのものを、悪い証明例とその添削も交えて丁寧に説明します。特に第4章の商集合と well-definedness（代表元の取り方によらないこと）は、代数学・幾何学で繰り返し現れる考え方です。

後半（第5〜7章）では、無限集合の大きさ（濃度）、選択公理とツォルンの補題、そして自然数から実数・複素数までを集合論の中で構成する「数の体系」を学びます。$\mathbb{Q}$ と $\mathbb{R}$ の「大きさ」の違い、任意のベクトル空間が基底をもつことの証明、実数とは何かという問いへの答えなど、後の科目の土台になる結果を証明つきで扱います。

前提知識

• 高校数学（特に「集合と命題」「数学的帰納法」「整数の性質」）。
• 微分積分の知識は必須ではありません。ただし第1章の一様連続性の例や第5章の小数展開では、高校で学んだ実数の性質（アルキメデスの性質など）を認めて使います。これらは微分積分学 第1章と本科目第7章で改めて基礎づけられます。

到達目標

• [ ] 論理結合子と量化子を含む命題を正しく読み書きし、真理値表や量化子の意味から真偽を判定できる
• [ ] 量化子の順序の違い（連続と一様連続など）を説明し、量化子を含む命題の否定を機械的に作れる
• [ ] 示すべき命題の形から証明の骨組みを作り、直接証明・対偶・背理法・帰納法などを使い分けて証明を書ける
• [ ] 集合の等式を「$A \subset B$ かつ $B \subset A$」によって証明し、集合族の和・共通部分を扱える
• [ ] 像と逆像の性質、単射・全射・全単射、合成と逆写像の関係を証明できる
• [ ] 同値関係から商集合を作り、商集合上の写像や演算の well-definedness を確かめられる
• [ ] 半順序集合の最大元・極大元・上限を区別して扱える
• [ ] $\mathbb{Q}$ の可算性、$\mathbb{R}$ の非可算性、カントールの定理、ベルンシュタインの定理を証明できる
• [ ] 選択公理の意味を説明し、ツォルンの補題を使って基底の存在などを証明できる
• [ ] 自然数・整数・有理数・実数・複素数がどのように構成されるかを説明できる

章立て

各章の末尾には、難易度つき（★ 基本、★★ 標準、★★★ 発展）の演習問題と、全問の解答があります。

学習時間の目安と進め方

全体で 50〜70 時間程度（演習を含む）が目安です。

進め方の提案です。

1. 第1〜3章は最初に通読してください。 特に第1章 1.6〜1.9 節（量化子の否定、証明の骨組み、悪い証明例）は、演習問題を自分の手で書いてから解答と比べることを強く勧めます。
2. 第4章以降は、微分積分学や線形代数と並行して読み進めてかまいません。第4章の商集合は代数学の前に、第5章の濃度は位相空間論・測度論の前に読んでおくとよいでしょう。
3. 第6章のツォルンの補題は、まず主張と使い方（定理 6.16 の証明の型）を理解し、証明（補題 6.10・6.11）は二度目に読むときに追うのでもかまいません。
4. 第7章は「実数とは何か」に答える章です。微分積分学 第1章で実数の公理を学んだ後に読むと、公理がどこから来るのかがよくわかります。
5. 証明を読むときは、「いま何を仮定していて、何を示そうとしているのか」を常に意識してください。証明を書くときは、第1章 1.9 節のチェックリストで見直す習慣をつけましょう。

参考文献

• 松坂和夫『集合・位相入門』（岩波書店）：集合と位相の定番の教科書。本科目全体の内容を詳しく扱っています。
• 内田伏一『集合と位相』（裳華房）：簡潔にまとまった教科書で、本科目の内容の復習に向いています。
• 斎藤毅『集合と位相』（東京大学出版会）：現代的な視点からの教科書です。
• 中内伸光『ろんりと集合』（日本評論社）：論理と集合を初学者向けに丁寧に解説した入門書です。
• 田中一之・鈴木登志雄『数学のロジックと集合論』（培風館）：数理論理学と公理的集合論をさらに学びたい人向けです（第2章 2.7 節、第6章の独立性の話題の先）。
• P. R. Halmos, Naive Set Theory (Springer)：素朴集合論の古典的な小著です。
• D. J. Velleman, How to Prove It (Cambridge University Press)：証明の書き方そのものを主題とした本で、第1章の内容を英語でさらに練習したい人に向いています。

第7章で詳細を省略した実数の構成の検証については、同章で W. Rudin, Principles of Mathematical Analysis (McGraw-Hill) の第1章付録と、E. Landau, Grundlagen der Analysis を参照先として挙げています。

次に学ぶもの

• 微分積分学：本科目の論理（特に量化子）を使って、極限・連続性・微分・積分を厳密に組み立てます。実数の連続性公理は第7章の完備順序体そのものです。
• 線形代数：写像（第3章）と同値関係（第4章）の言葉が、線形写像・商空間として現れます。無限次元の基底の存在は第6章で証明しました。
• 集合と位相：逆像の性質（第3章）、集合族の和と共通部分（第2章）、濃度（第5章）を日常的に使います。
• 代数学：$\mathbb{Z}/n\mathbb{Z}$ と well-definedness（第4章）、写像の標準分解（準同型定理の原型）、ツォルンの補題（極大イデアルの存在）が出発点になります。

← 全体の目次