Skip to main content

Independence, basis, and dimension

讲座摘要(lecture summary)

What does it mean for vectors to be independent? How does the idea of inde­ pendence help us describe subspaces like the nullspace?

Linear independence

Suppose AA is an mm by nn matrix with m<nm\,<n (so Ax=bA\mathbf{x}=\mathbf{b} has more unknowns than equations). AA has at least one free variable, so there are nonzero solutions to Ax=0A\mathbf{x}=\mathbf{0} . A combination of the columns is zero, so the columns of this AA are dependent.

We say vectors x1,x2,...xn\mathbf{x}_{1},\mathbf{x}_{2},...\mathbf{x}_{n} are linearly independent (or just independent) if c1x1+c2x2++cnxn=0c_{1}\mathbf{x}_{1}+c_{2}\mathbf{x}_{2}+\cdot\cdot\cdot+c_{n}\mathbf{x}_{n}=\mathbf{0} only when c1,c2,...,cnc_{1},c_{2},...,c_{n} are all 0. When those vectors are the columns of AA , the only solution to Ax=0A\mathbf{x}=\mathbf{0} is x=0\mathbf{x}=\mathbf{0} .

Two vectors are independent if they do not lie on the same line. Three vectors are independent if they do not lie in the same plane. Thinking of AxA\pmb{x} as a linear combination of the column vectors of AA , we see that the column vectors of AA are independent exactly when the nullspace of AA contains only the zero vector.

If the columns of AA are independent then all columns are pivot columns, the rank of AA is nn , and there are no free variables. If the columns of AA are dependent then the rank of AA is less than nn and there are free variables.

Spanning a space

Vectors v1,v2,...vk\mathbf{v}_{1},\mathbf{v}_{2},...\mathbf{v}_{k} span a space when the space consists of all combinations of those vectors. For example, the column vectors of AA span the column space of AA .

If vectors v1,v2,...vk\mathbf{v}_{1},\mathbf{v}_{2},...\mathbf{v}_{k} span a space SS , then SS is the smallest space containing those vectors.

Basis and dimension

A basis for a vector space is a sequence of vectors v1,v2,...vd\mathbf{v}_{1},\mathbf{v}_{2},...\mathbf{v}_{d} with two properties:

  • v1,v2,...vd\mathbf{v}_{1},\mathbf{v}_{2},...\mathbf{v}_{d} are independent
  • v1,v2,...vd\mathbf{v}_{1},\mathbf{v}_{2},...\mathbf{v}_{d} span the vector space.

The basis of a space tells us everything we need to know about that space.

Example: R3\mathbb{R}^{3}

One basis for R3\mathbb{R}^{3} is {[100],[010],[001]}\left\{ {\left[ \begin{array}{l}{1}\\ {0}\\ {0}\end{array}\right]},{\left[\begin{array}{l}{0}\\ {1}\\ {0}\end{array}\right]},{\left[\begin{array}{l}{0}\\ {0}\\ {1}\end{array}\right]}\right\} . These are independent because:

c1[100]+c2[010]+c3[001]=[000]c_{1}\left[\begin{array}{l}{1}\\ {0}\\ {0}\end{array}\right]+c_{2}\left[\begin{array}{l}{0}\\ {1}\\ {0}\end{array}\right]+c_{3}\left[\begin{array}{l}{0}\\ {0}\\ {1}\end{array}\right]=\left[\begin{array}{l}{0}\\ {0}\\ {0}\end{array}\right]

is only possible when c1=c2=c3=0c_{1}=c_{2}=c_{3}=0 . These vectors span R3\mathbb{R}^{3} .

As discussed at the start of Lecture 10, the vectors [112],[225]\left[{\begin{array}{c}{1}\\ {1}\\ {2}\end{array}}\right],\left[{\begin{array}{c}{2}\\ {2}\\ {5}\end{array}}\right] and [338]\left[{\begin{array}{c}{3}\\ {3}\\ {8}\end{array}}\right] do not form a basis for R3\mathbb{R}^{3} because these are the column vectors of a matrix that has two identical rows. The three vectors are not linearly independent.

In general, nn vectors in Rn\mathbb{R}^{n} form a basis if they are the column vectors of an invertible matrix.

Basis for a subspace

The vectors [112]\left[\begin{array}{l}{1}\\ {1}\\ {2}\end{array}\right] and [225]\left[\begin{array}{l}{2}\\ {2}\\ {5}\end{array}\right] span a plane in R3\mathbb{R}^{3} but they cannot form a basis for R3\mathbb{R}^{3} . Given a space, every basis for that space has the same number of vectors; that number is the dimension of the space. So there are exactly nn vectors in every basis for Rn\mathbb{R}^{n} .

Bases of a column space and nullspace

Suppose:

A=[123111211231].A=\left[{\begin{array}{r r r r}{1}&{2}&{3}&{1}\\ {1}&{1}&{2}&{1}\\ {1}&{2}&{3}&{1}\end{array}}\right].

By definition, the four column vectors of AA span the column space of AA . The third and fourth column vectors are dependent on the first and second, and the first two columns are independent. Therefore, the first two column vectors are the pivot columns. They form a basis for the column space C(A)C(A). The matrix has rank 22. In fact, for any matrix AA we can say:

rank(A)=numberdetpivotcolumnsofA=dimensionofC(A).\operatorname{rank}(A)=\operatorname{number}\det\operatorname{pivot}\operatorname{columns}\operatorname{of}A=\dim\operatorname{ension}\operatorname{of}C(A).

(Note that matrices have a rank but not a dimension. Subspaces have a dimension but not a rank.)

