Índice

Introdução ..................................................................................................................................... 2
Conjuntos ordenados ..................................................................................................................... 3
Elementos comporaveis e não comparaveis .................................................................................. 3
Relações de ordem ........................................................................................................................ 3
Relação de ordem total .................................................................................................................. 4
Relação de ordem estrita ............................................................................................................... 4
Conclusão ...................................................................................................................................... 6
Referencias Bibliográfica .............................................................................................................. 7
Introdução
O presente trabalho apresenta ou aborda, de um tema que fomos dado, a sua
investigação, na disciplina de Matemática Discreta os elementos comparáveis e não
comparáveis, em que apresentamos os subtemas como conjunto ordenado, relação de
ordem ou relação de ordem parcial e relação de ordem total. E objectivo especifico é de
descrever ou mencionar e objectivo geral é de analisar os elementos comparáveis e não
comparáveis. E método usado na elaboração desse, presente trabalho é de método
bibliográficas.

2
Conjuntos ordenados
Segundo (Cardoso,Szymański,Rostami,2009,p.155) Dada uma relação de ordem parcial
(que também vamos denotar por ≼) definida num conjunto X, o par (X, ℛ) ou (X, ≼)
designa-se por conjunto parcialmente ordenado ( poset na terminologia inglesa) que se
obrevia por cpo.

para distinguir as diferentes relações de ordem parcial definidas num conjunto X,

representamos cada conjunto parcialmente ordenado por ℙ = (X, ℛ P), onde ℛ P denota a
relação de ordem parcial que em X define ℙ . quando não existem duvidas, o conjunto
parcialmente ordenado ℙ = (X, ℛ P) denta-se, simplesmente, por ℙ = (X,ℛ).

Elementos comparaveis e não comparaveis

Segundo (Cardoso,Szymański,Rostami,2009,pp.155-156) Dado o conjunto parcialmente
ordenado ℙ = (X, ≼), dois elementos x, y ∈ 𝑋 dizem-se elementos ≼ comparaveis (ou,
simplesmente, comparaveis, quando não há lugar a confusão) se x ≼ 𝑦 ou y ≼ 𝑥.

De modo equivelente, uma vez que uma relação é um subconjunto do produto

cartesiano X2, x e y são ≼ comparaveis se e só se {(x,y),(y,x)} ∩ ≼≠ ∅.

Ex: considerando o conjunto parcialmente ordenado (ℙ(ℕ),⊆) vamos indicar alguns

elementos comparaveis e alguns elementos não comparaveis.

Solução. Uma vez que A = {1,2,3}⊆ {3,1,2} =B, os conjuntos A e B são comparaveis .
considemos C = {5,10,15,20}, vem que A ⊈ C e C ⊈ A, pelo que A e C não são
comparaveis .

Relações de ordem
Segundo (Gomide & Stolfi,2011,p.100) Uma relação ℛ sobre um conjunto A é uma
relação de ordem se ela é reflexiva sobre A, anti-simétrica e transitiva.

Ex1: sejam a = ℝ 𝑒 ℛ = {(𝒙, 𝒚) ∈ ℝ × ℝ, 𝑥 ≤ 𝑦}.

 ℛ é reflexiva sobre A pois (∀𝑥 ∈ ℝ)x≤ 𝑦 𝑙𝑜𝑔𝑜 (∀𝑥 ∈ ℝ) xℛ𝑦.

 ℛ é transitiva (∀𝑥, 𝑦, 𝑧 ∈ ℝ)((x≤ 𝑦 𝑒 𝑦 ≤ 𝑧)→ 𝑥 ≤ 𝑧)). Portanto(∀𝑥, 𝑦, 𝑧 ∈ ℝ)
(xℛ𝑦 𝑒 𝑦ℛ𝑥)→ 𝑥ℛy.

