Analysis MOC

Seminormed vector space

A seminormed vector space (𝑉,𝕂,β€– β‹…β€–) is a Vector space over a Subfield 𝕂 of β„‚ equipped with a seminorm β€– β‹…β€– :𝑉 →ℝ, a weakening of a norm satisfying the following conditions for any π‘₯,𝑦 βˆˆπ‘‰ and 𝛼 βˆˆπ•‚ vec

  1. Absolute homogeneity: ‖𝛼π‘₯β€– =|𝛼|β€–π‘₯β€–
  2. Triangle inequality: β€–π‘₯ +𝑦‖ ≀‖π‘₯β€– +‖𝑦‖

whence follows

  1. Nonnegativity: β€–π‘₯β€– β‰₯0

By strengthening nonnegativity to positive-definiteness the seminorm becomes a full norm.

Properties

  1. A seminorm induces a normed quotient


tidy | en | SemBr