Estruturas Lógico Dedutivas

Aula 12
Professoras: Andrea Morgado e Fernanda Tomaschewski
Instituto de Física e Matemática
Departamento de Matemática e Estatística
Relações sobre um Conjunto

Quando 𝐸 = 𝐹 e 𝑅 é uma relação de 𝐸 em 𝐹, dizemos que 𝑅 é uma relação sobre 𝐸,

ou ainda, que 𝑅 é uma relação em 𝐸.

Vamos estudar propriedades de relações sobre um conjunto 𝐸 e posteriormente

estudar duas importantes relações sobre um conjunto que são as:
• Relações de Equivalência;
• Relações de Ordem.
Propriedades de relações sobre um conjunto:

Seja 𝑅 é uma relação sobre 𝐸.

Propriedade Reflexiva:

Dizemos que 𝑅 é reflexiva quando todo elemento de 𝐸 se relaciona consigo

mesmo, ou seja, para todo 𝑥 ∈ 𝐸 tem-se 𝑥𝑅𝑥.
Exemplos:

1. Considere o conjunto 𝐸 = 𝑎, 𝑏, 𝑐 .
A relação 𝑅 = 𝑎, 𝑎 , 𝑏, 𝑏 , 𝑐, 𝑐 , 𝑏, 𝑎 é reflexiva.
A relação 𝑆 = 𝑎, 𝑎 , 𝑐, 𝑐 , 𝑏, 𝑎 não é reflexiva.

2. Considere o conjunto 𝐸 = ℤ.
A relação 𝑅 de igualdade sobre o conjunto ℤ:
𝑥𝑅𝑦 ⇔ 𝑥 = 𝑦
é reflexiva, pois 𝑥 = 𝑥 para todo elemento 𝑥 ∈ ℤ.

A relação 𝑆 sobre o conjunto ℤ definida por:

𝑥𝑆𝑦 ⇔ 𝑥 < 𝑦
não é reflexiva.
3. Considere o conjunto 𝐸 como sendo o conjunto das retas no plano.
A relação 𝑅 de paralelismo definida sobre 𝐸:
𝑟𝑅𝑠 ⇔ 𝑟 ∥ 𝑠
é reflexiva, pois 𝑟 ∥ 𝑟 para toda reta 𝑟.

A relação 𝑆 de perpendicularismo definida sobre 𝐸:

𝑟𝑆𝑠 ⇔ 𝑟 ⊥ 𝑠
não é reflexiva.
Propriedade Simétrica:

Dizemos que 𝑅 é simétrica quando:

se 𝑥𝑅𝑦, então 𝑦𝑅𝑥.
Exemplos:

1. Considere o conjunto 𝐸 = 𝑎, 𝑏, 𝑐 .
A relação 𝑅 = 𝑎, 𝑎 , 𝑎, 𝑏 , 𝑏, 𝑎 é simétrica.
A relação 𝑆 = 𝑎, 𝑎 , 𝑐, 𝑐 , 𝑏, 𝑎 não é simétrica.
2. Considere o conjunto 𝐸 = ℤ.
A relação 𝑅 de igualdade sobre o conjunto ℤ:
𝑥𝑅𝑦 ⇔ 𝑥 = 𝑦
é simétrica, pois se 𝑥 = 𝑦, então 𝑦 = 𝑥.

A relação 𝑆 sobre o conjunto ℤ definida por:

𝑥𝑆𝑦 ⇔ 𝑥 < 𝑦
não é simétrica.

A relação 𝑇 sobre o conjunto ℤ definida por:

𝑥𝑇𝑦 ⇔ 𝑥 2 = 𝑦 2
é simétrica.
3. Considere o conjunto 𝐸 como sendo o conjunto das retas no plano.
A relação 𝑅 de paralelismo definida sobre 𝐸:
𝑟𝑅𝑠 ⇔ 𝑟 ∥ 𝑠
é simétrica, pois se 𝑟 ∥ 𝑠, então 𝑠 ∥ 𝑟.

A relação 𝑆 de perpendicularismo definida sobre 𝐸:

𝑟𝑆𝑠 ⇔ 𝑟 ⊥ 𝑠
é simétrica, pois se 𝑟 ⊥ 𝑠, então 𝑠 ⊥ 𝑟.
Propriedade Transitiva:

Dizemos que 𝑅 é transitiva quando:

se 𝑥𝑅𝑦 e 𝑦𝑅𝑧, então 𝑥𝑅𝑧.

Exemplos:

