World Library  
Flag as Inappropriate
Email this Article

Hermitian adjoint

Article Id: WHEBN0000667175
Reproduction Date:

Title: Hermitian adjoint  
Author: World Heritage Encyclopedia
Language: English
Subject: Creation and annihilation operators, HC, *-algebra, Operator theory, Functional analysis
Collection: Operator Theory
Publisher: World Heritage Encyclopedia
Publication
Date:
 

Hermitian adjoint

In mathematics, specifically in functional analysis, each bounded linear operator on a complex 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 complex 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 may also be called the Hermitian adjoint, Hermitian conjugate or Hermitian transpose[1] (after Charles Hermite) of A and is denoted by A* or A (the latter especially when used in conjunction with the bra–ket notation).

Contents

  • Definition for bounded operators 1
  • Properties 2
  • Adjoint of densely defined operators 3
  • Hermitian operators 4
  • Adjoints of antilinear operators 5
  • Other adjoints 6
  • See also 7
  • Footnotes 8
  • References 9

Definition for bounded operators

Suppose H is a complex Hilbert space, with inner product \langle\cdot,\cdot\rangle. Consider a continuous linear operator A : HH (for linear operators, continuity is equivalent to being a bounded operator). Then the adjoint of A is the continuous linear operator A* : HH satisfying

\langle Ax , y \rangle = \langle x , A^* y \rangle \quad \mbox{for all } x,y\in H.

Existence and uniqueness of this operator follows from the Riesz representation theorem.[2]

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

Properties

The following properties of the Hermitian adjoint of bounded operators are immediate:[2]

  1. A** = Ainvolutiveness
  2. If A is invertible, then so is A*, with (A*)−1 = (A−1)*
  3. (A + B)* = A* + B*
  4. A)* = λA*, where λ denotes the complex conjugate of the complex number λantilinearity (together with 3.)
  5. (AB)* = B* A*

If we define the operator norm of A by

\| A \| _{op} := \sup \{ \|Ax \| : \| x \| \le 1 \}

then

\| A^* \| _{op} = \| A \| _{op}. [2]

Moreover,

\| A^* A \| _{op} = \| A \| _{op}^2. [2]

One says that a norm that satisfies this condition behaves like a "largest value", extrapolating from the case of self-adjoint operators.

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

Adjoint of densely defined operators

A densely defined operator A from a complex Hilbert space H to itself is a linear operator whose domain D(A) is a dense linear subspace of H and whose values lies in H.[3] By definition, the domain D(A*) of its adjoint A* is the set of all yH for which there is a zH satisfying

\langle Ax , y \rangle = \langle x , z \rangle \quad \mbox{for all } x \in D(A),

and A*(y) is defined to be the z thus found.[4]

Properties 1.–5. hold with appropriate clauses about domains and codomains. For instance, the last property now states that (AB)* is an extension of B*A* if A, B and AB are densely defined operators.[5]

The relationship between the image of A and the kernel of its adjoint is given by:

\ker A^* = \left( \operatorname{im}\ A \right)^\bot
\left( \ker A^* \right)^\bot = \overline{\operatorname{im}\ A}

These statements are equivalent. See orthogonal complement for the proof of this and for the definition of \bot.

Proof of the first equation:[6]

\begin{align} A^* x = 0 &\iff \langle A^*x,y \rangle = 0 \quad \forall y \in H \\ &\iff \langle x,Ay \rangle = 0 \quad \forall y \in H \\ &\iff x\ \bot \ \operatorname{im}\ A \end{align}

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

Hermitian operators

A bounded operator A : HH is called Hermitian or self-adjoint if

A = A^{*}

which is equivalent to

\langle Ax , y \rangle = \langle x , A y \rangle \mbox{ for all } x,y\in H. [8]

In some sense, these operators play the role of the real numbers (being equal to their own "complex conjugate") and form a real vector space. 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 antilinear operators

For an antilinear operator the definition of adjoint needs to be adjusted in order to compensate for the complex conjugation. An adjoint operator of the antilinear operator A on a complex Hilbert space H is an antilinear operator A* : HH with the property:

\langle Ax , y \rangle = \overline{\langle x , A^* y \rangle} \quad \text{for all } x,y\in H.

Other adjoints

The equation

\langle Ax , y \rangle = \langle x , A^* y \rangle

is formally similar to the defining properties of pairs of adjoint functors in category theory, and this is where adjoint functors got their name from.

See also

Footnotes

  1. ^ David A. B. Miller (2008). Quantum Mechanics for Scientists and Engineers. Cambridge University Press. pp. 262, 280. 
  2. ^ a b c d Reed & Simon 2003, pp. 186–187; Rudin 1991, §12.9
  3. ^ See unbounded operator for details.
  4. ^ Reed & Simon 2003, pp. 252; Rudin 1991, §13.1
  5. ^ Rudin 1991, Thm 13.2
  6. ^ See Rudin 1991, Thm 12.10 for the case of bounded operators
  7. ^ The same as a bounded operator.
  8. ^ Reed & Simon 2003, pp. 187; Rudin 1991, §12.11

References

  • Reed, Michael; Simon, Barry (2003), Functional Analysis, Elsevier, .  
  • Rudin, Walter (1991), Functional Analysis (second ed.), McGraw-Hill, .  
This article was sourced from Creative Commons Attribution-ShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, E-Government Act of 2002.
 
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
 
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a non-profit organization.
 


Copyright © World Library Foundation. All rights reserved. eBooks from Project Gutenberg are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.