Difference between revisions of "Equivalence class"
From Maths
(Created page with "==Definition== Given an Equivalence relation {{M|\equiv}} the equivalence class of {{M|a}} is denoted as follows: <math>[a]=\{b|a\equiv b\}</math> ==Equivalence relation...") |
(No difference)
|
Revision as of 01:44, 5 April 2015
Definition
Given an Equivalence relation ≡ the equivalence class of a is denoted as follows:
[a]={b|a≡b}
Equivalence relations partition sets
An equivalence relation is a partition
Equivalence classes are either the same or disjoint
This is the motivation for how cosets partition groups.
TODO: Add proofs and whatnot
