If R is reflexive and transitive, then R U R^U is an equivalence. I need to prove this using algebraic-relation calculations or disprove by counter example. I'm really not understanding this stuff. (Worried)

Printable View

- Mar 12th 2009, 08:27 PMthehollow89Relational proof
If R is reflexive and transitive, then R U R^U is an equivalence. I need to prove this using algebraic-relation calculations or disprove by counter example. I'm really not understanding this stuff. (Worried)

- Mar 13th 2009, 03:42 AMPlato
- Mar 13th 2009, 07:50 AMthehollow89
R converse I believe.

- Mar 14th 2009, 12:25 AMGrandadEquivalence Relation
Hello thehollow89

is the converse, or the*inverse*, of , means that if the element in R, the element is in - because that's what the inverse relation is: the relation you get by switching the order of the elements in the relation. (It's usually denoted by , as you might expect).

So, if is reflexive and transitive, all you'll need to prove in order for to be an equivalence relation is:

- is also reflexive and transitive, and therefore is reflexive and transitive
- is symmetric; in other words,

Can you do that, or do you need further help?

Grandad - Mar 14th 2009, 12:43 PMthehollow89
I mean I understand the question and what I need to prove, I'm just not sure how I go about proving it. The prof isn't really all that clear. He'll just teach us about the kinds of relations and then ask us to prove something and most kids end up stumped on what method of proof writing he wants...

- Mar 14th 2009, 04:32 PMGrandadEquivalence Relation
First we prove that is reflexive.

Assume that and are defined on the set .

Then is reflexive .

Now . Therefore , since , because is reflexive.

is reflexive.

Next, we prove that is transitive.

is transitive

Now , and

, since is transitive

is transitive

Finally, we prove that is symmetric.

or

Now if , then , and if , then .

Either way,

So is symmetric.

Finally, then, and are both reflexive and transitive, and is symmetric. So is an equivalence relation.

Grandad

- Mar 14th 2009, 05:59 PMthehollow89
- Mar 16th 2009, 01:38 PMPlato
The is a counter example to the statement in this problem.

Please see: http://www.mathhelpforum.com/math-he...roof-help.html