ESI 24-10-2022

Aula 10- Relações de ordem

3.3 Relações de ordem

Definição

Chama-se relação de ordem definida no conjunto A a uma relação binária com as seguintes
propriedades:

(1) Reflexividade:

(2) Antissimetria:

(3) Transitividade:

Se adicionalmente, R satisfizer a proposição

(4) Dicotomia:
dir-se-á uma relação de ordem total.

Se R não for uma relação de ordem total, pode-se designar por relação de ordem parcial.

1
 ESI 24-10-2022

Exemplo RF6
1. Seja  a família de conjuntos. A relação em  definida por “ A é um subconjunto de B” é uma ordem
parcial.
 Reflexividade:

 Antissimetria:

 Transitividade:

 Dicotomia:

 Seja A um subconjunto qualquer de números reais. A relação ≤ em A é uma relação de ordem total – é
a chamada ordem natural.

 Reflexividade:

 Antissimetria:

 Transitividade:

 Dicotomia:

2
ESI 24-10-2022

 A relação R definida em N por “ ” é uma relação de ordem parcial em

N.
 Reflexividade:

 Antissimetria:

 Transitividade:

 Dicotomia:

3
 ESI 24-10-2022

Exercício 1

Considere o conjunto A={1,2,3 } e a relação R definida da seguinte forma ”. Determine

os elementos de R , o domínio e o contradomínio de R e, finalmente, as propriedades (de reflexividade, simetria,
antissimetria, transitividade e dicotomia) que possui R :

R=¿

D ( R )=¿

I ( R ) =¿

(1) Reflexividade: R={( 1,2 ) , ( 2,3 ) ,(1,3)}

(2) Antissimetria: R={( 1,2 ) , ( 2,3 ) ,(1,3) }

(3) Transitividade R={( 1,2 ) , ( 2,3 ) ,(1,3) }

(4) Dicotomia: R={( 1,2 ) , ( 2,3 ) ,(1,3)}

4
ESI 24-10-2022

5
 ESI 24-10-2022

Definição

Seja  uma relação de ordem definida em

A ; a relação definida por:

diz-se uma relação de ordem estrita definida em A .

Ou seja,

é uma relação de ordem parcial estrita em A sse é é irreflexiva, antissimétrica e transitiva.

Exemplo
A={ 1,2,3 }
R={( 1,2 ) , ( 2,3 ) ,(1,3) }

Nota:
Considere em A={α , β , δ , ε }
 R ' 1={ ( α , α ) , ( β , β ) , ( δ , δ ) , ( α , β ) , ( α , δ ) , ( α , ε ) , ( β , δ ) , ( β , ε ) , ( δ , ε ) }
Não é reflexiva nem irreflexiva, porque

 R ' 2={( α , α ) , ( β , β ) , ( δ , δ ) , ( ε , ε ) , ( α , ε ) , ( ε , α ) , ( β , ε ) , ( δ , ε ) }
Não é simétrica nem antissimétrica, porque

6
 ESI 24-10-2022

Exercício
Considere em A={α , β , δ , ε }, verificar se os seguintes subconjuntos são relações de ordem em A e
identificar se são de ordem total ou parcial.

 R1={ ( α , α ) , ( β , β ) , ( δ , δ ) , ( ε , ε ) , ( α , β ) , ( α , δ ) , ( α , ε ) , ( β , δ ) , ( β , ε ) , ( δ , ε ) }
 R2={ ( α , α ) , ( β , β ) , ( δ , δ ) , ( ε , ε ) , ( α , ε ) , ( β , ε ) , ( δ , ε ) }
 R3={( α , α ) , ( β , β ) , ( δ , δ ) , ( ε , ε ) , ( α , β ) , ( α , δ ) , ( α , ε ) , ( β , ε ) }

a) Verificar se R1 e R2são relações de ordem.

 R1={ ( α , α ) , ( β , β ) , ( δ , δ ) , ( ε , ε ) , ( α , β ) , ( α , δ ) , ( α , ε ) , ( β , δ ) , ( β , ε ) , ( δ , ε ) }

(1) Reflexividade:

(2) Antissimetria:
R1={ ( α , α ) , ( β , β ) , ( δ , δ ) , ( ε , ε ) , ( α , β ) , ( α , δ ) , ( α , ε ) , ( β , δ ) , ( β , ε ) , ( δ , ε ) }

(3) Transitividade:
R1={ ( α , α ) , ( β , β ) , ( δ , δ ) , ( ε , ε ) , ( α , β ) , ( α , δ ) , ( α , ε ) , ( β , δ ) , ( β , ε ) , ( δ , ε ) }

7
ESI 24-10-2022

(5) Dicotomia:
R1={ ( α , α ) , ( β , β ) , ( δ , δ ) , ( ε , ε ) , ( α , β ) , ( α , δ ) , ( α , ε ) , ( β , δ ) , ( β , ε ) , ( δ , ε ) }

 R2={ ( α , α ) , ( β , β ) , ( δ , δ ) , ( ε , ε ) , ( α , ε ) , ( β , ε ) , ( δ , ε ) }

(1) Reflexividade:

(2) Antissimetria:
R2={ ( α , α ) , ( β , β ) , ( δ , δ ) , ( ε , ε ) , ( α , ε ) , ( β , ε ) , ( δ , ε ) }

(3) Transitividade:
R2={ ( α , α ) , ( β , β ) , ( δ , δ ) , ( ε , ε ) , ( α , ε ) , ( β , ε ) , ( δ , ε ) }

(4) Dicotomia:
R2={ ( α , α ) , ( β , β ) , ( δ , δ ) , ( ε , ε ) , ( α , ε ) , ( β , ε ) , ( δ , ε ) }

8
ESI 24-10-2022

