Relación de equivalencia ~

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

  1. Reflexivo
  2. Simétrico
  3. Transitivo

Agradecería si alguien pudiera brindarme orientación.

Gracias

Entonces, ¿quiere decir que para el segundo conjunto, (1,2) y (2,1) no están dentro del conjunto y, por lo tanto, no son simétricos?

Respuestas (1)

  1. La primera seguramente no es una relación de equivalencia ya que no es reflexiva: ( 4 , 4 ) no pertenece, esto es 4 ~ 4 es falso, esto es X ~ X para todos X Es falso.

  2. El segundo es exactamente como lo escribiste en tu comentario: ( 1 , 2 ) pertenece a la relación, ( 2 , 1 ) no lo hace, por lo tanto, la propiedad simétrica falla.

  3. Tercero: tenemos los pares ( 3 , 2 ) y ( 2 , 4 ) , pero no ( 3 , 4 ) . Por lo tanto no es cierto que
    X ~ y   &   y ~ z     X ~ z X , y , z (no transitivo).

¿Todo bien al respecto? ;)