Subcase of a normed vector space, therefore also necessarily a vector space.
Metric space vs normed vector space vs inner product space Updated 2024-12-15 +Created 1970-01-01
TODO examples:
- metric space that is not a normed vector space
- norm vs metric: a norm gives size of one element. A metric is the distance between two elements. Given a norm in a space with subtraction, we can obtain a distance function: the metric induced by a norm.