Inherited from AdditiveCommutativeGroup[V]
Inherited from AdditiveCommutativeMonoid[V]
Inherited from AdditiveCommutativeSemigroup[V]
Inherited from algebra.ring.AdditiveGroup[V]
Inherited from algebra.ring.AdditiveMonoid[V]
Inherited from algebra.ring.AdditiveSemigroup[V]
Inherited from Serializable
Inherited from Serializable
Inherited from Any
A vector space is a group
V
that can be multiplied by scalars inF
that lie in a field. Scalar multiplication must distribute over vector addition (x *: (v + w) === x *: v + x *: w
) and scalar addition ((x + y) *: v === x *: v + y *: v
). Scalar multiplication by 1 inF
is an identity function (1 *: v === v
). Scalar multiplication is "associative" (x *: y *: v === (x * y) *: v
).