Processing math: 100%

Seminorm

Set

context F … subfield of C
context VF-vector space
definiendum pSemiNorm(V)
postulate p:VR
v,wV
postulate p(v+w)p(v)+p(w)
λF
postulate p(λv)=|λ|p(v)

Discussion

A Norm is a seminorm with the adition axiom

p(v)=0v=0

(which I also write as p(!0)=0.)

Reference

Wikipedia: Norm

Parents

Context

Link to graph
Log In
Improvements of the human condition