Definition:Pseudometrizable Uniformity

From ProofWiki
Jump to: navigation, search

Theorem

Let $P = \left({A, d}\right)$ be a pseudometric space.

Let $\mathcal U$ be the uniformity on $X$ defined as:

$\mathcal U := \left\{{u_\epsilon: \epsilon \in \R_{>0}}\right\}$

where:

$\R_{>0}$ is the set of strictly positive real numbers
$u_\epsilon$ is defined as:
$u_\epsilon := \left\{{\left({x, y}\right): d \left({x, y}\right) < \epsilon}\right\}$


Then $\mathcal U$ is defined as pseudometrizable.


Also see


Linguistic Note

The UK English spelling of this is pseudometrisable, but it is rarely found.


Sources