Math 2.0

Operator theory Definition

Hyponormal operator

Builds on Hilbert spaceHilbert space adjointPositive operator

Definition

Let HH be a complex Hilbert space and let T ⁣:H→HT \colon H \to H be a bounded linear operator with adjoint T∗T^*. The operator TT is hyponormal when T∗T−TT∗T^*T - TT^* is a positive operator, that is, ⟨(T∗T−TT∗)x,x⟩≥0for all x∈H.\ip{(T^*T - TT^*)x}{x} \ge 0 \quad \text{for all } x \in H.

Remarks

Example: for the unilateral shift S(x0,x1,…)=(0,x0,x1,…)S(x_0, x_1, \ldots) = (0, x_0, x_1, \ldots) on ℓ2(ℕ)\ell^2(\N), one has S∗S=IS^*S = I and SS∗SS^* is the projection onto the vectors with x0=0x_0 = 0. So S∗S−SS∗S^*S - SS^* is the projection onto the first coordinate, which is positive; SS is hyponormal.

Non-example: the backward shift S∗S^* gives (S∗)∗S∗−S∗(S∗)∗=SS∗−S∗S(S^*)^* S^* - S^*(S^*)^* = SS^* - S^*S, the negative of that projection, and ⟨(SS∗−S∗S)e0,e0⟩=−1<0\ip{(SS^* - S^*S)e_0}{e_0} = -1 < 0 for e0=(1,0,0,…)e_0 = (1, 0, 0, \ldots).

Equivalent form: TT is hyponormal if and only if ∥T∗x∥≤∥Tx∥\norm{T^*x} \le \norm{Tx} for all x∈Hx \in H, since ⟨(T∗T−TT∗)x,x⟩=∥Tx∥2−∥T∗x∥2\ip{(T^*T - TT^*)x}{x} = \norm{Tx}^2 - \norm{T^*x}^2. The operator TT is normal exactly when both TT and T∗T^* are hyponormal.

Reading path

To understand this page from the ground up, read these 4 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 concept
  4. Hyponormal operator definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Hyponormal_operator
About this page
TagCM3KYNZZJ6
URIm2://CM3KYNZZJ6
Kinddefinition
WritingW0 stub
MSC47B20
DefinesHyponormal operator
UsesHilbert space, Hilbert space adjoint, Positive operator
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • 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.