SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Ivana Šore REKURZIVNOST REALNIH FUNKCIJA Diplomski rad Voditelj rada: doc.

Величина: px
Почињати приказ од странице:

Download "SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Ivana Šore REKURZIVNOST REALNIH FUNKCIJA Diplomski rad Voditelj rada: doc."

Транскрипт

1 SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Ivana Šore REKURZIVNOST REALNIH FUNKCIJA Diplomski rad Voditelj rada: doc.dr.sc. Zvonko Iljazović Zagreb, rujan, 2015.

2 Ovaj diplomski rad obranjen je dana u sastavu: pred ispitnim povjerenstvom 1., predsjednik 2., član 3., član Povjerenstvo je rad ocijenilo ocjenom. Potpisi članova povjerenstva:

3 Mojoj majci

4 Sadržaj Sadržaj iv Uvod 1 1 Rekurzivne funkcije Primitivno rekurzivne funkcije Rekurzivne funkcije Rekurzivni skupovi Rekurzivne racionalne funkcije 23 3 Rekurzivne realne funkcije Rekurzivne aproksimacije Rekurzivni brojevi Funkcija f Relacija f (x, y) > Bibliografija 57 iv

5 Uvod U ovom diplomskom radu proučavamo pojam rekurzivne funkcije N k R. U prvom poglavlju definiramo klasični pojam rekurzivne funkcije N k N. Pri tome proučavamo i primitivno rekurzivne funkcije te rekurzivne skupove. U drugom poglavlju, kao korak prema definiranju rekurzivnih realnih funkcija, uvodimo pojam rekurzivne funkcije N k Q te proučavamo neka svojstva takvih funkcija. U trećem poglavlju definiramo rekurzivne funkcije N k R. Proučavamo neka svojstva takvih funkcija te se takoder bavimo i pojmom rekurzivnog broja. Svi pojmovi korišteni u radu su precizno definirani, a sve tvrdnje su detaljno dokazane. 1

6

7 Poglavlje 1 Rekurzivne funkcije 1.1 Primitivno rekurzivne funkcije Neka je n N \ {0} te neka je j {1,..., n}. Neka je I n j : N n N funkcija definirana sa I n j (x 1,..., x n ) = x j. Za funkciju I n j kažemo da je projekcija od N n na j-tu koordinatu. Neka su s, z : N n N funkcije definirane sa s (x) = x + 1, z (x) = 0, x N. Za funkcije s, z, I n j, n N \ {0}, j {1,..., n} kažemo da su inicijalne funkcije. Neka su n, k N \ {0}, neka su g 1,..., g n : N k N funkcije, te neka je f : N n N funkcija. Definiramo h : N k N sa h (x 1,..., x k ) = f (g 1 (x 1,..., x k ),..., g n (x 1,..., x k )). Za funkciju h kažemo da je dobivena kompozicijom funkcija f, g 1,..., g n. Napomena Neka su g 1,..., g n, f i h funkcije kao gore. Neka je G : N k funkcija definirana sa N n G (x 1,..., x k ) = (g 1 (x 1,..., x k ),..., g n (x 1,..., x k )). Za sve x 1,..., x k N vrijedi h (x 1,..., x k ) = f (G (x 1,..., x k )) = ( f G) (x 1,..., x k ). Dakle, h je kompozicija funkcija f i G (u klasičnom smislu kompozicije). 3

8 4 POGLAVLJE 1. REKURZIVNE FUNKCIJE Primjer Neka je g : N 3 N funkcija definirana sa g (x 1, x 2, x 3 ) = x Imamo Prema tome g je kompozicija funkcija s i I 3 1. g (x 1, x 2, x 3 ) = s (x 1 ) = s ( I 3 1 (x 1, x 2, x 3 ) ). Primjer Neka je f : N 2 N te neka je g : N 2 N funkcija definirana sa g (x 1, x 2 ) = f (x 2, x 1 ). Imamo g (x 1, x 2 ) = f ( I 2 2 (x 1, x 2 ), I 2 1 (x 1, x 2 ) ). Dakle g je kompozicija funkcija f, I 2 2, I2 1. Nadalje, neka je h : N 3 N funkcija definirana sa h (a, b, c) = f (b, b). Tada je dakle, h je kompozicija funkcija f, I 3 2 i I3 2. h (a, b, c) = f ( I 3 2 (a, b, c), I3 2 (a, b, c)), Neka je k N \ {0} te neka su f : N k N i g : N k+2 N funkcije. Definiramo funkciju h : N k+1 N induktivno po prvoj varijabli na sljedeći način: h (0, x 1,..., x k ) = f (x 1,..., x k ) h (y + 1, x 1,..., x k ) = g (h (y, x 1,..., x k ), y, x 1,..., x k ). Za funkciju h kažemo da je dobivena primitivnom rekurzijom od funkcija f i g. Primjer Neka je h : N 2 N funkcija definirana sa h (y, x) = y + x. Pitamo se postoje li funkcije f i g takve da je h dobivena primitivnom rekurzijom od f i g, tj. postoje li funkcije f : N N i g : N 3 N takve da je h (0, x) = f (x) (1.1) Neka je f = I 1 1 h (y + 1, x) = g (h (y, x), y, x). (1.2) te neka je g funkcija iz primjera Tada je h (0, x) = x = I 1 1 (x) = f (x) h (y + 1, x) = y + x + 1 = h (y, x) + 1 = g (h (y, x), y, x) Dakle, funkcije f i g su takve da vrijedi (1.1) i (1.2). Prema tome, h je dobivena primitivnom rekurzijom od f i g.

9 1.1. PRIMITIVNO REKURZIVNE FUNKCIJE 5 Primjer Neka je h : N 2 N, h (y, x) = y x. Vrijedi h (0, x) = 0 = z (x) h (y + 1, x) = yx + x = h (y, x) + x = g (h (y, x), y, x) pri čemu je g : N 3 N funkcija definirana sa g (a, b, c) = a + c. Dakle, h (0, x) = z (x) h (y + 1, x) = g (h (y, x), y, x). Prema tome, h je dobivena primitivnom rekurzijom od z i g. Neka je zb : N 2 N funkcija definirana sa zb (y, x) = y + x. Tada je g (a, b, c) = a + c = zb (a, c) = zb ( I 3 1 (a, b, c), I3 3 (a, b, c)). Dakle, g je kompozicija funkcija zb, I 3 1, I3 3. Definirajmo niz skupova S 0, S 1,... induktivno na sljedeći način. Neka je S 0 skup svih inicijalnih funkcija. Pretpostavimo da je l N te da smo definirali skup S l. Definiramo S l+1 kao skup svih funkcija h koje zadovoljavaju jedan od sljedeća tri uvjeta: 1. Postoje n N i funkcije f, g 1,..., g n S l takve da je h dobivena kompozicijom funkcija f, g 1,..., g n. 2. Postoje funkcije f, g S l takve da je h dobivena primitivnom rekurzijom od f i g. 3. h S l. Na ovaj način smo definirali skupove S l, l N. Uočimo da je S l S l+1. Za funkciju f kažemo da je primitivno rekurzivna ako postoji l N takav da je f S l. Uočimo da je svaka inicijalna funkcija primitivno rekurzivna. Primjer Neka je g : N 3 N definirana sa g (x 1, x 2, x 3 ) = x Funkcija g je kompozicija funkcija s i I 3 1 (primjer 1.1.2) koje su inicijalne, dakle pripadaju skupu S 0. Stoga je g S 1. Prema tome g je primitivno rekurzivna funkcija. Nadalje, neka je zb : N 2 N, zb (y, x) = y + x. Prema primjeru zb je dobivena primitivnom rekurzijom od funkcija I 1 1 i g. Imamo I 1 1 S 1 (jer je S 0 S 1 ), dakle I 1 1, g S 1 pa je zb S 2. Prema tome zb je primitivno rekurzivna funkcija.

10 6 POGLAVLJE 1. REKURZIVNE FUNKCIJE Primjer Neka je g : N 3 N funkcija definirana sa g (a, b, c) = a + c. Prema primjeru g je dobivena kompozicijom funkcija zb, I 3 1 i I3 3, pri čemu je zb funkcija iz prethodnog primjera. Imamo zb S 2 te takoder I 3 1, I3 3 S 2 (jer je S 0 S 2 ). Stoga je g S 3. Neka je h : N 2 N, h (y, x) = y x. Prema primjeru h je dobivena primitivnom rekurzijom od z i g. Stoga je h S 4. Posebno, h je primitivno rekurzivna funkcija. Propozicija ) Neka je n N \ {0} te neka su h, f, g 1,..., g n funkcije takve da je h dobivena kompozicijom funkcija f, g 1,..., g n. Pretpostavimo da su f, g 1,..., g n primitivno rekurzivne funkcije. Tada je i h primitivno rekurzivna funkcija. 2) Neka su h, f, g funkcije takve da je h dobivena primitivnom rekurzijom od f i g. Pretpostavimo da su f i g primitivno rekurzivne funkcije. Tada je i h primitivno rekurzivna funkcija. Dokaz. 1) Uočimo prvo sljedeće. Ako su i, j N takvi da je i j, onda je S i S j. To slijedi iz činjenice da je S l S l+1 za svaki l N. Budući da je f primitivno rekurzivna funkcija postoji l N takav da je f S l. Nadalje, za svaki i {1,..., n} funkcija g i je primitivno rekurzivna pa postoji v i N takav da je g i S vi. Dakle, f S l, g 1 S v1,..., g n S vn. Neka je w = max {l, v 1,..., v n }. Tada je svaki od brojeva l, v 1,..., v n manji ili jednak od w pa je stoga svaki od skupova S l, S v1,..., S vn podskup od S w. Slijedi da su f, g 1,... g n S w. Prema tome h S w+1. Dakle, h je primitivno rekurzivna funkcija. 2) Budući da su f i g primitivno rekurzivne postoje l 1, l 2 N takvi da je f S l1 i g S l2. Neka je w = max {l 1, l 2 }. Tada je S l1 S w i S l2 S w pa su f, g S w. Slijedi da je h S w+1. Dakle, h je primitivno rekurzivna funkcija. Propozicija Neka je n N \ {0}. Tada je svaka konstantna funkcija N n primitivno rekurzivna. N

11 1.1. PRIMITIVNO REKURZIVNE FUNKCIJE 7 Dokaz. Za a N neka je c a : N n N funkcija definirana sa c a (x 1,..., x n ) = a. Očito je svaka konstantna funkcija N n N oblika c a za neki a N. Dokažimo da je c a primitivno rekurzivna funkcija za svaki a N indukcijom po a. Imamo c 0 (x 1,..., x n ) = 0 = z ( I n 1 (x 1,..., x n ) ). Stoga je c 0 dobivena kompozicijom funkcija z i I n 1. Iz propozicije ) slijedi da je c 0 primitivno rekurzivna funkcija. Pretpostavimo da je c a primitivno rekurzivna funkcija za neki a N. Vrijedi c a+1 (x 1,..., x n ) = a + 1 = s (a) = s (c a (x 1,..., x n )). Prema tome c a+1 je dobivena kompozicijom funkcija s i c a. Prema induktivnoj pretpostavci c a je primitivno rekurzivna funkcija pa iz propozicije ) slijedi da je c a+1 primitivno rekurzivna funkcija. Time je tvrdnja propozicije dokazana. Propozicija Neka je b N te neka je g : N 2 N primitivno rekurzivna funkcija. Definiramo h : N N sa h (0) = b Tada je h primitivno rekurzivna funkcija. h (y + 1) = g (h (y), y). Dokaz. Neka je H : N 2 N funkcija definirana sa H (y, x) = h (y). Imamo Definirajmo G : N 3 N sa Tada je za sve x, y N. Stoga je H (0, x) = h (0) = b (1.3) H (y + 1, x) = h (y + 1) = g (h (y), y) = g (H (y, x), y). G (a, b, c) = g (a, b). g (H (y, x), y) = G (H (y, x), y, x) H (y + 1, x) = G (H (y, x), y, x). (1.4) Neka je F : N N funkcija definirana sa F (x) = b, za svaki x N. Funkcija F je primitivno rekurzivna prema propoziciji Prema (1.3) vrijedi H (0, x) = F (x).

