1
$\begingroup$

Knowing that unitarily equivalent self-adjoint operators have the same spectrum (proven here) I was wondering if the “inverse” implication holds. Namely

Let $A$, $B$ – self adjoint operators acting on Hilbert spaces $H_A$ and $H_B$. Their spectras are equal $\sigma(A) = \sigma(B)$. Is it true that operators $A$ and $B$ are unitarily equivalent $A=U^{\ast}BU$, where $U:H_A \longrightarrow H_B$ – unitary operator?

$\endgroup$
4
  • 1
    $\begingroup$ Consider diagonal matrices with different allocations of the same numbers along the diagonal. $\endgroup$ Jun 20, 2021 at 19:28
  • $\begingroup$ This is a Problem Statement Question, and therefor does not fit the quality standards of this website. Please add context, as how it stands I have to vote this question to get closed. $\endgroup$
    – Cornman
    Jun 20, 2021 at 19:38
  • $\begingroup$ @Cornman I added some context. $\endgroup$
    – user464980
    Jun 20, 2021 at 19:44
  • $\begingroup$ I retracted my vote to close. Please add next time the more context right away, as this keeps this website fresh and the answers and questions researchable and of more quality! $\endgroup$
    – Cornman
    Jun 20, 2021 at 19:47

1 Answer 1

3
$\begingroup$

No: the issue is that the spectrum can have "multiplicity". For instance, in the finite dimensional case, $\sigma(A)=\sigma(B)$ means that $A$ and $B$ have the same set of eigenvalues, but they could have those eigenvalues with different multiplicities, and thus fail to be unitarily equivalent. (For a really simple example, you could have $A=0$ and $B=0$ but $H_A$ and $H_B$ have different dimensions!)

In general, "multiplicity" is the only obstruction to self-adjoint operators with the same spectrum being unitarily equivalent: two self-adjoint operators with the same spectrum and the "same multiplicity" everywhere on the spectrum are unitarily equivalent. However, precisely stating and proving this idea in the infinite-dimensional case (where the spectrum may be continuous and you cannot just simply use the multiplicity of an eigenvalue as usually defined) is quite nontrivial. In the separable case, you really can reasonably define a "multiplicity function" on the spectrum but in the inseparable case the formulation is more delicate and measure-theoretic. For more details, you may want to look up the Hahn-Hellinger theorem (in the separable case) or Halmos's nice little book Introduction to Hilbert space and the theory of spectral multiplicity (in the inseparable case).

$\endgroup$

Not the answer you're looking for? Browse other questions tagged or ask your own question.