lect_35 - Equivalence Relations and Partitions Margaret M...

This preview shows pages 1–3. Sign up to view the full content.

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: Equivalence Relations and Partitions Margaret M. Fleck 23 April 2010 This lecture continues the topic of equivalence relations (section 8.5 of Rosen), including how to prove that something is an equivalence relation. 1 Announcements Reminder: quiz next Wednesday. 2 Partitions Equivalence relations are used to divide up a set A into equivalence classes, each of which can then be treated as a single object. E.g. all the equivalence fractions are treated as a single rational number. This only works properly if the equivalence classes divide up the set neatly: they cover the whole set A , they don’t overlap, and every equivalence class contains at least one representative element. Cutting up A neatly is called being a partition of A . Knowing that we have a partition means that we don’t have to worry about how to handle annoying situations like partial overlap between two equivalence classes. This is particularly important when defining operations such as addition (e.g. of rationals). How would we define addition if one of the input equivalence classes had nothing in it? Formally, a partition of a set A is a collection of non-empty subsets of 1 A which cover all of A and don’t overlap. Specifically, if the subsets are A 1 , A 2 , . . .A n , then they must satisfy three conditions: a) A 1 ∪ A 2 ∪ . . . ∪ A n = A b) A i negationslash = ∅ for all i c) A i ∩ A j = ∅ for all i negationslash = j . A partition can contain an infinite set of subsets. To cover this possibility, we need to use a more general notation. Let P be our partition. then the three conditions are: a) uniontext X ∈ P X = A b) X negationslash = ∅ for all X ∈ P c) X ∩ Y = ∅ for all X, Y ∈ P , X negationslash = Y 3 Need for the RST properties Any partition P has a corresponding equivalence relation. Specifically, we define x ∼ y...
View Full Document

{[ snackBarMessage ]}

Page1 / 5

lect_35 - Equivalence Relations and Partitions Margaret M...

This preview shows document pages 1 - 3. Sign up to view the full document.

View Full Document
Ask a homework question - tutors are online