05MAD_doc01
3 pág.

05MAD_doc01


DisciplinaMatemática Discreta4.135 materiais80.460 seguidores
Pré-visualização1 página
Exemplo 1: A relação R sobre o conjunto A={a, b, c} descrita por: 
R = {(a, a), (b, b), (c, c)} 
 
é uma relação reflexiva. 
 
O diagrama de flechas que representa a R é dado a seguir por: 
 
 
 
 
 
 
 
 
 
 
(*) R é reflexiva, observe que todo elemento do conjunto A possui um laço 
 
 
A relação R é dita SIMÉTRICA se quando x está relacionado com y, implicar em 
y estar relacionado com x, ou seja: 
(x, y) \uf0ceR\uf0ae (y, x) \uf0ce R, para x, y \uf0ce A 
Exemplo2 : A relação R no conjunto A={a, b, c} descrita por: 
R = {(a, a), (b, b), (a, b), (b, a), (b, c), (c, b)} 
é uma relação simétrica. 
 
 
 
 
 
 
(*) R é simétrica, observe que toda flecha possui duas pontas 
A 
 
 
a b 
 
 
 
c 
A 
 
 
 
 
a 
b 
c 
 
 
A relação R é dita TRANSITIVA se quando x está relacionado com y e 
y está relacionado com z, implicar em x estar relacionado com z, ou seja: 
(x, y) \uf0ceR e (y, z) \uf0ceR\uf0ae(x, z) \uf0ce R, para x, y, z \uf0ce A. 
 
Exemplo 3: A relação R no conjunto A={a, b, c}, descrita por: 
R = {(a, a), (a, c), (c, b), (a, b)} 
 
é uma relação transitiva. 
 
 
 
 
 
 
 
 
 
 
(*) R é transitiva, para um par de flechas consecutivas existe uma flecha cuja origem 
está na origem da primeira e a extremidade está na extremidade da segunda. 
A relação R é dita ANTISSIMÉTRICA se quando x está relacionado com y e y 
está relacionado com x somente quando x = y. 
(x, y)\uf0ceR e (y, x) \uf0ceR\uf0ae x = y, para x e y \uf0ce A 
 
Exemplo: Uma relação R no conjunto A={a, b, c}, descrita por 
R = {(a, a), (b, b), (a, b), (a, c)} 
 
é antissimétrica. 
A 
 a b 
 
 
 
 
 c 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
(*) R é antissimétrica, observe que não existem flechas com duas pontas 
Resumindo: 
Uma relação R sobre o conjunto A pode ser classificada como: 
 
\uf0b7 Reflexiva quando para todo x \u2208 A , (x, x) \u2208 R ou xRx. 
\uf0b7 Simétrica quando para quaisquer x, y \u2208A , se xRy então yRx . 
\uf0b7 Antissimétrica quando para quaisquer x, y \u2208A , se xRy e yRx então x = y . 
\uf0b7 Transitiva quando para quaisquer x, y, z \u2208A, se xRy e yRz então xRz . 
 
 
Exemplo: Considere o conjunto Z dos números inteiros. 
 
 
 
 
A 
 a b 
 
 
 
 
 c