Contedo

Contedo

1 Conjuntos parcialmente ordenados, totalmente ordenados

bem ordenados
1.1 Conjuntos parcialmente ordenados . . . . . . . . . . . . . . .
1.2 Diagramas de Hasse . . . . . . . . . . . . . . . . . . . . . . .
1.3 Dualidade . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.4 Elementos especiais num c.p.o. . . . . . . . . . . . . . . . . .
1.5 Isomorsmo . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.6 Produto cardinal de conjuntos parcialmente ordenados . . .
1.7 Subconjuntos especiais de um c.p.o. . . . . . . . . . . . . . .
1.8 Lema de Zorn: sua equivalncia a outras condies . . . . .
1.9 Conjuntos totalmente ordenados . . . . . . . . . . . . . . . .
1.10 Conjuntos bem ordenados . . . . . . . . . . . . . . . . . . .

e
.
.
.
.
.
.
.
.
.
.

2
2
4
5
5
6
7
8
10
12
14

2 Conceitos gerais em reticulados

18
2.1 Denio e propriedades bsicas . . . . . . . . . . . . . . . . . 18
2.2 Subconjuntos especiais de inf-semireticulados, sup-semireticulado,
reticulado. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
2.3 Morsmos de reticulados . . . . . . . . . . . . . . . . . . . . . 24
2.4 Semireticulados e reticulados completos . . . . . . . . . . . . . 26
2.5 Reticulados distributivos . . . . . . . . . . . . . . . . . . . . . 28

Captulo 1
Conjuntos parcialmente
ordenados, totalmente
ordenados e bem ordenados
1.1

Conjuntos parcialmente ordenados

Denio 1.1.1 Seja A um conjunto. Uma relao binria

A qualquer subconjunto de A A:

num conjunto

Nota 1.1.2 Se
uma relao binria num conjunto A e (x; y) 2
escreve-se habitualmente x y:
Denio 1.1.3 Dado um conjunto A 6= ;, uma relao
ordem parcial (r.o.p.) se satisfaz:
i) a a; 8a 2 A (reexiva).
ii) a b ^ b a ) a = b (anti-simtrica).
iii) a b ^ b c ) a c (transitiva).

em A diz-se de

Denio 1.1.4 Se uma relao de ordem parcial denida num conjunto

no vazio A, diz-se que (A; ) um conjunto parcialmente ordenado (c.p.o.).
As relaes de ordem parcial designam-se habitualmente, quando no h
ambiguidade, pelo smbolo .
2

3
Notao 1.1.5 Supondo que (A; ) um conjunto parcialmente ordenado:
x

y - x menor ou igual que y ou x precede y:

x,x

y - x no est em relao com y.

y - y maior ou igual que x ou y segue x:

Se a b e a 6= b; escreve-se a < b e diz-se que a precede propriamente b

ou que a propriamente menor que b.
Se a < b e @ z_ : a < z < b; diz-se que b cobre a e nota-se a
Se a

beb

b:

a; diz-se que a e b so no comparveis - a k b:

Exemplos 1.1.6 (Conjuntos parcialmente ordenados)

1. (P (C) ; ) em que C um conjunto qualquer e P (C) o conjunto dos
subconjuntos (partes) de C.
2. (S (G) ; ) em que G um grupo e S (G) o conjunto dos subgrupos de
G:
3. (N; ) ; (Q; ) ; (R; ) ; etc., sendo a relao de ordem usual nesses
conjuntos.
4. (N; ) ; em que 8x; y 2 N; x y , x divide y (xjy):
5. (C; ) ; em que 8z1 ; z2 2 C; z1 z2 , Re (z1 )
Re (z2 ) e Im (z1 )
Im (z2 ) :
6. (C (R; R) ; ) ; em que C (R; R) designa o conjunto das funes reais de
varivel real contnuas e 8f; g 2 C (R; R) ; f g , 8x 2 R; f (x) g (x) :
Exerccios 1.1.7
1. Mostre que cada um dos exemplos de 1.1.6 um conjunto parcialmente
ordenado.
2. Verique se (C; ) um conjunto parcialmente ordenado; sendo a relao denida por 8z1 ; z2 2 C; z1 z2 , jz1 j jz2 j :
3. Sendo (A; ) um conjunto parcialmente ordenado, considere a relao
< em A, isto a < b se e s se a b e a 6= b.

4
(a) Verique que
i. a

a (< irreexiva)

ii. a < b ) b

iii. a < b e b < c ) a < c

(b) Supondo que em A est denida uma relao que satisfaz i, ii e
iii da alnea (a), mostre que a relao denida por
a b , a b ou a = b; 8a; b 2 A; uma relao de ordem parcial.
4. Sendo (A; ) um conjunto parcialmente ordenado e B um subconjunto de A, mostre que B tambm um conjunto parcialmente ordenado para a relao induzida pela relao :

1.2

Diagramas de Hasse

Seja (A; ) um conjunto parcialmente ordenado nito. Este conjunto pode

