# Category:Distance Function

This category contains results about **Distance Function**.

Definitions specific to this category can be found in Definitions/Distance Function.

### Real Numbers

Let $S, T$ be a subsets of the set of real numbers $\R$.

Let $x \in \R$ be a real number.

The **distance between $x$ and $S$** is defined and annotated $\ds \map d {x, S} = \map {\inf_{y \mathop \in S} } {\map d {x, y} }$, where $\map d {x, y}$ is the distance between $x$ and $y$.

The **distance between $S$ and $T$** is defined and annotated $\ds \map d {S, T} = \map {\inf_{\substack {x \mathop \in S \\ y \mathop \in T} } } {\map d {x, y} }$.

### Metric Spaces

Let $M = \struct {A, d}$ be a metric space.

Let $x \in A$.

Let $S, T$ be subsets of $A$.

The **distance between $x$ and $S$** is defined and annotated $\ds \map d {x, S} = \inf_{y \mathop \in S} \paren {\map d {x, y} }$.

The **distance between $S$ and $T$** is defined and annotated $\ds \map d {S, T} = \inf_{\substack {x \mathop \in S \\ y \mathop \in T} } \paren {\map d {x, y} }$.

## Subcategories

This category has the following 4 subcategories, out of 4 total.

## Pages in category "Distance Function"

The following 15 pages are in this category, out of 15 total.

### D

- Distance between Disjoint Compact Set and Closed Set in Metric Space is Positive
- Distance between Element and Subset is Nonnegative
- Distance from Point to Subset is Continuous Function
- Distance from Subset of Real Numbers
- Distance from Subset of Real Numbers to Element
- Distance from Subset of Real Numbers to Infimum
- Distance from Subset of Real Numbers to Supremum
- Distance from Subset to Element
- Distance from Subset to Supremum