Thread: relations transitive

Hello, robocop_911!

Definition of transitive relation states that:
for every , then

So how come 1) is NOT transitive and 2) IS transitive?

In , we have:

. . . True

. . . True

. . . False!

. . is not transitive.



In , we have:

. . . True

. . . True

. . is transitive.

Originally Posted by Soroban

Hello, robocop_911!


In , we have:

1,2) \in R_1\quad\Rightarrow\quad (1,2) \in R_1" alt="(1,1) \in R_1 \:\wedge \1,2) \in R_1\quad\Rightarrow\quad (1,2) \in R_1" /> . . . True

2,1) \in R_1 \quad\Rightarrow\quad (1,1) \in R_1" alt="(1,2) \in R_1 \:\wedge \2,1) \in R_1 \quad\Rightarrow\quad (1,1) \in R_1" /> . . . True

. . . False!

. . is not transitive.



In , we have:

2,1) \in R_2 \quad\Rightarrow\quad (4,1) \in R_2" alt="(4,2) \in R_2 \:\wedge \2,1) \in R_2 \quad\Rightarrow\quad (4,1) \in R_2" /> . . . True

3,1) \in R_2 \quad\Rightarrow\quad (4,1) \in R_2" alt="(4,3) \in R_2 \:\wedge \3,1) \in R_2 \quad\Rightarrow\quad (4,1) \in R_2" /> . . . True

. . is transitive.

I disagree...
. . . False!

. . is not transitive.

it could bye (2,1) ^ (1,1) => (2,1) and (2,1) is in the set!

Recall that transitive property says for all elements a,b,c a~b, b~c => a~c

Originally Posted by Isomorphism

Recall that transitive property says for all elements a,b,c a~b, b~c => a~c

I am considering All the elements! Still, I am not getting the correct answer.

How come only...

R_6 = (3,4) is Also transitive? This is really mindboggling!