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.

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.