Cartesian Product and Bijection

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
1 reply · 2K views
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?