Definition:Neighborhood (Metric Space)/Compact Subset

From ProofWiki
Jump to navigation Jump to search

This page is about Neighborhood in the context of Metric Space. For other uses, see Neighborhood.

Definition

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

Let $K \subseteq A$ be a compact subset of $A$.


The $\epsilon$-neighborhood of $K$ in $M$ defined and denoted as:

$\map {\NN_\epsilon} K := \set {x \in A: \exists y \in K: \map d {x, y} \le \epsilon}$


Also see

  • Results about neighborhoods can be found here.


Linguistic Note

The UK English spelling of neighborhood is neighbourhood.


Sources