JOUKKO-OPIN ALKEITA 1 Joukon käsite
JOUKKO-OPIN ALKEITA 1 Joukon käsite
JOUKKO-OPIN ALKEITA 1 Joukon käsite
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Esimerkki 32. Joukossa X = {1, 2, 3, 4, 5} määritelty relaatio<br />
ei ole<br />
• refleksiivinen, sillä 1̸R1<br />
• irrefleksiivinen, sillä 4R4<br />
• symmetrinen, sillä 1R2, mutta 2̸R1<br />
• antisymmetrinen, sillä 2R3 ja3R2<br />
R = {〈1, 2〉, 〈2, 3〉, 〈3, 1〉, 〈3, 2〉, 〈4, 4〉}<br />
• transitiivinen, sillä 1R2 ja2R3, mutta 1̸R3<br />
• vertailullinen, sillä 3̸R4 ja4̸R3<br />
• euklidinen, sillä 3R2ja3R1, mutta 2̸R1 (vaihtoehtoinen perustelu: 3R2 ja3R2,<br />
mutta 2̸R2)<br />
• seriaalinen, sillä ei ole olemassa sellaista alkiota y , että 5Ry.<br />
Kaikki tässä luetellut relaation ominaisuudet voidaan ilmaista predikaattilogiikassa:<br />
6 • refleksiivisyys: ∀xR(x, x)<br />
• irrefleksiivisyys: ∀x¬R(x, x)<br />
• symmetrisyys: ∀x∀y ( R(x, y) → R(y, x) )<br />
• antisymmetrisyys: ∀x∀y ( R(x, y) ∧ R(y, x) → x = y )<br />
• transitiivisuus: ∀x∀y∀z ( R(x, y) ∧ R(y, z) → R(x, z) )<br />
• vertailullisuus: ∀x∀y ( R(x, y) ∨ R(y, x) )<br />
• euklidisuus: ∀x∀y∀z ( R(x, y) ∧ R(x, z) → R(y, z) )<br />
• seriaalisuus: ∀x∃yR(x, y).<br />
Kun relaatio R on symmetrinen, alkioiden järjestyksellä ei ole merkitystä, ja voimme<br />
käyttää ilmausta ”(x ja y) ovatrelaatiossaR (keskenään)”.<br />
Esimerkki 33. Lukujen yhtäsuuruus ’=’ on refleksiivinen, symmetrinen ja transitiivinen<br />
relaatio: Jokainen luku on itsensä kanssa yhtäsuuri; jos x on yhtäsuuri y:n<br />
kanssa, niin myös y on yhtäsuuri x:n kanssa; jos sekä luvut x ja y että y ja z ovat<br />
yhtäsuuret, niin myös luvut x ja z ovat yhtäsuuret.<br />
6 Käytämme samaa merkintää R sekä logiikan kielen kaksipaikkaiselle predikaattisymbolille että<br />
kaksipaikkaiselle relaatiolle, joka on siis järjestettyjen parien joukko.<br />
17