Independence, Basis and Dimension

May 27, 2019

These notes formalize some concepts on spaces and dimensions of a subspace of a matrix. If you find any of them not intuitive, I suggest you to watch the video of this lecture.

Independence

Definition: vectors are independent if

is true only when . This means that only the zero vector is the solution to when constitute the columns of .

Span a space

Vectors span a space means the space consist of all linear combinations of these vectors. (These two expression are equivalent)

Basis

A basis for a space is a sequence of vectors that has these properties:

  1. They are independent
  2. They span the space

One basis for is

they are independent of each other and span the whole . Clearly there are other bases, like multiply the above basis by two. In fact there’re infinitely many bases for a space. But these bases share one thing in common: they all have same number of vectors. This number is the dimension of that space. Like has dimension 3. There’re exactly vectors in .

Basis of a column space and nullspace

We use the new language spanning to describe the column space. Before we said the column space of a matrix is the linear combinations of its column. Here we say the columns of span . But these columns are not necessarily the basis of . When they are not independent, they are not the basis. This happens when , the number of columns are greater or equal to the number of rows. For instance:

c4 is the same as c1, and c3 is equal to c1+c2 in this matrix. So we only need the first two vectors to form the basis of . In other words, the pivot columns in the matrix (not the reduced matrix or ) are the basis for the column space.

One more thing is that we have discussed

right now,

The dimension of is equal to how many pivot columns we have for . And since

what’s left after we subsract from the dimension of column space forms the null space, that is

The basis for the nullspace is then the free columns (where the free variables are).

Independence, Basis and Dimension - May 27, 2019 - Ruizhen Mai