順序写像かつ単射の性質
順序写像かつ単射の性質
\(\left(X,\preceq_{X}\right),\left(Y,\preceq_{Y}\right)\)を順序集合として、\(f:X\rightarrow Y\)を順序を保つ単射(順序写像かつ単射)とする。
このとき、\(\forall a,b\in X,a\precneqq b\rightarrow f\left(a\right)\precneqq\left(b\right)\)となる。
\(\left(X,\preceq_{X}\right),\left(Y,\preceq_{Y}\right)\)を順序集合として、\(f:X\rightarrow Y\)を順序を保つ単射(順序写像かつ単射)とする。
このとき、\(\forall a,b\in X,a\precneqq b\rightarrow f\left(a\right)\precneqq\left(b\right)\)となる。
(0)
\(f\)は順序を保つ単射なので任意の\(a,b\in X\)に対し、\[ \left(a\preceq b\rightarrow f\left(a\right)\preceq f\left(b\right)\right)\land\left(a\ne b\rightarrow f\left(a\right)\ne f\left(b\right)\right) \] が成り立つので、
\begin{align*} a\precneqq b & \Rightarrow a\preceq b\land a\ne b\\ & \Rightarrow a\preceq b\land f\left(a\right)\ne f\left(b\right)\\ & \Rightarrow f\left(a\right)\preceq f\left(b\right)\land f\left(a\right)\ne f\left(b\right)\\ & \Leftrightarrow f\left(a\right)\precneqq f\left(b\right) \end{align*} となる。
(0)-2
\(f\)は順序を保つ単射なので任意の\(a,b\in X\)に対し、\begin{align*} \left(a\preceq b\rightarrow f\left(a\right)\preceq f\left(b\right)\right)\land\left(a\ne b\rightarrow f\left(a\right)\ne f\left(b\right)\right) & \Leftrightarrow\left(\lnot\left(a\preceq b\right)\lor f\left(a\right)\preceq f\left(b\right)\right)\land\left(\lnot\left(a=b\right)\lor f\left(a\right)\ne f\left(b\right)\right)\\ & \Leftrightarrow\left(\lnot\left(a\preceq b\right)\land\left(\lnot\left(a=b\right)\lor f\left(a\right)\ne f\left(b\right)\right)\right)\lor\left(f\left(a\right)\preceq f\left(b\right)\land\left(\lnot\left(a=b\right)\lor f\left(a\right)\ne f\left(b\right)\right)\right)\\ & \Rightarrow\lnot\left(a\preceq b\right)\lor\left(f\left(a\right)\preceq f\left(b\right)\land\left(\lnot\left(a=b\right)\lor f\left(a\right)\ne f\left(b\right)\right)\right)\\ & \Leftrightarrow\lnot\left(a\preceq b\right)\lor\left(f\left(a\right)\preceq f\left(b\right)\land\lnot\left(a=b\right)\right)\lor\left(f\left(a\right)\preceq f\left(b\right)\land f\left(a\right)\ne f\left(b\right)\right)\\ & \Rightarrow\lnot\left(a\preceq b\right)\lor\lnot\left(a=b\right)\lor\left(f\left(a\right)\preceq f\left(b\right)\land f\left(a\right)\ne f\left(b\right)\right)\\ & \Leftrightarrow\lnot\left(a\preceq b\land a=b\right)\lor\left(f\left(a\right)\preceq f\left(b\right)\land f\left(a\right)\ne f\left(b\right)\right)\\ & \Leftrightarrow\lnot\left(a\precneqq b\right)\lor\left(f\left(a\right)\precneqq f\left(b\right)\right)\\ & \Leftrightarrow a\precneqq b\rightarrow f\left(a\right)\precneqq f\left(b\right) \end{align*} これより、\(a\precneqq b\rightarrow f\left(a\right)\precneqq f\left(b\right)\)が成り立つ。
ページ情報
タイトル | 順序写像かつ単射の性質 |
URL | https://www.nomuramath.com/hori1voz/ |
SNSボタン |
順序写像かつ順序単射であることと順序埋め込み写像は同値
順序写像・単調写像・順序反映・順序埋め込み・順序同型写像の定義
\[
a\preceq_{X}b\Rightarrow f\left(a\right)\preceq_{Y}f\left(b\right)
\]
テューキーの補題
有限性をもつ空でない集合族$\mathcal{A}$に対し、包含関係を順序とする半順序集合$\left(\mathcal{A},\subseteq\right)$に極大元が存在する。
半順序集合と狭義半順序集合の関係