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

Homework Help: Cartesian Product and Bijection

  1. Dec 27, 2017 #1
    1. The problem statement, all variables and given/known data
    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.

    2. Relevant equations

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

    3. 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)∈An


    is this correct?
     
  2. jcsd
  3. Dec 27, 2017 #2

    Math_QED

    User Avatar
    Homework Helper

    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?
     
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook

Have something to add?
Draft saved Draft deleted