Math 2.0

Operator theory Definition

Self-adjoint operator

Builds on Adjoint of a linear mapEndomorphism

Definition

Let VV be a finite-dimensional inner product space over ℝ\R or ℂ\C, and let T ⁣:V→VT \colon V \to V be an endomorphism. The map TT is self-adjoint when T∗=TT^* = T, where T∗T^* is the adjoint of TT. Equivalently, ⟨T(v),w⟩=⟨v,T(w)⟩\langle T(v), w \rangle = \langle v, T(w) \rangle for all v,w∈Vv, w \in V.

Remarks

In an orthonormal basis, TT is self-adjoint if and only if its matrix is symmetric (over ℝ\R) or Hermitian (over ℂ\C). Orthogonal projections are self-adjoint. The eigenvalues of a self-adjoint map are real, see the reality of the eigenvalues. Self-adjoint maps are the subject of the spectral theorem.

Reading path

To understand this page from the ground up, read these 7 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Vector space definition
  2. Inner product definition
  3. Linear map definition
  4. Inner product space definition
  5. Endomorphism definition
  6. Adjoint of a linear map definition
  7. Self-adjoint operator definition

Where this leads

19 pages build on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Self-adjoint_operator, Definitions
About this page
Tag0MB8HQW495
URIm2://0MB8HQW495
Kinddefinition
WritingW1 stated
MSC47B15, 15B57
DefinesSelf-adjoint operator
UsesAdjoint of a linear map, Endomorphism

Markdown · JSON · Edit on GitHub

What this page needs for W2

  • edge not_instance_of in: one non-example that fails one clause (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

Used by