FATEC - SCS MATEMTICA DISCRETA I PROF.

EDISON

PROPRIEDADES DAS RELAES BINRIAS INTERNAS

P.1 REFLEXIVA R a b c d a 1 b 1 c 1 d 1 Na tabela (matriz) a diagonal principal est totalmente preenchida No grafo todos os elementos tm um arco- seta So reflexivas as relaes: mesma altura, mesma cor, divisor de, mltiplo de,etc P.2 NO REFLEXIVA R a b c d a 0 b 1 c 1 d 0 Na tabela (matriz) a diagonal principal est parcialmente preenchida No grafo, h pelo menos um elemento sem arco-seta P.3 ANTI-REFLEXIVA R a b c d a 0 b 0 c 0 d 0 Na tabela (matriz) a diagonal principal est vazia No grafo, nenhum elemento tem arco-seta So anti-reflexivas as relaes: pai de, av de, filho de, maior que, menor que,etc

P.4 SIMTRICA R a b c d a x 1 b x c 1 x 1 d 1 x Na tabela (matriz) os pares so simtricos em relao diagonal principal No grafo, as ligaes entre elementos distintos tm setas duplas So simtricas as relaes: irmo de, amigo de, tem a mesma forma que, tem a mesma idade que, tem a mesma altura que, etc P.5 NO- SIMTRICA R a b c d a x 1 1 1 b 1 x 1 1 c 1 1 x 1 d 1 1 x

Na tabela(matriz) h pelo menos um par que no tem o seu simtrico; a tabela no simtrica em relao diagonal principal No grafo, h pelo menos uma ligao que no tem setas nos dois sentidos (dupla)

P.6 ANTI-SIMTRICA R a b c d a b c d x 1 x 1 1 x x

Na tabela (matriz) no h pares em posies simtricas em relao diagonal principal No grafo, no h qualquer ligao em ambos os sentidos So anti-simtricas as relaes: pai de, filho de, maior que, menor que, etc

P.7 ASSIMTRICA R a b c d a 0 0 b 1 0 1 c 0 0 d 0 Na tabela(matriz) a diagonal principal deve ser igual a zero e no pode ocorrer pares simtricos. No grafo, se de algum elemento partir seta para outro elemento, no pode haver seta em sentido contrrio

P.8 TRANSITIVA R a b c d a 1 1 b 1 c d Se (a,b) e (b,d) so pares de R ento (a,d) tambm par de R. No grafo, se houver uma seta de a para b e outra de b para d, dever haver uma seta de a para d So transitivas as relaes: menor que, maior que, mora na mesma rua que, da mesma altura que, etc

P.9 NO- TRANSITIVA R a b c d a 1 b 1 c d R no-transitiva se houver pelo menos um caso em que (a,b) e (b,c) so pares de R mas (a,c) no par de R.

RELAO DE EQUIVALNCIA

R chamada relao de equivalncia se R for simultaneamente REFLEXIVA SIMTRICA E TRANSITIVA

Uma relao de equivalncia sobre um conjunto determina uma partio desse conjunto. Partio de um conjunto A o conjunto das partes de A tais que: -a sua unio o conjunto A -nenhuma vazia -sua interseco vazia Essas partes so denominadas classes de equivalncia Chama-se classe de equivalncia de um elemento a A , segundo uma relao R e representa-se por a ao conjunto de todos os elementos de A que lhe so equivalentes, isto , todos os elementos de A que esto relacionados com o elemento a segundo a relao de equivalncia R

RELAO DE ORDEM Uma Relao R sobre um conjunto A de ordem parcial se for simultaneamente REFLEXIVA ANTI-SIMTRICA E TRANSITIVA

SE, ALM DAS PROPRIEDADES MENCIONADAS ACIMA, UMA RELAO R VERIFICAR TAMBM :
a, b A, (a, b) R (b, a) R a relao R considerada de ordem total.

O efeito de uma relao de ordem sobre um conjunto A a formao de uma srie ordenada de elementos de A.