Supongamos que $A$ es el conjunto compuesto por todos los pares ordenados de enteros positivos. Sea $R$ sea la relación definida en $A$ donde $(a,b) R (c,d)$ significa que $a + d = b + c$ .
(a) Demuestre que $R$ es una relación de equivalencia.
Esto es lo que tengo hasta ahora. ¿Es esto correcto?
Reflexivo: $a \sim a$ $\implies$ $a+b=a+b$ ; $(a,b) R (c,d)$
Simétrico: si $a \sim b$ entonces $b \sim a$ $\implies$ si $a+d=b+c$ entonces $c+b=d+a$
Transitivo: si $a \sim b$ y $b \sim c$ entonces $a \sim c$ $\implies$ si $a+d=b+c$ y $c+f=d+e$ entonces $a+d=d+e$
(b) Encuentre $[(1,1)]$ .
No estoy seguro de cómo enfocar esto.
0 votos
Tu derivación de la transitividad parece incorrecta. ¿Puedo sugerir que dejes de usar a y b para denotar tanto pares ordenados como elementos del par?
0 votos
Sus símbolos son difíciles de seguir. Intenta escribir tus pruebas utilizando frases completas. Para (b), esto significa encontrar todos los pares $(c,d)$ tal que $(1,1) \sim (c,d)$ que debería ser bastante fácil dada la definición.
0 votos
¿Cómo me referiría entonces a los pares ordenados?
0 votos
De la forma que quieras, siempre que no sea la misma que utilizas para referirte a los componentes de los pares.