12 8 POGLAVLJE 1. REKURZIVNE FUNKCIJE Iz ovoga i (1.4) slijedi da je H dobivena primitivnom rekurzijom od funkcija F i G. Iz definicije funkcije G slijedi da je G (a, b, c) = g ( I 3 1 (a, b, c), I3 2 (a, b, c)), tj. G je kompozicija funkcija g, I 3 2, I3 2 pa je prema propoziciji G primitivno rekurzivna funkcija. Stoga je i H primitivno rekurzivna funkcija. Iz definicije funkcije H slijedi da je za svaki y N, tj. h (y) = H (y, 0) h (y) = H ( I 1 1 (y), z (y)). Ovo znači da je h dobivena kompozicijom funkcija H, I 1 1 i z iz čega slijedi da je h primitivno rekurzivna funkcija. Neka je sg : N N funkcija definirana sa { 1, ako je y > 0 sg (y) = 0, ako je y = 0. Imamo sg (0) = 0 sg (y + 1) = 1. Neka je g : N 2 N konstantna funkcija s vrijednošću 1 (g je primitivno rekurzivna prema propoziciji 1.1.9). Vrijedi sg (0) = 0 sg (y + 1) = g ( sg (y), y ). Iz pretpodne propozicije slijedi da je funkcija sg primitivno rekurzivna. Neka je sg : N N funkcija definirana sa { 0, ako je y > 0 sg (y) = 1, ako je y = 0. Imamo sg (0) = 1 sg (y + 1) = 0. Neka je g : N 2 N konstantna funkcija s vrijednošću 0 (g je primitivno rekurzivna prema propoziciji 1.1.9). Vrijedi sg (0) = 1

13 1.1. PRIMITIVNO REKURZIVNE FUNKCIJE 9 sg (y + 1) = g ( sg (y), y ). Iz prethodne propozicije slijedi da je funkcija sg primitivno rekurzivna. Primjer Neka je p : N N funkcija definirana sa p (y) = { y 1, ako je y > 0 0, inače. Imamo p (0) = 0 p (y + 1) = y. Neka je g = I 2 2. Vrijedi p (0) = 0 p (y + 1) = g (p (y), y). Iz ovoga i propozicije slijedi da je p primitivno rekurzivna funkcija. Neka su x, y N te neka je broj x y definiran sa x y = { x y, ako je x y 0, inače. Za funkciju N 2 N, (x, y) x y kažemo da je modificirano oduzimanje. Propozicija Modificirano oduzimanje je primitivno rekurzivna funkcija. Dokaz. Neka je h : N 2 N funkcija definirana sa h (y, x) = x y. Dokažimo da je h primitivno rekurzivna funkcija. Neka je p : N N funkcija iz prethodnog primjera Neka su x, y N. Tvrdimo da je 1.slučaj: x y + 1 Tada je x (y + 1) = p (x y). (1.5) x (y + 1) = x (y + 1) = x (y 1). S druge strane iz x y + 1 slijedi x y, štoviše x y 1 pa slijedi da je Prema tome (1.8) vrijedi. p (x y) = p (x y) = (x y) 1.

14 10 POGLAVLJE 1. REKURZIVNE FUNKCIJE 2.slučaj: x < y + 1. Tada je x y pa slijedi da su obje strane u (1.8) jednake 0. Dakle, (1.8) vrijedi. Neka su x, y N. Iz definicije funkcije h i (1.8) slijedi da je h (0, x) = x = I 1 1 (x) h (y + 1, x) = x (y + 1) = p (x y) = p (h (y, x)). (1.6) Definirajmo funkciju g : N 3 N sa g (a, b, c) = p (a). Iz (1.6) slijedi da je h (0, x) = I 1 1 (x) h (y + 1, x) = g (h (y, x), y, x). Iz ovoga zaključujemo da je funkcija h dobivena primjenom primitivne rekurzije na funkcije I 1 1 i g. Vrijedi g (a, b, c) = p ( I 3 1 (a, b, c)) iz čega zaključujemo da je g dobivena kompozicijom funkcija p i I 3 1. Stoga je g primitivno rekurzivna funkcija pa slijedi da je i h primitivno rekurzivna funkcija. Neka je mo : N 2 N modificirano oduzimanje. Za sve x, y N vrijedi pa je mo (x, y) = x y = h (y, x) mo (x, y) = h ( I 2 2 (x, y), I2 1 (x, y)). Dakle, mo je dobivena kompozicijom funkcija h, I 2 2 i I1 2 pa slijedi da je mo primitivno rekurzivna funkcija. Propozicija Neka je k N, k 1 te neka su f, g : N k N primitivno rekurzivne funkcije. Tada su i funkcije f + g, f g : N k N primitivno rekurzivne. Dokaz. Neka je zb : N 2 N, zb (y, x) = y + x. Funkcija zb je primitivno rekurzivna prema primjeru Za sve x 1,..., x k N vrijedi ( f + g) (x 1,..., x k ) = f (x 1,..., x k ) + g (x 1,..., x k ) = zb ( f (x 1,..., x k ), g (x 1,..., x k )). Prema tome f + g je kompozicija funkcija zb, f i g što povlači da je f + g primitivno rekurzivna funkcija. Koristeći činjenicu da je funkcija N 2 N, (y, x) y x primitivno rekurzivna (primjer 1.1.7) analogno dobivamo da je f g primitivno rekurzivna funkcija.

15 1.1. PRIMITIVNO REKURZIVNE FUNKCIJE 11 Primjer Neka je h : N 2 N funkcija definirana sa Uočimo da za sve x, y N vrijedi Naime, ako je x y, onda je Ako je x < y, onda je h (x, y) = x y. x y = (x y) + (y x). x y = x y = (x y) + 0 = (x y) + (y x). x y = (x y) = y x = (x y) + (y x). Neka je f : N 2 N modificirano oduzimanje te neka je g : N 2 N funkcija definirana sa g (x, y) = y x. Imamo g (x, y) = f (y, x) = f ( I 2 2 (x, y), I2 1 (x, y)) iz čega slijedi da je g kao kompozicija primitivno rekurzivnih funkcija primitivno rekurzivna funkcija. Vrijedi h (x, y) = f (x, y) + g (x, y) = ( f + g) (x + y), dakle h = f + g, pa iz prethodne propozicije slijedi da je h primitivno rekurzivna funkcija. Propozicija Neka je h : N 2 N funkcija definirana sa h (y, x) = x y. Tada je h primitivno rekurzivna funkcija. Dokaz. Neka su x, y N. Tada vrijedi Definirajmo funkciju g : N 3 N sa h (0, x) = 1 h (y + 1, x) = x y+1 = x y x = h (y, x) x. (1.7) g (a, b, c) = a c. Iz (1.7) slijedi da je h (y + 1, x) = g (h (y, x), y, x). (1.8)

16 12 POGLAVLJE 1. REKURZIVNE FUNKCIJE Neka je f : N N, f (x) = 1. Prema propoziciji f je primitivno rekurzivna. Vrijedi h (0, x) = f (x) pa iz ovoga i iz (1.8) slijedi da je h dobivena primitivnom rekurzijom od funkcija f i g. Preostaje dokazati da je g primitivno rekurzivna funkcija. Naime, tada će iz propozicije slijediti da je h primitivno rekurzivna. No, očito je g = I 3 1 I3 3 pa iz propozicije slijedi da je g primitivno rekurzivna. Lema Postoji primitivno rekurzivna funkcija g : N 3 N takva da za sve x, y, k N vrijedi g (x, y, k) = 0 k + 1 > x y + 1. (1.9) Dokaz. Neka su x, y, k N. Tada vrijede sljedeće ekvivalencije k+1 > x y + 1 (k + 1) (y + 1) > x (k + 1) (y + 1) x > 0 sg ((k + 1) (y + 1) x) = 0. Definirajmo funkciju g : N 3 N sa g (x, y, k) = sg ((k + 1) (y + 1) x). Tada za ovako definiranu funkciju g vrijedi (1.9). Preostaje još dokazati da je g primitivno rekurzivna. U tu svrhu dovoljno je dokazati da je funkcija g 1 : N 3 N, g 1 (x, y, k) = (k + 1) (y + 1) x primitivno rekurzivna, naime g je kompozicija funkcija sg i g 1. Neka je g 2 : N 3 N, g 2 (x, y, k) = (k + 1) (y + 1). Tada je g 1 (x, y, z) = mo ( g 2 (x, y, k), I 3 1 (x, y, k)), pri čemu je mo modificirano oduzimanje. Stoga je dovoljno dokazati da je g 2 primitivno rekurzivna funkcija. Imamo g 2 = ( ) ( ) s I 3 3 s I 3 2 pa iz propozicije slijedi da je g 2 primitivno rekurzivna. Time smo dokazali da je funkcija g primitivno rekurzivna.

17 1.2. REKURZIVNE FUNKCIJE Rekurzivne funkcije Neka je k N \ {0} te neka je g : N k+1 N funkcija takva da za sve x 1,..., x k N postoji y N takav da je g (x 1,..., x n, y) = 0. Za x 1,..., x k N označimo sa µy (g (x 1,..., x k, y) = 0) najmanji broj y N takav da je g (x 1,..., x k, y) = 0. Neka je f : N k definirana sa f (x 1,..., x k ) = µy (g (x 1,..., x k, y) = 0). N funkcija Tada za funkciju f kažemo da je dobivena primjenom µ-operatora na g. Definiramo niz skupova R 0, R 1,... induktivno na sljedeći način. Neka je R 0 skup svih inicijalnih funkcija. Pretpostavimo da smo definirali skup R l za neki l N. Definiramo R l+1 kao skup svih funkcija h koje zadovoljavaju jedan od sljedećih uvjeta: 1. Postoje n N i funkcije f, g 1,..., g n R l takve da je h dobivena kompozicijom funkcija f, g 1,..., g n. 2. Postoje funkcije f, g R l takve da je h dobivena primitivnom rekurzijom od f i g. 3. Postoji funkcija g R l takva da je h dobivena primjenom µ-operatora na g. 4. h R l. Za ovako definiran niz skupova (R l ) l N očito vrijedi da je R l R l+1, za svaki l N. Za funkciju f kažemo da je rekurzivna ako postoji l N takav da je f R l. Propozicija Svaka primitivno rekurzivna funkcija je rekurzivna. Dokaz. Dokažimo da je S l R l za svaki l N indukcijom. Očito je S 0 = R 0, posebno S 0 R 0. Pretpostavimo da je S l R l za neki l N. Tvrdimo da je S l+1 R l+1. (1.10) Neka je h S l+1. To znači, po definiciji skupa S l+1, da je h dobivena kompozicijom nekih funkcija iz S l ili primitivnom rekurzijom od nekih funkcija iz S l ili je h S l. No, S l R l pa zaključujemo da je h dobivena kompozicijom nekih funkcija iz R l ili primitivnom rekurzijom nekih funkcija iz R l ili h R l. Stoga je h R l+1. Time smo dokazali da vrijedi (1.10). Dakle, S l R l za svaki l N. Stoga, ako je f primitivno rekurzivna funkcija onda je f S l za neki l N pa je f R l, što znači da je f rekurzivna.

18 14 POGLAVLJE 1. REKURZIVNE FUNKCIJE Propozicija ) Neka je n N \ {0} te neka su h, f, g 1,..., g n funkcije takve da je h dobivena kompozicijom funkcija f, g 1,..., g n. Pretpostavimo da su f, g 1,..., g n rekurzivne funkcije. Tada je i h rekurzivna funkcija. 2) Neka su h, f, g funkcije takve da je h dobivena primitivnom rekurzijom od f i g. Pretpostavimo da su f i g rekurzivne funkcije. Tada je i h rekurzivna funkcija. 3) Neka su f i g funkcije takve da je f dobivena primjenom µ-operatora na g. Pretpostavimo da je g rekurzivna funkcija. Tada je i f rekurzivna funkcija. Dokaz. 1) Ova tvrdnja se dokazuje posve analogno kao tvrdnja 1) u propoziciji ) Ova tvrdnja se takoder dokazuje posve analogno kao tvrdnja 2) u propoziciji ) Budući da je g rekurzivna funkcija, postoji l N takav da je g R l. Stoga je f R l+1. Dakle, f je rekurzivna funkcija. Propozicija Neka je f : N 2 N funkcija definirana sa f (x, y) = x y+1. Tada je f rekurzivna funkcija. Dokaz. Neka su x, y N. Neka je k = f (x, y), tj. k = x y+1. Tada je k x y + 1 < k + 1. Iz ovoga zaključujemo da je k najmanji element od N takav da je k + 1 > x y + 1. Naime, jasno je da za broj k ovo vrijedi, a s druge strane za niti jedan broj z takav da je z < k ne vrijedi z + 1 > x y + 1 jer z < k povlači z + 1 k pa je Prema tome Dakle, z + 1 ( k = µz z + 1 > x y + 1. ( f (x, y) = µz z + 1 > x ). y + 1 x ), y + 1

19 1.2. REKURZIVNE FUNKCIJE 15 za sve x, y N. Prema lemi postoji primitivno rekurzivna funkcija g : N 3 N takva da za sve x, y N vrijedi Stoga je g (x, y, z) = 0 z + 1 > x y + 1. f (x, y) = µz (g (x, y, z) = 0). Ovo znači da je funkcija f dobivena primjenom µ-operatora na funkciju g. Funkcija g je rekurzivna (jer je primitivno rekurzivna), stoga je prema propoziciji ) funkcija f rekurzivna. Propozicija Neka je k N \ {0} te neka su f, g : N k N rekurzivne funkcije. Tada su i funkcije f + g, f g : N k N rekurzivne. Dokaz. Ovu tvrdnju dokazujemo analogno kao tvrdnju propozicije Korolar Neka su k, n N \ {0} te neka su f 1,..., f n : N k N rekurzivne funkcije. Tada su i funkcije f f n, f 1... f n : N k N rekurzivne. Dokaz. Dokažimo indukcijom po n da su f f n, f 1... f n rekurzivne funkcije. Za n = 1 tvrdnja je jasna. Pretpostavimo da tvrdnja vrijedi za neki n N \ {0} te neka su f 1,..., f n+1 : N k N rekurzivne funkcije. Vrijedi f f n+1 = ( f f n ) + f n+1 pa iz induktivne pretpostavke i propozicije slijedi da je f f n+1 rekurzivna funkcija. Analogno dobivamo da je f 1... f n+1 rekurzivna funkcija. Time je tvrdnja korolara dokazana. Definirajmo funkciju ost : N 2 N na sljedeći način. Neka su x, y N. Ako je y 0 (tj. y 1) onda postoje jedinstveni brojevi q, r N takvi da je x = qy + r i r < y. Definiramo ost (x, y) = r (tj. ost (x, y) je cjelobrojni ostatak pri dijeljenju broja x sa y). Ako je y = 0, definiramo ost (x, y) = x. Propozicija Funkcija ost je rekurzivna. Dokaz. Neka su x, y N, y 1. Neka su q, r N takvi da je r < y i x = qy + r. (1.11)

