
Iniciado por
Dunkan
Me quiero sacar una duda, es muy facil el tema, pero cuando hay una duda, mejor sacarsela con otros que saben, y aca hay varios que seguro saben.
bue Digamos que tenemos una relacion R={(a,a); (a,b); (b,a); (a,c); (c,c); (a,d)} del conjunto A={a,b,c,d} sobre si mismo.
Se que para que esa Relacion sea reflexiva, falta el par ordenado (d,d).
Ahora, para que la relacion sea Simetrica, segun la definicion de simetria, cualquier par ordenado de la relacion (x,y), el par obtenido permutando sus componentes tambien pertenece a la relacion. Es decir en esa relacion de ahi arriba deberia haber un (c,a) y un (d,a) no?
Transitiva: en esa relacion los pares ordenados (a,b) (b,a) (a,a), cumplen con la regla de la transitiva, es suficiente para denominar la relacion transitiva o tambien tiene que haber un par ordenado (c,a) para completar (c,a)(a,c)(c,c) y (d,d)(d,a) para completar (d,a)(a,d)(d,d).?