Past exam of the mathematical methods I course of the University of Oxford 2017 resit 9 b Solution 2026-10-25
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 givesApplying the Hermitian inner product and yieldsThis 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 planeBoth vectors are orthogonal to the normal vector , so every point of the plane has unique coordinatesSubstituting into the cone equation givesConsequently the intersection has equationBecause 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 giveSubtracting 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 giveSubtracting 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, soFor 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.