span (original) (raw)

For example, the standard basis vectors ı^ and ȷ^ span ℝ2 because every vector of ℝ2 can be represented as a linear combination of ı^ and ȷ^.

Sp⁡(𝐯→1,…,𝐯→n) is a subspace of V and is the smallest subspace containing 𝐯→1,…,𝐯→n.

Span is both a noun and a verb; a set of vectors can span a vector space, and a vector can be in the span of a set of vectors.

Checking span: To see whether a vector is in the span of other vectors, one can set up an augmented matrix, since if 𝐮→ is in the span of 𝐯→1,𝐯→2, then 𝐮→=x1⁢𝐯→1+x2⁢𝐯→2. This is a system of linear equations. Thus, if it has a solution, 𝐮→ is in the span of 𝐯→1,𝐯→2. Note that the solution does not have to be unique for 𝐮→ to be in the span.

To see whether a set of vectors spans a vector space, you need to check that there are at least as many linearly independent vectors as the dimension of the space. For example, it can be shown that in ℝn, n+1 vectors are never linearly independent, and n-1 vectors never span.

Remark. We can define the concept of span also for a module M over a ring R. Given a subset X⊂M we define the module generated by X as the set of all finite linear combinations of elements of X. Be aware that in general there does not exist a linearly independent subset which generates the whole module, i.e. there does not have to exist a basis. Also, even if M is generated by n elements, it is in general not true that any other set of n linearly independent elements of M spans M. For example ℤ is generated by 1 as a ℤ-module but not by 2.