Escolar Documentos
Profissional Documentos
Cultura Documentos
LIVRO
Relações de Ordem 12
AULA
META:
Apresentar o conceito de relações
de ordem e suas propriedades.
OBJETIVOS:
Ao fim da aula os alunos deverão
ser capazes de:
Determinar se uma dada relação é
uma relação de ordem.
Determinar os elementos ninimais,
mínimo, maximais e máximo de um
dado conjunto.
PRÉ-REQUISITOS
Aula-11 os conhecimentos de
relações binárias.
Relações de Ordem
12.1 Introdução
PO1 ∀x ∈ A, (x, x) ∈ R
24
Fundamentos da Matemática: Livro 2
• a1 ≺A a2 ou
• a1 = a2 ∧ b1 ≺B b2
QO1 ∀x ∈ A, (x, x) ∈ R.
25
Relações de Ordem
TO1 ∀x ∈ A, (x, x) ∈ R
26
Fundamentos da Matemática: Livro 2
• Sejam A = {a, b, c} e R1 = {(a, a), (b, b), (c, c), (a, b), (a, c)}.
R1 é uma relação de ordem parcial pois, nem (b, c) ∈ R1 nem
(c, b) ∈ R1 e as propriedades reflexiva, anti-simétrica são veri-
ficadas por testes diretos e transitiva é trivialmente satisfeita
pois, nenhum par de elementos de R satisfaz a premissa da
propriedade transitiva.
• Sejam A = {a, b, c} e R3 = {(a, a), (b, b), (c, c), (a, b), (b, c),
(a, c)}. R3 é uma relação de ordem total. Pois, todos os
pares da forma (x, x), x ∈ A pertence a R3 , nenhum par
da forma (x, y), x, y ∈ A, x
= y que pertence a relação
(x, y) ∈ R3 arrasta seu simétrico ou seja (y, x) ∈
/ R3 . A pro-
priedade transitiva pode ser verificada por exaustão (a, a) ∧
(a, b) → (a, b), (b, b) ∧ (b, c) → (b, c), (a, a) ∧ (a, c) → (a, c) e
(a, b) ∧ (b, c) → (a, c) e a propriedade total é satisfeita pelos
27
Relações de Ordem
pares (a, b), (b, c), (a, c) para os pares da forma (x, y), x, y ∈
A, x
= y e pelos pares (a, a), (b, b), (c, c) para os pares da
forma (x, y), x, y ∈ A, x = y.
28
Fundamentos da Matemática: Livro 2
PROVA ∀x, y, z ∈ A, x y ∧ y ≺ z.
Da definição de y ≺ z ↔ y z ∧ ¬(y = z) temos:
x y ∧ (y z ∧ ¬(y = z)).
Como (p ∧ q) ∧ r ≡ p ∧ (q ∧ r) temos:
(x y ∧ y z) ∧ ¬(y = z).
De PO3 x y ∧ y z → x z temos:
29
Relações de Ordem
(x z) ∧ ¬(y = z).
Como p p ∨ q temos:
(x z) ∧ (¬(x = y) ∨ ¬(y = z)).
Usando De Morgan temos:
(x z) ∧ (¬((x = y) ∧ (y = z))).
Da propriedade transitiva da igualdade (x = y) ∧ (y = z) → x = z
temos:
(x z) ∧ ¬(x = z).
Da definição da relação “precede estritamente”, (x z) ∧ ¬(x =
z) ↔ x ≺ z temos:
x ≺ z.
Portanto:
∀x, y, z ∈ A, x y ∧ y ≺ z → x ≺ z.
Em seguida mostraremos que:
30
Fundamentos da Matemática: Livro 2
31
Relações de Ordem
12.4 CONCLUSÃO
12.5 RESUMO
PO1 ∀x ∈ A, (x, x) ∈ R
QO1 ∀x ∈ A, (x, x) ∈ R
32
Fundamentos da Matemática: Livro 2
TO1 ∀x ∈ A, (x, x) ∈ R 12
AULA
TO2 ∀x, y ∈ A, (x, y) ∈ R ∧ (y, x) ∈ R → x = y
33
Relações de Ordem
somente se: ∀x ∈ A, a x
Definição de elemento máximo:
Definição: Seja (A, ) um conjunto parcialmente ordenado. Di-
zemos que um elemento a ∈ A é o elemento máximo deA, se,
somente se: ∀x ∈ A, x a
12.6 ATIVIDADES
34
Fundamentos da Matemática: Livro 2
35