Distinguishing between symmetric, Hermitian and self-adjoint operators

Question

I am permanently confused about the distinction between Hermitian and self-adjoint operators in an infinite-dimensional space. The preceding statement may even be ill-defined. My confusion is due to consulting Wikipedia, upon which action I have the following notion.

Let $H$ be a pre-Hilbert space equipped with an inner product ${\langle}.,.{\rangle}$ and $T:D(T){\subset}H{\longmapsto}H$ a linear operator. Then

1. If ${\langle}Tx,y{\rangle}$=${\langle}x,Ty{\rangle}$ for all $x,y{\in}D(T)$ then $T$ is symmetric.

2. If $T$ is symmetric and also bounded then it is Hermitian.

3. If $T$ is symmetric and $D(T)=H$ then $T$ is self-adjoint.

As a corollary, if the above is true then a symmetric and self-adjoint operator must be Hermitian since a symmetric operator defined on all of $H$ must be bounded. On the other hand, a Hermitian operator need not be self-adjoint: it would not be if its domain were a strict subset of $H$.

Would people agree with this? I always see the second and third of these treated as equivalent, hence my confusion.

Answer 1

These are not the usual definitions as I know them.$\newcommand{\inner}[2]{\langle #1, #2 \rangle}$

First, I am only familiar with the situation that $H$ is a Hilbert space and $D(T)$ is dense in $H$ (which entails no loss of generality, as we can replace $H$ with the completion of $D(T)$.)

I would say:

1. $T$ is symmetric if $\inner{Tx}{y} = \inner{x}{Ty}$ for all $x,y \in D(T)$. (Note your definition doesn't make sense, because you are applying $T$ to vectors that may not be in $D(T)$.)

2. $T$ is Hermitian if it is symmetric and bounded. (If $T$ is bounded then it has a unique bounded extension to all of $H$, so we may as well assume $D(T) = H$ in this case.) Since a symmetric operator is always closable, the closed graph theorem implies that a symmetric operator with $D(T) = H$ is automatically bounded.

3. $T$ is self-adjoint if the following, more complicated condition holds. Let $D(T^*)$ be the set of all $y \in H$ such that $|\inner{Tx}{y}| \le C_y ||x||$ for all $x \in D(T)$, where $C_y$ is some constant depending on $y$. If $T$ is symmetric, one can show that $D(T) \subset D(T^*)$; $T$ is said to be self-adjoint if it is symmetric and $D(T) = D(T^*)$.

With these definitions, we have Hermitian implies self-adjoint implies symmetric, but all converse implications are false.

The definition of self-adjoint is rather subtle and this may not be the place for an extended discussion. However, I'd recommend a textbook such as Reed and Simon Vol. I. Perhaps I'll just say that symmetric operators, although the definition is simple, turn out not to be good for much, per se. One needs at least self-adjointness to prove useful theorems.

Answer 2

The definition is quite simple when you realize it. But it takes some time to realize the difference. There are some contradictions with Nate answer, but this just a matter of terminology.

• $\mathrm T$ is Hermitian if $\forall x,y \in D(\mathrm T) (\mathrm Tx,y) = (x,\mathrm T y)$
• $\mathrm T$ is symmetric if $\mathrm T$ is Hermitian and densely defined. As far as i understand the only advantage of symmetric op over Hermitian is guaranted exitance of $\mathrm T$'s closure.

• $\mathrm T$ is self-adjoint if $\mathrm T^* == \mathrm T$, where $\mathrm T^*$ defined as from following relation$\forall x \in D(\mathrm T) \exists y,z \in \mathbb H: (\mathrm Tx,y) = (x,z)$. The operator $\mathrm T^*: z = T^*y$ and is called adjoint.

  For finite-dimensional spaces all this definitions turn to be the same. Bounded symmetric operators are essentially self-adjoint (closure is self-adjoint).

Answer 3

Although a reasonable part of the question is about the commonly-accepted senses of the terminology, another part of it is surely about facts (rather than terminological conventions).

And I am sympathetic to bad reactions to the (fluctuating per source, and over time!) terminology. E.g., in other contexts, "symmetric" (over $\mathbb C$) would mean $\mathbb C$-bilinear, while "hermitian" would mean ... um, hermitian? ($\mathbb C$-sesquilinear?).

Ok, we can agree that the terminology is not self-explanatory? In my experience, disparities among usage and implied properties are as much due to differences in conception of (apparently official, but in different ways in different peoples' minds) what these words mean.

Nevertheless, yes, there are actual mathematical questions here that do not depend on what we declare (or, worse, tacitly presume) words to mean.

So, for example, "symmetric" does not refer to the complex-bilinear versus complex-sesquilinear issue, but to the issue of, if the operator is unbounded (hence, not defined, nor definable everywhere, by the closed graph theorem), whether or not it "appears to be self-adjoint" on its domain.

And there's the important-yet-hard-to-promote issue of whether some random unbounded operator is densely defined. Things tend to screw up if not. E.g., no adjoint. But/and giving things a name that does not refer to this feature is ... unhelpful. So, really, we should say that we care about densely-defined, symmetric operators. (Or maybe call them "potentially self-adjoint", though there's the problem that (cf. von Neumann) not all symmetric operators have self-adjoint extensions!)

E.g., sure, continuous (a.k.a. "bounded") operators don't have any of these issues... In any reasonable sense, symmetric=hermitian=self-adjoint.

For genuinely unbounded operators, symmetric does not imply self-adjoint, and, unless the thing is already self-adjoint, its adjoint is definitely not symmetric. (Crazy, right?)

But, in practical situations, all these seeming bait-and-switch or faux-paradoxical things are actually sensible. Abstractly, it's hard to see the forest for the trees, or vice-versa. In my opinion, this is yet another instance where too-aggressive generalization/abstraction makes things incomprehensible, if it goes so far as to disconnect from the (oh-so-) tangible examples that gave rise to the ideas.