Hermitian adjoint

Hermitian adjoint

In mathematics, specifically in functional analysis, each linear operator on a Hilbert space has a corresponding adjoint operator. Adjoints of operators generalize conjugate transposes of square matrices to (possibly) infinite-dimensional situations. If one thinks of operators on a Hilbert space as "generalized complex numbers", then the adjoint of an operator plays the role of the complex conjugate of a complex number.

The adjoint of an operator "A" is also sometimes called the Hermitian adjoint (after Charles Hermite) of "A" and is denoted by "A"* or "A" (the latter especially when used in conjunction with the bra-ket notation).

Definition for bounded operators

Suppose "H" is a Hilbert space, with inner product langlecdot,cdot angle. Consider a continuous linear operator "A" : "H" → "H" (this is the same as a bounded operator).

Using the Riesz representation theorem, one can show that there exists a unique continuous linear operator"A*" : "H" → "H" with the following property:

: lang Ax , y ang = lang x , A^* y ang quad mbox{for all } x,yin H.

This operator "A"* is the adjoint of "A".

This can be seen as a generalization of the conjugate transpose or "adjoint" matrix of a square matrix which has a similar property involving the standard complex inner product.

Properties

Immediate properties:
# "A"** = "A"
# If "A" is invertible, so is "A"*. Then, ("A"*)−1 = ("A"−1)*
# ("A" + "B")* = "A"* + "B"*
# (λ"A")* = λ* "A"*, where λ* denotes the complex conjugate of the complex number λ
# ("AB")* = "B"* "A"*

If we define the operator norm of "A" by: | A | _{op} := sup { |Ax | : | x | le 1 } then: | A^* | _{op} = | A | _{op} .Moreover,: | A^* A | _{op} = | A | _{op}^2

The set of bounded linear operators on a Hilbert space "H" together with the adjoint operation and the operator norm form the prototype of a C* algebra.

The relationship between the image of A and the kernel of its adjoint is given by:: ker A^* = left( operatorname{im} A ight)^ot: left( ker A ight)^ot = overline{operatorname{im} A^*}

Proof of the first equation::egin{align}A^* x = 0 &ifflangle A^*x,y angle = 0 quad forall y in H \ &ifflangle x,Ay angle = 0 quad forall y in H \ &iffx ot operatorname{im} Aend{align}

The second equation follows from the first by taking the orthogonal space on both sides. Note that in general, the image need not be closed, but the kernel of a continuous operator always is.

Hermitian operators

A bounded operator "A" : "H" → "H" is called Hermitian or self-adjoint if : "A" = "A"*which is equivalent to: lang Ax , y ang = lang x , A y ang mbox{ for all } x,yin H.

In some sense, these operators play the role of the real numbers (being equal to their own "complex conjugate"). They serve as the model of real-valued observables in quantum mechanics. See the article on self-adjoint operators for a full treatment.

Adjoints of unbounded operators

Many operators of importance are not continuous and are only defined on a subspace of a Hilbert space. In this situation, one may still define an adjoint, as is explained in the article on self-adjoint operators.

Other adjoints

The equation: lang Ax , y ang = lang x , A^* y ang is formally similar to the defining properties of pairs of adjoint functors in category theory, and this is where adjoint functors got their name.

See also

* Mathematical concepts
** Linear algebra
** Inner product
** Hilbert space
** Hermitian operator
** Norm
** Operator norm
** Transpose of a linear maps
* Physical applications
** Dual space
** Bra-ket notation
** Quantum mechanics
** Observables


Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • Hermitian — A number of mathematical entities are named Hermitian, after the mathematician Charles Hermite:*Hermitian adjoint *Hermitian connection *Hermitian form *Hermitian function *Hermitian hat wavelet *Hermitian kernel *Hermitian manifold/structure… …   Wikipedia

  • Hermitian matrix — A Hermitian matrix (or self adjoint matrix) is a square matrix with complex entries which is equal to its own conjugate transpose mdash; that is, the element in the i th row and j th column is equal to the complex conjugate of the element in the… …   Wikipedia

  • Hermitian matrix — ermitinė matrica statusas T sritis fizika atitikmenys: angl. Hermitian matrix; self adjoint matrix vok. Hermite Matrix, f; hermitesche Matrix, f; selbstadjungierte Matrix, f rus. самосопряжённая матрица, f; эрмитова матрица, f pranc. matrice… …   Fizikos terminų žodynas

  • adjoint — /aj oynt/, n. Math. 1. a square matrix obtained from a given square matrix and having the property that its product with the given matrix is equal to the determinant of the given matrix times the identity matrix. 2. Also called Hermitian… …   Universalium

  • Hermitian conjugate — /heuhr mee sheuhn/, Math. adjoint (def. 2). [1960 65; after C. HERMITE; see IAN] * * * …   Universalium

  • adjoint — /aj oynt/, n. Math. 1. a square matrix obtained from a given square matrix and having the property that its product with the given matrix is equal to the determinant of the given matrix times the identity matrix. 2. Also called Hermitian… …   Useful english dictionary

  • Hermitian conjugate — /heuhr mee sheuhn/, Math. adjoint (def. 2). [1960 65; after C. HERMITE; see IAN] …   Useful english dictionary

  • Dirac adjoint — In quantum field theory, the Dirac adjoint of a Dirac spinor is defined to be the dual spinor , where is the time like gamma matrix. Possibly to avoid confusion with the usual Hermitian adjoint , some textbooks do not give a name to the Dirac… …   Wikipedia

  • Self-adjoint operator — In mathematics, on a finite dimensional inner product space, a self adjoint operator is one that is its own adjoint, or, equivalently, one whose matrix is Hermitian, where a Hermitian matrix is one which is equal to its own conjugate transpose.… …   Wikipedia

  • Self-adjoint — In mathematics, an element x of a star algebra is self adjoint if x^*=x.A collection C of elements of a star algebra is self adjoint if it is closed under the involution operation. For example, if x^*=y then since y^*=x^{**}=x in a star algebra,… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”