Writing down an explicit bijection

Click For Summary
SUMMARY

The discussion focuses on establishing an explicit bijection between the set of positive integers N_{|X×Y|} and the Cartesian product X×Y, where X = {a, b, c} and Y = {d, e}. The simplest method involves assigning integers sequentially to the ordered pairs in X×Y, which contains six members. An alternative approach is to utilize lexicographic order, which generalizes well to larger sets and Cartesian products. This method organizes the pairs alphabetically based on the defined order of the elements.

PREREQUISITES
  • Understanding of Cartesian products in set theory
  • Familiarity with bijections and their properties
  • Knowledge of lexicographic ordering
  • Basic concepts of set notation and operations
NEXT STEPS
  • Explore advanced bijection techniques in set theory
  • Learn about Cartesian products involving more than two sets
  • Study lexicographic order in detail and its applications
  • Investigate combinatorial methods for counting and ordering sets
USEFUL FOR

Students of mathematics, particularly those studying set theory and combinatorics, as well as educators looking for effective teaching methods for these concepts.

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)
 

Similar threads

Replies
3
Views
2K
  • · Replies 17 ·
Replies
17
Views
3K
Replies
1
Views
1K
  • · Replies 2 ·
Replies
2
Views
6K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 11 ·
Replies
11
Views
4K
Replies
10
Views
3K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 0 ·
Replies
0
Views
2K