ser representado por um diagrama, chamado Diagrama de Hasse, que se faz
do seguinte modo: Cada elemento de A representado por um ponto; se um
elemento y cobre um elemento x, coloca-se o ponto correspondente a y num
nvel mais elevado que o ponto correspondente a x e unem-se os dois pontos
por um segmento de recta.
Exemplo 1.2.1 Considere o conjunto A = f2; 3; 5; 6; 12; 18; 24; 36g com a
relao x y , x divide y: O diagrama de Hasse correspondente :

36
18

24

12

6
5

5
Exerccio 1.2.2 Construa todos os possveis diagramas de Hasse para um
conjunto parcialmente ordenado com trs elementos.

1.3

Dualidade

Denio 1.3.1 Se (A; ) um conjunto parcialmente ordenado, a relao

0
denida por x 0 y se e s se y x diz-se relao dual de :
Observaes 1.3.2
1. A relao dual tambm uma relao de ordem parcial (vericar) e,
portanto, (A; 0 ) tambm um conjunto parcialmente ordenado que se
diz dual de (A; ) :
2. Um conceito diz-se dual de outro conceito se pode ser obtido substituindo na denio do primeiro por .
3. Conceito dual de um determinado conceito vem a ser o mesmo conceito
denido para o conjunto parcialmente ordenado dual, mas traduzido em
termos do conjunto parcialmente ordenado original. As denies das
seces seguintes permitem exemplicar esta noo.
4. A classe de todos os conjuntos parcialmente ordenados coincide com a
classe dos seus duais. Isto d origem ao:
5. Princpio da dualidade de Schroeder: Na teoria de conjuntos parcialmente ordenados, se uma determinada proposio verdadeira tambm
verdadeira a proposio que se obtm quando se substituem os conceitos pelos seus duais e a relao por .

1.4

Elementos especiais num c.p.o.

Denio 1.4.1 Seja (A; ) um conjunto parcialmente ordenado e X A:

i) a 2 A majorante de X (minorante de X) se 8x 2 X; x a (a x) :
ii) m 2 A supremo ou limite superior de X (nmo ou limite inferior
de X) se

6
m majorante de X (minorante de X)
m

c; 8c 2 A tal que c majorante de X

(d

m; 8d 2 A tal que d majorante de X )

iii) m mximo de X (mnimo de X) se m 2 X e x

m; 8x 2 X
(m 2 X e m x; 8x 2 X):
iv) a 2 A um elemento maximal (minimal) se no existe x 2 A tal que
a < x (x < a) :
Observaes 1.4.2
1. Quando A tem elemento mximo, este designase frequentemente por
ltimo elemento ou 1 e se existir elemento mnimo, designa-se por
primeiro elemento ou 0.
2. O conceito de majorante pode-se obter do conceito de minorante do
c.p.o. dual, traduzido em termos da relao de ordem parcial dada. A
mesma observao pode ser feita para os outros conceitos dados.

1.5

Isomorsmo

Denio 1.5.1 Sejam (A; ) e (A0 ; 0 ) dois conjuntos parcialmente ordenados. Chamase isomorsmo de conjuntos parcialmente ordenados a uma
aplicao ' : A ! A0 que satisfaa:
(i) ' sobrejectiva.
(ii) a b , ' (a) 0 ' (b) ; 8a; b 2 A:
Se existe um isomorsmo entre (A; ) e (A0 ; 0 ) ; diz -se que A e A0 so
isomorfos, o que se denota por A = A0 :
Exerccio 1.5.2
Vericar que se ' um isomorsmo de c.p.o., ento ' uma aplicao
bijectiva.

7
Denio 1.5.3 Sejam (A; ) e (A0 ; 0 ) dois conjuntos parcialmente ordenados. Uma aplicao ' : A ! A0 uma aplicao istona se satisfaz
a b ) ' (a) 0 ' (b) ; 8a; b 2 A:
Observaes 1.5.4
1. Um isomorsmo sempre aplicao istona.
2. Uma aplicao istona bijectiva nem sempre um isomorsmo. Contraexemplo:

(b)
(a)

' (a)

' (b) e a

b (a k b)

3. Dois conjuntos parcialmente ordenados nitos tm o mesmo diagrama

de Hasse se e s se so isomorfos.

1.6

Produto cardinal de conjuntos parcialmente

ordenados

Denio 1.6.1 Seja (A ; ) 2 uma famlia de conjuntos parcialmente

ordenados. O produto cardinal formado pelos elementos (a ) 2 , em que
a 2 A ;8 2 :
Observaes 1.6.2
1. No caso innito a existncia do produto cardinal garantida pelo axioma da escolha.

8
2. Se nito, o produto cardinal o produto cartesiano dos conjuntos
da famlia.
Proposio 1.6.3 O produto cardinal de uma famlia (A ;
conjunto parcialmente ordenado com a relao (a ) 2
(b )
b ;8 2 :

1.7

)
2

um
,a
2

Subconjuntos especiais de um c.p.o.

Denio 1.7.1 Seja (A; ) um c.p.o. e seja X

