Tutorials › Linear Algebra › Standard and Nonstandard Bases of Rn

Basis and Dimension · Tutorial 311 of 1000

Standard and Nonstandard Bases of Rn

Use coordinates, row reduction, and direct checks to recognize and construct standard and nonstandard bases of \(\mathbb{R}^n\).

Intermediate 9 min read

What You'll Learn

  • Write an arbitrary vector in \(\mathbb{R}^n\) as a combination of the standard coordinate vectors.
  • Test a list of \(n\) vectors in \(\mathbb{R}^n\) by row-reducing the matrix whose columns are those vectors.
  • Explain why a square matrix that reduces to the identity has basis columns.
  • Solve for the coefficients of a vector in a nonstandard basis.
  • Recognize lists that fail to be bases because they are dependent or do not span.

Coordinate Vectors and Bases

In \(\mathbb{R}^n\), the entries of a vector describe its position relative to the familiar coordinate directions. Those directions are represented by the standard coordinate vectors. They provide the simplest basis, but many other lists of vectors can also give every vector in \(\mathbb{R}^n\) through linear combinations. To check a proposed list, we will use the definition of a basis and, for lists of \(n\) vectors, row reduction.

All scalars in this tutorial are real. A list \((\mathbf{v}_1,\dots,\mathbf{v}_p)\) in \(\mathbb{R}^n\) is a basis if it is linearly independent and spans \(\mathbb{R}^n\). Spanning means that every vector in \(\mathbb{R}^n\) is a linear combination of the list. Independence means that the equation \(c_1\mathbf{v}_1+\cdots+c_p\mathbf{v}_p=\mathbf{0}\) forces every coefficient \(c_i\) to be zero. A basis is an ordered list: changing the order leaves its span and independence unchanged, but changes the order in which its vectors are written.

Definition: For \(i=1,\dots,n\), the standard coordinate vector \(\mathbf{e}_i\in\mathbb{R}^n\) has entry \(1\) in position \(i\) and \(0\) in every other position. The ordered list \((\mathbf{e}_1,\dots,\mathbf{e}_n)\) is the standard basis of \(\mathbb{R}^n\).

For example, in \(\mathbb{R}^3\), the standard basis is \((\mathbf{e}_1,\mathbf{e}_2,\mathbf{e}_3)\), where \(\mathbf{e}_1=(1,0,0)^{\top}\), \(\mathbf{e}_2=(0,1,0)^{\top}\), and \(\mathbf{e}_3=(0,0,1)^{\top}\). The entries of a vector are precisely the coefficients needed to combine these coordinate directions.

Theorem: For every \(n\in\mathbb{N}\), the standard coordinate vectors \((\mathbf{e}_1,\dots,\mathbf{e}_n)\) form a basis of \(\mathbb{R}^n\).

Proof. Let \(\mathbf{x}=(x_1,\dots,x_n)^{\top}\in\mathbb{R}^n\). By the entries of the coordinate vectors, \(x_1\mathbf{e}_1+\cdots+x_n\mathbf{e}_n=(x_1,\dots,x_n)^{\top}=\mathbf{x}\), so the list spans \(\mathbb{R}^n\). Now suppose \(c_1\mathbf{e}_1+\cdots+c_n\mathbf{e}_n=\mathbf{0}\). The left side is the vector \((c_1,\dots,c_n)^{\top}\), so equality with the zero vector forces \(c_i=0\) for every \(i\). The list is therefore independent as well as spanning, and hence is a basis. \(\square\)

Worked Example: Writing a Vector in the Standard Basis

Express \(\mathbf{x}=(4,-2,5)^{\top}\) as a linear combination of the standard basis vectors of \(\mathbb{R}^3\).

Using \(\mathbf{e}_1=(1,0,0)^{\top}\), \(\mathbf{e}_2=(0,1,0)^{\top}\), and \(\mathbf{e}_3=(0,0,1)^{\top}\), scale each coordinate vector by the corresponding entry of \(\mathbf{x}\):

$$ 4\mathbf{e}_1-2\mathbf{e}_2+5\mathbf{e}_3 =4\begin{bmatrix}1\\0\\0\end{bmatrix} -2\begin{bmatrix}0\\1\\0\end{bmatrix} +5\begin{bmatrix}0\\0\\1\end{bmatrix} =\begin{bmatrix}4\\-2\\5\end{bmatrix}. $$

Check: adding the three scaled vectors gives \((4,0,0)^{\top}+(0,-2,0)^{\top}+(0,0,5)^{\top}=(4,-2,5)^{\top}\), as required.

Testing a List of \(n\) Vectors

