up:: 026 MOC Topology
A metric space is a double where is a (non-empty) set and is a Metric Function.
Examples of metric spaces
A trivial example (and initial motivation) is with the Euclidean metric.
Note that Different metrics yield different metric spaces, even over the same base space .
References
- Sutherland, Wilson A. Introduction to metric and topological spaces. Oxford University Press, 2009.
- Notas para um Curso de Física-Matemática, João Carlos Alves Barata. Cap. 24