Construct real rotation planes, distinguish real and complex spectral statements, and prove when an inner product is compatible with multiplication by an imaginary unit.
Open any lesson. Completion records participation; automatic practice checks and human judgment of written arguments are separate. This unit retains its own versioned requirements.
Readiness and preparation
Check your starting point
Try these short questions on paper, then compare your reasoning. They are optional self-checks, not a placement score or a navigation requirement. Use a targeted review when useful and return with your browser’s Back control.
What does an adjoint measure?
Skew-adjointness is relative to a declared inner product, not only a matrix pattern.
Compare reasoning and find a refresher
The adjoint S* satisfies g(Sx,y)=g(x,S*y). For Gram matrix G over the reals, S*=G⁻¹SᵀG. Skew-adjoint means S*=−S.
Turn a real square root of minus the identity into complex scalar multiplication, identify the compatible geometry, and normalize skew rotation blocks without hiding the kernel.
Prove the complex vector-space and Hermitian inner-product constructions with a fixed linear-first convention.
Construct compatible metrics and transform both the operator and its Gram matrix under changes of basis.
Normalize nonzero skew frequencies and prove the exact parity condition for extending across the kernel.