Adjoint (operator theory)

| Main Article
| Discussion
| Related Articles  [?]
| Bibliography  [?]
| External Links  [?]
| Citable Version  [?]

|
|
|
|
|
|
|
|

This editable Main Article is under development and subject to a disclaimer.

[edit intro]

In mathematics, the adjoint of an operator is a generalization of the notion of the Hermitian conjugate of a complex matrix to linear operators on complex Hilbert spaces. In this article the adjoint of a linear operator M will be indicated by M∗, as is common in mathematics. In physics the notation M† is more usual.

## Contents

* 1 Main idea
* 2 Existence of the adjoint
* 3 Formal definition of the adjoint of an operator
* 4 Property
* 4.1 Proof

## Main idea[edit]

Consider a complex n×n matrix M. Apart from being an array of complex numbers, M can also be viewed as a linear map or operator from ℂn to itself. In order to generalize the idea of the Hermitian conjugate of a complex matrix to linear operators on more general complex Hilbert spaces, it is necessary to be able to characterize the Hermitian conjugate as an operator. The crucial observation here is the following: for any complex matrix M, its Hermitian tranpose, denoted by M∗, is the unique linear operator on ℂn satisfying:

⟨Mx,y⟩=⟨x,M*y⟩∀x,y∈ℂn.

This suggests that the "Hermitian conjugate" or, as it is more commonly known in mathematics, the adjoint of a linear operator T on an arbitrary complex Hilbert space H, with inner product ⟨ ⋅, ⋅ ⟩H, could be defined generally as an operator T∗ on H satisfying the so-called "turn-over rule":

⟨Tx,y⟩H=⟨x,T*y⟩H∀x,y∈H.(1)

It turns out that this idea is almost correct. It is correct and a unique T∗ exists, if T is a bounded operator on H, but additional care has to be taken on infinite dimensional Hilbert spaces since operators on such spaces can be unbounded and there may not exist an operator T∗ satisfying (1).

## Existence of the adjoint[edit]

Suppose that T is a densely defined operator on H with domain D(T). Consider the vector space

K(T)={v∈H∣supu∈D(T)|⟨Tu,v⟩H|<∞},

that is, the space consists of all vectors v of which the supremum of the absolute value of ⟨Tu, v ⟩H is finite. Since T has a dense domain in H and fv(u)≡⟨Tu,v⟩H is a continuous linear functional on D(T) for any v ∈ K(T), fv can be extended to a unique continuous linear functional f~v on H. By the Riesz representation theorem there is a unique element v∗ ∈ H such that

f~v(u)=⟨u,v*⟩H∀u∈H.

A linear operator T∗ with domain D(T∗) = K(T) may now be defined as the map

T*v=v*∀v∈D(T).

By construction, the operator T∗ satisfies:

⟨Tx,y⟩H=⟨x,T*y⟩H∀x∈D(T),∀y∈D(T*).(2)

When T is a bounded operator (hence D(T) = H) then it can be shown, again using the Riesz representation theorem, that T∗ is the unique bounded linear operator satisfying equation (2).

## Formal definition of the adjoint of an operator[edit]

Let T be an operator on a Hilbert space H with dense domain D(T). Then the adjoint T∗ of T is an operator with domain

D(T*)={v∈H∣supu∈D(T)|⟨Tu,v⟩H|<∞}

defined as the map

T*v=v*∀v∈D(T*),

where for each v in D(T∗), v∗ is the unique element of H such that

⟨u,v*⟩=⟨Tu,v⟩H∀u∈D(T).

Additionally, if T is a bounded operator then T∗ is the unique bounded operator satisfying

⟨Tx,y⟩H=⟨x,T*y⟩H∀x,y∈H.

## Property[edit]

Consider two linear operators S and T on H with overlapping domains. For convenience we assume D(T) = D(S) and D(T∗) = D(S∗). Then

⟨aTSu,v⟩H=⟨u,(aTS)*v⟩H=⟨u,a‾S*T*v⟩H,a∈ℂ.

### Proof[edit]

The fact that the complex conjugate of the complex number a appears is due to the property of the inner product on complex Hilbert space. The fact that the multiplication order of the operators reverts under the turnover rule follows thus

⟨TS(u),v⟩H=⟨Tu′,v⟩H=⟨u′,T*(v)⟩H=⟨u′,v′⟩H=⟨S(u),v′⟩H=⟨u,S*v′⟩H=⟨u,S*T*(v)⟩H,

with

u′≡S(u),v′≡T*(v).