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 normed vector space is a vector space equipped with a function
norm: V => F
. The main constraint is that the norm of a vector must be scaled linearly when the vector is scaled; that isnorm(k *: v) == k.abs * norm(v)
. Additionally, a normed vector space is also aMetricSpace
, wheredistance(v, w) = norm(v - w)
, and so must obey the triangle inequality.An example of a normed vector space is R^n equipped with the euclidean vector length as the norm.