Buscar

Loading [MathJax]/jax/output/HTML-CSS/jax.js

7.2: Definición y Propiedades Básicas de las Relaciones de Equivalencia
https://espanol.libretexts.org/Matematicas/Logica_Matematica_y_Pruebas/Pruebas_y_conceptos_-_Los_fundamentos_de_la_matem%C3%A1tica_abstracta_(Morris_y_Morris)/07%3A_Relaciones_de_equivalencia/7.02%3A_Definici%C3%B3n_y_Propiedades_B%C3%A1sicas_de_las_Relaciones_de_Equivalencia
(simétrico) Dado $(a_{1}, b_{1}),(a_{2}, b_{2}) \in \mathbb{N} \times \mathbb{N}$ , tal que $(a_{1}, b_{1}) \sim (a_{2}, b_{2})$ , la definición de nos $\sim$ dice eso\(a_{1} + b_{2} = a_{2} + b_{1}\...(simétrico) Dado $(a_{1}, b_{1}),(a_{2}, b_{2}) \in \mathbb{N} \times \mathbb{N}$ , tal que $(a_{1}, b_{1}) \sim (a_{2}, b_{2})$ , la definición de nos $\sim$ dice eso $a_{1} + b_{2} = a_{2} + b_{1}$ . (transitivo) Dado $(a_{1}, b_{1}),(a_{2}, b_{2}),(a_{3}, b_{3}) \in \mathbb{N} \times \mathbb{N}$ , tal que $(a_{1}, b_{1}) \sim (a_{2}, b_{2}) \text { and } (a_{2}, b_{2}) \sim (a_{3}, b_{3}) ,$

Search