Naslov
Effective Dispersion in Computable Metric Spaces

Autori
Iljazović, Zvonko

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

Izvornik
6th Int'l Conf. on Computability and Complexity in Analysis / Andrej Bauer, Peter Hertling, Ker-I Ko - Wadern : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, 2009, 161-172

ISBN
978-3-939897-12-5

Skup
Sixth International Conference on Computability and Complexity in Analysis

Mjesto i datum
Ljubljana, Slovenija, 18.08.2009. - 22.08.2009

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
computable metric space; effective separating sequence; computability structure; effectively totally bounded computable metric space; effectively dispersed metric space

Sažetak
We investigate the relationship between computable metric spaces (X, d, alpha) and (X, d, beta), where (X, d) is a given metric space. In the case of Euclidean space, alpha and beta are equivalent up to isometry, which does not hold in general. We introduce the notion of effectively dispersed metric space. This notion is essential in the proof of the main result of this paper: (X, d, alpha) is effectively totally bounded if and only if (X, d, beta) is effectively totally bounded, i.e. the property that a computable metric space is effectively totally bounded (and in particular effectively compact) depends only on the underlying metric space.

Izvorni jezik
Engleski

Znanstvena područja
Matematika, Računarstvo

POVEZANOST RADA