半順序関係と狭義半順序関係
半順序関係と狭義半順序関係
\[ x\preceq y\Leftrightarrow x\prec y\lor x=y \] が成り立つ。
\[ x\prec y\Leftrightarrow x\preceq y\land x\ne y \] が成り立つ。
\[ x\prec y\leftrightarrow x\preceq y\land x\ne y\Leftrightarrow x\preceq y\leftrightarrow x\prec y\lor x=y \] となる。
(1)
\(\left(X,\preceq\right)\)が半順序関係を満たすとき\(x\prec y\Leftrightarrow x\preceq y\land x\ne y\)と定めると、\[ x\preceq y\Leftrightarrow x\prec y\lor x=y \] が成り立つ。
(2)
\(\left(X,\prec\right)\)が狭義半順序関係を満たすとき\(x\preceq y\Leftrightarrow x\prec y\lor x=y\)と定めると、\[ x\prec y\Leftrightarrow x\preceq y\land x\ne y \] が成り立つ。
(3)
\(\left(X,\preceq\right)\)が半順序関係を満たす、または\(\left(X,\prec\right)\)が狭義半順序関係を満たすとき\[ x\prec y\leftrightarrow x\preceq y\land x\ne y\Leftrightarrow x\preceq y\leftrightarrow x\prec y\lor x=y \] となる。
半順序関係\(\preceq\)は反射律を満たすので反対称律の逆が成り立ち、半順序関係なので反対称律を満たすので、
\[ x\preceq y\land y\preceq x\Leftrightarrow x=y \] が成り立つ。
\[ x\preceq y\land y\preceq x\Leftrightarrow x=y \] が成り立つ。
(1)
\(\left(X,\preceq\right)\)は反射律と反対称律を満たすので、\(x\preceq y\land y\preceq x\Leftrightarrow x=y\)が成り立ち、\begin{align*} x\prec y\leftrightarrow x\preceq y\land x\ne y & \Rightarrow x\prec y\lor x=y\leftrightarrow\left(x\preceq y\land x\ne y\right)\lor x=y\\ & \Leftrightarrow x\prec y\lor x=y\leftrightarrow x\preceq y\lor x=y\\ & \Leftrightarrow x\prec y\lor x=y\leftrightarrow x\preceq y\lor\left(x\preceq y\land y\preceq x\right)\\ & \Leftrightarrow x\prec y\lor x=y\leftrightarrow x\preceq y \end{align*} より、
\[ x\prec y\leftrightarrow x\preceq y\land x\ne y\Rightarrow x\preceq y\leftrightarrow x\prec y\lor x=y \] が成り立つ。
(2)
\(\left(X,\prec\right)\)は非反射律を満たすので、\begin{align*} x\preceq y\leftrightarrow x\prec y\lor x=y & \Rightarrow x\preceq y\land x\ne y\leftrightarrow\left(x\prec y\lor x=y\right)\land x\ne y\\ & \Leftrightarrow x\preceq y\land x\ne y\leftrightarrow x\prec y\land x\ne y\\ & \Leftrightarrow x\preceq y\land x\ne y\leftrightarrow x\prec y\land\left(\lnot\left(x\prec y\right)\lor x\ne y\right)\\ & \Leftrightarrow x\preceq y\land x\ne y\leftrightarrow x\prec y\land\lnot\left(x\prec y\land x=y\right)\\ & \Leftrightarrow x\preceq y\land x\ne y\leftrightarrow x\prec y\land\lnot\left(x\prec x\land x=y\right)\\ & \Leftrightarrow x\preceq y\land x\ne y\leftrightarrow x\prec y \end{align*} より、
\[ x\preceq y\leftrightarrow x\prec y\lor x=y\Rightarrow x\preceq y\land x\ne y\leftrightarrow x\prec y \] が成り立つ。
(3)
\(\left(X,\preceq\right)\)が半順序関係を満たすなら\(\left(X,\prec\right)\)は狭義半順序関係を満たし、\(\left(X,\prec\right)\)が狭義半順序関係を満たすなら\(\left(X,\preceq\right)\)は半順序関係を満たすので、\[ x\preceq y\leftrightarrow x\prec y\lor x=y\Leftrightarrow x\preceq y\land x\ne y\leftrightarrow x\prec y \] となる。
ページ情報
タイトル | 半順序関係と狭義半順序関係 |
URL | https://www.nomuramath.com/pnyc7h56/ |
SNSボタン |
順序写像かつ単射の性質
\[
\forall a,b\in X,a\precneqq b\rightarrow f\left(a\right)\precneqq\left(b\right)
\]
デデキント切断の定義
\[
a\in A\land b\in B\rightarrow a\preceq b
\]
整列集合の基本的な性質
\[
X\left\langle \min X\right\rangle =\emptyset
\]
整列集合の比較定理