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