A: X uma cadeia ou
subconjunto totalmente ordenado se ( ) 8x; y 2 X, x y ou y x:
Exerccios 1.7.2
1. Mostre que a condio ( ) equivalente a cada uma das seguintes
condies:
(a) ( 0 ) 8x; y 2 X; se x 6= y ento x < y _ y < x:
(b) ( 00 ) 8x; y 2 X; x = y _ x < y _ y < x:
2. Mostre que se (A; ) um conjunto parcialmente ordenado que satisfaz
( ) ento < ( e 6=) satisfaz:
(a) irreexiva.
(b) x 6= y ) x < y _ y < x:
(c) transitiva.
3. Considere o teorema Se num conjunto parcialmente ordenado (A; )
todo o subconjunto minorado tem nmo ento todo o subconjunto
majorado tem supremo.
(a) Escreva o teorema dual.
(b) Demonstre o teorema.
Denio 1.7.3 Seja (A; ) um c.p.o. e seja K A: K um subconjunto
convexo ou denso se dados a; b 2 K e c 2 A tal que a < c < b, ento c 2 K:

9
Exemplos 1.7.4 ((Suconjuntos convexos))
1. Triviais: ; e A:
2. Dados dois elementos a; b 2 A; a
[a; b] = fx 2 A : a

b, os intervalos

bg

]a; b[ = fx 2 A : a < x < bg

(b] = fx 2 A : x

bg

[b) = fx 2 A : b

xg

so subconjuntos convexos.
3. Se X

A; os conjuntos

M a (X) = fx 2 A : x majorante de Xg
M i (X) = fx 2 A : x minorante de Xg
so subconjuntos convexos.
Exerccio 1.7.5
Mostrar que a interseco de uma famlia arbitrria de subconjuntos convexos de um c.p.o. um subconjunto convexo e justicar que se pode denir
o subconjunto convexo gerado por qualquer subconjunto desse c.p.o.
Denio 1.7.6 Seja (A; ) um c.p.o.
1. I

A semi-ideal se

x2I ey
2. F

x)y2I

A semi-ltro se

x2F ex

y)y2F

Exerccios 1.7.7
1. Mostre que I semi-ideal se e s se AnI semi-ltro
2. Vericar para semi-ideais e semi-ltros o problema 1.7.5 dado para
subconjuntos convexos.

10
3. Mostre que a interseco de um semi-ideal com um semi-ltro um
subconjunto convexo.
4. Mostre que um subconjunto convexo no vazio interseco de um
semi-ideal com um semi-ltro.
Denio 1.7.8 Seja (A; ) um c.p.o.
1. I

A ideal se

(a) I semi-ideal
(b) x; y 2 I; 9 z 2 I tal que z
2. F

xez

y:

A ltro se

(a) I semi-ltro
(b) x; y 2 F; 9 z 2 F tal que z

1.8

xez

y:

Lema de Zorn: sua equivalncia a outras

condies

Denio 1.8.1 Seja (A; ) um c.p.o.

1. (A; ) diz-se indutivo se toda a cadeia majorada, isto , se sendo C
uma cadeia em A existe m 2 A que majorante de C:
2. (A; ) diz-se fortemente indutivo se existe supremo para toda a cadeia.
Denio 1.8.2 Seja A = fA g 2 uma famlia de conjuntos parcialmente
ordenada por incluso. Diz-se que A tem uma propriedade de carcter nito
se satisfaz:
f1 A 2 A )F

A (

f2 Se A tal que 8F

- parte nita)
A; F 2 A; ento A 2 A.

11
Teorema 1.8.3 As seguintes condies so equivalentes:
1. Condio de Kuratowski
Num conjunto parcialmente ordenado toda a cadeia est contida numa
cadeia maximal.
2. Condio de mximo
Um conjunto parcialmente ordenado indutivo tem elemento maximal.
3. Lema de Zorn
Um conjunto parcialmente ordenado fortemente indutivo tem elemento
maximal.
4. Condio de Hausdor
Num conjunto parcialmente ordenado existe elemento maximal.
5. Condio de Tukey
Uma famlia de conjuntos que goza de uma propriedade de carcter
nito tem elemento maximal.
Exemplo 1.8.4 O objectivo aplicar as condies anteriores prova que
qualquer espao vectorial tem uma base. Para isso necessrio denir (ou
lembrar) alguns conceitos:
Denio 1.8.5 Seja (V; +; K) um espao vectorial sobre um corpo K:
1. X V um conjunto linearmente independente de vectores se e s se
qualquer F
X linearmente independente.
2. X
V um conjunto linearmente dependente de vectores se e s se
existir F
X tal que F linearmente dependente.
3. B

V uma base se:

(a) B um conjunto linearmente independente de vectores.

