sea S = {1,2,3,4}
Explique por qué cada una de las siguientes no es una relación de equivalencia.
{ (1,1), (1,2), (2,1), (2,2), (3,3) }
{ (1,1), (1,2), (2,3), (1,3), (2,2), (3,3), (4,4) }
{ (1,1), (2,2), (3,3), (4,4), (2,3), (3,2), (2,4), (4,2)}
Tengo dificultades para tratar de entender la condición 3
Agradecería si alguien pudiera brindarme orientación.
Gracias
La primera seguramente no es una relación de equivalencia ya que no es reflexiva: no pertenece, esto es ~ es falso, esto es ~ para todos Es falso.
El segundo es exactamente como lo escribiste en tu comentario: pertenece a la relación, no lo hace, por lo tanto, la propiedad simétrica falla.
Tercero: tenemos los pares
y
, pero no
. Por lo tanto no es cierto que
~
~
~
(no transitivo).
¿Todo bien al respecto? ;)
Agua del grifo