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