半順序関係と狭義半順序関係
半順序関係と狭義半順序関係
\[ 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ボタン |
上界(下界)・上限(下限)・最大元(最小元)・極大元(極小元)の定義
\[
\min U=\sup A
\]
切片の定義
\[
X\left\langle a\right\rangle =\left\{ x\in X;x\prec a\right\}
\]
順序を反映する写像(順序単射)ならば単射
部分順序集合
\[
b_{1}\preceq_{A}b_{2}\Leftrightarrow b_{1}\preceq_{B}b_{2}
\]