<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//TaxonX//DTD Taxonomic Treatment Publishing DTD v0 20100105//EN" "../../nlm/tax-treatment-NS0.dtd">
<article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:tp="http://www.plazi.org/taxpub" article-type="research-article" dtd-version="3.0" xml:lang="en">
  <front>
    <journal-meta>
      <journal-id journal-id-type="publisher-id">109</journal-id>
      <journal-id journal-id-type="index">urn:lsid:arphahub.com:pub:3dc5f44e-8666-58db-bc76-a455210e8891</journal-id>
      <journal-title-group>
        <journal-title xml:lang="en">JUCS - Journal of Universal Computer Science</journal-title>
        <abbrev-journal-title xml:lang="en">jucs</abbrev-journal-title>
      </journal-title-group>
      <issn pub-type="ppub">0948-695X</issn>
      <issn pub-type="epub">0948-6968</issn>
      <publisher>
        <publisher-name>Journal of Universal Computer Science</publisher-name>
      </publisher>
    </journal-meta>
    <article-meta>
      <article-id pub-id-type="doi">10.3217/jucs-016-18-2569</article-id>
      <article-id pub-id-type="publisher-id">29799</article-id>
      <article-categories>
        <subj-group subj-group-type="heading">
          <subject>Research Article</subject>
        </subj-group>
        <subj-group subj-group-type="scientific_subject">
          <subject>F.0 - GENERAL</subject>
          <subject>F.1 - COMPUTATION BY ABSTRACT DEVICES</subject>
          <subject>G.0 - GENERAL</subject>
        </subj-group>
      </article-categories>
      <title-group>
        <article-title>Isometries and Computability Structures</article-title>
      </title-group>
      <contrib-group content-type="authors">
        <contrib contrib-type="author" corresp="yes">
          <name name-style="western">
            <surname>Iljazović</surname>
            <given-names>Zvonko</given-names>
          </name>
          <email xlink:type="simple">zilj@math.hr</email>
          <xref ref-type="aff" rid="A1">1</xref>
        </contrib>
      </contrib-group>
      <aff id="A1">
        <label>1</label>
        <addr-line content-type="verbatim">University of Zagreb, Zagreb, Croatia</addr-line>
        <institution>University of Zagreb</institution>
        <addr-line content-type="city">Zagreb</addr-line>
        <country>Croatia</country>
      </aff>
      <author-notes>
        <fn fn-type="corresp">
          <p>Corresponding author: Zvonko Iljazović (<email xlink:type="simple">zilj@math.hr</email>).</p>
        </fn>
        <fn fn-type="edited-by">
          <p>Academic editor: </p>
        </fn>
      </author-notes>
      <pub-date pub-type="collection">
        <year>2010</year>
      </pub-date>
      <pub-date pub-type="epub">
        <day>28</day>
        <month>09</month>
        <year>2010</year>
      </pub-date>
      <volume>16</volume>
      <issue>18</issue>
      <fpage>2569</fpage>
      <lpage>2596</lpage>
      <uri content-type="arpha" xlink:href="http://openbiodiv.net/C6E790AF-9CE3-54C6-BDD6-233B5A4462D6">C6E790AF-9CE3-54C6-BDD6-233B5A4462D6</uri>
      <uri content-type="zenodo_dep_id" xlink:href="https://zenodo.org/record/7001419">7001419</uri>
      <permissions>
        <copyright-statement>Zvonko Iljazović</copyright-statement>
        <license license-type="creative-commons-attribution" xlink:href="" xlink:type="simple">
          <license-p>This article is freely available under the J.UCS Open Content License.</license-p>
        </license>
      </permissions>
      <abstract>
        <label>Abstract</label>
        <p>We investigate the relationship between computable metric spaces (Χ, d, α) and (Χ, d, β), where (Χ, d) is a given metric space. In the case of Euclidean space, α and β are equivalent up to isometry, which does not hold in general. We introduce the notion of effectively dispersed metric space and we use it in the proof of the following result: if (Χ, d, α) is effectively totally bounded, then (Χ, d, β) is also effectively totally bounded. This means that the property that a computable metric space is effectively totally bounded (and in particular effectively compact) depends only on the underlying metric space. In the final section of this paper we examine compact metric spaces (Χ, d) such that there are only finitely many isometries Χ → Χ. We prove that in this case a stronger result holds than the previous one: if (Χ, d, α) is effectively totally bounded, then α and β are equivalent. Hence if (Χ, d, α) is effectively totally bounded, then (Χ, d) has a unique computability structure.</p>
      </abstract>
    </article-meta>
  </front>
</article>
