ÚVOD DO ŠTÚDIA INFORMATIKY

5. cvičenie

• Zadanie:
Ná jdite prı́klad relá cie, ktorá je re lexı́vna (na prı́sluš nej množ ine) a symetrická , ale nie je tranzitı́vna.
Riešenie:
Ak chceme, aby naš a relá cia nebola tranzitı́vna, musia existovať tri objekty 𝑥, 𝑦 a 𝑧 také , ž e dvojice ⟨𝑥, 𝑦⟩
a ⟨𝑦, 𝑧⟩ do nej patria, ale ⟨𝑥, 𝑧⟩ nie. Ak je to relá cia 𝑅 na množ ine 𝐴, a ak (naprı́klad) 𝑥 = 1, 𝑦 = 2 a 𝑧 = 3,
tak ⟨1, 2⟩, ⟨2, 3⟩ ∈ 𝑅, ale ⟨1, 3⟩ ∉ 𝑅, prič om 1, 2, 3 ∈ 𝐴. Relá cia 𝑅 má byť symetrická , takž e potom platı́ aj
tak ⟨2, 1⟩, ⟨3, 2⟩ ∈ 𝑅, ale ⟨3, 1⟩ ∉ 𝑅. Relá cia 𝑅 má byť aj re lexı́vna, takž e musı́ platiť ⟨1, 1⟩, ⟨2, 2⟩, ⟨3, 3⟩ ∈ 𝑅.
Ak (naprı́klad) 𝐴 = {1, 2, 3}, vyjadrili sme sa ku kaž dej dvojici z 𝐴 × 𝐴, zhrnutı́m teda

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

Overı́me, ž e 𝑅 splň a vš etky pož adované podmienky:

• Keďž e 𝐴 = {1, 2, 3} a ⟨1, 1⟩, ⟨2, 2⟩, ⟨3, 3⟩ ∈ 𝑅, relá cia 𝑅 je naozaj re lexı́vna (na množ ine 𝐴).
• Podmienka symetrie ((⟨𝑥, 𝑦⟩ ∈ 𝑅) → (⟨𝑦, 𝑥⟩ ∈ 𝑅)) je v prı́pade 𝑥 = 𝑦 splnená automaticky, overovať má
preto vý znam len tie prı́pady, keď 𝑥 ≠ 𝑦. Aj v prı́pade, ž e ⟨𝑥, 𝑦⟩ ∉ 𝑅, je tiež triviá lne splnená , stač ı́ teda
overovať len prı́pady, keď ⟨𝑥, 𝑦⟩ ∈ 𝑅. Overme ich teda:
• Tvrdenie (⟨1, 2⟩ ∈ 𝑅) → (⟨2, 1⟩ ∈ 𝑅) platı́, lebo platı́ jeho zá ver.
• Tvrdenie (⟨2, 1⟩ ∈ 𝑅) → (⟨1, 2⟩ ∈ 𝑅) platı́, lebo platı́ jeho zá ver.
• Tvrdenie (⟨2, 3⟩ ∈ 𝑅) → (⟨3, 2⟩ ∈ 𝑅) platı́, lebo platı́ jeho zá ver.
• Tvrdenie (⟨3, 2⟩ ∈ 𝑅) → (⟨2, 3⟩ ∈ 𝑅) platı́, lebo platı́ jeho zá ver.
• Keďž e ⟨1, 2⟩, ⟨2, 3⟩ ∈ 𝑅, ale ⟨1, 3⟩ ∉ 𝑅, relá cia 𝑅 nie je tranzitı́vna.

• Zadanie:
Ná jdite prı́klad relá cie, ktorá je symetrická a tranzitı́vna, ale nie je re lexı́vna (na prı́sluš nej množ ine).
Riešenie:
Ľahko vidieť, ž e relá cia ∅ je triviá lne symetrická i tranzitı́vna, keďž e tieto podmienky majú formu impliká ciı́,
ktorý ch predpoklady nemož no splniť. Aby relá cia ∅ nebola re lexı́vna, musı́ byť prı́sluš ná množ ina jedno-
prvková . Rieš enı́m je teda (naprı́klad) relá cia ∅ na množ ine {1}.

• Zadanie:
Ná jdite prı́klad relá cie, ktorá je tranzitı́vna a re lexı́vna (na prı́sluš nej množ ine), ale nie je symetrická .
Riešenie:
Ak chceme, aby naš a relá cia nebola symetrická , musia existovať dva objekty 𝑥 a 𝑦 také , ž e ⟨𝑥, 𝑦⟩ do nej patrı́,
ale ⟨𝑦, 𝑥⟩ nie. Ak je to relá cia 𝑅 na množ ine 𝐴, a ak (naprı́klad) 𝑥 = 1 a 𝑦 = 2, tak ⟨1, 2⟩ ∈ 𝑅, ale ⟨2, 1⟩ ∉ 𝑅,
prič om 1, 2 ∈ 𝐴. Relá cia 𝑅 má byť re lexı́vna, takž e musı́ platiť ⟨1, 1⟩, ⟨2, 2⟩ ∈ 𝑅. Ak (naprı́klad) 𝐴 = {1, 2},
vyjadrili sme sa ku kaž dej dvojici z 𝐴 × 𝐴. Zhrnutı́m teda

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

