1 of 22

1

2.2 Properties of Relations

--Digraph representation

--Boolean matrix representation

2 of 22

2.3 Properties of Relations

  • Reflexive or Irreflexive
  • Symmetric
  • Asymmetric
  • Antisymmetric
  • Transitive

2

3 of 22

Properties of Relations

  • Properties of relations can be identified through three characteristics:
    • relation statement
    • matrix representation
    • digraph representation

3

4 of 22

Reflexive and Irreflexive Relations

Relation statement

Reflexive: For all a A, one has a R a.

Irreflexive: For every a A, a a

Example:

Let A={1,2,3}, and let R={(1,1),(1,2)}.

Then,

R is not reflexive since (2,2) R and (3,3) R

R is not irreflexive since (1,1) R

4

5 of 22

Reflexive and Irreflexive Relations

Matrix representation

Reflexive: have all 1’s on its main diagonal

Irreflexive: have all 0’s on its main diagonal

Example

Let A={1,2,3,4}. Determine whether the relation R whose matrix MR is given is reflexive or irreflexive?

Solution: MR have all 1’s in its main diagonal, so R is reflexive

5

6 of 22

Reflexive and Irreflexive Relations

Digraphs representation

Reflexive: has a cycle of length 1 at every vertex

Irreflexive: has no cycles of length 1

Example

Let A={1,2,3,4}. determine whether the relation R whose digraph is given is reflexive or irreflexive?

Solution: Not reflexive, since vertex 3 and 4 has no cycle of length 1.

Not irreflexive, since vertex 1 and 2 has cycle of length 1

6

7 of 22

Symmetric Relations

Relation statement

Symmetric: Whenever a R b then b R a.

Not Symmetric:

For some a and b A, with a R b but b a.

Example

Let A={1,2,3,4}, and let R={(1,2),(2,2),(3,4),(4,1)}.

Then,

R is not symmetric since (1,2) R but (2,1) R

7

8 of 22

Symmetric Relations

Matrix representation

Let MR=Mij,

Symmetric: Mij =1 then Mji =1, or Mij =0 then Mji =0

Not symmetric: vice versa

Example

Let A={1,2,3,4}. Determine whether the relation R whose matrix MR is given is symmetric or not?

8

9 of 22

Symmetric Relations

Solution:

Since,

M12 =1 then M21 = 1 or

M13 =0 then M31 = 0 or

M14 =0 then M41 = 0 or

M23 =0 then M32 = 0 or

M24 =0 then M42 = 0 or

M34 =0 then M43 = 0

R is symmetric

9

10 of 22

Symmetric Relations

Digraph representation

Symmetric: if there is an edge from vertex i to vertex j, then there is an edge from vertex j to vertex i

Not Symmetric: vice versa

Example

Let A={1,2,3,4}. determine whether the relation R whose digraph is given is symmetric or not?

Solution:Not symmetric, since there is an edge from vertex 2 to 3, but there is no an edge from vertex 3 to 2.

10

11 of 22

Asymmetric Relations

Relation statement

Asymmetric: Whenever a R b then b a.

Not Asymmetric:

For some a and b A, with both a R b and b R a.

Example

Let A={1, 2, 3, 4}, and let R = {(1,2), (2,2), (3,4), (4,1)}.

Then, R is not asymmetric since (2,2) R.

11

12 of 22

Asymmetric Relations

Matrix representation

Let MR=Mij,

Asymmetric: Mij =1 then Mji =0, followed by 0’s in the main diagonal

Not symmetric: vice versa

Example

Let A={1,2,3,4}. Determine whether the relation R whose matrix MR is given is asymmetric or not?

12

13 of 22

Asymmetric Relations

Solution:

Since,

M12 =0 , M21 = 0

M13 =1 then M31 = 0

M14 =1 then M41 = 1

M23 =1 then M32 = 0

M24 =0, M42 = 0 or

M34 =1 then M43 = 0

R is not asymmetric

13

violates

14 of 22

Asymmetric Relations

Digraph representation

Asymmetric: cannot simultaneously have an edge from vertex i to vertex j and an edge from vertex j to vertex i and also there can be no cycles of length 1.

Not Asymmetric: vice versa

Example

Let A={1,2,3,4,5}. Determine whether the relation R whose digraph is given is asymmetric or not?

Solution:Asymmetric, since there all edges are “one way” and there is no cycles of length 1.

14

4

1

2

3

5

15 of 22

Antisymmetric Relations

Relation statement

Antisymmetric: Whenever a R b and b R a, then a=b or

Whenever

Not Antisymmetric:

there is a and b in A, , and both a R b and b R a.

Examp le

Let A={1, 2, 3, 4}, and let R={(1,2), (2,2), (3,4), (4,1)}.

Then, R is antisymmetric since

15

16 of 22

Antisymmetric Relations

Matrix representation

Let MR=Mij,

Antisymmetric: If , then Mij =0 or Mji =0.

Not antisymmetric: Ǝ i and j with such that ???.

Example

Let A={1,2,3,4}. Determine whether the relation R whose= matrix MR is given is antisymmetric or not?

16

17 of 22

Antisymmetric Relations

Solution:

Since,

M12 =0 or M21 = 0

M13 =0 or M31 = 0

M14 =1 or M41 = 0

M23 =1 or M32 = 0

M24 =1 or M42 = 0

M34 =0 or M43 = 0

R is antisymmetric

17

18 of 22

Antisymmetric Relations

Digraph representation

Antisymmetric: for different vertices i and j there cannot simultaneously have an edge from vertex i to vertex j and an edge from vertex j to vertex i, however there may be cycles of length 1.

Not Antisymmetric: vice versa

Example

Let A={1,2,3,4,5}. Determine whether the relation R whose digraph is given is antisymmetric or not?

Solution: Antisymmetric, since all edges are “one way”.

18

4

1

2

3

5

19 of 22

Transitive Relations

Relation statement

Transitive: Whenever a R b and b R c, then a R c.

Not transitive :

If there exist a, b and c in A so that a R b and b R c, but a c

Example

Let A={1,2,3,4}, and let R={(1,2),(1,3),(4,2)}.

Then,

R is transitive since

(a, b, and c do not exist)

19

20 of 22

Transitive Relations

Matrix representation

Let MR=Mij,

Transitive: If Mij =1 then M2ji =1 or (MR )2= MR

Not transitive : vice versa

Example

Let A={1,2,3} and let R be the relation on A whose matrix is

Show that R is transitive.

20

21 of 22

Transitive Relations

(MR )2= = MR

therefore R is transitive.

21

22 of 22

Transitive Relations

Digraph representation

Transitive: If a and b are connected by a path of length 2, they must be connected by a path of length 1.

Not Transitive : ???

Example

Let A={1,2,3,4,5}. Determine whether the relation R whose digraph is given is transitive or not?

Solution: Transitive, since vertex 1 and 2 are connected by vertex 4, i.e. path of length 2, vertex 1 and 2 are also connected by a path of length 1.

22

4

1

2

3

5