全順序集合
全順序集合(total ordered set)
例:
実数$ \mathbb{R} の集合は全順序
集合$ P があって、二項関係$ \preceq があったときに全順序集合であるとは、下記を満たすもの (反射律) $ x \preceq x
(反対称律) $ x \preceq y かつ$ y \preceq x ならば$ x = y
(推移律) $ x \preceq y かつ$ y \preceq z ならば$ x \preceq z
(完全律) 任意の$ x,y∈X に対して、$ x \preceq y または $ y \preceq x
確認用
Q. 全順序集合
関連
メモ
調査用
Wikipedia.icon
Wikipedia.icon