20 16 POGLAVLJE 1. REKURZIVNE FUNKCIJE Tada je ost (x, y) = r. Iz (1.11) slijedi x y = q + r y pa iz činjenice da je r [0, 1 slijedi da je x y y = q. Sada iz (1.11) slijedi da je x = x y y + r pa je x r = x y. (1.12) y Neka je f : N 2 N funkcija iz propozicije Tada iz (1.12) slijedi da je ost (x, y) = x f (x, y 1) y. (1.13) Uočimo da (1.13) vrijedi i za y = 0. Prema tome (1.13) vrijedi za sve x, y N. Neka je mo : N 2 N modificirano oduzimanje te neka je f 1 : N 2 N funkcija definirana sa f 1 (x, y) = f (x, y 1) y. Tada je ost (x, y) = mo (x, f 1 (x, y)) = mo ( I 2 1 (x, y), f 1 (x, y) ), dakle ost je kompozicija funkcija mo, I 2 1 i f 1. Ako je f 1 rekurzivna funkcija, onda je i ost rekurzivna kao kompozicija rekurzivnih funkcija (propozicija 1.2.2). Stoga je dovoljno dokazati da je f 1 rekurzivna funkcija. Neka je f 2 : N 2 N, f 2 (x, y) = f (x, y 1). Imamo f 1 = f 2 I 2 2, stoga je prema propoziciji dovoljno dokazati da je f 2 rekurzivna funkcija. Neka je f 3 : N 2 N, f 3 (x, y) = y 1. Tada je f 2 kompozicija funkcija f, I 2 1 i f 3. Preostaje stoga dokazati da je f 3 rekurzivna ( f je rekurzivna prema propoziciji 1.2.3). Neka je p funkcija iz primjera Tada je f 3 (x, y) = p (y) = p ( I 2 2 (x, y)) pa slijedi da je f 3 rekurzivna funkcija kao kompozicija rekurzivnih. Time je tvrdnja propozicije dokazana.

21 1.3. REKURZIVNI SKUPOVI Rekurzivni skupovi Neka je k N \ {0} te neka je S N k. Kažemo da je S rekurzivan skup u N k ako je karakteristična funkcija skupa S u N k rekurzivna funkcija. χs : N k N Primjer Neka je k N \ {0}. Tada su i N k rekurzivni skupovi u N k. Naime, χ, χ N k : N k N su konstantne funkcije s vrijednostima 0 i 1 pa su stoga i rekurzivne. Primjer Neka je k N \ {0}. Tada je svaki jednočlan podskup od N k rekurzivan. Dokažimo to. Neka je a N k. Imamo a = (a 1,..., a k ), gdje su a 1,..., a k N. Neka su x 1,..., x k N. Imamo { 1, (x1,..., x χ {a} (x 1,..., x k ) = k ) = (a 1,..., a k ) 0, inače = { 1, x1 = a 1,..., x k = a k 0, inače = sg x 1 a 1... sg x k a k. Za i {1,..., k} neka je f i : N k N funkcija definirana sa Dobili smo da za sve x 1,..., x k N vrijedi Dakle, f i (x 1,..., x k ) = sg x i a i. χ {a} (x 1,..., x k ) = f 1 (x 1,..., x k )... f k (x 1,..., x k ). χ {a} = f 1... f k. Prema korolaru rekurzivnost funkcija f 1,..., f k povlači rekurzivnost funkcije χ {a}, tj. rekurzivnost skupa {a}. Dakle, dovoljno je dokazati da su funkcije f 1,..., f k rekurzivne. Neka je i {1,..., k}. Neka je f i : N k N funkcija definirana sa f i (x 1,..., x k ) = x i a i. Tada je f i kompozicija funkcija sg i f i. Neka je h : N2 N funkcija definirana sa h (x, y) = x y. Funkcija h je rekurzivna prema primjeru Budući da je f i kompozicija funkcija h, Ii k i konstantne funkcije, imamo da je f i rekurzivna funkcija. Stoga je i f i rekurzivna funkcija. Zaključak: {a} je rekurzivan skup.

22 18 POGLAVLJE 1. REKURZIVNE FUNKCIJE Propozicija Neka je k N \ {0} te neka su S i T rekurzivni podskupovi od N k. Tada su i S T, S T, S c rekurzivni podskupovi od N k. Dokaz. Neka je x N k. Tada je χ S T (x) = sg (χ S (x) + χ T (x)). Prema tome χ S T je kompozicija funkcija sg i χ S + χ T. Stoga je χ S T rekurzivna funkcija, tj. S T je rekurzivan skup. Nadalje, χ S T (x) = χ s (x) χ T (x), x N k pa je χ S T rekurzivna funkcija kao produkt dvije rekurzivne funkcije. Dakle, S T je rekurzivan skup. Za svaki x N k vrijedi χ S c (x) = sg (χ S (x)) pa zaključujemo da je χ S c rekurzivna kao kompozicija rekurzivnih funkcija. Dakle, S c je rekurzivan skup. Tvrdnju sljedećeg korolara dobivamo indukcijom po n, analogno kao tvrdnju korolara Korolar Neka su k, n N \ {0} te neka su S 1,..., S n rekurzivni podskupovi od N k. Tada su i S 1 S n i S 1 S n rekurzivni podskupovi od N k. Korolar Neka je k N \ {0}. Tada je svaki konačan podskup od N k rekurzivan. Dokaz. Neka je S konačan podskup od N k. Ako je S = tvrdnja je jasna. Inače imamo S = {a 1,..., a n } gdje su n N \ {0} i a 1,..., a n N k. Stoga je S = {a 1 } {a n } pa tvrdnja slijedi iz primjera i korolara Primjer Neka je S skup svih parnih brojeva. Tada je S rekurzivan skup u N. Naime, za svaki x N vrijedi χ S (x) = sg (ost (x, 2)) iz čega zaključujemo da je χ S, kao kompozicija rekurzivnih funkcija, rekurzivna, dakle S je rekurzivan skup. Neka je DJ podskup od N 2 definiran sa DJ = { (x, y) N 2 x y }.

23 1.3. REKURZIVNI SKUPOVI 19 Propozicija Skup DJ je rekurzivan. Dokaz. Neka su x, y N takvi da je x 1. Tada vrijedi Nadalje, vrijedi x y ost (y, x) = 0. (1.14) 0 y y = 0 te ost (y, 0) = y iz čega zaključujemo da (1.14) vrijedi i za x = 0. Dakle, (1.14) vrijedi za sve x, y N što povlači da je χ DJ (x, y) = sg (ost (x, y)). Prema tome, χ DJ je rekurzivna funkcija i time je tvrdnja propozicije dokazana. Neka je p prost broj te neka je e p : N N funkcija definirana sa e p (x) = { max { k N p k x }, x 1 0, x = 0. Uočimo da za x 1 vrijedi da je e p (x) eksponent kojim p ulazi u rastav od x na proste faktore. Propozicija Neka je p prost broj. Tada je e p rekurzivna funkcija. Dokaz. Neka je x N, x 1. Neka je k = e p (x). Tada p k x, ali p k+1 x. Stoga je k element skupa { y N p y+1 x }. (1.15) No, k je ujedno i najmanji element tog skupa: ako je y N takav da je y < k, onda je y + 1 k pa iz p k x slijedi p y+1 x što povlači da y nije element skupa (1.15). Uočimo da je p y+1 x ekvivalentno sa χ DJ ( p y+1, x ) = 0, a ovo je ekvivalentno sa x χ DJ ( p y+1, x ) = 0 (jer je x 0). Stoga je k najmanji element skupa { y N x χdj ( p y+1, x ) = 0 }, dakle e p (x) = min { y N x χ DJ ( p y+1, x ) = 0 }.

24 20 POGLAVLJE 1. REKURZIVNE FUNKCIJE Uočimo da ovo vrijedi i za x = 0. Prema tome, za sve x, y N vrijedi Neka je g : N 2 N funkcija definirana sa Prema (1.16) vrijedi e p (x) = µy ( x χ DJ ( p y+1, x ) = 0 ). (1.16) g (x, y) = x χ DJ ( p y+1, x ). e p (x) = µy (g (x, y) = 0), što znači da je funkcija e p dobivena primjenom µ-operatora na funkciju g. Dovoljno je stoga dokazati da je g rekurzivna funkcija. (Iz propozicije će tada slijediti da je e p rekurzivna funkcija). U tu svrhu dovoljno je dokazati da je funkcija f : N 2 N definirana sa f (x, y) = χ DJ ( p y+1, x ) rekurzivna (naime, g je produkt funkcija I 2 1 i f ). Neka je f 1 : N 2 N funkcija definirana sa f 1 (x, y) = p y+1. Funkcija f je kompozicija funkcija χ DJ, f 1 i I 2 1. Preostaje dokazati da je f 1 rekurzivna funkcija. Neka je h : N 2 N funkcija definirana sa Tada je h (b, a) = a b. f 1 (x, y) = h (y + 1, p) iz čega slijedi da je f 1 kompozicija funkcija h, s I 2 2 i konstantne funkcije N2 N s vrijednošću p. Stoga je f 1 rekurzivna funkcija (h je rekurzivna prema propoziciji ). Time je tvrdnja propozicije dokazana. Propozicija Neka su n, k N \ {0} te neka su g 1,..., g n : N k N rekurzivne funkcije. Neka su S 1,..., S n rekurzivni skupovi u N k takvi da za svaki x N k postoji jedinstveni i {1,..., n} takav da je x S i. Neka je f : N k N funkcija definirana sa Tada je f rekurzivna funkcija. f (x) = g 1 (x), x S 1... g n (x), x S n.

25 1.3. REKURZIVNI SKUPOVI 21 Dokaz. Tvrdimo da je f (x) = g 1 (x) χ S 1 (x) + + g n (x) χ S n (x) (1.17) za svaki x N k. Naime, ako je x N k onda postoji jedinstveni i {1,..., n} takav da je x S i. Tada za svaki j {1,..., n}, j i vrijedi da x S j pa je Imamo χ S i (x) = 1 pa je χ S j (x) = 0. g 1 (x) χ S 1 (x) + + g n (x) χ S n (x) = g i (x). S druge strane iz definicije funkcije f je jasno da je f (x) = g i (x). Prema tome, (1.17) vrijedi. Iz toga zaključujemo da je f = g 1 χ S g n χ S n pa iz korolara slijedi da je f rekurzivna funkcija.

26

27 Poglavlje 2 Rekurzivne racionalne funkcije Neka je k N \ {0} te neka je f : N k Q funkcija. Kažemo da je f rekurzivna funkcija ako postoje rekurzivne funkcije a, b, c : N k N takve da je b (x) 0 i za svaki x N k. c(x) a(x) f (x) = ( 1) b(x) Primjer Neka je f : N Q funkcija definirana sa za svaki n N. Tada je f (n) = 1 n + 1 f (n) = ( 1) z(n) c 1(n) s(n) za svaki n N pri čemu je c 1 : N N konstantna funkcija s vrijednošću 1. Prema tome, f je rekurzivna funkcija. Nadalje, neka je g : N 2 Q funkcija definirana sa Tada je g(x, y) = x 2 x + y + 1. g (x, y) = ( 1) c(x,y) a (x, y) b (x, y) pri čemu su a, b, c : N 2 N funkcije definirane sa a (x, y) = x 2, b (x, y) = x + y + 1, c (x, y) = 0. Funkcija a je rekurzivna kao produkt rekurzivnih funkcija, b kao zbroj rekurzivnih funkcija, a c je rekurzivna jer je konstantna funkcija. Prema tome, g je rekurzivna funkcija. 23

28 24 POGLAVLJE 2. REKURZIVNE RACIONALNE FUNKCIJE Uočimo sljedeće: ako je f : N k N rekurzivna funkcija, onda je f rekurzivna i kao funkcija N k Q. Naime, za svaki x N k vrijedi f (x) = ( 1) c 0(x) f (x) c 1 (x) pri čemu su c 0, c 1 : N k N konstantne funkcije s vrijednostima 0 i 1. Lema Neka je k N \ {0} te neka su f, g, u, v : N k N rekurzivne funkcije. Tada postoje rekurzivne funkcije w, h : N k N takve da je ( 1) w(x) h(x) = ( 1) u(x) f (x) + ( 1) v(x) g(x). Dokaz. Neka je P skup svih parnih brojeva u N, a N skup svih neparnih brojeva u N. Neka je U P = { x N k u(x) P }, U N = { x N k u(x) N }, V P = { x N k v(x) P }, V N = { x N k v(x) N }. Skup P je rekurzivan prema primjeru Iz propozicije sada slijedi da je N rekurzivan skup kao komplement rekurzivnog skupa (N = P c ). Za svaki x N k vrijedi χ UP (x) = χ P (u(x)). Ovo znači da je χ UP kompozicija funkcija χ P i u iz čega slijedi da je χ UP rekurzivna funkcija. Dakle, U P je rekurzivan skup. Nadalje, za svaki x N k vrijedi χ UN (x) = χ N (u(x)), χ VP (x) = χ P (v(x)), χ VN (x) = χ N (v(x)) iz čega slijedi da su U N, V P i V N rekurzivni skupovi. Neka je S = { x N k f (x) g(x) } i T = { x N k f (x) < g(x) }. Za svaki x N k vrijedi Dakle, χ T (x) = sg(g(x) f (x)). χ T (x) = sg(h(x)) (2.1)

29 25 za svaki x N k pri čemu je h : N k N funkcija definirana sa h(x) = g(x) f (x). Neka je mo : N 2 N modificirano oduzimanje. Tada je h(x) = mo(g(x), f (x)) iz čega zaključujemo da je h rekurzivna kao kompozicija rekurzivnih funkcija. Funkcija χ T je prema (2.1) kompozicija funkcija sg i h pa je stoga rekurzivna. Dakle, T je rekurzivan skup. Vrijedi S = T c pa je i S rekurzivan skup. Neka je x N k. Tada je ( 1) u(x) f (x) + ( 1) v(x) g(x) = ( 1) 0 ( f (x) + g(x)), ( 1) 1 ( f (x) + g(x)), ( 1) 0 ( f (x) g(x)), ( 1) 1 (g(x) f (x)), ( 1) 0 (g(x) f (x)), ( 1) 1 ( f (x) g(x)), ako je x U P V P ako je x U N V N ako je x U P V N S ako je x U P V N T ako je x U N V P T ako je x U N V P S. Definirajmo funkcije w, h : N k N sa w(x) = 0, ako je x U P V P 1, ako je x U N V N 0, ako je x U P V N S 1, ako je x U P V N T 0, ako je x U N V P T 1, ako je x U N V P S, f (x) + g(x), ako je x U P V P f (x) + g(x), ako je x U N V N f (x) g(x), ako je x U h(x) = P V N S. g(x) f (x), ako je x U P V N T g(x) f (x), ako je x U N V P T f (x) g(x), ako je x U N V P S Iz propozicije slijedi da su w i h rekurzivne funkcije, a očito je da je ( 1) w(x) h(x) = ( 1) u(x) f (x) + ( 1) v(x) g(x).

30 26 POGLAVLJE 2. REKURZIVNE RACIONALNE FUNKCIJE Teorem Neka je k N \ {0} te neka su f, g : N k Q rekurzivne funkcije. Tada su i funkcije f, f, f + g, f g : N k Q rekurzivne. Nadalje, ako je f (x) 0 za svaki x N k onda je i funkcija 1 f : N k Q rekurzivna. Dokaz. Budući da su f i g rekurzivne postoje rekurzivne funkcije a 1, b 1, c 1, a 2, b 2, c 2 : N k N takve da je b 1 (x) 0, b 2 (x) 0, za svaki x N k. Neka je x N k. Tada je f (x) = ( 1) c 1(x) a 1(x) b 1 (x) i g(x) = ( 1)c 2(x) a 2(x) b 2 (x) ( f )(x) = f (x) = ( 1) c 1(x) a 1(x) b 1 (x) = ( 1)c 1(x)+1 a 1(x) b 1 (x) iz čega je jasno da je f rekurzivna funkcija. Nadalje, f (x) = f (x) = ( 1)c 1(x) a 1(x) b 1 (x) = a 1(x) b 1 (x). Prema tome, f (x) = ( 1) c 0(x) a 1(x) b 1 (x) pri čemu je c 0 : N k N konstantna funkcija s vrijednošću 0. Stoga je f rekurzivna funkcija. Vrijedi ( f g)(x) = f (x) g(x) = ( 1) c 1(x) a 1(x) b 1 (x) ( 1)c 2(x) a 2(x) b 2 (x) = ( 1)c 1(x)+c 2 (x) a 1(x) a 2 (x) b 1 (x) b 2 (x) = ( 1) (c 1+c 2 )(x) (a 1 a 2 )(x) (b 1 b 2 )(x) pa zaključujemo da je f g rekurzivna funkcija. Pretpostavimo da je f (x) 0 za svaki x N k. Tada je a 1 (x) 0 za svaki x N k. Imamo ( 1 f )(x) = 1 f (x) = 1 ( 1) c 1(x) a 1(x) b 1 (x) = 1 ( 1) b1(x) c 1(x) a 1 (x) = ( 1)2c1(x) b1(x) ( 1) c 1(x) a 1 (x) = ( 1)c 1(x) b1(x) a 1 (x). Prema tome, 1 je rekurzivna funkcija. Dokažimo sada da je f + g rekurzivna funkcija. f Neka je x N k. Imamo ( f +g)(x) = f (x)+g(x) = ( 1) c 1(x) a 1(x) b 1 (x) +( 1)c 2(x) a 2(x) b 2 (x) = ( 1)c1(x) a 1 (x)b 2 (x) + ( 1) c2(x) a 2 (x)b 1 (x). b 1 (x)b 2 (x)

31 27 Iz leme slijedi da postoje rekurzivne funkcije w, h : N k N takve da je za svaki x N k. Stoga je ( 1) w(x) h(x) = ( 1) c 1(x) a 1 (x)b 2 (x) + ( 1) c 2(x) a 2 (x)b 1 (x) ( f + g)(x) = ( 1)w(x) h(x) b 1 (x)b 2 (x) = ( 1) w(x) h(x) (b 1 b 2 )(x) za svaki x N k. Prema tome f + g je rekurzivna funkcija. Propozicija Neka je k N \ {0} te neka je f : N k Q rekurzivna funkcija. Neka je S 1 = { x N k f (x) = 0 }, S 2 = { x N k f (x) > 0 } i S 3 = { x N k f (x) 0 }. Tada su S 1, S 2 i S 3 rekurzivni skupovi. Dokaz. Postoje rekurzivne funkcije a, b, c : N k N takve da je b(x) 0 i za svaki x N k. Neka je x N k. Tada je Stoga je c(x) a(x) f (x) = ( 1) b(x) c(x) a(x) x S 1 f (x) = 0 ( 1) b(x) χ S 1 (x) = sg(a(x)) = 0 a(x) = 0. pa je χ S 1 rekurzivna funkcija kao kompozicija rekurzivnih funkcija. Dakle, S 1 je rekurzivan skup. Nadalje, vrijedi c(x) a(x) x S 2 f (x) > 0 ( 1) b(x) > 0 ( 1)c(x) a(x) > 0 a(x) > 0 i c(x) paran broj. Prema tome, Stoga je χ S 2 (x) = sg(a(x)) χ 2N (c(x)). χ S 2 = (sg a) (χ 2N c) iz čega slijedi da je χ S 2 rekurzivna funkcija, tj. S 2 je rekurzivan skup. Vrijedi S 3 = S 1 S 2 pa je prema propoziciji skup S 3 rekurzivan.

32 28 POGLAVLJE 2. REKURZIVNE RACIONALNE FUNKCIJE Korolar Neka je k N \ {0} te neka su g, h : N k Q rekurzivne funkcije. Neka je S 1 = { x N k g(x) = h(x) }, S 2 = { x N k g(x) < h(x) } i S 3 = { x N k g(x) h(x) }. Tada su S 1, S 2 i S 3 rekurzivni skupovi. Dokaz. Neka je f : N k Q funkcija definirana sa f (x) = h(x) g(x). Uočimo da je f = h + ( g). Iz teorema slijedi da je f rekurzivna funkcija. Vrijedi S 1 = { x N k f (x) = 0 }, S 2 = { x N k f (x) > 0 } i S 3 = { x N k f (x) 0 } pa iz propozicije slijedi da su S 1, S 2, S 3 rekurzivni skupovi. Neka su k, n N \ {0} te neka je f : N k N n. Za i {1,..., n} neka je f i : N k N funkcija definirana tako da je, za x N k, f i (x) broj koji se nalazi na i-tom mjestu u n-torci f (x). Uočimo da za svaki x N k vrijedi f (x) = ( f 1 (x),..., f n (x)). Za f 1,..., f n kažemo da su komponentne funkcije od f. Neka su k, n N \ {0}, f : N k N n te neka su f 1,..., f n : N k N komponentne funkcije od f. Za f kažemo da je rekurzivna funkcija ako su f 1,..., f n rekurzivne funkcije. Primjer Neka je f : N 3 N 2 funkcija definirana sa f (x, y, z) = (x, y). Tada su I 3 1 i I3 2 komponentne funkcije od f pa zaključujemo da je f rekurzivna. Općenitije, neka je k N \ {0} te neka je f : N k+1 N k funkcija definirana sa f (x 1,..., x k, x k+1 ) = (x 1,..., x k ). Tada su I k+1 1,..., I k+1 k komponentne funkcije od f pa je f rekurzivna funkcija. Propozicija Neka su n, k, l N \ {0} te neka su g : N k N n i f : N n N l rekurzivne funkcije. Tada je f g : N k N l rekurzivna funkcija.

33 29 Dokaz. Neka su f 1,..., f n komponentne funkcije od f. Tada za svaki x N k vrijedi ( f g)(x) = f (g(x)) = ( f 1 (g(x)),..., f l (g(x))). Iz ovoga zaključujemo da su f 1 g,..., f l g komponentne funkcije od f g. Preostaje dokazati da je f i g rekurzivna funkcija za svaki i {1,..., l}. Neka je i {1,..., l}. Neka su g 1,..., g n : N k N komponentne funkcije od g. Za svaki x N k vrijedi ( f i g)(x) = f i (g(x)) = f i (g 1 (x),..., g n (x)). Ovo znači da je f i g kompozicija funkcija f i, g 1,..., g n (koje su rekurzivne jer su f i g rekurzivne). Stoga je f i g rekurzivna. Time je tvrdnja propozicije dokazana. Propozicija Neka su n, k N \ {0} te neka su g : N k N n i f : N n Q rekurzivne funkcije. Tada je i f g : N k Q rekurzivna funkcija. Dokaz. Postoje rekurzivne funkcije a, b, c : N n N takve da je b(x) 0 i za svaki x N n. Tada za svaki x N k vrijedi c(x) a(x) f (x) = ( 1) b(x) c(g(x)) a(g(x)) ( f g)(x) = f (g(x)) = ( 1) b(g(x)) = ( 1)(c g)(x) (a g)(x) (b g)(x). Funkcije a g, b g i c g su rekurzivne prema propoziciji pa je f g rekurzivna po definiciji.

34

35 Poglavlje 3 Rekurzivne realne funkcije 3.1 Rekurzivne aproksimacije Neka je k N \ {0} te neka je f : N k R funkcija. Kažemo da je f rekurzivna funkcija ako postoji rekurzivna funkcija F : N k+1 Q takva da za svaki x N k i svaki i N vrijedi f (x) F(x, i) < 2 i. Za funkciju F kažemo da je rekurzivna aproksimacija od f. Primjer Neka je k N \ {0} te neka je f : N k Q rekurzivna funkcija. Tada je f rekurzivna i kao funkcija N k R. Naime, neka je F : N k+1 Q funkcija definirana sa F(x 1,..., x k, i) = f (x 1,..., x k ). Tada je F = f ϕ gdje je ϕ : N k+1 N k funkcija definirana sa ϕ(x 1,..., x k, i) = (x 1,..., x k ). Funkcija ϕ je rekurzivna prema primjeru pa je F rekurzivna prema propoziciji Za svaki x N k i svaki i N vrijedi f (x) F (x, i) = 0 pa je f (x) F(x, i) < 2 i. Prema tome f je rekurzivna kao funkcija N k R. 31

36 32 POGLAVLJE 3. REKURZIVNE REALNE FUNKCIJE Lema Neka je k N \ {0}. Neka je f : N k R te neka su F : N k+1 Q i M : N k N rekurzivne funkcije takve da je za svaki x N k i svaki i N. Tada je f rekurzivna funkcija. f (x) F(x, i) < M(x) 2 i (3.1) Dokaz. Dokažimo prvo indukcijom da za svaki n N vrijedi n 2 n. Za n = 0 i n = 1 tvrdnja je jasna. Pretpostavimo da tvrdnja vrijedi za neki n 1. Iz 1 n slijedi dakle Neka su x N k i i N. Vrijedi pa je Koristeći ovo i (3.1) dobivamo n + 1 2n 2 2 n = 2 n+1, n n+1. M(x) 2 M(X) M(x) 2 M(x) 1. f (x) F(x, i + M(x)) < M(x) 2 (i+m(x)) = M(x) 2 i 2 M(x) = 2 i M(x) 2 M(x) 2 i. Prema tome Definirajmo H : N k+1 Q sa x N k, i N. Tada je f (x) F(x, i + M(x)) < 2 i. H(x, i) = F(x, i + M(x)), f (x) H(x, i) < 2 i za svaki x N k i svaki i N. Preostaje još stoga dokazati da je H rekurzivna funkcija. Definirajmo Φ : N k+1 N k+1 sa Φ(x, i) = (x, i + M(x)), x N k, i N. Tada je tj. H(x, i) = F(Φ(x, i)), H = F Φ.

37 3.1. REKURZIVNE APROKSIMACIJE 33 Neka su Φ 1,..., Φ k+1 : N k+1 N komponentne funkcije od Φ. Neka su x 1,..., x k, i N. Tada je Φ j (x 1,..., x j, i) = x j, za j {1,..., k} i Stoga za svaki j {1,..., k} vrijedi Φ k+1 (x 1,..., x k, i) = i + M(x 1,..., x k ). Φ j = I k+1 j pa je Φ j rekurzivna funkcija. Funkcija Φ k+1 je zbroj funkcija I k+1 k+1 i B, gdje je B : Nk+1 N definirana sa B(x 1,..., x k, i) = M(x 1,..., x k ). B je rekurzivna jer je kompozicija funkcija M, I k+1 1,..., I k+1 k. Stoga je i Φ k+1 rekurzivna funkcija. Dakle Φ je rekurzivna funkcija pa iz H = F Φ i propozicije slijedi da je H rekurzivna funkcija. Time je tvrdnja leme dokazana. Lema Neka je k N \ {0} te neka je f : N k R rekurzivna funkcija. 1) Postoji rekurzivna funkcija M : N k N takva da je f (x) < M(x), x N k. 2) Ako je F : N k+1 Q rekurzivna aproksimacija od f onda postoji rekurzivna funkcija M : N k N takva da je F(x, i) < M(x), x N k, i N. Dokaz. 1) Neka je F : N k+1 Q rekurzivna aproksimacija od f. Općenito, ako su a, b R onda je a b a b. (3.2) Naime, vrijedi a = a b + b a b + b iz čega slijedi (3.2). Za svaki x N k i svaki i N vrijedi pa posebno za i = 0 dobivamo f (x) F(x, i) < 2 i f (x) F(x, 0) < 1.

38 34 POGLAVLJE 3. REKURZIVNE REALNE FUNKCIJE Prema (3.2) vrijedi pa slijedi Stoga je Definirajmo G : N k Q sa f (x) F(x, 0) f (x) F(x, 0) f (x) F(x, 0) < 1. f (x) < 1 + F(x, 0). (3.3) G(x) = 1 + F(x, 0). Neka je h : N k Q funkcija definirana sa h(x) = F(x, 0). Vrijedi h = F Φ gdje je Φ : N k N k+1 funkcija definirana sa Φ(x) = (x, 0). Prvih k komponentnih funkcija od Φ su projekcije, a zadnja komponentna funkcija od F je konstantna funkcija (nul-funkcija). Stoga je Φ rekurzivna funkcija pa iz propozicije slijedi da je h rekurzivna funkcija. Vrijedi G(x) = 1 + h(x) za svaki x N k iz čega zaključujemo da je G zbroj funkcija h i konstantne funkcije s vrijednošću 1. Stoga je G prema teoremu rekurzivna funkcija. Iz (3.3) slijedi f (x) < G(x). Budući da je G rekurzivna funkcija postoje rekurzivne funkcije a, b, c : N k takve da je c(x) a(x) G(x) = ( 1) b(x), x Nk. Stoga je f (x) < a(x), x N k. Dakle, možemo uzeti M = a i tvrdnja 1) je dokazana. N 2) Neka je F : N k+1 Q rekurzivna aproksimacija od f. Prema 1) postoji rekurzivna funkcija M : N k N takva da je f (x) < M(x), x N k.

