Math 2.0

Operator theory Definition

Positive operator

Builds on Hilbert spaceHilbert space adjoint

Definition

Let HH be a Hilbert space over ℝ\R or ℂ\C and let A ⁣:H→HA \colon H \to H be a bounded linear operator. The operator AA is positive when

  1. AA is self-adjoint, that is, A∗=AA^* = A, where A∗A^* is the adjoint of AA;
  2. ⟨Ax,x⟩≥0\ip{Ax}{x} \ge 0 for all x∈Hx \in H.

One writes A≥0A \ge 0, and A≤BA \le B for self-adjoint AA and BB when B−A≥0B - A \ge 0.

Remarks

Example: for every bounded operator TT on HH, the operator A=T∗TA = T^*T is positive. It is self-adjoint since (T∗T)∗=T∗T(T^*T)^* = T^*T, and ⟨T∗Tx,x⟩=⟨Tx,Tx⟩=∥Tx∥2≥0\ip{T^*Tx}{x} = \ip{Tx}{Tx} = \norm{Tx}^2 \ge 0.

Non-example: the diagonal operator A=diag(1,−1)A = \mathrm{diag}(1, -1) on ℂ2\C^2 is self-adjoint, but ⟨Ae2,e2⟩=−1<0\ip{A e_2}{e_2} = -1 < 0 for e2=(0,1)e_2 = (0, 1), so condition 2 fails.

Over ℂ\C, condition 2 alone implies condition 1, because a bounded operator with ⟨Ax,x⟩\ip{Ax}{x} real for all xx is self-adjoint by polarization. Over ℝ\R, condition 1 is needed: a rotation by 9090 degrees of ℝ2\R^2 has ⟨Ax,x⟩=0\ip{Ax}{x} = 0 for all xx but is not self-adjoint. Equivalent forms: AA is positive if and only if AA is self-adjoint with spectrum in [0,∞)[0, \infty), and if and only if A=B∗BA = B^*B for some bounded operator BB. Some authors call these operators positive semidefinite or nonnegative.

Reading path

To understand this page from the ground up, read these 3 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. Hilbert space concept
  2. Hilbert space adjoint concept
  3. Positive operator definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Positive_operator
About this page
TagP93WWQ6BBB
URIm2://P93WWQ6BBB
Kinddefinition
WritingW0 stub
MSC47B65, 47B15
DefinesPositive operator
UsesHilbert space, Hilbert space adjoint
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • a source with a locator (0 of 1)

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

What links here

No page links to this page yet.