全部书籍

专业

应用 关于 Coach 登录 开始阅读

书籍暂未推出简体中文版——当前显示英文版。

Mathematics · 术语表

什么是 Hermitian endomorphism?

又称: unitary group

Definition 13.5 University Mathematics — Year 2 · 第 13 章 — Hermitian Forms

The adjoint u∗u^* of u∈L(E)u \in \mathcal{L}(E) is defined by ⟨u∗(x),y⟩=⟨x,u(y)⟩\langle u^*(x), y\rangle = \langle x, u(y)\rangle; in an orthonormal basis, Mat⁡(u∗)=A‾T=:A†\operatorname{Mat}(u^*) = \conj{A}^{\mathsf T} =: A^{\dagger} (conjugate transpose) — indeed, if B=(bij)B = (b_{ij}) is the matrix of u∗u^* in the orthonormal basis (ei)(e_i), then bij=⟨ei,u∗(ej)⟩b_{ij} = \langle e_i, u^*(e_j)\rangle, and the defining identity gives

bij‾=⟨u∗(ej),ei⟩=⟨ej,u(ei)⟩=aji,soB=A‾T.\conj{b_{ij}} = \langle u^*(e_j), e_i\rangle = \langle e_j, u(e_i)\rangle = a_{ji} , \qquad\text{so}\qquad B = \conj{A}^{\mathsf T} .

uu is Hermitian when u∗=uu^* = u (A†=AA^\dagger = A), unitary when u∗u=idu^*u = \mathrm{id} (A†A=IA^\dagger A = I: the group U(n)U(n)), normal when u∗u=uu∗u^*u = uu^*.

示例

Example 13.7 (A skew-Hermitian matrix, diagonalized)

A=(0−220)A = \begin{pmatrix} 0 & -2\\ 2 & 0\end{pmatrix} satisfies A†=AT=−AA^\dagger = A^{\mathsf T} = -A: skew-Hermitian (also real antisymmetric — over R\R it has no eigenvalues at all). Characteristic polynomial X2+4X^2 + 4: eigenvalues ±2i\pm2\iu, purely imaginary, as Exercise 13.9 predicts in general. Eigenvectors: (A−2iI)v=0(A - 2\iu I)v = 0 gives v1=12(1,i)v_1 = \frac{1}{\sqrt2}(1, \iu), and v2=12(1,−i)v_2 = \frac{1}{\sqrt2}(1, -\iu) for −2i-2\iu; they are orthogonal:

⟨v1,v2⟩=12(1‾⋅1+i‾⋅(−i))=12(1−1)=0.\langle v_1, v_2\rangle = \tfrac12\bigl(\conj{1}\cdot1 + \conj{\iu}\cdot(-\iu)\bigr) = \tfrac12(1 - 1) = 0 .

So A=Udiag⁡(2i,−2i) U†A = U\operatorname{diag}(2\iu, -2\iu)\,U^\dagger with U=(v1 v2)U = (v_1\ v_2) unitary. Closing insight: H=−iA=(02i−2i0)H = -\iu A = \begin{pmatrix} 0 & 2\iu\\ -2\iu & 0\end{pmatrix} is Hermitian with the real spectrum {±2}\{\pm2\} and the same eigenvectors — the bijection u↦iuu \mapsto \iu u between Hermitian and skew-Hermitian endomorphisms (Exercise 13.9), seen matrix by matrix; over R\R the same AA is a rotation-scaling with no eigenvectors at all, and only the passage to C\C reveals its normal form.

Example 13.9

A=(0−ii0)A = \begin{pmatrix} 0 & -\iu\\ \iu & 0\end{pmatrix} is Hermitian (A†=AA^\dagger = A): eigenvalues from χA=X2−1\chi_A = X^2 - 1: ±1\pm 1 (real, as promised), with orthonormal eigenvectors 12(1,i)T\frac{1}{\sqrt2}(1, \iu)^{\mathsf T} and 12(1,−i)T\frac{1}{\sqrt2}(1, -\iu)^{\mathsf T}. (Physicists know AA as a Pauli matrix; the reality of Hermitian spectra is why quantum observables are modeled by Hermitian operators.)

Example 13.10 (A positive definite Hermitian matrix, worked)

A=(21−i1+i3)A = \begin{pmatrix} 2 & 1-\iu\\ 1+\iu & 3\end{pmatrix}: Hermitian, since the diagonal is real and the off-diagonal entries are conjugates. Characteristic polynomial:

(2−λ)(3−λ)−∣1−i∣2=λ2−5λ+4=(λ−1)(λ−4):(2-\lambda)(3-\lambda) - \abs{1-\iu}^2 = \lambda^2 - 5\lambda + 4 = (\lambda - 1)(\lambda - 4) :

spectrum {1,4}\{1, 4\}, real and positive — AA is positive definite. Eigenvectors: for λ=4\lambda = 4, the system (A−4I)v=0(A - 4I)v = 0 gives v4=(1−i, 2)v_4 = (1 - \iu,\ 2) (check the second row: (1+i)(1−i)−2=0(1+\iu)(1-\iu) - 2 = 0); for λ=1\lambda = 1, v1=(1−i, −1)v_1 = (1 - \iu,\ -1). Orthogonality, with the conjugate in the first slot:

⟨v4,v1⟩=(1−i)‾ (1−i)+2‾ (−1)=2−2=0.✓\langle v_4, v_1\rangle = \conj{(1-\iu)}\,(1-\iu) + \conj{2}\,(-1) = 2 - 2 = 0 . \checkmark

Normalizing (∥v4∥2=2+4=6\norm{v_4}^2 = 2 + 4 = 6, ∥v1∥2=2+1=3\norm{v_1}^2 = 2 + 1 = 3) gives the unitary U=(v46 v13)U = \bigl(\frac{v_4}{\sqrt6}\ \frac{v_1}{\sqrt3}\bigr) with A=Udiag⁡(4,1)U†A = U\operatorname{diag}(4,1)U^\dagger. Closing insight: the Rayleigh reading is immediate — on the unit sphere of C2\C^2, ⟨x,Ax⟩\langle x, Ax\rangle ranges over [1, 4]\intcc{1}{4}, attained at the two eigenvectors; this is the n=2n = 2 germ of the Courant–Fischer theory built in the weekend problem. Spot-check that the form is real off the eigenvectors too: at x=(1,i)x = (1, \iu),

Ax=(2+(1−i)i, (1+i)+3i)=(3+i, 1+4i),Ax = \bigl(2 + (1-\iu)\iu,\ (1+\iu) + 3\iu\bigr) = (3 + \iu,\ 1 + 4\iu),
⟨x,Ax⟩=1‾ (3+i)+i‾ (1+4i)=(3+i)+(−i)(1+4i)=3+i−i+4=7∈R,\langle x, Ax\rangle = \conj{1}\,(3+\iu) + \conj{\iu}\,(1+4\iu) = (3 + \iu) + (-\iu)(1 + 4\iu) = 3 + \iu - \iu + 4 = 7 \in \R ,

as Proposition 13.6’s proof mechanism (conjugate-symmetry against A†=AA^\dagger = A) guarantees for every xx.

在原文中阅读 →