Ejercicios de álgebra - Respuesta 29

Veamos si la relación dada es de orden:

Propiedad reflexiva:

\( \forall a \in A \; , \; a/a \; \leftrightarrow \; a R a \)

Propiedad antisimétrica:

Si \( \left\{\begin{array}{c}
aRb \; \leftrightarrow \; a/b \; \rightarrow \; a = b·t_1 \\
\\
bRa \; \leftrightarrow \; b/a \; \rightarrow \; b = a·t_2
\end{array}\right\} \; \rightarrow \; a = a·t_2·t_1 \rightarrow \; t_2·t_1 = 1 \)

Pero dado el conjunto A, t₁ y t₂ son elementos de Z, por lo que:

\( t_1 = t_2 = 1 \; \rightarrow \; a = b·t_1 = b \)

Propiedad transitiva:

Si \( \left\{\begin{array}{c}
aRb \; \leftrightarrow \; a/b \; \rightarrow \; a = b·t_1 \\
\\
bRc \; \leftrightarrow \; b/c \; \rightarrow \; b = c·t_2
\end{array}\right\} \; \rightarrow \; a = c·t_2·t_1 \; \rightarrow \; a = c·t \; \rightarrow \; a/c \; \rightarrow \; a R c \)

La relación es de orden pero no es de orden total ya que no todos los elementos son comparables entre sí. Por ejemplo 3 y 4 no son comparables, según se ve en el diagrama:



El conjunto está bien ordenado por la relación definida, pues posee primer elemento (el 1), que está relacionado con todos los demás.

Observando el diagrama anterior, podemos ver que los elementos distinguidos respecto de S1, S2 y S3 son, respectivamente:

Cotas superiores : {48}, {24, 48}, {48} ; Cotas Inferiores : {1, 2, 4}, {1, 2}, {1, 2, 4};

Supremo : {48}, {24}, {48} ; ínfimo : {4}, {2}, {4}

Máximo: {no}, {no}, {48} ; mínimo: {no}, {2}, {no}

Maximales: {12, 16}, {6, 8}, {48} ; minimales : {8, 12}, {2}, {12, 16}