Cartesian Product and Bijection

Click For Summary
SUMMARY

The discussion focuses on proving the existence of a bijection between the Cartesian product of two sets, specifically between the set S = A1 × A2 × ... × An and the set P = (A1 × A2 × ... × An-1) × An. The proposed function f maps elements from S to P, defined as f: A1 × A2 × ... × An → (A1 × A2 × ... × An-1) × An, where f((a1, ..., an-1, an)) = ((a1, ..., an-1), an). This mapping demonstrates that the two sets are not equal but can be identified through a bijection, confirming the existence of such a function.

PREREQUISITES
  • Understanding of Cartesian products in set theory
  • Knowledge of bijections and their properties
  • Familiarity with function mapping in mathematics
  • Basic concepts of set notation and element representation
NEXT STEPS
  • Study the properties of bijections in set theory
  • Learn about Cartesian products and their applications in mathematics
  • Explore examples of function mappings and their proofs
  • Investigate advanced topics in set theory, such as cardinality and infinite sets
USEFUL FOR

Mathematics students, educators, and anyone interested in set theory and its applications, particularly in understanding Cartesian products and bijections.

kidsasd987
Messages
142
Reaction score
4

Homework Statement


Given two sets of Cartesian product

S=A1×A2...×An
P=(A1×A2...×An-1)×An

show that there exists bijection between the two sets.

Homework Equations



∀a1,a2:a1∈A1, a2∈A2: A1×A2=(a1,a2)

The Attempt at a Solution



let f be a function that maps

f: P → A1×A2...×An-1 where f((A1×A2...×An-1))∈A1×A2...×An-1 and f(An)∈Anis this correct?
 
Physics news on Phys.org
No. You have to prove that there exists a bijection between the sets

##A_1 \times A_2 \times \dots A_{n-1} \times A_n## and ##(A_1 \times A_2 \times \dots A_{n-1}) \times A_n##, by giving an explicit bijection, or deducing the existence of such a function by other things you know.

These sets are not equal. The former contains elements of the form ##(a_1,\dots a_{n-1}, a_n)##, while the latter contains elements of the form ##((a_1,\dots, a_{n-1}),a_n)##. Formally, these are two different elements (but through the bijection you have to find, you can identify the two sets)

Always, when given such problems. Try the most obvious thing you can think of! This is:

Define ##f: A_1 \times A_2 \times \dots A_{n-1} \times A_n \to (A_1 \times A_2 \times \dots A_{n-1}) \times A_n: (a_1,\dots a_{n-1}, a_n) \mapsto ((a_1,\dots, a_{n-1}),a_n)##

Can you tell me why this is a bijection?
 

Similar threads

  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 17 ·
Replies
17
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 8 ·
Replies
8
Views
3K