4 TMDRelacoes Ordem
4 TMDRelacoes Ordem
4 TMDRelacoes Ordem
5. Relações de Ordem
1. Relação anti-simétrica
2. Relação de ordem
4. Diagramas de Hasse
∀a, b ∈ A, aρbρa ⇒ a = b
Exemplos:
I {(1, 1), (1, 2)} é anti-simétrica;
I {(1, 1), (1, 2), (1, 3), (2, 1)} não é anti-simétrica;
I ∆A é anti-simétrica (e simétrica);
I {(a, b) ∈ N2 : a divide b} é anti-simétrica;
I {(a, b) ∈ Z2 : a divide b} não é anti-simétrica;
I {(x, y ) ∈ R2 : x ≤ y } é anti-simétrica.
::: Relação anti-simétrica
∀a, b ∈ A, aρbρa ⇒ a = b
∀a, b ∈ A, aρbρa ⇒ a = b
Exemplos:
I {(1, 1), (1, 2)} é anti-simétrica;
::: Relação anti-simétrica
∀a, b ∈ A, aρbρa ⇒ a = b
Exemplos:
I {(1, 1), (1, 2)} é anti-simétrica;
I {(1, 1), (1, 2), (1, 3), (2, 1)} não é anti-simétrica;
::: Relação anti-simétrica
∀a, b ∈ A, aρbρa ⇒ a = b
Exemplos:
I {(1, 1), (1, 2)} é anti-simétrica;
I {(1, 1), (1, 2), (1, 3), (2, 1)} não é anti-simétrica;
I ∆A é anti-simétrica (e simétrica);
::: Relação anti-simétrica
∀a, b ∈ A, aρbρa ⇒ a = b
Exemplos:
I {(1, 1), (1, 2)} é anti-simétrica;
I {(1, 1), (1, 2), (1, 3), (2, 1)} não é anti-simétrica;
I ∆A é anti-simétrica (e simétrica);
I {(a, b) ∈ N2 : a divide b} é anti-simétrica;
::: Relação anti-simétrica
∀a, b ∈ A, aρbρa ⇒ a = b
Exemplos:
I {(1, 1), (1, 2)} é anti-simétrica;
I {(1, 1), (1, 2), (1, 3), (2, 1)} não é anti-simétrica;
I ∆A é anti-simétrica (e simétrica);
I {(a, b) ∈ N2 : a divide b} é anti-simétrica;
I {(a, b) ∈ Z2 : a divide b} não é anti-simétrica;
::: Relação anti-simétrica
∀a, b ∈ A, aρbρa ⇒ a = b
Exemplos:
I {(1, 1), (1, 2)} é anti-simétrica;
I {(1, 1), (1, 2), (1, 3), (2, 1)} não é anti-simétrica;
I ∆A é anti-simétrica (e simétrica);
I {(a, b) ∈ N2 : a divide b} é anti-simétrica;
I {(a, b) ∈ Z2 : a divide b} não é anti-simétrica;
I {(x, y ) ∈ R2 : x ≤ y } é anti-simétrica.
::: Relação anti-simétrica
ρ ∩ ρ−1 ⊆ ∆A
::: Relação anti-simétrica
ρ ∩ ρ−1 ⊆ ∆A
ρ ∩ ρ−1 ⊆ ∆A
ρ ∩ ρ−1 ⊆ ∆A
ρ ∩ ρ−1 ⊆ ∆A
ρ ∩ ρ−1 ⊆ ∆A
1 0 0 1 0 1 1 0 1 1 1 0
1 1 1 1 0 0 0 0 1 1 1 0
0 0 0 1 1 1 1 0 1 1 1 0
0 0 0 0 1 1 1 1 0 0 0 1
::: Quais são relações anti-simétricas?
1 0 0 1 0 1 1 0 1 1 1 0
1 1 1 1 0 0 0 0 1 1 1 0
0 0 0 1 1 1 1 0 1 1 1 0
0 0 0 0 1 1 1 1 0 0 0 1
1 1 1
5 2 5 2 5 2
4 3 4 3 4 3
::: Relações anti-simétricas
ρ ⊆ ∆A .
::: Relação de ordem
TPC:
TPC:
TPC:
TPC:
TPC:
5 2
4 3
é uma relação de ordem.
::: Exemplo: Relação de ordem (parcial)
Prove que a relação binária φ definida em [5] com digrafo:
1
5 2
4 3
é uma relação de ordem.
I φ é reflexiva pois todos os vértices do digrafo têm laços;
::: Exemplo: Relação de ordem (parcial)
Prove que a relação binária φ definida em [5] com digrafo:
1
5 2
4 3
é uma relação de ordem.
I φ é reflexiva pois todos os vértices do digrafo têm laços;
I φ é anti-simétrica pois se existe uma seta que liga a a b
então não existe uma seta que liga b a a, com a 6= b.
::: Exemplo: Relação de ordem (parcial)
Prove que a relação binária φ definida em [5] com digrafo:
1
5 2
4 3
é uma relação de ordem.
I φ é reflexiva pois todos os vértices do digrafo têm laços;
I φ é anti-simétrica pois se existe uma seta que liga a a b
então não existe uma seta que liga b a a, com a 6= b.
I φ é transitiva pois
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
0 1 0 1 0 0 1 0 1 0 0 1 0 1 0
Mφ2 0
= 0 1 0 0⊗0 0 1 0 0 = 0 0 1 0 0
0 0 0 1 0 0
0 0 1 0 0 0 0 1 0
0 0 0 0 1 0 0 0 0 1 0 0 0 0 1
logo φ2 ⊆ φ.
::: Ordenar os elementos de um conjunto
Um conjunto é
uma coleção
desordenada de
objetos
::: Ordenar os elementos de um conjunto
As relações de
equivalência
Um conjunto é
agrupam os
uma coleção
elementos do
desordenada de
conjunto em
objetos
classes de
equivalência.
::: Ordenar os elementos de um conjunto
As relações de
Iremos ver que as
equivalência
Um conjunto é relações de ordem,
agrupam os
uma coleção tal como o nome
elementos do
desordenada de indica, ordenam
conjunto em
objetos os elementos de
classes de
um conjunto.
equivalência.
::: Comparável e não comparável
I (N, ≤)
:::Conjunto totalmente ordenado (cto)
I (N, ≤)
I (A, |) onde A é o conjunto dos divisores de 128.
:::Conjunto totalmente ordenado (cto)
I (N, ≤)
I (A, |) onde A é o conjunto dos divisores de 128.
I (A, ⊆) onde A = {∅, [1], [2], [3], [4], [5], [6]}.
::: Representação de um cpo
5 2
4 3
5 2
4 3
3
2 5
1
::: Vamos exemplificar!
Para desenhar o diagrama de Hasse da relação de ordem parcial
com digrafo:
1
5 2
4 3
4 4
3 3
2 5 2 5
1 1
::: Vamos exemplificar!
Para desenhar o diagrama de Hasse da relação de ordem parcial
com digrafo:
1
5 2
4 3
4 4 4
3 3 3
2 5 2 5 2 5
1 1 1
::: Vamos exemplificar!
Para desenhar o diagrama de Hasse da relação de ordem parcial
com digrafo:
1
5 2
4 3
4 4 4 4
3 3 3 3
2 5 2 5 2 5 2 5
1 1 1 1
::: Outra construção!
4 6
2 3
1
::: Outra construção!
4 6 4 6
2 3 2 3
1 1
::: Outra construção!
4 6 4 6 4 6
2 3 2 3 2 3
1 1 1
::: Outra construção!
4 6 4 6 4 6 4 6
2 3 2 3 2 3 2 3
1 1 1 1
::: Diagrama de Hasse do CPO ([20], |)
16
20 8 12 18
14 10 4 15 6 9
17 13 7 5 2 19 3 11
CPO (P([3]), ⊆)
CPO ({divisores de 60}, | )
CPO (P([3]), ⊆)
CPO ({divisores de 60}, | ) altura:
4 = l ({∅, {1}, {1, 2}, [3]})
altura: 5 = l ({1, 3, 6, 12, 60})
largura: 4 = l ({4, 6, 10, 15})
::: Do diagrama de Hasse para a relação
I Qual é o conjunto A?
I Que relações são estas?
CPO (P([3]), ⊆)
CPO ({divisores de 60}, | ) altura:
4 = l ({∅, {1}, {1, 2}, [3]})
altura: 5 = l ({1, 3, 6, 12, 60})
largura:
largura: 4 = l ({4, 6, 10, 15})
3 = l ({{1}, {2}, {3}})
tes, :::
minorantes,
Voltando supremo e ínfimo de
ao exemplo A e B.
1...
8 Considere o conjunto X = {1, 2, 3, 4, 5, 6, 7, 8} parcialmente
do com o seguinte diagrama de Hasse:
1 ❂❂
❂❂
❂❂
❂❂
2 ❂❂
❂❂
❂❂
❂❂
4 ❂❂ ✁
5 ❂❂
❂❂ ✁✁ ❂❂
❂❂ ✁✁ ❂❂
❂❂ ✁ ❂❂
✁✁
3 ❂
✁ ❂❂ ✁
6
✁✁ ❂❂ ✁✁
✁✁✁ ❂❂ ✁✁✁
✁✁ ❂ ✁✁
7 8
os subconjuntos A = {4, 3, 7} e B = {2, 3, 4, 5}. Determine
3 5
::: Da matriz para o Diagrama de Hasse
1 1 0 0 0 1 0
0 1 0 0 0 0 0
1 1 1 0 0 1 0
0 1 0 1 0 0 1
1 1 0 1 1 1 1
0 0 0 0 0 1 0
0 0 0 0 0 0 1
::: Da matriz para o Diagrama de Hasse
1 1 0 0 0 1 0
0 1 0 0 0 0 0
1 1 1 0 0 1 0
0 1 0 1 0 0 1 Elementos maximais: 2, 6, 7
1 1 0 1 1 1 1
0 0 0 0 0 1 0
0 0 0 0 0 0 1
::: Da matriz para o Diagrama de Hasse
1 1 0 0 0 1 0
0 1 0 0 0 0 0
1 1 1 0 0 1 0
0 1 0 1 0 0 1 Elementos maximais: 2, 6, 7
1 1 0 1 1 1 1
0 0 0 0 0 1 0
0 0 0 0 0 0 1
3 5
::: Da matriz para o Diagrama de Hasse
1 1 0 0 0 1 0
0 1 0 0 0 0 0
1 1 1 0 0 1 0
0 1 0 1 0 0 1
1 1 0 1 1 1 1
0 0 0 0 0 1 0
0 0 0 0 0 0 1
::: Da matriz para o Diagrama de Hasse
I vértice 1 ligado e:
1 1 0 0 0 1 0
I abaixo de 2
0 1 0 0 0 0 0
I abaixo de 6
1 1 1 0 0 1 0
I acima de 3
0 1 0 1 0 0 1 I
acima de 5
1 1 0 1 1 1 1
0 0 0 0 0 1 0
0 0 0 0 0 0 1
::: Da matriz para o Diagrama de Hasse
I vértice 1 ligado e:
1 1 0 0 0 1 0
I abaixo de 2
0 1 0 0 0 0 0
I abaixo de 6
1 1 1 0 0 1 0
I acima de 3
0 1 0 1 0 0 1 I
acima de 5
1 1 0 1 1 1 1
I vértice 4 ligado e:
0 0 0 0 0 1 0 I abaixo de 2
0 0 0 0 0 0 1 I abaixo de 7
I acima de 5
Diagrama de Hasse:
2 6 7 6 2 7
1 4 1 4
3 5 3 5
::: Extremos num CPO
1. S1 = {3, 4, 5, 6}
2. S2 = {3, 4, 10}
3. S3 = {1, 4, 6, 11}