Ejercicio · ZW-RELACION-DE-EQUIVALENCIA-TEORIA-010 · ★★★ Avanzado

¿Toda relación simétrica y transitiva sobre \(A\) es de equivalencia?

Elige una opción.

Ver respuesta
  • C. No: \(R=\{(1,1)\}\) sobre \(\{1,2\}\) es simétrica y transitiva, pero no reflexiva, porque \((2,2)\notin R\)

Explicación

La reflexividad no se deduce de las otras dos. En \(\{1,2\}\), la relación \(\{(1,1)\}\) no tiene cadenas que violen la simetría ni la transitividad, pero \(2\) no se relaciona consigo mismo.

Estudiar Teoría de conjuntos en ZWMath →

Repasa el concepto: Relación de equivalencia

Una relación binaria \(R\) sobre \(A\) que es reflexiva, simétrica y transitiva. Agrupa los elementos de \(A\) que se comportan igual respecto de una propiedad.

\[\forall a\in A\,(a\,R\,a)\ \wedge\ \forall a,b\in A\,(aRb \Rightarrow bRa)\ \wedge\\ \forall a,b,c\in A\,(aRb\wedge bRc\Rightarrow aRc)\]

Más ejercicios de relación de equivalencia

← ZW-RELACION-DE-EQUIVALENCIA-TEORIA-009