Definition:Open Set/Pseudometric Space
 It has been suggested that this page or section be merged into Definition:Open Set/Metric Space. (Discuss) |
Definition
Let $P = \left({A, d}\right)$ be a pseudometric space.
An open set in $P$ is defined in exactly the same way as for a metric space:
$U$ is an open set in $P$ if and only if:
- $\forall y \in U: \exists \epsilon \left({y}\right) > 0: B_\epsilon \left({y}\right) \subseteq U$
where $B_\epsilon \left({y}\right)$ is the open $\epsilon$-ball of $y$.
