1

Today’s topics:• Associative and distributive properties of composition• Powers of a relation• Inverse relation

Homework #3 is posted (due on June 26)

2

Theorem. Let R AB, S BC and T CD denote three binaryrelations. Then relation compositions satisfy the following associative law:

(RS)T = R(ST)

Properties of composition

RS

A C B

DT R S

ST

3

Theorem. Let R AB, S BC and T CD denote three binaryrelations. Then relation compositions satisfy the following associative law:

(RS)T = R(ST)

Proof. First note that both sides define a relation from A to D. We also note the following:(RS)T = {(a, d) | aA and dD and cC [(a, c)RS cTd ]}

(by the definition of composition T )

= {(a, d) |… (cC, bB) [(aRb bSc ) cTd ]}(by definition of RS )

= {(a, d) |… (cC, bB) [aRb (bSc cTd )]}(by associative property of )

= {(a, d) |… (bB) [aRb (b, d ) ST ]}(by definition of ST )

= R(ST) (by the definition of composition R )

4

Associative property of composition means, thatno ambiguity arises if we simply write RST .

We can also define powers of a relation RAA recursivelyas R1=R and Rn+1=RnR (n 1)

Definition. A path in a relation R is a sequence a0, … , ak with k 0 such that (ai, ai+1) R for every i<k . We call k the length of the path.

5•

1•

7•

6•

4 •

3•

2•

A

a0

a1

a2

a3

1, 5, 7, 6 – a path of length 3

5

a1

a0 a2

a3

R (parent-of)

a1

RR= R2 (grandparent-of)

a0 a2

a3

RRR= R3

a1

a0 a2

a3

R4=

a1

a0 a2

a3

Powers of a relation

6

Theorem. (a, b) Rn iff there is a path of length n in R.(will be proved later by induction)

Ra

c

d

b

R2

b

a d

c

R3

a

bc

d

7

Proof 1) If RAA is reflexive, then for any aA, (a, a) R. To prove that R2 is reflexive, we need to show that for any aA, (a, a) R2, i. e. you can ‘return back to a in two steps’.This is obviously true, because you can simply repeat two loops.

Theorem. 1) If a relation R AA is reflexive, then R2 is also reflexive 2) If a relation R AA is symmetric, then R2 is also symmetric3) If a relation R AA is transitive, then R2 is also transitive.

Note, that we can prove in general, that if (a, a) R,then (a, a) Rn for any n > 0 (repeat loop n times)

8

Proof. 2) R AA is symmetric R2 is symmetric

a b

R2

?

assume (a, b) R2 cA, (a, c) R and (c, b) R

c

a b

R

(b, c) R and (c, a) R

a b

Rc

(b, a) R2

a

b

9

Proof 3) Assume R is transitive. To prove that R2 is transitive, assume that there exist (a, b) R2 and (b, c) R2 (otherwise R2

is ‘vacuously’ transitive) to show that (a, c) R2 .

Sketch of the proof

a bR2

c

a b

x A

c y A

a b

(a, b) R x

(b, c) R

yc

a b

x

yc(a, c) R2

10

It is interesting also to see how the composition distributes over union and intersection.

Theorem. Let R AB, S BC and T BC denote three binary relations. Then

1) R(ST) = (RS)(RT)2) R(ST) (RS)(RT)

11

1) R(ST) = (RS)(RT)

R = {(a1, b1), (a1, b2), (a2, b4)}

S = {(b1, c2), (b4, c1)} T ={(b4, c4)}

ST = {(b1, c2), (b4, c1), (b4, c4)}

AB C

R S

T

a1

a2

a3

c1

c2

c3

c4

b1

b2b3

b4

R(ST) = {(a1, c2), (a2, c1), (a2, c4)}

RS = {(a1, c2), (a2, c1)}, RT = {(a2, c4)},

(RS)(RT) ={(a1, c2), (a2, c1), (a2, c4)}

12

Proof (1) R(ST)={(a, c)|aA and cC and

bB [aRb (b, c) ST]}… …..dfn of R

= {(a, c)|… bB [aRb ( bSc bT c)]}……………dfn of

= {(a, c)|… bB [(aRb bSc) (aRb bT c)]}……distributive law

= {(a, c)|… [bB (aRb bSc)] [bB (aRb bT c)]}

by x[p(x) q(x)] [x p(x)] [x q(x)]

= {(a, c)|… [(a, c)RS ] [(a, c)RT ]}

by dfn of composition

