Partially Ordered Set - Inverse and Order Dual

Inverse and Order Dual

The inverse or converse ≥ of a partial order relation ≤ satisfies xy if and only if yx. The inverse of a partial order relation is reflexive, transitive, and antisymmetric, and hence itself a partial order relation. The order dual of a partially ordered set is the same set with the partial order relation replaced by its inverse. The irreflexive relation > is to ≥ as < is to ≤.

Any one of these four relations ≤, <, ≥, and > on a given set uniquely determine the other three.

In general two elements x and y of a partial order may stand in any of four mutually exclusive relationships to each other: either x < y, or x = y, or x > y, or x and y are incomparable (none of the other three). A totally ordered set is one that rules out this fourth possibility: all pairs of elements are comparable and we then say that trichotomy holds. The natural numbers, the integers, the rationals, and the reals are all totally ordered by their algebraic (signed) magnitude whereas the complex numbers are not. This is not to say that the complex numbers cannot be totally ordered; we could for example order them lexicographically via x+iy < u+iv if and only if x < u or (x = u and y < v), but this is not ordering by magnitude in any reasonable sense as it makes 1 greater than 100i. Ordering them by absolute magnitude yields a preorder in which all pairs are comparable, but this is not a partial order since 1 and i have the same absolute magnitude but are not equal, violating antisymmetry.

Read more about this topic:  Partially Ordered Set

Famous quotes containing the words inverse, order and/or dual:

    Yet time and space are but inverse measures of the force of the soul. The spirit sports with time.
    Ralph Waldo Emerson (1803–1882)

    Perchance not he but Nature ailed,
    The world and not the infant failed.
    It was not ripe yet to sustain
    A genius of so fine a strain,
    Who gazed upon the sun and moon
    As if he came unto his own,
    And, pregnant with his grander thought,
    Brought the old order into doubt.
    Ralph Waldo Emerson (1803–1882)

    Thee for my recitative,
    Thee in the driving storm even as now, the snow, the winter-day
    declining,
    Thee in thy panoply, thy measur’d dual throbbing and thy beat
    convulsive,
    Thy black cylindric body, golden brass and silvery steel,
    Walt Whitman (1819–1892)