順序写像かつ順序単射であることと順序埋め込み写像は同値
順序写像かつ順序単射であることと順序埋め込み写像は同値
順序を保ち(順序写像)かつ順序を反映する写像(順序単射)であることと、順序埋め込み写像は同値である。
順序を保ち(順序写像)かつ順序を反映する写像(順序単射)であることと、順序埋め込み写像は同値である。
\(\left(X,\preceq_{X}\right),\left(Y,\preceq_{Y}\right)\)を順序集合として、\(f:X\rightarrow Y\)を写像とする。
\[ \left\{ a\preceq b\rightarrow f\left(a\right)\preceq f\left(b\right)\right\} \land\left\{ f\left(a\right)\preceq f\left(b\right)\rightarrow a\preceq b\right\} \Leftrightarrow a\preceq b\leftrightarrow f\left(a\right)\preceq f\left(b\right) \] となるので、題意は成り立つ。
\[ \left\{ a\preceq b\rightarrow f\left(a\right)\preceq f\left(b\right)\right\} \land\left\{ f\left(a\right)\preceq f\left(b\right)\rightarrow a\preceq b\right\} \Leftrightarrow a\preceq b\leftrightarrow f\left(a\right)\preceq f\left(b\right) \] となるので、題意は成り立つ。
ページ情報
タイトル | 順序写像かつ順序単射であることと順序埋め込み写像は同値 |
URL | https://www.nomuramath.com/g19fqqb4/ |
SNSボタン |
順序写像・単調写像・順序反映・順序埋め込み・順序同型写像の定義
\[
a\preceq_{X}b\Rightarrow f\left(a\right)\preceq_{Y}f\left(b\right)
\]
順序を反映する写像(順序単射)ならば単射
整列可能定理
任意の集合は適当な順序を定めることによって整列集合にできる。
上界(下界)・上限(下限)・最大元(最小元)・極大元(極小元)の定義
\[
\min U=\sup A
\]