Kernel (matrix) - Basis

Basis

A basis of the null space of a matrix may be computed by Gaussian elimination.

For this purpose, given an m × n matrix A, we construct first the row augmented matrix where I is the n × n identity matrix.

Computing its column echelon form by Gaussian elimination (or any other available method), we get a matrix A basis of the null space of A consists in the non zero columns of C such that the corresponding column of B is a zero column.

In fact, the computation may be stopped as soon as the upper matrix is in column echelon form: the remainder of the computation consists in changing the basis of the vector space generated by the columns whose upper part is zero.

For example, suppose that

A=\left[ \begin{array}{cccccc}
1 & 0 & -3 & 0 & 2 & -8 \\
0 & 1 & 5 & 0 & -1 & 4 \\
0 & 0 & 0 & 1 & 7 & -9 \\
0 & 0 & 0 & 0 & 0 & 0 \end{array} \,\right].

Then

 \left=
\left[\begin{array}{cccccc}
1 & 0 & -3 & 0 & 2 & -8 \\
0 & 1 & 5 & 0 & -1 & 4 \\
0 & 0 & 0 & 1 & 7 & -9 \\
0 & 0 & 0 & 0 & 0 & 0 \\
\hline\\
1 & 0 & 0 & 0 & 0 & 0 \\
0 & 1 & 0 & 0 & 0 & 0 \\
0 & 0 & 1 & 0 & 0 & 0 \\
0 & 0 & 0 & 1 & 0 & 0 \\
0 & 0 & 0 & 0 & 1 & 0 \\
0 & 0 & 0 & 0 & 0 & 1
\end{array}\right].

Putting the upper part in column echelon form by column operations on the whole matrix gives

 \left=
\left[\begin{array}{cccccc}
1 & 0 & 0 & 0 & 0 & 0 \\
0 & 1 & 0 & 0 & 0 & 0 \\
0 & 0 & 1 & 0 & 0 & 0 \\
0 & 0 & 0 & 0 & 0 & 0 \\
\hline\\
1 & 0 & 0 & 3 & -2 & 8 \\
0 & 1 & 0 & -5 & 1 & -4 \\
0 & 0 & 0 & 1 & 0 & 0 \\
0 & 0 & 1 & 0 & -7 & 9 \\
0 & 0 & 0 & 0 & 1 & 0 \\
0 & 0 & 0 & 0 & 0 & 1
\end{array}\right].

The last three columns of B are zero columns. Therefore, the three last vectors of C,

\left,\;
\left,\;
\left

are a basis of the null space of A.

Read more about this topic:  Kernel (matrix)

Famous quotes containing the word basis:

    Had we not loved ourselves at all, we could never have been obliged to love anything. So that self-love is the basis of all love.
    Thomas Traherne (1636–1674)

    The self ... might be regarded as a sort of citadel of the mind, fortified without and containing selected treasures within, while love is an undivided share in the rest of the universe. In a healthy mind each contributes to the growth of the other: what we love intensely or for a long time we are likely to bring within the citadel, and to assert as part of ourself. On the other hand, it is only on the basis of a substantial self that a person is capable of progressive sympathy or love.
    Charles Horton Cooley (1864–1929)

    Knighterrantry is a most chuckleheaded trade, and it is tedious hard work, too, but I begin to see that there is money in it, after all, if you have luck. Not that I would ever engage in it, as a business, for I wouldn’t. No sound and legitimate business can be established on a basis of speculation. A successful whirl in the knighterrantry line—now what is it when you blow away the nonsense and come down to the cold facts? It’s just a corner in pork, that’s all.
    Mark Twain [Samuel Langhorne Clemens] (1835–1910)