Category:Definitions/Bounded Normed Vector Spaces

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Bounded Normed Vector Spaces.
Related results can be found in Category: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$.

Pages in category "Definitions/Bounded Normed Vector Spaces"

The following 3 pages are in this category, out of 3 total.