6,165 views

if R1 and R2 are reflexive relations on set A, then is R1 intersection R2 irreflexive?

### 1 comment

Reflexive relations are closed under UNION, thus Reflexive UNION Reflexive is always REFLEXIVE.

Let's Take a Example

A={1,2,3}

A $\times$ A ={ (1,1)(2,2)(3,3)(1,2)(2,1)(1,3)(3,1)(2,3)(3,2) }

Reflexive Relation :- A relation R on a set A is said to be Reflexive if  (xRx)∀x∈A

$\underbrace{(1,1)(2,2)(3,3) }_{n}$$\underbrace{(1,2)(2,1)(1,3)(3,1)(2,3)(3,2) }_{n^{2}-n}$

All  diagonal elements (1,1)(2,2)(3,3) should be present in every Reflexive relation.

Now Take any two relation on set A

R1={ (1,1) , (2,2) , (3,3) , (1,2) }

R={ (1,1) , (2,2) , (3,3) , (2,1) }

R1 ∩ R{ (1,1) , (2,2) , (3,3)  } which is Reflexive Relation.

Intersection of two reflexive relation can not be irreflexive.

Hence,Given statement " if R1 and R2 are reflexive relations on set A, then is R1 intersection R2 irreflexive? "  is false.

A relation cannot be reflexive and irreflexive simulatenously.
But if we take R1={(1,1),(2,2)} and R2={(3,3)} then R1 intersection R2 will be phi which is irreflexive relation
Your relation R1 and R2 is not reflexive.

1
2,577 views
{"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0}