Proving Equivalence of Sets A and B

  • Thread starter Thread starter guroten
  • Start date Start date
  • Tags Tags
    Equivalence Sets
Click For Summary
SUMMARY

The discussion focuses on proving the equivalence of two sets A and B under specific conditions. It establishes that if A - B is equivalent to B - A, then A is equivalent to B. Additionally, it addresses the scenario where A, B, and C are nonempty sets, asserting that if A cross B is equivalent to A cross C, then B must be equivalent to C. The participants suggest using bijections and cardinality definitions to explore these relationships further.

PREREQUISITES
  • Understanding of set theory, particularly the concepts of equivalence and cardinality.
  • Familiarity with bijections and their role in proving set equivalence.
  • Knowledge of Cartesian products, specifically A cross B.
  • Basic logical reasoning to analyze set relationships and eliminate possibilities.
NEXT STEPS
  • Study the concept of bijections in set theory to strengthen understanding of equivalence.
  • Explore examples of set equivalence and non-equivalence to solidify comprehension.
  • Learn about cardinality and its implications in comparing infinite sets.
  • Investigate the properties of Cartesian products and their applications in set theory.
USEFUL FOR

Mathematics students, educators, and anyone interested in advanced set theory concepts, particularly those studying equivalence relations and cardinality.

guroten
Messages
32
Reaction score
0

Homework Statement



1. Suppose A-B is equivalent to B-A. show that A is equivalent to B.
2. if A,B and C are nonempty and A cross B is equivalent to A cross C then B is equivalent to C
Any help would be appreciated, thanks!

The Attempt at a Solution


I tried constructing a bijection, but that did not work out right. Any ideas?
 
Last edited:
Physics news on Phys.org
By definition, if two sets A and B are equivalent, that every element in A is also in B, and every element in B is also in A. Can you use this idea on your first problem?

For your second problem, part of it is missing.
if A,B and C are nonempty and A cross B is equivalent to A cross then B is equivalent to C
Is the question "if A,B and C are nonempty and A cross B is equivalent to A cross C, then B is equivalent to C"
 
By equivalent, I mean they have the same cardinality, not that they are equal.
 
OK, so you know there is an bijection between A - B and B - A. It seems to me there are four cases:
A \subset B
B\subset A
A = B
A \cap B = \oslash

Can you eliminate one or more of these as possibilities, and then come up with a bijection for the remaining one(s)?

Some examples might be helpful to get you thinking in the right way.

1. A = {2, 4, 6, ...}, B = {1, 2, 3, ...}
2. A = {2, 3, 4, 5, ...}, B = {1, 2, 3, 4, ...}
3. any two sets that are equal
4. A = {2, 4, 6, ... }, B = {1, 3, 5, ... }
 

Similar threads

Replies
1
Views
2K
Replies
3
Views
1K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 21 ·
Replies
21
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 11 ·
Replies
11
Views
1K