Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Cartesian Product syntax in dictionary order relation definition

  1. Oct 2, 2007 #1
    Definition. Suppose that A and B are two sets with order relations [tex]<_A[/tex] and [tex]<_B[/tex] respectively. Define an order relation < on A x B by defining [tex]a_1 \ x \ b_1 < a_2 \ x \ b_2 [/tex] if [tex] a_1 <_A a_2 [/tex], or if [tex] a_1 = a_2[/tex] and [tex] b_1 <_B b_2[/tex]. It is called the dictionary order relation on A X B.

    OK. I think I am just confused by the syntax here. Up to this point Munkres has used (a , b) to denote an element of A x B. I think here he wants [tex] a_1 \ x \ b_1 [/tex] to be what I am used to being [tex] (a_1 , b_1 ) [/tex]

    I think possibly the reason he changed notation, is that in an order relation (a , b) = { x| a < x < b} and he doesn't want us to get confused.

    I just need verification.

    What do you think?
  2. jcsd
  3. Oct 2, 2007 #2

    D H

    User Avatar
    Staff Emeritus
    Science Advisor

    Suppose set A is (1,2,3) while set B is (a,b,c). Members of A and B do not compare.

    The reason this is called dictionary order is because this is essentially the way we sort words. Suppose you have two words. First you compare the first letter in each word to each other; game over if these letters differ. You only go on to the second letter if the first letters match. You go on to the third if the second letters match, and so on.

    Now back to the original example. With this ordering, (1,b) < (1,c) < (2,a) (for example).
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook