MONTH

2020年4月

「集合と写像」3.4 整列集合,超限帰納法

この記事では,整列集合,順序の定義と,その性質について解説する.     定義 ここでは,整列集合とそれに関連する用語を定義し,議論の準備をする. 定義 3.4.1 整列集合 半順序集合 \({}(X,\leq_{{}_X})\) が整列集合である,あるいは \(\leq_{{}_X}\) が整列順序であるとは,\(X\) の空でない任意の部分集合が最小限を持つことをいう.すな […]

「集合と写像」3.3 順序を保つ写像,順序同型

この記事では,順序を保つ写像や順序同型,および整列順序や順序を保つ写像と整列順序の関係などについて解説する. 順序を保つ写像 何をしたいかというと,半順序集合同士(とくに,のちに述べる整列集合同士)の構造を比べたいのである.そこでその間の写像を用いるわけであり,とくに構造を「保つ」ものに興味があるのである.まずは順序を保つ写像を定義しよう. 定義 3.3.1 順序を保つ写像 \({}(X,\leq […]

「集合と写像」3.2 同値関係,商集合

この記事では,同値関係と商集合の定義やその例について解説する.これらの概念は,集合とその上の構造を合わせて考えるとき,似た性質をもつものなどを「同一視」する際に用いられる. 同値関係の定義 同値関係とは,集合の二元が「同じようなものか否か」を定めるものとしてよく用いられる.まず,同値関係を定義するのに必要なことばや記法を紹介しておく.   集合 \(X\) の任意の二元 \(x,y\) […]