For a proposed list \((\mathbf{v}_1,\dots,\mathbf{v}_n)\) in \(\mathbb{R}^n\), put the vectors in the columns of a square matrix \(\mathbf{A}=\begin{bmatrix}\mathbf{v}_1&\cdots&\mathbf{v}_n\end{bmatrix}\). A coefficient vector \(\mathbf{c}=(c_1,\dots,c_n)^{\top}\) then satisfies \(\mathbf{A}\mathbf{c}=c_1\mathbf{v}_1+\cdots+c_n\mathbf{v}_n\). Thus, independence concerns the solutions of \(\mathbf{A}\mathbf{c}=\mathbf{0}\), while spanning concerns whether \(\mathbf{A}\mathbf{c}=\mathbf{b}\) can be solved for every \(\mathbf{b}\in\mathbb{R}^n\).

Theorem (Square-matrix basis test): Let \(\mathbf{A}\in\mathbb{R}^{n\times n}\) have columns \(\mathbf{v}_1,\dots,\mathbf{v}_n\). The columns form a basis of \(\mathbb{R}^n\) if and only if the reduced row echelon form of \(\mathbf{A}\) has a pivot in every column. For an \(n\times n\) matrix, this is equivalent to \(\operatorname{rref}(\mathbf{A})=\mathbf{I}_n\).

Proof. Suppose first that the columns form a basis. In particular, they are independent, so \(\mathbf{A}\mathbf{c}=\mathbf{0}\) has only the zero solution. Row operations preserve the solutions of a homogeneous system. If the reduced matrix had a column without a pivot, the variable in that column would be free; assigning it the value \(1\), assigning any other free variables \(0\), and solving for the pivot variables would give a nonzero solution. This contradicts independence. Therefore every column has a pivot. Conversely, suppose every column has a pivot. There are \(n\) columns and \(n\) rows, so the RREF is \(\mathbf{I}_n\). The row operations reducing \(\mathbf{A}\) to \(\mathbf{I}_n\) can also be applied to any right-hand side \(\mathbf{b}\); they produce a system \(\mathbf{I}_n\mathbf{c}=\mathbf{b}'\) for some transformed right-hand side \(\mathbf{b}'\). This system has a solution for every \(\mathbf{b}\), so the columns span \(\mathbb{R}^n\). For the homogeneous system, \(\mathbf{I}_n\mathbf{c}=\mathbf{0}\) forces \(\mathbf{c}=\mathbf{0}\), so the columns are independent. They are a basis. \(\square\)

The test gives a direct procedure: form the matrix with the proposed vectors as columns and row-reduce it. The column convention matters because the matrix-vector product then forms combinations of the proposed vectors. If the reduced matrix is the identity, the list is a basis. If it is not, the list is not a basis; examining the reduced system can also identify whether the problem is dependence, failure to span, or both.

Worked Example: A Nonstandard Basis and Its Coefficients

Determine whether \(\mathbf{v}_1=(1,1,0)^{\top}\), \(\mathbf{v}_2=(0,1,1)^{\top}\), and \(\mathbf{v}_3=(1,0,1)^{\top}\) form a basis of \(\mathbb{R}^3\). If they do, express \(\mathbf{b}=(2,3,4)^{\top}\) as a combination of them.

Place the vectors in the columns of \(\mathbf{A}\). Subtract row 1 from row 2, then subtract the new row 2 from row 3. Scale row 3 by \(\tfrac12\), and clear the entries above its pivot:

$$ \begin{bmatrix}1&0&1\\1&1&0\\0&1&1\end{bmatrix} \sim \begin{bmatrix}1&0&1\\0&1&-1\\0&1&1\end{bmatrix} \sim \begin{bmatrix}1&0&1\\0&1&-1\\0&0&2\end{bmatrix} \sim \begin{bmatrix}1&0&1\\0&1&-1\\0&0&1\end{bmatrix} \sim \begin{bmatrix}1&0&0\\0&1&0\\0&0&1\end{bmatrix}. $$

The final matrix is \(\mathbf{I}_3\), so the square-matrix basis test proves that the three columns form a basis. To find the coefficients for \(\mathbf{b}\), solve \(\mathbf{A}\mathbf{c}=\mathbf{b}\) by reducing the augmented matrix. The same row operations give

$$ \begin{bmatrix}1&0&1&2\\1&1&0&3\\0&1&1&4\end{bmatrix} \sim \begin{bmatrix}1&0&1&2\\0&1&-1&1\\0&1&1&4\end{bmatrix} \sim \begin{bmatrix}1&0&1&2\\0&1&-1&1\\0&0&2&3\end{bmatrix} \sim \begin{bmatrix}1&0&1&2\\0&1&-1&1\\0&0&1&\tfrac32\end{bmatrix}. $$

Now add row 3 to row 2 and subtract row 3 from row 1. The result gives \(c_1=\tfrac12\), \(c_2=\tfrac52\), and \(c_3=\tfrac32\). Thus \(\mathbf{b}=\tfrac12\mathbf{v}_1+\tfrac52\mathbf{v}_2+\tfrac32\mathbf{v}_3\).

