Hermitian operator ($T=T^{\ast }$)

A bounded operator $T:H\to H$ on a real or complex Hilbert space is Hermitian, or self-adjoint, when $T=T^{\ast }$. Equivalently,Its directional values $q_T(x)=⟨Tx,x⟩$ are real, since this identity makes $q_T(x)$ equal its complex conjugate. Reality allows either sign; a positive operator additionally requires nonnegative values in every direction.

The diagram compares Hermitian quadratic forms along paths of unit vectors. The Hermitian matrix $D=\mathrm{diag}(1,-1)$ takes the values $1$ and $-1$ on the standard basis vectors; $P=\mathrm{diag}(1,0)$ takes the values $1$ and $0$; andsatisfies $H{e}_1=e_1$ and $H{e}_3=3e_3$. These eigenvectors form an orthonormal basis, and every $x=a{e}_1+b{e}_3$ has $q_H(x)=|a{|}^2+3|b{|}^2$. Thus $H$ is a positive operator, with eigenvalues $1,3$ and operator norm $3$.

Three conditions describe different geometry. A Hermitian operator satisfies $T=T^{\ast }$; a normal operator satisfies $T^{\ast }T=T{T}^{\ast }$; a unitary operator satisfies $T^{\ast }T=T{T}^{\ast }=I$, where $I$ is the identity operator. Every Hermitian operator and every unitary operator is a normal operator. Concrete matrices separate the conditions:

The spectrum of a bounded Hermitian operator is real. In finite dimension, the spectral theorem supplies an orthonormal basis of eigenvectors, turning its action into independent real scalings. This makes the geometry easy to interpret: each eigenvalue records a signed response along an orthogonal direction. An arbitrary bounded Hermitian operator in infinite dimension need not have any eigenvectors; the general spectral theorem uses a projection-valued measure. MIT's lecture 21 develops the real spectrum and the orthogonality of eigenspaces.^[ref]

A historical connection is the study of forms with conjugate variables. In his 1901 account of Charles Hermite's work, Camille Jordan describes these forms and emphasizes their role in reducing forms with real or complex coefficients. In today's notation, $x^{\ast }Hx$ is the diagonal value of a Hermitian form; the conjugate variables make a real-valued expression possible even with complex coefficients.^[ref]

For a densely defined operator outside this bounded setting, the displayed pairing identity alone defines a symmetric operator. A self-adjoint operator must also have the same operator domain as its adjoint operator.

A bounded Hermitian operator determines a Hermitian form $b_T(x,y)=⟨Tx,y⟩$ and its real-valued diagonal expression $q_T(x)=b_T(x,x)$. On a complex Hilbert space,Thus it is a quadratic form on the underlying real vector space; it is generally not a quadratic form over the complex field, whose scaling rule would involve ${\alpha }^2$. This distinction explains why replacing $x^{\ast }$ by $x^{\mathrm{T}}$ loses the geometry of a complex inner product.

For a finite-dimensional Hermitian operator with an orthonormal basis of eigenvectors $e_j$ and corresponding eigenvalues ${\lambda }_j$, the spectral theorem givesFor a unit vector, this is an average of the eigenvalues with nonnegative weights summing to one. It is also the Rayleigh quotient, so its minimum and maximum are the smallest and largest eigenvalues.

In the Hermitian operator diagram, take $x(\theta )=(\cos \theta ,\sin \theta {)}^{\mathrm{T}}$ for $D,P$, and $x_H(\theta )=\cos \theta e_1+\sin \theta e_3$ for $H$. The computed curves areThese paths illustrate the extremal values; the spectral theorem supplies the bounds for every complex unit vector, including those outside the plotted paths.

The Hermitian part of a square matrix is half its sum with its conjugate transpose. It is a Hermitian matrix and satisfies $\mathrm{Re}(x^{\ast }Ax)=x^{\ast }Hx$. Its largest eigenvalue is the numerical abscissa, controlling instantaneous growth of the Euclidean norm under $x^{\prime }=Ax$.

