Writing down an explicit bijection

AI Thread Summary
To establish a bijection between N_{|X×Y|} and X×Y, where X = {a, b, c} and Y = {d, e}, one straightforward method involves assigning integers to each ordered pair in X×Y. The Cartesian product X×Y contains six elements, which can be indexed from 1 to 6. An alternative approach to avoid brute force is to use lexicographic order, which organizes the pairs alphabetically based on the defined order of the sets. This method results in the pairs being listed as (a, d), (a, e), (b, d), (b, e), (c, d), and (c, e). Both methods effectively demonstrate the bijection between the two sets.
threeder
Messages
27
Reaction score
0

Homework Statement


Let X= \{a,b,c\} and Y= \{d,e\}. Write down and explicit bijection N_{|X×Y|} → X×Y

The Attempt at a Solution


Well I came up with the easiest method, just giving one value to each member of N_{|X×Y|} so I was just wondering whether there is another way of doing it not by brute force? :)
 
Physics news on Phys.org
Is N_{|X\times Y|} the set of positive integers from 1 to |X\times Y|. Sounds like what you did is the simplest thing to do. X\times Y contains 6 members so, write them in some order assign 1 to the first, 2 to the second, etc.
 
threeder said:

Homework Statement


Let X= \{a,b,c\} and Y= \{d,e\}. Write down and explicit bijection N_{|X×Y|} → X×Y

The Attempt at a Solution


Well I came up with the easiest method, just giving one value to each member of N_{|X×Y|} so I was just wondering whether there is another way of doing it not by brute force? :)

One natural way to do this that generalizes to larger sets and Cartesian products with more than two factors is to use the lexicographic order. That's like alphabetical order using whatever order relations happen to be defined on the factors, going left to right in the Cartesian product.

In the above case we'd have:

(a, d)
(a, e)
(b, d)
(b, e)
(c, d)
(c, e)
 
Back
Top