Trichotomy (mathematics)

Trichotomy (mathematics)

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

: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 ml|Total_order|Strict_total_order|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 trichotomous 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 "" satisfy exactly one of the relations listed above. Strict inequality is an example of a trichotomous relation in this sense. Trichotomous relations in this sense are irreflexive and antisymmetric.


Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • Trichotomy — A trichotomy is a splitting into three parts, and, apart from its normal literal meaning, can refer to: * trichotomy (mathematics), in the mathematical field of order theory * trichotomy (philosophy), for the idea that man has a threefold nature… …   Wikipedia

  • List of mathematics articles (T) — NOTOC T T duality T group T group (mathematics) T integration T norm T norm fuzzy logics T schema T square (fractal) T symmetry T table T theory T.C. Mits T1 space Table of bases Table of Clebsch Gordan coefficients Table of divisors Table of Lie …   Wikipedia

  • Interval (mathematics) — This article is about intervals of real numbers. For intervals in general mathematics, see Partially ordered set. For other uses, see Interval. In mathematics, a (real) interval is a set of real numbers with the property that any number that lies …   Wikipedia

  • Inequality (mathematics) — Not to be confused with Inequation. Less than and Greater than redirect here. For the use of the < and > signs as punctuation, see Bracket. More than redirects here. For the UK insurance brand, see RSA Insurance Group. The feasible regions… …   Wikipedia

  • Outline of logic — The following outline is provided as an overview of and topical guide to logic: Logic – formal science of using reason, considered a branch of both philosophy and mathematics. Logic investigates and classifies the structure of statements and… …   Wikipedia

  • Classification of finite simple groups — Group theory Group theory …   Wikipedia

  • Semiotic elements and classes of signs — C. S. Peirce articles  General:    Charles Sanders Peirce Charles Sanders Peirce bibliography Philosophical:    Categories (Peirce) Semiotic elements and   classes of signs (Peirce) Pragmatic maxim • Pragmaticism… …   Wikipedia

  • Inequality — In mathematics, an inequality is a statement about the relative size or order of two objects, or about whether they are the same or not (See also: equality) *The notation a < b means that a is less than b . *The notation a > b means that a is… …   Wikipedia

  • History of algebra — Elementary algebra is the branch of mathematics that deals with solving for the operands of arithmetic equations. Modern or abstract algebra has its origins as an abstraction of elementary algebra. Historians know that the earliest mathematical… …   Wikipedia

  • Differentially closed field — In mathematics, a differential field K is differentially closed if every finite system of differential equations with a solution in some differential field extending K already has a solution in K. This concept was introduced by Robinson (1959).… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”