(i keď sme zatiaľ vô bec neuvaž ovali o tranzitivite).

Overı́me, ž e 𝑅 splň a vš etky pož adované podmienky:

• Keďž e 𝐴 = {1, 2} a ⟨1, 1⟩, ⟨2, 2⟩ ∈ 𝑅, relá cia 𝑅 je naozaj re lexı́vna (na množ ine 𝐴).
• Podmienka tranzitivity (((⟨𝑥, 𝑦⟩ ∈ 𝑅)∧(⟨𝑦, 𝑧⟩ ∈ 𝑅)) → (⟨𝑥, 𝑧⟩ ∈ 𝑅)) je v prı́padoch 𝑥 = 𝑦 a 𝑦 = 𝑧 splnená
automaticky, overovať má preto vý znam len tie prı́pady, keď sú 𝑥 a 𝑧 rô zne od 𝑦. Overme ich teda:
• Tvrdenie ((⟨1, 2⟩ ∈ 𝑅) ∧ (⟨2, 1⟩ ∈ 𝑅)) → (⟨1, 1⟩ ∈ 𝑅) platı́, lebo platı́ jeho zá ver.
 • Tvrdenie ((⟨2, 1⟩ ∈ 𝑅) ∧ (⟨1, 2⟩ ∈ 𝑅)) → (⟨2, 2⟩ ∈ 𝑅) platı́, lebo platı́ jeho zá ver.
• Keďž e ⟨1, 2⟩ ∈ 𝑅, ale ⟨2, 1⟩ ∉ 𝑅, relá cia 𝑅 nie je symetrická .

• Zadanie:
Ná jdite prı́klad relá cie, ktorá je re lexı́vna (na prı́sluš nej množ ine) a antisymetrická , ale nie je tranzitı́vna.
Riešenie:
Ak chceme, aby naš a relá cia nebola tranzitı́vna, musia existovať tri objekty 𝑥, 𝑦 a 𝑧 také , ž e dvojice ⟨𝑥, 𝑦⟩
a ⟨𝑦, 𝑧⟩ do nej patria, ale ⟨𝑥, 𝑧⟩ nie. Ak je to relá cia 𝑅 na množ ine 𝐴, a ak (naprı́klad) 𝑥 = 1, 𝑦 = 2 a 𝑧 = 3,
tak ⟨1, 2⟩, ⟨2, 3⟩ ∈ 𝑅, ale ⟨1, 3⟩ ∉ 𝑅, prič om 1, 2, 3 ∈ 𝐴. Relá cia 𝑅 má byť antisymetrická , takž e potom platı́
tak ⟨2, 1⟩, ⟨3, 2⟩ ∉ 𝑅. Relá cia 𝑅 má byť aj re lexı́vna, takž e musı́ platiť ⟨1, 1⟩, ⟨2, 2⟩, ⟨3, 3⟩ ∈ 𝑅. Ak (naprı́klad)
𝐴 = {1, 2, 3}, vyjadrili sme sa ku kaž dej dvojici z 𝐴 × 𝐴 okrem ⟨3, 1⟩. Nech (naprı́klad)

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

overı́me, ž e 𝑅 splň a vš etky pož adované podmienky:

• Keďž e 𝐴 = {1, 2, 3} a ⟨1, 1⟩, ⟨2, 2⟩, ⟨3, 3⟩ ∈ 𝑅, relá cia 𝑅 je naozaj re lexı́vna (na množ ine 𝐴).
• Podmienka antisymetrie (((⟨𝑥, 𝑦⟩ ∈ 𝑅) ∧ (⟨𝑦, 𝑥⟩ ∈ 𝑅)) → (𝑥 = 𝑦)) je v prı́pade 𝑥 = 𝑦 splnená automa-
ticky, overovať má preto vý znam len tie prı́pady, keď 𝑥 ≠ 𝑦. Ľahko vš ak vidieť, ž e predpoklad podmienky
((⟨𝑥, 𝑦⟩ ∈ 𝑅) ∧ (⟨𝑦, 𝑥⟩ ∈ 𝑅)) nie je splnený, pre ž iadnu takú dvojicu ⟨𝑥, 𝑦⟩, tvrdenie je vtedy preto splnené
triviá lne.
• 𝑅 nie je tranzitı́vna, lebo ⟨1, 2⟩ ∈ 𝑅, ⟨2, 3⟩ ∈ 𝑅, ale neplatı́ ⟨1, 3⟩ ∈ 𝑅.

Domáce úlohy

1 Ná jdite prı́klad relá cie, ktorá je antisymetrická a tranzitı́vna, ale nie je re lexı́vna (na prı́sluš nej množ ine).

2 Ná jdite prı́klad relá cie, ktorá je tranzitı́vna a re lexı́vna (na prı́sluš nej množ ine), ale nie je antisymetrická .
3 Ná jdite prı́klad relá cie, ktorá je symetrická a antisymetrická , ale nie je tranzitı́vna.