21/05/12 11:32:24.46 empbdNTV.net
>>854
つづき
URLﾘﾝｸ(www.math.is.tohoku.ac.jp)
尾畑研 東北大 数学概論 2018
URLﾘﾝｸ(www.math.is.tohoku.ac.jp)
第7章 可算集合 GAIRON-book : 2018/4/30(12:55)
7.4 可算集合の直積
定 理 7.14 直積 N × N は可算集合である.
証 明 補題 7.13 より明らか.
別証明 直積 N × N の元に通し番号を振ればよい. N × N の元 (x, y) を図 7.1
のように配列して, 矢印に沿って番号付けすることができる.
(7.3) をカントルの対関数という.
URLﾘﾝｸ(ja.wikipedia.org)
順序集合
直積集合上の順序
2つの半順序集合（の台集合）の直積集合上の半順序としては次の三種類がある。
・辞書式順序： (a,b)≦ (c,d)⇔ a<c∧ (a=c∨ b≦ d)
・積順序： (a,b)≦ (c,d)⇔ a≦ c∨ b≦ d
・ (a,b)≦ (c,d)⇔ (a<c∨ b<d)∧ (a=c∨ b=d)
最後の順序は対応する狭義全順序の直積の反射閉包である。これらの三種類の半順序は、いずれも3個以上の半順序集合の直積に対しても同様に定義される。
体上の順序線型空間に対してこれらの構成を適用すれば、結果として得られる順序集合はいずれも再び順序線型空間となる。
URLﾘﾝｸ(upload.wikimedia.org)
N × N 上の直積狭義順序の反射閉包
URLﾘﾝｸ(upload.wikimedia.org)
N × N 上の積順序
URLﾘﾝｸ(upload.wikimedia.org)
N × N 上の辞書式順序
(引用終り)
以上