08-07-2012, 19:01
Un ejercicio de la guia dice comprobar si es de equivalencia. Puede decirme si lo que hago es correcto?
A= R al cuadrado (x;y)S(z;t) <-> \[5x^{2}- x - 5z^{2} + z = y -t\]
Reflexiva
(ya se que debo plantear todo pero muestro la conclusion a ver si es verdad)
(x;y)S(x;y) = \[5x^{2}- x - 5x^{2} + x = y -y\]
Simetrica
\[5x^{2}- x - 5z^{2} + z = y -t\]
\[5z^{2}- z - 5x^{2} + x = t -y\]
Transitiva
(x;y)S(z;t) / (z;t)S(a;b) ----> (X;Y)S(a;b)
\[5x^{2}- x - 5z^{2} + z = y -t\]
\[5z^{2}- z - 5a^{2} + a = t -b\]
Despejo t de ambos miembros
\[-5x^{2} + x + 5z^{2} -z +y = t\]
\[5z^{2}- z - 5a^{2} +a+b = t\]
Igualo hago todas las operaciones ( multiplico por -1;
\[-5x^{2} + x + 5a^{2} - a = -y + b + z\]
\[5x^{2} - x - 5a^{2} + a + z = y - b\]
Ato con alambre y digo que (a+z) = k (ponele....) y me queda de la misma estructura que la principal.
està bien esto?
A= R al cuadrado (x;y)S(z;t) <-> \[5x^{2}- x - 5z^{2} + z = y -t\]
Reflexiva
(ya se que debo plantear todo pero muestro la conclusion a ver si es verdad)
(x;y)S(x;y) = \[5x^{2}- x - 5x^{2} + x = y -y\]
Simetrica
\[5x^{2}- x - 5z^{2} + z = y -t\]
\[5z^{2}- z - 5x^{2} + x = t -y\]
Transitiva
(x;y)S(z;t) / (z;t)S(a;b) ----> (X;Y)S(a;b)
\[5x^{2}- x - 5z^{2} + z = y -t\]
\[5z^{2}- z - 5a^{2} + a = t -b\]
Despejo t de ambos miembros
\[-5x^{2} + x + 5z^{2} -z +y = t\]
\[5z^{2}- z - 5a^{2} +a+b = t\]
Igualo hago todas las operaciones ( multiplico por -1;
\[-5x^{2} + x + 5a^{2} - a = -y + b + z\]
\[5x^{2} - x - 5a^{2} + a + z = y - b\]
Ato con alambre y digo que (a+z) = k (ponele....) y me queda de la misma estructura que la principal.
està bien esto?