A seminorm induces a normed quotient
Let
Then the Quotient vector space
Proof
Note that for any
, π¦ β π . Now β π₯ + π¦ β β€ β π₯ β + β π¦ β = β π₯ β β πΌ ( π₯ + π ) β = β πΌ π₯ + π β = β πΌ π₯ β = β πΌ β β π₯ β = | πΌ | β π₯ + π β proving absolute homogeneity. Similarly
β ( π₯ + π ) + ( π¦ + π ) β = β π₯ + π¦ + π β = β π₯ + π¦ β β€ β π₯ β + β π¦ β = β π₯ + π β + β π¦ + π β proving the triangle inequality. Finally
implies β π₯ + π β = β π₯ β = 0 , so π₯ = π , thus we have positive definiteness. π₯ + π = π