Week 12 Properties of Relations

# Week 12 Properties of Relations - R β¦ R β R Proof R is...

This preview shows page 1. Sign up to view the full content.

CONCORDIA UNIVERSITY COMP 232/2 Mathematics for Computer Science FALL 2010 Properties of Relations Reﬂexive x : x Symmetric x,y : x y -→ x y Antisymmetric x,y : x y -→ x=y Transitive x,y,z : x y z -→ x y z Let R be a relation on a set A . Proposition 1. R is reﬂexive if and only if Δ A R . Proof. R is reﬂexive ≡ ∀ a ± ( a, a ) R ² ≡ ∀ a b ± a = b ( a, b ) R ² ≡ ∀ a b ± ( a, b ) Δ A ( a, b ) R ² Δ A R. Proposition 2. R is symmetric if and only if R - 1 R . Proof. R is symmetric ≡ ∀ a b ± ( a, b ) R ( b, a ) R ² ≡ ∀ a b ± ( b, a ) R - 1 ( b, a ) R ² R - 1 R. Proposition 3. R is antisymmetric if and only if R R - 1 Δ A . Proof. R is antisymmetric ≡ ∀ a b ± ( a, b ) R ( b, a ) R a = b ² ≡ ∀ a b ± ( a, b ) R ( b, a ) R ( a, b ) Δ A ² ≡ ∀ a b ± ( a, b ) R ( a, b ) R - 1 ( a, b ) Δ A ² ≡ ∀ a b ± ( a, b ) R R - 1 ( a, b ) Δ A ² R R - 1 Δ A . Proposition 4. R is transitive if and only if
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: R β¦ R β R . Proof. R is transitive β‘ β a β b β c Β± ( a, b ) β R β§ ( b, c ) β R β ( a, c ) β R Β² β‘ β a β b β c Β± ( a, b ) / β R β¨ ( b, c ) / β R β¨ ( a, c ) β R Β² β‘ β a β c Β± β b [( a, b ) / β R β¨ ( b, c ) / β R β¨ ( a, c ) β R ] Β² β‘ β a β c Β± β b [( a, b ) / β R β¨ ( b, c ) / β R ] β¨ ( a, c ) β R Β² β‘ β a β c Β± Β¬β b [( a, b ) β R β§ ( b, c ) β R ] β¨ ( a, c ) β R Β² β‘ β a β c Β± β b [( a, b ) β R β§ ( b, c ) β R ] β ( a, c ) β R Β² β‘ β a β c Β± ( a, c ) β R β¦ R β ( a, c ) β R Β² β‘ R β¦ R β R. 9-Sep-2010, 4:02 pm...
View Full Document

## This note was uploaded on 11/15/2010 for the course ENCS COMP 232 taught by Professor Ford during the Fall '10 term at Concordia University Irvine.

Ask a homework question - tutors are online