Journal of Advances in Mathematics and Computer Science

Linear Metrics and Effective Separating Sequences

Zvonko Iljazović *

Department of Mathematics, Faculty of Science, University of Zagreb, Bijenicka 30, 10 000 Zagreb, Croatia.

*Author to whom correspondence should be addressed.

---

Abstract

On the real line equipped with the Euclidean metric every two effective separating sequences which have a common computable point are equivalent. We prove that the same result holds for every linear metric on the real line.

Keywords: Effective separating sequence, computable metric space, linear metric.

---

---