Lexicographical Order - Case of Multiple Products

Case of Multiple Products

Suppose

\{ A_1, A_2, \cdots, A_n \}

is an n-tuple of sets, with respective total orderings

\{ <_1, <_2, \cdots, <_n \}

The dictionary ordering

\ \ <^{d}

of

A_1 \times A_2 \times \cdots \times A_n

is then

(a_1, a_2, \dots, a_n) <^d (b_1,b_2, \dots, b_n) \iff (\exists\ m > 0) \ (\forall\ i < m) (a_i = b_i) \land (a_m <_m b_m)

That is, if one of the terms

\ \ a_m <_m b_m

and all the preceding terms are equal.

Informally,

\ \ a_1

represents the first letter,

\ \ a_2

the second and so on when looking up a word in a dictionary, hence the name.

This could be more elegantly stated by recursively defining the ordering of any set

\ \ C= A_j \times A_{j+1} \times \cdots \times A_k

represented by

\ \ <^d (C)

This will satisfy

a <^d (A_i) a' \iff (a <_i a')
(a,b) <^d (A_i \times B) (a',b') \iff a <^d (A_i) a' \lor ( a=a' \ \land \ b <^d (B) b')

where B = A_{i+1} \times A_{i+2} \times \cdots \times A_n.

To put it more simply, compare the first terms. If they are equal, compare the second terms – and so on. The relationship between the first corresponding terms that are not equal determines the relationship between the entire elements.

Read more about this topic:  Lexicographical Order

Famous quotes containing the words case of, case, multiple and/or products:

    “I often used to think myself in the case of the fox-hunter, who, when he had toiled and sweated all day in the chase as if some unheard-of blessing was to crown his success, finds at last all he has got by his labor is a stinking nauseous animal. But my condition was yet worse than his; for he leaves the loathsome wretch to be torn by his hounds, whilst I was obliged to fondle mine, and meanly pretend him to be the object of my love.”
    —Sarah Fielding (1710–1768)

    “I often used to think myself in the case of the fox-hunter, who, when he had toiled and sweated all day in the chase as if some unheard-of blessing was to crown his success, finds at last all he has got by his labor is a stinking nauseous animal. But my condition was yet worse than his; for he leaves the loathsome wretch to be torn by his hounds, whilst I was obliged to fondle mine, and meanly pretend him to be the object of my love.”
    —Sarah Fielding (1710–1768)

    “... the generation of the 20’s was truly secular in that it still knew its theology and its varieties of religious experience. We are post-secular, inventing new faiths, without any sense of organizing truths. The truths we accept are so multiple that honesty becomes little more than a strategy by which you manage your tendencies toward duplicity.”
    —Ann Douglas (b. 1942)

    “All that is told of the sea has a fabulous sound to an inhabitant of the land, and all its products have a certain fabulous quality, as if they belonged to another planet, from seaweed to a sailor’s yarn, or a fish story. In this element the animal and vegetable kingdoms meet and are strangely mingled.”
    —Henry David Thoreau (1817–1862)