Kunze Linear Algebra · Problem 8.1.17

A conjugation $J$ is an antilinear involution that lets you "fold" a complex vector space along a real subspace $W$—the fixed points of $J$. Part (a) asks whether an inner product on that real core $W$ extends uniquely to all of $V$ while respecting the conjugation structure. The key insight is that any vector in $V$ can be written in terms of $W$ and $J$, so specifying $g$ on $W$ and demanding it's compatible with $J$ (via the condition in part b) forces a unique extension. This reveals how real inner products on $\mathbb{R}^n$ embed into complex inner products on $\mathbb{C}^n$: the real space is the fixed points of complex conjugation, and the standard real dot product extends uniquely to the standard Hermitian form.

A conjugation $J$ is an antilinear involution that lets you "fold" a complex vector space along a real subspace $W$—the fixed points of $J$. Part (a) asks whether an inner product on that real core $W$ extends uniquely to all of $V$ while respecting the conjugation structure. The key insight is that any vector in $V$ can be written in terms of $W$ and $J$, so specifying $g$ on $W$ and demanding it's compatible with $J$ (via the condition in part b) forces a unique extension. This reveals how real inner products on $\mathbb{R}^n$ embed into complex inner products on $\mathbb{C}^n$: the real space is the fixed points of complex conjugation, and the standard real dot product extends uniquely to the standard Hermitian form.