Real vector space
A real vector space has vector addition and real scalar multiplication, satisfying the additive abelian-group and compatible scalar-action axioms.
atlas-real-vector-space · canonical_mko
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
A real vector space has vector addition and real scalar multiplication, satisfying the additive abelian-group and compatible scalar-action axioms.
atlas-real-vector-space · canonical_mko