単調増加写像
任意の擬順序集合$ (U_1,\le_1),(U_2,\le_2)にて、以下を満たす写像$ \varphi:U_1\to U_2を単調増加写像(単調増加函数, monotonically increasing function)と呼ぶ
$ \forall x,y\in U_1:x\le_1y\implies\varphi(x)\le_2\varphi(y)
その他の呼び名
isotone mapping
訳すとしたら同調写像?
順序を保つ写像(order-preserving mapping)
単調増加関数
References
https://en.wikipedia.org/wiki/Monotonic_function#In_order_theory
https://ja.wikipedia.org/wiki/順序集合#定義_2
#2025-08-27 12:26:18