The complex line integral along the smooth parametrized curve is
For the reversed curve, the chain rule gives . Substitution yields
Consequently reversing orientation negates the complex line integral.
A set is compact if every open cover of it has a finite subcover. Let be compact and let cover their union. For each , the same family covers , so compactness supplies a finite subfamily covering . The union of these finitely many finite subfamilies is finite and covers . Hence a finite union of compact sets is compact.
An arbitrary union need not be compact. Each singleton , , is compact, but their union has the open cover with no finite subcover. Every member covers only one positive integer, so finitely many leave infinitely many integers uncovered.
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 .
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.
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.
Expand the trace by matrix entries:
Hence . Combined with part (a), this makes a symmetric bilinear form.
For real scalars and matrices , distributivity of matrix multiplication and linearity of the trace give
Thus is linear in its first argument.
The polynomial annihilates by idempotence, so the minimal polynomial divides it. If , its monic polynomial of smallest positive degree is . If , both eigenvalues zero and one occur, so both factors must divide every annihilating polynomial. Therefore
If with , applying gives , hence . The kernel is nonzero since , so zero always occurs. One occurs exactly when the image is nonzero. Thus the eigenvalue set is if , and otherwise. Their algebraic multiplicities are and respectively.
In the adapted basis from part (a), the matrix has diagonal entries equal to one and equal to zero. With the characteristic polynomial convention ,
The characteristic polynomial is independent of the choice of basis.
Every vector decomposes as , where and . If lies in both the image and kernel, write to obtain . Thus
and is the projection onto its image along its kernel. It is the identity on its image and zero on its kernel. Let and . A basis adapted to this direct sum gives matrix . Since is not the identity, , and therefore
The modulus map is continuous, the denominator is positive everywhere, and sums, products and quotients with nonzero denominator preserve continuity. Hence is continuous throughout .
For , , so as . The chosen argument is continuous locally away from the negative real axis, making continuous there as well. At a point , , approach along . From , ; from , . The value assigned on the cut is . Thus is discontinuous at every strictly negative real point, and therefore is not a continuous map on the entire complex plane. Its radial factor is , as printed, rather than the of a square root.
Applying the derivative rule twice and using both zero initial data gives
so . By the convolution theorem for Laplace transforms,
Use the product-to-sum identity to integrate:
It satisfies , and differentiation gives . The term proportional to is the resonant response of the forced harmonic oscillator.

There are unlisted articles, also show them or only show them.