Strukture izračunljivosti

U ovom radu smo pojam rekurzivne funkcije proširili na funkcije s realnim vrijednostima. Dokazali smo da su zbroj, apsolutna vrijednost i umnožak rekurzivnih funkcija također rekurzivne funkcije. Definirali smo rekurzivno prebrojive skupove i dokazali na koji način djeluju rekurzivne funkcije na takve skupove. Pojmove izračunljivog metričkog prostora, izračunljive točke i izračunljivog niza smo uveli u trećem poglavlju. Promatrali smo euklidsku metriku \(d\) na \(\mathbb{R}\) te na prirodan način uveli niz \(\alpha\) takav da je \((\mathbb{R}, d, \alpha)\) izračunljiv metrički prostor. Dokazali smo da je x izračunljiva točka u \((\mathbb{R}, d, \alpha)\) ako i samo ako je x rekurzivan broj. U četvrtom poglavlju smo definirali što su strukture izračunljivosti, efektivni separirajući nizovi, separabilne strukture izračunljivosti i sl. Dokazali smo da je skup svih rekurzivnih brojeva prebrojiv. Glavni rezultat je teorem u kojem tvrdimo da postoji jedinstvena separabilna struktura izračunljivosti na metričkom prostoru \(([0,1], d)\) pri čemu je \(d\) euklidska metrika. Na kraju se smo se dotaknuli pojma omeđenosti u metričkim prostorima te definirali kada je izračunljiv metrički prostor efektivno potpuno omeđen.In this paper, we expanded the notion of a recursive function to the function with real values. We have proven that the sum, the absolute value and the product of the recursive functions is also a recursive function. We introduced the notion of a recursively enumerable set. The preimage and image of a recursively enumerable set under the recursive function is a recursively enumerable set. In the third chapter we introduced the notions of a computable metric space, a computable point and a computable sequence. Let \(d\) be the euclidean metric on \(\mathbb{R}\) and \(\alpha\) sequence introduced naturally such that \((\mathbb{R}, d, \alpha)\) is a computable metric space. We proved that x is a computable point in \((\mathbb{R}, d, \alpha)\) if and only if x is a recursive number. In the fourth chapter we defined the notion of a computability structure, a effective separating sequence, a separable computability structure etc. We have shown that the set of all recursive numbers is countable. The main result is a theorem in which we claim that there is a unique separable computability structure on the metric space \(([0,1], d)\), where \(d\) is the euclidean metric. Finally we examined boundedness in metric space and defined when a computable metric space is effectively totally bounded