Professional Documents
Culture Documents
UVOD U MATEMATIKU
Ova zbirka riješenih zadataka nastala je u okviru vježbi iz kolegija Uvod u matematiku na
Prirodoslovno-matematičkom fakultetu u Splitu tokom akademske godine 2015./2016., a na-
mjenjena je prvenstveno studentima koji su upisali navedeni kolegij te svima onima koji žele
produbiti svoje srednjoškolsko znanje ili ga podići na višu razinu, o čemu se posebno vodilo
računa u ovoj zbirci. Napominjem da zbirka pokriva i početno gradivo kolegija Diferencijalni i
intergralni račun te je dobra priprema za navedeni kolegij.
U prvom poglavlju rješavaju se razni zadaci koji se odnose na poznavanje semantičkih tablica,
logičkih veznika, implikacije, ekvivalencije, kvantifikatora i pojma obrata, obrata po kontrapozi-
ciji i suprotnog suda. U drugom se pak poglavlju govori o pojmu skupa i temeljnih operacija na
skupovima (unija, presjek, razlika, simetrična razlika, komplement skupa) te se navode zadaci
u kojima se dokazuju odnosi među skupovima ili se kontraprimjerom pokušavaju neki odnosi
osporiti. Isto se tako uvodi pojam particije, uređenog para i Kartezijevog produkta skupova.
U trećem poglavlju govori se o homogenim i heterogenim binarnim relacijama te se posebni
naglasak stavlja na posebne homogene relacije kao što su relacija ekvivalencije i relacija parci-
jalnog ili djelomičnog uređaja. Rješavaju se zadaci koji su pretežito temeljeni na tome da se
ispitaju svojstva neke homogene relacije ili se pak ispituju svojstva kompozicije dviju relacija.
U četvrtom poglavlju bavimo se funkcijama. Naime, dok se u srednjoj školi funkcija definirala
kao uređena trojka domene, kodomene i pravila pridruživanja, sada ćemo definirati funkciju kao
i
totalnu i funkcionalnu relaciju. Nadalje se bavimo pojmom injekcije, surjekcije i bijekcije te
pojmom slike i praslike nekih podskupova. Zadaci pretežito zahtijevaju da se odredi kompozi-
cija dviju funkcija, provjeri je li neka funkcija injekcija, surjekcija ili bijekcija te da se odredi
slika ili praslika nekih podskupova domene, odnosno kodomene. U petom poglavlju bavimo
se prvenstveno pojmom matematičke indukcije kao jako moćnim matematičkim alatom s kojim
valja biti vrlo oprezan jer je dosta delikatan i često se pogrešno primjenjuje. U šestom poglavlju
bavimo se cijelim i racionalnim brojevima, a poseban naglasak stavljamo na djeljivosti i pojam
kongruencije što je svojevrsni uvod u teoriju brojeva. Nadalje, u sedmom poglavlju obrađujemo
realne brojeve, pri čemu posebnu pažnju posvećujemo uređaju na skupu realnih brojeva i Ar-
himedovom aksiomu. Zadaci iz sedmog poglavlja pretežito će se bazirati na tome da se odredi
supremum ili infimum nekog podskupa skupa realnih brojeva ili pak da se odredi je li neki broj
iracionalan ili racionalan. U osmom poglavlju gradivo iz četvrtog i sedmog poglavlja primjenju-
jemo na posebne realne funkcije jedne realne varijable pod nazivom elementarne funkcije. Tako
će zadaci iz osmog poglavlja obično zahtijevati da se odredi prirodno područje definicije (ili
prirodna domena) neke realne funkcije ili pak da se odredi praslika nekog podskupa kodomene.
Navedeni zadaci se svode na ono što se u srednjoškolskoj matematici obično naziva rješavanje
jednadžbi i nejednadžbi. Posebnu ćemo pozornost posvetiti posebnim elementarnim funkcijama
pod nazivom polinomi, gdje ćemo razmatrati pojmove kao što su nultočke polinoma, djeljivost
polinoma, Euklidov algoritam za polinome te pojam ireducibilnog polinoma i najveće zajedničke
mjere dvaju polinoma. Nakon polinoma, promatrat ćemo racionalne funkcije, pojam parcijalnog
razlomka i rastav racionalne funkcije na parcijalne razlomke. Na koncu, u devetom poglavlju
najprije definiramo pojam krivulje drugog reda i promatramo elipse, hiperbole i parabole. Po-
tom se bavimo algebarskim i trigonometrijskim zapisom kompleksnog broja te De Moiverovim
formulama za potenciranje i korjenovanje kompleksnih brojeva. Zadaci u ovom poglavlju pre-
težito se baziraju na tome da se u Gaussovoj (ili kompleksnoj) ravnini skiciraju skupovi koji
predstavljaju rješenja sustava jednadžbi ili nejednadžbi.
Dino Peran,
Split, listopad 2016.
ii
Sadrºaj
Predgovor i
Popis oznaka v
Popis slika xi
2 Skupovi 33
2.1 Osnovni pojmovi i tvrdnje . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2.2 Zadaci . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
2.3 Rješenja zadataka . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
3 Relacije 71
3.1 Osnovni pojmovi i tvrdnje . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
3.1.1 Relacija ekvivalencije . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
3.1.2 Relacija djelomičnog ili parcijalnog uređaja . . . . . . . . . . . . . . . . . 78
3.2 Zadaci . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
3.3 Rješenja zadataka . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
Bibliografija 115
iii
SADRŽAJ
iv
Popis oznaka
∧ - konjukcija
∨ - disjunkcija
−→ - kondicional
←→ - bikondicional
− - negacija
∀ - univerzalni kvantifikator
∃ - egzistencijalni kvantifikator
∀x - za svaki x
∃x - postoji x
=⇒ - implikacija
⇐⇒ - ekvivalencija
A, B, C - oznake za skupove
a ∈ A - a je element skupa A
∅ - prazan skup
v
SADRŽAJ
A ∪ B - unija skupova A i B
A ∩ B - presjek skupova A i B
U - univerzalni skup
F - množina skupova
[
F - unija množine skupova F
F ∈F
\
F - presjek množine skupova F
F ∈F
(a, b) - uređeni par čija je prva koordinata jednaka a, a druga koordinata jednaka b
A2 - Kartezijev umnožak A × A
R2 - kompozicija R ◦ R
Rc - komplementarna relacija
vi
SADRŽAJ
∆A - dijagonala skupa A
inf - infimum
sup - supremum
min - minimum
max - maksimum
f 2 - kompozicija f ◦ f
vii
SADRŽAJ
n! - n faktorijel, to jest 1 · 2 · · · (n − 1) · n
o - nul-funkcija
tg - funkcija tangens
viii
SADRŽAJ
ϕ - Eulerova funkcija
ix
SADRŽAJ
n
k - n povrh k (binomni koeficijent)
√
n
x - n-ti korijen iz x
xn - n-ta potencija od x
x
Popis slika
xi
POPIS SLIKA
xii
Poglavlje 1
Definicija 1.1.1 (Abeceda logike sudova). Abeceda logike sudova je unija skupova A1 ,
A2 i A3 , gdje je:
Logičke veznike nazivamo redom: negacija (−), konjukcija (∧), disjunkcija (∨), kondi-
cional (−→), bikondicional (←→). Poštovat ćemo prioritet logičkih veznika. Dakle, najveći
prioritet ima negacija, potom konjukcija i disjunkcija, a na koncu kondicional i bikondicional.
1
POGLAVLJE 1. OSNOVE MATEMATIČKE LOGIKE
Riječ abecede logike sudova je bilo koji konačan niz simbola iz abecede logike sudova. Sada
ćemo definirati posebne riječi abecede logike sudova pod nazivom formule logike sudova.
Definicija 1.1.2 (Formula logike sudova). Atomarna formula je svaka propozicijska va-
rijabla. Formula je
(F 3) riječ abecede logike sudova je formula ako i samo ako je nastala primjenom konačno mnogo
puta pravila (F 1) i (F 2).
Prethodno smo definirali sintaksu ili jezik logike sudova. Sada ćemo definirati semantiku (ili
značenje) logike sudova. Dakle, reći ćemo što znači da je neka formula istina, odnosno laž (ili
neistina).
Definicija 1.1.4 (Parcijalna interpretacija). Neka je P neki podskup skupa svih propozi-
cijskih varijabli. Preslikavanje I koje svakoj propozicijskoj varijabli P iz skupa P pridružuje
jedinstveni element I(P ) skupa {0, 1} nazivamo parcijalna interpretacija.
Kao što samo ime kaže, I se naziva parcijalnom interpretacijom jer je I(P ) definirano samo za
propozicijske varijable P koje su elementi skupa P. Sa A(P1 , . . . , Pn ) označavamo formulu A u
kojoj mogu nastupiti jedino propozicijske varijable P1 , . . . , Pn .
Po složenosti neke formule definiramo toj formuli odgovarajuće interpretacije u skladu s danom
semantičkom tablicom:
P Q −P P ∧Q P ∨Q P −→ Q P ←→ Q
0 0 1 0 0 1 1
0 1 1 0 1 1 0
1 0 0 0 1 0 0
1 1 0 1 1 1 1
Definicija 1.1.6. Kažemo da je formula F istinita za interpretaciju I ako je vrijednost
interpretacije I na formuli F jednaka 1, to jest I(F ) = 1. Kažemo da je formula F neistinita
za interpretaciju I ako je vrijednost interpretacije I na formuli F jednaka 0, to jest I(F ) = 0.
2
1.1. OSNOVNI POJMOVI I TVRDNJE
P Q R P ←→ −R −Q ∧ P F1 −R −→ −Q P ∧ (−R −→ −Q) P ∨ −R F2 F
0 0 0 0 0 1 1 0 1 0 1
0 0 1 1 0 0 1 0 0 0 0
0 1 0 0 0 1 0 0 1 0 1
0 1 1 1 0 0 1 0 0 0 0
1 0 0 1 1 1 1 1 1 1 1
1 0 1 0 1 1 1 1 1 1 1
1 1 0 1 0 0 0 0 1 0 0
1 1 1 0 0 1 1 1 1 1 1
Iz tablice slijedi da je navedena formula F ispunjiva (nije antitautologija) i oboriva (nije valjana).
3
POGLAVLJE 1. OSNOVE MATEMATIČKE LOGIKE
Iz Propozicije 1.1.10 i Propozicije 1.1.12 smo vidjeli da logička implikacija (ekvivalencija) nije
isto što i kondicional (bikondicional). Naime, A =⇒ B (A ⇐⇒ B) je oznaka za činjenicu da je
A −→ B (A ←→ B) valjana formula, dok je −→ (←→) logički veznik.
Primjer 1.1.13. Dokažite da za sve formule logike sudova A, B i C te sve valjane formule 1 i
antitautologije 0 vrijedi:
(1) −(−A) ⇐⇒ A
(2) −(A ∧ B) ⇐⇒ −A ∨ −B
(3) −(A ∨ B) ⇐⇒ −A ∧ −B
(4) A −→ B ⇐⇒ −A ∨ B
(5) A ←→ B ⇐⇒ (A −→ B) ∧ (B −→ A)
(6) A ∧ (B ∨ C) ⇐⇒ (A ∧ B) ∨ (A ∧ C)
(7) A ∨ (B ∧ C) ⇐⇒ (A ∨ B) ∧ (A ∨ C)
(8) (A ∨ B) ∨ C ⇐⇒ A ∨ (B ∨ C)
(9) (A ∧ B) ∧ C ⇐⇒ A ∧ (B ∧ C)
(10) A ∧ B ⇐⇒ B ∧ A
(11) A ∨ B ⇐⇒ B ∨ A
(12) A ∨ A ⇐⇒ A
(13) A ∧ A ⇐⇒ A
(14) A ∧ 1 ⇐⇒ A, A ∧ 0 ⇐⇒ 0
(15) A ∨ 1 ⇐⇒ 1, A ∨ 0 ⇐⇒ A.
4
1.1. OSNOVNI POJMOVI I TVRDNJE
5
POGLAVLJE 1. OSNOVE MATEMATIČKE LOGIKE
A ∨ (B ∨ C) ⇐⇒ (A ∨ B) ∨ C.
Primijetite da korištenjem (4), a zatim (3) i (1) slijedi da za sve formule logike sudova A i B
vrijedi:
−(A −→ B) ⇐⇒ A ∧ −B .
Tvrdnje (2) i (3) nazivamo De Morganovim formulama. Tvrdnju (10) nazivamo komutativ-
nost konjukcije, a tvrdnju (11) komutativnost disjunkcije. Tvrdnju (8) nazivamo asocijativnost
disjunkcije, a tvrdnju (9) asocijativnost konjukcije. Tvrdnju (6) nazivamo distributivnost ko-
njukcije prema disjunkciji, a tvrdnju (7) distributivnost disjunkcije prema konjukciji. Tvrdnju
(12) nazivamo idempotentnost disjunkcije, a tvrdnju (13) idempotentnost konjukcije. Tvrdnju
(1) nazivamo dvostrukom negacijom.
Prethodne identitete treba zapamtiti i koristiti u zadacima kada se od Vas traži da pojednos-
tavnite formulu. Što znači pojednostavniti formulu? Naime, za svaku formulu logike sudova
definiramo njenu složenost kao broj logičkih veznika koji se pojavljuju u njoj. Tako je primje-
rice svaka propozicijska varijabla složenosti 0, a formula P ∨ Q ∧ (Q ∨ R) složenosti 3, pri
čemu su P , Q i R propozicijske varijable. Dakle, pojednostavniti formulu A znači odrediti
formulu F , takvu da je F formula najmanje moguće složenosti i da je A ⇐⇒ F . O tome
govori sljedeći primjer.
P ←→ P ∧ −Q ∨ R −→ P ∧ (−R ∨ Q) .
Rješenje. Pojednostavnimo formulu F = P ←→ P ∧ −Q ∨ R −→ P ∧ (−R ∨ Q) .
6
1.1. OSNOVNI POJMOVI I TVRDNJE
Pogledajmo sada u kakvoj su vezi logička implikacija i dokaz nekog matematičkog teorema s
pretpostavkom P i tvrdnjom Q. U logičkoj notaciji teorem oblika "Ako je P , onda je Q" možemo
pisati P =⇒ Q. Uz njega su vezana sljedeća tri suda:
Sada nas zanima kakva je veza među navedenim sudovima. Kako je P =⇒ Q ako i samo ako je
P −→ Q valjana formula, to možemo ispitati njihovu vezu pomoću semantičke tablice.
P Q P −→ Q Q −→ P −Q −→ −P −P −→ −Q
0 0 1 1 1 1
0 1 1 0 1 0
1 0 0 1 0 1
1 1 1 1 1 1
Iz semantičke tablice zaključujemo sljedeće.
7
POGLAVLJE 1. OSNOVE MATEMATIČKE LOGIKE
Primjer 1.1.15. Ispitajte istinitost sljedećih sudova, a potom im odredite obrat, obrat po
kontrapoziciji i suprotni sud.
(a) "Formula A ∧ B je oboriva ili je formula A ∨ B ispunjiva ako je formula −A ispunjiva ili
formula −B oboriva."
(b) "Cijeli broj n je djeljiv sa brojem 6 ili sa brojem 15 ako je n dijeljiv sa brojem 2 i sa brojem
3."
Rješenje. (a) Istinitost: Ako je formula −A ispunjiva, onda je A oboriva, pa postoji interpre-
tacija I, takva da je I(A) = 0. Sada je I(A ∧ B) = 0, pa je A ∧ B oboriva. Ako je −B oboriva,
onda je B ispunjiva, pa postoji interpretacija J, takva da je J(B) = 1. Sada je J(A ∨ B) = 1,
pa je A ∨ B ispunjiva. Dakle, u svakom slučaju vrijedi da je formula A ∧ B oboriva ili je formula
A ∨ B ispunjiva. Time smo dokazali da je navedeni sud istinit.
Obrat: "Ako je formula A ∧ B oboriva ili je formula A ∨ B ispunjiva, onda je formula −A
ispunjiva ili formula −B oboriva."
Obrat po kontrapoziciji: "Ako formula A ∧ B nije oboriva i formula A ∨ B nije ispunjiva,
onda formula −A nije ispunjiva i formula −B nije oboriva."
Suprotni sud: "Formula A ∧ B nije oboriva i formula A ∨ B nije ispunjiva ako formula −A
nije ispunjiva i formula −B nije oboriva."
(b) Istinitost: Neka je cijeli broj n djeljiv sa brojem 2 i sa brojem 3. Tada postoji cijeli brij k,
takav da je n = 3 · k. Kako 2 dijeli n, to mora 2 dijeliti k, pa postoji cijeli broj l, takav da je
k = 2 · l. Sada je n = 3 · (2 · l) = 6 · l, što povlači da je n djeljiv sa brojem 6. To povlači da je n
djeljiv sa brojem 6 ili brojem 15. Dakle, navedeni sud je istinit.
Obrat: "Ako je cijeli broj n djeljiv sa brojem 6 ili sa brojem 15, onda je n djeljiv sa brojem 2 i
sa brojem 3."
Obrat po kontrapoziciji: "Ako cijeli broj n nije djeljiv sa brojem 6 i nije djeljiv sa brojem
15, onda n nije djeljiv sa brojem 2 ili nije djeljiv sa brojem 3."
8
1.1. OSNOVNI POJMOVI I TVRDNJE
Suprotni sud: "Cijeli broj n nije djeljiv sa brojem 6 i nije djeljiv sa brojem 15 ako n nije djeljiv
sa brojem 2 ili sa brojem 3."
U nastavku ćemo se baviti logikom prvog reda. Naime, mnoga logička zaključivanja koja koris-
timo u svakodnevnom životu ne možemo formalno izraziti u logici sudova. Zbog toga uvodimo
logiku prvog reda. Kao i kod logike sudova, najprije ćemo uvesti jezik (sintaksu) logike prvog
reda.
Definicija 1.1.16 (Abeceda logike prvog reda). Abeceda logike prvog reda je unija
skupova A1 , . . . , A6 , gdje su Ai skupovi redom:
podskup od N;
Definicija 1.1.17 (Term). Neka je A abeceda logike prvog reda. Term je riječ abecede A za
koju vrijedi:
(T 3) riječ abecede A je term ako i samo ako je nastala primjenom konačno mnogo puta pravila
(T 1) i (T 2).
Definicija 1.1.18 (Formula logike prvog reda). Neka je A abeceda logike prvog reda. Ako
je R n-mjesni relacijski simbol iz A i t1 , . . . , tn termi, onda je R(t1 , . . . , tn ) atomarna formula
abecede A. Formula u abecedi A je
9
POGLAVLJE 1. OSNOVE MATEMATIČKE LOGIKE
(F 4) riječ abecede A je formula ako i samo ako je nastala primjenom konačno mnogo puta
pravila (F 1), (F 2) i (F 3).
Kao i prije poštavat ćemo prioritet logičkih veznika, samo što sada ∀ i ∃ imaju najveći prioritet.
Posebnu pozornost treba posvetiti negaciji kvantifikatora. Naime, vrijedi:
Rješenje. Istinitost:
(a) Tvrdnja očito vrijedi jer euklidovim algoritmom za svaka dva prirodna broja n i m mo-
žemo pronaći njihovu najveću zajedničku mjeru k ∈ N koja dijeli n i m i za koju vrijedi
(∀l ∈ N) ((l | n ∧ l | m) −→ l | k).
(b) Tvrdnja očito ne vrijedi jer za q = 0 ∈ Q ne postoji cijeli broj n različit od 0 i prirodni broj
k, tako da je 0 = nk .
Negacije:
(a) (∃n ∈ N) (∃m ∈ N) (∀k ∈ N) (k - n ∨ k - m) ∨ (∃l ∈ N) (l | n ∧ l | m) ∧ l - k
k
(b) (∃q ∈ Q) (∀n ∈ Z) (∀k ∈ N) n 6= 0 ∧ q 6= n
(a) "Za svaki realni broj ε ∈ R+ postoji prirodni broj n0 , takav da za svaki prirodni broj n
√
vrijedi ako je n ≥ n0 , onda je 1 − ε < n n < 1 + ε."
(b) "Za svaki realni broj x i svaki realni broj y, postoji prirodni broj n i postoji prirodni broj
m, takvi da ako je x < y, onda je x < 2nm < y."
Negacije: √ √
∃ε ∈ R+ (∀n0 ∈ N) (∃n ∈ N) n ≥ n0 ∧ (1 − ε ≥ n n ∨ n n ≥ 1 + ε)
(a)
n n
(b) (∃x ∈ R) (∃y ∈ R) (∀n ∈ N) (∀m ∈ N) x < y ∧ x ≥ 2m ∨ 2m ≥y
10
1.2. ZADACI
Detaljnije o logici sudova i logici prvog reda možete pronaći u [1]. Onaj tko želi mnogo detaljnije
proučavati logiku sudova kao i logiku prvog reda može pogledati [10].
1.2 Zadaci
Zadatak 1.2.1.
(b) Ispitajte istinitost te odredite obrat, obrat po kontrapoziciji i suprotni sud, sljede-
ćeg suda: "A i B su disjunktni skupovi ili je A podskup od B, ako je A jednočlan skup ili
B prazan skup."
Zadatak 1.2.2.
(a) Ispitajte istinitost sljedećeg suda i odredite mu obrat, obrat po kontrapoziciji i su-
protni sud: "Ako je A antitautologija i B valjana formula, onda B =⇒ A i ne vrijedi
A =⇒ B."
Zadatak 1.2.3.
(a) Neka su P , Q i R propozicijske varijable. Odredite je li formula P −→ (Q ←→ R) ∧
(−Q ∨ −R) −→ (P ∧ −Q) valjana, oboriva, ispunjiva, antitautologija.
(b) Ispitajte istinitost te odredite obrat, obrat po kontrapoziciji i suprotni sud, sljede-
ćeg suda: "Formula A ∨ B je ispunjiva ili je formula A ∧ B ispunjiva ako je A ispunjiva ili
−B oboriva."
Zadatak 1.2.4.
(a) Neka su P , Q i R propozicijske varijable. Ispitajte jesu li formule P −→ (Q ∧ −R) ∨
− (−P ←→ −Q) −→ (R ∧ −Q) i P −→ (−R ∨ −Q) −→ (P ∧ −R) ekvivalentne.
11
POGLAVLJE 1. OSNOVE MATEMATIČKE LOGIKE
(b) Ispitajte istinitost te odredite obrat, obrat po kontrapoziciji i suprotni sud, slje-
dećeg suda: "Realni broj x je pozitivan ili iracionalan ako je x2 cijeli broj ili iracionalan
broj."
1
∀ε ∈ R+ (∃n0 ∈ N) (∀n ∈ N) n ≥ n0 −→ −ε < <ε .
n
Zadatak 1.2.5.
(b) Ispitajte istinitost te odredite obrat, obrat po kontrapoziciji i suprotni sud, sljede-
ćeg suda: "Cijeli broj x je djeljiv sa 3 i paran ako je x3 djeljiv sa 3 i nije neparan."
(c) Ispitajte istinitost i negirajte sud: (∀x ∈ R) (∀y ∈ Q) x · y = 0 −→ (x = 0 ∨ y = 0) .
Zadatak 1.2.6.
(a) Neka su A, B i C formule logike sudova. Dokažite da je formula A −→ (B −→ C) −→
(A −→ B) −→ (A −→ C) valjana.
(b) Ispitajte istinitost te odredite obrat, obrat po kontrapoziciji i suprotni sud, sljede-
ćeg suda: "Formula −A ∧ B je oboriva ili je formula A −→ B valjana ako je A antitauto-
logija ili −B ispunjiva."
Zadatak 1.2.7.
(a) Neka su P , Q i R propozicijske varijable. Odredite je li formula − P −→ (Q ∨ −R) ∧
(−Q ∨ −R) ←→ (P ∨ R) valjana, oboriva, ispunjiva, antitautologija.
(b) Ispitajte istinitost te odredite obrat, obrat po kontrapoziciji i suprotni sud, slje-
dećeg suda: "Realni broj x je pozitivan ili realni broj y nije negativan ako je xy ≥ 0 ili
x2 y = 0."
Zadatak 1.2.8.
(b) Ispitajte istinitost te odredite obrat, obrat po kontrapoziciji i suprotni sud, sljede-
ćeg suda: "Ako je A −→ B valjana formula i −A oboriva, onda je B ispunjiva i A ∧ −B
antitautologija."
12
1.2. ZADACI
(c) Pojednostavnite formulu P −→ (Q −→ −R) −→ (P −→ Q) −→ − (P −→ −R) .
Zadatak 1.2.9.
(a) Pojednostavnite formulu (P ∧ −R) −→ (−P ∨ Q) ←→ (−P ∧ −Q) −→ (−R ∧ Q) .
(b) Ispitajte istinitost te odredite obrat, obrat po kontrapoziciji i suprotni sud, sljede-
ćeg suda: "Ako je cijeli broj x djeljiv sa šest i s pet, onda je djeljiv sa trideset i (−1)x < 0."
Zadatak 1.2.10.
(a) Neka su A, B i C formule logike sudova. Dokažite da su formule A −→ B −→ (A ∧ B)
i −A −→ (A ∨ −B) −→ (B −→ A) valjane.
(b) Ispitajte istinitost te odredite obrat, obrat po kontrapoziciji i suprotni sud, sljede-
ćeg suda: "Zbroj dva cijela broja x + y je djeljiv sa tri ako je x djeljiv sa tri i y djeljiv sa
šest."
(c) Odredite barem jednu formulu F koja može sadržavati samo konjukciju, disjunkciju i
negaciju te samo propozicijske varijable P i Q, tako da je
F ⇐⇒ (P ∨ −Q) −→ Q ←→ (−P ∨ Q) .
Zadatak 1.2.11.
nije oboriva.
(b) Ispitajte istinitost te odredite obrat, obrat po kontrapoziciji i suprotni sud, sljede-
ćeg suda: "Ako je skup A podskup skupa B i skup B podskup skupa C, onda je skup A
podskup skupa C."
(c) Pojednostavnite formulu P −→ (Q ∨ −R) −→ − P ∨ (−Q −→ R) .
Zadatak 1.2.12.
(b) Ispitajte istinitost te odredite obrat, obrat po kontrapoziciji i suprotni sud, sljede-
ćeg suda: "Prost broj p dijeli cijeli broj a ili cijeli broj b ako p dijeli cijeli broj ab."
13
POGLAVLJE 1. OSNOVE MATEMATIČKE LOGIKE
(b) A ∧ B ⇐⇒ F2 ,
(c) A ←→ B ⇐⇒ F3 .
Zadatak 1.2.14. Neka su P , Q i R propozicijske varijable te A = Q −→ − (−P ∧ −R) i
B = (P ∧ Q) −→ (P ∨ R) formule logike sudova.
(a) Dokažite da vrijedi A =⇒ B, ali ne vrijedi A ⇐⇒ B.
(b) Ispitajte postoji li formula logike sudova C koja sadrži samo propozicijske varijable P ,
Q, R i takva da vrijedi A =⇒ C i C =⇒ B, ali da ne vrijedi A ⇐⇒ C i C ⇐⇒ B.
Zadatak 1.2.15. Neka su A, B i C formule logike sudova. Dokažite da vrijedi A ∧ B =⇒ C
ako i samo ako je A −→ (B −→ C) valjana formula.
Zadatak 1.2.16. Zapišite kvantifikatorima sljedeće sudove, a potom ih negirajte:
(a) "Za svaki realni broj x i svaki realni broj ε postoji racionalni broj q, takav da ako vrijedi
ε > 0, onda je |x − q| < ε."
(b) "Za svaki pozitivni realni broj x postoji negativni realni broj y, takav da je y 5 = x."
(c) "Za svaki racionalni broj x i svaki realni broj y postoji cijeli broj k, takav da ako je
x < y − 1, onda je x < k < y."
(d) "Za svaki cijeli broj k i svaki prirodni broj n postoji cijeli broj q i cijeli broj r, takvi da je
k = n · q + r i 0 ≤ r < n."
(e) "Za svaki pozitivni realni broj x i svaki pozitivni realni broj y postoji prirodni broj n,
takav da je n · y > x i (n − 1) · y ≤ x."
Zadatak 1.2.17. Neka su A i B ispunjive formule logike sudova. Ispitajte jesu li formule
A ∧ B, A ∨ B, A −→ B i A ←→ B općenito ispunjive.
Zadatak 1.2.18. Neka su A, B, C, A0 , B 0 i C 0 formule logike sudova, takve da je A =⇒ A0 ,
B =⇒ B 0 i C =⇒ C 0 . Dokažite ili opovrgnite kontraprimjerom sljedeće tvrdnje:
(a) A ∧ (B ∨ −C 0 ) =⇒ (A0 ∧ −C) ∨ (B 0 ∧ A0 ),
(c) A ←→ B =⇒ A0 ←→ B 0 .
Zadatak 1.2.19. Neka je F formula logike sudova. Dokažite sljedeće tvrdnje.
(a) Formula F je oboriva ako i samo ako F nije valjana.
14
1.3. RJEŠENJA ZADATAKA
(b) Ispitajte istinitost te odredite obrat, obrat po kontrapoziciji i suprotni sud, sljede-
ćeg suda: "A i B su disjunktni skupovi ili je A podskup od B, ako je A jednočlan skup ili
B prazan skup."
Rješenje. (a). Istinitost: Ako nije q ≥ 1 ∨ q ∈ / Z, onda tvrdnja trivijalno vrijedi. Pretposta-
vimo da je q ≥ 1 ∧ q ∈ / Z. Sada za n uzmimo donje cijelo od q. Očito je n ∈ N, jer je q ≥ 1,
nadalje, n < q, jer je q ∈
/ Z. Sada je očito da za dani n vrijedi n < q < n + 1. Time smo pokazali
da je navedeni sud istinit.
Negacija: (∃q ∈ Q) (∀n ∈ N) (q ≥ 1 ∧ q ∈ / Z) ∧ (n ≥ q ∨ q ≥ n + 1)
(c) Napravimo semantičku tablicu navedene formule. Neka je F1 = (P −→ −R) ∧ (−Q ←→ R),
F2 = (P ∧ D) ∨ (Q −→ (R ←→ D)) i F = F1 ∨ F2 .
P Q R D P −→ −R −Q ←→ R F1 P ∧D R ←→ D Q −→ (R ←→ D) F2 F
0 0 0 0 1 0 0 0 1 1 1 1
0 0 1 0 1 1 1 0 0 1 1 1
0 1 0 0 1 1 1 0 1 1 1 1
0 1 1 0 1 0 0 0 0 0 0 0
1 0 0 0 1 0 0 0 1 1 1 1
1 0 1 0 0 1 0 0 0 1 1 1
1 1 0 0 1 1 1 0 1 1 1 1
1 1 1 0 0 0 0 0 0 0 0 0
15
POGLAVLJE 1. OSNOVE MATEMATIČKE LOGIKE
Iz tablice slijedi da je navedena formula oboriva (nije valjana) i da je ispunjiva (nije antitauto-
logija).
Zadatak 1.3.2.
(a) Ispitajte istinitost sljedećeg suda i odredite mu obrat, obrat po kontrapoziciji i su-
protni sud: "Ako je A antitautologija i B valjana formula, onda B =⇒ A i ne vrijedi
A =⇒ B."
Rješenje. (a) Istinitost: Sud nije istinit. Naime, za proizvoljnu interpretaciju I vrijedi I(A) = 0
i I(B) = 1, jer je A antitautologija i B valjna formula. Sada je I(B −→ A) = 0, pa B −→ A
nije valjana formula, što povlači da ne vrijedi B =⇒ A.
Obrat: "Ako vrijedi B =⇒ A i ne vrijedi A =⇒ B, onda je A antitautologija i B valjana
formula."
Obrat po kontrapoziciji: "Ako ne vrijedi B =⇒ A ili vrijedi A =⇒ B, onda A nije antitauto-
logija ili B nije valjana formula."
Suprotni sud: "Ako A nije antitautologija ili B nije valjana formula, onda ne vrijedi B =⇒ A
ili vrijedi A =⇒ B."
P Q R Q −→ P −Q ∧ (Q −→ P ) −P ←→ Q −R ∨ (−P ←→ Q) F
0 0 0 1 1 0 1 1
0 0 1 1 1 0 0 0
0 1 0 0 0 1 1 0
0 1 1 0 0 1 1 0
1 0 0 1 1 1 1 1
1 0 1 1 1 1 1 1
1 1 0 1 0 0 1 0
1 1 1 1 0 0 0 0
Iz tablice slijedi da je navedena formula ispunjiva (nije antitautologija) i oboriva (nije valjana).
(c) Istinitost: Ako je x cijeli broj, onda stavimo da je n = x, pa tvrdnja vrijedi trivijalno. Ako
x nije cijeli broj, onda uzmemo da je n cijeli broj najbliži realnom broju x. Tada je n 6= x i
vrijedi 0 < |n − x| ≤ 0.5. Dakle,
navedeni sud je istinit.
Negacija: (∃x ∈ R) (∀n ∈ Z) n 6= x ∧ (0 ≥ |n − x| ∨ |n − x| > 0.5)
Zadatak 1.3.3.
16
1.3. RJEŠENJA ZADATAKA
(a) Neka su P , Q i R propozicijske varijable. Odredite je li formula P −→ (Q ←→ R) ∧
(−Q ∨ −R) −→ (P ∧ −Q) valjana, oboriva, ispunjiva, antitautologija.
(b) Ispitajte istinitost te odredite obrat, obrat po kontrapoziciji i suprotni sud, sljede-
ćeg suda: "Formula A ∨ B je ispunjiva ili je formula A ∧ B ispunjiva ako je A ispunjiva ili
−B oboriva."
(c) Ispitajte istinitost i negirajte sud: (∀x ∈ R) (∀y ∈ R) (∃k ∈ N) (x > 0 ∧ y > x) −→
x<k<y .
P Q R Q ←→ R P −→ (Q ←→ R) −Q ∨ −R P ∧ −Q F1 F
0 0 0 1 1 1 0 0 0
0 0 1 0 1 1 0 0 0
0 1 0 0 1 1 0 0 0
0 1 1 1 1 0 0 1 1
1 0 0 1 1 1 1 1 1
1 0 1 0 0 1 1 1 0
1 1 0 0 0 1 0 0 0
1 1 1 1 1 0 0 1 1
Iz tablice slijedi da je navedena formula F ispunjiva (nije antitautologija) i oboriva (nije valjana).
(b) Istinitost: Pretpostavimo da je A ispunjiva ili −B oboriva formula. Razlikujemo dva slu-
čaja.
Prvi slučaj. Pretpostavimo da je A ispunjiva. Tada postoji interpretacija I, takva da je
I(A) = 1. Tada je očito i I(A ∨ B) = 1, pa je A ∨ B ispunjiva, a to povlači da je A ∨ B ispunjiva
ili A ∧ B ispunjiva.
Drugi slučaj. Pretpostavimo da je −B oboriva. Tada postoji interpretacija I, takva da je
I(−B) = 0, odnosno I(B) = 1. Tada je očito i I(A ∨ B) = 1, pa je A ∨ B ispunjiva, a to povlači
da je A ∨ B ispunjiva ili A ∧ B ispunjiva.
Dakle u svakom slučaju dobivamo da je A ∨ B ispunjiva ili A ∧ B ispunjiva, pa je tvrdnja istinita.
Odredimo sada obrat, obrat po kontrapoziciji i suprotni sud.
Obrat: "Ako je formula A ∨ B ispunjiva ili formula A ∧ B ispunjiva, onda je A ispunjiva ili −B
oboriva."
Suprotni sud: "Formula A ∨ B nije ispunjiva i formula A ∧ B nije ispunjiva ako A nije ispunjiva
i −B nije oboriva."
Obrat po kontrapoziciji: "Ako formula A ∨ B nije ispunjiva i formula A ∧ B nije ispunjiva,
onda A nije ispunjiva i −B nije oboriva."
(c) Istinitost: Sud nije istinit. Naime, za x = 0.5 i y = 0.6 vrijedi x > 0 i y > x, ali ne postoji
prirodni broj k, takav da je x < k < y.
Negacija: (∃x ∈ R) (∃y ∈ R) (∀k ∈ N) (x > 0 ∧ y > x) ∧ (x ≥ k ∨ k ≥ y) .
17
POGLAVLJE 1. OSNOVE MATEMATIČKE LOGIKE
Zadatak 1.3.4.
(a) Neka su P , Q i R propozicijske varijable. Ispitajte jesu li formule P −→ (Q ∧ −R) ∨
− (−P ←→ −Q) −→ (R ∧ −Q) i P −→ (−R ∨ −Q) −→ (P ∧ −R) ekvivalentne.
(b) Ispitajte istinitost te odredite obrat, obrat po kontrapoziciji i suprotni sud, slje-
dećeg suda: "Realni broj x je pozitivan ili iracionalan ako je x2 cijeli broj ili iracionalan
broj."
1
+
∀ε ∈ R (∃n0 ∈ N) (∀n ∈ N) n ≥ n0 −→ −ε < < ε .
n
Rješenje. (a) Napravimo semantičku tablicu formule F1 = P −→ (Q ∧ −R) ∨ − (−P ←→ −Q) −→
(R ∧ −Q) . Neka je F10 = (−P ←→ −Q) −→ (R ∧ −Q).
P Q R −R ∨ −Q P −→ (−R ∨ −Q) P ∧ −R F2
0 0 0 1 1 0 0
0 0 1 1 1 0 0
0 1 0 1 1 0 0
0 1 1 0 1 0 0
1 0 0 1 1 1 1
1 0 1 1 1 0 0
1 1 0 1 1 1 1
1 1 1 0 0 0 1
(b) Istinitost: Sud nije istinit. Naime, za x = −2 vrijedi da je x2 = 4 cijeli broj, ali x nije
pozitivan i nije iracionalan.
Obrat: "Ako je realni broj x pozitivan ili iracionalan, onda je x2 cijeli broj ili iracionalan broj."
Obrat po kontrapoziciji: "Ako realni broj x nije pozitivan i nije iracionalan, onda x2 nije
cijeli broj i nije iracionalan broj."
18
1.3. RJEŠENJA ZADATAKA
Suprotni sud: "Realni broj x nije pozitivan i nije iracionalan ako x2 nije cijeli broj i nije ira-
cionalan broj."
(c) Istinitost: Sud je istinit. Naime, za svaki ε ∈ R+ postoji prirodni broj n0 , takav da je
n0 · ε > 1. Sada je za svaki n ≥ n0 očito n · ε > 1, pa je n1 < ε. Kako je n1 > 0, to je −ε < n1 < ε.
1 1
Negacija: ∃ε ∈ R+ (∀n0 ∈ N) (∃n ∈ N) n ≥ n0 ∧ −ε ≥
n ∨ n ≥ε .
Zadatak 1.3.5.
(b) Ispitajte istinitost te odredite obrat, obrat po kontrapoziciji i suprotni sud, sljede-
ćeg suda: "Cijeli broj x je djeljiv sa 3 i paran ako je x3 djeljiv sa 3 i nije neparan."
(c) Ispitajte istinitost i negirajte sud: (∀x ∈ R) (∀y ∈ Q) x · y = 0 −→ (x = 0 ∨ y = 0) .
(b) Istinitost: Sud je istinit. Naime, ako je x3 djeljiv sa 3 i nije neparan, onda je x3 djeljiv s 2
i sa 3. Kako su 2 i 3 prosti brojevi, to je x djeljiv s 2 i sa 3. Dakle, x je djeljiv sa 3 i paran.
Obrat: "Ako je x3 djeljiv sa 3 i nije neparan, onda je cijeli broj x djeljiv sa 3 i paran."
Obrat po kontrapoziciji: "Ako x3 nije djeljiv sa 3 ili je neparan, onda cijeli broj x nije djeljiv
sa 3 ili nije paran."
Suprotni sud: "Cijeli broj x nije djeljiv s 3 ili nije paran ako x3 nije djeljiv s 3 ili je neparan."
Zadatak 1.3.6.
(a) Neka su A, B i C formule logike sudova. Dokažite da je formula A −→ (B −→ C) −→
(A −→ B) −→ (A −→ C) valjana.
19
POGLAVLJE 1. OSNOVE MATEMATIČKE LOGIKE
(b) Ispitajte istinitost te odredite obrat, obrat po kontrapoziciji i suprotni sud, sljede-
ćeg suda: "Formula −A ∧ B je oboriva ili je formula A −→ B valjana ako je A antitauto-
logija ili −B ispunjiva."
A B C B −→ C A −→ (B −→ C) A −→ B A −→ C F1 F
0 0 0 1 1 1 1 1 1
0 0 1 1 1 1 1 1 1
0 1 0 0 1 1 1 1 1
0 1 1 1 1 1 1 1 1
1 0 0 1 1 0 0 1 1
1 0 1 1 1 0 1 1 1
1 1 0 0 0 1 0 0 1
1 1 1 1 1 1 1 1 1
Iz tablice slijedi da je navedena formula F valjana (jer je za svaku interpretaciju istinita).
(c) Istinitost: Sud je istinit. Neka je x = 21 . Tada za svaki ε ∈ R+ postoji prirodni broj m,
takav da je 2m · ε ≥ m · ε > 1. Sada je za sve prirodne brojeve n, takve da je n ≥ m očito
2n · ε ≥ 2m · ε > 1, odnosno 21n < ε.
Negacija: (∀x ∈ R) ∃ε ∈ R+ (∀m ∈ N) (∃n ∈ N) (n ≥ m ∧ xn ≥ ε).
Zadatak 1.3.7.
(a) Neka su P , Q i R propozicijske varijable. Odredite je li formula − P −→ (Q ∨ −R) ∧
(−Q ∨ −R) ←→ (P ∨ R) valjana, oboriva, ispunjiva, antitautologija.
(b) Ispitajte istinitost te odredite obrat, obrat po kontrapoziciji i suprotni sud, slje-
dećeg suda: "Realni broj x je pozitivan ili realni broj y nije negativan ako je xy ≥ 0 ili
x2 y = 0."
20
1.3. RJEŠENJA ZADATAKA
Rješenje. (a) Napravimo semantičku tablicu formule F = − P −→ (Q ∨ −R) ∧ (−Q ∨
−R) ←→ (P ∨ R) . Neka je F 0 = (−Q ∨ −R) ←→ (P ∨ R).
P Q R Q ∨ −R −P −→ (Q ∨ −R) −Q ∨ −R P ∨R F0 F
0 0 0 1 1 1 0 0 0
0 0 1 0 0 1 1 1 0
0 1 0 1 1 1 0 0 0
0 1 1 1 1 0 1 0 0
1 0 0 1 1 1 1 1 1
1 0 1 0 1 1 1 1 1
1 1 0 1 1 1 1 1 1
1 1 1 1 1 0 1 0 0
Iz tablice slijedi da je navedena formula ispunjiva (nije antitautologija) i oboriva (nije valjana).
(b) Istinitost: Sud nije istinit. Naime, za x = 0 i y = −2 vrijedi x2 y = 0, ali x nije pozitivan i
y je negativan.
Obrat: "Ako je realni broj x pozitivan ili realni broj y nije negativan, onda je xy ≥ 0 ili x2 y = 0."
Obrat po kontrapoziciji: "Ako realni broj x nije pozitivan i realni broj y je negativan, onda
je xy < 0 i x2 y 6= 0."
Suprotni sud: "Realni broj x nije pozitivan i realni broj y je negativan ako je xy < 0 i x2 y 6= 0."
Zadatak 1.3.8.
(b) Ispitajte istinitost te odredite obrat, obrat po kontrapoziciji i suprotni sud, sljede-
ćeg suda: "Ako je A −→ B valjana formula i −A oboriva, onda je B ispunjiva i A ∧ −B
antitautologija."
(c) Pojednostavnite formulu P −→ (Q −→ −R) −→ (P −→ Q) −→ − (P −→ −R) .
21
POGLAVLJE 1. OSNOVE MATEMATIČKE LOGIKE
P Q R D P −→ D −Q ∧ −P P ∨ (−Q ∧ −P ) F1 Q∧D (Q ∧ D) ∨ −R F2 F
0 0 0 1 1 1 1 1 0 1 0 0
0 0 1 1 1 1 1 1 0 0 1 1
0 1 0 1 1 0 0 0 1 1 0 1
0 1 1 1 1 0 0 0 1 1 0 1
1 0 0 1 1 0 1 1 0 1 1 1
1 0 1 1 1 0 1 1 0 0 1 1
1 1 0 1 1 0 1 1 1 1 1 1
1 1 1 1 1 0 1 1 1 1 1 1
Iz tablice slijedi da formula F nije valjana, što povlači da ne vrijedi F1 =⇒ F2 .
22
1.3. RJEŠENJA ZADATAKA
Zadatak 1.3.9.
(a) Pojednostavnite formulu (P ∧ −R) −→ (−P ∨ Q) ←→ (−P ∧ −Q) −→ (−R ∧ Q) .
(b) Ispitajte istinitost te odredite obrat, obrat po kontrapoziciji i suprotni sud, sljede-
ćeg suda: "Ako je cijeli broj x djeljiv sa šest i s pet, onda je djeljiv sa trideset i (−1)x < 0."
(b) Istinitost: Sud nije istinit. Naime, za x = 30 je x djeljiv sa 6 i s 5, ali je (−1)30 = 1 > 0.
Obrat: "Ako je x djeljiv sa trideset i (−1)x < 0, onda je cijeli broj x djeljiv sa šest i s pet."
Obrat po kontrapoziciji: "Ako x nije djeljiv sa trideset ili (−1)x ≥ 0, onda cijeli broj x nije
djeljiv sa šest ili nije djeljiv s pet."
23
POGLAVLJE 1. OSNOVE MATEMATIČKE LOGIKE
Suprotni sud: "Ako cijeli broj x nije djeljiv sa šest ili nije djeljiv s pet, onda cijeli broj x nije
djeljiv sa trideset ili (−1)x ≥ 0."
√
(c) Istinitost: Sud je istinit. Naime, za x = 2 je x iracionalan, pa za svaki k ∈ Z i svaki
n ∈ N vrijedi x 6= nk , pa onda trivijalno vrijedi i x 6= nk ∨ x > n · k.
k
Negacija: ∀x ∈ R+ (∃k ∈ Z) (∃n ∈ N) x =
n ∧ x≤n·k .
Zadatak 1.3.10.
(a) Neka su A, B i C formule logike sudova. Dokažite da su formule A −→ B −→ (A ∧ B)
i −A −→ (A ∨ −B) −→ (B −→ A) valjane.
(b) Ispitajte istinitost te odredite obrat, obrat po kontrapoziciji i suprotni sud, sljede-
ćeg suda: "Zbroj dva cijela broja x + y je djeljiv sa tri ako je x djeljiv sa tri i y djeljiv sa
šest."
(c) Odredite barem jednu formulu F koja može sadržavati samo konjukciju, disjunkciju i
negaciju te samo propozicijske varijable P i Q, tako da je
F ⇐⇒ (P ∨ −Q) −→ Q ←→ (−P ∨ Q) .
Rješenje. (a) Napravimo semantičku tablicu navedene formule F1 = A −→ B −→ (A ∧ B) .
A B A∧B B −→ (A ∧ B) F1
0 0 0 1 1
0 1 0 0 1
1 0 0 1 1
1 1 1 1 1
Iz tablice slijedi da je navedena formula F1 valjana (istinita
je za sve interpretacije).
Sada
napravimo semantičku tablicu formule F2 = −A −→ (A ∨ −B) −→ (B −→ A) . Neka je
F20 = (A ∨ −B) −→ (B −→ A).
A B −A −B A ∨ −B B −→ A F20 F2
0 0 1 1 1 1 1 1
0 1 1 0 0 0 1 1
1 0 0 1 1 1 1 1
1 1 0 0 1 1 1 1
Iz tablice slijedi da je navedena formula F2 valjana (istinita je za sve interpretacije).
(b) Istinitost: Sud je istinit. Neka su x i y proizvoljni cijeli brojevi, takvi da je x djeljiv sa
tri i y djeljiv sa 6. Tada postoje cijeli brojevi a, b ∈ Z, takvi da je x = 3a i y = 6b. Sada je
x + y = 3a + 6b = 3(a + 2b), pa je x + y djeljiv sa tri.
Obrat: "Ako je zbroj dva cijela broja x + y djeljiv sa tri, onda je x djeljiv sa tri i y djeljiv sa
šest."
Obrat po kontrapoziciji: "Ako zbroj dva cijela broja x + y nije djeljiv sa tri, onda x nije
24
1.3. RJEŠENJA ZADATAKA
Zadatak 1.3.11.
nije oboriva.
(b) Ispitajte istinitost te odredite obrat, obrat po kontrapoziciji i suprotni sud, sljede-
ćeg suda: "Ako je skup A podskup skupa B i skup B podskup skupa C, onda je skup A
podskup skupa C."
(c) Pojednostavnite formulu P −→ (Q ∨ −R) −→ − P ∨ (−Q −→ R) .
25
POGLAVLJE 1. OSNOVE MATEMATIČKE LOGIKE
P Q R −P −→ −R R ∧ −P F1 Q ←→ P −Q ∨ (Q ←→ P ) −P −→ Q F2 F
0 0 0 1 0 0 1 1 0 0 1
0 0 1 0 1 0 1 1 0 0 1
0 1 0 1 0 0 0 0 1 0 1
0 1 1 0 1 0 0 0 1 0 1
1 0 0 1 0 0 0 1 1 1 0
1 0 1 1 0 0 0 1 1 1 0
1 1 0 1 0 0 1 1 1 1 0
1 1 1 1 0 0 1 1 1 1 0
Objasnimo kako smo dobili semantičku tablicu formule F . Objasnit ćemo prvi redak, a drugi
se redovi popunjavaju analogno. Neka je I interpretacija, takva da je I(P ) = I(Q) = I(R) = 0
(prvi redak semantičke tablice). Tražimo da navedena formula (F −→ F1 ) ←→ F2 nije oboriva
(to jest da je valjana). Tada je I((F −→ F1 ) ←→ F2 ) = 1. To povlači da je I(F −→ F1 ) = I(F2 ).
Kako je I(F2 ) = 0, to je i I(F −→ F1 ) = 0. Kako je I(F1 ) = 0, to je I(F ) = 1. Sada analogno
za preostale redove semantičke tablice.
(b) Istinitost: Sud je istinit. Naime, ako je A podskup skupa B, onda je svaki element a iz A
ujedno element iz B. Kako je B podskup skupa C, to je a element i iz skupa C. Dakle, svaki
element skupa A je ujedno element i skupa C. To povlači da je A podskup skupa C.
Obrat: "Ako je skup A podskup skupa C, onda je skup A podskup skupa B i skup B podskup
skupa C."
Obrat po kontrapoziciji: "Ako skup A nije podskup skupa C, onda skup A nije podskup
skupa B ili skup B nije podskup skupa C."
Suprotni sud: "Ako skup A nije podskup skupa B ili skup B nije podskup skupa C, onda skup
A nije podskup skupa C."
(c) Pojednostavnimo formulu F = P −→ (Q ∨ −R) −→ − P ∨ (−Q −→ R) . Koristeći
26
1.3. RJEŠENJA ZADATAKA
Zadatak 1.3.12.
(b) Ispitajte istinitost te odredite obrat, obrat po kontrapoziciji i suprotni sud, sljede-
ćeg suda: "Prost broj p dijeli cijeli broj a ili cijeli broj b ako p dijeli cijeli broj ab."
(b) Istinitost: Sud je istinit. Tvrdnju dokazujemo principom svođenja na kontradikciju. Pret-
postavimo suprotno, to jest neka prost broj p ne dijeli a i ne dijeli b. Po Euklidovom algo-
ritmu, tada postoje x1 , x2 , y1 , y2 ∈ Z, takvi da je ax1 + py1 = 1 i bx2 + py2 = 1. Sada je
(ax1 + py1 ) · (bx2 + py2 ) = (ab) · x1 y1 + (ax1 y2 + by1 x2 + py1 y2 ) · p = 1. Sada slijedi da p ne dijeli
ab (jer bi inače p dijelio 1), što je kontradikcija s pretpostavkom. Dakle, p dijeli a ili p dijeli b.
Obrat: "Ako prost broj p dijeli cijeli broj a ili cijeli broj b, onda p dijeli cijeli broj ab."
Obrat po kontrapoziciji: "Ako prost broj p ne dijeli cijeli broj a i ne dijeli cijeli broj b, onda
p ne dijeli cijeli broj ab."
Suprotni sud: "Prost broj p ne dijeli cijeli broj a i ne dijeli cijeli broj b ako p ne dijeli cijeli
broj ab."
27
POGLAVLJE 1. OSNOVE MATEMATIČKE LOGIKE
(c) Istinitost: Sud je istinit. Naime, za svaki x ∈ R možemo uzeti njegovo donje cijelo dxe (naj-
veći cijeli broj manji ili jednak x). Sada uzmemo da je k = dxe + 1. Kako je dxe ≤ x < dxe + 1,
to povlači da je x < k ≤ x + 1. Nadalje, neka je m ∈ Z proizvoljan cijeli broj, takav da je
x < m ≤ x + 1. Tada je x < m ≤ x + 1 i x < k ≤ x + 1, pa je |m − k| < 1. Kako su k i m cijeli
brojevi, to je |k − m| ∈ Z, pa je k − m = 0, odnosno k = m.
Negacija: (∃x ∈ R) (∀k ∈ Z) (x ≥ k ∨ k > x + 1) ∨ (∃m ∈ Z) (x < m ≤ x + 1 ∧ k 6= m) .
(a) A ∨ B ⇐⇒ F1 ,
(b) A ∧ B ⇐⇒ F2 ,
(c) A ←→ B ⇐⇒ F3 .
(b) Ispitajte postoji li formula logike sudova C koja sadrži samo propozicijske varijable P ,
Q, R i takva da vrijedi A =⇒ C i C =⇒ B, ali da ne vrijedi A ⇐⇒ C i C ⇐⇒ B.
(b) Tvrdimo da ne postoji formula logike sudova C s navedenim svojstvima iz (b). Tvrdnju ćemo
dokazati principom svođenja na kontradikciju. Pretpostavimo suprotno, to jest neka formula C
postoji. Kako vrijedi A =⇒ C i ne vrijedi A ⇐⇒ C, to postoji interpretacija I, takva da je
I(C) = 1 i I(A) = 0. Sada je I(Q) = 1 i I(−P ∧ −R) = 1. Dakle, I(Q) = 1, I(P ) = I(R) = 0
i I(C) = 1. Neka je J proizvoljna interpretacija. Tada je J(B) = 1 (provjerite sami). Nadalje,
ako je J(A) = 1, onda je J(C) = 1. Ako je pak J(A) = 0, onda je J = I, pa je J(C) = I(C) = 1.
Dakle, formula C je istinita za svaku interpretaciju, odnosno C je valjana formula. To povlači
da je C ⇐⇒ B (pokažite sami), što je kontradikcija s pretpostavkom. Dakle, formula C s
navedenim svojstvima ne postoji.
28
1.3. RJEŠENJA ZADATAKA
(a) "Za svaki realni broj x i svaki realni broj ε postoji racionalni broj q, takav da ako vrijedi
ε > 0, onda je |x − q| < ε."
(b) "Za svaki pozitivni realni broj x postoji negativni realni broj y, takav da je y 5 = x."
(c) "Za svaki racionalni broj x i svaki realni broj y postoji cijeli broj k, takav da ako je
x < y − 1, onda je x < k < y."
(d) "Za svaki cijeli broj k i svaki prirodni broj n postoji cijeli broj q i cijeli broj r, takvi da je
k = n · q + r i 0 ≤ r < n."
(e) "Za svaki pozitivni realni broj x i svaki pozitivni realni broj y postoji prirodni broj n,
takav da je n · y > x i (n − 1) · y ≤ x."
Rješenje.
(a) (∀x ∈ R) (∀ε ∈ R) (∃q ∈ Q) (ε > 0 −→ |x − q| < ε)
∀x ∈ R+ (∃y ∈ R) y < 0 −→ y 5 = x
(b)
(c) (∀x ∈ Q) (∀y ∈ R) (∃k ∈ Z) (x < y − 1 −→ x < k < y)
(d) (∀k ∈ Z) (∀n ∈ R) (∃q ∈ Q) (∃r ∈ Z) (k = n · q + r ∧ 0 ≤ r < n)
∀x ∈ R+ ∀y ∈ R+ (∃n ∈ N) (n · y > x ∧ (n − 1) · y ≤ x)
(e)
Negacije:
(a) (∃x ∈ R) (∃ε ∈ R) (∀q ∈ Q) (ε > 0 ∧ |x − q| ≥ ε)
∃x ∈ R+ (∀y ∈ R) y < 0 ∧ y 5 6= x
(b)
(c) (∃x ∈ Q) (∃y ∈ R) (∀k ∈ Z) x < y − 1 ∧ (x ≥ k ∨ k ≥ y)
(d) (∃k ∈ Z) (∃n ∈ R) (∀q ∈ Q) (∀r ∈ Z) k 6= n · q + r ∨ (0 > r ∨ r ≥ n)
∃x ∈ R+ ∃y ∈ R+ (∀n ∈ N) (n · y ≤ x ∨ (n − 1) · y > x)
(e)
29
POGLAVLJE 1. OSNOVE MATEMATIČKE LOGIKE
Zadatak 1.3.17. Neka su A i B ispunjive formule logike sudova. Ispitajte jesu li formule
A ∧ B, A ∨ B, A −→ B i A ←→ B općenito ispunjive.
(c) A ←→ B =⇒ A0 ←→ B 0 .
I A ∧ B ∨ −C 0
= 1.
Tada je I(A) = I(B ∨ −C 0 ) = 1. Ako je I(A) = I(B) = 1, onda je I(A0 ) = I(B 0 ) = 1, jer
vrijedi A =⇒ A0 i B =⇒ B 0 . Sada je I(B 0 ∧ A0 ) = 1, pa je I((A0 ∨ −C) ∨ (B 0 ∧ A0 )) = 1. Ako
je I(A) = I(−C 0 ) = 1, onda je I(C 0 ) = 0. Kako vrijedi A =⇒ A0 i C =⇒ C 0 , to je I(A0 ) = 1 i
I(C) = 0, odnosno I(−C) = 1. Sada je I(A0 ∧ −C) = 1, pa je I((A0 ∨ −C) ∨ (B 0 ∧ A0 )) = 1.
Dakle, vrijedi A ∧ (B ∨ −C 0 ) =⇒ (A0 ∧ −C) ∨ (B 0 ∧ A0 ).
Dokažimo tvrdnju (b). Neka je I interpretacija, takva da je I(−A −→ (−B 0 ∧ C)) = 1. Tada
je I(−A) = 0 ili I(−B 0 ∧ C) = 1. Ako je I(−A) = 0, to jest I(A) = 1, onda je I(A0 ) = 1
(jer vrijedi A =⇒ A0 ), pa je I(A0 ∨ (−B ∧ C 0 )) = 1. Ako je I(−B 0 ∧ C) = 1, onda je
I(−B 0 ) = I(C) = 1, odnosno I(B 0 ) = 0 i I(C) = 1. Sada je I(B) = 0 i I(C 0 ) = 1, jer vrijedi
B =⇒ B 0 i C =⇒ C 0 . To povlači da je I(−B) = 1 i I(C 0 ) = 1. Sada je I(−B ∧ C 0 ) = 1, pa
je I(A0 ∨ (−B ∧ C 0 )) = 1. Dakle, u svakom slučaju je I(A0 ∨ (−B ∧ C 0 )) = 1, što povlači da
vrijedi tvrdnja (b).
30
1.3. RJEŠENJA ZADATAKA
Rješenje. (a) Formula F je oboriva ako postoji interpretacija I takva da je I(F ) = 0. Dakle,
ne vrijedi da za sve interpretacije vrijedi da je F istinita, pa F nije valjana. Obrat se dokazuje
potpuno analogno.
(c) Neka je formula F ispunjiva. Tada postoji interpretacija I, takva da je I(F ) = 1, odnosno
I(−F ) = 0, pa −F nije valjana. Obrat se dokazuje potpuno analogno.
31
POGLAVLJE 1. OSNOVE MATEMATIČKE LOGIKE
32
Poglavlje 2
Skupovi
(S1) Navođenjem svih elemenata skupa (unutar vitičastih zagrada), na primjer A = {a, b, c}.
(S2) Specificiranjem nekog kriterija po kojem su neki elementi baš elementi danog skupa.
Na primjer A = {x : x ∈ R ∧ x > 0}, što označava da je A skup svih pozitivnih realnih
brojeva.
U nastavku ćemo definirati što znači biti podskup nekog skupa i kad su dva skupa jednaka.
Definicija 2.1.1 (Podskup). Reći ćemo da je skup A podskup skupa B i pisati A ⊆ B ako
vrijedi (∀a ∈ A) a ∈ B. Ako A nije podskup skupa B, onda pišemo A * B.
Definicija 2.1.3 (Pravi podskup). Reći ćemo da je skup A pravi podskup skupa B i pisati
A $ B ako vrijedi A ⊆ B i A 6= B.
33
POGLAVLJE 2. SKUPOVI
(i) A ⊆ A ;
(iii) A = A ;
Koristeći Russelov paradoks (vidi [1], [8] ili [7]) lako se vidi da ne postoji skup svih skupova,
stoga se prilikom promatranja nekih skupova ograničavamo na skup koji sadrži sve skupove koje
promatramo (to nije uvijek moguće u matematici). Taj skup obično nazivamo univerzalni
skup i označavamo s U. Neka je P neko svojstvo. Tada ćemo podskup univerzalnog skupa U
koji sadrži sve elemente sa svojstvom P označavati s {x ∈ U : P (x)}, što je skraćeni zapis od
{x : x ∈ U ∧ P (x)}. U nastavku definiramo uniju, presjek, razliku, komplement i simetričnu
razliku skupova.
A B
A B
34
2.1. OSNOVNI POJMOVI I TVRDNJE
A B
Ac A
A B
A \ B = A,
B\A=B,
A∆B = A ∪ B = [−1, 4] ,
35
POGLAVLJE 2. SKUPOVI
Prilikom ilustracije unije, presjeka, razlike, komplementa i simetrične razlike koristili smo se
takozvanim Vennovim dijagramima koji su korisni jer su intuitivni, ali valja imati na umu
da nam navedeni dijagrami koriste samo intuiciju prilikom određivanja skupovnih odnosa te
ne predstavljaju nikakav formalni dokaz. Važno je imati na umu da komplement skupa
ovisi o univerzalnom skupu U. Promotrimo sljedeće. Neka je A = {1, 2, 3}. Stavimo li da je
U = {1, 2, 3, 4}, tada je Ac = {4}. S druge strane, ako stavimo da je U = {0, 1, 2, 3}, tada je
Ac = {0}.
(1) A ∩ B = B ∩ A
(2) A ∪ B = B ∪ A
(3) A ∪ (B ∪ C) = (A ∪ B) ∪ C
(4) A ∩ (B ∩ C) = (A ∩ B) ∩ C
(5) A ∪ (B ∩ C) = (A ∪ B) ∩ (A ∪ C)
(6) A ∩ (B ∪ C) = (A ∩ B) ∪ (A ∩ C)
(7) (A ∪ B)c = AC ∩ B c
(8) (A ∩ B)c = AC ∪ B c
(9) (Ac )c = A
(10) A∆B = (A ∪ B) \ (A ∩ B)
Rješenje. Sve tvrdnje se dokazuju direktno koristeći Primjer 1.1.13. Dokažimo tvrdnju (1). Za
svaki x vrijedi
x ∈ A ∩ B ⇐⇒ x ∈ A ∧ x ∈ B ⇐⇒ x ∈ B ∧ x ∈ A ⇐⇒ x ∈ B ∩ A .
x ∈ A ∪ (B ∪ C) ⇐⇒ x ∈ A ∨ (x ∈ B ∨ x ∈ C)
⇐⇒ (x ∈ A ∨ x ∈ B) ∨ x ∈ C
⇐⇒ x∈A∪B ∨ x∈C
⇐⇒ x ∈ (A ∪ B) ∪ C .
36
2.1. OSNOVNI POJMOVI I TVRDNJE
x ∈ A ∪ (B ∩ C) ⇐⇒ x ∈ A ∨ (x ∈ B ∧ x ∈ C)
⇐⇒ (x ∈ A ∨ x ∈ B) ∧ (x ∈ A ∨ x ∈ C)
⇐⇒ x∈A∪B ∧ x∈A∪C
⇐⇒ x ∈ (A ∪ B) ∩ (A ∪ C) .
x ∈ (A ∪ B)c ⇐⇒ x∈U ∧ x∈
/ A∪B
⇐⇒ x ∈ U ∧ −(x ∈ A ∪ B)
⇐⇒ x ∈ U ∧ −(x ∈ A ∨ x ∈ B)
⇐⇒ x ∈ U ∧ (x ∈
/A ∧ x∈
/ B)
⇐⇒ x∈U ∧ x∈U ∧ x∈
/A ∧ x∈
/B
⇐⇒ (x ∈ U ∧ x ∈
/ A) ∧ (x ∈ U ∧ x ∈
/ B)
⇐⇒ x ∈ Ac ∧ x ∈ B c
⇐⇒ x ∈ Ac ∩ B c .
x ∈ (Ac )c ⇐⇒ / Ac
x∈U ∧ x∈
⇐⇒ x ∈ U ∧ −(x ∈ U ∧ x ∈
/ A)
⇐⇒ x ∈ U ∧ (x ∈
/ U ∨ x ∈ A)
⇐⇒ (x ∈ U ∧ x ∈
/ U) ∨ (x ∈ U ∧ x ∈ A)
⇐⇒ 0 ∨ (x ∈ U ∧ x ∈ A)
⇐⇒ x∈U ∧ x∈A
⇐⇒ x ∈ A.
37
POGLAVLJE 2. SKUPOVI
A B A B
C C
Slika 2.1: Vennovi dijagrami iz Primjera 2.1.10, za A \ (B \ C) (lijevo) i (A \ C) \ (B \ C) ∩
(A ∪ C) (desno)
Tvrdimo da je (A \ C) \ (B \ C) ∩ (A ∪ C) ⊆ A \ (B \ C) . Za svaki x vrijedi:
x ∈ (A \ C) \ (B \ C) ∩ (A ∪ C) ⇐⇒
⇐⇒ x ∈ A \ C ∧ x ∈ / B \ C ∧ (x ∈ C ∨ x ∈ A)
⇐⇒ x ∈ A ∧ x ∈ / C ∧ (x ∈/ B ∨ x ∈ C) ∧ (x ∈ C ∨ x ∈ A)
⇐⇒ x ∈ A ∧ (x ∈ / B ∨ x ∈ C) ∧ x ∈/ C ∧ (x ∈ C ∨ x ∈ A)
⇐⇒ x ∈ A ∧ (x ∈ / B ∨ x ∈ C) ∧ ((x ∈/ C ∧ x ∈ C) ∨ (x ∈
/ C ∧ x ∈ A))
⇐⇒ x ∈ A ∧ (x ∈ / B ∨ x ∈ C) ∧ ( 0 ∨ (x ∈
/ C ∧ x ∈ A))
⇐⇒ x ∈ A ∧ (x ∈ / B ∨ x ∈ C) ∧ (x ∈/ C ∧ x ∈ A)
=⇒ x ∈ A ∧ (x ∈ / B ∨ x ∈ C)
⇐⇒ x ∈ A ∧ x ∈ / B\C
⇐⇒ x ∈ A \ (B \ C) .
Time smo dokazali da je (A \ C) \ (B \ C) ∩ (A ∪ C) ⊆ A \ (B \ C).
Sada ćemo poopćiti pojam presjeka i pojam unije uvodeći pojam unije i presjeka množine sku-
pova. U nastavku ćemo pod pojmom množine skupova podrazumijevati skup čiji su elementi
opet skupovi.
38
2.1. OSNOVNI POJMOVI I TVRDNJE
Definicija 2.1.11 (Unija i presjek množine skupova). Neka je U neki skup i F množina
nekih (ne nužno svih) njegovih podskupova. Tada definiramo:
Rješenje. Tvrdimo da je [
Fn = N .
Fn ∈F
Tvrdimo da je \
Fn = ∅ .
Fn ∈F
[ \
Vidimo da za skupove A, B ⊆ U i F = {A, B} vrijedi A ∪ B = F i A∩B = F , što
F ∈F F ∈F
povlači da su unija množine i unija presjeka zaista generalizacija pojma unije i presjeka skupova.
Sada ćemo definirati particiju skupa.
Definicija 2.1.13 (Particija skupa). Neka je A neki skup i F neprazna množina nekih
podskupova od A koja zadovoljava uvjete:
(P 1) (∀F ∈ F) F 6= ∅ ;
(P 2) (∀F ∈ F) (∀G ∈ F) (F ∩ G = ∅ ∨ F = G) ;
[
(P 3) F = A.
F ∈F
39
POGLAVLJE 2. SKUPOVI
Definicija 2.1.15 (Partitivni skup). Neka je A neki skup. Tada množinu svih njegovih
podskupova nazivamo partitivnim skupom skupa A i označavamo s P(A) ili 2A .
40
2.1. OSNOVNI POJMOVI I TVRDNJE
(a) (A ∪ B) × C = (A × C) ∪ (B × C) ;
(b) (A ∩ B) × C = (A × C) ∩ (B × C) ;
(c) (A \ B) × C = (A × C) \ (B × C) .
(x, y) ∈ (A ∪ B) × C ⇐⇒ x∈A∪B ∧ y ∈C
⇐⇒ (x ∈ A ∨ x ∈ B) ∧ y ∈ C
⇐⇒ (x ∈ A ∧ y ∈ C) ∨ (x ∈ B ∧ y ∈ C)
⇐⇒ (x, y) ∈ A × C ∨ (x, y) ∈ B × C
⇐⇒ (x, y) ∈ (A × C) ∪ (B × C) .
(x, y) ∈ (A ∩ B) × C ⇐⇒ x∈A∩B ∧ y ∈C
⇐⇒ (x ∈ A ∧ x ∈ B) ∧ y ∈ C
⇐⇒ (x ∈ A ∧ x ∈ B) ∧ (y ∈ C ∧ y ∈ C)
⇐⇒ (x ∈ A ∧ y ∈ C) ∧ (x ∈ B ∧ y ∈ C)
⇐⇒ (x, y) ∈ A × C ∧ (x, y) ∈ B × C
⇐⇒ (x, y) ∈ (A × C) ∩ (B × C) .
Više o skupovima, kao i dokaze navedenih tvrdnji možete pronaći u [1], [7] i [8].
41
POGLAVLJE 2. SKUPOVI
2.2 Zadaci
Zadatak 2.2.1. Neka su dani skupovi:
{x ∈ Q : 2 ≤ x o≤ 5} ,
A = n
√ π
B = 5, 2 , 3, 4, 5, 10 ,
C = {x ∈ Z : 4 ≤ x ≤ 7} ,
U = [−3, 3] ∪ {x ∈ Q : 3 < x ≤ 10} .
Odredite skupove:
(a) (A∆B) ∩ C ;
(b) Ac ∪ A \ (C c ∩ B) ;
(c) (A ∪ B) ∆C .
Zadatak 2.2.2. Neka su dani skupovi A = {1, 2, 3}, B = {2, 5}, C = {1, 5} i U = {1, 2, 3, 4, 5, 6}.
Odredite:
(b) (A × B) ∆ (B × C) ;
(a) A \ B = A ∩ B c ;
(b) A = (A ∩ B) ∪ (A ∩ B c ) ;
c
(c) (A ∪ B c ) ∩ C c = (Ac ∩ B) ∪ C ;
c
(A \ C)c ∪ (B ∩ (A \ C)) \ C = (A \ B) ∪ C
(d) ;
(e) (A∆B) ∩ C = (A ∩ C) ∆ (B ∩ C) ;
(f ) (A∆B) × C = (A × C) ∆ (B × C) .
(b) A∆B = B \ A ;
Za tvrdnje (a) i (c) provjerite vrijedi li općenito jednakost. Ako jednakost općenito ne vrijedi,
navedite kontraprimjer.
42
2.2. ZADACI
(b) Dokažite da je
P (A \ B) = P(A) ∩ P (B c ) .
Zadatak 2.2.7 (*). Neka je a ∈ N neki prirodni broj. Za svaki i ∈ {0, 1, . . . , a − 1}, neka je
Ni = {n ∈ N : (∃k ∈ N0 ) n = ak + i} .
Pokažite da je familija
F = {Ni : i ∈ {0, 1, . . . , a − 1}}
Zadatak 2.2.9. Neka je F neka familija podskupova (ne nužno svih podskupova), skupa U.
Dokažite:
!c
[ \
(a) A = Ac ;
A∈F A∈F
!c
\ [
(b) A = Ac .
A∈F A∈F
Zadatak 2.2.10. Neka je X = {∅} i Y = {1, 2}. Odredite sve particije skupa P (X × Y ).
F = {FA × FB : FA ∈ FA ∧ FB ∈ FB }
(a) (A∆B) \ (A ∩ C) ;
(b) (A ∪ B) \ (A∆C) ;
(c) (P (A ∩ B)) × (B \ C) ;
43
POGLAVLJE 2. SKUPOVI
P(A) = P(B).
(A1 × B1 ) ∩ (A2 × B2 ) 6= ∅
Zadatak 2.2.17 (**). Neka je F = {An : n ∈ N} familija podskupova (ne nužno svih), skupa
U, takva da je
An+1 ⊆ An i An 6= ∅,
za svaki n ∈ N. Ispitajte vrijedi li općenito
\
An 6= ∅ ?
n∈N
(a) Dokažite da je
A1 × B1 ⊆ A2 × B2
ako i samo ako je
A1 ⊆ A2 i B1 ⊆ B2 .
Ar = {x ∈ R : x − r ∈ Z} ,
P (A ∪ B) = P(A) ∪ P(B)
44
2.2. ZADACI
p (a, b) = p (c, d) ⇐⇒ a = c ∧ b = d ,
Zadatak 2.2.28. Neka su dani skupovi A = {1, 2, 3, 4}, B = ([3, 5] ∩ Q)∪[5, 8i i C = h−2, 9i∩Z.
Odredite sljedeće skupove:
(a) A∆B ;
(b) (A ∩ C) ∆ (C ∩ B) ;
(c) (B ∪ C) \ A ;
(d) P (A ∩ B) × A \ {3, 4} .
Vrijedi li općenito jednakost ? Ako jednakost vrijedi, dokazati, ako pak ne vrijedi, pronaći
kontraprimjer.
(A∆B) ∆C = A∆ (B∆C) .
45
POGLAVLJE 2. SKUPOVI
Ispitajte vrijedi li općenito jednakost. Ako jednakost općenito ne vrijedi, pronaći kontrapri-
mjer, u suprotnom provedite dokaz.
Zadatak 2.2.32. Neka su F i G množine koje sadrže neke podskupove skupa U. Nadalje, neka
je F · G = {F × G : F ∈ F ∧ G ∈ G }. Dokažite da je
!
\ \ \
(F × G) = F × G .
F ×G∈F ·G F ∈F G∈G
Zadatak 2.2.33. Neka su A, B i C skupovi. Odredite odnos među skupovima A ∩ (B ∪
C) ∪ (B ∩ C) i (A ∩ C) \ B ∪ (A ∩ B) \ C .
Zadatak 2.2.34. Neka je A neki neprazni skup i F neka njegova particija. Nadalje, neka je
F 0 = {A \ F : F ∈ F }. Dokažite da je F 0 particija skupa A ako i samo ako postoji podskup
F ⊆ A, takav da je F = {F, A \ F }.
{x ∈ Q : 2 ≤ x o≤ 5} ,
A = n
√ π
B = 5, 2 , 3, 4, 5, 10 ,
C = {x ∈ Z : 4 ≤ x ≤ 7} ,
U = [−3, 3] ∪ {x ∈ Q : 3 < x ≤ 10} .
Odredite skupove:
(a) (A∆B) ∩ C ;
(b) Ac ∪ A \ (C c ∩ B) ;
(c) (A ∪ B) ∆C .
Rješenje.
(a) A \ B = n
{x ∈ Q : o2 ≤ x < 3} ∪ {x ∈ Q : 3 < x < 4} ∪ {x ∈ Q : 4 < x < 5},
√ π
B\A= 5, 2 , 10 ,
n√ o
A∆B = {x ∈ Q : 2 ≤ x < 3}∪{x ∈ Q : 3 < x < 4}∪{x ∈ Q : 4 < x < 5}∪ 5, π2 , 10 ,
(A∆B) ∩ C = ∅.
46
2.3. RJEŠENJA ZADATAKA
(b) Ac = [−3, 2i ∪ {x ∈ I : 2 < x < 3} ∪ {x ∈ Q : 5 < x ≤ 10}, gdje je I skup svih iraci-
onalnih brojeva,
C c = [−3, 3] ∪ {x ∈ Q : 3 < x < 4} ∪ {x ∈ Q : 4 < x < 5} ∪ {x ∈ Q : 5 < x < 6} ∪
{x ∈ Q : n6 < x < 7} o ∪ {x ∈ Q : 7 < x ≤ 10},
√ π
Cc ∩ B = 5, 2 , 3, 10 ,
A \ (C c ∩ B) = {x ∈ Q : 2 ≤ x < 3} ∪ {x ∈ Q : 3 < x ≤ 5},
Ac ∪ A \ (C c ∩ B) = [−3, 3i ∪ {x ∈ Q : 3 < x ≤ 10}.
n√ o
(c) A ∪ B = {x ∈ Q : 2 ≤ x ≤ 5} ∪ 5, π2 , 10 ,
n√ o
(A ∪ B) \ C = {x ∈ Q : 2 ≤ x < 4} ∪ {x ∈ Q : 4 < x < 5} ∪ 5, π2 , 10 ,
C \ (A ∪ B) = {6, 7}, n√ o
(A ∪ B) ∆C = {x ∈ Q : 2 ≤ x < 4} ∪ {x ∈ Q : 4 < x < 5} ∪ 5, π2 , 6, 7, 10 .
Zadatak 2.3.2. Neka su dani skupovi A = {1, 2, 3}, B = {2, 5}, C = {1, 5} i U = {1, 2, 3, 4, 5, 6}.
Odredite:
(b) (A × B) ∆ (B × C) ;
Rješenje.
(a) P(A) = {∅, {1} , {2} , {3} , {1, 2} , {1, 3} , {2, 3} , {1, 2, 3}},
P(B) = {∅, {2} , {5} , {2, 5}},
P(C) = {∅, {1} , {5} , {1, 5}},
P(A) ∪ P(B) = {∅, {1} , {2} , {3} , {1, 2} , {1, 3} , {2, 3} , {1, 2, 3} , {5} , {2, 5}},
(P(A) ∪ P(B)) \ P(C) = {{2} , {3} , {1, 2} , {1, 3} , {2, 3} , {1, 2, 3} , {2, 5}},
P(C) \ (P(A) ∪ P(B)) = {{1, 5}},
(P(A) ∪ P(B)) ∆P(C) = {{2} , {3} , {1, 2} , {1, 3} , {2, 3} , {1, 2, 3} , {2, 5} , {1, 5}}.
P (Ac ∪ B) = {∅, {2} , {4} , {5} , {6} , {2, 4} , {2, 5} , {2, 6} , {4, 5} , {4, 6} , {5, 6}}
∪ {{2, 4, 5} , {2, 4, 6} , {2, 5, 6} , {4, 5, 6} , {2, 4, 5, 6}} ,
C c = {2, 3, 4, 6},
P (C c ) = {∅, {2} , {3} , {4} , {6} , {2, 3} , {2, 4} , {2, 6} , {3, 4} , {3, 6} , {4, 6} , {2, 3, 4}}
∪ {{2, 3, 6} , {2, 4, 6} , {3, 4, 6} , {2, 3, 4, 6}} ,
47
POGLAVLJE 2. SKUPOVI
P (Ac ∪ B) \ P (C c ) = {{5} , {2, 5} , {4, 5} , {5, 6} , {2, 4, 5} , {2, 5, 6} , {4, 5, 6} , {2, 4, 5, 6}},
P (C c ) \ P (Ac ∪ B) = {{3} , {2, 3} , {3, 4} , {3, 6} , {2, 3, 4} , {2, 3, 6} , {3, 4, 6} , {2, 3, 4, 6}},
P (Ac ∪ B) ∆P(C c ) = {{5} , {2, 5} , {4, 5} , {5, 6} , {2, 4, 5} , {2, 5, 6} , {4, 5, 6} , {2, 4, 5, 6}}
∪ {{3} , {2, 3} , {3, 4} , {3, 6} , {2, 3, 4} , {2, 3, 6} , {3, 4, 6} , {2, 3, 4, 6}} .
Napomena: Skup P (Ac ∪ B) ∆P(C c ) je zapisan pomoću unije zbog tehničkih ograniče-
nja, točnije duljine reda.
(a) A \ B = A ∩ B c ;
(b) A = (A ∩ B) ∪ (A ∩ B c ) ;
c
(c) (A ∪ B c ) ∩ C c = (Ac ∩ B) ∪ C ;
c
(A \ C)c ∪ (B ∩ (A \ C)) \ C = (A \ B) ∪ C
(d) ;
(e) (A∆B) ∩ C = (A ∩ C) ∆ (B ∩ C) ;
(f ) (A∆B) × C = (A × C) ∆ (B × C) .
Rješenje. U dokazima navedenih tvrdnji koristit ćemo se tvrdnjama iz Primjera 2.1.9 i Primjera
2.1.20.
x∈A\B ⇐⇒ x∈A ∧ x∈
/B
⇐⇒ (x ∈ A ∧ x ∈ U) ∧ x ∈
/B
⇐⇒ x ∈ A ∧ (x ∈ U ∧ x ∈
/ B)
⇐⇒ x ∈ A ∧ x ∈ Bc
⇐⇒ x ∈ A ∩ Bc .
(A ∩ B) ∪ (A ∩ B c ) = A ∩ (B ∪ B c ) = A ∩ U = A .
c
(A ∪ B c ) ∩ C c = (A ∪ B c )c ∪ (C c )c = (Ac ∩ (B c )c ) ∪ C = (Ac ∩ B) ∪ C .
48
2.3. RJEŠENJA ZADATAKA
= (Ac ∪ (C c )c ) ∪ (B ∩ (A ∩ C c )) ∩ C c
= (Ac ∪ C) ∪ ((B ∩ A) ∩ C c ) ∩ C c
= (Ac ∩ C c ) ∪ (C c c
{zC }) ∪ (B ∩ A) ∩ (C ∩ C )
| ∩
c
=∅
= (A ∩ C ) ∪ (B ∩ A) ∩ C c
c c
= (Ac ∪ (B ∩ A)) ∩ C c
= (Ac ∪ B) ∩ (A c
| {z∪ A}) ∩ C c
=U
= (Ac ∪ B) ∩ C c
= (A ∩ B c )c ∩ C c
= (A \ B)c ∩ C c
= ((A \ B) ∪ C)c .
49
POGLAVLJE 2. SKUPOVI
(b) A∆B = B \ A ;
Za tvrdnje (a) i (c) provjerite vrijedi li općenito jednakost. Ako jednakost općenito ne vrijedi,
navedite kontraprimjer.
Rješenje. Jednakost pod (a) općenito ne vrijedi. Navedimo kontraprimjer. Neka je U = {1},
A = ∅, B = U i C = B. Sada je B ∩ C = {1} ∩ {1} = {1} = U i A ∩ C = ∅ ∩ {1} = ∅.
Nadalje, očito je (B ∩ C)c = {1}c = U c = ∅ i (A ∩ C)c = ∅c = U = {1}. Kako je ∅ 6= {1}, to je
(B ∩ C)c 6= (A ∩ C)c .
Jednakost pod (b) vrijedi općenito. Očito je B \ A ⊆ A∆B. S druge strane, za svaki x vrijedi
x ∈ A∆B ⇐⇒ (x ∈ A∧x ∈
/ B)∨ (x ∈ B\x ∈
/ A) =⇒ (x ∈ B∧x ∈
/ B)∨(x ∈ B∧x ∈
/ A) ⇐⇒ x ∈ B\A .
Rješenje. Očito je
P(X) = {∅, {1} , {2} , {1, 2}} ,
pa je
P (P(X)) = {∅, {∅} , {{1}} , {{2}} , {{1, 2}} , {∅, {1}} , {∅, {2}} , {∅, {1, 2}}}
∪ {{{1} , {2}} , {{1} , {1, 2}} , {{2} , {1, 2}} , {∅, {1} , {2}}}
∪ {{∅, {1} , {1, 2}} , {∅, {2} , {1, 2}} , {{1} , {2} , {1, 2}} , {∅, {1} , {2} , {1, 2}}} .
Napomena: Skup P (Ac ∪ B) ∆P(C c ) je zapisan pomoću unije zbog tehničkih ograničenja,
točnije duljine reda.
(b) Dokažite da je
P (A \ B) = P(A) ∩ P (B c ) .
50
2.3. RJEŠENJA ZADATAKA
Nadalje, je
P (U) = {∅, {1} , {2} , {1, 2}} .
Sada je
(P (U) \ P (A)) ∪ {∅} = {∅, {2} , {1, 2}} ,
pa je
P(Ac ) 6= (P (U) \ P (A)) ∪ {∅} .
Dokažimo tvrdnju (b). Prvi način. U Zadatku 2.3.3, pod (a) smo pokazali da je A \ B =
A∩B c , a na vježbama smo pokazali da je P(C ∩D) = P(C)∩P(D). Koristeći navedene činjenice
slijedi:
P (A \ B) = P(A ∩ B c ) = P(A) ∩ P(B c ).
Time smo dokazali da je P (A \ B) = P(A) ∩ P (B c ).
Zadatak 2.3.7 (*). Neka je a ∈ N neki prirodni broj. Za svaki i ∈ {0, 1, . . . , a − 1}, neka je
Ni = {n ∈ N : (∃k ∈ N0 ) n = ak + i} .
Pokažite da je familija
F = {Ni : i ∈ {0, 1, . . . , a − 1}}
jedna particija skupa prirodnih brojeva N.
51
POGLAVLJE 2. SKUPOVI
A B A B
C C
x ∈ A∆ (B ∪ C) ⇐⇒ x ∈ A \ (B ∪ C) ∨ x ∈ (B ∪ C) \ A
⇐⇒ x ∈ A ∧ (x ∈
/B ∧ x∈
/ C) ∨ (x ∈ B ∨ x ∈ C) ∧ x ∈
/A
=⇒ (x ∈ A ∧ x ∈
/ B) ∨ (x ∈ B ∧ x ∈
/ A) ∨ (x ∈ C ∧ x ∈
/ A)
⇐⇒ (x ∈ A ∧ x ∈
/ B) ∨ (x ∈ B ∧ x ∈
/ A) ∨ (x ∈ C ∧ x ∈
/ A)
⇐⇒ (x ∈ A \ B ∨ x ∈ B \ A) ∨ x ∈ C \ A
⇐⇒ x ∈ A∆B ∨ x ∈ C \ A
⇐⇒ x ∈ (A∆B) ∪ (C \ A) .
52
2.3. RJEŠENJA ZADATAKA
Zadatak 2.3.9. Neka je F neka familija podskupova (ne nužno svih podskupova), skupa U.
Dokažite:
!c
[ \
(a) A = Ac ;
A∈F A∈F
!c
\ [
(b) A = Ac .
A∈F A∈F
Sada je negacija: [
x∈
/ A ⇐⇒ (∀A ∈ F) x ∈
/ A.
A∈F
Dakle, vrijedi !c
[ \
A = Ac .
A∈F A∈F
Dokažimo tvrdnju (b). Tvrdnju ćemo dokazati uz pomoć tvrdnje (a). Očito je
!c !c
c c
\ \
A = (A ) .
A∈F A∈F
Sada je po (a) !c !c !c
c c
\ [ [
c
(A ) = A = Ac .
A∈F A∈F A∈F
Dakle, vrijedi !c
\ [
A = Ac .
A∈F A∈F
53
POGLAVLJE 2. SKUPOVI
Zadatak 2.3.10. Neka je X = {∅} i Y = {1, 2}. Odredite sve particije skupa P (X × Y ).
Rješenje.
X × Y = {(∅, 1) , (∅, 2)}
P (X × Y ) = {∅, {(∅, 1)} , {(∅, 2)} , {(∅, 1) , (∅, 2)}}
Odredimo sve particije skupa P (X × Y ):
F1 = {P (X × Y )} ,
F2 = {{∅, {(∅, 1)} , {(∅, 2)}} , {{(∅, 1)} , {(∅, 2)}}} ,
..
.
F15 = {{∅} , {{(∅, 1)}} , {{(∅, 2)}} , {{(∅, 1) , (∅, 1)}}} .
Ima ih ukupno 15. Ostale nađite sami. Uputa: Prvo uzmite particije s jednim elementom (to
je F1 ), zatim sve moguće s dva elementa (jedna od njih je F2 ), sve moguće s tri elementa i na
kraju ostaje samo jedna s četiri elementa (to je upravo F15 ).
F = {FA × FB : FA ∈ FA ∧ FB ∈ FB }
54
2.3. RJEŠENJA ZADATAKA
F = {FA × FB : FA ∈ FA ∧ FB ∈ FB }
Dakle, vrijedi [
A×B = (FA × FB ) .
FA ×FB ∈F
(a) (A∆B) \ (A ∩ C) ;
(b) (A ∪ B) \ (A∆C) ;
(c) (P (A ∩ B)) × (B \ C) ;
(b) Vrijedi:
h E
A \ C = −1, − 21 ∪ h2, 3i ,
55
POGLAVLJE 2. SKUPOVI
C \ A = h{0, 1} , E
A∆C = −1, − 21 ∪ {0, 1} ∪ h2, 3i ,
A ∪ B = [−1, 1i ∪ h1,h 3] , E
(A ∪ B) \ (A∆C) = − 21 , 0 ∪ h0, 1i ∪ h1, 2] ∪ {3} .
(c) Vrijedi:
A ∩ B = {−1} ,
P (A ∩ B) = {∅, {−1}} ,
B \ C = {−1, 2, 3} ,
(P (A ∩ B)) × (B \ C) = {(∅, −1) , (∅, 2) , (∅, 3) , ({−1} , −1) , ({−1} , 2) , ({−1} , 3)} .
(d) Vrijedi:
B \ {−1, 5} = {0, 2, 3} ,
F1 = {{0} , {2} , {3}} ,
F2 = {{0, 2} , {3}} ,
F3 = {{0} , {2, 3}} ,
F4 = {{0, 3} , {2}} ,
F5 = {{0, 2, 3}} .
P(A) = P(B) .
(A1 × B1 ) ∩ (A2 × B2 ) 6= ∅
A1 ∩ A2 6= ∅ i B1 ∩ B2 6= ∅.
A1 ∩ A2 6= ∅ i B1 ∩ B2 6= ∅.
56
2.3. RJEŠENJA ZADATAKA
Zadatak 2.3.17 (**). Neka je F = {An : n ∈ N} familija podskupova (ne nužno svih), skupa
U, takva da je
An+1 ⊆ An i An 6= ∅,
za svaki n ∈ N. Ispitajte vrijedi li općenito
\
An 6= ∅ ?
n∈N
Pretpostavimo suprotno, to jest, neka je n∈N An 6= ∅. Tada postoji neki x ∈ n∈N An . Sada
T T
57
POGLAVLJE 2. SKUPOVI
(a) Dokažite da je
A1 × B1 ⊆ A2 × B2
ako i samo ako je
A1 ⊆ A2 i B1 ⊆ B2 .
Rješenje. Dokažimo tvrdnju (a). Dokažimo nužnost. Neka je A1 ×B1 ⊆ A2 ×B2 . Tvrdimo
da je
A1 ⊆ A2 i B 1 ⊆ B 2 .
Neka je y ∈ B1 proizvoljan element iz B1 (takav postoji jer je B1 neprazan). Za svaki x ∈ A1
vrijedi (x, y) ∈ A1 × B1 . Kako je A1 × B1 ⊆ A2 × B2 , to je (x, y) ∈ A2 × B2 , pa je x ∈ A2 .
To povlači da je A1 ⊆ A2 . Potpuno isto se pokaže da je B1 ⊆ B2 (pokažite sami). Dokažimo
dovoljnost. Neka je
A1 ⊆ A2 i B 1 ⊆ B 2 .
Tvrdimo da je A1 × B1 ⊆ A2 × B2 . Neka je (x, y) ∈ A1 × B1 proizvoljan. Sada je x ∈ A1
i y ∈ B1 . Kako je A1 ⊆ A2 , to je x ∈ A2 . Isto tako zbog B1 ⊆ B2 , vrijedi y ∈ B2 . To
povlači da je (x, y) ∈ A2 × B2 . Kako je (x, y) ∈ A1 × B1 bio proizvoljni element, to slijedi da je
A1 × B1 ⊆ A2 × B2 . Time smo u potpunosti dokazali tvrdnju (a).
Promotrimo tvrdnju (b). Tvrdnja (b) općenito ne vrijedi. Navedimo kontraprimjer. Neka je
A1 = ∅, B2 = ∅, A2 = {1} i B1 = {2}. Tada je A1 × B1 = ∅ × {2} = ∅ i A2 × B2 = {1} × ∅ = ∅.
S druge strane je B1 = {2} i B2 = ∅, pa B1 nije podskup od B2 .
Ar = {x ∈ R : x − r ∈ Z} ,
58
2.3. RJEŠENJA ZADATAKA
najveće cijelo od x jednako x0 = 2). Neka je r = x − x0 . Tada je r ∈ [0, 1i. Nadalje, vrijedi
x − r = x − (x − x0 ) = x0 . Kako je x0 cijeli broj, to je i x − r ∈ Z. Sada je x ∈ Ar . To povlači
da je R ⊆ A∈F A. Kako je Ar ⊆ R, za svaki Ar ∈ F, to je A∈F A ⊆ R. Sada je R = A∈F A.
S S S
P (A ∪ B) = P(A) ∪ P(B)
59
POGLAVLJE 2. SKUPOVI
pa je [
A∩B = H.
H∈F ∩G
to je [
A∪B = H
H∈F ∪G
P (A ∩ B) = P(A) ∩ P(B) ,
60
2.3. RJEŠENJA ZADATAKA
A ⊆ B =⇒ P(A) ⊆ P(B) ,
P(A) * P(B) =⇒ A * B.
P(A) ⊆ P(B) =⇒ A ⊆ B .
Iz obrata po kontrapoziciji je
A * B =⇒ P(A) * P(B).
Dakle, sada je
P(A) * P(B) =⇒ A * B
i
A * B =⇒ P(A) * P(B) .
P(A) * P(B) ⇐⇒ A * B ,
61
POGLAVLJE 2. SKUPOVI
Rješenje. Pokažimo da tvrdnja vrijedi. Najprije ćemo pokazati sljedeće. Neka je X ⊆ A∈F A.
T
p (a, b) = p (c, d) ⇐⇒ a = c ∧ b = d ,
S druge strane je
p (c, d) = p (2, 1) = {{2} , {1}} .
To povlači da je
p (a, b) = p (c, d) ,
no, a 6= c.
62
2.3. RJEŠENJA ZADATAKA
Zadatak 2.3.28. Neka su dani skupovi A = {1, 2, 3, 4}, B = ([3, 5] ∩ Q)∪[5, 8i i C = h−2, 9i∩Z.
Odredite sljedeće skupove:
(a) A∆B ;
(b) (A ∩ C) ∆ (C ∩ B) ;
(c) (B ∪ C) \ A ;
(d) P (A ∩ B) × A \ {3, 4} .
(b) Vrijedi:
A ∩ C = {1, 2, 3, 4} ,
C ∩ B = {3, 4, 5, 6, 7} ,
(A ∩ C) \ (C ∩ B) = {1, 2} ,
(C ∩ B) \ (A ∩ C) = {5, 6, 7} ,
(A ∩ C) ∆ (C ∩ B) = {1, 2, 5, 6, 7} .
(c) Vrijedi:
B ∪ C = {−1, 0, 1, 2} ∪ ([3, 5] ∩ Q) ∪ [5, 8] ,
63
POGLAVLJE 2. SKUPOVI
(d) Vrijedi:
A \ {3, 4} = {1, 2} ,
A ∩ B = {3, 4} ,
P (A ∩ B) = {∅, {3} , {4} , {3, 4}} ,
(P (A ∩ B))×(A \ {3, 4}) = {(∅, 1) , ({3} , 1) , ({4} , 1) , ({3, 4} , 1) , (∅, 2) , ({3} , 2) , ({4} , 2) , ({3, 4} , 2)} .
(A \ B) ∪ (A ∩ C) ∪ B \ (A ∪ C) ⊆ (B \ C) ∪ A \ (B \ C) .
Vrijedi li općenito jednakost ? Ako jednakost vrijedi, dokazati, ako pak ne vrijedi, pronaći
kontraprimjer.
Rješenje. Neka je U = (A \ B) ∪ (A ∩ C) ∪ B \ (A ∪ C) . Za svaki x vrijedi:
x∈U ⇐⇒ (x ∈ A ∧ x ∈
/ B) ∨ (x ∈ A ∧ x ∈ C) ∨ x ∈ B ∧ (x ∈
/A ∧ x∈
/ C)
⇐⇒ x ∈ A ∧ (x ∈
/ B ∨ x ∈ C) ∨ x ∈ B ∧ (x ∈
/A ∧ x∈
/ C)
⇐⇒ (x ∈ A ∧ x ∈
/ B \ C) ∨ x ∈ B ∧ (x ∈
/A ∧ x∈
/ C)
=⇒ x ∈ A \ (B \ C) ∨ (x ∈ B ∧ x ∈
/ C)
⇐⇒ x ∈ B \ C ∨ x ∈ A \ (B \ C)
⇐⇒ x ∈ (B \ C) ∪ A \ (B \ C) .
Time smo dokazali da je (A\B)∪(A∩C) ∪ B \(A∪C) ⊆ (B \C)∪ A\(B \C) . Tvrdimo da
jednakost općenito ne vrijedi. Navedimo kontraprimjer. Neka je A = B = {1} i C = ∅. Sada je
A\B = ∅, A∩C = ∅, A∪C = A, B\(A ∪ C) = ∅. Dakle, (A \ B)∪(A ∩ C) ∪ B\(A ∪ C) = ∅.
Nadalje, vrijedi B \ C = {1} i A \ (B \ C) = ∅, pa je (B \ C) ∪ A \ (B \ C) = {1}.
(A∆B) ∆C = A∆ (B∆C) .
64
2.3. RJEŠENJA ZADATAKA
x ∈ (A∆B)∆C ⇐⇒ (x ∈ A∆B ∧ x ∈
/ C) ∨ (x ∈ C ∧ x ∈
/ A∆B)
⇐⇒ (x ∈ A \ B ∨ x ∈ B \ A) ∧ x ∈
/ C ∨ x ∈ C ∧ (x ∈
/ A\B∧x∈
/ B \ A)
⇐⇒ ((x ∈ A ∧ x ∈
/ B) ∨ (x ∈ B ∧ x ∈
/ A)) ∧ x ∈
/C
∨ x ∈ C ∧ ((x ∈
/ A ∨ x ∈ B) ∧ (x ∈
/ B ∨ x ∈ A))
⇐⇒ (x ∈ A ∧ x ∈
/ B∧x∈
/ C) ∨ (x ∈
/ A∧x∈B∧x∈
/ C)
∨ x ∈ C ∧ ((x ∈
/ A∧x∈
/ B) ∨ (x ∈ A ∧ x ∈ B))
⇐⇒ (x ∈ A ∧ x ∈
/ B∧x∈
/ C) ∨ (x ∈
/ A∧x∈B∧x∈
/ C)
∨ (x ∈
/ A∧x∈
/ B ∧ x ∈ C) ∨ (x ∈ A ∧ x ∈ B ∧ x ∈ C)
⇐⇒ (x ∈ A ∧ x ∈
/ B∧x∈
/ C) ∨ (x ∈ A ∧ x ∈ B ∧ x ∈ C)
∨ (x ∈
/ A∧x∈B∧x∈
/ C) ∨ (x ∈
/ A∧x∈
/ B ∧ x ∈ C)
⇐⇒ x ∈ A ∧ ((x ∈
/ B∧x∈
/ C) ∨ (x ∈ B ∧ x ∈ C))
∨ x∈
/ A ∧ ((x ∈ B ∧ x ∈
/ C) ∨ (x ∈
/ B ∧ x ∈ C))
⇐⇒ x ∈ A ∧ − ((x ∈
/ B ∧ x ∈ C) ∨ (x ∈
/ C ∧ x ∈ B)) ∨ (x ∈ B∆C ∧ x ∈
/ A)
⇐⇒ (x ∈ A ∧ x ∈
/ B∆C) ∨ (x ∈ B∆C ∧ x ∈
/ A)
⇐⇒ x ∈ A∆(B∆C) .
Ispitajte vrijedi li općenito jednakost. Ako jednakost općenito ne vrijedi, pronaći kontrapri-
mjer, u suprotnom provedite dokaz.
Rješenje. Nacrtajmo Vennove dijagrame skupova A ∪ (C \ B) \ B \ (A ∩ C) i C ∪ (A \ B)
(pogledajte Sliku 2.4).
Za svaki x vrijedi
x ∈ A ∪ (C \ B) \ B \ (A ∩ C) ⇐⇒ x ∈ A ∪ (C \ B) ∧ x ∈
/ B \ (A ∩ C)
⇐⇒ x ∈ A ∨ (x
| ∈ C {z
∧x∈/ B}) ∧ x ∈
/ B ∨ (x
| ∈ A {z
∧ x ∈ C})
=⇒ x∈C =⇒ x∈C
=⇒ (x ∈ A ∨ x ∈ C) ∧ (x ∈
/ B ∨ x ∈ C)
⇐⇒ (x ∈ A ∧ x ∈
/ B) ∨ x ∈ C
⇐⇒ x∈A\B ∨ x∈C
⇐⇒ x∈C ∨ x∈A\B
⇐⇒ x ∈ C ∪ (A \ B) .
65
POGLAVLJE 2. SKUPOVI
A B A B
C C
Slika 2.4: Skup A ∪ (C \ B) \ B \ (A ∩ C) (lijevo) i skup C ∪ (A \ B) (desno)
Time smo dokazali da je A ∪ (C \ B) \ B \ (A ∩ C) ⊆ C ∪ (A \ B) .
Zadatak 2.3.32. Neka su F i G množine koje sadrže neke podskupove skupa U. Nadalje, neka
je F · G = {F × G : F ∈ F ∧ G ∈ G }. Dokažite da je
!
\ \ \
(F × G) = F × G .
F ×G∈F ·G F ∈F G∈G
\
Rješenje. Neka je (x, y) ∈ (F × G) proizvoljan. Neka su F ∈ F i G ∈ G proizvoljni.
F ×G∈F ·G
Tada je F × G ∈ F · G, pa je (x, y) ∈ F × G, odnosno x ∈ F i y \
∈ G. To povlači
\
da je
x ∈ F , za svaki F ∈ F i y ∈ G, za svaki G ∈ G. Dakle, x ∈ F i y ∈ G, što
F ∈F G∈G
!
\ \ \
povlači da je (x, y) ∈ F × G. Time smo dokazali da je (F × G) ⊆
F ∈F G∈G F ×G∈F ·G
! !
\ \ \ \
F × G . Obratno, neka je (x, y) ∈ F × G proizvoljan. Tada je
F ∈F G∈G F ∈F G∈G
\ \
x∈ F iy∈ G. To povlači da je x ∈ F , za svaki F ∈ F i y ∈ G, za svaki G ∈ G, odnosno
F ∈F G∈G \
(x, y) ∈ F × G, za svaki F × G ∈ F · G. Dakle, (x, y) ∈ (F × G). Time smo dokazali da
F ×G∈F ·G
! !
\ \ \ \ \ \
je F × G ⊆ (F × G). Dakle, (F × G) = F × G,
F ∈F G∈G F ×G∈F ·G F ×G∈F ·G F ∈F G∈G
što je i trebalo dokazati.
66
2.3. RJEŠENJA ZADATAKA
Zadatak 2.3.33. Neka su A, B i C skupovi. Odredite odnos među skupovima A ∩ (B ∪
C) ∪ (B ∩ C) i (A ∩ C) \ B ∪ (A ∩ B) \ C .
Rješenje. Nacrtajmo Vennove dijagrame skupova A ∩ (B ∪ C) ∪ (B ∩ C) i (A ∩ C) \ B ∪
(A ∩ B) \ C (pogledajte Sliku 2.5).
A B A B
C C
Slika 2.5: Skup A ∩ (B ∪ C) ∪ (B ∩ C) (lijevo) i skup (A ∩ C) \ B ∪ (A ∩ B) \ C (desno)
Tvrdimo da je
(A ∩ C) \ B ∪ (A ∩ B) \ C ⊆ A ∩ (B ∪ C) ∪ (B ∩ C) .
Za svaki x vrijedi
x ∈ (A ∩ C) \ B ∪ (A ∩ B) \ C ⇐⇒ x ∈ (A ∩ C) \ B ∨ x ∈ (A ∩ B) \ C
⇐⇒ (x ∈ A ∧ x ∈ C) ∧ x ∈
/ B ∨ (x ∈ A ∧ x ∈ B) ∧ x ∈
/C
=⇒ (x ∈ A ∧ x ∈ C) ∨ (x ∈ A ∧ x ∈ B)
⇐⇒ x ∈ A ∧ (x ∈ C ∨ x ∈ B)
⇐⇒ x ∈ A ∧ (x ∈ B ∨ x ∈ C)
⇐⇒ x ∈ A ∩ (B ∪ C)
=⇒ x ∈ A ∩ (B ∪ C) ∨ x ∈ B ∩ C
⇐⇒ x ∈ A ∩ (B ∪ C) ∪ (B ∩ C) .
Time smo dokazali da je (A ∩ C) \ B ∪ (A ∩ B) \ C ⊆ A ∩ (B ∪ C) ∪ (B ∩ C) .
Neka je B = C = {1} i
Tvrdimo da jednakost općenito ne vrijedi. Navedimo kontraprimjer.
A = ∅. Tada je A ∩ (B ∪ C) = ∅, B ∩ C = {1}, pa je A ∩ (B ∪ C) ∪ (B ∩ C) = {1}. S druge
strane je (A ∩ C) \ B = (A ∩ B) \ C = ∅, pa je (A ∩ C) \ B ∪ (A ∩ B) \ C = ∅. Time smo
pokazali da jednakost općenito ne vrijedi.
Zadatak 2.3.34. Neka je A neki neprazni skup i F neka njegova particija. Nadalje, neka je
F 0 = {A \ F : F ∈ F }. Dokažite da je F 0 particija skupa A ako i samo ako postoji podskup
F ⊆ A, takav da je F = {F, A \ F }.
67
POGLAVLJE 2. SKUPOVI
A B A B
C C
Slika 2.6: Skup (A ∪ C) \ (C ∩ B) (lijevo) i skup (C \ B) ∪ (B ∩ A) \ C (desno)
Tvrdimo da je
(C \ B) ∪ (B ∩ A) \ C ⊆ (A ∪ C) \ (C ∩ B) .
Za svaki x vrijedi
x ∈ (C \ B) ∪ (B ∩ A) \ C ⇐⇒ x ∈ C \ B ∨ x ∈ (B ∩ A) \ C
⇐⇒ (x ∈ C ∧ x ∈
/ B) ∨ (x ∈ B ∧ x ∈ A) ∧ x ∈
/C
=⇒ (x ∈ C ∧ x ∈
/ B) ∨ (x ∈ A ∧ x ∈
/ C)
⇐⇒ (x ∈ C ∨ x ∈ A) ∧ (x
| ∈ C {z
∨ x∈
/ C})
⇐⇒ 1
∧ (x ∈
/ B ∨ x ∈ A) ∧ (x ∈
/B ∧ x∈
/ C)
⇐⇒ (x ∈ A ∨ x ∈ C) ∧ (x ∈
/ B ∨ x ∈ A) ∧ (x ∈
/C ∧ x∈
/ B)
=⇒ (x ∈ A ∨ x ∈ C) ∧ (x ∈
/C ∧ x∈
/ B)
⇐⇒ x∈A∪B ∧ x∈
/ C ∩B
⇐⇒ x ∈ (A ∪ B) \ (C ∩ B) .
68
2.3. RJEŠENJA ZADATAKA
Time smo dokazali da je (C \ B) ∪ (B ∩ A) \ C ⊆ (A ∪ C) \ (C ∩ B) .
69
POGLAVLJE 2. SKUPOVI
70
Poglavlje 3
Relacije
Do sada smo se bavili međusobnim odnosima skupova. U nastavku želimo stvoriti matematički
alat koji će nam omogućiti da promotrimo odnose među elementima dva skupa. U tu svrhu uvo-
dimo pojam binarne relacije. Naime, binarna relacija R na skupovima A i B je neki podskup
Kartezijevog umnoška A × B, što povlači da su elementi iz R neki uređeni parovi (a, b) ∈ A × B.
Dakle, elementi a ∈ A i b ∈ B su u nekom odnosu (relaciji) ako je (a, b) ∈ R. Ako je (a, b) ∈ R,
ima smisla promatrati je li (b, a) ∈ R. Zbog toga ćemo uvesti pojam simetrične i antisime-
trične relacije. Nadalje, ako je (a, b) ∈ R i (b, c) ∈ R, možemo se pitati je li (a, c) ∈ R, zbog
čega uvodimo pojam tranzitivnosti relacije. Potom ćemo promatrati relacije ekvivalencije koje
su svojevrsna generalizacija pojma jednakosti dva elementa. Potom ćemo generalizirati pojam
uspoređivanja dva elementa definirajući relaciju parcijalnog ili djelomičnog uređaja. Nadalje,
generalizirat ćemo pojam minimuma, maksimuma, infimuma i supremuma. Napomenimo da
ćemo pomoću pojma relacije definirati pojam funkcije u idućem poglavlju.
71
POGLAVLJE 3. RELACIJE
Definicija 3.1.2 (Dijagonala ili identična relacija). Neka je A neprazan skup. Homogenu
binarnu relaciju n o
IA = (a, a) ∈ A2 : a ∈ A ⊆ A2
nazivamo dijagonalom ili identičnom relacijom na skupu A. Označavamo je još ∆A ili idA .
Sada ćemo navesti pojam relacije koja je na neki način suprotna početnoj relaciji.
Rc = {(a, b) ∈ A × B : (a, b) ∈
/ R} .
Sada navodimo pojam kompozicije relacije. Neka su R ⊆ A×B i S ⊆ B×C relacije. Kompozicija
S ◦ R ⊆ A × C je relacija sa svojstvom da će element a ∈ A će biti u relaciji S ◦ R s elementom
c ∈ C ako postoji element b ∈ B, takav da je a u relaciji R sa b i b u relaciji S sa c.
Kompozicija relacija ima jedno važno svojstvo, a to je asocijativnost koja nam kaže da je svejedno
hoćemo li napraviti kompoziciju prve dvije relacije pa dobijenu relaciju komponirati s trećom
relacijom ili ćemo najprije komponirati drugu i treću relaciju, a potom je komponirati s prvom
relacijom.
Z ◦ (S ◦ R) = (Z ◦ S) ◦ R .
72
3.1. OSNOVNI POJMOVI I TVRDNJE
(b) Odredite R ◦ S i S ◦ R.
(c) Odredite S −1 ◦ R3 .
c
(d) Odredite R−1 ∩ S.
Odredimo R ◦ S i S ◦ R. Vrijedi
(a, c) ∈ A2 : (∃b ∈ A) (a, b) ∈ S ∧ (b, c) ∈ R
R◦S =
= {(2, 2), (2, 3), (0, 0), (0, 2), (0, 1), (1, 1), (4, 1), (2, 4), (1, 0), (1, 2), (2, 1)}
(a, c) ∈ A2 : (∃b ∈ A) (a, b) ∈ R ∧ (b, c) ∈ S
S◦R =
= {(2, 2), (3, 3), (3, 1), (3, 4), (2, 3), (2, 1), (2, 4), (4, 4), (4, 2), (1, 4)}
Odredimo S −1 ◦ R3 . Vrijedi
S −1 = (b, a) ∈ A2 : (a, b) ∈ S
{(3, 2), (2, 0), (4, 1), (4, 4), (1, 2), (2, 1), (4, 2)}
=
R2 = (a, c) ∈ A2 : (∃b ∈ A) (a, b) ∈ R ∧ (b, c) ∈ R
{(2, 2), (3, 3), (3, 0), (3, 2), (3, 1), (2, 0), (2, 1), (4, 4), (1, 1), (2, 4)}
=
3 (a, c) ∈ A2 : (∃b ∈ A) (a, b) ∈ R2 ∧ (b, c) ∈ R
R =
{(3, 0), (3, 2), (3, 1), (3, 4), (2, 4), (4, 1), (1, 4), (2, 1)}
=
S −1 ◦ R3 = (a, c) ∈ A2 : (∃b ∈ A) (a, b) ∈ R3 ∧ (b, c) ∈ S −1
{(3, 0), (3, 1), (3, 2), (3, 4), (2, 1), (2, 4), (2, 2), (4, 2), (1, 1), (1, 4), (1, 2)}
=
c
Odredimo R−1 ∩ S. Vrijedi
(
R−1 = (b, a) ∈ A2 : (a, b) ∈ R
= {(0, 2), (2, 3), (2, 2), (3, 3), (1, 4), (4, 1), (1, 2)}
−1
c 2 −1
R ∩S = (a, b) ∈ A : (a, b) ∈/R ∩ S = {(4, 4), (2, 1), (2, 4)}
73
POGLAVLJE 3. RELACIJE
R ◦ IA = R, IB ◦ R = R.
(a) R ⊆ S =⇒ R−1 ⊆ S −1 ;
Rješenje. (a) Neka je (b, a) proizvoljni element iz R−1 . Tada je (a, b) ∈ R, pa je (a, b) ∈ S. To
povlači da je (b, a) ∈ S −1 . Dakle, vrijedi R−1 ⊆ S −1 .
Sada ćemo se baviti isključivo homogenim relacijama i definirat ćemo neka njihova zanimljiva
svojstva koja će nam omogućiti da u idućem odjeljku definiramo pojam relacije ekvivalencije i
relacije parcijalnog uređaja.
74
3.1. OSNOVNI POJMOVI I TVRDNJE
R = {(1, 50) , (2, 0) , (2, 55) , (50, 50) , (50, 1) , (0, 2) , (2, 60) , (1, 1)} .
(b) Nadopunite relaciju R do relacije R minimalnim brojem elemenata, tako da R bude tran-
zitivna.
75
POGLAVLJE 3. RELACIJE
n o
R◦R = (a, c) ∈ A2 : (∃b ∈ A) (a, b) ∈ R ∧ (b, c) ∈ R
= {(1, 50), (1, 1), (2, 2), (50, 50), (50, 1), (50, 1), (0, 0), (0, 55), (0, 60), (1, 50), (1, 1)} .
[a] = {x ∈ A : (x, y) ∈ R} ⊆ A
svih elemenata iz A koji su u relaciji R s elementom a (to jest, koji su s njim ekvivalentni),
nazivamo klasom ekvivalencije relacije R određenom elementom a. Element a nazivamo
reprezentantom te klase.
76
3.1. OSNOVNI POJMOVI I TVRDNJE
Sada ćemo dovesti u vezu pojam relacije ekvivalencije i pojam particije skupa. Naime, svaka
particija inducira jedinstvenu relaciju ekvivalencije i obratno, to jest, svaka relacija ekvivalencije
inducira jedinstvenu particiju.
Korolar 3.1.17. Svaka relacija ekvivalencije na skupu A definira jednu particiju skupa
A. Elementi particije su klase ekvivalencije te se u svakom pojedinom elementu particije
nalaze oni i samo oni elementi skupa A koji su međusobno ekvivalentni.
A|R = {[a] : a ∈ A} .
R = {(1, 50) , (2, 0) , (2, 55) , (50, 50) , (50, 1) , (0, 2) , (2, 60) , (1, 1)} .
(b) Ako R nije relacija ekvivalencije, nadopunite je minimalnim brojem elemenata do relacije
ekvivalencije R i odredite kvocijentni skup A|R .
R = R ∪ ∆A ∪ {(55, 2), (60, 2), (0, 55), (0, 60), (55, 0), (60, 0), (55, 60), (60, 55)} ,
77
POGLAVLJE 3. RELACIJE
gdje je ∆A = {(0, 0), (1, 1), (2, 2), (50, 50), (55, 55), (60, 60), (9, 9)} dijagonala skupa A. Lako se
vidi da je R refleksivna, simetrična i tranzitivna relacija, pa je R relacija ekvivalencije. Nadalje,
ako izbacimo bilo koji element iz R, nova relacija neće biti relacija ekvivalencije. Dakle, R je
najmanja (u smislu inkluzije) relacija ekvivalencije koja sadrži R. Kvocijentni skup s obzirom
na relaciju R je jednak
A|R = {[0] , [1] , [9]} ,
gdje je [0] = {0, 2, 55, 60}, [1] = {1, 50} i [9] = {9}.
Definicija 3.1.21 (Relacija djelomičnog ili parcijalnog uređaja). Homogenu binarnu re-
laciju koja je refleksivna, antisimetrična i tranzitivna nazivamo relacijom djelomičnog
ili parcijalnog uređaja.
Definicija 3.1.22 (Djelomično ili parcijalno uređen skup). Uređeni par (A, ρ), gdje je A
neprazan skup, a ρ relacija djelomičnog uređaja na skupu A, nazivamo djelomično ili parci-
jalno uređenim skupom.
Dakle, graf nam jedinstveno određuje relaciju parcijalnog uređaja i obratno, to jest, relacija
parcijalnog uređaja nam određuje jedinstveni graf (za potpunu definiciju grafova u sklopu teorije
grafova možete pogledati u [6]. Reći ćemo da je element a usporediv s elementom b ako je
(a, b) ∈ R ili (b, a) ∈ R. Kod relacije parcijalnog uređaja, ne moraju svaka dva elementa biti
usporediva općenito. To nas dovodi do pojma linearnog ili totalnog uređaja.
78
3.1. OSNOVNI POJMOVI I TVRDNJE
2 1 0
5 3 4
Definicija 3.1.23 (Relacija linearnog ili totalnog uređaja). Neka je ρ relacija djelomičnog
uređaja na skupu A. Kažemo da je ρ relacija linearnog ili totalnog uređaja na A ako vrijedi
Definicija 3.1.24 (Totalno uređen skup). Uređeni par (A, ρ), gdje je A neprazan skup, a
ρ relacija totalnog uređaja na skupu A, nazivamo totalno uređenim skupom ili jednostavno
uređenim skupom.
Dakle, totalno uređen skup je parcijalno uređen skup u kojem su svaka dva elementa usporediva.
Definicija 3.1.25 (Relacija strogog djelomičnog uređaja). Homogenu binarnu relaciju
koja je irefleksivna i tranzitivna nazivamo relacijom strogog djelomičnog (ili strogog parci-
jalnog) uređaja.
Definicija 3.1.27 (Strogo uređeni skup). Uređeni par (A, ≺), gdje je A neprazan skup, a ≺
relacija strogog totalnog uređaja na skupu A nazivamo strogo uređenim skupom.
Sada ćemo objasniti kako svaki parcijalni uređaj inducira jedinstveni strogi parcijalni uređaj i
obratno. Neka je na skupu A definirana relacija djelomičnog uređaja , onda na tom skupu
možemo definirati i relaciju strogog djelomičnog uređaja ≺ , tako da je
a ≺ b ⇐⇒ a b ∧ a 6= b ,
79
POGLAVLJE 3. RELACIJE
za sve a, b ∈ A. Obratno, ako na skupu A imamo relaciju strogog djelomičnog uređaja ≺ , onda
možemo na tom skupu definirati i relaciju djelomičnog uređaja, tako da je
a b ⇐⇒ a ≺ b ∨ a = b ,
za sve a, b ∈ A. Prema tome, kad god je (A, ) djelomično uređen skup podrazumijevat ćemo
da je A i strogo djelomično uređen skup, i obratno.
Neka je (A, ) djelomično uređen skup i X ⊆ A, onda je i (X, ) djelomično uređen skup, gdje
je uređaj naslijeđen iz A.
(∀x ∈ X) m x .
(∀x ∈ X) (x m −→ x = m) .
(∀x ∈ X) x n .
(∀x ∈ X) (n x −→ x = n) .
(a) Dokažite da je R relacija djelomičnog uređaja koja nije relacija potpunog uređaja.
80
3.1. OSNOVNI POJMOVI I TVRDNJE
(b) Neka je (2, n) ∈ R, za neki prirodni broj n ∈ N. Tada mora biti n = 2, pa je 2 uistinu
maksimalni element skupa N. Kako 3 nije usporediv s 2, to očito 2 nije maksimum skupa N.
Tvrdimo da je 2 jedinstveni maksimalni element skupa N. Pretpostavimo da je m ∈ N neki
proizvoljni maksimalni element skupa N. Očito je m različito od 1, jer je (1, 2) ∈ R. Nadalje, m
nije strogo veći od 2, jer bi u tom slučaju bilo (m, m + 1) ∈ R. Dakle, jedini maksimalni element
skupa N je 2. Time smo u potpunosti dokazali tvrdnju.
Sada ćemo definirati donju i gornju među skupa te infimum i supremum skupa.
Definicija 3.1.30 (Donja međa i infimum). Neka je (A, ) djelomično uređen skup, te
X ⊆ A, X 6= ∅.
(I1) Reći ćemo da je d ∈ A donja međa ili minoranta skupa X u A ako vrijedi
(∀x ∈ X) d x .
(I2) Kažemo da je X omeđen odozdo ako postoji barem jedna donja međa skupa X.
(I3) Ako je X omeđen odozdo, za donju među d kažemo da je najveća donja međa ili
infimum skupa X, i označavamo d = inf X, ako je d0 d za svaku donju među d0 skupa
X.
Definicija 3.1.31 (Gornja međa i supremum). Neka je (A, ) djelomično uređen skup, te
X ⊆ A, X 6= ∅.
(S1) Reći ćemo da je g ∈ A gornja međa ili majoranta skupa X u A ako vrijedi
(∀x ∈ X) x g .
(S2) Kažemo da je X omeđen odozgo ako postoji barem jedna gornja međa skupa X.
(S3) Ako je X omeđen odozgo, za gornju među g kažemo da je najmanja gornja međa ili
supremum skupa X, i označavamo g = sup X, ako je g g 0 za svaku gornju među g 0
skupa X.
81
POGLAVLJE 3. RELACIJE
(b) Ako R nije relacija parcijalnog uređaja, nadopunite je minimalnim brojem elemenata do
relacije parcijalnog uređaja R (ako je moguće) i odredite sve minimalne i maksi-
malne elemente.
(c) Odredite barem jednu relaciju totalnog uređaja T ⊆ A2 (ako je moguće), tako da je
R ⊆ T i da je 2 minimum, a 0 maksimum skupa A, s obzirom na relaciju T .
Rješenje. Ispitajmo je li R relacija parcijalnog uređaja. Lako se vidi da R nije refleksivna, jer
je 1 ∈ A, ali (1, 1) ∈
/ R.
2 1 0
5 3 4
Odredimo relaciju R. Ima smisla određivati relaciju R jer je R antisimetrična relacija. Naime,
vrijedi za sve a, b ∈ A vrijedi (a, b) ∈ R ∧ (b, a) ∈ R −→ a = b. Neka je
R = R ∪ {(1, 1), (3, 3), (4, 4), (6, 6), (2, 0), (5, 4)} .
T = R∪{(3, 0), (4, 0), (5, 0), (6, 0), (2, 3), (2, 4), (2, 5), (1, 3), (1, 4), (1, 5), (6, 1), (6, 3), (6, 4), (6, 5)} .
82
3.1. OSNOVNI POJMOVI I TVRDNJE
2 6 1 5 3 4 0
Rješenje. Neka su R, S ⊆ A2 relacije parcijalnog uređaja. Tvrdimo da R◦S nije općenito relacija
parcijalnog uređaja. Navedimo kontraprimjer. Neka je A = {1, 2} te R = {(1, 1), (2, 2), (1, 2)}
i S = {(1, 1), (2, 2), (2, 1)}. Lako se vidi da su R i S relacije parcijalnog uređaja na skupu A.
Nadalje, vrijedi R ◦ S = {(1, 1), (1, 2), (2, 2), (2, 1)}. Kako je (1, 2) ∈ R ◦ S i (2, 1) ∈ R ◦ S, ali
1 6= 2, to R ◦ S nije antisimetrična relacija, pa nije ni relacija parcijalnog uređaja. Time smo
dokazali tvrdnju.
(I1) zatvoreni interval ili segment određen elementima a i b kao [a, b] = {x ∈ A : a ≤ x ≤ b}.
(I2) otvoreni interval određen elementima a i b kao ha, bi = {x ∈ A : a < x < b}.
(I3) poluzatvoreni interval s lijeva određen elementima a i b kao [a, bi = {x ∈ A : a ≤ x < b}.
(I4) poluzatvoreni interval zdesna određen elementima a i b kao ha, b] = {x ∈ A : a < x ≤ b}.
(I5) otvorenu lijevu zraku određenu elementom a kao h·, ai = {x ∈ A : x < a}, pri čemu
A nema minimum.
(I6) zatvorenu lijevu zraku određenu elementom a kao h·, a] = {x ∈ A : x ≤ a}, pri čemu
A nema minimum.
(I7) otvorenu desnu zraku određenu elementom a kao ha, ·i = {x ∈ A : a < x}, pri čemu
A nema maksimum.
(I8) zatvorenu desnu zraku određenu elementom a kao [a, ·i = {x ∈ A : a ≤ x}, pri čemu
A nema maksimum.
83
POGLAVLJE 3. RELACIJE
3.2 Zadaci
Zadatak 3.2.1. Neka je dan skup A = {0, 1, 2, 3, 4, 5} i relacija R, takva da je
R = {(0, 0) , (0, 2) , (2, 3) , (2, 2) , (3, 3) , (4, 1) , (1, 4) , (4, 4) , (1, 1)} .
(a) Dokažite da je D(S ◦ R) ⊆ D(R). Vrijedi li općenito jednakost? Ako jednakost općenito
ne vrijedi, onda nađite kontraprimjer.
(b) Dokažite da je K(S ◦ R) ⊆ K(S). Vrijedi li općenito jednakost? Ako jednakost općenito
ne vrijedi, onda nađite kontraprimjer.
Zadatak 3.2.3 (*). Neka je A neprazan skup i ρ ⊆ A2 refleksivna i tranzitivna relacija koja
nije antisimetrična. Nadalje, neka je R ⊆ A2 relacija, takva da je
za sve a, b ∈ A.
(a) Dokažite da je R relacija ekvivalencije i da postoji barem jedna klasa koja sadrži barem
dva različita elementa.
za sve a, b ∈ A.
(b1) Pokažite da je relacija - dobro definirana (promotrite što se događa kada odabe-
remo neki drugi predstavnik iste klase).
(b2) Pokažite da je relacija - relacija parcijalnog uređaja.
(c) Pokažite da je [a] ∈ A|R maksimalni element kvocijentnog skupa A|R ako i samo ako
za svaki b ∈ A vrijedi da iz aρb slijedi bρa.
za sve m, n ∈ N.
84
3.2. ZADACI
R = {(0, 50) , (0, 0) , (2, 55) , (50, 50) , (50, 1) , (0, 1) , (2, 60) , (1, 1) , (1, 50)} .
(a) Relacija R je relacija parcijalnog uređaja ako i samo ako je R−1 relacija parcijalnog
uređaja.
(b) Relacija R je relacija potpunog uređaja ako i samo ako je R−1 relacija potpunog uređaja.
Zadatak 3.2.7 (*). Neka su (A, RA ) i (B, RB ) parcijalno uređeni skupovi i A ∩ B = ∅. Neka
je R ⊆ (A ∪ B)2 relacija, takva da je
(a) Podskup B ima supremum supR B s obzirom na relaciju R ako i samo ako B ima infi-
mum inf R−1 B s obzirom na relaciju R−1 .
85
POGLAVLJE 3. RELACIJE
(a) R je relacija parcijalnog uređaja koju nazivamo leksikografski uređaj induciran rela-
cijama RA i RB .
Zadatak 3.2.14. Neka je U neki skup i U ⊆ U. Neka je R ⊆ P(U) × P(U) relacija na P(U),
takva da za sve A, B ∈ P(U) vrijedi (A, B) ∈ R ako i samo ako je A ∩ U ⊆ B ∩ U . Ispitajte
svojstva relacije R (refleksivnost, irefleksivnost, simetričnost, antisimetričnost i tranzitivnost).
(a1 , b1 ) R (a2 , b2 ) ⇐⇒ a1 RA a2 ∧ b1 RB b2 .
(a) R ◦ R−1 ⊆ ∆B ,
(b) R−1 ◦ R ⊆ ∆A ,
(c) ∆B ⊆ R ◦ R−1 .
86
3.2. ZADACI
Zadatak 3.2.22. Neka je F skup svih formula logike sudova i R ⊆ F 2 relacija na F, takva
da za sve formule A, B ∈ F vrijedi (A, B) ∈ R ako i samo ako je A =⇒ B. Ispitajte svojstva
relacije R (refleksivnost, irefleksivnost, simetričnost, antisimetričnost i tranzitivnost).
Zadatak 3.2.25. Neka je F skup svih formula logike sudova i R ⊆ F 2 relacija na F, takva
da za sve formule A, B ∈ F vrijedi (A, B) ∈ R ako i samo ako je A ⇐⇒ B. Ispitajte svojstva
relacije R (refleksivnost, irefleksivnost, simetričnost, antisimetričnost i tranzitivnost).
87
POGLAVLJE 3. RELACIJE
R = {(0, 50) , (0, 0) , (2, 55) , (50, 50) , (2, 60) , (1, 1) , (1, 50) , (2, 1)} .
(b) Je li R relacija parcijalnog uređaja? Ako R nije relacija parcijalnog uređaja, nado-
punite ju (ako je moguće) minimalnim brojem elemenata, tako da nova relacija R bude
relacija parcijalnog uređaja.
(b) (S \ R) ◦ T = (S ◦ T ) \ (R ◦ T ) .
Zadatak 3.2.31. Odredite sve relacije parcijalnog uređaja R na skupu A = {1, 2, 3, 4},
takve da je (1, 2), (4, 3), (2, 3) ∈ R.
Zadatak 3.2.33. Odredite sve relacije R na skupu A = {1, 2, 3, 4}, tako da vrijedi R2 = ∆A .
Zadatak 3.2.34. Neka su (A, RA ) i (B, RB ) parcijalno uređeni skupovi i R relacija lek-
sikografskog uređaja na skupu A × B iz Zadatka 3.2.13. Dokažite da je (m1 , m2 ) ∈ A × B
minimalni element u A × B ako i samo ako je m1 minimalni element u A, s obzirom na
relaciju RA , i m2 minimalni element u B, s obzirom na relaciju RB .
88
3.3. RJEŠENJA ZADATAKA
Zadatak 3.2.37. Neka je (A, ) parcijalno uređen skup i R homogena relacija na partitiv-
nom skupu P(A), takva da za sve X, Y ∈ P(A) vrijedi
Zadatak 3.2.38. Neka je A neki neprazni skup i R ⊆ A2 neprazna relacija. Dokažite ili
opovrgnite sljedeće tvrdnje.
(a) K(R) = B ;
(b) (∀a ∈ A) (b1 ∈ B) (b2 ∈ B) ((a, b1 ) ∈ R ∧ (a, b2 ) ∈ R) −→ b1 = b2 .
R = {(0, 0) , (0, 2) , (2, 3) , (2, 2) , (3, 3) , (4, 1) , (1, 4) , (4, 4) , (1, 1)} .
Rješenje. (a) Ispitajmo svojstva relacije R, to jest, ispitajmo refleksivnost, irefleksivnost, sime-
tričnost, antisimetričnost i tranzitivnost.
Refleksivnost. Relacija R nije refleksivna, jer je 5 ∈ A, ali (5, 5) ∈/ R.
Irefleksivnost. Relacija R nije irefleksivna, jer je (1, 1) ∈ R.
Simetričnost. Relacija R nije simetrična, jer je (2, 3) ∈ R, ali (3, 2) ∈/ R.
Antisimetričnost. Relacija R nije antisimetrična, jer je (1, 4) ∈ R i (4, 1) ∈ R, ali 1 6= 4.
Tranzitivnost. Relacija R nije tranzitivna, jer je (0, 2) ∈ R i (2, 3) ∈ R, ali (0, 3) ∈ R.
89
POGLAVLJE 3. RELACIJE
0 1 2 3 4 5
(b) Kako relacija R nije tranzitivna, to R nije relacija ekvivalencije. Nadopunimo relaciju R
minimalnim brojem elemenata do relacije ekvivalencije R. Neka je
Napomenimo da smo (5, 5) dodali radi refleksivnosti, (0, 3) radi tranzitivnosti i (3, 0) , (2, 0) , (3, 2)
radi simetričnosti. Lako se provjeri da je R tražena relacija ekvivalencije. Odredimo kvocijentni
skup A|R . Vrijedi [0] = [2] = [3] = {0, 2, 3}, [1] = [4] = {1, 4} i [5] = {5}, pa je kvocijentni skup
jednak A|R = {[0] , [1] , [5]} .
(c) Očito je
n o
R−1 = (b, a) ∈ A2 : (a, b) ∈ R = {(0, 0) , (2, 0) , (3, 2) , (2, 2) , (3, 3) , (1, 4) , (4, 1) , (4, 4) , (1, 1)}
i
R2 = {(0, 2) , (0, 0) , (0, 3) , (2, 3) , (2, 2) , (3, 3) , (4, 4) , (4, 1) , (1, 4) , (1, 1)} .
Sada se lako vidi da je D(R2 ) = a ∈ A : (∃b ∈ A) (a, b) ∈ R2 = {0, 1, 2, 3, 4}.
(a) Dokažite da je D(S ◦ R) ⊆ D(R). Vrijedi li općenito jednakost? Ako jednakost općenito
ne vrijedi, onda nađite kontraprimjer.
(b) Dokažite da je K(S ◦ R) ⊆ K(S). Vrijedi li općenito jednakost? Ako jednakost općenito
ne vrijedi, onda nađite kontraprimjer.
Rješenje. Dokažimo tvrdnju (a). Neka je a ∈ D(S ◦ R). Tada postoji neki c ∈ C, takav da je
(a, c) ∈ S ◦ R. Sada po definiciji kompozicije, postoji b ∈ B, takav da je (a, b) ∈ R i (b, c) ∈ S.
To povlači da je a ∈ D(R). Dakle, D(S ◦ R) ⊆ D(R). Tvrdimo da jednakost općenito ne vrijedi.
Navedimo kontraprimjer. Neka je A = B = C = {1, 2} i R = {(1, 1) , (2, 2)} i S = {(1, 1)}.
Sada je S ◦ R = {(1, 1)}, pa je D(R) = {1, 2} i D(S ◦ R) = {1} te D(S ◦ R) 6= D(R). Time smo
90
3.3. RJEŠENJA ZADATAKA
pokazali tvrdnju.
Dokažimo tvrdnju (b). Neka je c ∈ K(S ◦ R). Tada postoji neki a ∈ A, takav da je
(a, c) ∈ S ◦ R. Sada po definiciji kompozicije, postoji b ∈ B, takav da je (a, b) ∈ R i (b, c) ∈ S.
To povlači da je c ∈ K(S). Dakle, K(S ◦ R) ⊆ K(S). Tvrdimo da jednakost općenito ne vrijedi.
Navedimo kontraprimjer. Neka je A = B = C = {1, 2} i R = {(1, 1)} i S = {(1, 1) , (2, 2)}.
Sada je S ◦ R = {(1, 1)}, pa je K(S) = {1, 2} i K(S ◦ R) = {1} te K(S ◦ R) 6= K(S). Time smo
pokazali tvrdnju.
Zadatak 3.3.3 (*). Neka je A neprazan skup i ρ ⊆ A2 refleksivna i tranzitivna relacija koja
nije antisimetrična. Nadalje, neka je R ⊆ A2 relacija, takva da je
za sve a, b ∈ A.
(a) Dokažite da je R relacija ekvivalencije i da postoji barem jedna klasa koja sadrži barem
dva različita elementa.
za sve a, b ∈ A.
(b1) Pokažite da je relacija - dobro definirana (promotrite što se događa kada odabe-
remo neki drugi predstavnik iste klase).
(b2) Pokažite da je relacija - relacija parcijalnog uređaja.
(c) Pokažite da je [a] ∈ A|R maksimalni element kvocijentnog skupa A|R ako i samo ako
za svaki b ∈ A vrijedi da iz aρb slijedi bρa.
Rješenje. Dokažimo tvrdnju (a). Za svaki element a ∈ A vrijedi aρa, jer je ρ refleksivna
relacija, pa je aRa. To povlači da je R refleksivna relacija. Neka su a, b ∈ A, proizvoljni, takvi
da je aRb. Tada je aρb i bρa, odnosno bρa i aρb, pa je bRa. Dakle, relacija R je simetrična.
Neka su a, b, c ∈ A proizvoljni, takvi da je aRb i bRc. Sada je
(aρb ∧ bρa) ∧ (bρc ∧ cρb) ⇐⇒ (aρb ∧ bρc) ∧ (cρb ∧ bρa) =⇒ (aρc ∧ cρa) ⇐⇒ aRc ,
jer je relacija ρ tranzitivna. Time smo pokazali da je R tranzitivna relacija. Kako je R reflek-
sivna, simetrična i tranzitivna, to je R relacija ekvivalencije. Kako relacija ρ nije antisimetrična,
to postoje barem dva različita elementa a, b ∈ A, takva da je aρb i bρa, pa je aRb. Dakle,
a, b ∈ [a] i a 6= b, pa je [a] tražena klasa.
Dokažimo tvrdnju (b1). Neka su a, a0 , b, b0 ∈ A, takvi da je aRa0 i bRb0 i [a] - [b], odnosno
aρb. Po definiciji relacije R, tada je a0 ρa i bρb0 . Sada je a0 ρa i aρb i bρb0 , pa je po tranzitivnosti
relacije ρ očito a0 ρb0 , odnosno [a0 ] - [b0 ]. Dakle, relacija - je dobro definirana.
91
POGLAVLJE 3. RELACIJE
Neka su [a] , [b] ∈ A|R , proizvoljni, takvi da je [a] - [b] i [b] - [a]. Sada je aρb i bρa, pa je
po definiciji relacija R očito aRb, odnosno [a] = [b]. Dakle, - je antisimetrična relacija. Neka
su [a] , [b] , [c] ∈ A|R proizvoljni, takvi da je [a] - [b] i [b] - [c], odnosno aρb i bρc. Kako je ρ
tranzitivna relacija, to je aρc, odnosno [a] - [c]. Dakle, - je refleksivna, simetrična i tranzitivna
relacija, pa je - relacija parcijalnog uređaja.
Dokažimo tvrdnju (c). Dokažimo nužnost. Neka je [a] ∈ A|R maksimalni element skupa A|R .
Neka je b ∈ A proizvoljan, takav da je aρb. Tada je [a] - [b]. Kako je [a] maksimalni element,
to je [a] = [b], pa je aRb, odnonso bρa, po definiciji relacije R. Dokažimo dovoljnost. Neka je
[a] ∈ A|R , takav da za svaki b ∈ A, takav da je aρb vrijedi bρa. Neka je [b ∈ A|R ] proizvoljan,
takav da je [a] - [b]. Tada je aρb. Sada je po prethodnoj pretpostavci očito bρa, pa je aRb,
odnosno [a] = [b]. Time smo u potpunosti dokazali tvrdnju.
za sve m, n ∈ N.
(a) Ispitajte svojstva relacije S (refleksivnost, irefleksivnost, simetričnost, antisimetričnost i
tranzitivnost).
R = {(0, 50) , (0, 0) , (2, 55) , (50, 50) , (50, 1) , (0, 1) , (2, 60) , (1, 1) , (1, 50)} .
92
3.3. RJEŠENJA ZADATAKA
60
55
50
0 1 2 9 50 55 60
Rješenje. (a) Ispitajmo svojstva relacije R, to jest, ispitajmo refleksivnost, irefleksivnost, sime-
tričnost, antisimetričnost i tranzitivnost.
Refleksivnost. Relacija R nije refleksivna, jer je 9 ∈ A, ali (9, 9) ∈/ R.
Irefleksivnost. Relacija R nije irefleksivna, jer je (0, 0) ∈ R.
Simetričnost. Relacija R nije simetrična, jer je (0, 50) ∈ R, ali (50, 0) ∈/ R.
Antisimetričnost. Relacija R nije antisimetrična, jer je (1, 50) ∈ R i (50, 1) ∈ R, ali 1 6= 50.
Tranzitivnost. Relacija R je tranzitivna, jer za sve a, b, c ∈ A, takve da je (a, b) ∈ R i (b, c) ∈ R
vrijedi (a, c) ∈ R.
(b) Kako relacija R nije refleksivna, to R nije relacija ekvivalencije. Nadopunimo relaciju R
minimalnim brojem elemenata do relacije ekvivalencije R. Neka je
R = R ∪ {(2, 2) , (55, 55) , (60, 60) , (9, 9) , (50, 0) , (55, 2) , (1, 0) , (60, 2) , (60, 55) , (55, 60)} .
Napomenimo da smo (2, 2) , (55, 55) , (60, 60) , (9, 9) dodali radi refleksivnosti, (55, 60) radi tranzi-
tivnosti (iako je R bila tranzitivna relacija, dodavanjem novih elemenata, tranzitivnost općenito
više ne vrijedi, kao što je ovdje i slučaj) i (50, 0) , (55, 2) , (1, 0) , (60, 2) , (60, 55) radi simetrič-
nosti. Lako se provjeri da je R tražena relacija ekvivalencije. Odredimo kvocijentni skup A|R .
Vrijedi [0] = [1] = [50] = {0, 1, 50}, [2] = [55] = [60] = {2, 55, 60} i [9] = {9}, pa je kvocijentni
skup jednak A|R = {[0] , [2] , [9]}.
93
POGLAVLJE 3. RELACIJE
(c) Očito je
D(R) = {a ∈ A : (∃b ∈ A) (a, b) ∈ R} = {0, 1, 2, 50}
i
K(R) = {b ∈ A : (∃a ∈ A) (a, b) ∈ R} = {0, 1, 50, 55, 60} .
Nadalje, vrijedi
R ◦ R = {(0, 50) , (0, 1) , (50, 50) , (50, 1) , (1, 50) , (0, 50) , (1, 1)} .
(a) Relacija R je relacija parcijalnog uređaja ako i samo ako je R−1 relacija parcijalnog
uređaja.
(b) Relacija R je relacija potpunog uređaja ako i samo ako je R−1 relacija potpunog uređaja.
Rješenje. Dokažimo tvrdnju (a). Dokažimo nužnost. Neka je R neka relacija parcijalnog
uređaja. Tvrdimo da je R−1 relacija parcijalnog uređaja. Treba dokazati da je R−1 refleksivna,
simetrična i tranzitivna relacija. Za svaki a ∈ A vrijedi (a, a) ∈ R, jer je R refleksivna relacija,
pa je (a, a) ∈ R−1 . Dakle, R−1 je refleksivna relacija. Za sve a, b ∈ A za koje je (a, b) ∈ R−1
i (b, a) ∈ R−1 je (b, a) ∈ R i (a, b) ∈ R. Kako je R antisimetrična relacija, to je a = b. Dakle,
relacija R−1 je antisimetrična. Za sve a, b, c ∈ A za koje je (a, b) ∈ R−1 i (b, c) ∈ R−1 , vrijedi
(b, a) ∈ R−1 i (c, b) ∈ R−1 , odnosno (c, b) ∈ R−1 i (b, a) ∈ R−1 , pa je (c, a) ∈ R (jer je R
tranzitivna relacija), odnosno (a, c) ∈ R−1 . Dakle, R−1 je tranzitivna, refleksivna i simetrična
relacija, pa je R−1 relacija parcijalnog uređaja. Dokažimo dovoljnost. Neka je dana neka rela-
−1
cija R, takva da je R−1 relacija parcijalnog uređaja. Sada je po dokazu nužnosti R−1 =R
relacija parcijalnog uređaja. Time smo u potpunosti dokazali tvrdnju.
Dokažimo tvrdnju (b). Dokažimo nužnost. Neka je R neka relacija potpunog uređaja. Tada
je R i relacija parcijalnog uređaja, pa je po tvrdnji (a) i R−1 relacija parcijalnog uređaja. Neka
su a, b ∈ A proizvoljni. Kako je R relacija potpunog uređaja, to je (a, b) ∈ R ili (b, a) ∈ R,
odnosno (b, a) ∈ R−1 ili (a, b) ∈ R−1 . Dakle, vrijedi (a, b) ∈ R−1 ili (b, a) ∈ R−1 . Kako su a i b
bili proizvoljni elementi iz A, to je R−1 relacija potpunog uređaja. Dokažimo dovoljnost. Neka
je dana neka relacija R, takva da je R−1 relacija potpunog uređaja. Sada je po dokazu nužnosti
−1
R−1 = R relacija potpunog uređaja. Time smo u potpunosti dokazali tvrdnju.
Zadatak 3.3.7 (*). Neka su (A, RA ) i (B, RB ) parcijalno uređeni skupovi i A ∩ B = ∅. Neka
je R ⊆ (A ∪ B)2 relacija, takva da je
94
3.3. RJEŠENJA ZADATAKA
95
POGLAVLJE 3. RELACIJE
Rješenje. Neka je R relacija strogog uređaja. Tada je R tranzitivna i irefleksiva relacija. Tvr-
dimo da je R antisimetrična relacija. Neka su a, b ∈ A proizvoljni takvi da je (a, b) ∈ R i
(b, a) ∈ R. Kako je R tranzitivna relacija, to je (a, a) ∈ R. No, to je kontradikcija s pretpostav-
kom da je R irefleksivna relacija. Dakle, ne postoje a, b ∈ A, takvi da je (a, b) ∈ R i (b, a) ∈ R,
pa je trivijalno relacija R antisimetrična. Time smo dokazali tvrdnju.
(a) Podskup B ima supremum supR B s obzirom na relaciju R ako i samo ako B ima infi-
mum inf R−1 B s obzirom na relaciju R−1 .
Rješenje. Dokažimo nužnost. Neka je R neka relacija parcijalnog uređaja i neka postoji
supR B supremum skupa B, s obzirom na relaciju R. Tvrdimo da je supR B donja međa za
B s obzirom na relaciju R−1 . Neka je b ∈ B proizvoljan. Tada je (b, supR B) ∈ R, pa je
(supR B, b) ∈ R−1 . Dakle, supR B je donja međa skupa B, s obzirom na relaciju R−1 . Tvrdimo
da je supR B najveća donja međa, to jest infimum skupa B, s obzirom na relaciju R−1 . Neka
je a ∈ A neka donja međa skupa B, s obzirom na relaciju R−1 . Tada je za svaki b ∈ B očito
(a, b) ∈ R−1 , odnosno (b, a) ∈ R. Dakle, a je gornja međa skupa B, s obzirom na relaciju R. To
povlači da je (supR B, a), jer je supremum najmanja gornja međa, odnosno (a, supR B) ∈ R−1 .
Dakle, supR B je najveća donja međa, odnosno infimum skupa B, s obzirom na relaciju R−1 , pa
vrijedi inf R−1 B = supR B.
Dokažimo dovoljnost. Neka je R neka relacija parcijalnog uređaja, takva da postoji inf R−1 B
infimum skupa B, s obzirom na relaciju R−1 . Tvrdimo da je inf R−1 B gornja međa za B s obzirom
na relaciju R. Neka je b ∈ B proizvoljan. Tada je (inf R−1 B, b) ∈ R−1 , pa je (b, inf R−1 B) ∈ R.
Dakle, inf R−1 B je gornja međa skupa B, s obzirom na relaciju R. Tvrdimo da je inf R−1 B
najmanja gornja međa, to jest supremum skupa B, s obzirom na relaciju R. Neka je a ∈ A neka
gornja međa skupa B, s obzirom na relaciju R. Tada je za svaki b ∈ B očito (b, a) ∈ R, odnosno
(a, b) ∈ R−1 . Dakle, a je donja međa skupa B, s obzirom na relaciju R−1 . To povlači da je
(a, inf R−1 B), jer je infimum najveća donja međa, odnosno (inf R−1 B, a) ∈ R. Dakle, inf R−1 B
je najmanja gornja međa, odnosno supremum skupa B, s obzirom na relaciju R, pa vrijedi
supR B = inf R−1 B. Time smo u potpunosti dokazali tvrdnju.
96
3.3. RJEŠENJA ZADATAKA
(a) R je relacija parcijalnog uređaja koju nazivamo leksikografski uređaj induciran rela-
cijama RA i RB .
97
POGLAVLJE 3. RELACIJE
Antisimetričnost. Neka su (a1 , b1 ), (a2 , b2 ) ∈ A×B, takvi da je (a1 , b1 ) R (a2 , b2 ) i (a2 , b2 ) R (a1 , b1 ).
Tada je po definiciji relacije R:
(a1 RA a2 ∧ a1 6= a2 )∨(a1 = a2 ∧ b1 RB b2 ) ∧ (a2 RA a1 ∧ a2 6= a1 )∨(a2 = a1 ∧ b2 RB b1 ) .
Tranzitivnost. Neka su (a1 , b1 ), (a2 , b2 ), (a3 , b3 ) ∈ A×B proizvoljni, takvi da je (a1 , b1 ) R (a2 , b2 )
i (a2 , b2 ) R (a3 , b3 ). Po definiciji relacije R vrijedi:
(a1 RA a2 ∧ a1 6= a2 )∨(a1 = a2 ∧ b1 RB b2 ) ∧ (a2 RA a3 ∧ a2 6= a3 )∨(a2 = a3 ∧ b2 RB b3 ) .
Zadatak 3.3.14. Neka je U neki skup i U ⊆ U. Neka je R ⊆ P(U) × P(U) relacija na P(U),
takva da za sve A, B ∈ P(U) vrijedi (A, B) ∈ R ako i samo ako je A ∩ U ⊆ B ∩ U . Ispitajte
svojstva relacije R (refleksivnost, irefleksivnost, simetričnost, antisimetričnost i tranzitivnost).
98
3.3. RJEŠENJA ZADATAKA
S = S ∪ {(1, 1), (5, 5), (0, 2), (2, 4), (1, 4), (4, 0), (0, 4), (1, 2), (2, 1), (1, 0), (0, 1)} .
Lako se vidi da je S relacija ekvivalencije koja sadrži S. Nadalje, ako izbacimo bilo koji element
iz S, nova relacija neće biti relacija ekvivalencije. Dakle, S je najmanja (u smislu inkluzije)
99
POGLAVLJE 3. RELACIJE
relacija ekvivalencije koja sadrži relaciju S. Kvocijentni skup s obzirom na relaciju S je jednak
A|S = {[0] , [3] , [5]} ,
gdje je [0] = {0, 1, 2, 4}, [3] = {3} i [5] = {5}.
Odredimo S ◦ R i S −1 ◦ R. Vrijedi
(a, c) ∈ A2 : (∃b ∈ A) (a, b) ∈ R ∧ (b, c) ∈ S
S◦R =
= {(0, 0), (0, 2), (2, 3), (2, 0), (2, 2), (3, 3), (1, 2), (1, 1), (1, 4), (4, 1), (4, 4)} ,
−1 (a, c) ∈ A2 : (∃b ∈ A) (a, b) ∈ R ∧ (b, c) ∈ S −1
S ◦R =
= {(0, 0), (0, 2), (0, 4), (0, 2), (2, 3), (2, 4), (2, 2), (3, 3), (4, 4), (1, 4)} .
(b) Neka je [(a, b)] proizvoljna klasa, s obzirom na relaciju R i neka je (a0 , b0 ) ∈ [(a, b)] proizvoljan.
Tada je a RA a0 i b RB b0 , pa je a0 ∈ [a] i b0 ∈ [b]. Dakle, vrijedi [(a, b)] ⊆ [a] × [b]. Neka su a0 ∈ [a]
i b0 ∈ [b] proizvoljni. Tada je a RA a0 i b RB b0 , odnosno (a, b) R (a0 , b0 ), pa je (a0 , b0 ) ∈ [(a, b)]. To
povlači da je [a] × [b] ⊆ [(a, b)]. Sada je [(a, b)] = [a] × [b], gdje je [a] ∈ A|RA i [b] ∈ B|RB . Time
smo u potpunosti dokazali tvrdnju.
100
3.3. RJEŠENJA ZADATAKA
(b) R−1 ◦ R ⊆ ∆A ;
(c) ∆B ⊆ R ◦ R−1 .
Rješenje. (a) Tvrdimo da tvrdnja (a) općenito ne vrijedi. Navedimo kontraprimjer. Neka je A =
B = {1, 2} i R = {(1, 1), (1, 2)}. Sada je R−1 = {(1, 1), (2, 1)} i R◦R−1 = {(1, 1), (1, 2), (2, 1), (2, 2)},
ali R ◦ R−1 * ∆B .
(b) Tvrdnja (b) također općenito ne vrijedi. Možemo uzeti kontraprimjer iz (a).
(c) Tvrdimo da tvrdnja (c) općenito ne vrijedi. Neka je A = B = {1, 2} i R = {(1, 1)}.
Tada je R−1 = {(1, 1)} i R ◦ R−1 = {(1, 1)}. Kako je (2, 2) ∈ ∆B i (2, 2) ∈
/ R ◦ R−1 , to je
∆B * R ◦ R−1 .
tvrdnju.
101
POGLAVLJE 3. RELACIJE
Tvrdnja (b) slijedi direktno iz tvrdnje (a), to jest iz činjenice da je R = S ako i samo ako je
R ⊆ S i S ⊆ R. Time smo u potpunosti dokazali tvrdnju.
102
3.3. RJEŠENJA ZADATAKA
gdje je
[∅] = {∅, {1} , {2} , {1, 2}}
[{3}] = {{3} , {1, 3} , {2, 3} , {1, 2, 3}}
[{4}] = {{4} , {1, 4} , {2, 4} , {1, 2, 4}}
[{3, 4}] = {{3, 4} , {1, 3, 4} , {2, 3, 4} , {1, 2, 3, 4}} .
Zadatak 3.3.22. Neka je F skup svih formula logike sudova i R ⊆ F 2 relacija na F, takva
da za sve formule A, B ∈ F vrijedi (A, B) ∈ R ako i samo ako je A =⇒ B. Ispitajte svojstva
relacije R (refleksivnost, irefleksivnost, simetričnost, antisimetričnost i tranzitivnost).
103
POGLAVLJE 3. RELACIJE
Rješenje. (a) Ispitajmo svojstva relacije T , to jest ispitajmo refleksivnost, irefleksivnost, sime-
tričnost, antisimetričnost i tranzitivnost.
Refleksivnost. Kako je 1 − 1 = 0 ∈ / −N, to je (1, 1) ∈/ T , pa T nije refleksivna relacija.
Irefleksivnost. Neka je x ∈ R proizvoljan. Tada je x − x = 0 ∈ / −N, odnosno (x, x) ∈ / T . To
povlači da je relacija T irefleksivna.
Simetričnost. Kako je 1 − 2 = −1 ∈ −N, to je (1, 2) ∈ T , ali (2, 1) ∈ / T , jer je 1 − 2 = −1 ∈
/ −N.
Dakle, relacija T nije simetrična.
Antisimetričnost. Neka su x, y ∈ R proizvoljni, takvi da je (x, y) ∈ T i (y, x) ∈ T . Tada je
x − y ∈ −N i y − x ∈ −N. To povlači da je y − x < 0 i x − y < 0, a to je kontradikcija. Dakle,
ne postoje x, y ∈ R, takvi da je (x, y) ∈ T i (y, x) ∈ T , pa je relacija T trivijalno antisimetrična.
Tranzitivnost. Neka su x, y, z ∈ R proizvoljni, takvi da je (x, y) ∈ T i (y, z) ∈ T . Tada je
x − y, y − z ∈ −N. Sada je x − z = (x − y) + (y − z) ∈ −N, pa je (x, z) ∈ T . To povlači da je
relacija T tranzitivna.
(b) Dakle, relacija T je antisimetrična, irefleksivna i tranzitivna, ali nije refleksivna i nije sime-
trična. Kako T nije refleksivna, to T nije relacija ekvivalencije na skupu R.
(c) Odredimo T ◦ R, gdje je R relacija iz Zadatka 3.2.1. Kako je skup A iz Zadatka 3.2.1
podskup skupa R, to ima smisla gledati kompoziciju T ◦ R. Naime, sada možemo gledati relaciju
R kao podskup od A × R. Neka je (a, c) ∈ T ◦ R proizvoljan. Tada postoji b ∈ R, takav da
je (a, b) ∈ R i (b, c) ∈ T . Kako je (a, b) ∈ R, to mora biti b ∈ K(R) = {0, 1, 2, 3, 4}. Kako je
(b, c) ∈ T , to je b − c ∈ −N, pa je c cijeli broj strogo veći od b. Dakle, za dani a vrijedi da je
(a, c) ∈ R, gdje je c > b i c ∈ Z. Kako b može biti minimalno 0 za a = 0, 2 za a = 2, 3, za a = 3,
1, za a = 4, 1 za a = 1, to je
104
3.3. RJEŠENJA ZADATAKA
Zadatak 3.3.25. Neka je F skup svih formula logike sudova i R ⊆ F 2 relacija na F, takva
da za sve formule A, B ∈ F vrijedi (A, B) ∈ R ako i samo ako je A ⇐⇒ B. Ispitajte svojstva
relacije R (refleksivnost, irefleksivnost, simetričnost, antisimetričnost i tranzitivnost).
105
POGLAVLJE 3. RELACIJE
R ◦ S = (R ◦ S)−1 = S −1 ◦ R−1 = S ◦ R .
(R ◦ S)−1 = S −1 ◦ R−1 = S ◦ R = R ◦ S ,
(R ◦ S) ◦ (R ◦ S) = R ◦ (S ◦ R) ◦ S = (R ◦ R) ◦ (S ◦ S) ⊆ R ◦ S ,
106
3.3. RJEŠENJA ZADATAKA
R = {(0, 50) , (0, 0) , (2, 55) , (50, 50) , (2, 60) , (1, 1) , (1, 50) , (2, 1)} .
(b) Je li R relacija parcijalnog uređaja? Ako R nije relacija parcijalnog uređaja, nado-
punite ju (ako je moguće) minimalnim brojem elemenata, tako da nova relacija R bude
relacija parcijalnog uređaja.
Rješenje. (a) Ispitajmo svojstva relacije R, to jest, ispitajmo refleksivnost, irefleksivnost, si-
metričnost, antisimetričnost i tranzitivnost.
Refleksivnost. Očito relacija R nije refleksivna, jer je 2 ∈ A, ali (2, 2) ∈/ R.
Irefleksivnost. Očito relacija R nije irefleksivna jer je 1 ∈ A, ali (1, 1) ∈ R.
Simetričnost. Relacija R nije simetrična jer je (0, 50) ∈ R, ali (50, 0) ∈ / R.
Antisimetričnost. Relacija R je antisimetrična jer za sve a, b ∈ A vrijedi da ako je (a, b) ∈ R
i (b, a) ∈ R, onda je a = b.
Tranzitivnost. Relacija R nije tranzitivna, jer je (2, 1) ∈ R i (1, 50) ∈ R, ali (2, 50) ∈
/ R.
(b) Relacija R nije relacija parcijalnog uređaja jer nije refleksivna (jer nije tranzitivna). Odre-
dimo relaciju R. Ima smisla određivati relaciju R jer je R antisimetrična relacija. Naime, vrijedi
za sve a, b ∈ A vrijedi (a, b) ∈ R ∧ (b, a) ∈ R −→ a = b. Neka je
R = R ∪ {(2, 2), (55, 55), (60, 60), (9, 9), (2, 50)} .
107
POGLAVLJE 3. RELACIJE
60
2 55
1 50
0 2 1 50 60
55
(e) Odredimo navedenu relaciju T . Očito je da T mora sadržavati relaciju R. Nadalje, kako
je 0 minimum skupa A i 60 maksimum skupa A, to je očito (0, a), (a, 60) ∈ T , za svaki a ∈ A.
Koristeći tranzitivnost, dobijamo da je
T = R ∪ {(0, 2), (0, 1), (0, 60), (0, 9), (0, 55), (9, 60), (55, 60), (50, 60), (1, 60)} .
(b) (S \ R) ◦ T = (S ◦ T ) \ (R ◦ T ) .
Rješenje. (a) Neka su b ∈ B i c ∈ C proizvoljni. Tada vrijedi
c
(c, b) ∈ R−1 / R ⇐⇒ (b, c) ∈ Rc ⇐⇒ (c, b) ∈ (Rc )−1 .
/ R−1 ⇐⇒ (b, c) ∈
⇐⇒ (c, b) ∈
c
Dakle, vrijedi R−1 = (Rc )−1 .
108
3.3. RJEŠENJA ZADATAKA
Zadatak 3.3.31. Odredite sve relacije parcijalnog uređaja R na skupu A = {1, 2, 3, 4},
takve da je (1, 2), (4, 3), (2, 3) ∈ R.
Zadatak 3.3.33. Odredite sve relacije R na skupu A = {1, 2, 3, 4}, tako da vrijedi R2 = ∆A .
109
POGLAVLJE 3. RELACIJE
Zadatak 3.3.34. Neka su (A, RA ) i (B, RB ) parcijalno uređeni skupovi i R relacija lek-
sikografskog uređaja na skupu A × B iz Zadatka 3.2.13. Dokažite da je (m1 , m2 ) ∈ A × B
minimalni element u A × B ako i samo ako je m1 minimalni element u A, s obzirom na
relaciju RA , i m2 minimalni element u B, s obzirom na relaciju RB .
110
3.3. RJEŠENJA ZADATAKA
Refleksivnost. Neka je A = {1, 2} i R = {(1, 1)}. Tada je R−1 = {(1, 1)} i R−1 ◦ R = {(1, 1)},
pa R−1 ◦R nije refleksivna relacija, odnosno R nije u relaciji ∼ s R, pa relacija ∼ nije refleksivna.
Antisimetričnost. Neka je A = {1, 2}, R = {(1, 1), (2, 2)} i S = {(1, 1), (2, 2), (1, 2)}. Sada su
očito R−1 ◦ S i S −1 ◦ R refleksivne relacije, pa je R ∼ S i S ∼ R, ali R 6= S. Dakle, relacija ∼
općenito nije antisimetrična.
Tranzitivnost. Neka je A = {1, 2}, R = {(1, 1), (2, 2)}, S = {(1, 1), (2, 2), (1, 2)} i T =
{(1, 2), (2, 2)}. Sada su očito R−1 ◦S = {(1, 1), (2, 2), (1, 2)} i S −1 ◦T = {(1, 2), (2, 1), (1, 1), (2, 2)}
refleksivne relacije, pa je R ∼ S i S ∼ T . S druge strane relacija R−1 ◦ T = {(1, 2), (2, 2)} nije
refleksivna, pa R i T nisu u relaciji ∼ . Dakle, relacija ∼ općenito nije tranzitivna.
Zadatak 3.3.37. Neka je (A, ) parcijalno uređen skup i R homogena relacija na partitiv-
nom skupu P(A), takva da za sve X, Y ∈ P(A) vrijedi
111
POGLAVLJE 3. RELACIJE
Zadatak 3.3.38. Neka je A neki neprazni skup i R ⊆ A2 neprazna relacija. Dokažite ili
opovrgnite sljedeće tvrdnje.
Rješenje. (a) Neka je R irefleksivna i simetrična relacija. Kako je R neprazna, to postoji barem
jedan (a, b) ∈ R. Kako je R simetrična, to je (b, a) ∈ R. Kako je R irefleksivna, to je (a, a) ∈
/ R,
pa R nije tranzitivna.
(b) Dokažimo nužnost. Neka je R simetrična i antisimetrična relacija. Tada za svaki (a, b) ∈ R
vrijedi (b, a) ∈ R po simetričnosti. Iz toga slijedi a = b po antisimetričnosti. To povlači da je
(a, b) ∈ ∆A . Dakle, R ⊆ ∆A . Dokažimo dovoljnost. Neka je R ⊆ ∆A . Tada za svaki (a, b) ∈ R
vrijedi a = b, pa je (a, a) = (b, a) ∈ R, što povlači da je R simetrična. Neka su a, b ∈ A, takvi
da je (a, b) ∈ R i (b, a) ∈ R. Tada je a = b jer je R ⊆ ∆A , pa je R antisimetrična relacija. Time
smo dokazali tvrdnju (b).
112
3.3. RJEŠENJA ZADATAKA
(a) K(R) = B ;
(b) (∀a ∈ A) (∀b1 ∈ B) (∀b2 ∈ B) ((a, b1 ) ∈ R ∧ (a, b2 ) ∈ R) −→ b1 = b2 .
Rješenje. (a) Kako je R ◦ R−1 = ∆B , to za svaki b ∈ B vrijedi (b, b) ∈ R ◦ R−1 , odnosno postoji
a ∈ A, takav da je (b, a) ∈ R−1 i (a, b) ∈ R. Sada je po definiciji b ∈ K(R). Dakle, B ⊆ K(R).
Kako je po definiciji K(R) ⊆ B, to je K(R) = B.
113
POGLAVLJE 3. RELACIJE
114
Bibliograja
[2] A. Dujella, Uvod u teoriju brojeva (skripta), PMF - Matematički odjel, Sveučilište u Zagrebu
[4] Z. Kurnik, Posebne metode rješavanja matematičkih problema, Element d.o.o., Zagreb,
2010.
[5] S. Mardešić, Matematička analiza u n-dimenzionalnom realnom prostoru (Prvi dio), Školska
knjiga, Zagreb, 1988.
[8] P. Papić, Uvod u teoriju skupova, Hrvatsko matematičko društvo, Zagreb, 2000.
115