Consider a relation defined on the integers. Determine for the following if the relations are reflexive, symmetric, antisymmetric, transitive, partial orders, equivalence relations.
a)
b)
c)
d)
I've done some work on these for now (I don't know how to determine partial orders or equivalence relations), though I'm not sure if all my current answers are correct.
I'm unfortunately not able to show my work for my answers, as it would take a very long time to write it all out in Latex. I will, however, write out the conditions for each property (reflexive, symmetric, anti-symmetric, transitive) if it is true for the relation. For these, the sets are all integers (basically, ).
Reflexive:
Symmetric:
Anti-Symmetric:
Transitive:
a)
Reflexive, not symmetric, not anti-symmetric, transitive
b)
Not reflexive, not symmetric, anti-symmetric, transitive
c)
Not reflexive, not symmetric, anti-symmetric, not transitive
d)
Not reflexive, symmetric, not anti-symmetric, not transitive
Can anyone help me with determining if these are partial orders relations and/or equivalence relations? I'm afraid I don't know how to do those.
EDIT: One more thing. Plato, just so I'm clear, is there some unwritten rule about us having to do some work on our questions before asking them on the forum? If so, I'll accept that. I just want to make sure.
Well it is clear from the title of this forum: Math Help forum.
We are not a homework service.
If you only post a list of problems then what are we to think?
Without some guidance from you, by not seeing what you understand, how can we help?
Any relation on a set that is reflexive, anti-symmetric, and transitive is a partial ordering.
Any relation on a set that is reflexive, symmetric, and transitive is an equivalence relation .
Thanks for that bit on partial orders and equivalence relations.
Now, concerning the answers I provided earlier, did I make a mistake anywhere? I'm particularly concerned about the second one, which contains an absolute value part (I always get things messed up when absolute value brackets are involved). I'm not 100-percent sure if the second one is anti-symmetric. Besides that, I'm not entirely confident with my answers.