Linear Metrics and Effective Separating Sequences
Zvonko Iljazović, Anita Kuruc & Lucija Validžić · Journal of Advances in Mathematics and Computer Science · 2015
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.
Open access
Research Article
10.9734/BJMCS/2016/21852