3.

- Dados los siguientes diagramas de Hasse y el conjunto A= {a, c, f, d}

d
DIAGRAMA I
c

f
e

d
e
c

DIAGRAMA II

Dado el conjunto A = {a, c, f, d}

MAXIMAL
MINIMAL
COTA SUPERIOR A
COTA SUPERIOR A
SUPREMO A

DIAGRAMA I
{d,e}
{a,f}
{d}

DIAGRAMA II
{d,e}
{b,a}
{d}

1.- Dado el siguiiente conjunto A={(a,b);(b,c);(c,d);(d,e);(e,f);(f,g)}

a. Defino la relacin
R= { [(b,d);(d,e)];[(e,f);(e,f)] ;[(f,g);(f,g)] ;[(d,e);(e,f)]; [(e,f);(f,g)] ;[(d,e);(f,g)]
;[(f,g);(d,e)] ;[(f,g);(e,f)] ;[(e,f);(d,e)]}
b. Probar que es una relacin de orden total
Para que sea una relacin de orden total; esta tiene que ser una relacin de
orden parcial y adems tiene que ser comparables; es decir,

1.1 Reflexiva (aR aRa)

(d,e) R (d,e): [(d,e);(d,e)] v
(e,f) R (e,f) : [(e,f) ; (e,f)]

(f,g) R (f,g) : [(f,g) ; (f,g)]

R es reflexiva.

1.2 Transitiva (abc R aRbbRc aRc)

(d,e) (e,f) (f,g) : [(d,e);(e,f)] [(e,f);(f,g)] [(d,e);(f,g)]
(e,f) (d,e) (f,g) : [(e,f);(d,e)] [(d,e);(f,g)] [(e,f);(f,g)]
(e,f) (f,g) (d,e) : [(e,f);(f,g)] [(f,g);(d,e)] [(e,f);(d,e)]
(d,e) (f,g) (e,f) : [(d,e);(f,g)] [(f,g);(e,f)] [(d,e);(e,f)]
(f,g) (d,e) (e,f) : [(f,g);(d,e)] [(d,e);(e,f)] [(f,g);(e,f)]
(f,g) (e,f) (d,e) : [(f,g);(e,f)] [(e,f);(d,e)] [(f,g);(d,e)]
R es Transitiva.
1.3 Antisimtrica (a,b ab aRb (bRc)

(d,e) (e,f)

[(d,e);(e,f)] [(e,f);(d,e)]

V
(e,f) (d,e)

[(e,f);(d,e)] [(d,e);(e,f)]

V
(d,e) (f,g)

[(d,e);(f,g)] [(f,g);(d,e)]

V
(f,g) (d,e)

[(f,g);(d,e)] [(d,e);(f,g)]

V
(e,f) (f,g)

[(e,f);(f,g)] [(f,g);(e,f)]

V
(f,g) (e,f)

[(f,g);(e,f)] [(e,f);(f,g)]

1.4 Comparables (S1 aRb bRa)

[(d,e);(e,f)] [(e,f);(d,e)]

[(e,f);(d,e)] [(d,e);(e,f)]

[(d,e);(f,g)] [(f,g);(d,e)]

[(f,g);(d,e)] [(d,e);(f,g)]

[(e,f);(f,g)] [(f,g);(e,f)]

[(f,g);(e,f)] [(e,f);(f,g)]

R es una relacin de orden total.

c.- Hallar diagrama de Hasse.
(f,g)
(e,f)
(d,e)

Es comparable.

2.- Dado el conjunto P(A)= {{1}, {i}, {-i}, {-1}, {1,-i}, {1,-1}, {1,i}, {i,-i}, {i,-1}, {-i,-1}, {1,
i, -i}, {1, i, -1}, {i, -i, -1}, {1, i, -i, -1}, {i, -i, -1}, }
N(P(A))= 16
Para que sea una relacin de equivalencia debe ser:
TRANSITIVA (abc R aRbbRc aRc)

SIMTRICA (ab R aRb bRa)

REFLEXIVA (a R aRa)
Defino la relacin
R= { [{1}, {1}]; [{i}, {i}]; [{-i}, {-i}]; [{1}, {i}]; [{i}, {-i}]; [{1}, {-i}]; [{-i}, {1}]; [{-i}, {-1}]; [{-i},
{i}]; [{i}, {1}]}
Por lo hecho anteriormente, se demuestra que es un R equivalencia.
Dgrafo

{-1}

{1}

{i}

{-i}