1. Reflexiva
A relação R é dita reflexiva se todo elemento do domínio se relaciona com ele mesmo na imagem, ou seja, para todo a \(\in\) A, (a, a) \(\in\) R.
Exemplo:
A relação R = {(x, y) \(\in\) \(R^2\)|x é divisor de y} é reflexiva, pois x sempre divide ele mesmo. A relação R = {(x, y) \(in\) \(R^2\)|x < y} não é reflexiva, pois não teremos nenhum par ordenado do tipo (x, x).
2. Simétrica
Dizemos que Ré simétrica se dado que (a, b) \(in\) R há a implicação que (b, a) \(\in\) R.
Exemplo:
A relação R = {(x, y) \(\in\) \(R^2\)|x + y = 7} é simétrica, pois x + y = y + x, logo se (x, y) \(\in\) R temos que (y, x) \(\in\) R.
A relação R = {(x, y) \(\in\) \(R^2\)|y > x} não é simétrica, pois se (x, y) \(\in\) R dado que y > x, não poderíamos ter (y, x) \(\in\) R.
3. Antissimétrica
Dizemos que R é antissimétrica se dado que (a, b) \(\in\) R, com a \(\ne\) b, há a implicação que (b, a) \(\notin\) R.
Exemplo:
A relação R = {(x, y) \(\in\) \(R^{2}\)| y > x} é antissimétrica, pois se (x, y) \(\in\) Rdado que y > x, não poderíamos ter (y, x) \(\in\) R já que nesse caso deveríamos ter x > y.
A relação R = {(x, y) \(\in\) \(R^{2}\)| y + x = 7} não é antissimétrica, pois x + y = y + x, logo se (x, y) \(\in\) R, x \(\in\) y temos que (y, x) \(\in\) R.
4. Transitiva
Se (a, b), (b, c) \(\in\) R \(\Rightarrow\) (a,c) \(\in\) R dizemos que R é transitiva.
Exemplo:
A relação R = {(x, y) \(\in\) \(R^{2}\)| x = y} é transitiva pois se a = b e b = c, temos a = c.
A relação R = {(x, y) \(\in\) \(R^{2}\)| y = 2x} não é transitiva pois:
{b = 2a c = 2b \(\Rightarrow\) c = 2 (2a) = 4a \(\ne\) 2a.
5. Equivalência
A relação R pode ser dita de equivalência se for simultaneamente reflexiva, simétrica e transitiva.
6. Ordem
A relação R pode ser dita de ordem se for simultaneamente reflexiva, antissimétrica e transitiva.
Para provar que uma relação é uma relação de equivalência, você precisa demonstrar que ela satisfaz três propriedades fundamentais: reflexividade, simetria e transitividade. Vou explicar cada uma delas em detalhes:
-
Reflexividade: A relação R é reflexiva se cada elemento do conjunto A está relacionado a si mesmo. Em outras palavras, para todo elemento a em A, (a, a) pertence à relação R. Para provar a reflexividade, você deve mostrar que cada elemento está relacionado a si mesmo.
-
Simetria: A relação R é simétrica se, para cada par ordenado (a, b) em R, o par ordenado correspondente (b, a) também está em R. Em outras palavras, se a está relacionado a b, então b também está relacionado a a. Para provar a simetria, você deve mostrar que se (a, b) está em R, então (b, a) também está em R.
-
Transitividade: A relação R é transitiva se, para todos os pares ordenados (a, b) e (b, c) em R, o par ordenado correspondente (a, c) também está em R. Em outras palavras, se a está relacionado a b e b está relacionado a c, então a está relacionado a c. Para provar a transitividade, você deve mostrar que se (a, b) e (b, c) estão em R, então (a, c) também está em R.
Para provar que uma relação é uma relação de equivalência, você precisa demonstrar essas três propriedades para todos os elementos do conjunto. Se todas as três propriedades são satisfeitas, então você pode concluir que a relação é uma relação de equivalência.
Vale ressaltar que a prova de equivalência depende da relação específica que você está considerando, então a abordagem e o detalhamento da prova podem variar dependendo do contexto.
Plano de estudo gratuito
Está precisando de uma ajuda nos estudos? Então, conheça o plano de estudo da Quero Bolsa: um material completo, com textos, vídeo-aulas e exercícios com resolução. Baixe o cronograma sem pagar nada clicando aqui.