Use the convention that the Hermitian inner product is conjugate-linear in its first argument and linear in its second. In orthonormal coordinates, . It satisfies conjugate symmetry, sesquilinearity and positive definiteness. Expanding in the orthonormal basis gives
Applying the Hermitian inner product and yields
This identifies exactly where complex conjugation enters; replacing the first factor by would generally be wrong under this convention.
Use the point and the orthonormal basis of directions in the cutting plane
Both vectors are orthogonal to the normal vector , so every point of the plane has unique coordinates
Substituting into the cone equation gives
Consequently the intersection has equation
Because these are orthonormal coordinates, their lengths are the actual lengths in the plane. Thus this is an ellipse with semi-major axis and semi-minor axis , not merely a projected ellipse. By a, its eccentricity is
First use the preceding isometry to align the first two points, and put . It remains to align with while fixing . Use orthonormal coordinates in which and , , and write , . The prescribed distances give
Subtracting yields , and then . Therefore is either or its reflection across the line through . In the first case take ; in the second compose with that reflection. Both constructions fix the first two images and send the third point to its required image. The argument also covers three collinear points, when the two possible third images coincide. Thus all three points can be matched by one plane isometry.
First use the preceding isometry to align the first two points, and put . It remains to align with while fixing . Use orthonormal coordinates in which and , , and write , . The prescribed distances give
Subtracting yields , and then . Therefore is either or its reflection across the line through . In the first case take ; in the second compose with that reflection. Both constructions fix the first two images and send the third point to its required image. The argument also covers three collinear points, when the two possible third images coincide. Thus all three points can be matched by one plane isometry.
Unitary operator Created 2026-09-24 Updated 2026-11-05
A unitary operator is a surjective linear isometry between complex inner product spaces. It preserves every inner product, not just the norm of a selected vector:
Its adjoint operator is its inverse function, so
For an operator on one space, both identities have the same identity operator on the right. In finite-dimensional orthonormal bases, its matrix is a unitary matrix; the real counterpart is an orthogonal transformation.
Surjectivity matters in infinite dimension. An isometric embedding can satisfy without satisfying : a proper image leaves some vectors outside its range. A unitary operator instead gives a reversible change of orthonormal coordinates, preserving all lengths and orthogonality.