For a complex $n\times n$ matrix $B$, the real linear map $A\mapsto BA{B}^{\ast }$ on the $n^2$-dimensional real vector space of Hermitian matrices has determinant $|\det B{|}^{2n}$. A real basis of Hermitian matrices is also a complex basis of all matrices, so the matrix of this restriction equals the matrix of the complex-linear congruence map. Left and right multiplication separately have determinants $(\det B{)}^n$ and $(\overline{\det B}{)}^n$.

A bounded Hermitian operator $T$ on a Hilbert space is positive, also called a positive semidefinite operator, whenThe value must be real as well as nonnegative. This permits zero values on nonzero vectors: the zero linear operator is positive. For a bounded Hermitian operator, positivity is equivalent to its spectrum being contained in $[0,\infty )$; in finite dimension, this is the condition that all eigenvalues are nonnegative.^[ref]

The Hermitian operator diagram separates three cases. $D=\mathrm{diag}(1,-1)$ is self-adjoint but not positive, because $q_D((0,1{)}^{\mathrm{T}})=-1$. The orthogonal projection $P=\mathrm{diag}(1,0)$ is positive semidefinite, with $q_P(x)=|x_1{|}^2$, but is not strictly positive on every nonzero vector. The complex Hermitian matrix $H=\left(\begin{array}{cc}2& i\\ -i& 2\end{array}\right)$ is positive definite because $q_H(a{e}_1+b{e}_3)=|a{|}^2+3|b{|}^2>0$ whenever $(a,b)\ne (0,0)$. For real symmetric matrices, MIT's lecture 27 relates these tests to the geometry of quadratic forms and their minima.^[ref]

A fundamental source of positive operators is $T^{\ast }T$ for a bounded linear operator $T:H\to K$:For the complex matrix $T=\left(\begin{array}{cc}1& i\\ 2& 1-i\end{array}\right)$ used above,Its eigenvalues are $4-\sqrt{6}$ and $4+\sqrt{6}$, both positive. Positivity organizes the squared error minimized by a least-squares solution: the same $T^{\ast }T$ occurs in the normal equation for a linear inverse problem. The positive square root of an operator gives the converse squared-length description, $q_T(x)=\Vert T^{1/2}x{\Vert }^2$ for every bounded positive operator $T$.

On a real Hilbert space, nonnegativity of $⟨Tx,x⟩$ alone does not imply self-adjointness, so the Hermitian operator hypothesis is part of the definition. On a complex Hilbert space, real-valuedness of all these expressions already forces self-adjointness by the polarization identity.

Strict positivity and a uniform positive lower bound also differ in infinite dimension. On the l2 sequence space, the bounded Hermitian operator $(Tx{)}_n=x_n/n$ satisfiesConsequently no $\gamma >0$ satisfies $q_T(x)\ge \gamma \Vert x{\Vert }^2$ for every $x$. Compare the positive definite symmetric operator and uniformly positive definite symmetric operator conditions.

For bounded positive operators $S,T$, membership $x\in \ker (S+T)$ gives $0=⟨Sx,x⟩+⟨Tx,x⟩$. Both terms are nonnegative, so both vanish. The Cauchy-Schwarz inequality for a positive operator makes $Sx=Tx=0$. The reverse inclusion is immediate. Commutativity is not required.

For a bounded positive operator $T$, the form $B(x,y)=⟨Tx,y⟩$ is positive semidefinite and Hermitian. Expanding $B(x+ty,x+ty)\ge 0$ for complex $t$ and minimizing its quadratic polynomial gives the displayed inequality. If $B(y,y)=0$, varying $t$ along the negative direction of $B(x,y)$ forces $B(x,y)=0$, covering the degenerate case. In particular $⟨Tx,x⟩=0$ implies $Tx=0$, by testing against arbitrary $y$.

A symmetric operator $L$ on a real Hilbert space is strictly positive definite when $⟨Lv,v⟩>0$ for every nonzero $v$ in its operator domain. Strict positivity proves uniqueness of a solution of $Lu=f$, but in infinite dimension it need not prove existence for every $f$. A uniformly positive definite symmetric operator additionally has a positive lower bound independent of $v$. Symmetry must be stated separately when positivity is defined only by a real quadratic expression: adding a skew-symmetric matrix changes the operator without changing that expression.

