CATEGORY

関係と順序

「集合と写像」3.5 整列集合と順序を保つ写像,比較可能定理

この記事では整列集合の間の順序を保つ写像について考える.整列性は様々な興味深い結果をもたらしてくれる.整列集合の比較可能定理が主な目標である. 自身との比較 ここでは,\(f:X\to{}X\) が順序を保つときにどんなことが起こるかを考えよう. 定理 3.5.1 \(X\) が整列集合であるとし,\(f:X\to{}X\) が順序を保つ単射であるとする.このとき,\(x\leq{}f(x)\). […]

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

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

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

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

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

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

「集合と写像」3.1 関係,順序とその関連用語の定義

この記事では,関係とそれに関するいくつかの用語の定義を解説し,例を挙げる. 関係 集合 \(X\) が与えられており,\(X\) の元からなる順序対 \({}(a,b){}\) に対してあてはまるかあてはまらないかを(原理的には)判定できる条件が与えられているとしよう(例えば,実数の順序がそうである).このとき,\({}(a,b){}\) がその規則を満たすか満たさないかにより,\(X\) のふた […]