单调函数

保留或反轉給定有序的有序集之間的函數
(重定向自嚴格遞減

数学中,給定函數定義域,當定義域中較小的自變量值小於較大的自變量值時,較小的自變量值對應的因變量值總是小於較大的自變量值對應的因變量值,那麼這個函數就是單調增加函數。當定義域中較小的自變量值小於較大的自變量值時,較小的自變量值對應的因變量值總是大於較大的自變量值對應的因變量值,那麼這個函數就是單調減少函數。單調增加函數和單調減少函數統稱單調函數[1]

单调非递减函数。
单调非递增函数。
非单调函数。

这個概念最先出现在微积分中,后来推广到序理论中更加抽象结构中。尽管概念一般是一致的,两个学科已经发展出稍微不同的术语。在微积分中,我们经常说函数是单调递增单调递减的,在序理论中偏好术语单调反单调序保持序反转

一般定义

 

是在两个带有偏序≤的集合  之间的函数。在微积分中,它们是带有平常次序的实数集的子集之间的函数,但是定义仍保持同更一般的序理论定义一样。

函数 单调的,如果只要 ,则 。因此单调函数保持次序关系。

微积分和实分析中的单调性

在微积分中,经常不需要诉诸序理论的抽象方法。如上所述,函数通常是按自然次序排序的实数集的子集之间的映射。

受在实数上的单调函数的的形状的启发,这种函数也叫做单调递增的(或"非递减"的)。类似的,函数叫做单调递减的(或"非递增"的),如果只要 ,则 ,就说它反转了次序。

如果把定义中的次序≥替换为严格次序>,则得到了更严格的要求。有这样性质的函数叫做严格递增[2]。还有通过反转序符号,可以得到对应的严格递减。严格递增或递减的函数是一一映射(因为 蕴涵 )。

要避免把术语非递减和非递增混淆于严格递增和严格递减。

序理论中的单调性

在序理论中,不限制于实数集合,可以考虑任意偏序集合甚至是预序集合。在这些情况下上述定义同样适用。但是要避免术语「递增」和「递减」,因为一旦处理的不是全序的次序就没有了吸引人的图像动机。进一步的,严格关系<和>在多数非全序的次序中很少使用,因此不介入它们的额外术语。

单调(monotone)函数也叫做isotone序保持函数。对偶概念经常叫做反单调antitone序反转。因此,反单调函数f满足性质

 蕴涵 ,对于它的定义域中的所有  。容易看出两个单调函数的复合也是单调的。

常数函数是单调的也是反单调的;反过来,如果 是单调的也是反单调的,并且如果 的定义域是,则 必定是常量函数。

单调函数是序理论的中心。它们大量出现于这个主题的文章和在这些地方的找到的应用中。著名的特殊单调函数是序嵌入 当且仅当 的函数)和序同构双射序嵌入)。

参考文献

  1. ^ 张耀梓,郑仲三主编. 微积分学. 天津大学出版社. 1993-08: 第14页. ISBN 7561805063. 
  2. ^ 常庚哲,史济怀. 数学分析教程 上册. 中国科学技术大学出版社. 2012: 66. ISBN 9787312030093.