Finite Dimensional Real Normed Spaces are Proper Metric Spaces.
Kazuhisa NakashoHiroyuki OkazakiYasunari ShidamaPublished in: Formaliz. Math. (2021)
Keyphrases
- metric space
- finite dimensional
- vector space
- euclidean space
- hilbert space
- infinite dimensional
- similarity search
- higher dimensional
- searching in metric spaces
- high dimensional
- distance function
- low dimensional
- high dimensional data
- numerical solution
- range queries
- feature vectors
- object recognition
- machine learning
- point sets
- convex sets
- data sets
- shape space
- neural network