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:

    The basis on which good repute in any highly organized industrial community ultimately rests is pecuniary strength; and the means of showing pecuniary strength, and so of gaining or retaining a good name, are leisure and a conspicuous consumption of goods.
    Thorstein Veblen (1857–1929)

    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)

    It was the custom
    For his rage against chaos
    To abate on the way to church,
    In regulations of his spirit.
    How good life is, on the basis of propriety,
    To be followed by a platter of capon!
    Wallace Stevens (1879–1955)