(b) 8x 2 V nB; B [fxg linearmente dependente. (, x combinao
linear de um subconjunto nito de B).

12
Da denio anterior claro que B uma base de V se e s se um
elemento maximal na famlia de conjuntos.
Seja A = fX jX
V e X linearmente independenteg, ordenada por
incluso. Esta famlia goza de uma propriedade de carcter nito pois
X 2 A se e s se qualquer F
X linearmente independente. Pela
condio de Tukey, em A existe uma famlia maximal de vectores linearmente independente. Pela proposio anterior conclui-se que qualquer espao
vectorial tem uma base.

1.9

Conjuntos totalmente ordenados

Denio 1.9.1 Dado A 6= ;; uma relao

total se:

em A uma relao de ordem

O1 x x; 8x 2 A.
O2 x 6= y ) x y _ y z (dicotomia).
O3 x y e y z ) x z:
(A; ) um conjunto totalmente ordenado (c.t.o.). Podemos tambm
considerar a seguinte denio para relao de ordem total:
Denio 1.9.2 Dado A 6= ;; uma relao
total se:

em A uma relao de ordem

O01 x /x; 8x 2 A.
O02 x 6= y ) x y _ y z (dicotomia).
O03 x y e y z ) x z:
Neste caso, quando no haja ambiguidade,

pode-se representar por < :

Observaes 1.9.3
1. H casos em que a denio apresenta s como propriedades a dicotomia e a transitividade

13
2. Dado um conjunto A e duas relaes binrias denidas em A;
podem-se denir outras relaes

(i) x ( _ ) y , x y ou x y:
(ii) x ( ^ ) y , x y e x y:
(iii) x (

) y , 9z 2 A tal que x z e z y:

3. Com a relao denida em 1.9.2 pode-se obter uma r.o.p. fazendo a

relao < _ =; que tambm relao de ordem total de acordo com a
denio 1.9.1.
4. Existe uma correspondncia bijectiva entre as relaes de ordem total
denidas em 1.9.1 e em 1.9.2:
A

corresponde

^ 6= :

A < corresponde < _ = :

Pode-se ver ento que a cada relao de ordem total no reexiva est
associada uma reexiva e vice-versa e por isso o uso quase indistinto
de < ou quando est em jogo uma relao de ordem total.
5. Podem-se transportar para c.t.o.todos os conceitos dados para c.p.o.:
Por exemplo, se (A; <) c.t.o. e X A; m 2 A majorante de X se
x < m ou x = m; 8x 2 X:
Denio 1.9.4 Sejam (A; <) e (A0 ; <0 ) dois c.t.o. Uma aplicao ' : A !
A0 isomorsmo se ' isomorsmo entre (A; ) e (A0 ; 0 ) :
Proposio 1.9.5 Sejam (A; <) e (A0 ; <0 ) dois c.t.o. Uma aplicao ' :
A ! A0 isomorsmo se e s se:
1. ' sobrejectiva.
2. ' istona.

14
Exerccios 1.9.6
1. Seja (A; ) um c.t.o. e seja X

A: Mostre que:

(a) Se x 2 X elemento maximal (minimal) de X; ento x mximo

(mnimo) de X:
(b) Para cada x 2 A existe no mximo y 2 A tal que x

y.

Todo o subconjunto no vazio e nito de um c.t.o.contm um elemento

mnimo e um elemento mximo.
1. Seja (A; ) um c.p.o. Mostre que (A; ) um c.t.o. se e s se para
qualquer subconjunto nito X de A; um elemento maximal de X
mximo.

1.10

Conjuntos bem ordenados

Denio 1.10.1 Seja B 6= ;. O conjunto totalmente ordenado (B; <)

bem ordenado (c.b.o.) se qualquer seu subconjunto no vazio tem elemento
mnimo. [8X B; X 6= ;; X tem elemento mnimo ou 1o elemento]
Exemplos 1.10.2
1. (N; <) c.b.o.
2. (N; ) em que x y , xjy; no c.b.o.
3. (Q; <) no c.b.o.
8
>
< x; y pares e x < y:
4. (N; 2 ) em que x 2 y ,
x; y mpares e x < y: um c.b.o.
>
:
x mpar e y par.
8
>
x; y mltiplos de 3 e x < y:
>
>
>
>
>
< x; y (mltiplos de 3)+1 e x < y:
5. (N; 3 ) em que x 3 y ,
x (mltiplos de 3)+2 e x < y:
>
>
>
x (mltiplo de 3)+1 e y (mltiplo de 3)+2
>
>
>
: x (mltiplo de 3)+2 e y mltiplo de 3
um c.b.o.

15
Observaes 1.10.3
1. Todo o subconjunto diferente de vazio de um c.b.o. bem ordenado
para a relao induzida.
2. Todo o conjunto totalmente ordenado nito bem ordenado.
3. O dual de um conjunto bem ordenado pode no ser bem ordenado
(basta pensar em (N; <)).
Proposio 1.10.4 Seja (B; <) c.b.o. e x 2 B: Se x no mximo existe
um e um s y 2 B tal que x
y:
Denio 1.10.5 Seja (B; <) c.b.o.
(i) y diz-se sucessor de x se y

x:

(ii) l diz-se elemento limite do c.b.o. se l no mnimo nem sucessor.

