ESCOLA ONLINE DE CIÊNCIAS FORMAIS

Elementos de Teoria dos Conjuntos

AULA 13 – RELAÇÃO DE ORDEM

Relação de ordem linear

DEFINIÇÃO: Seja 𝐴 um conjunto qualquer. Uma ordem linear sobre 𝐴 (ou ordem total
sobre 𝐴) é uma relação binária 𝑅 sobre 𝐴 (𝑅⊆𝐴×𝐴) que satisfaz as seguintes propriedades:

a) 𝑅 é uma relação transitiva: Para todos elementos 𝑥, 𝑦, 𝑧∈𝐴 (𝑥𝑅𝑦 & 𝑦𝑅𝑧 →𝑥𝑅𝑧)
b) 𝑅 satisfaz a tricotomia sobre 𝐴: para quaisquer 𝑥,𝑦∈𝐴, exatamente uma das três
alternativas seguintes vale:
 𝑥𝑅𝑦
 𝑥=𝑦
1
 𝑦𝑅𝑥

EXEMPLO 1: Uma ordem usual R (menor) no conjunto A={1,2,3}:

 1𝑅2
 1𝑅3
 2𝑅3

𝑅={⟨1,2⟩,⟨1,3⟩,{2,3}}.

EXEMPLO 2: Ordem usual < (menor) nos naturais:

 < é uma relação transitiva: se 𝑥<𝑦 e 𝑦<𝑧 então 𝑥<𝑧

 < satisfaz a tricotomia sobre ℕ: para quaisquer 𝑥, 𝑦∈ℕ, exatamente uma das
alternativas vale:
o 𝑥<𝑦
o 𝑥=𝑦
o 𝑦<𝑥

numeroimaginario.wordpress.com
 ESCOLA ONLINE DE CIÊNCIAS FORMAIS
Elementos de Teoria dos Conjuntos

TEOREMA 1: Seja 𝑅 uma relação de ordem linear sobre 𝐴.

a) Não existe 𝑥 tal que 𝑥𝑅𝑥 (não reflexiva).

b) Se 𝑥≠𝑦, então, 𝑥𝑅𝑦 ou 𝑦𝑅𝑥.

Demonstração:

A tricotomia nos diz que deve valer exatamente uma das alternativas

 𝑥𝑅𝑦
 𝑥=𝑦
 𝑦𝑅𝑥

Se 𝑥=𝑦, então pela tricotomia vale uma das alternativas: 𝑥𝑅𝑥, 𝑥=𝑥, 𝑥𝑅𝑥. Como sempre
vale 𝑥=𝑥, não deve valer 𝑥𝑅𝑥. Logo, R é não reflexiva. Se 𝑥≠𝑦, então pela tricotomia,
deve valer 𝑥𝑅𝑦 ou 𝑦𝑅𝑥. ∎ 2

Observações

Uma relação linear tem esse nome porque podemos visualizar os elementos
do conjunto em uma linha reta, sem círculo.

Por exemplo: 𝑥𝑅𝑦, 𝑦𝑅𝑧, 𝑧𝑅𝑥 não pode acontecer, pois pela transitividade,
teríamos 𝑥𝑅𝑥, o que não é permitido para ordem linear (não reflexiva).

Também é chamada de total porque todos dois elementos podem ser

comparados (tricotomia).

numeroimaginario.wordpress.com
 ESCOLA ONLINE DE CIÊNCIAS FORMAIS
Elementos de Teoria dos Conjuntos

Fim da parte 1

Este é o fim da parte 1 da série sobre teoria de conjuntos e construção dos números.
Definimos vários conceitos importantes:

 Axiomas iniciais da teoria de conjuntos

 Par ordenado,
 Produto cartesiano,
 Relações: funções, de equivalência e de ordem.

Na próxima parte da série, começaremos a construir o conjunto dos números naturais.

3
APOIO

Todo o nosso conteúdo é gratuito. Você pode ajudar na manutenção do nosso projeto
tornando-se um dos nossos patrocinadores! Acesse:

padrim.com.br/numeroimaginario

apoia.se/numeroimaginario

numeroimaginario.wordpress.com