For a linear map , its kernel and image of a linear map are
The kernel is a subspace of the domain and the image a subspace of the codomain. Given the stated bases, define the matrix of a linear map by
Its th column is the coordinate vector of ; if , the output coordinates are .
For the change of basis, write and . The matrices are invertible. Input coordinates change by and output coordinates by , so
The domain and codomain basis changes need not be the same matrix.
For , the two input vectors form a basis of , so its image is the span of and . The vector is orthogonal to both, since . Every possible output therefore satisfies , whereas the target itself is and . Hence there is no with the required output. This uses an image obstruction by an annihilating functional, rather than an inconsistent guessed input.
For , use the input basis , , . Its determinant is , so it is genuinely a basis. Write . Then
Substitution back into physical coordinates gives
For a direct check, its standard matrix is , which annihilates exactly that line.
For a Cartesian change of basis represented by an orthogonal matrix , vectors transform as and . Their squared norms are invariant and . Substitution into the given expression therefore gives
the transformation law of a Cartesian second-rank tensor. The magnetic field's extra axial sign under an improper physical reflection, if included, appears twice and cancels in its quadratic contribution.
Write the Maxwell stress tensor as . Its divergence is
The identity follows by contracting two Levi-Civita symbols, or directly by differentiating components. Using Maxwell's equations consequently yields
Hence the local conservation of electromagnetic momentum is
The two subtracted terms are the Lorentz force density, while is the electromagnetic momentum density in the units used here.
Let have the corresponding basis vectors as columns in standard coordinates. From the PDF,
The matrix representation of a linear map in standard coordinates is . The change of basis formula therefore gives
Multiplication yields
By the real spectral theorem, the real symmetric matrix has an orthonormal basis of eigenvectors. In that basis the associated quadratic form is
Rescaling the coordinates belonging to nonzero eigenvalues changes every positive coefficient to and every negative coefficient to . Hence the diagonal normal form has one positive square for each positive eigenvalue and one negative square for each negative eigenvalue. By Sylvester's law of inertia, these counts do not depend on the diagonalizing basis, so
The numerical eigenvalues are not invariant under a general change of basis, because the matrix changes by congruence rather than similarity. For example, on a one-dimensional space let . Its matrix in the basis is , whereas in the basis it is . The eigenvalue changes from to , although its sign, and therefore the signature, is unchanged.
Let satisfy for every vector . If there is nothing to prove. Otherwise choose with . For every and every real number ,
so the hypothesis gives . Taking two values of shows that . Since
we obtain . Thus one of the two linear functionals is zero.
Sylvester's law of inertia says that, in a suitable basis, every real quadratic form is
The rank is , and the signature is ; both are independent of the chosen basis.
If , its polar form has image contained in , so . If , the two functionals must be independent and, after taking their sum and difference, is a difference of two squares. Hence . If , then . In every case,
Conversely, this inequality leaves only
up to a linear change of coordinates. These factor respectively as , , and . Therefore
Finally suppose that takes both positive and negative values. Sylvester's law supplies normalized basis vectors
with , , and the spanning the radical. The vectors
are linearly independent and all satisfy . They form the required basis of isotropic vectors.