Exemplos 1.10.6
1. Em (N; <) no h elementos limites.
2. Em (N; 2 ) (Exemplo 1.10.2-4), 2 elemento limite - no primeiro
elemento nem sucessor.
3. Em (N;

3)

(Exemplo 1.10.2-5), 2 e 3 so elementos limites.

Exerccio 1.10.7
Seja ' de (A; <) para (A0 ; <0 ) um isomorsmo de conjuntos totalmente
ordenados. Mostre que:
(a) Se (A; <) c.b.o.,ento (A0 ; <0 ) tambm c.b.o..
(b) Se l elemento limite, ento ' (l) tambm elemento limite.
(c) Se y sucessor de x ento ' (y) sucessor de ' (x) :
(d) Se x mnimo de A ento ' (x) mnimo de A0 :

16
Proposio 1.10.8 Seja (B; <) um c.b.o.. Os ideais prprios de B sio os
conjuntos
Bx = fy 2 B : y < xg ; x 2 B:
Corolrio 1.10.9 Seja (B; <) um c.b.o..O conjunto dos ideais prprios de
B um conjunto bem ordenado para a relao de incluso, ideal do conjunto
bem ordenado de todos os ideais de B e isomorfo a B:
Teorema 1.10.10 (Primeiro teorema de induo transnita)
Seja B um c.b.o. e seja X B satisfazendo
1) O primeiro elemento de B pertence a X:
2) Se b 2 X, ento sucb 2 X:
3) Se l elemento limite e Bl X ento l 2 X:
Ento X = B:
Nota 1.10.11 Traduzindo o teorema para (N; <) obtemos o princpio de
induo usual. (em N no h elementos limite):
Se X N tal que
1) 1 2 X
2) n 2 X ) n + 1 2 X
ento X = N.

Teorema 1.10.12 (Segundo teorema de induo transnita)

Seja B um c.b.o. e seja X B satisfazendo
Bx X ) x 2 X
Ento X = B:
Teorema 1.10.13 Um c.b.o. B no pode ser isomorfo a nenhum dos seus
ideais prprios. [Se I ideal de B e se ' : B ! I um isomorsmo, ento
B = I]
Corolrio 1.10.14 Entre dois conjuntos bem ordenados existe no mximo
um isomorsmo.

17
Teorema 1.10.15 Dados dois conjuntos bem ordenados,
8 um sempre iso>
B = B0
<
morfo a um ideal do outro. [Dados B e B 0 c.b.o. ento
ou B = Bx0
>
:
ou Bx = B 0

Teorema 1.10.16 Qualquer famlia fB g 2 de conjuntos bem ordenados

no isomorfos admite uma relao de boa ordem da seguinte forma:
B < B 0 , B isomorfo a um ideal prprio de B 0 :
Teorema 1.10.17 (Teorema da Boa Ordenao) Em todo o conjunto
no vazio existe uma relao de boa ordem (ou "Todo o conjunto no vazio
pode ser bem ordenado").
Observaes 1.10.18
1. O Teorema da Boa Ordenao equivalente ao Lema de Zorn e aos
outros enunciados dados.
2. Dada uma famlia de conjuntos no equipotentes o Teorema da Boa
Ordenao garante a existncia de uma boa ordenao, mas no nos
diz como deve ser considerada.

Captulo 2
Conceitos gerais em reticulados
2.1

Denio e propriedades bsicas

Denio 2.1.1
(a) Um conjunto parcialmente ordenado no qual cada par de elementos
tem nmo (supremo) designa-se por inf-semireticulado (sup-semireticulado)
Denio 2.1.2 (b) Reticulado um c.p.o. no qual cada par de elementos
tem nmo e supremo.
Exemplos 2.1.3
1. Sendo A um conjunto, (P (A) ; ) um reticulado:
inf (X; Y ) = X \ Y
sup (X; Y ) = X [ Y
2. Sendo G um grupo e S (G) o conjunto dos seus subgrupos, (S (G) ; )
um reticulado:
inf (G0 ; G00 ) = G0 \ G00
sup (G0 ; G00 ) = hG0 [ G00 i
3. Qualquer conjunto totalmente ordenado reticulado e, portanto, qualquer conjunto bem ordenado tambm reticulado:
Dados x e y; (i) x < y ou (ii) y < x:
Se (i), inf (x; y) = x e sup (x; y) = y:
18

19
4. Reticulados com menos de 6 elementos:

Exerccio 2.1.4 Construir diagramas de todos os inf-semireticulados com

menos de 6 elementos.
Observaes 2.1.5
1. O conjunto parcialmente ordenado dual de um reticulado ainda um
reticulado.
2. O conjunto parcialmente ordenado dual de um inf-semireticulado (supsemireticulado) um sup-semireticulado (inf-semireticulado).
3. Princpio de dualidade para reticulados: Se na teoria de reticulados vlido um teorema tambm vlido o teorema dual.
4. Cada par de elementos de um reticulado R tem um e um s nmo e
um e s supremo. O clculo do nmo e do supremo denem assim
operaes em R; para as quais se utilizam respectivamente os smbolos
^ e _. Designamos inf fx; yg por x ^ y e sup fx; yg por x _ y.

20
5. Um inf-semireticulado R designa-se por R^ e um sup-semireticulado R
por R_ :
As proposies seguintes estabelecem algumas das propriedades das operaes ^ e _:
Proposio 2.1.6 Dado um inf-semireticulado R^ tem-se, 8x; y; z 2 R^ :
1) x ^ x = x (idempotncia)
2) x ^ y = y ^ x (comutividade)
3) x ^ (y ^ z) = (x ^ y) ^ z (associatividade)
Proposio 2.1.7 (dual da anterior) Dado um sup-semireticulado R_ temse, 8x; y; z 2 R_ :
1) x _ x = x (idempotncia)
2) x _ y = y _ x (comutividade)
3) x _ (y _ z) = (x _ y) _ z (associatividade)
Proposio 2.1.8 Se R um reticulado tem-se, 8x; y; z 2 R :
1), 2), 3), 1), 2), 3)
) e ainda
4) (x ^ y) _ x = x
Leis de absoro.
4) (x _ y) ^ x = x
Proposio 2.1.9 Seja (S; ) um semi-grupo abeliano e idempotente. Denindo,
8x; y 2 S, a relao x
y , x y = x; ca denida em S uma r.o.p. e
(S; 0 ) um inf-semireticulado, em que inf fx; yg = x y:
Proposio 2.1.10 Seja (S; ) um semi-grupo abeliano e idempotente. Denindo,
8x; y 2 S, a relao x 0 y , x y = y; ca denida em S uma r.o.p. e
(S; 0 ) um sup-semireticulado, em que sup fx; yg = x y:
Observaes 2.1.11
1.

