For real scalars and matrices , distributivity of matrix multiplication and linearity of the trace give
Thus is linear in its first argument.
Expand the trace by matrix entries:
Hence . Combined with part (a), this makes a symmetric bilinear form.
For , take the matrix whose leading block is and whose other entries are zero. Its square has leading block , so
This contradicts the positive definiteness required of an inner product. Even the nonzero matrix unit has .
The printed assertion has an exception: when , is an inner product on . Thus the requested failure requires , a restriction absent from the printed question.
Interpret diagonalizability over the specified underlying field . Write with real eigenvalues. Invariance of the trace under similarity gives
If is diagonalizable, at least one eigenvalue is nonzero, proving . Real diagonalizability is essential: the rotation block from part (c) is diagonalizable over but has eigenvalues and negative trace of its square.
Let be the matrix unit having its only nonzero entry, one, in position . Direct multiplication gives . If , every such pairing vanishes, forcing every entry to be zero. Conversely, zero pairs to zero with every matrix. Thus
The matrix trace pairing is therefore a nondegenerate bilinear form, despite its failure to be positive definite when .

Articles by others on the same topic (0)

There are currently no matching articles.