= {(a, c)|… (a, c)RS RT }

by dfn of

= RS RT

13

Proof (2) R(ST) (RS)(RT)

Take an element (pair) (a, c) R(ST)

aA, cC and bB[aRb (b, c)(ST)]

dfn of composition

… bB[aRb (bSc bTc)]

dfn of ST

… bB[(aRb bSc)(aRbbTc)]

associative and idempotent laws

… [bB(aRb bSc)][bB(aRbbTc)]

by x[p(x) q(x)] [x p(x)] [x q(x)]

… [(a, c) RS] [(a, c) RT]

by dfn of composition

(a, c) (RS)(RT)

by dfn of

14

The converse subset relation (RS)(RT) R(ST) can be disproved by the following counterexample:

R

R

S

T

a

b

c

d

R = {(a, b), (a, c)}

S = {(b, d )}

T = {(c, d )}

RS = {(a, d )} RT = {(a, d )} (RS)(RT)= {(a, d )}

ST = R(ST)= (RS)(RT) R(ST)/

15

Definition. Inverse of relation R is defined as:R-1 = {(a, b) | (b, a)R} .

•Inverse of “parent-of” is “child of”.

•If R AB , then R-1 BA

• It is just relation “turned backward”.

16

Prove or disprove that RR-1 is reflexive.

A B

R AB a1 b1

R-1 BA

a2 b2

A

a1

a2

RR-1 AA

17

Theorem. Let R be a binary relation from A to B and S be a binary relation from B to C, so that RS is a composite relation from A to C. Then the inverse of this relation

(RS)-1 = S-1 R-1

Proof. (RS)-1 is a binary relation from C to A. (RS)-1 = {(c, a) | (a, c) RS }…….. by the definition of inverse

= {(c, a) | b B, aRb and bSc}…. by dfn of composition= {(c, a) | b B, (b, a) R-1 and (c, b) S-1 }

by dfn of inverse = {(c, a) | b B, (c, b) S-1 and (b, a)R-1}

by commutative property of and = {(c, a) | b B, (c, a) S-1R-1}

by dfn of composition= S-1 R-1

18

Closures of relations

A closure “extends” a relation to satisfy some property.But extends it as little as possible.

Definition. The closure of relation R with respect to property P is the relation S that

i) contains Rii) satisfies property Piii) is contained in any relation satisfying i) and ii). That is

S is the “smallest” relation satisfying i) and ii).

19

Just a reminder:

• reflexive: aRa for any a A• symmetric: aRb bRa• transitive: aRbbRc aRc• anti-symmetric: aRbbRa a = b,

i. e. a b, aRb bRa

20

Lemma 1. The reflexive closure of R is S = R {(a, a) | aA } =r(R).

S contains R and is reflexive by design. Furthermore, any relation satisfying i) must contain R, any satisfying ii) mustcontain the pairs (a, a), so any relation satisfying both i) and ii)must contain S

Proof. In accordance to the definition of a closure, we need to prove three things to show that S is reflexive closure:

i) S contains R ii) S is reflexive iii) S is the smallest relation satisfying i) and ii).

21

Example: R={(a, b), (a, c), (b, d), (d, e)}

a b c d ea 0 1 1 0 0 b 0 0 0 1 0c 0 0 0 0 0d 0 0 0 0 1e 0 0 0 0 0

R

a b c d ea 1 1 1 0 0 b 0 1 0 1 0c 0 0 1 0 0d 0 0 0 1 1e 0 0 0 0 1

S = r (R)

a •

b • c

•

••e d

R

a •

•c •

••e d

b

r (R)

22

Sometimes the relation on A that consists of all loops is called identity relation on A, i. e.

IA={(a, a)|aA}Then reflexive closure of a relation RAA is

r(R)=RIA

Example of a reflexive closure. Let A be any set and consider the relation on Power(A)

R = {(x, y)Power(A) Power(A) | xy}

The reflexive closure of R would be the relation: RIPower(A)={(x, y)Power(A)Power(A)|(x, y)R or (x, y) IPower(A)}

={(x, y)Power(A)Power(A)| xy or x=y} ={(x, y)Power(A)Power(A)| x y}

Thus, the reflexive closure of the ‘proper subset’ relation is the ‘subset’ relation.

23

Consider the relation ‘less then’ on A={1, 2, 3, 4, 5}

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

What is the reflexive closure of R?

1 2

3

4

5

R

r(R)

1 2

3

4

5