b) Representar as 3 relações através de um diagrama de HASSE.

 R1={ ( α , α ) , ( β , β ) , ( δ , δ ) , ( ε , ε ) , ( α , β ) , ( α , δ ) , ( α , ε ) , ( β , δ ) , ( β , ε ) , ( δ , ε ) }

 R2={ ( α , α ) , ( β , β ) , ( δ , δ ) , ( ε , ε ) , ( α , ε ) , ( β , ε ) , ( δ , ε ) }

 R3={( α , α ) , ( β , β ) , ( δ , δ ) , ( ε , ε ) , ( α , β ) , ( α , δ ) , ( α , ε ) , ( β , ε ) }

9
 ESI 24-10-2022

Definição

A
Chama-se conjunto ordenado a um par ordenado onde é um conjunto não vazio e  uma relação de
ordem (parcial ou total) em A .

Se, para se tiver dir-se-á que b domina a ou que a antecede b .

Seja  uma relação de ordem num conjunto A . Então a relação inversa -1, definida por

quaisquer que sejam os elementos , é também uma relação de ordem.

Exemplo
 R1={ ( α , α ) , ( β , β ) , ( δ , δ ) , ( ε , ε ) , ( α , β ) , ( α , δ ) , ( α , ε ) , ( β , δ ) , ( β , ε ) , ( δ , ε ) }
−1
R1 =¿

R1 −1
R1

10
 ESI 24-10-2022

 R2={ ( α , α ) , ( β , β ) , ( δ , δ ) , ( ε , ε ) , ( α , ε ) , ( β , ε ) , ( δ , ε ) }

R−1
2 =¿

R2 −1
R2

 R3={( α , α ) , ( β , β ) , ( δ , δ ) , ( ε , ε ) , ( α , β ) , ( α , δ ) , ( α , ε ) , ( β , ε ) }
−1
R3 =¿

R3 −1
R3

Definição
Seja ( A , ≤) um conjunto ordenado. Chama-se cadeia de A a um subconjunto de A que é totalmente ordenado.

R1 R2 R3

11
 ESI 24-10-2022

Elementos extremais de um conjunto ordenado

Sendo (a , ≤) um conjunto (total ou parcialmente) ordenado dá-se o nome de

 máximo de A ao elemento de , se existir, tal que

ou seja, a é o máximo de A se dominar todos os outros elementos de A .

 mínimo de
A ao elemento , se existir, que satisfaz a condição

ou seja, b é o mínimo de A se preceder todos os outros elementos de A .

 R1={ ( α , α ) , ( β , β ) , ( δ , δ ) , ( ε , ε ) , ( α , β ) , ( α , δ ) , ( α , ε ) , ( β , δ ) , ( β , ε ) , ( δ , ε ) }

Máximo:

Mínimo:

R2={ ( α , α ) , ( β , β ) , ( δ , δ ) , ( ε , ε ) , ( α , ε ) , ( β , ε ) , ( δ , ε ) }
Máximo:

Mínimo:

 R3={( α , α ) , ( β , β ) , ( δ , δ ) , ( ε , ε ) , ( α , β ) , ( α , δ ) , ( α , ε ) , ( β , ε ) }
Máximo

12
 ESI 24-10-2022

Mínimo
Pode acontecer, se ordem não for total, que não exista um elemento comparável com todos os outros de A .
Nestes casos pode não possuir máximo ( ex . R3 ) ou mínimo ( ex . R2 )

Nestes casos podemos definir

 Elemento maximal, um elemento a ∈ A se verificar a condição

ou equivalentemente,

.
Isto é, a é um elemento maximal se não existir nenhum outro elemento em A que o domine estritamente.

 Elemento minimal um elemento b ∈ A se verificar a condição

ou equivalentemente,

.
Isto é, b é um elemento minimal se não existir nenhum outro elemento de A que o preceda estritamente.

R1={ ( α , α ) , ( β , β ) , ( δ , δ ) , ( ε , ε ) , ( α , β ) , ( α , δ ) , ( α , ε ) , ( β , δ ) , ( β , ε ) , ( δ , ε ) }

Elementos Maximais

Elementos Minimais

 R2={ ( α , α ) , ( β , β ) , ( δ , δ ) , ( ε , ε ) , ( α , ε ) , ( β , ε ) , ( δ , ε ) }
Elementos Maximais

Elementos Minimais

13
 ESI 24-10-2022

 R3={( α , α ) , ( β , β ) , ( δ , δ ) , ( ε , ε ) , ( α , β ) , ( α , δ ) , ( α , ε ) , ( β , ε ) }
Elementos Maximais:

Elementos Minimais:

Teorema
Seja A um conjunto ordenado pela relação de ordem (parcial ou total) ≤.

 Se é máximo então a é um elemento maximal e é o único elemento maximal de A ;

 Se é mínimo então b é um elemento minimal e é único elemento minimal de A .

Definição
Seja A um conjunto totalmente ordenado pela relação ≤ . Dir-se-á que ≤ é uma boa ordem ou que A é bem

ordenado por ≤ se todo o subconjunto não vazio de A possuir mínimo.

Exemplo
 Conjuntos bem ordenados

 Conjuntos que não são bem ordenados

14
 ESI 24-10-2022

Exercícios
 Seja A={2 , 3 , 4 , 6 , 8 ,12 } e defina-se a relação de ordem parcial ≤ tal que:
x ≤ y se e só se x divide y.

Determinar caso existam; elementos maximais, minimais, e indicar se algum destes é máximo ou mínimo.

 Seja A={x ∈ N : x ≤ 20} e defina-se a relação < tal que:

x < y se e só se y=2 x .

a) Verificar se ¿ é uma relação de ordem estrita.

15
ESI 24-10-2022

16