e
que
x

2. (S;

denidas nas proposies anteriores so relaes duais, uma vez

y,x y=y,y x=y,y

0

) c.p.o. dual de (S; ) :

x:

21
3. A proposio 2.1.10 dual da proposio 2.1.9, pelo que basta demonstrar uma delas.
Proposio 2.1.12 Seja (S; ^; _) um sistema algbrico com duas operaes
binrias tais que, 8x; y; z 2 R;
R1 ) x ^ y = y ^ x
R2 ) x ^ (y ^ z) = (x ^ y) ^ z
R3 ) (x ^ y) _ x = x

R10 ) x _ y = y _ x
R20 ) x _ (y _ z) = (x _ y) _ z
R30 ) (x _ y) ^ x = x

ento a relao denida em S por x y , x ^ y = x ou por x _ y = y uma

relao de ordem parcial e (S; ) um reticulado em que inf fx; yg = x ^ y
e sup fx; yg = x _ y:
Nota 2.1.13
Pode-se colocar o problema da independncia das condies (R1 ; R2 ; R3 )
e (R10 ; R20 ; R30 ) : Vamos encontrar modelos em que se veriquem duas delas e
no se verique a terceira:
1. Vlidas a comutatividade e a associatividade mas no a idempotncia:
x y
x
y

x x y y 6= y
x x

2. Vlidas a idempotncia e a associatividade mas no a comutatividade:

x y
x x x y 6= y x
y y

x
y

3. Vlidas a idempotncia e a comutatividade mas no a associatividade:

x y z u
x
y
z
u

x
u
z
u

u
y
z
u

z
z
z
u

u
u x (y z) 6= (x y) z
u
u

22

2.2

Subconjuntos especiais de inf-semireticulados,

sup-semireticulado, reticulado.

Vo-se rever os conceitos dados para c.p.o. e ver se h ou no necessidade

de alterao:
Subconjunto convexo - a denio mantm-se.
Intervalos (abertoss e fechados) - as denies mantm-se.
Semi-ideais - a denio mantm-se.
Semi-ltros - a denio mantm-se.
Ideais - a denio pode ser precisada no caso de ser sup-semireticulado
e reticulado e ca:
(
1) Semi-ideal
I ideal se
2) x; y 2 I ) x _ y 2 I
Filtros - a denio pode ser precisada no caso de ser inf-semireticulado
e reticulado e ca:
(
1) Semi-ltro
F ltro se
2) x; y 2 I ) x ^ y 2 I
Proposio 2.2.1 Num sup-semireticulado, a interseco de dois ltros ou
de dois semi-ltros nunca vazia.
Proposio 2.2.2 Num inf-semireticulado, a interseco de dois ideais ou
de dois semi-ideais nunca vazia.
Observaes 2.2.3
1. Num reticulado a interseco de dois semi-ideiais ou de dois semi-ltros
sempre diferente de vazio. Daqui se conclui que a interseco de
famlias nitas de semi-ideais ou semi-ltros diferente de vazia.
2. A observao anterior no se aplica a famlia innitas:]0; 1[ um
reticulado e \ (x] = ;:
x2]0;1[

23
Denio 2.2.4 Um subreticulado uma parte de um reticulado que fechada
para as operaes de ^ e _: (denio como estrutura algbrica).
Denio 2.2.5 Seja (R; ) um reticulado. R0 R um subreticulado se
(R0 ; R0 ) um reticulado e se supR0 fx; yg = supR fx; yg e inf R0 fx; yg =
inf R fx; yg : (denio como estrutura ordenada).
Denio 2.2.6 Seja R_ um sup-semireticulado. S
subsup-semireticulado se x; y 2 S ) x _ y 2 S:

