Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Can someone please explain to me how to deal with equivalence relations on classes instead of sets? Is there some sort of generalisation of relations?

Thank you

share|improve this question

2 Answers 2

It’s not clear to me whether you’re asking what a class equivalence relation would look like formally, or how to work with one when you have it. I’ve given an answer based on the first interpretation, and Asaf has sketched an answer to the second interpretation.

Suppose that a class $\mathbf C$ is described by a formula $\varphi$: $x\in\mathbf{C}\leftrightarrow\varphi(x)$. A formula $\psi(x,y)$ describes a class equivalence relation on $\mathbf C$ if it satisfies the following conditions:

  • $\forall x\Big(\varphi(x)\to\psi(x,x)\Big)$ (reflexivity)
  • $\forall x,y\Big(\varphi(x)\land\varphi(y)\land\psi(x,y)\to\psi(y,x)\Big)$ (symmetry)
  • $\forall x,y,z\Big(\varphi(x)\land\varphi(y)\land\varphi(z)\land\psi(x,y)\land\psi(y,z)\to\psi(x,z)\Big)$ (transitivity)
share|improve this answer
    
No fair I am writing from an iPhone. Also we read the question in two very different ways. –  Asaf Karagila Dec 6 '12 at 1:12
    
@Asaf: Your interpretation may be right; I really can’t tell. You might want to add a link for Scott’s trick. –  Brian M. Scott Dec 6 '12 at 1:16
    
Well. I hope to find out in six hours. Now I have an appointment with the Sandman. Also could you please edit the link in? Doing that from the iPhone is a true pain in one lower back. –  Asaf Karagila Dec 6 '12 at 1:17

If you have an equivalence relation and each of the classes is a proper class, one can use Scott's trick and trim those classes into sets.

In concrete situations one may also be able to produce canonical representatives regardless to that fact. For examples cardinals in ZFC. There is a proper class of sets of each cardinality (except zero) but we have canonical sets to represent each class.

If you give more details it might be possible to give a more accurate answer. If this is just an idle curiosity then Scott's trick should satisfy it.

Also related:

  1. What can I do with proper classes?
  2. Are surreal numbers actually well-defined in ZFC?
  3. homeomorphism of topological spaces is an equivalence relation ?
share|improve this answer
    
I should add the remark that you have to understand class well in ZFC (to the point where you won't ask this, and much beyond it) to work with classes without feeling that you are cheating. –  Asaf Karagila Dec 6 '12 at 1:13

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.