04.05.2013 Views

Elementi matematicke logike - Građevinski Fakultet Univerziteta u ...

Elementi matematicke logike - Građevinski Fakultet Univerziteta u ...

Elementi matematicke logike - Građevinski Fakultet Univerziteta u ...

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!