39 3.1. REKURZIVNE APROKSIMACIJE 35 Iz (3.2) slijedi da za svaki x N k i svaki i N vrijedi Dakle, pa je F(x, i) f (x) F(x, i) f (x) = f (x) F(x, i) < 2 i 1. Funkcija M : N k N definirana sa je očito rekurzivna i vrijedi F(x, i) f (x) < 1 F(x, i) < 1 + f (x) < 1 + M(x). M (x) = M(x) + 1 F(x, i) < M (x), x N k, i N. Teorem Neka je k N \ {0} te neka su f, g : N k R rekurzivne funkcije. Tada su i funkcije f, f, f + g, f g : N k R rekurzivne. Dokaz. Neka je F rekurzivna aproksimacija od f te G rekurzivna aproksimacija od g. Neka su x N k i i N. Tada je Dakle, ( f )(x) ( F)(x, i) = f (x) + F(x, i) = f (x) F(x, i) < 2 i. ( f )(x) ( F)(x, i) < 2 i pa iz činjenice da je F : N k+1 Q rekurzivna funkcija (teorem ) slijedi da je F rekurzivna aproksimacija od f. Dakle, f je rekurzivna funkcija. Neka su u, v R. U dokazu leme smo vidjeli da vrijedi te takoder i Iz druge nejednakosti zaključujemo da je u v u v v u v u. ( u v ) u v, a iz ovoga i prve nejednakosti zaključujemo da je u v u v. (3.4)

40 36 POGLAVLJE 3. REKURZIVNE REALNE FUNKCIJE Neka su x N k i i N. Tada koristeći (3.4) dobivamo tj. f (x) F(x, i) f (x) F(x, i) < 2 i, f (x) F (x, i) < 2 i. Stoga je F rekurzivna aproksimacija od f, dakle f je rekurzivna funkcija. Neka su x N k i i N. Imamo Dakle, f (x) + g(x) (F(x, i) + G(x, i)) = f (x) F(x, i) + g(x) G(x, i) f (x) F(x, i) + g(x) G(x, i) < 2 i + 2 i = 2 2 i. ( f + g)(x) (F + G)(x, i) < M(x) 2 i, za sve x N k i svaki i N pri čemu je M : N k N konstantna funkcija s vrijednošću 2. Iz leme i činjenice da je F + G rekurzivna funkcija (teorem ) slijedi da je f + g rekurzivna funkcija. Prema lemi ) postoji rekurzivna funkcija N : N k N takva da je g(x) < N(x) za svaki x N k. Nadalje, prema tvrdnji 2) iste leme postoji rekurzivna funkcija M : N k N takva da je F(x, i) < M(x) za svaki x N k i svaki i N. Neka su x N k i i N. Imamo f (x)g(x) F(x, i)g(x, i) = f (x)g(x) F(x, i)g(x) + F(x, i)g(x) F(x, i)g(x, i) = ( f (x) F(x, i))g(x) + F(x, i)(g(x) G(x, i)) f (x) F(x, i) g(x) + F(x, i) g(x) G(x, i) dakle < 2 i N(x) + M(x) 2 i = (N(x) + M(x)) 2 i, ( f g)(x) (F G)(x, i) < (N(x) + M(x)) 2 i. Iz leme slijedi da je f g rekurzivna funkcija. Lema Neka je k N \ {0}, neka je f : N k R te neka je F : N k+1 Q rekurzivna aproksimacija od f. 1) Ako je x N k takav da je f (x) 0, onda postoji i 0 N takav da je F(x, i 0 ) > 3 2 i 0.

41 3.1. REKURZIVNE APROKSIMACIJE 37 2) Ako su x N k i i 0 N takvi da je F(x, i 0 ) > 3 2 i 0, onda je f (x) > 2 2 i 0 i F(x, i) > 2 i 0, za svaki i i 0. Dokaz. 1) Neka je x N k takav da je f (x) 0. Tada je f (x) > 0 pa je f (x) > 0 iz čega 4 slijedi da postoji i 0 N takav da je f (x) 4 > 2 i 0. Iz ovoga slijedi da je f (x) > 4 2 i 0 pa je f (x) 2 i 0 > 3 2 i 0. (3.5) S druge strane vrijedi f (x) F(x, i 0 ) f (x) F(x, i 0 ) < 2 i 0 pa je Iz ovoga i (3.5) slijedi f (x) 2 i 0 < F(x, i 0 ). F(x, i 0 ) > 3 2 i 0. 2) Pretpostavimo da su x N k i i N takvi da je F(x, i 0 ) > 3 2 i 0. Tada je F(x, i 0 ) 2 i 0 > 2 2 i 0. (3.6) S druge strane F(x, i 0 ) f (x) F(x, i 0 ) f (x) < 2 i 0 pa je F(x, i 0 ) 2 i 0 < f (x). Iz ovoga i (3.6) slijedi da je f (x) > 2 2 i 0. (3.7) Neka je i i 0. Imamo f (x) F(x, i) f (x) F(x, i) < 2 i 2 i 0 pa je f (x) 2 i 0 < F(x, i).

42 38 POGLAVLJE 3. REKURZIVNE REALNE FUNKCIJE Iz (3.7) slijedi pa zaključujemo da je f (x) 2 i 0 > 2 i 0 F(x, i) > 2 i 0. Lema Neka je k N \ {0} te neka je S rekurzivan skup u N k+1 takav da za svaki x N k postoji y N takav da je (x, y) S. Tada postoji rekurzivna funkcija ϕ : N k N takva da je (x, ϕ(x)) S za svaki x N k. Dokaz. Neka su x N k i y N. Tada je (x, y) S χ S (x, y) = 1 sg(χ S (x, y)) = 0, dakle (x, y) S g(x, y) = 0, (3.8) pri čemu je g : N k+1 N funkcija definirana sa g(x, y) = sg(χ S (x, y)). Očito je g rekurzivna funkcija. Iz (3.8) zaključujemo da za svaki x N k postoji y N takav da je g(x, y) = 0. Neka je ϕ : N k N funkcija dobivena primjenom µ-operatora na g, dakle ϕ(x) = µy(g(x, y) = 0). Tada je ϕ rekurzivna funkcija i za svaki x N k vrijedi g(x, ϕ(x)) = 0, tj. prema (3.8) (x, ϕ(x)) S. Lema Neka je k N \ {0} te neka je f : N k R rekurzivna funkcija takva da je f (x) 0 za svaki x N k. Neka je F : N k+1 Q rekurzivna aproksimacija od f. Tada postoji rekurzivna funkcija ϕ : N k N takva da je za svaki x N k. F(x, ϕ(x)) > 3 2 ϕ(x)

