Understanding Set Theory: Equivalence Relations and Partitions Explained

Click For Summary
SUMMARY

This discussion focuses on the relationship between equivalence relations and partitions in set theory. An equivalence relation on a set X partitions X into disjoint subsets known as equivalence classes. The discussion highlights the need for clarity in notation, particularly when expressing mathematical symbols, such as using \in instead of \epsilon for better readability. Additionally, the importance of defining terms like A_b is emphasized to avoid confusion in mathematical discussions.

PREREQUISITES
  • Understanding of basic set theory concepts, including sets, relations, and functions.
  • Familiarity with equivalence relations and their properties.
  • Knowledge of partitions and how they relate to equivalence classes.
  • Basic mathematical notation and symbols used in set theory.
NEXT STEPS
  • Study the properties of equivalence relations in detail.
  • Explore the concept of partitions and their applications in set theory.
  • Learn about the notation and symbols commonly used in mathematical discussions.
  • Investigate examples of functions that create partitions through equivalence relations.
USEFUL FOR

Students of mathematics, educators teaching set theory, and anyone interested in understanding the foundational concepts of equivalence relations and partitions.

ElDavidas
Messages
78
Reaction score
0
Does anybody in here know their Set Theory really well? I could do with some help on a few questions!

Q1) Show how an equilance relation on a set X leads to a partition of X?

Q2) Let A and B be sets and [tex]f: A \rightarrow B[/tex]be a function. For each b [tex]\epsilon[/tex] ran f. Show that the collection of all subsets Ab of A is a partition of A and show how this partition can arise as a collection of equivalence classes under an equilavence relation on A determined by f.

I keep on reading my notes, but I don't quite understand how the terms equivalence relation, partition and equivalence classes all coincide with one another.
 
Last edited:
Physics news on Phys.org
Q1) Show how an equilance relation on a set X leads to a partition of X?
Well, start simple: what is an equivalence relation on X? What is a partition on X?

For each b [tex]\epsilon[/tex] ran f.
This was confusing at first -- it didn't help that my browser decided to put a line break between "ran" and "f". The first tip is when putting symbols in paragraphs, use [ itex ] instead of [ tex ]. Secondly, using the symbol [itex]\in[/itex] (which is preferable to [itex]\epsilon[/itex]) here is no better than simply saying the word "in" -- IMHO using the word would have been more readable.

Show that the collection of all subsets Ab of A is a partition of A
You've not defined the term "Ab" anywhere in your post... (Yes, I know you meant something like [itex]A_b[/itex], but you've not said what that means)
 

Similar threads

Replies
5
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K
Replies
1
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K
Replies
6
Views
3K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 7 ·
Replies
7
Views
1K