R_ ; S 6= ;; um

Denio 2.2.7 Seja R^ um inf-semireticulado. S

subinf-semireticulado se x; y 2 S ) x ^ y 2 S:

R^ ; S 6= ;; um

Exerccios 2.2.8
1. Seja R_ um sup-semireticulado com a denio de estrutura ordenada.
Mostre que S
R_ um sub-sup-semireticulado se e s se 8x; y 2
S; x _S y = x _ y:
2. Exerccio anlogo para subinf-semireticulado.
3. Exerccio anlogo para subreticulado.
Exemplo 2.2.9

s5

s7
s3

s4

s6

s1

s5

s8

s2

s3

s1

s4

s2

Parte de um sup-semireticulado que tambm sup-semireticulado mas

que no subsup-semireticulado. De facto, S _ R_ ; mas supS (s1 ; s2 ) = s5 ,
mas supR (s1 ; s2 ) = s6 :

24
Observaes 2.2.10
1. Se R_ um sup-semireticulado
e fS _ g 2 uma famlia de sub-sup\
semireticulados,
S _ pode ser vazia, mas se for diferente de vazio
2

ento um subsup-semireticulado.

2. A observao anterior tambm se aplica a inf-semireticulados e a reticulados.

3. Pode-se, portanto, falar no sub-sup-semireticulado (sub-inf-semireticulado,
reticulado) gerado por um conjunto de elementos X, que se designa por
hXi :
Exerccios 2.2.11
1. Vericar quais dos subconjuntos especiais denidos para um reticulado
so sub-reticulados.
2. Denem-se no conjunto I (R) dos ideais de um reticulado as seguintes
operaes:
)
I1 ^ I2 = fi1 ^ i2 2 R : i1 2 I1 ; i2 2 I2 g
8I1 ; I2 2 I (R) :
I1 _ I2 = fi 2 R : i i1 ^ i2 ; i1 2 I1 ; i2 2 I2 g
Mostre que (I (R) ; ^; _) um reticulado.
3. Mostrar que o conjunto Ip (R) = f(a] : a 2 Rg dos ideais principais de
um reticulado subreticulado de I (R) em que (a] ^ (b] = (a ^ b] e
(a] _ (b] = (a _ b] :
4. Resolva questes anlogas para o conjunto dos ltros de um reticulado
e dos ltros principais.

2.3

Morsmos de reticulados

Denio 2.3.1
(a) Sejam R_ e R1_ sup-semireticulados. Uma aplicao ' : R_ ! R1_
um morsmo de sup-semireticulados se ' (x _ y) = ' (x) _ ' (y) ; 8x; y 2 R_ :

25
(b) Sejam R^ e R1^ inf-semireticulados. Uma aplicao ' : R^ ! R1^
um morsmo de inf-semireticulados se ' (x ^ y) = ' (x) ^ ' (y) ; 8x; y 2 R^
(c) Sejam R e R1 reticulados. Uma aplicao ' : R ! R1 um morsmo
de reticulados se ' (x _ y) = ' (x) _ ' (y) e ' (x ^ y) = ' (x) ^ ' (y) ; 8x; y 2
R_
Proposio 2.3.2 Se ' um morsmo de sup-semireticulados (inf-semireticulados,
reticulados) ento ' uma aplicao istona.
Nota 2.3.3 Se ' : R_ ! R1_ uma aplicao istona, no tem de ser um
morsmo de sup-semireticulados:

1
0

R1

a_b=c
' (a _ b) = 1e' (a) _ ' (b) = 0
Proposio 2.3.4 Seja ' : R_ ! R1_ um morsmo de sup-semireticulados
e sejam a1 ; b1 2 ' (R_ ) ; a1
b1 : Ento existem a; b 2 R_ ; a
b; tais que
' (a) = a1 e ' (b) = b1 :
Proposio 2.3.5 Dual da anterior.
Proposio 2.3.6 Para reticulados.
Proposio 2.3.7 Seja ' : R_ ! R1_ uma aplicao. Ento ' isomorsmo de conjuntos parcialmente ordenados se e s se ' isomorsmo de
sup-semireticulados.

26
Exerccios 2.3.8
1. Seja ' : R_ ! R1_ um morsmo de sup-semireticulados.
(a) Estudar as imagens por meio de ' dos subconjuntos especiais de
R_ :
(b) Fazer o mesmo estudo no caso de ' ser epimorsmo.
2. Seja R um reticulado. Mostre que
(a) Se I um ideal de R e F um ltro de R; ento I \ F ou vazio
ou um subreticulado convexo.
(b) Mostre que cada subreticulado convexo de R interseco, de um
modo nico, de um ideal com um ltro.
3. Seja fR_ g

