Definition:Closed Ball/Normed Vector Space

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\struct{X, \norm {\,\cdot\,} }$ be a normed vector space.

Let $x \in X$.

Let $\epsilon \in \R_{>0}$ be a strictly positive real number.


The closed $\epsilon$-ball of $x$ in $\struct {X, \norm {\,\cdot\,} }$ is defined as:

$\map { {B_\epsilon}^-} x = \set {y \in X: \norm {y - x} \le \epsilon}$


Also see


Sources