07/08/2013
2
Diagrama de Hasse
β€’
1, 2, 3, 4, 6, 8, 12 , |
RELAÇÕES:
DIAGRAMA DE HASSE, ELEMENTOS
MAXIMAIS E MINIMAIS, RETICULADOS
8
12
4
6
2
3
Matemática Discreta
Prof. João Paulo Lima
Universidade Federal Rural de Pernambuco
Departamento de Estatística e Informática
1
Copyright © 2006 by The McGraw-Hill Companies, Inc. All rights reserved.
3
Elementos Maximais
Elementos Maximais
β€’ Dado o poset 𝑆, β‰Ό
β€’ Um elemento π‘₯ ∈ 𝑆 é maximal em 𝑆, β‰Ό
4
2, 4, 5, 10, 12, 20, 25 , |
são maximais?
β€’ 12, 20 e 25 são elementos maximais
β€’ Ex: quais elementos do poset
se não existe
nenhum elemento maior que ele
β€’ Não existe 𝑦 ∈ 𝑆 tal que π‘₯ β‰Ί 𝑦
12
20
4
10
2
5
25
5
Elementos Minimais
Elementos Minimais
β€’ Dado o poset 𝑆, β‰Ό
β€’ Um elemento π‘₯ ∈ 𝑆 é minimal em 𝑆, β‰Ό
nenhum elemento menor que ele
6
β€’ Ex: quais elementos do poset
se não existe
2, 4, 5, 10, 12, 20, 25 , |
são minimais?
β€’ 2 e 5 são elementos minimais
β€’ Não existe 𝑦 ∈ 𝑆 tal que 𝑦 β‰Ί π‘₯
12
20
4
10
2
5
25
1
07/08/2013
7
8
Maior Elemento
Maior Elemento
β€’ Dado o poset 𝑆, β‰Ό
β€’ Ex: quais dos posets abaixo possuem maior elemento?
β€’ Um elemento π‘₯ ∈ 𝑆 é o maior elemento de 𝑆, β‰Ό se ele
β€’ Resposta: 𝑐 e 𝑑
for maior que todos os outros elementos
β€’ 𝑦 β‰Ό π‘₯ para todo 𝑦 ∈ 𝑆
β€’ Quando existe, o maior elemento é único
9
10
Menor Elemento
Menor Elemento
β€’ Dado o poset 𝑆, β‰Ό
β€’ Ex: quais dos posets abaixo possuem menor elemento?
β€’ Um elemento π‘₯ ∈ 𝑆 é o menor elemento de 𝑆, β‰Ό se ele
β€’ Resposta: π‘Ž e 𝑑
for menor que todos os outros elementos
β€’ π‘₯ β‰Ό 𝑦 para todo 𝑦 ∈ 𝑆
β€’ Quando existe, o menor elemento é único
11
12
Cotas Superiores
Cotas Superiores
β€’ Upper Bounds
β€’ Ex: quais são as cotas superiores dos subconjuntos
β€’ Dado o poset 𝑆, β‰Ό
π‘Ž, 𝑏, 𝑐 , 𝑗, 𝑕 e π‘Ž, 𝑐, 𝑑, 𝑓 no poset a seguir?
β€’ Dado um subconjunto 𝐴 de 𝑆
β€’ Cotas superiores de π‘Ž, 𝑏, 𝑐 : 𝑒, 𝑓, 𝑕, 𝑗
β€’ Um elemento π‘₯ ∈ 𝑆 é cota superior (upper bound) de 𝐴 se
β€’ Cotas superiores de 𝑗, 𝑕 : nenhuma
ele é maior ou igual a todos os elementos de 𝐴
β€’ 𝑦 β‰Ό π‘₯ para todo 𝑦 ∈ 𝐴
β€’ Cotas superiores de π‘Ž, 𝑐, 𝑑, 𝑓 : 𝑓, 𝑕, 𝑗
2
07/08/2013
13
14
Cotas Inferiores
Cotas Inferiores
β€’ Lower Bounds
β€’ Ex: quais são as cotas inferiores dos subconjuntos
π‘Ž, 𝑏, 𝑐 , 𝑗, 𝑕 e π‘Ž, 𝑐, 𝑑, 𝑓 no poset a seguir?
β€’ Dado o poset 𝑆, β‰Ό
β€’ Dado um subconjunto 𝐴 de 𝑆
β€’ Cotas inferiores de π‘Ž, 𝑏, 𝑐 : π‘Ž
β€’ Um elemento π‘₯ ∈ 𝑆 é cota inferior (lower bound) de 𝐴 se
β€’ Cotas inferiores de 𝑗, 𝑕 : π‘Ž, 𝑏, 𝑐, 𝑑, 𝑒, 𝑓
ele é menor ou igual a todos os elementos de 𝐴
β€’ π‘₯ β‰Ό 𝑦 para todo 𝑦 ∈ 𝐴
β€’ Cotas inferiores de π‘Ž, 𝑐, 𝑑, 𝑓 : π‘Ž
15
16
Menor Cota Superior
Menor Cota Superior
β€’ Dado o poset 𝑆, β‰Ό
β€’ Ex: qual a menor cota superior do subconjunto 𝑏, 𝑑, 𝑔 no
poset a seguir?
β€’ Dado um subconjunto 𝐴 de 𝑆
β€’ Um elemento π‘₯ ∈ 𝑆 é a menor cota superior de 𝐴 se ele é
β€’ Cotas superiores de 𝑏, 𝑑, 𝑔 : 𝑔, 𝑕
uma cota superior de 𝐴 menor que todos as outras cotas
superiores de 𝐴
β€’ 𝑦 β‰Ό π‘₯ para todo 𝑦 ∈ 𝐴
β€’ π‘₯ β‰Ό 𝑧 para todo 𝑧 que é cota superior de 𝐴
β€’ Quando existe, a menor cota superior é única
β€’ Menor cota superior de 𝑏, 𝑑, 𝑔 : 𝑔
17
18
Maior Cota Inferior
Maior Cota Inferior
β€’ Dado o poset 𝑆, β‰Ό
β€’ Ex: qual a maior cota inferior do subconjunto 𝑏, 𝑑, 𝑔 no
β€’ Dado um subconjunto 𝐴 de 𝑆
poset a seguir?
β€’ Um elemento π‘₯ ∈ 𝑆 é a maior cota inferior de 𝐴 se ele é
β€’ Cotas inferiores de 𝑏, 𝑑, 𝑔 : π‘Ž, 𝑏
uma cota inferior de 𝐴 maior que todos as outras cotas
inferiores de 𝐴
β€’ π‘₯ β‰Ό 𝑦 para todo 𝑦 ∈ 𝐴
β€’ 𝑧 β‰Ό π‘₯ para todo 𝑧 que é cota inferior de 𝐴
β€’ Quando existe, a maior cota inferior é única
β€’ Maior cota inferior de 𝑏, 𝑑, 𝑔 : 𝑏
3
07/08/2013
19
20
Reticulado
Reticulado
β€’ Dado o poset 𝑆, β‰Ό
β€’ Ex: quais dos posets abaixo são reticulados?
β€’ Se todo par de elementos de 𝑆 possui menor cota
β€’ Resposta: π‘Ž e 𝑐
superior e maior cota inferior, então 𝑆, β‰Ό é um reticulado
4
Download

Diagrama de Hasse Elementos Maximais Elementos Maximais