For a symmetric bounded bilinear form $B$ that is strictly positive on nonzero vectors, and a bounded linear functional $\ell$, set $I(v)=B(v,v)-2\ell (v)$. The first variation is $DI(v)[w]=2(B(v,w)-\ell (w))$. A weak solution $u$ of $B(u,w)=\ell (w)$ satisfies $I(u+w)-I(u)=B(w,w)$, so it is the unique minimizer. Conversely, any minimizer solves the weak equation. A coercive bilinear form gives existence by the Lax-Milgram theorem; strict positivity alone does not.

For a bounded operator on a real Hilbert space, $⟨Lv,v⟩=⟨Sv,v⟩$ with $S=(L+L^{\ast })/2$. Consequently the Euler-Lagrange equation of $⟨Lv,v⟩-2⟨f,v⟩$ is $Sv=f$. It is $Lv=f$ only when $L$ is self-adjoint or when the relevant solution also annihilates the skew part. For example $L=\left(\begin{array}{cc}1& -1\\ 1& 1\end{array}\right)$ has positive quadratic form $\Vert v{\Vert }^2$, but that form contains no information about its skew part.

A positive definite symmetric operator is uniformly positive definite if $⟨Lv,v⟩\ge \gamma \Vert v{\Vert }^2$ for some $\gamma >0$. For a bounded linear operator defined on a whole Hilbert space, this is a symmetric coercive operator, and the Lax-Milgram theorem supplies a unique solution to $Lu=f$ for every $f$. For a differential operator, the corresponding bounded coercive form is used on its form space.

A positive contraction is a positive operator whose operator norm is at most one. Its spectrum lies in $[0,1]$, so the spectral theorem for normal operators gives $M^2\le M$. Positive contractions are the effects in a POVM and occur in the pure-state gentle measurement bound.

The support of a positive operator is the orthogonal complement of its kernel. In finite dimension it is the span of eigenvectors with positive eigenvalues, equivalently the operator's image. Quantum relative entropy is finite only when the first state's support lies in the reference state's support.

Every bounded positive operator $T$ has a unique positive operator $T^{1/2}$ satisfying $(T^{1/2}{)}^2=T$. The spectral theorem for normal operators on a separable Hilbert space constructs it by applying the scalar square-root function to the spectrum.

For bounded positive operators satisfying the hypotheses, $(S-T)(S+T)=0$, so $S-T$ vanishes on the closure of the range of $S+T$. The kernel of a sum of positive operators identity shows that it also vanishes on $\ker (S+T)$. Self-adjointness and the Hilbert projection theorem decompose the whole Hilbert space as that closed range plus that kernel. Thus $S-T=0$. This proves the commuting case of uniqueness of a positive square root without using a spectral representation.

The spectral theorem for normal operators gives a unique decompositionwhere $A_{+},A_{-}\ge 0$ and their supports are orthogonal. They are called the positive and negative parts of $A$. If $\mathrm{Tr}A=0$, then $\mathrm{Tr}{A}_{+}=\mathrm{Tr}{A}_{-}=\Vert A{\Vert }_1/2$.

The negative part of a Hermitian operator is $X_{-}={\sum }_i\max (-{\lambda }_i,0)P_i=(|X|-X)/2$. In this convention $X_{-}$ is itself a positive operator, and $X=X_{+}-X_{-}$. Its support is orthogonal to that of the positive part of a Hermitian operator.

For a Hermitian operator with spectral decomposition $X={\sum }_i{\lambda }_i{P}_i$, its positive part is $X_{+}={\sum }_i\max ({\lambda }_i,0)P_i=(|X|+X)/2$. It is a positive operator supported on the positive spectral subspace. Together with the negative part of a Hermitian operator it satisfies $X=X_{+}-X_{-}$ and $|X|=X_{+}+X_{-}$.

For Hermitian operators $A$ and $B$, one writes $A\le B$ when $B-A$ is positive semidefinite. This partial order is also called the semidefinite order.

For bounded positive self-adjoint operators, $0\le A\le B$ implies $A^{1/2}\le B^{1/2}$. Thus the nonnegative square-root function is operator monotone.