3
  ℛ é anti-simétrica pois (∀𝑥, 𝑦 ∈ ℝ)(x≤ 𝑦 𝑒 𝑦 ≤ 𝑥)→ 𝑥 = 𝑦. Portanto ((∀𝑥, 𝑦 ∈
ℝ)(x≤ 𝑦 𝑒 𝑦 ≤ 𝑥)→ 𝑥 = 𝑦.

Ex2: sejam ℙ (A) o conjunto potência de um conjunto A e S={(x,y) ∈ 𝑃(𝐴): x ⊆ y}.

 ℛ é reflexiva sobre P(A) pois (∀𝑥 ∈ 𝑃(𝐴)) 𝑥 ⊆ x logo (∀𝑥 ∈ 𝑃(𝐴)) x ℛ𝑥.
 ℛ é transitiva pois (∀𝑥, 𝑦, 𝑧 ∈ 𝑃(𝐴))(X⊆ Y e Y ⊆ Z) →X ⊆ Z.
 ℛ é anti-simétrica pois (∀𝑋, 𝑌 ∈ 𝑃(𝐴))((X⊆ Y e Y ⊆ X)→ 𝑋 = 𝑌).

Ex3: tendo em conta que dado um inteiro n, d≠ 0 é um divisor de n (ou divide n) se

existe um inteiro z tal que dz = n, vamos considerar o conjunto D18 ={1,2,3,6,9,18} de
todos os divisores positivos de 18 e vamos mostrar que a relação |, definida por x|y se e
só se x divide y, é uma relação de ordem parcial em D18.

Resolução do exemplo a cima dado:

|={(1,1),(1,2),(1,3),(1,6),(1,9),(1,18),(2,2),(2,6),(2,18),(3,3),(3,6),(3,9),(3,18),(6,6),(6,18
),(9,9),(9,18)}.

Relação de ordem total

Segundo (Cardoso,Szymański & Rostami,2009,p.19)Relação de ordem total e conjuntos
totalmente é uma relação ℛ de ordem parcial definida num conjunto a diz-se uma
relação de ordem total (ou relação de ordem linear) se para cada a,b ∈ A se verfica
que (a,b) ∈ ℛ ou (b,a) ∈ ℛ . neste caso diz-se que o par (A, ℛ) é um conjunto
totalmente ordenado.

Ex:

 O conjunto N com relação ≤, ou seja, o par (N, ≤).

 O conjunto D32 = {1,2,4,8,16,32} dos divisores positivos de 32 com a relação de
divisibilidade | ou seja, o par(D32,|).
 O conjunto de entradas de um dicionário com a ordem lexicográfica (alfabética).

Relação de ordem estrita

Segundo (Gomide & Stolfi,2011,p.103) Uma relação ℛ sobre um conjunto A é uma
relação de ordem estrita se ela é irreflexiva sobre A, anti-simétrica e transitiva.

4
Ex: sejam A=ℝ e ℛ={(x,y)∈ ℝ × ℝ, ∶ 𝑥 < 𝑦}.

 ℛ é irreflexiva sobre A pois (∀𝑥 ∈ ℝ)¬(x<x) logo (∀𝑥 ∈ ℝ) xℛx.

 ℛ é transitiva pois (∀𝑥, 𝑦, 𝑧 ∈ ℝ)((x<y e y<z)→ 𝑥 < 𝑧)).
 ℛ é anti-simétrica pois (∀𝑥, 𝑦 ∈ ℝ)¬((x<y e y<x). portanto, por vacuidade,
(∀𝑥, 𝑦 ∈ ℝ) (xℛy e yℛx) → x = y.

5
Conclusão
Depois de termos feito ou elaborado, o presente trabalho chegamos a conclusão que, os
elementos comparáveis, são aqueles conjuntos que apresentam objecto (elementos em
comum), e falar de relação de ordem é mesma coisa falar de relação de ordem parcial,
ou seja, esses conceito tem propriedades de relações em comum. Como por exemplo:

 Relação reflexiva;
 Relação anti-simétrica;
 Relação transitiva.

6
Referencias Bibliográfica
Cardoso,d,Szymański,J&Rostami,M.(2009).matematica discreta:combinatório, teoria de
grafos e algoritmos.lisboa, portugal:escola editora.

Gomide,A & Stolfi,J (2011). elementos de matemática discreta para computação,Brasil.

MEUS CONTACTOS

Nome: Sérgio Alfredo Macore ou Helldriver Rapper Rapper

E-mail. Sergio.macore@gmail.com
Celular. +258 846458829
LinkedIn. Sergio Alfredo Macore
Skype. Sergio Alfredo Macore
Facebook. Sergio Alfredo Macore ou Helldriver Rapper Rapper
Morada: Pemba – Cabo Delgado – Mozambique

NB. Em caso de dúvida, não hesite em contactar-me.

Boa Sorte