Equivalence relations
I’m having a problem with an algebra exercise, of all things:
Define, by means of a partition, an e.r. on
which has, for each positive integer
, exactly one equivalence class with
elements. Describe this equivalence relation in the form ‘
iff
’
Update:
Got it! But there has got to be an easier one…



Then
is a partition of
. Visually, you construct it by defining the 1 element set to contain only 0, then the sets containing odd elements cover the positive integers in increasing order, and the sets containing even elements cover the negative integers. So:

Is there a simpler one? Since I did this assignment a whole two days before it’s due, I have time to pick some smarter people’s brains tomorrow.
Update again;
Turns out I misread the homework assignment: that problem wasn’t assigned after all.
Possibly relevant posts:
- Smooth functions (4/14/2005)
- 2 precal problems (7/5/2007)
- The sequence of all finite sequences (7/18/2005)
, exactly one equivalence class with
iff
’