Loading AI tools
保留或反轉給定有序的有序集之間的函數 来自维基百科,自由的百科全书
在數學中,給定函數定義域,當定義域中較小的自變數值小於較大的自變數值時,較小的自變數值對應的因變量值總是小於較大的自變數值對應的因變量值,那麼這個函數就是單調增加函數。當定義域中較小的自變數值小於較大的自變數值時,較小的自變數值對應的因變量值總是大於較大的自變數值對應的因變量值,那麼這個函數就是單調減少函數。單調增加函數和單調減少函數統稱單調函數。[1]
此條目需要補充更多來源。 (2018年10月27日) |
這個概念最先出現在微積分中,後來推廣到序理論中更加抽象結構中。儘管概念一般是一致的,兩個學科已經發展出稍微不同的術語。在微積分中,我們經常說函數是單調遞增和單調遞減的,在序理論中偏好術語單調、反單調或序保持、序反轉。
設
是在兩個帶有偏序≤的集合和之間的函數。在微積分中,它們是帶有平常次序的實數集的子集之間的函數,但是定義仍保持同更一般的序理論定義一樣。
函數是單調的,如果只要,則。因此單調函數保持次序關係。
在微積分中,經常不需要訴諸序理論的抽象方法。如上所述,函數通常是按自然次序排序的實數集的子集之間的映射。
受在實數上的單調函數的圖的形狀的啟發,這種函數也叫做單調遞增的(或"非遞減"的)。類似的,函數叫做單調遞減的(或"非遞增"的),如果只要,則,就說它反轉了次序。
如果把定義中的次序≥替換為嚴格次序>,則得到了更嚴格的要求。有這樣性質的函數叫做嚴格遞增的[2]。還有通過反轉序符號,可以得到對應的嚴格遞減。嚴格遞增或遞減的函數是一一映射(因為蘊涵)。
要避免把術語非遞減和非遞增混淆於嚴格遞增和嚴格遞減。
在序理論中,不限制於實數集合,可以考慮任意偏序集合甚至是預序集合。在這些情況下上述定義同樣適用。但是要避免術語「遞增」和「遞減」,因為一旦處理的不是全序的次序就沒有了吸引人的圖像動機。進一步的,嚴格關係<和>在多數非全序的次序中很少使用,因此不介入它們的額外術語。
單調(monotone)函數也叫做isotone或序保持函數。對偶概念經常叫做反單調、antitone或序反轉。因此,反單調函數f滿足性質
常數函數是單調的也是反單調的;反過來,如果是單調的也是反單調的,並且如果的定義域是格,則必定是常數函數。
單調函數是序理論的中心。它們大量出現於這個主題的文章和在這些地方的找到的應用中。著名的特殊單調函數是序嵌入(若且唯若的函數)和序同構(對射序嵌入)。