1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Axiom of Pair and Axiom of Union?

  1. Dec 22, 2015 #1
    So I've been learning Set Theory by myself through Jech and Hrabeck textbook, and I'm having trouble understanding some axioms.

    1. The problem statement, all variables and given/known data

    What exactly is the difference between the axiom of pair and axiom of union?
    From what I understood, the axiom of pair tells us that there is a set C whose elements are the elements of A and the elements of B. As for the axiom of union, what I understood is that it tells us that each member in a set is a set itself. (Please correct me if I'm wrong). However, I've seen proofs using axiom of union to prove that there is a set that exists which has the exact elements of both set A and set B. But if that's what the axiom is for, then what's the use of axiom of pair? Please help me understand the role of each of those axioms.

    2. Relevant equations
    -
    3. The attempt at a solution
    -
     
  2. jcsd
  3. Dec 22, 2015 #2

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    Do you know the difference between ##\{A,B\}## and ##A\cup B##?
     
  4. Dec 22, 2015 #3
    The first one is a set whose elements are A and B. The second one is a set whose elements are the elements of the sets A and B.
    Is that correct?
     
  5. Dec 22, 2015 #4

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    Right. The axiom of pair just says ##\{A,B\}## exists. The axiom of union says ##A\cup B## exists (well, more or less). So they're very different statements.
     
  6. Dec 22, 2015 #5
    I see. Just to be clear, is this right:
    Let's say there is are sets A:{1,2,3} and B:{4,5,6}.
    The axiom of pair would tell me that this set exists: {{123},{456}}. The axiom of union would tell me that this one exists: {1,2,3,4,5,6}.
     
  7. Dec 22, 2015 #6

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?
Draft saved Draft deleted



Similar Discussions: Axiom of Pair and Axiom of Union?
  1. Completeness axiom (Replies: 2)

  2. Groups Axioms (Replies: 12)

  3. Infimum axiom (Replies: 24)

Loading...