Фон Нейман закончил работу по аксиоматическому обоснованию квантовой механики в одиночку. Он сделал это в период с 1928 по 1932 год, опубликовав серию из пяти статей и монументальный трактат «Математические обоснования квантовой механики». Чтобы придать прочную математическую основу квантовой теории, он отказался от использования дельта-функций Дирака и от предпочтения интегральных уравнений Гильберта. У него было другое оружие: функциональный анализ. Он создал абстрактное аксиоматическое обрамление, гильбертово пространство, которое включало в себя частные матричный и волновой случаи.
«ОСНАЩЕННЫЕ» ГИЛЬБЕРТОВЫ ПРОСТРАНСТВА
Квантовая механика фон Неймана, безупречная для математиков, столкнулась с тем, что физики предпочитали квантовую механику Дирака, которая оказалась более полезной, несмотря на отсутствие строгости. Благодаря работам Лорана Шварца и Александра Гротендика по функциональному анализу, в 1950-1960 годы дельта-функции приобрели статус математической природы, формализовавшись как обобщенные функции, или распределения. Так формализм Дирака перестал быть математически подозрительным, поскольку вошел в состав «оснащенных»гильбертовых пространств (или триплетов Гельфанда). Идея состоит в том, чтобы связать лучшее в формализме фон Неймана (строгое гильбертово пространство) и лучшее в формализме Дирака (полезная дельта-функция) внутри одной непротиворечивой математической структуры. С этой целью пытаются пойти дальше гильбертова пространства и включить такие своеобразные объекты, как дельта-функция, но не теряя в то же время хорошей геометрии гильбертова пространства. Решение заключается в рассмотрении структуры вокруг пространства, следуя духу теории распределений: взять обычное гильбертово пространство и оснастить его двумя другими пространствами — одним поменьше и другим побольше, — которые содержат соответственно все хорошие функции (тестовые функции) и все плохие функции (своеобразные функции, такие как δ Дирака). Множество из этих трех пространств называют«оснащенным»гильбертовым пространством, или триплетом Гельфанда.
Математические пространства, на которых были построены матричная и волновая механика, были очень разными: одно было дискретным и алгебраическим, другое — непрерывным и аналитическим. Как убедился фон Нейман, нет ничего удивительного в том, что их унификация не может быть достигнута без некоторого насилия над формализмом и математикой. Однако он заметил, что пространства функций, определенных в них, были в основном идентичными. Состояния атома были представлены в матричной механике посредством последовательностей чисел суммируемого квадрата, так что функциональное пространство, которое стояло за этим, было i
