Axiom of Pair and Axiom of Union?

Click For Summary
SUMMARY

The discussion clarifies the differences between the Axiom of Pair and the Axiom of Union in Set Theory, as outlined in the Jech and Hrabeck textbook. The Axiom of Pair asserts the existence of a set containing specific elements, such as {A, B}, while the Axiom of Union states that for any set, there exists a set containing all the elements of its members, represented as A ∪ B. The participants confirm that these axioms serve distinct purposes in set construction and understanding.

PREREQUISITES
  • Understanding of basic Set Theory concepts
  • Familiarity with the Axiom of Pair
  • Familiarity with the Axiom of Union
  • Knowledge of set notation and operations
NEXT STEPS
  • Study the implications of the Axiom of Pair in set construction
  • Explore the Axiom of Union and its applications in proofs
  • Learn about other axioms in Zermelo-Fraenkel Set Theory
  • Investigate the role of set operations in mathematical proofs
USEFUL FOR

Students and educators in mathematics, particularly those studying Set Theory, as well as anyone seeking to deepen their understanding of foundational axioms in mathematics.

A.MHF
Messages
26
Reaction score
1
So I've been learning Set Theory by myself through Jech and Hrabeck textbook, and I'm having trouble understanding some axioms.

1. Homework Statement

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.

Homework Equations


-

The Attempt at a Solution


-
 
Physics news on Phys.org
Do you know the difference between ##\{A,B\}## and ##A\cup B##?
 
micromass said:
Do you know the difference between ##\{A,B\}## and ##A\cup B##?
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?
 
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.
 
  • Like
Likes   Reactions: A.MHF
micromass said:
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.
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}.
 
Yes.
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 8 ·
Replies
8
Views
4K
  • · Replies 24 ·
Replies
24
Views
5K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 8 ·
Replies
8
Views
4K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K