REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji: http://hdl.handle.net/11320/5497
Tytuł: Chebyshev Distance
Autorzy: Coghetto, Roland
Słowa kluczowe: second-countable
intervals
Chebyshev distance
Data wydania: 2016
Data dodania: 16-maj-2017
Wydawca: De Gruyter Open
Źródło: Formalized Mathematics, Volume 24, Issue 2, pp. 121–142
Abstrakt: In [21], Marco Riccardi formalized that ℝN-basis n is a basis (in the algebraic sense defined in [26]) of ℰTn and in [20] he has formalized that ℰTn is second-countable, we build (in the topological sense defined in [23]) a denumerable base of ℰTn .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].
Afiliacja: Coghetto Roland - Rue de la Brasserie 5, 7100 La Louvière, Belgium
URI: http://hdl.handle.net/11320/5497
DOI: 10.1515/forma-2016-0008
ISSN: 1426-2630
1898-9934
Typ Dokumentu: Article
Występuje w kolekcji(ach):Formalized Mathematics, 2016, Volume 24, Issue 2

Pliki w tej pozycji:
Plik Opis RozmiarFormat 
forma-2016-0010.pdf352,95 kBAdobe PDFOtwórz
Pokaż pełny widok rekordu Zobacz statystyki


Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL Creative Commons