Category:Bounded Normed Vector Spaces

From ProofWiki
Jump to navigation Jump to search

This category contains results about Bounded Normed Vector Spaces.
Definitions specific to this category can be found in Definitions/Bounded Normed Vector Spaces.

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

Let $M' = \struct {Y, \norm {\, \cdot \,}_Y}$ be a normed vector subspace of $M$.


Definition 1

$M'$ is bounded (in $M$) if and only if:

$\exists x \in X, C \in \R_{> 0}: \forall y \in Y: \norm {x - y} \le C$


Definition 2

$M'$ is bounded (in $M$) if and only if:

$\exists \epsilon \in \R_{>0} : \exists x \in X : Y \subseteq \map {B_\epsilon^-} x$

where $\map {B_\epsilon^-} x$ is a closed ball in $M$.

This category currently contains no pages or media.