Check: \(\tfrac12\mathbf{v}_1+\tfrac52\mathbf{v}_2+\tfrac32\mathbf{v}_3=(\tfrac12+\tfrac32,\;\tfrac12+\tfrac52,\;\tfrac52+\tfrac32)^{\top}=(2,3,4)^{\top}=\mathbf{b}\).

When a List Is Not a Basis

A list can fail the basis definition in either of two ways: it can be dependent, so it contains redundancy, or it can fail to span, so some vectors cannot be built from it. For a square list in \(\mathbb{R}^n\), the pivot test detects failure of the basis condition. A concrete example makes both possible failures visible.

Worked Example: A Dependent List That Does Not Span

Consider \(\mathbf{u}_1=(1,0,0)^{\top}\), \(\mathbf{u}_2=(0,1,0)^{\top}\), and \(\mathbf{u}_3=(1,1,0)^{\top}\) in \(\mathbb{R}^3\). Decide whether this list is a basis.

The matrix with these columns is already in RREF:

$$ \begin{bmatrix}1&0&1\\0&1&1\\0&0&0\end{bmatrix}. $$

There is no pivot in column 3, so the list is not a basis. The missing pivot also corresponds to the dependence relation \(-\mathbf{u}_1-\mathbf{u}_2+\mathbf{u}_3=\mathbf{0}\). Checking directly, \(-(1,0,0)^{\top}-(0,1,0)^{\top}+(1,1,0)^{\top}=(0,0,0)^{\top}\), with coefficients not all zero. The list also does not span \(\mathbb{R}^3\): every combination has third coordinate \(0\), so, for example, \(\mathbf{e}_3=(0,0,1)^{\top}\) is not in its span.

Check: each listed vector has third coordinate \(0\), and any linear combination of them also has third coordinate \(0\). Since \(\mathbf{e}_3\) has third coordinate \(1\), it cannot be such a combination.

Common Pitfall: Entries Are Not Always Basis Coefficients

For the standard basis, a vector’s entries are its coefficients because each coordinate direction has a \(1\) in just one position. For a nonstandard basis, it is generally wrong to read the vector’s entries directly as the coefficients. In the preceding nonstandard-basis example, taking \((2,3,4)^{\top}\) itself as the coefficient vector would give the incorrect calculation

$$ 2\mathbf{v}_1+3\mathbf{v}_2+4\mathbf{v}_3 =(2+4,\;2+3,\;3+4)^{\top} =(6,5,7)^{\top}, $$

which is not \((2,3,4)^{\top}\). The correction is to solve \(\mathbf{A}\mathbf{c}=\mathbf{b}\), using the proposed basis vectors as the columns of \(\mathbf{A}\). Here that calculation gives \(\mathbf{c}=(\tfrac12,\tfrac52,\tfrac32)^{\top}\), and multiplying back verifies the answer.

When checking a proposed basis, keep the two conditions distinct. A dependence relation disproves independence; a vector outside the span disproves spanning. For a square list, the row-reduction test provides a systematic decision, while a direct multiplication or a dependence relation is a useful check on a particular conclusion.

Check Your Understanding

For each proposed list, use the definition and, where appropriate, row reduction to justify your answer.

  1. Write \((3,0,-2,5)^{\top}\) as a combination of the standard basis vectors of \(\mathbb{R}^4\).
  2. Do \((1,0,1)^{\top}\), \((0,1,1)^{\top}\), and \((1,1,0)^{\top}\) form a basis of \(\mathbb{R}^3\)? Form the matrix with these vectors as columns.
  3. For the basis \((\mathbf{v}_1,\mathbf{v}_2,\mathbf{v}_3)\) in the worked example, find coefficients expressing \((1,2,3)^{\top}\) as a linear combination of the basis vectors.
  4. Give a nonzero dependence relation for \((1,0,0)^{\top}\), \((0,1,0)^{\top}\), and \((1,1,0)^{\top}\), and name a vector in \(\mathbb{R}^3\) that is not in their span.

Test yourself: Linear Algebra final exam practice

Ready to check what you know? Work a full-length practice final, then open the complete worked solutions.

Want all 1,114 practice problems?

This tutorial covers one topic. Calc Pass covers the full Calculus AB & BC curriculum (the core of Calculus I and II): full review, every practice question, and step-by-step solutions to each one.

QR code to download the Calc Pass app

Get the Calc Pass App

Scan to download and practice on the go, with instant scoring.

Calc Pass Volume 1: 1,114 Practice Questions book cover

Vol. 1: 1,114 Questions

The complete practice question bank, organized by AB & BC topic.

View on Amazon
Calc Pass Volume 2: Solutions Manual book cover

Vol. 2: Solutions Manual

Fully worked solutions to every question in Volume 1.

View on Amazon