TheoremBase

Span of a Finite Family of Vectors

Statement

Let KK be a field, let VV be a vector space over KK, let nn be a natural number, and let v∈Vnv\in V^{n} be an nn-tuple in VV, with components vkv_{k}.

The span of vv is the set

span⁡(v)={u∈V : u=∑k=1nckvk  for some c∈Kn},\operatorname{span}(v)=\Bigl\{u\in V\ :\ u=\sum_{k=1}^{n}c_{k}v_{k}\ \text{ for some }c\in K^{n}\Bigr\},

where ckc_{k} denotes the kk-th component of the nn-tuple cc in KK, and the sum is the finite sum in VV of the nn-tuple whose kk-th component is ckvkc_{k}v_{k}.

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…