The column vectors of this AA are not independent, so the nullspace N(A)N(A) contains more than just the zero vector. Because the third column is the sum of the first two, we know that the vector [1110]\left[\begin{array}{c}{-1}\\ {-1}\\ {1}\\ {0}\end{array}\right] is in the nullspace. Similarly, [1001]\left[{\begin{array}{r}{-1}\\ {0}\\ {0}\\ {-1}\end{array}}\right] is also in N(A)N(A) . These are the two special solutions to Ax=0A\mathbf{x}=\mathbf{0} . We’ll see that:

dimension ofN(A)=number of free variables=nr,\text{dimension of} \enspace N(A)= \text{number of free variables} \enspace =n-r,

so we know that the dimension of N(A)N(A) is 42=24-2=2 . These two special solutions form a basis for the nullspace.

Problems and Solutions(习题及答案)

Problem 9.1: (3.5 #2. Introduction to Linear Algebra: Strang) Find the largest possible number of independent vectors among:

v1=[1100],v2=[1010],v3=[1001],\mathbf{v}_{1}=\left[\begin{array}{r}{1}\\ {-1}\\ {0}\\ {0}\end{array}\right],\mathbf{v}_{2}=\left[\begin{array}{r}{1}\\ {0}\\ {-1}\\ {0}\end{array}\right],\mathbf{v}_{3}=\left[\begin{array}{r}{1}\\ {0}\\ {0}\\ {-1}\end{array}\right], v4=[0110],v5=[0101]andv6=[0011].\mathbf{v}_{4}=\left[\begin{array}{r}{0}\\ {1}\\ {-1}\\ {0}\end{array}\right],\mathbf{v}_{5}=\left[\begin{array}{r}{0}\\ {1}\\ {0}\\ {-1}\end{array}\right]\,\mathrm{and}\,\,\mathbf{v}_{6}=\left[\begin{array}{r}{0}\\ {0}\\ {1}\\ {-1}\end{array}\right].

Solution

Since v4=v2v1,v5=v3v1,\mathbf{v}_{4}=\mathbf{v}_{2}-\mathbf{v}_{1},\mathbf{v}_{5}=\mathbf{v}_{3}-\mathbf{v}_{1}, and v6=v3v2,\mathbf{v}_{6}=\mathbf{v}_{3}-\mathbf{v}_{2}, the vectors v4,v5,\mathbf{v}_{4},\mathbf{v}_{5}, and v6\mathbf{v}_{6} are dependent on the vectors v1,v2\mathbf{v}_{1},\mathbf{v}_{2} and v3\mathbf{v}_{3} . To determine the relationship between the vectors v1,v2\mathbf{v}_{1},\mathbf{v}_{2} and v3\mathbf{v}_{3} we apply row reduction to the matrix [v1 v2 v3]\left[{\bf v}_{1}~{\bf v}_{2}~{\bf v}_{3}\right] :

[111100010001][111011010001][111011001001][111011001000].\left[{\begin{array}{r r r}{1}&{1}&{1}\\ {-1}&{0}&{0}\\ {0}&{-1}&{0}\\ {0}&{0}&{-1}\end{array}}\right]\longrightarrow\left[{\begin{array}{r r r}{1}&{1}&{1}\\ {0}&{1}&{1}\\ {0}&{-1}&{0}\\ {0}&{0}&{-1}\end{array}}\right]\longrightarrow\left[{\begin{array}{r r r}{1}&{1}&{1}\\ {0}&{1}&{1}\\ {0}&{0}&{1}\\ {0}&{0}&{-1}\end{array}}\right]\longrightarrow\left[{\begin{array}{r r r}{1}&{1}&{1}\\ {0}&{1}&{1}\\ {0}&{0}&{1}\\ {0}&{0}&{0}\end{array}}\right].

As there are three pivots, the vectors v1,v2,\mathbf{v}_{1},\mathbf{v}_{2}, and v3\mathbf{v}_{3} are independent. Therefore the largest number of independent vectors among the given six vectors is three. This will be the rank of the 4 by 6 matrix of v{\bf{v}}^{\prime}s .

Problem 9.2: (3.5 #20.) Find a basis for the plane x2y+3z=0x-2y+3z=0 in R3\mathbb{R}^{3} . Then find a basis for the intersection of that plane with the xyx y plane. Then find a basis for all vectors perpendicular to the plane.

Solution

This plane is the nullspace of the matrix [123]\left[\begin{array}{l l l}{1}&{-2}&{3}\end{array}\right] and also

A=[123000000].A=\left[{\begin{array}{r r r}{1}&{-2}&{3}\\ {0}&{0}&{0}\\ {0}&{0}&{0}\end{array}}\right].

The special solutions to Ax=0A\mathbf{x}=\mathbf{0} are

v1=[210]andv2=[301].{\mathbf{v}}_{1}=\left[{\begin{array}{r}{2}\\ {1}\\ {0}\end{array}}\right]\,{\mathrm{{and}}}\,{\mathbf{v}}_{2}=\left[{\begin{array}{r}{-3}\\ {0}\\ {1}\end{array}}\right].

These form a basis for the nullspace of AA and thus for the plane.

The intersection of this plane with the xyx y plane contains v1\mathbf{v}_{1} and does not contain v2;\mathbf{v}_{2}; the intersection must be a line. Since v1\mathbf{v_{1}} lies on this line it also provides a basis for it.

Finally, we can use “inspection” or the cross product to find the vector

v3=[123],\mathbf{v}_{3}=\left[\begin{array}{r}{1}\\ {-2}\\ {3}\end{array}\right],

which is perpendicular to both v1\mathbf{v}_{1} and v2\mathbf{v}_{2} . It is therefore perpendicular to the plane. Since the space of vectors perpendicular to a plane in R3\mathbb{R}^{3} is one-dimensional, v3\mathbf{v}_{3} serves as a basis for that space.