Chebyshev Distance

Roland Coghetto. "Chebyshev Distance." Formalized Mathematics 24.2 (2016): 121-141. <http://eudml.org/doc/287094>.

@article{RolandCoghetto2016,
abstract = {In [21], Marco Riccardi formalized that ℝN-basis n is a basis (in the algebraic sense defined in [26]) of [...] ℰTn $\{\mathcal \{E\}\}_T^n $ and in [20] he has formalized that [...] ℰTn $\{\mathcal \{E\}\}_T^n $ is second-countable, we build (in the topological sense defined in [23]) a denumerable base of [...] ℰTn $\{\mathcal \{E\}\}_T^n $ . Then we introduce the n-dimensional intervals (interval in n-dimensional Euclidean space, pavé (borné) de ℝn [16], semi-intervalle (borné) de ℝn [22]). We conclude with the definition of Chebyshev distance [11].},
author = {Roland Coghetto},
journal = {Formalized Mathematics},
keywords = {second-countable; intervals; Chebyshev distance},
language = {eng},
number = {2},
pages = {121-141},
title = {Chebyshev Distance},
url = {http://eudml.org/doc/287094},
volume = {24},
year = {2016},
}

TY - JOUR
AU - Roland Coghetto
TI - Chebyshev Distance
JO - Formalized Mathematics
PY - 2016
VL - 24
IS - 2
SP - 121
EP - 141
AB - In [21], Marco Riccardi formalized that ℝN-basis n is a basis (in the algebraic sense defined in [26]) of [...] ℰTn ${\mathcal {E}}_T^n $ and in [20] he has formalized that [...] ℰTn ${\mathcal {E}}_T^n $ is second-countable, we build (in the topological sense defined in [23]) a denumerable base of [...] ℰTn ${\mathcal {E}}_T^n $ . Then we introduce the n-dimensional intervals (interval in n-dimensional Euclidean space, pavé (borné) de ℝn [16], semi-intervalle (borné) de ℝn [22]). We conclude with the definition of Chebyshev distance [11].
LA - eng
KW - second-countable; intervals; Chebyshev distance
UR - http://eudml.org/doc/287094
ER -