# Definition:Pseudometric

Jump to navigation
Jump to search

## Definition

A **pseudometric** on a set $A$ is a real-valued function $d: A \times A \to \R$ which satisfies the following conditions:

\((\text M 1)\) | $:$ | \(\displaystyle \forall x \in A:\) | \(\displaystyle \map d {x, x} = 0 \) | |||||

\((\text M 2)\) | $:$ | \(\displaystyle \forall x, y, z \in A:\) | \(\displaystyle \map d {x, y} + \map d {y, z} \ge \map d {x, z} \) | |||||

\((\text M 3)\) | $:$ | \(\displaystyle \forall x, y \in A:\) | \(\displaystyle \map d {x, y} = \map d {y, x} \) |

The difference between a **pseudometric** and a metric is that a **pseudometric** does not insist that the distance function between distinct elements is *strictly* positive.

### Pseudometric Space

A **pseudometric space** $M = \left({A, d}\right)$ is an ordered pair consisting of a set $A \ne \varnothing$ followed by a pseudometric $d: A \times A \to \R$ which acts on that set.

## Also known as

A **pseudometric** on a pseudometric space can be referred to as a distance function in the same way as a metric on a metric space.

## Also see

- Distance in Pseudometric is Non-Negative, where it is shown that $\forall x, y \in A: \map d {x, y} \ge 0$ which is often taken as one of the axioms.

## Sources

- 1970: Lynn Arthur Steen and J. Arthur Seebach, Jr.:
*Counterexamples in Topology*... (previous) ... (next): $\text{I}: \ \S 5$