1 Search Results for "Iljazovic, Zvonko"

Document

DOI: 10.4230/OASIcs.CCA.2009.2268

Effective Dispersion in Computable Metric Spaces

Authors: Zvonko Iljazovic

Published in: OASIcs, Volume 11, 6th International Conference on Computability and Complexity in Analysis (CCA'09) (2009)

Abstract

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.

Cite as

Zvonko Iljazovic. Effective Dispersion in Computable Metric Spaces. In 6th International Conference on Computability and Complexity in Analysis (CCA'09). Open Access Series in Informatics (OASIcs), Volume 11, pp. 161-172, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)

Copy BibTex To Clipboard

@InProceedings{iljazovic:OASIcs.CCA.2009.2268,
  author =	{Iljazovic, Zvonko},
  title =	{{Effective Dispersion in Computable Metric Spaces}},
  booktitle =	{6th International Conference on Computability and Complexity in Analysis (CCA'09)},
  pages =	{161--172},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-12-5},
  ISSN =	{2190-6807},
  year =	{2009},
  volume =	{11},
  editor =	{Bauer, Andrej and Hertling, Peter and Ko, Ker-I},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.CCA.2009.2268},
  URN =		{urn:nbn:de:0030-drops-22685},
  doi =		{10.4230/OASIcs.CCA.2009.2268},
  annote =	{Keywords: Computable metric space, effective separating sequence, computability structure, effectively totally bounded computable metric space, effectively disp}
}

Refine by Author
1 Iljazovic, Zvonko

Refine by Classification

Refine by Keyword
1 Computable metric space
1 computability structure
1 effective separating sequence
1 effectively disp
1 effectively totally bounded computable metric space

Refine by Type
1 document

Refine by Publication Year
1 2009

1 Search Results for "Iljazovic, Zvonko"

Effective Dispersion in Computable Metric Spaces

Abstract

Cite as

Thanks for your feedback!

Could not send message