Normed vector space
Set
context | $V$ … $F$-vector space |
definiendum | $\langle V,\Vert\cdot\Vert\rangle$ … normed $F$-vector space |
postulate | $\Vert\cdot\Vert\in\mathrm{Norm}(V)$ |
Discussion
Reference
Wikipedia: Normed vector space
context | $V$ … $F$-vector space |
definiendum | $\langle V,\Vert\cdot\Vert\rangle$ … normed $F$-vector space |
postulate | $\Vert\cdot\Vert\in\mathrm{Norm}(V)$ |
Wikipedia: Normed vector space