Здравствуйте, участники форума. Есть теорема, которая говорит, что если

- самосопряженный оператор, то существует неотрицательная борелевская мера

и ограниченная борелевская функция

, что наш оператор унитарно эквивалентен оператору умножения на

в

. У меня есть линейный оператор

в
![$L^2[0,1]$ $L^2[0,1]$](https://dxdy-01.korotkov.co.uk/f/0/d/2/0d217820daebe4bf760cc245880f831682.png)
- самосопряженный. Я нашел, что он унитарно эквивалентен оператору

относительно меры

, где

- точечная мера в точке

. Мне задали такой вопрос : почему этот оператор не может быть унитарно эквивалентен оператору умножения на функцию относительно лебеговской меры ? Говорят, что нужно воспользоваться компактностью этого оператора..Но что-то я пока не вижу решение
