Definition:Generated Submodule/Linear Span

Definition
Let $V$ be a vector space over $K$, and let $A \subseteq V$ be a subset.

Then the linear span of $A$, denoted $\operatorname{span} A$ or $\operatorname{span} \left({A}\right)$, is the set


 * $\displaystyle \left\{{\sum_{k=1}^n \alpha_k f_k: n \in \N_{\ge 1}, \alpha_i \in K, f_i \in A}\right\}$

It is a linear subspace of $V$, as proved in Linear Span is Linear Subspace.

In a Euclidean n-Space (where $n \in \N_{>0}$) this definition translates to:


 * $\displaystyle \operatorname{span}\left({\mathbf{v_1},\mathbf{v_2},\cdots,\mathbf{v_n}}\right) = \left\{ {\sum_{k=1}^n \ c_i \ \mathbf{v_i}: c_i \in \R, \mathbf{v_i}\in \R^n, 1 \le i \le n} \right \}$

In this context, it can be interpreted as the set of all linear combinations of $n$ vectors.

Alternative Notation
One also frequently encounters $\left\langle{A}\right\rangle$.

Typically when $A$ is small, this is also written by substituting the accolades for set notation by angle brackets.

For example, when $A = \left\{{x_1, x_2}\right\}$, one writes $\left\langle{x_1, x_2}\right\rangle$ for $\operatorname{span} A$.

On this site, the notations using $\operatorname{span}$ are preferred, so as to avoid possible confusion.