Analysis MOC

Metric space

A metric space is a set equipped with a metric such that anal

  1. Symmetry: for all
  2. Triangle inequality: for all
  3. Positive definite: iff.

It immediately follows that iff. Metric spaces are the objects in the Category of metric spaces.

Examples

The quintessential example is the pythagorean distance function on euclidean space, which in one dimension is simply the difference

A trivial example is the discrete metric, which yields the Discrete topology.

Properties


develop | sembr