43 3.1. REKURZIVNE APROKSIMACIJE 39 Dokaz. Neka je S = { (x 1,..., x k, i) N k+1 F(x 1,..., x k, i) > 3 2 i}. Neka su g, h : N k+1 Q funkcije definirane sa g(x 1,..., x k, i) = 3 2 i i h(x 1,..., x k, i) = F(x 1,..., x k, i). Imamo h = F pa iz teorema slijedi da je h rekurzivna funkcija. Funkciju g možemo zapisati kao g(x 1,..., x k, i) = ( 1) c(x 1,...,x k,i) a(x 1,..., x k, i) b(x 1,..., x k, i) gdje su c, a : N k+1 N konstantne funkcije s vrijednostima 0 i 3 te b : N k+1 N funkcija definirana sa b(x 1,..., x k, i) = 2 i. Neka je h : N 2 N funkcija definirana sa Tada je h(y, x) = y x. b(x 1,..., x k, i) = h(i, 2) iz čega zaključujemo da je b kompozicija funkcija h, I k+1 k+1 i konstantne funkcije Nk+1 N s vrijednošću 2. Stoga je b rekurzivna. Očito su a i c rekurzivne pa zaključujemo da je i g rekurzivna funkcija. Vrijedi S = { z N k+1 g(z) < h(z) }. Iz korolara slijedi da je S rekurzivan skup. Prema lemi ) za svaki x N k postoji i N takav da je F(x, i) > 3 2 i. To znači da za svaki x N k postoji i N takav da je (x, i) S. Iz leme slijedi da postoji rekurzivna funkcija ϕ : N k N takva da je (x, ϕ(x)) S za svaki x N k. Dakle, za svaki x N k vrijedi F(x, ϕ(x)) > 3 2 ϕ(x). Time je tvrdnja leme dokazana.

44 40 POGLAVLJE 3. REKURZIVNE REALNE FUNKCIJE Teorem Neka je k N \ {0} te neka je f : N k R rekurzivna funkcija takva da je f (x) 0 za svaki x N k. Tada je 1 f : N k R rekurzivna funkcija. Dokaz. Neka je F rekurzivna aproksimacija od f. Prema lemi postoji rekurzivna funkcija ϕ : N k N takva da je F(x, ϕ(x)) > 3 2 ϕ(x) (3.9) za svaki x N k. Neka je x N k. Iz (3.9) i leme ) slijedi da je f (x) > 2 2 ϕ(x), (3.10) F(x, i) > 2 ϕ(x) za svaki i ϕ(x). Posebno, za svaki i N vrijedi F(x, i + ϕ(x)) > 2 ϕ(x). (3.11) Iz (3.10) i (3.11) slijedi da je 1 f (x) < 1 2 2ϕ(x) 1 F(x, i + ϕ(x)) < 2ϕ(x) za svaki x N k i svaki i N. Neka su x N k i i N. Imamo 1 f (x) 1 F(x, i + ϕ(x)) = F(x, i + ϕ(x)) f (x) F(x, i + ϕ(x)) f (x) f (x)f(x, i + ϕ(x)) = f (x)f(x, i + ϕ(x)) = 1 f (x) 1 F(x, i + ϕ(x)) f (x) F(x, i + ϕ(x)) < 1 2 2ϕ(x) 2 ϕ(x) 2 (i+ϕ(x)) < 2 ϕ(x) 2 i. Dakle, 1 f (x) 1 F(x, i + ϕ(x)) < 2ϕ(x) 2 i. (3.12) Neka je G : N k+1 Q funkcija definirana sa G(x, i) = F(x, i + ϕ(x)). Neka je H : N k+1 N k+1 funkcija definirana sa H(x, i) = (x, i + ϕ(x)). Neka su H 1,..., H k+1 : N k+1 N komponentne funkcije od H. Imamo H 1 = I k+1 1,..., H k = I k+1 k

45 3.2. REKURZIVNI BROJEVI 41 pa je očito da su H 1,..., H k rekurzivne funkcije. Vrijedi H k+1 (x 1,..., x k, i) = i + ϕ(x 1,..., x k ). Stoga je H k+1 zbroj funkcije I k+1 k+1 i funkcije koja je kompozicija od ϕ, Ik+1 1,..., I k+1 k. Prema tome H k+1 je rekurzivna funkcija. Zaključujemo da je H rekurzivna funkcija. Iz definicija funkcija G i H slijedi da je G = F H pa je prema propoziciji funkcija G rekurzivna. Neka je M : N k definirana sa M(x) = 2 ϕ(x). Vrijedi M(x) = ω (ϕ(x), 2) pri čemu je ω : N 2 N funkcija definirana sa ω(a, b) = b a. N funkcija Funkcija ω je rekurzivna prema propoziciji , a budući da je M kompozicija funkcija ω, ϕ i konstantne funkcije N k N s vrijednošću 2, imamo da je M rekurzivna funkcija. Iz (3.12) slijedi da je 1 f (x) 1 G(x, i) < M(x) 2 i, tj. 1 f (x) 1 (x, i) G < M(x) 2 i, za sve x N k, i N. Prema teoremu funkcija 1 : G Nk+1 Q je rekurzivna pa iz leme slijedi da je 1 rekurzivna funkcija. f 3.2 Rekurzivni brojevi Neka je x R. Tada za svaki ɛ > 0 postoji q Q takav da je x q < ɛ i q > x. Naime, ako je ɛ > 0 onda je x < x + ɛ pa postoji q Q takav da je x < q < x + ɛ iz čega slijedi 0 < q x < ɛ pa je x q < ɛ.

46 42 POGLAVLJE 3. REKURZIVNE REALNE FUNKCIJE Posebno, za svaki k N postoji racionalan broj q k takav da je x q k < 2 k. Dakle, postoji funkcija f : N Q takva da je x f (k) < 2 k, k N. Neka je x R. Za x kažemo da je rekurzivan broj ako postoji rekurzivna funkcija f : N Q takva da je x f (k) < 2 k, za svaki k N. Primjer Neka je q Q. Tada je q rekurzivan broj. Naime, imamo q = ( 1) u v w gdje su u, v, w N, w 0. Neka je f : N Q funkcija definirana sa f (k) = q za svaki k N. Funkcija f je rekurzivna jer je c(k) a(k) f (k) = ( 1) b(k) za svaki k N gdje su a, b, c : N N funkcije definirane sa Za svaki k N vrijedi iz čega slijedi da je q rekurzivan broj. c(k) = u, a(k) = v, b(k) = w. q f (k) = q q = 0 < 2 k Propozicija Neka je r rekurzivan broj. Neka je n N \ {0} te neka je f : N n R funkcija definirana sa f (x) = r za svaki x N n. Tada je f rekurzivna funkcija. Dokaz. Budući da je r rekurzivan broj postoji rekurzivna funkcija g : N Q takva da je r g(k) < 2 k za svaki k N. Definirajmo funkciju F : N n+1 Q sa F(x, k) = g(k), x N n, k N.

47 3.2. REKURZIVNI BROJEVI 43 Vrijedi tj. f (x) F(x, k) = r g(k) < 2 k, f (x) F(x, k) < 2 k za svaki x N k i svaki k N. Vrijedi, F = g I n+1 n+1 pa iz propozicije slijedi da je F rekurzivna funkcija. Zaključak: f je rekurzivna funkcija. Propozicija Neka je k N \ {0} te neka je f : N k R rekurzivna funkcija. Tada je f (x) rekurzivan broj za svaki x N k. Dokaz. Budući da je f rekurzivna postoji rekurzivna funkcija F : N k+1 Q takva da je f (x) F(x, i) < 2 i za svaki x N k i za svaki i N. Neka je x N k. Definirajmo funkciju g : N Q sa g(i) = F(x, i) za svaki i N. Tada je f (x) g(i) < 2 i (3.13) za svaki i N. Neka je G : N N k+1 funkcija definirana sa G(i) = (x, i). Neka su G 1,..., G k+1 komponentne funkcije od G. Imamo da su G 1,..., G k konstantne funkcije te da je G k+1 = I 1 1. Stoga je G rekurzivna funkcija. Očito je g = F G pa iz propozicije slijedi da je g rekurzivna funkcija. Iz (3.13) sada slijedi da je f (x) rekurzivan broj. Korolar Neka su α i β rekurzivni brojevi. Tada su i α, α, α + β, α β rekurzivni brojevi. Ako je α 0 onda je i 1 rekurzivan broj. α

SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Igor Sušić LOKALNA IZRAČUNLJIVOST Diplomski rad Voditelj rada: doc.dr.sc.

SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Igor Sušić LOKALNA IZRAČUNLJIVOST Diplomski rad Voditelj rada: doc.dr.sc. SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Igor Sušić LOKALNA IZRAČUNLJIVOST Diplomski rad Voditelj rada: doc.dr.sc. Zvonko Iljazović Zagreb, lipanj 015. Ovaj diplomski

Више

