集合の演算などの知識を復習したくて大学の講義ノートをネット上で探していたら、わかりやすいものに出会いました。
https://www.math.is.tohoku.ac.jp/~obata/student/subject/file/ （2018年のファイル）
書籍として刊行されていないかと思ってみたところ、
尾畑 伸明『集合・写像・数の体系 数学リテラシーとして』
という本になっていました。しかしPDFでは13章までしか公開されていないようです。とても説明がわかりやすくて気に入ったので本を買おうかと思ったのですが、残念なことに絶版のようです。しかも古書でも入手できなさそう。復刊してほしい。
尾畑 伸明『集合・写像・数の体系 数学リテラシーとして』 目次
- 第１章 命題と論理
- １．１ 命題と論理演算
- １．２ 論理演算の基本法則
- １．３ 推論
- １．４ 述語論理
- 第２章 集合
- ２．１ 集合と元
- ２．２ 集合の包含関係
- ２．３ ラッセルのパラドックス
- 第３章 集合の演算
- ３．１ 和集合と積集合
- ３．２ 差集合と補集合
- ３．３ 集合の公理
- 第４章 写像
- ４．１ 写像の定義
- ４．２ 写像の演算と諸性質
- ４．３ 合成写像
- ４．４ 逆写像
- ４．５ 集合系
- 第５章 同値関係
- ５．１ 関係
- ５．２ 同値関係
- 第６章 有限集合
- ６．１ 元の個数
- ６．２ 和集合
- ６．３ 有限集合と写像
- ６．４ 直積集合
- 第７章 可算集合
- ７．１ 濃度の等しい集合
- ７．２ 可算集合
- ７．３ 可算集合と写像
- ７．４ 可算集合の直積
- 第８章 非可算集合
- ８．１ 実数の区間
- ８．２ 非可算集合
- 第９章 濃度の比較
- ９．１ 濃度の比較
- ９．２ カントル−ベルンシュタインの比較定理
- 第１０章 濃度の算法
- １０．１ 濃度の相等と大小
- １０．２ 濃度の和
- １０．３ 濃度の積
- １０．４ 濃度のべき
- １０．５ 可算濃度と連続体濃度
- 第１１章 選択公理
- １１．１ 集合系の直積
- １１．２ 選択公理
- １１．３ 可算集合の性質
- １１．４ 無限集合
- 第１２章 順序集合
- １２．１ 順序関係と順序集合
- １２．２ 順序同型
- １２．３ ツォルンの補題
- 第１３章 整列集合
- １３．１ 整列集合
- １３．２ 整列集合の基本定理
- １３．３ 整列可能定理
- 第１４章 順序数
- １４．１ 順序型としての順序数
- １４．２ 順序数の演算
- １４．３ 順序数の定義
- 第１５章 自然数
- １５．１ ペアノの公理
- １５．２ ペアノの公理の完全性
- １５．３ 自然数の加法・乗法・順序
- １５．４ 自然数の構成
- 第１６章 整数・有理数・実数
- １６．１ 整数
- １６．２ 有理数
- １６．３ 実数
（引用元 https://honto.jp/netstore/pd-contents_0629549307.html）
この本のまえがきによれば、集合と写像は現代数学の基本的な言葉なのだそうです。抽象性が高いぶん、普遍性も高いのですが、そのために具体的な例がないと馴染みにくくとっつきにくい、なので後半部分では具体的な題材として数を構成するように本書を構成したのだそう。
自分は図書館で借りてようやくこの本を手にしたのですが、本書をみていたらこの本の構成って、自分が何十年も前、大学1年のときに受けた「論理学」の講義と同じ流れだということに気付きました。当時は正直言って何が面白いのか、というかいったい先生が何の講義をやっているのかもよくわからずに聴いていて、1学期もそろそろ終わるころになって自然数を集合によって構成してみせて、そのあとは有理数とか、多分実数まで一気に説明していたのような気がします。一学期という長い日数をかけて、０の次が１であることの説明しかしないのかと、なんだか大変なことやってるなあくらいの印象しか自分の中には残りませんでした。ペアノとかツェルメロ＝フレンケルの公理系、ZF、ZFCといった言葉だけは、頭に残りましたが当時は何もわかっちゃいなかった。
今、この本を読むと、ようやく面白味を感じることができます。手遅れと言えば手遅れですが、別にその後理数系（理論系）には進まなかったので、その後の人生で何も困りませんでした。そうは言ってもちゃんと数学や自然科学の土台を理解したいという願望だけは残っていて、そういう気持ちを満たしてくれる本なのでとても気に入っています。この本くらいに丁寧に説明してもらえると、理解できるような気がします。定理とか例とか問を見たら、その後の証明を見ずにまず自分で考えてみるようにすると、なるほど理解できたという実感が湧きます。自分の頭でなるべく考えるようにして本を読み進めると、抽象的な新しい概念を自分の脳の神経回路に新しく作っていっているような気分がして、面白いと思います。
『集合・写像・数の体系 数学リテラシーとして』レビュー記事
『集合・写像・数の体系 数学リテラシーとして』の入手可能性
『集合・写像・数の体系 数学リテラシーとして』を出版した牧野書店は廃業したため（ウィキペディア）、この本は絶版になっています。この本は2019年の出版で絶版といってもまだ年数が経っていなかったので大型の本屋さんの在庫を調べまくったら一冊だけ見つけることができて、買いました。ぜひどこかの出版社（森北出版社さんとか？）が引き継いで、復刊して欲しいです。
メルカリやヤフオクを見たところ、現時点で販売はありませんでした。