Seminormed vector space
A seminormed vector space
- Absolute homogeneity:
β πΌ π₯ β = | πΌ | β π₯ β - Triangle inequality:
β π₯ + π¦ β β€ β π₯ β + β π¦ β
whence follows
- Nonnegativity:
β π₯ β β₯ 0
By strengthening nonnegativity to positive-definiteness the seminorm becomes a full norm.