JMBAG IME I PREZIME BROJ BODOVA MJERA I INTEGRAL 2. kolokvij 29. lipnja (Knjige, bilježnice, dodatni papiri i kalkulatori nisu dozvoljeni!) 1. (

JMBAG IME I PREZIME BROJ BODOVA MJERA I INTEGRAL 2. kolokvij 29. lipnja (Knjige, bilježnice, dodatni papiri i kalkulatori nisu dozvoljeni!) 1. ( MJERA I INTEGRAL. kolokvij 9. lipnja 018. (Knjige, bilježnice, dodatni papiri i kalkulatori nisu dozvoljeni! 1. (ukupno 6 bodova Neka je (, F, µ prostor s mjerom, neka je (f n n1 niz F-izmjerivih funkcija

Више

JMBAG IME I PREZIME BROJ BODOVA 1. (ukupno 6 bodova) MJERA I INTEGRAL 1. kolokvij 4. svibnja (Knjige, bilježnice, dodatni papiri i kalkulatori n

JMBAG IME I PREZIME BROJ BODOVA 1. (ukupno 6 bodova) MJERA I INTEGRAL 1. kolokvij 4. svibnja (Knjige, bilježnice, dodatni papiri i kalkulatori n 1. (ukupno 6 bodova) MJERA I INTEGRAL 1. kolokvij 4. svibnja 2018. (Knjige, bilježnice, dodatni papiri i kalkulatori nisu dozvoljeni!) (a) (2 boda) Definirajte (općenitu) vanjsku mjeru. (b) (2 boda) Definirajte

Више

ZADACI ZA VJEŽBU 1. Dokažite da vrijedi: (a) (A \ B) (B \ A) = (A B) (A C B C ), (b) A \ (B \ C) = (A C) (A \ B), (c) (A B) \ C = (A \ C) (B \ C). 2.

ZADACI ZA VJEŽBU 1. Dokažite da vrijedi: (a) (A \ B) (B \ A) = (A B) (A C B C ), (b) A \ (B \ C) = (A C) (A \ B), (c) (A B) \ C = (A \ C) (B \ C). 2. ZADACI ZA VJEŽBU. Dokažite da vrijedi: (a) (A \ B) (B \ A) = (A B) (A C B C ), (b) A \ (B \ C) = (A C) (A \ B), (c) (A B) \ C = (A \ C) (B \ C).. Pomoću matematičke indukcije dokažite da za svaki n N vrijedi:

Више

JMBAG IME I PREZIME BROJ BODOVA MJERA I INTEGRAL završni ispit 6. srpnja (Knjige, bilježnice, dodatni papiri i kalkulatori nisu dozvoljeni!) 1.

JMBAG IME I PREZIME BROJ BODOVA MJERA I INTEGRAL završni ispit 6. srpnja (Knjige, bilježnice, dodatni papiri i kalkulatori nisu dozvoljeni!) 1. MJERA I INTEGRAL završni ispit 6. srpnja 208. (Knjige bilježnice dodatni papiri i kalkulatori nisu dozvoljeni!). (8 bodova) Kao na predavanjima za d N sa P d : a b ] a d b d ] : a i b i R a i b i za i

Више

vjezbe-difrfv.dvi

vjezbe-difrfv.dvi Zadatak 5.1. Neka je L: R n R m linearni operator. Dokažite da je DL(X) = L, X R n. Preslikavanje L je linearno i za ostatak r(h) = L(X + H) L(X) L(H) = 0 vrijedi r(h) lim = 0. (5.1) H 0 Kako je R n je

Више

SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Elma Daferović HIJERARHIJA KONVEKSNIH FUNKCIJA Diplomski rad Voditelj rada

SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Elma Daferović HIJERARHIJA KONVEKSNIH FUNKCIJA Diplomski rad Voditelj rada SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Elma Daferović HIJERARHIJA KONVEKSNIH FUNKCIJA Diplomski rad Voditelj rada: prof. dr. sc. Sanja Varošanec Zagreb, srpanj 218.

Више

Matematika 1 - izborna

Matematika 1 - izborna 3.3. NELINEARNE DIOFANTSKE JEDNADŽBE Navest ćemo sada neke metode rješavanja diofantskih jednadžbi koje su drugog i viših stupnjeva. Sve su te metode zapravo posebni oblici jedne opće metode, koja se naziva

Више

Konacne grupe, dizajni i kodovi

Konacne grupe, dizajni i kodovi Konačne grupe, dizajni i kodovi Andrea Švob (asvob@math.uniri.hr) 1. veljače 2011. Andrea Švob (asvob@math.uniri.hr) () Konačne grupe, dizajni i kodovi 1. veljače 2011. 1 / 36 J. Moori, Finite Groups,

Више

MATEMATIČKA ANALIZA I primjeri i zadaci Ante Mimica 8. siječnja 2010.

MATEMATIČKA ANALIZA I primjeri i zadaci Ante Mimica 8. siječnja 2010. MATEMATIČKA ANALIZA I primjeri i zadaci Ante Mimica 8 siječnja 00 Sadržaj Funkcije 5 Nizovi 7 3 Infimum i supremum 9 4 Neprekidnost i es 39 3 4 SADRZ AJ Funkcije 5 6 FUNKCIJE Nizovi Definicija Niz je

Више

SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Edita Kulović STRUKTURE IZRAČUNLJIVOSTI Diplomski rad Voditelj rada: doc.

SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Edita Kulović STRUKTURE IZRAČUNLJIVOSTI Diplomski rad Voditelj rada: doc. SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Edita Kulović STRUKTURE IZRAČUNLJIVOSTI Diplomski rad Voditelj rada: doc. dr. sc. Zvonko Iljazović Zagreb, rujan 2016. Ovaj diplomski

Више

UAAG Osnovne algebarske strukture 5. Vektorski prostori Borka Jadrijević

UAAG Osnovne algebarske strukture 5. Vektorski prostori Borka Jadrijević Osnovne algebarske strukture 5. Vektorski prostori Borka Jadrijević Osnovne algebarske strukture5. Vektorski prostori 2 5.1 Unutarnja i vanjska množenja Imamo dvije vrste algebarskih operacija, tzv. unutarnja

Више

SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Ivan Posavčević IZRAČUNLJIVOST NA SKUPOVIMA Z, Q, R I C Diplomski rad Zagr

SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Ivan Posavčević IZRAČUNLJIVOST NA SKUPOVIMA Z, Q, R I C Diplomski rad Zagr SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Ivan Posavčević IZRAČUNLJIVOST NA SKUPOVIMA Z, Q, R I C Diplomski rad Zagreb, rujan 2016. Voditelj rada: doc. dr. sc. Vedran

Више

JMBAG IME I PREZIME BROJ BODOVA 1. (ukupno 20 bodova) MJERA I INTEGRAL Popravni ispit 7. rujna (Knjige, bilježnice, dodatni papiri i kalkulatori

JMBAG IME I PREZIME BROJ BODOVA 1. (ukupno 20 bodova) MJERA I INTEGRAL Popravni ispit 7. rujna (Knjige, bilježnice, dodatni papiri i kalkulatori 1. (ukuno 20 bodova) MJERA I INTEGRAL Poravni isit 7. rujna 2018. (Knjige, bilježnice, dodatni airi i kalkulatori nisu dozvoljeni!) (a) (4 boda) Neka je nerazan sku. Precizno definirajte ojam σ-rstena

Више

Sadržaj 1 Diskretan slučajan vektor Definicija slučajnog vektora Diskretan slučajan vektor

Sadržaj 1 Diskretan slučajan vektor Definicija slučajnog vektora Diskretan slučajan vektor Sadržaj Diskretan slučajan vektor Definicija slučajnog vektora 2 Diskretan slučajan vektor Funkcija distribucije slučajnog vektora 2 4 Nezavisnost slučajnih vektora 2 5 Očekivanje slučajnog vektora 6 Kovarijanca

Више

Elementarna matematika 1 - Oblici matematickog mišljenja

Elementarna matematika 1 - Oblici matematickog mišljenja Oblici matematičkog mišljenja 2007/2008 Mišljenje (psihološka definicija) = izdvajanje u čovjekovoj spoznaji odre denih strana i svojstava promatranog objekta i njihovo dovo denje u odgovarajuće veze s

Више

SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Elizabeta Borovec ALGEBARSKA PROŠIRENJA POLJA Diplomski rad Voditelj rada:

SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Elizabeta Borovec ALGEBARSKA PROŠIRENJA POLJA Diplomski rad Voditelj rada: SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Elizabeta Borovec ALGEBARSKA PROŠIRENJA POLJA Diplomski rad Voditelj rada: prof. dr. sc. Dražen Adamović Zagreb, rujan, 2015.

Више

Neprekidnost Jelena Sedlar Fakultet građevinarstva, arhitekture i geodezije Jelena Sedlar (FGAG) Neprekidnost 1 / 14

Neprekidnost Jelena Sedlar Fakultet građevinarstva, arhitekture i geodezije Jelena Sedlar (FGAG) Neprekidnost 1 / 14 Neprekidnost Jelena Sedlar Fakultet građevinarstva, arhitekture i geodezije Jelena Sedlar (FGAG) Neprekidnost 1 / 14 Jelena Sedlar (FGAG) Neprekidnost 2 / 14 Definicija. Jelena Sedlar (FGAG) Neprekidnost

Више

Pripreme 2016 Indukcija Grgur Valentić lipanj Zadaci su skupljeni s dva predavanja na istu temu, za učenike od prvog do trećeg razreda i za MEMO

Pripreme 2016 Indukcija Grgur Valentić lipanj Zadaci su skupljeni s dva predavanja na istu temu, za učenike od prvog do trećeg razreda i za MEMO Pripreme 016 Indukcija Grgur Valentić lipanj 016. Zadaci su skupljeni s dva predavanja na istu temu, za učenike od prvog do trećeg razreda i za MEMO kandidate. Zato su zadaci podjeljeni u odlomka. U uvodu

Више

18 1 DERIVACIJA 1.3 Derivacije višeg reda n-tu derivaciju funkcije f označavamo s f (n) ili u Leibnizovoj notaciji s dn y d x n. Zadatak 1.22 Nadite f

18 1 DERIVACIJA 1.3 Derivacije višeg reda n-tu derivaciju funkcije f označavamo s f (n) ili u Leibnizovoj notaciji s dn y d x n. Zadatak 1.22 Nadite f 8 DERIVACIJA.3 Derivacije višeg reda n-tu derivaciju funcije f označavamo s f (n) ili u Leibnizovoj notaciji s dn y d x n. Zadata. Nadite f (x) ao je (a) f(x) = ( + x ) arctg x (b) f(x) = e x cos x (a)

Више

Linearna algebra Mirko Primc

Linearna algebra Mirko Primc Linearna algebra Mirko Primc Sadržaj Poglavlje 1. Polje realnih brojeva 5 1. Prirodni i cijeli brojevi 5 2. Polje racionalnih brojeva 6 3. Polje realnih brojeva R 9 4. Polje kompleksnih brojeva C 13 5.

Више

Microsoft Word - 09_Frenetove formule

Microsoft Word - 09_Frenetove formule 6 Frenet- Serret-ove formule x : 0,L Neka je regularna parametrizaija krivulje C u prostoru parametru s ) zadana vektorskom jednadžbom: x s x s i y s j z s k x s, y s, z s C za svaki 0, L Pritom je zbog

Више

knjiga.dvi

knjiga.dvi 1. Vjerojatnost 1. lgebra dogadaja......................... 1 2. Vjerojatnost............................. 9 3. Klasični vjerojatnosni prostor................. 14 4. eskonačni vjerojatnosni prostor...............

Више

Matrice. Algebarske operacije s matricama. - Predavanje I

Matrice. Algebarske operacije s matricama. - Predavanje I Matrice.. Predavanje I Ines Radošević inesr@math.uniri.hr Odjel za matematiku Sveučilišta u Rijeci Matrice... Matrice... Podsjeti se... skup, element skupa,..., matematička logika skupovi brojeva N,...,

Више

Diferenciranje i integriranje pod znakom integrala math.e Vol math.e Hrvatski matematički elektronički časopis Diferenciranje i integriranje pod

Diferenciranje i integriranje pod znakom integrala math.e Vol math.e Hrvatski matematički elektronički časopis Diferenciranje i integriranje pod 1 math.e Hrvatski matematički elektronički časopis Diferenciranje i integriranje pod znakom integrala analiza Irfan Glogić, Harun Šiljak When guys at MIT or Princeton had trouble doing a certain integral,

Више

2. Globalna svojstva realnih funkcija Denicija 2.1 Za funkciju f : A kaemo da je:! R; A R ome dena odozgor ako postoji M 2 R takav da je (8x 2 A) (f (

2. Globalna svojstva realnih funkcija Denicija 2.1 Za funkciju f : A kaemo da je:! R; A R ome dena odozgor ako postoji M 2 R takav da je (8x 2 A) (f ( 2. Globalna svojstva realnih funkcija Denicija 2.1 Za funkciju f : A kaemo da je:! R; A R ome dena odozgor ako postoji M 2 R takav da je (8x 2 A) (f (x) M) ; ome dena odozdol ako postoji m 2 R takav da

Више

Generalizirani trag i normalne forme za logiku interpretabilnosti Vedran Čačić PMF Matematički odsjek Sveučilište u Zagrebu Dubrovnik radiona Sustavi

Generalizirani trag i normalne forme za logiku interpretabilnosti Vedran Čačić PMF Matematički odsjek Sveučilište u Zagrebu Dubrovnik radiona Sustavi Generalizirani trag i normalne forme za logiku interpretabilnosti Vedran Čačić PMF Matematički odsjek Sveučilište u Zagrebu Dubrovnik radiona Sustavi dokazivanja 28. lipnja 2012. Zašto logika interpretabilnosti?

Више

Microsoft Word - predavanje8

Microsoft Word - predavanje8 DERIVACIJA KOMPOZICIJE FUNKCIJA Ponekad je potrebno derivirati funkcije koje nisu jednostavne (složene su). Na primjer, funkcija sin2 je kompozicija funkcija sin (vanjska funkcija) i 2 (unutarnja funkcija).

Више

kvadratna jednačina - zadaci za vežbanje (Vladimir Marinkov).nb 1 Kvadratna jednačina 1. Rešiti jednačine: a x 2 81 b 2 x 2 50 c 4 x d x 1

kvadratna jednačina - zadaci za vežbanje (Vladimir Marinkov).nb 1 Kvadratna jednačina 1. Rešiti jednačine: a x 2 81 b 2 x 2 50 c 4 x d x 1 kvadratna jednačina - zadaci za vežbanje 0. (Vladimir Marinkov).nb Kvadratna jednačina. Rešiti jednačine: a x 8 b x 0 c x d x x x e x x x f x 8 x 6 x x 6 rešenje: a) x,, b x,, c x,,d x, 6, e x,, (f) x,.

Више

MAT KOL (Banja Luka) ISSN (p), ISSN (o) Vol. XX (2)(2014), PELLOVA JEDNAČINA I PITAGORIN

MAT KOL (Banja Luka) ISSN (p), ISSN (o) Vol. XX (2)(2014), PELLOVA JEDNAČINA I PITAGORIN MAT KOL (Banja Luka) ISSN 0354 6969 (p), ISSN 986 5228 (o) Vol. XX (2)(204), 59 68 http://www.imvibl.org/dmbl/dmbl.htm PELLOVA JEDNAČINA I PITAGORINE TROJKE Amra Duraković Bernadin Ibrahimpašić 2, Sažetak

Више

atka 26 (2017./2018.) br. 102 NEKE VRSTE DOKAZA U ČAROBMATICI Jadranka Delač-Klepac, Zagreb jednoj smo priči spomenuli kako je važno znati postavljati

atka 26 (2017./2018.) br. 102 NEKE VRSTE DOKAZA U ČAROBMATICI Jadranka Delač-Klepac, Zagreb jednoj smo priči spomenuli kako je važno znati postavljati NEKE VRSTE DOKAZA U ČAROBMATICI Jadranka Delač-Klepac, Zagreb jednoj smo priči spomenuli kako je važno znati postavljati prava pitanja. U Jednako je važno znati pronaći odgovore na postavljena pitanja,

Више

Teorija skupova - blog.sake.ba

Teorija skupova - blog.sake.ba Uvod Matematika je jedan od najomraženijih predmeta kod većine učenika S pravom, dakako! Zapitajmo se šta je uzrok tome? Da li je matematika zaista toliko teška, komplikovana? Odgovor je jednostavan, naravno

Више

Sveučilište J.J.Strossmayera u Osijeku Odjel za matematiku Preddiplomski studij matematike Margareta Tvrdy Banachovi prostori Završni rad Osijek, 2013

Sveučilište J.J.Strossmayera u Osijeku Odjel za matematiku Preddiplomski studij matematike Margareta Tvrdy Banachovi prostori Završni rad Osijek, 2013 Sveučilište J.J.Strossmayera u Osijeku Odjel za matematiku Preddiplomski studij matematike Margareta Tvrdy Banachovi prostori Završni rad Osijek, 2013. Sveučilište J.J.Strossmayera u Osijeku Odjel za matematiku

Више

Numerička matematika 11. predavanje dodatak Saša Singer web.math.pmf.unizg.hr/~singer PMF Matematički odsjek, Zagreb NumMat 2019, 11. p

Numerička matematika 11. predavanje dodatak Saša Singer web.math.pmf.unizg.hr/~singer PMF Matematički odsjek, Zagreb NumMat 2019, 11. p Numerička matematika 11. predavanje dodatak Saša Singer singer@math.hr web.math.pmf.unizg.hr/~singer PMF Matematički odsjek, Zagreb NumMat 2019, 11. predavanje dodatak p. 1/46 Sadržaj predavanja dodatka

Више

1 Polinomi jedne promenljive Neka je K polje. Izraz P (x) = a 0 + a 1 x + + a n x n = n a k x k, x K, naziva se algebarski polinom po x nad poljem K.

1 Polinomi jedne promenljive Neka je K polje. Izraz P (x) = a 0 + a 1 x + + a n x n = n a k x k, x K, naziva se algebarski polinom po x nad poljem K. 1 Polinomi jedne promenljive Neka je K polje. Izraz P (x) = a 0 + a 1 x + + a n x n = n a k x k, x K, naziva se algebarski polinom po x nad poljem K. Elementi a k K su koeficijenti polinoma P (x). Ako

Више

Microsoft Word - 15ms261

Microsoft Word - 15ms261 Zadatak 6 (Mirko, elektrotehnička škola) Rješenje 6 Odredite sup S, inf S, ma S i min S u skupu R ako je S = { R } a b = a a b + b a b, c < 0 a c b c. ( ), : 5. Skratiti razlomak znači brojnik i nazivnik

Више

(Microsoft Word - MATB - kolovoz osnovna razina - rje\232enja zadataka)

(Microsoft Word - MATB - kolovoz osnovna razina - rje\232enja zadataka) . B. Zapišimo zadane brojeve u obliku beskonačno periodičnih decimalnih brojeva: 3 4 = 0.7, = 0.36. Prvi od navedenih četiriju brojeva je manji od 3 4, dok su treći i četvrti veći od. Jedini broj koji

Више

Skalarne funkcije više varijabli Parcijalne derivacije Skalarne funkcije više varijabli i parcijalne derivacije Franka Miriam Brückler

Skalarne funkcije više varijabli Parcijalne derivacije Skalarne funkcije više varijabli i parcijalne derivacije Franka Miriam Brückler i parcijalne derivacije Franka Miriam Brückler Jednadžba stanja idealnog plina uz p = nrt V f (x, y, z) = xy z x = n mol, y = T K, z = V L, f == p Pa. Pritom je kodomena od f skup R, a domena je Jednadžba

Више

ŽUPANIJSKO NATJECANJE IZ MATEMATIKE 28. veljače razred - rješenja OVDJE SU DANI NEKI NAČINI RJEŠAVANJA ZADATAKA. UKOLIKO UČENIK IMA DRUGAČIJI

ŽUPANIJSKO NATJECANJE IZ MATEMATIKE 28. veljače razred - rješenja OVDJE SU DANI NEKI NAČINI RJEŠAVANJA ZADATAKA. UKOLIKO UČENIK IMA DRUGAČIJI ŽUANIJSKO NATJECANJE IZ MATEMATIKE 8. veljače 09. 8. razred - rješenja OVDJE SU DANI NEKI NAČINI RJEŠAVANJA ZADATAKA. UKOLIKO UČENIK IMA DRUGAČIJI OSTUAK RJEŠAVANJA, ČLAN OVJERENSTVA DUŽAN JE I TAJ OSTUAK

Више

Title

Title 1. Realni brojevi Prirodno bi bilo konstruisati skup realnih brojeva korak po korak, od prirodnih brojeva preko cijelih, racionalnih i na kraju iracionalnih. Medutim, mi ćemo tom problemu ovdje pristupiti

Више

SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Petar Bakić GEOMETRIJA SHEMA Diplomski rad Voditelj rada: prof. dr. sc. Go

SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Petar Bakić GEOMETRIJA SHEMA Diplomski rad Voditelj rada: prof. dr. sc. Go SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Petar Bakić GEOMETRIJA SHEMA Diplomski rad Voditelj rada: prof. dr. sc. Goran Muić Zagreb, srpanj 2014. Ovaj diplomski rad obranjen

Више

Uvod u obične diferencijalne jednadžbe Metoda separacije varijabli Obične diferencijalne jednadžbe Franka Miriam Brückler

Uvod u obične diferencijalne jednadžbe Metoda separacije varijabli Obične diferencijalne jednadžbe Franka Miriam Brückler Obične diferencijalne jednadžbe Franka Miriam Brückler Primjer Deriviranje po x je linearan operator d dx kojemu recimo kao domenu i kodomenu uzmemo (beskonačnodimenzionalni) vektorski prostor funkcija

Више

(Microsoft Word - Dr\236avna matura - studeni osnovna razina - rje\232enja)

(Microsoft Word - Dr\236avna matura - studeni osnovna razina - rje\232enja) 1. C. Imamo redom: I. ZADATCI VIŠESTRUKOGA IZBORA 9 + 7 6 9 + 4 51 = = = 5.1 18 4 18 8 10. B. Pomoću kalkulatora nalazimo 10 1.5 = 63.45553. Četvrta decimala je očito jednaka 5, pa se zaokruživanje vrši

Више

Celobrojno programiranje Rešavamo sledeći poblem celobrojnog programiranja: min c T x Ax = b x 0 x Z n Gde pretpostavljamo da je A celobrojna matrica

Celobrojno programiranje Rešavamo sledeći poblem celobrojnog programiranja: min c T x Ax = b x 0 x Z n Gde pretpostavljamo da je A celobrojna matrica Celobrojno programiranje Rešavamo sledeći poblem celobrojnog programiranja: min c T x Ax = b x 0 x Z n Gde pretpostavljamo da je A celobrojna matrica dimenzije m n, b Z m, c Z n. Takođe, očekuje se da

Више

(Microsoft Word - Dr\236avna matura - rujan osnovna razina - rje\232enja)

(Microsoft Word - Dr\236avna matura - rujan osnovna razina - rje\232enja) I. ZADATCI VIŠESTRUKOGA IZBORA. B. Broj je cijeli broj, tj. pripada skupu cijelih brojeva Z. Skup cijelih brojeva Z je pravi podskup skupa racionalnih brojeva Q, pa je i racionalan broj. 9 4 je očito broj

Више

ANALITIČKA GEOMETRIJA Željka Milin Šipuš i Mea Bombardelli verzija Uvod i povijesni osvrt Analitička geometrija bavi se proučavanjem (klasične)

ANALITIČKA GEOMETRIJA Željka Milin Šipuš i Mea Bombardelli verzija Uvod i povijesni osvrt Analitička geometrija bavi se proučavanjem (klasične) ANALITIČKA GEOMETRIJA Željka Milin Šipuš i Mea Bombardelli verzija 1.0 1 Uvod i povijesni osvrt Analitička geometrija bavi se proučavanjem (klasične) euklidske geometrije ravnine i prostora koristeći algebarske

Више

Skripte2013

Skripte2013 Chapter 2 Algebarske strukture Preslikivanje f : A n! A se naziva n-arna operacija na skupu A Ako je n =2, kažemo da je f : A A! A binarna operacija na A Kažemo da je operacija f arnosti n, u oznaci ar

Више

Programiranje 2 0. predavanje Saša Singer web.math.pmf.unizg.hr/~singer PMF Matematički odsjek, Zagreb Prog2 2019, 0. predavanje p. 1/4

Programiranje 2 0. predavanje Saša Singer web.math.pmf.unizg.hr/~singer PMF Matematički odsjek, Zagreb Prog2 2019, 0. predavanje p. 1/4 Programiranje 2 0. predavanje Saša Singer singer@math.hr web.math.pmf.unizg.hr/~singer PMF Matematički odsjek, Zagreb Prog2 2019, 0. predavanje p. 1/48 Sadržaj predavanja Ponavljanje onog dijela C-a koji

Више

JMBAG IME I PREZIME BROJ BODOVA MJERA I INTEGRAL 2. kolokvij 28. lipnja (Knjige, bilježnice, dodatni papiri i kalkulatori nisu dozvoljeni!) 1. (

JMBAG IME I PREZIME BROJ BODOVA MJERA I INTEGRAL 2. kolokvij 28. lipnja (Knjige, bilježnice, dodatni papiri i kalkulatori nisu dozvoljeni!) 1. ( MJER I ITEGRL 2. kolokvij 28. lipja 29. (Kjige, bilježice, dodati papiri i kalkulatori isu dozvoljei!). (ukupo 6 bodova) eka je (, F, µ) prostor mjere. (a) ( bod) Što to zači da je izmjeriva fukcija f

Више

MATEMATIKA Preddiplomski studij molekularne biologije Damir Bakić

MATEMATIKA Preddiplomski studij molekularne biologije Damir Bakić MATEMATIKA Preddiplomski studij molekularne biologije Damir Bakić i Predgovor Ovo je nastavni materijal za kolegij Matematika namijenjen studentima preddiplomskog studija biologije, smjer Molekularna biologija.

Више

Sveučilište u Zagrebu PMF Matematički odjel Filip Nikšić PROPOZICIONALNA DINAMIČKA LOGIKA Diplomski rad Zagreb, listopad 2009.

Sveučilište u Zagrebu PMF Matematički odjel Filip Nikšić PROPOZICIONALNA DINAMIČKA LOGIKA Diplomski rad Zagreb, listopad 2009. Sveučilište u Zagrebu PMF Matematički odjel Filip Nikšić PROPOZICIONALNA DINAMIČKA LOGIKA Diplomski rad Zagreb, listopad 2009. Sveučilište u Zagrebu PMF Matematički odjel Filip Nikšić PROPOZICIONALNA DINAMIČKA

Више

Sveučilište J.J. Strossmayera u Osijeku Odjel za matematiku Sveučilišni preddiplomski studij matematike Ana Vilić Unitarni operatori Završni rad Osije

Sveučilište J.J. Strossmayera u Osijeku Odjel za matematiku Sveučilišni preddiplomski studij matematike Ana Vilić Unitarni operatori Završni rad Osije Sveučilište J.J. Strossmayera u Osijeku Odjel za matematiku Sveučilišni preddiplomski studij matematike Ana Vilić Unitarni operatori Završni rad Osijek, 2018. Sveučilište J.J. Strossmayera u Osijeku Odjel

Више

07jeli.DVI

07jeli.DVI Osječki matematički list 1(1), 85 94 85 Primjena karakterističnih funkcija u statistici Slobodan Jelić Sažetak. U ovom radu odred ene su funkcije distribucije aritmetičke sredine slučajnog uzorka duljine

Више

Microsoft Word - DIOFANTSKE JEDNADŽBE ZADACI docx

Microsoft Word - DIOFANTSKE JEDNADŽBE ZADACI docx DIOFANTSKE JEDNADŽBE Jednadžba s dvjema ili više nepoznanica čiji su koeficijenti i rješenja cijeli brojevi naziva se DIOFANTSKA JEDNADŽBA. Linearne diofantske jednadžbe 3" + 7% 8 = 0 nehomogena (s dvjema

Више

6-8. ČAS Celobrojno programiranje Rešavamo sledeći poblem celobrojnog programiranja: Gde pretpostavljamo da je A celobrojna matrica dimenzije,. Takođe

6-8. ČAS Celobrojno programiranje Rešavamo sledeći poblem celobrojnog programiranja: Gde pretpostavljamo da je A celobrojna matrica dimenzije,. Takođe 6-8. ČAS Celobrojno programiranje Rešavamo sledeći poblem celobrojnog programiranja: Gde pretpostavljamo da je A celobrojna matrica dimenzije,. Takođe, očekuje se da su koordinate celobrojne. U slučaju

Више

Slide 1

Slide 1 0(a) 0(b) 0(c) 0(d) 0(e) :: :: Neke fizikalne veličine poput indeksa loma u anizotropnim sredstvima ovise o iznosu i smjeru, a nisu vektori. Stoga se namede potreba poopdavanja. Međutim, fizikalne veličine,

Више

Microsoft Word - 6ms001

Microsoft Word - 6ms001 Zadatak 001 (Anela, ekonomska škola) Riješi sustav jednadžbi: 5 z = 0 + + z = 14 4 + + z = 16 Rješenje 001 Sustav rješavamo Gaussovom metodom eliminacije (isključivanja). Gaussova metoda provodi se pomoću

Више

SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Martina Barić PARTICIJE PRIRODNIH BROJEVA Diplomski rad Voditelj rada: izv

SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Martina Barić PARTICIJE PRIRODNIH BROJEVA Diplomski rad Voditelj rada: izv SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Martina Barić PARTICIJE PRIRODNIH BROJEVA Diplomski rad Voditelj rada: izv. prof. dr. sc. Zrinka Franušić Zagreb, rujan 2017

Више

Grupiranje podataka: pristupi, metode i primjene, ljetni semestar 2013./ Standardizacija podataka Predavanja i vježbe 8 Ako su podaci zadani

Grupiranje podataka: pristupi, metode i primjene, ljetni semestar 2013./ Standardizacija podataka Predavanja i vježbe 8 Ako su podaci zadani Grupiranje podataka: pristupi, metode i primjene, ljetni semestar 2013/2014 1 5 Standardizacija podataka Predavanja i vježbe 8 Ako su podaci zadani s više obilježja (atributa), ta se obilježja mogu međusobno

Више

Matematiqki fakultet Univerzitet u Beogradu Iracionalne jednaqine i nejednaqine Zlatko Lazovi 29. mart 2017.

Matematiqki fakultet Univerzitet u Beogradu Iracionalne jednaqine i nejednaqine Zlatko Lazovi 29. mart 2017. Matematiqki fakultet Univerzitet u Beogradu 29. mart 2017. Matematiqki fakultet 2 Univerzitet u Beogradu Glava 1 Iracionalne jednaqine i nejednaqine 1.1 Teorijski uvod Pod iracionalnim jednaqinama podrazumevaju

Више

s2.dvi

s2.dvi 1. Skup kompleksnih brojeva 1. Skupovibrojeva.... Skup kompleksnih brojeva................................. 6. Zbrajanje i množenje kompleksnih brojeva..................... 9 4. Kompleksno konjugirani

Више

LINEARNA ALGEBRA 2 Popravni kolokvij srijeda, 13. velja e Zadatak 1. ( 7 + 5=12 bodova) Zadan je potprostor L = {(x 1, x 2, x 3, x 4 ) C 4 : x 1

LINEARNA ALGEBRA 2 Popravni kolokvij srijeda, 13. velja e Zadatak 1. ( 7 + 5=12 bodova) Zadan je potprostor L = {(x 1, x 2, x 3, x 4 ) C 4 : x 1 Zadatak 1. ( 7 + 5=12 bodova) Zadan je potprostor L = {(x 1, x 2, x, x 4 ) C 4 : x 1 + x 2 + x = 0, x 1 = 2x 2 } unitarnog prostora C 4 sa standardnim skalarnim produktom i vektor v = (2i, 1, i, ) C 4.

Више

JMBAG IME I PREZIME BROJ BODOVA 1. (ukupno 6 bodova) MJERA I INTEGRAL 1. kolokvij 5. svibnja (Knjige, bilježnice, dodatni papiri i kalkulatori n

JMBAG IME I PREZIME BROJ BODOVA 1. (ukupno 6 bodova) MJERA I INTEGRAL 1. kolokvij 5. svibnja (Knjige, bilježnice, dodatni papiri i kalkulatori n 1. (ukupo 6 bodova) MJERA I INTEGRAL 1. kolokvij 5. svibja 2017. (Kjige, bilježice, dodati papiri i kalkulatori isu dozvoljei!) (a) (2 boda) Defiirajte općeitu vajsku mjeru i izmjerivi skup obzirom a dau

Више

PRIRODOSLOVNO-MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Doris Dumičić Danilović Poopćenje i profinjenje nekih algoritama za konstrukciju blokovnih dizaj

PRIRODOSLOVNO-MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Doris Dumičić Danilović Poopćenje i profinjenje nekih algoritama za konstrukciju blokovnih dizaj PRIRODOSLOVNO-MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Doris Dumičić Danilović Poopćenje i profinjenje nekih algoritama za konstrukciju blokovnih dizajna i istraživanje njihovih podstruktura DOKTORSKI RAD

Више

(Microsoft Word - Rje\232enja zadataka)

(Microsoft Word - Rje\232enja zadataka) 1. D. Svedimo sve razlomke na jedinstveni zajednički nazivnik. Lako provjeravamo da vrijede rastavi: 85 = 17 5, 187 = 17 11, 170 = 17 10, pa je zajednički nazivnik svih razlomaka jednak Tako sada imamo:

Више

(Microsoft Word - 1. doma\346a zada\346a)

(Microsoft Word - 1. doma\346a zada\346a) z1 1 Izračunajte z 1 + z, z 1 z, z z 1, z 1 z, z, z z, z z1 1, z, z 1 + z, z 1 z, z 1 z, z z z 1 ako je zadano: 1 i a) z 1 = 1 + i, z = i b) z 1 = 1 i, z = i c) z 1 = i, z = 1 + i d) z 1 = i, z = 1 i e)

Више

ŽUPANIJSKO NATJECANJE IZ MATEMATIKE 1. razred srednja škola A varijanta 28. veljače AKO UČENIK IMA DRUGAČIJI POSTUPAK RJEŠAVANJA ZADATKA, POVJER

ŽUPANIJSKO NATJECANJE IZ MATEMATIKE 1. razred srednja škola A varijanta 28. veljače AKO UČENIK IMA DRUGAČIJI POSTUPAK RJEŠAVANJA ZADATKA, POVJER ŽUPANIJSKO NATJECANJE IZ MATEMATIKE 1. razred srednja škola A varijanta 8. veljače 011. AKO UČENIK IMA DRUGAČIJI POSTUPAK RJEŠAVANJA ZADATKA, POVJERENSTVO JE DUŽNO I TAJ POSTUPAK BODOVATI I OCIJENITI NA

Више

Optimizacija

Optimizacija Optimizacija 1 / 43 2 / 43 Uvod u optimizaciju Zadana funkcija Uvod u optimizaciju f : R n R Cilj: Naći x, točku minimuma funkcije f : - Problem je jednostavno opisati x = arg min x R n f (x). - Rješavanje

Више

(Microsoft Word - Dr\236avna matura - lipanj osnovna razina - rje\232enja)

(Microsoft Word - Dr\236avna matura - lipanj osnovna razina - rje\232enja) 1. C. Interval, tvore svi realni brojevi strogo manji od. Interval, 9] tvore svi realni brojevi strogo veći od i jednaki ili manji od 9. Interval [1, 8] tvore svi realni brojevi jednaki ili veći od 1,

Више

Microsoft Word - O nekim klasicnim kvadratnim Diofantovim jednacinama.docx

Microsoft Word - O nekim klasicnim kvadratnim Diofantovim jednacinama.docx Универзитет у Београду Математички факултет О неким класичним квадратним Диофантовим једначинама Мастер рад ментор: Марко Радовановић студент: Ивана Фируловић Београд, 2017. Садржај Увод...2 1. Линеарне

Више

Algebarske strukture Boris Širola

Algebarske strukture Boris Širola Algebarske strukture Boris Širola UVOD Cilj ovog kratkog uvoda je prvo, neformalno, upoznavanje sa pojmovima i objektima koji su predmet proučavanja ovog kolegija, od kojih je centralan pojam algebarske

Више

Veeeeeliki brojevi

Veeeeeliki brojevi Matematička gimnazija Nedelja informatike 3 12. decembar 2016. Uvod Postoji 10 tipova ljudi na svetu, oni koji razumeju binarni sistem, oni koji ne razumeju binarni sistem i oni koji nisu očekivali šalu

Више

PRIRODNO-MATEMATIČKI FAKULTET U NIŠU DEPARTMAN ZA MATEMATIKU I INFORMATIKU ZADACI SA REŠENJIMA SA PRIJEMNOG ISPITA IZ MATEMATIKE, JUN Odrediti

PRIRODNO-MATEMATIČKI FAKULTET U NIŠU DEPARTMAN ZA MATEMATIKU I INFORMATIKU ZADACI SA REŠENJIMA SA PRIJEMNOG ISPITA IZ MATEMATIKE, JUN Odrediti PRIRODNO-MATEMATIČKI FAKULTET U NIŠU DEPARTMAN ZA MATEMATIKU I INFORMATIKU ZADACI SA REŠENJIMA SA PRIJEMNOG ISPITA IZ MATEMATIKE, JUN 0. Odrediti moduo kompleksnog broja Rešenje: Uočimo da važi z = + i00

Више

ALIP1_udzb_2019.indb

ALIP1_udzb_2019.indb Razmislimo Kako u memoriji računala prikazujemo tekst, brojeve, slike? Gdje se spremaju svi ti podatci? Kako uopće izgleda memorija računala i koji ju elektronički sklopovi čine? Kako biste znali odgovoriti

Више

3. Neprekinute funkcije U ovoj to ki deniramo neprekinute funkcije. Slikovito, graf neprekinute funkcije moºemo nacrtati a da ne diºemo olovku s papir

3. Neprekinute funkcije U ovoj to ki deniramo neprekinute funkcije. Slikovito, graf neprekinute funkcije moºemo nacrtati a da ne diºemo olovku s papir 3. Neprekinute funkcije U ovoj to ki deniramo neprekinute funkcije. Slikovito, graf neprekinute funkcije moºemo nacrtati a da ne diºemo olovku s papira. Neprekinute funkcije vaºne su u teoriji i primjenama.

Више

Sveučilište J. J. Strossmayera u Osijeku Odjel za matematiku Sveučilišni preddiplomski studij matematike Karolina Novaković Derivacija funkcije i prim

Sveučilište J. J. Strossmayera u Osijeku Odjel za matematiku Sveučilišni preddiplomski studij matematike Karolina Novaković Derivacija funkcije i prim Sveučilište J. J. Strossmayera u Osijeku Odjel za matematiku Sveučilišni preddiplomski studij matematike Karolina Novaković Derivacija funkcije i primjene Završni rad Osijek, 2018. Sveučilište J. J. Strossmayera

Више

ACTA MATHEMATICA SPALATENSIA Series didactica Vol.2 (2019) Malo kompleksne analize i osnovni teorem algebre Ljiljana Arambašić, Maja Horvat Saže

ACTA MATHEMATICA SPALATENSIA Series didactica Vol.2 (2019) Malo kompleksne analize i osnovni teorem algebre Ljiljana Arambašić, Maja Horvat Saže ACTA MATHEMATICA SPALATENSIA Series didactica Vol.2 (2019) 57 66 Malo kompleksne analize i osnovni teorem algebre Ljiljana Arambašić, Maja Horvat Sažetak Cilj je ovog rada približiti neke osnovne pojmove

Више

Hej hej bojiš se matematike? Ma nema potrebe! Dobra priprema je pola obavljenog posla, a da bi bio izvrsno pripremljen tu uskačemo mi iz Štreberaja. D

Hej hej bojiš se matematike? Ma nema potrebe! Dobra priprema je pola obavljenog posla, a da bi bio izvrsno pripremljen tu uskačemo mi iz Štreberaja. D Hej hej bojiš se matematike? Ma nema potrebe! Dobra priprema je pola obavljenog posla, a da bi bio izvrsno pripremljen tu uskačemo mi iz Štreberaja. Donosimo ti primjere ispita iz matematike, s rješenjima.

Више

0255_Uvod.p65

0255_Uvod.p65 1Skupovi brojeva Skup prirodnih brojeva Zbrajanje prirodnih brojeva Množenje prirodnih brojeva U košari ima 12 jaja. U drugoj košari nedostaju tri jabuke da bi bila puna, a treća je prazna. Pozitivni,

Више

Teorija skupova – predavanja

Teorija skupova – predavanja Sveučilište u Zagrebu PMF Matematički odsjek Mladen Vuković Složenost algoritama predavanja i vježbe 21. ožujka 2019. Predgovor Ovaj nastavni materijal namijenjen je prije svega studentima diplomskog

Више

2. Globalna svojstva realnih funkcija Denicija 2.1 Za funkciju f : A kaemo da je:! R; A R ome dena odozgor ako postoji M 2 R takav da je (8x 2 A) (f (

2. Globalna svojstva realnih funkcija Denicija 2.1 Za funkciju f : A kaemo da je:! R; A R ome dena odozgor ako postoji M 2 R takav da je (8x 2 A) (f ( 2. Globalna svojstva realnih funkcija Denicija 2.1 Za funkciju f : A kaemo da je:! R; A R ome dena odozgor ako postoji M 2 R takav da je (8 2 A) (f () M) ; ome dena odozdol ako postoji m 2 R takav da je

Више

rjeshenja.dvi

rjeshenja.dvi 16. REPUBLIQKO TAKMIQENjE IZ MATEMATIKE UQENIKA SREDNjIH XKOLA REPUBLIKE SRPSKE Banja Luka, 11.04.2009. ZADACI PRVI RAZRED 1. Neka su a, b, c pozitivni brojevi. Dokazati da iz a 2 + b 2 = c 2 slijedi a 2

Више

1. GRUPA Pismeni ispit iz MATEMATIKE Prezime i ime broj indeksa 1. (15 poena) Rexiti matriqnu jednaqinu 3XB T + XA = B, pri qemu

1. GRUPA Pismeni ispit iz MATEMATIKE Prezime i ime broj indeksa 1. (15 poena) Rexiti matriqnu jednaqinu 3XB T + XA = B, pri qemu 1. GRUPA Pismeni ispit iz MATEMATIKE 1 0.0.01. Prezime i ime broj indeksa 1. (15 poena) Rexiti matriqnu jednaqinu XB T + XA = B, 1 4 pri qemu je A = 6 9 i B = 1 1 0 1 1. 4 4 4 8 1. Data je prava q : {

Више

Konstrukcija i analiza algoritama Nina Radojičić februar Analiza algoritama, rekurentne relacije 1 Definicija: Neka su f i g dve pozitivne fun

Konstrukcija i analiza algoritama Nina Radojičić februar Analiza algoritama, rekurentne relacije 1 Definicija: Neka su f i g dve pozitivne fun Konstrukcija i analiza algoritama Nina Radojičić februar 2018. 1 Analiza algoritama, rekurentne relacije 1 Definicija: Neka su f i g dve pozitivne funkcije od argumenta n iz skupa N prirodnih brojeva.

Више

FAKULTET STROJARSTVA I BRODOGRADNJE KATEDRA ZA STROJARSKU AUTOMATIKU SEMINARSKI RAD IZ KOLEGIJA NEIZRAZITO I DIGITALNO UPRAVLJANJE Mehatronika i robot

FAKULTET STROJARSTVA I BRODOGRADNJE KATEDRA ZA STROJARSKU AUTOMATIKU SEMINARSKI RAD IZ KOLEGIJA NEIZRAZITO I DIGITALNO UPRAVLJANJE Mehatronika i robot FAKULTET STROJARSTVA I BRODOGRADNJE KATEDRA ZA STROJARSKU AUTOMATIKU SEMINARSKI RAD IZ KOLEGIJA NEIZRAZITO I DIGITALNO UPRAVLJANJE Mehatronika i robotika Zagreb, 2014. MODEL PROCESA U PROSTORU STANJA

Више

Ministarstvo znanosti i obrazovanja Republike Hrvatske Agencija za odgoj i obrazovanje Hrvatsko matematičko društvo DRŽAVNO NATJECANJE IZ MATEMATIKE 1

Ministarstvo znanosti i obrazovanja Republike Hrvatske Agencija za odgoj i obrazovanje Hrvatsko matematičko društvo DRŽAVNO NATJECANJE IZ MATEMATIKE 1 Ministarstvo znanosti i obrazovanja Republike Hrvatske Agencija za odgoj i obrazovanje Hrvatsko matematičko društvo DRŽAVNO NATJECANJE IZ MATEMATIKE 1. razred srednja škola A varijanta Poreč, 9. ožujka

Више

Vjezbe 1.dvi

Vjezbe 1.dvi Matematia I Elvis Baraović 0 listopada 08 Prirodno-matematiči faultet Univerziteta u Tuzli, Odsje matematia, Univerzitetsa 75000 Tuzla;http://pmfuntzba/staff/elvisbaraovic/ Sadržaj Sup realnih brojeva

Више

Sveučilište u Splitu Fakultet prirodoslovno-matematičkih znanosti i odgojnih područja Zavod za fiziku Pripremni tečaj za studente prve godine INTEGRAL

Sveučilište u Splitu Fakultet prirodoslovno-matematičkih znanosti i odgojnih područja Zavod za fiziku Pripremni tečaj za studente prve godine INTEGRAL Sveučilište u Splitu Fakultet prirodoslovno-matematičkih znanosti i odgojnih područja Zavod za fiziku Pripremni tečaj za studente prve godine INTEGRALI Sastavio: Ante Bilušić Split, rujan 4. 1 Neodredeni

Више

SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Mihael Maltar MATRICE UDALJENOSTI U GRAFOVIMA Diplomski rad Voditelj rada:

SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Mihael Maltar MATRICE UDALJENOSTI U GRAFOVIMA Diplomski rad Voditelj rada: SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Mihael Maltar MATRICE UDALJENOSTI U GRAFOVIMA Diplomski rad Voditelj rada: prof. dr. sc. Tomislav Došlić Zagreb, rujan, 2018.

Више

ПРИРОДА И ЗНАК РЕШЕЊА 2 b ax bx c 0 x1 x2 2 D b 4ac a ( сви задаци су решени) c b D xx 1 2 x1/2 a 2a УСЛОВИ Решења реална и различита D>0 Решења реалн

ПРИРОДА И ЗНАК РЕШЕЊА 2 b ax bx c 0 x1 x2 2 D b 4ac a ( сви задаци су решени) c b D xx 1 2 x1/2 a 2a УСЛОВИ Решења реална и различита D>0 Решења реалн ПРИРОДА И ЗНАК РЕШЕЊА ax x c 0 x x D 4ac a ( сви задаци су решени) c D xx x/ a a УСЛОВИ Решења реална и различита D>0 Решења реална D Двоструко решење (реална и једнака решења) D=0 Комплексна решења (нису

Више

Ministarstvo prosvjete i športa Republike Hrvatske Agencija za odgoj i obrazovanje Hrvatsko matematičko društvo OPĆINSKO/ŠKOLSKO NATJECANJE IZ MATEMAT

Ministarstvo prosvjete i športa Republike Hrvatske Agencija za odgoj i obrazovanje Hrvatsko matematičko društvo OPĆINSKO/ŠKOLSKO NATJECANJE IZ MATEMAT Ministarstvo prosvjete i športa Republike Hrvatske Agencija za odgoj i obrazovanje Hrvatsko matematičko društvo OPĆINSKO/ŠKOLSKO NATJECANJE IZ MATEMATIKE 1. razred srednja škola B kategorija 9. siječnja

Више

СТЕПЕН појам и особине

СТЕПЕН појам и особине СТЕПЕН појам и особине Степен чији је изложилац природан број N R \ 0 изложилац (експонент) основа степен Особине: m m m m : m m : : Примери. 8 4 7 4 5 4 4 5 6 :5 Важно! 5 5 5 5 5 55 5 Основа је број -5

Више

Verovatnoća - kolokvijum 17. decembar Profesor daje dva tipa ispita,,,težak ispit i,,lak ispit. Verovatnoća da student dobije težak ispit je

Verovatnoća - kolokvijum 17. decembar Profesor daje dva tipa ispita,,,težak ispit i,,lak ispit. Verovatnoća da student dobije težak ispit je Verovatnoća - kolokvijum 17. decembar 2016. 1. Profesor daje dva tipa ispita,,,težak ispit i,,lak ispit. Verovatnoća da student dobije težak ispit je 0.8. Ako je ispit težak, verovatnoća da se prvo pitanje

Више

(Microsoft Word - Dr\236avna matura - lipanj vi\232a razina - rje\232enja)

(Microsoft Word - Dr\236avna matura - lipanj vi\232a razina - rje\232enja) C Vrijedi jednakost: = 075, pa zaključujemo da vrijedi nejednakost 4 To znači da zadani broj pripada intervalu, 05 < < 05 4 D Riješimo zadanu jednadžbu na uobičajen način: x 7 x + = 0, x, 7 ± ( 7) 4 7

Више

Newtonova metoda za rješavanje nelinearne jednadžbe f(x)=0

Newtonova metoda za rješavanje nelinearne jednadžbe f(x)=0 za rješavanje nelinearne jednadžbe f (x) = 0 Ime Prezime 1, Ime Prezime 2 Odjel za matematiku Sveučilište u Osijeku Seminarski rad iz Matematičkog praktikuma Ime Prezime 1, Ime Prezime 2 za rješavanje

Више

(Microsoft Word - Dr\236avna matura - kolovoz ni\236a razina - rje\232enja)

(Microsoft Word - Dr\236avna matura - kolovoz ni\236a razina - rje\232enja) 1. C. Imamo redom: I. ZADATCI VIŠESTRUKOGA IZBORA. B. Imamo redom: 0.3 0. 8 7 8 19 ( 3) 4 : = 9 4 = 9 4 = 9 = =. 0. 0.3 3 3 3 3 0 1 3 + 1 + 4 8 5 5 = = = = = = 0 1 3 0 1 3 0 1+ 3 ( : ) ( : ) 5 5 4 0 3.

Више

Vektorske funkcije i polja Mate Kosor / 23

Vektorske funkcije i polja Mate Kosor / 23 i polja Mate Kosor 9.12.2010. 1 / 23 Tokom vježbi pokušajte rješavati zadatke koji su vam zadani. Ova prezentacija biti će dostupna na webu. Isti format vježbi očekujte do kraja semestra. 2 / 23 Danas

Више

Neodreeni integrali - Predavanje III

Neodreeni integrali - Predavanje III Neodredeni integrali Predavanje III Ines Radošević inesr@math.uniri.hr Odjel za matematiku Sveučilišta u Rijeci Neodredeni integrali Neodredeni integral Tablični integrali Metoda supstitucije Metoda parcijalne

Више

SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Jelena Vukašinović ARITMETIčKE FUNKCIJE TEORIJE BROJEVA Diplomski rad Vodi

SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Jelena Vukašinović ARITMETIčKE FUNKCIJE TEORIJE BROJEVA Diplomski rad Vodi SVEUČILIŠTE U ZAGREBU PRIRODOSLOVNO MATEMATIČKI FAKULTET MATEMATIČKI ODSJEK Jelena Vukašinović ARITMETIčKE FUNKCIJE TEORIJE BROJEVA Diplomski rad Voditelj rada: Prof.dr.sc.Sanja Varošanec Zagreb, rujan,

Више

Kvadratna jednaqina i funkcija 1. Odrediti sve n N takve da jednaqina x3 + 7x 2 9x + 1 x 2 bar jedno celobrojno rexee. = n ima 2. Ako za j-nu ax 2 +bx

Kvadratna jednaqina i funkcija 1. Odrediti sve n N takve da jednaqina x3 + 7x 2 9x + 1 x 2 bar jedno celobrojno rexee. = n ima 2. Ako za j-nu ax 2 +bx Kvadratna jednaqina i funkcija 1. Odrediti sve n N takve da jednaqina x3 + 7x 2 9x + 1 x 2 bar jedno celobrojno rexee. = n ima 2. Ako za j-nu ax 2 +bx+c = 0, a, b, c R, a 0, vai 5a+3b+3c = 0, tada jednaqina

Више