23-12-2010, 18:59
Despues de la depresion post-bochazo me puse a repasar un ejercicio que hice mal en el final, llegue a una posible solucion y me gustaria que me la corrijan.
El ejercicio era mas o menos asi:
¿Esta bien asi resuelto?
El ejercicio era mas o menos asi:
Cita:Sea (g;*) un grupo con neutro e, se define en el una relacion: XRY <=> x*y' siendo y asterisco el simetrico de y.
Probar que R es una relacion de equivalencia en (G;*).
Demostracion:
Reflexiva:
XRY <=> x*y' ; si y' = x' entonces x*x' = e entonces R es reflexiva.
Simetrica:
XRY <=> x*y' <=> existe (x*y')' * (x*y') = e entonces (x*y')' = y*x' entonces YRX
Transitiva:
XRY <=> x*y'
YRZ <=> y*z'
=> x*y'*y*z' = x*e*z' = x*z' entonces R es transitiva.
Luego R es de equivalencia.
¿Esta bien asi resuelto?