Related Directory Categories
- Mathematical Physics (226)
- Mathematical Economics and Financial Mathematics (91)
- Events (91)
- Mathematical Biology (89)
- Past Events (79)
- Mathematics (44)
- Mathematics (37)
- Events (37)
- Past Events (34)
- Events (28)
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.
Trichotomy (mathematics)
From Wikipedia, the free encyclopedia
 |
This article does not cite any references or sources. (September 2007) Please help improve this article by adding citations to reliable sources. Unverifiable material may be challenged and removed. |
Generally, a trichotomy is a splitting into three disjoint parts.
In mathematics, the law (or axiom) of trichotomy is most commonly the statement that for any (real) numbers x and y, exactly one of the following relations holds:
- x < y,
- x = y,
- x > y.
If applied to cardinal numbers, the law of trichotomy is equivalent to the axiom of choice.
More generally, a binary relation R on X is trichotomous if for all x and y in X exactly one of xRy, yRx or x = y holds. If such a relation is also transitive it is a strict total order; this is a special case of a strict weak order. For example, in the case of three elements the relation R given by aRb, aRc, bRc is a strict total order, while the relation R given by the cyclic aRb, bRc, cRa is a non-transitive trichonomous relation.
In the definition of an ordered integral domain or ordered field, the law of trichotomy is usually taken as more foundational than the law of total order, with y = 0, where 0 is the zero of the integral domain or field.
In set theory, trichotomy is most commonly defined as a property that a binary relation < has when all its members