1. Considere o conjunto 𝐸 = 𝑎, 𝑏, 𝑐, 𝑑 .
A relação 𝑅 = 𝑎, 𝑎 , 𝑎, 𝑏 , 𝑏, 𝑐 , 𝑏, 𝑏 , 𝑎, 𝑐 , 𝑐, 𝑎 , 𝑏, 𝑎 , 𝑐, 𝑐 é transitiva.
A relação 𝑆 = 𝑎, 𝑎 , 𝑐, 𝑐 , 𝑏, 𝑎 , (𝑎, 𝑐) não é transitiva.
2. Considere o conjunto 𝐸 = ℤ.
A relação 𝑅 de igualdade sobre o conjunto ℤ:
𝑥𝑅𝑦 ⇔ 𝑥 = 𝑦
é transitiva, pois se 𝑥 = 𝑦 e 𝑦 = 𝑧, então 𝑥 = 𝑧.

A relação 𝑆 sobre o conjunto ℤ definida por:

𝑥𝑆𝑦 ⇔ 𝑥 < 𝑦
é transitiva, pois se 𝑥 < 𝑦 e 𝑦 < 𝑧, então 𝑥 < 𝑧.
3. Considere o conjunto 𝐸 como sendo o conjunto das retas no plano.
A relação 𝑅 de paralelismo definida sobre 𝐸:
𝑟𝑅𝑠 ⇔ 𝑟 ∥ 𝑠
é transitiva, pois se 𝑟 ∥ 𝑠 e 𝑠 ∥ 𝑡, então 𝑟 ∥ 𝑡 .

A relação 𝑆 de perpendicularismo definida sobre 𝐸:

𝑟𝑆𝑠 ⇔ 𝑟 ⊥ 𝑠
não é transitiva.
Propriedade Anti-simétrica:

Dizemos que 𝑅 é anti-simétrica quando:

se 𝑥𝑅𝑦 e 𝑦𝑅𝑥, então 𝑥 = 𝑦.
Exemplos:

1. Considere o conjunto 𝐸 = 𝑎, 𝑏, 𝑐 .
A relação 𝑅 = 𝑎, 𝑎 , 𝑎, 𝑏 , 𝑏, 𝑐 é anti-simétrica.
A relação 𝑆 = 𝑎, 𝑎 , 𝑏, 𝑐 , (𝑐, 𝑏) não é anti-simétrica.
2. Considere o conjunto 𝐸 = ℕ.
A relação 𝑅 de divisibilidade sobre o conjunto ℕ:
𝑥𝑅𝑦 ⇔ 𝑥|𝑦
é anti-simétrica, pois se 𝑥|𝑦 e 𝑦|𝑥, então 𝑥 = 𝑦.

A relação 𝑆 sobre o conjunto ℤ definida por:

𝑥𝑆𝑦 ⇔ 𝑥 ≤ 𝑦
é anti-simétrica, pois se 𝑥 ≤ 𝑦 e 𝑦 ≤ 𝑥, então 𝑥 = 𝑦.

3. Considere o conjunto 𝐸 = ℤ.
A relação 𝑅 de divisibilidade sobre o conjunto ℤ:
𝑥𝑅𝑦 ⇔ 𝑥|𝑦
não é anti-simétrica, pois se 1| − 1 e −1|1, e 1 ≠ −1.
Esquema de Flechas e Propriedades:
Seja 𝑅 é uma relação sobre 𝐸.
Se 𝐸 é um conjunto finito com poucos elementos é comum representar 𝑅 através de
um esquema de flechas.

Exemplo:
1. Considere o conjunto 𝐸 = 𝑎, 𝑏, 𝑐 . 𝑎
A relação 𝑅 = 𝑎, 𝑎 , 𝑎, 𝑏 , 𝑏, 𝑐 , 𝑐, 𝑎

𝑐 𝑏
𝐸
Propriedade Reflexiva:
Em cada ponto do diagrama deve haver um laço.

Exemplo: Contra-Exemplo:

𝑎 𝑏 𝑎 𝑏

𝑐 𝑐
𝐸 𝐸
Propriedade Simétrica:
Toda flecha tem duas pontas.

Exemplo: Contra-Exemplo:

𝑎 𝑐 𝑎 𝑐

𝑏 𝑏
𝑑 𝑑
𝐸 𝐸
Propriedade Transitiva:

Para todo par de flechas consecutivas existe uma terceira flecha cuja origem é a
origem da primeira e a extremidade é a extremidade da segunda.

Exemplo: Contra-Exemplo:

𝑎 𝑏 𝑎 𝑏

𝑐 𝑑 𝑑
𝐸 𝐸 𝑐
Propriedade Anti-Simétrica:
Não há flechas de duas pontas.

Exemplo: Contra-Exemplo:

𝑎 𝑏 𝑎 𝑏

𝑑
𝑐 𝑑
𝐸 𝐸 𝑐