Sources
Help build the largest human-edited directory on the web.
Submit a site - Become an editor
Wikipedia. Licensed under the GNU Free Documentation License.
Are you an expert in this subject? Join the discussion and share your knowledge at Wikipedia.org.
Order isomorphism
From Wikipedia, the free encyclopedia
In the mathematical field of order theory an order isomorphism is a special kind of monotone function that constitutes a suitable notion of isomorphism for partially ordered sets. Whenever two partially ordered sets are order isomorphic, they can be considered to be "essentially the same" in the sense that one of the orders can be obtained from the other just by renaming of elements. Two strictly weaker notions that relate to order isomorphisms are order embeddings and Galois connections.
Formally, given two partially ordered sets (S, ≤S) and (T, ≤T) an order isomorphism from (S, ≤S) to (T, ≤T) is a surjective function h : S → T such that for all u and v in S,
- h(u) ≤T h(v) if and only if u ≤S v.
In this case, the posets S and T are said to be order isomorphic. Note that the above definition characterizes order isomorphisms as surjective order embeddings. It should also be remarked that order isomorphisms are necessarily injective. Hence, yet another characterization of order isomorphisms is possible: they are exactly those monotone bijections that have a monotone inverse.
An order isomorphism from (S, ≤) to itself is called an order automorphism.
- Negation is an order isomorphism from (R,≤) to (R,≥), since -x ≥ -y if and only if x ≤ y
- The function f(x) = x-1 is an order automorphism on (R,≤), since x-1 ≤ y-1 if and only if x ≤ y
 |
This mathematical logic-related article is a stub. You can help Wikipedia by expanding it. |