Efektivna kompaktnost

• Main Author: Vasung, Patrik
• Other Authors: Iljazović, Zvonko
• Format: Master Thesis
• Language: Croatian
• Published: Sveučilište u Zagrebu. Prirodoslovno-matematički fakultet. Matematički odsjek. 2022
• Subjects: izračunljivi metrički prostori; teorija izračunljivosti; rekurzivna funkcija; rekurzivni skup; rekurzivni prebrojivi skup; hiperprostor; computable metric spaces; theory of computability; recursive function; recursive set; reecursevly enumerable set; hyperspace; PRIRODNE ZNANOSTI. Matematika; NATURAL SCIENCES. Mathematics; sami
• Online Access: https://zir.nsk.hr/islandora/object/pmf:10741; https://urn.nsk.hr/urn:nbn:hr:217:847929; https://repozitorij.unizg.hr/islandora/object/pmf:10741; https://repozitorij.unizg.hr/islandora/object/pmf:10741/datastream/PDF

U ovom dipomskom radu proučavamo izračunljive metričke prostore. Posebnu pažnju pridajemo takozvanim efektivno kompaktnim izračunljivim metričkim prostorima. U prvom poglavlju obrađujemo teoriju izračunljivosti. Uvodimo pojam rekurzivne funkcije, rekurzivnog skupa i rekurzivnog prebrojivog skupa. Također, proširujemo pojam rekurzivne funkcije na kodomene \(\mathbb{Z}, \mathbb{Q}, \mathbb{R}\)te dokazujemo neke važne rezultate koji će nam biti potrebni. Obrađujemo još i r.r.o. funkcije koje će se pokazati vrlo korisne pri dokazivanju rezultata vezanih za efektivnu kompaktnost. U drugom poglavlju bavimo se izračunljivim metričkim prostorima. Obrađujemo pojam izračunljivo prebrojivog skupa i izračunljivog skupa u izračunljivom metričkom prostoru. Dokazujemo da se izračunljivi skupovi u izračunljivom metričkom prostoru mogu promatrati i sami kao izračunljivi metrički prostori. Također, pokazujemo da svaki izračunljiv metrički prostor na svojevrstan način inducira novi izračunljiv metrički prostor, kojeg nazivamo hiperprostorom. U trećem poglavlju posvećujemo se efektivno kompaktnim izračunljivim metričkim prostorima. Navodimo neke važne primjere. Dokazujemo da su izračunljivi skupovi gledani kao izračunljivi metrički prostori efektivno kompatkni te dokazujemo i svojevrstan obrat te tvrdnje. Glavni rezultat kojeg dokazujemo je da efektivna kompaktnost ne ovisi o efektivnom separirajućem nizu. In this thesis we study computable metric spaces. Special attention is paid to the so-called effectively compact computable metric spaces. In the first chapter, we study the theory of computability. We introduce the concept of recursive function, recursive set and recursevly enumerable set. Also, we extend the notion of recursive function to codomains \(\mathbb{Z}, \mathbb{Q}, \mathbb{R}\) and prove some important results that we will need. We also study r.r.b. functions, which will prove to be very useful in proving results related to effective compactness. In the second chapter we study computable metric spaces. We analyze ...