Cmo demostrar que es una relacin de orden en Z^2?

No s cmo demostrar que son relaciones de orden en Z^2 en los siguientes ejemplos: (x,y)R(s,t) si y solo si xs e y=t. (x,y)R(s,t) si y solo si x<s o (x=s yt)
y y hace 2 aos Notificar un abuso

Informacin adicional (x,y)R(s,t) si y solo si xs e y/=t. (x,y)R(s,t) si y solo si x<s o (x=s yt)
hace 2 aos

Justo

Mejor respuesta - Elegida por la comunidad

Supongo que es (x,y)R(s,t) si y solo si xs e yt. Reflexiva Para todo (x,y)Z^2, (x,y) R (x,y) pues x x e y y Transitiva Si (x,y) R(s,t) => xs, y t y si (s,t) R(u,v) => su, t v luego x s u => x u e y t v => y v = > (x,y) R (u,v) Antisimtrica Si (x,y) R (s,t) => x s e y t y (s,t) R (x,y) => s x y t y Luego x=s e y=t y (x,y) = (s,t) -----------

(x,y)R(s,t) si y solo si x<s o (x=s e yt) Es el orden de las palabras. Se mira la primera letra de cada palabra y si una es anterior a otra, la palabra es anterior y si no se mira la segunda y se repite el algoritmo. Reflexiva (x,y) R (x,y) pues x = x e y y Transitiva Si (x,y) R (s,t) => x < s o (x=s e y t) y (s,t) R (u, v) => s < u o (s = u y t v) x < s < u => x < u => (x,y)R(u,v) x = s < u => x < u => (x,y)R(u,v) x < s = u => x < u => (x,y)R(u,v) x=s=u => y t, t u => (x,y) R (u,v) Antisimtrica (x,y) R (s,t) => x s (o x=s e yt) (s,t) R (x,y) => s x (o s=x y t y) xs, s x = x=s x=s => yt s=x => ty luego x=s, y=t => (x,y) = (s,t)
y hace 2 aos