Elementi matematicke logike - Građevinski Fakultet Univerziteta u ...
Elementi matematicke logike - Građevinski Fakultet Univerziteta u ...
Elementi matematicke logike - Građevinski Fakultet Univerziteta u ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
20 GLAVA 2. SKUP, BINARNA RELACIJA, FUNKCIJA<br />
Primjer 9 Neka je uočena ravan π, neka je p ∈ π fiksirana prava i neka je<br />
A = B = π. Primjer jedne funkcije iz skupa A u skup B je osna simetrija u<br />
odnosu na pravu p.<br />
Primjer 10 Neka je A = B = R i neka je funkcija f : A ↦→ B definisana sa<br />
f(x) = 2x − 1.<br />
Primjer 11 Neka je zadan neprazan skup A. Vaˇzan primjer funkcije koja skup<br />
A preslikava u sebe je tzv. identičko preslkikavanje skupa A (identitet). Ova<br />
funkcija se najčeˇsće označava sa I i definiˇse se na sljedeći način:<br />
(∀a ∈ A)(I(a) = a).<br />
Definicija 22 Neka su zadani neprazni skupovi A i B. Funkcija f : A ↦→ B je:<br />
• sirjekcija (na) ako<br />
• injekcija (1-1) ako<br />
(∀b ∈ B)(∃a ∈ A)(f(a) = b)<br />
(∀a1, a2 ∈ A)(a1 = a2 ⇒ f(a1) = f(a2))<br />
• bijekcija ako je sirjekcija i injekcija.<br />
Očigledno je da je uslov injektivnosti moguće zamijeniti uslovom<br />
(∀a1, a2 ∈ A)(f(a1) = f(a2) ⇒ a1 = a2).<br />
Slobodno govoreći, funkcija je sirjekcija ako svaka slika (element skupa B)<br />
ima odgovarajući original (element skupa A). Sa druge strane, funkcija je injekcija<br />
ako različitim originalima odgovaraju različite slike (isim slikama odgovaraju<br />
isti originali).<br />
2.8 Sloˇzena funkcija i inverzna funkcija<br />
Definicija 23 Neka su zadani neprazni skupovi A, B i C i neka f : A ↦→ B i<br />
g : B ↦→ C. Kompozicija funkcija f i g, u oznaci g ◦ f, je funkcija koja skup A<br />
preslikava u skup C na sljedeći način:<br />
(∀a ∈ A)((g ◦ f)(a) = g(f(a))).<br />
Treba primjetiti da gornja definicija podrazumijeva da je skup B prirodni domen<br />
funkcije g. U protivnom bi mogao postojati element a ∈ A takav da ne postoji<br />
g(f(a)). Dalje, očigledno je da funkcija f ◦ g uopˇste ne postoji. Medutim, ako<br />
je A = B = C i ako f, g : A ↦→ A, onda postoje i funkcija g ◦ f i funkcija f ◦ g,<br />
ali u opˇstem slučaju ne vaˇzi jednakost g ◦ f = f ◦ g, ˇsto ilustruje sljedeći