2.4

uma famlia de sup-semireticulados.

Semireticulados e reticulados completos

Denio 2.4.1
(a) Um inf-semireticulado completo (sup-semireticulado completo) um
conjunto parcialmente ordenado no qual existe nmo (supremo) de cada subconjunto no vazio de elementos.
(b) Reticulado completo um c.p.o. no qual existe nmo e supremo de
cada subconjunto no vazio de elementos.
Observaes 2.4.2
1. Um sup-semireticulado completo tem elemento 1, que o supremo de
todo o conjunto.
2. Um inf-semireticulado completo tem elemento 0, que o nmo de todo
o conjunto.
3. Um reticulado completo tem elementos 0 e 1.

27
Proposio 2.4.3 Um c.p.o. R no qual existe supremo (nmo) de cada
subconjunto no vazio e no qual existe elemento 0 (elemento 1) um reticulado completo.
Exemplos 2.4.4
1. (N; j) inf-semireticulado completo. O elemento 0 1:
2. (N0 ; j) reticulado completo. O elemento 1 0:
3. Sendo X um conjunto, (P (X) ; ) um reticulado completo.
4. (R; ) no reticulado completo (no tem 0 nem 1).
5. R;

; onde R = R [ f 1; +1g reticulado completo.

6. Q;
; onde Q = Q [ f 1; +1g no reticulado completo (por
p
exemplo, 1; 2 no tem supremo em Q).
7. Sendo G um grupo, (S (G) ; ) (S (G) conjunto dos subgrupos de G)
reticulado completo. ( inf-completo pois a interseco de qualquer
famlia de subgrupos subgrupo e tem elemento 1; que o grupo G).
8. Sendo G um grupo, (N (G) ; ) (N (G) conjunto dos subgrupos normais de G) reticulado completo. ( inf-completo pois a interseco
de qualquer famlia de subgrupos normais subgrupo normal e tem
elemento 1; que o grupo G).
9. Sendo V um espao vectorial (S (V ) ; ) ; em que S (V ) o conjunto dos
subespaos vectoriais de V; reticulado completo. ( inf-completo pois
a interseco de qualquer famlia de subespaos vectoriais subespao
vectorial e tem elemento 1; que o espao V ):
10. Sendo A um anel, (S (A) ; ) (S (A) conjunto dos subanis de A)
reticulado completo. ( inf-completo pois a interseco de qualquer
famlia de subanis subanel e tem elemento 1; que o anel A).
11. Sendo A um anel, (I (A) ; ) (I (A) conjunto dos subanis de A)
reticulado completo. ( inf-completo pois a interseco de qualquer
famlia de ideais ideal e tem elemento 1; que o anel A).

28
12. Sendo T um espao topolgico, (F (T ) ; )

2.5

Reticulados distributivos

Proposio 2.5.1 Seja R um reticulado. So equivalentes as seguintes condies:

D1 ) 8a; b; c 2 R; a ^ (b _ c) = (a ^ b) _ (a ^ c) :
D2 ) 8a; b; c 2 R; a _ (b ^ c) = (a _ b) ^ (a _ c) :
D3 ) 8a; b; c 2 R; (a ^ b) _ (b ^ c) _ (a ^ c) = (a _ b) ^ (b _ c) ^ (a _ c) :
D4 ) 8a; b; c 2 R; a ^ (b _ c)

a _ (b ^ c) :

D5 ) R no contm nenhum subreticulado isomorfo a

ou

a^c=b^c
D6 ) 8a; b; c 2 R;
a_c=b_c

) a = b:

D7 ) 8a; b 2 R; se x 2 [a; b] ento existe no mximo um complemento relativo

de x no intervalo [a; b] :
Denio 2.5.2 Um reticulado distributivo se satisfaz alguma das condies
da proposio anterior.
Exemplos 2.5.3 ((Reticulados distributivos))
1. Todos os reticulados com menos de seis elementos excepto os referidos
na condio D5 :
2. Sendo X um conjunto, o reticulado (P (X) ; ) :

29
Nota 2.5.4
Da denio conclui-se facilmente que o reticulado dual de um reticulado distributivio distributivo, pelo que se pode enunciar um princpio de
dualidade para reticulados distributivos.
Exerccios 2.5.5
1. Cada subreticulado de um reticulado distributivo tambm reticulado
distributivo.
2. Cada imagem epimorfa de um reticulado distributivo um reticulado
distributivo.
3. Um produto directo de reticulados um reticulado distributivo se e s
se cada factor for um reticulado distributivo.
Proposio 2.5.6 Um reticulado R distributivo se e s se o reticulado dos
seus ideais I (R) (dos seus ltros F (R)) distributivo.
Proposio 2.5.7 Seja R um reticulado distributivo. Se P um ideal (ltro) maximal ento P um ideal (ltro) primo.