Normed Vector Space

linear-logic

Definition

Normed Vector Space

Let $V$ be a vector space over a field $F$. A normed vector space is a pair $⟨V,||\cdot ||⟩$, where $||\cdot ||:V\to {\mathbb{R}}_{\ge 0}$ is the norm.