Real inner-product space
A symmetric, positive-definite real bilinear form is a real inner product; positive semidefiniteness or positive sampled values do not suffice.
atlas-real-inner-product-space · canonical_mko
Real inner-product space
This English edition is an AI candidate and does not yet have an OCME Atlas (GPT-6) Twin closure receipt.
Catalogue presentation and source-binding data