How to prove a relation is reflexive and transitive.
22,258
Huge hint:
Reflexive: For each $a\in A$, $f\left(a\right)=f\left(a\right)$ and hence $\left(a,a\right)$ is in $R$.
Transitive: Suppose $\left(a,b\right),\left(b,c\right)\in R$. Then $f\left(a\right)=f\left(b\right)$ and $f\left(b\right)=f\left(c\right)$ so that $f\left(a\right)=f\left(c\right)$ and hence __.
Related videos on Youtube
Author by
Lakmal Vithanage
I'm an Associate Tech lead at Axiata Digital Labs.
Updated on July 21, 2022Comments

Lakmal Vithanage less than a minute
In a question paper (I downloaded from internet) there was a question,
Let $f\colon A\to B$ be a function. Define $$R := \bigl\{\left(a,b\right) \mid \text{$a,b \in A$ and $f(a)=f(b)$}\bigr\}.$$ Show that $R$ is reflexive and transitive.
How can I solve this problem? Please help me.

Brian M. Scott over 8 yearsThe proof is just a matter of checking that $R$ satisfies the definitions of reflexivity and transitivity. Both are completely straightforward. What do you have to check in order to show that $R$ is reflexive? If you can answer that question, you should be able to show that $R$ is reflexive. If not, you need to look at the definition of reflexivity.

DKal over 8 yearsDo you know the definitions? To solve this question you just need to use the definitions.

Lakmal Vithanage over 8 yearsDkal, Can you explain ?

dfeuer over 8 yearslakmal, do you know the definition of a transitive relation? Of a reflexive relation?

Martin Sleziak over 8 years


Georgey over 8 yearsMore than a hint this actually is the answer without the required comments. The definition of the relation solves the question before it was even asked.

Georgey over 8 yearsDon't be, as I see it those hints do help students who are new to a certain material get some self confidence in it. I personally +1'ed it.