For this tripotent linear operator, the relation gives . Since , there is with , and that nonzero vector belongs to . Hence . Also , because would imply . The rank-nullity theorem in dimension three therefore gives
Now suppose . Then is a line. On this line, is the identity operator: if , then . Consequently acts on this line by a scalar satisfying . If , then for every , contrary to . Thus .
Choose a nonzero , so . It does not belong to . A basis of , followed by , is therefore a basis of , in which
If with , then if and only if , so their kernels agree. Conversely, suppose both nonzero linear functionals have kernel . Choose with , by scaling a vector on which is nonzero. For each ,
Therefore . Moreover , since . Thus , with a nonzero scalar.
Every nonzero linear functional is surjective, so its kernel has dimension by the rank-nullity theorem. Conversely, every hyperplane is such a kernel: extend a basis of by one vector , and assign value zero on that basis and value one on . Hence the hyperplanes containing are exactly the kernels of the nonzero linear functionals counted above. Each kernel occurs for exactly of them, its distinct nonzero scalar multiples. The required number is
A scalar is an eigenvalue of if and only if there is a nonzero vector with . By the preceding kernel criterion,
The last condition is , exactly the definition of a polynomial root. For a real matrix, this proves the assertion for real eigenvalues; the same proof over the complex numbers gives the usual complex version.
Let be a skew-symmetric matrix. For every real vector , the real scalar equals its own transpose, but
Hence . If is a real eigenvector equation with , it follows that
so . If is a diagonalisable matrix over , it has a real basis of eigenvectors, all with eigenvalue zero. Thus vanishes on a basis and .
The field matters: a nonzero real skew-symmetric matrix can be a diagonalisable matrix over the complex numbers, for example with eigenvalues .
Compute the characteristic polynomial using :
Its three distinct real roots are and . For , the first row of gives and the second then gives , so take .
For either root of , take and solve the row equations to get . Substitution makes the first two row residuals opposite multiples of the quadratic equation and the third zero. Thus a complete choice is
Every nonzero scalar multiple is another valid eigenvector in the corresponding one-dimensional eigenspace.
Let . Taking a dot product with reduces the vector equation to . If , this determines a unique scalar and hence a unique vector:
Direct substitution verifies it, so necessity has also produced sufficiency. The formula includes , when .
If , the reduced scalar equation becomes . When , there is no solution. When , all solutions are with arbitrary : their dot product with is indeed . Since forces , this is an entire affine line, not a single point. These alternatives are the solvability of an affine rank-one vector equation.
As printed, the function is undefined at the origin. For , its gradient is
The scalar prefactor is positive, and , so this gradient never vanishes. Thus there are no stationary points on the stated domain. Its infimum is three, approached as , but that value is not attained there.
If the intended definition includes the natural extension , that extension has a unique strict global minimum at the origin, with value three. Indeed, off zero, and proves differentiability at zero with zero gradient. More strongly, subtracting three gives the radial Gaussian flat function: every derivative of that difference vanishes at the origin. The vanishing Hessian matrix does not turn this minimum into an inflection point. These are two different domain interpretations; the extension must be stated rather than silently inserted.
The first field is , so direct curl calculation gives
It is not conservative because its curl is nonzero. The second is a radial gradient field:
The scalar expression is a smooth function and single-valued on all of space, so is a conservative vector field. Its potential of a conservative vector field is . Parts (a) and (b) check path dependence directly.
The characteristic polynomial is
For , the eigenvector equation reduces to ; for , it reduces to . Choose the following unit vectors consistently for the remaining parts:
Each eigenspace consists of all scalar multiples of its displayed vector, including zero; an eigenvector itself must be nonzero.
If the form is for a scalar function with continuous second partial derivatives, then and . Equality of the mixed partial derivatives therefore requires
This is necessary for an exact differential. For continuously differentiable coefficients on a simply connected open domain it is also sufficient; on a domain with holes, the equality alone need not give a single-valued global potential.
The scalar integrand still equals throughout the unit sphere, and the upper hemisphere has the same surface area . Excluding its equator changes no area. Therefore
There is no sign reversal between hemispheres because this scalar surface integral has no choice of normal orientation.
Writing , the gradient is . Its divergence, equivalently the Laplacian of , is
On the unit sphere this scalar is the constant . The lower hemisphere has surface area , so
This is a scalar surface integral of the divergence, not the electric- or vector-field flux integral. There is no normal component to insert.
Let and . Their cross partial derivatives agree: . More directly, construct the scalar function
This exhibits the expression as an exact differential. Along a solution of the differential equation,
Thus the general solution is
For , the graph also extends smoothly through and satisfies the original, undivided equation there. Nonzero cannot extend through zero as a finite-valued differentiable solution. The extra vertical component of the implicit zero-level equation is not a graph on an interval and is not an additional solution of this ordinary differential equation.
With , substitute into the plane constraints. They become and , giving
The Pythagorean theorem for the two orthogonal terms in then gives the closest distance
Zero values of either scalar are allowed, including zero distance if both planes contain the origin.
For , the positive constant- surfaces in elliptic cylindrical coordinates satisfy
They are confocal elliptic cylinders with focal lines . For a generic fixed , eliminating gives
Because , a fixed selects the half-branch with the signs of and fixed by and . These are hyperbolic cylinders. The degenerate surface is , , extended in . At the cross-sections are the two exterior horizontal rays; at they are vertical half-axes.
Figure 1.
Confocal elliptic and hyperbolic coordinate curves
. Original cross-section with focal points marked. Ellipses are constant-u curves and the hyperbola half-branches are constant-v curves; extruding in z gives their coordinate surfaces. Details.
Differentiate the position vector to get the coordinate tangent vectors
Their pairwise dot products vanish. Their squared lengths are , and one. This proves orthogonality and gives the scale factors of orthogonal coordinates:
The Riemannian metric is . Away from the focal lines, divide the coordinate tangent vectors by their lengths to obtain the local orthonormal unit vectors . For physical vector field components , the formulas for vector calculus in elliptic cylindrical coordinates are
The gradient of a scalar function has components . Apply the divergence formula to this gradient; Laplace's equation becomes
The formulas apply where ; the focal lines require a limit or another coordinate chart.
If for a Hermitian matrix and a nonzero eigenvector, then . The scalar on the left equals its complex conjugate because , while . Thus is real. If also , then
Consequently distinct eigenvalues force , proving orthogonality of their eigenvectors.
For a unitary matrix, preserves the norm induced by the standard Hermitian inner product. If with , then , so .
An isotropic tensor has unchanged components under every proper rotation of the Cartesian axes. Every rank-zero scalar is isotropic, and is a rank-two example. The zero rank-one tensor is isotropic, but no nonzero vector is: a half-turn about an axis perpendicular to it reverses its sign.
For the inertia tensor, write and , so . Expand its defining integrand. Every cross term has an integral containing by the definition of the centre of mass. The remaining terms give the tensor parallel-axis theorem:
For a uniform unit ball, rotational symmetry gives . Its trace is , so and . Therefore
Assuming positive mass, it is isotropic exactly when . For , its eigenvalues and directions are
To give an explicit orthonormal eigenbasis when , take and . If is a nonzero vector along the third axis, take the first two coordinate unit vectors instead. At , all three eigenvalues are and every orthonormal basis works. The inertia tensor of a displaced uniform ball describes the same result for an arbitrary radius.