Monotonic Function - Monotonicity in Order Theory

Monotonicity in Order Theory

Order theory deals with arbitrary partially ordered sets and preordered sets in addition to real numbers. The above definition of monotonicity is relevant in these cases as well. However, the terms "increasing" and "decreasing" are avoided, since their conventional pictorial representation does not apply to orders that are not total. Furthermore, the strict relations < and > are of little use in many non-total orders and hence no additional terminology is introduced for them.

A monotone function is also called isotone, or order-preserving. The dual notion is often called antitone, anti-monotone, or order-reversing. Hence, an antitone function f satisfies the property

xy implies f(x) ≥ f(y),

for all x and y in its domain. It is easy to see that the composite of two monotone mappings is also monotone.

A constant function is both monotone and antitone; conversely, if f is both monotone and antitone, and if the domain of f is a lattice, then f must be constant.

Monotone functions are central in order theory. They appear in most articles on the subject and examples from special applications are found in these places. Some notable special monotone functions are order embeddings (functions for which xy if and only if f(x) ≤ f(y)) and order isomorphisms (surjective order embeddings).

Read more about this topic:  Monotonic Function

Famous quotes containing the words order and/or theory:

    The one book necessary to be understood by a divine, is the Bible; any others are to be read, chiefly, in order to understand that.
    Francis Lockier (1668–1740)

    The things that will destroy America are prosperity-at-any- price, peace-at-any-price, safety-first instead of duty-first, the love of soft living, and the get-rich-quick theory of life.
    Theodore Roosevelt (1858–1919)