Гильбертово пространство

Гильбертово пространство


Гильбертово пространство — это полное линейное пространство с определённым внутренним (скалярным) произведением, индуцирующим норму. Это фундаментальное математическое построение лежит в основе формализма квантовой механики, где состояния квантовых систем описываются вектором в гильбертовом пространстве, а наблюдаемые соответствуют самосопряжённым операторам.

Пусть — комплексное линейное пространство. В нём вводится операция внутреннего произведения:

ψ|ϕ⟩ : ℋ × ℋ → ℂ

удовлетворяющая следующим аксиомам:

  1. Полуторалинейность (антилинейность по первому аргументу, линейность по второму):

    aψ1 + bψ2|ϕ⟩ = a*ψ1|ϕ⟩ + b*ψ2|ϕ

  2. Положительная определённость:

    ψ|ψ⟩ ≥ 0,  и  ⟨ψ|ψ⟩ = 0 ⇔ ψ = 0

  3. Симметрия с комплексным сопряжением:

    ψ|ϕ⟩ = ⟨ϕ|ψ*

  4. Полнота по норме $\| \psi \| = \sqrt{\langle \psi | \psi \rangle}$: всякая фундаментальная последовательность сходится в смысле этой нормы.


Ортонормированный базис и сепарабельность

Гильбертово пространство может быть конечномерным или бесконечномерным. В квантовой механике, как правило, используются сепарабельные пространства — то есть содержащие счётный ортонормированный базис {|en⟩}n = 1, такой что любой элемент |ψ⟩ ∈ ℋ можно разложить в виде:

$$ |\psi\rangle = \sum_{n=1}^{\infty} c_n |e_n\rangle, \quad c_n = \langle e_n | \psi \rangle, \quad \sum_{n=1}^\infty |c_n|^2 < \infty $$

Пример: пространство L2(ℝ), состоящее из квадратно интегрируемых функций ψ(x), то есть таких, что:

−∞|ψ(x)|2dx < ∞

это классический пример сепарабельного гильбертова пространства, широко используемый при описании волновых функций частиц.


Линейные операторы в гильбертовом пространстве

Операторы в гильбертовом пространстве — отображения  : ℋ → ℋ, действующие линейно:

(a|ψ⟩ + b|ϕ⟩) = a|ψ⟩ + b|ϕ

Важнейшим классом являются ограниченные линейные операторы, для которых существует постоянная M > 0, такая что:

|ψ⟩∥ ≤ M∥|ψ⟩∥  ∀|ψ⟩ ∈ ℋ

В квантовой механике основной интерес представляют самосопряжённые (эрмитовы) операторы, удовлетворяющие:

ψ|ϕ⟩ = ⟨ψ|ϕ

для всех ψ, ϕ ∈ ????(), где ????() — область определения оператора. Такие операторы соответствуют физически измеримым величинам (наблюдаемым).


Собственные значения и спектральные свойства

Если существует ненулевой вектор |ϕ⟩ ∈ ℋ, удовлетворяющий:

|ϕ⟩ = λ|ϕ

то λ называется собственным значением, а |ϕсобственным вектором оператора . Спектр оператора σ() включает все значения λ, для которых ( − λI) не имеет ограниченного обратного. В бесконечномерных пространствах спектр может быть не только точечным, но и непрерывным.


Проекционные операторы и декомпозиция пространства

Ортогональная проекция — это линейный оператор , удовлетворяющий:

2 = ,   = 

Такие операторы играют ключевую роль в квантовой теории измерений: проекция состояния на подпространство, соответствующее измеряемому значению наблюдаемой, реализуется с помощью таких операторов.

Любое гильбертово пространство можно разложить в прямую сумму ортогональных подпространств:

ℋ = ⨁ii

Каждое подпространство может быть связано с различными результатами измерений или подпространствами энергии.


Теорема Риса — Фишера

Одной из краеугольных теорем, обеспечивающих мощную связь между элементами и линейными функционалами, является теорема Риса — Фишера. Она утверждает: всякий непрерывный линейный функционал f на может быть представлен в виде скалярного произведения:

f(ϕ) = ⟨ψ|ϕ

для некоторого единственного |ψ⟩ ∈ ℋ. Это позволяет отождествить пространство сопряжённых линейных функционалов * с самим гильбертовым пространством, что лежит в основе бра-кет нотации Дирака.


Примеры гильбертовых пространств в квантовой механике

  1. n — конечномерное гильбертово пространство: описывает квантовые системы с конечным числом уровней (например, спины, кубиты).

  2. L2(ℝ) — пространство квадратно-интегрируемых функций: волновые функции частиц в координатном или импульсном представлении.

  3. Фоковское пространство — гильбертово пространство, построенное для описания квантованных полей, включает в себя векторы с переменным числом частиц.


Топология и сходимость в

Сходимость в гильбертовом пространстве понимается как сходимость по норме. Последовательность {|ψn⟩} ⊂ ℋ сходится к |ψ⟩ ∈ ℋ, если:

∥|ψn⟩−|ψ⟩∥ → 0  при  n → ∞

Это важно при анализе предельных переходов, таких как эволюция состояний во времени или приближённые решения задач собственных значений.


Двойственность и сопряжённые пространства

Вектор |ψ⟩ ∈ ℋ соответствует линейному функционалу ψ| в сопряжённом пространстве *, определяющему отображение:

|ϕ⟩ ↦ ⟨ψ|ϕ

Этот переход лежит в основе формализма бра-кет, позволяющего элегантно записывать выражения для скалярных произведений, операторов, матричных элементов и вероятностей.


Унитарные и самосопряжённые операторы

Унитарный оператор удовлетворяет:

 =  = I

Он сохраняет норму и скалярные произведения и описывает эволюцию квантовых состояний во времени (в рамках уравнения Шрёдингера).

Самосопряжённые операторы обладают вещественными спектрами и ортогональными собственными векторами, что делает их физически интерпретируемыми как измеримые наблюдаемые. Спектральная теорема утверждает, что самосопряжённый оператор можно представить как интеграл по спектру с проекционными мерами.


Функциональный анализ и обобщённые функции

В ряде задач физического смысла требуют включения так называемых обобщённых собственных функций, например дельта-функций δ(x − x0), которые не принадлежат L2(ℝ), но играют важную роль в спектральном разложении и представлении непрерывного спектра. Это требует расширения формализма до ригged Hilbert spaces (гильбертовых пространств с вложением Гельфанда).


Прямое произведение пространств

При описании составных квантовых систем используется тензорное произведение гильбертовых пространств:

ℋ = ℋ1 ⊗ ℋ2

Элементы пространства — это линейные комбинации тензорных произведений |ψ⟩⊗|ϕ. Концепция запутанных состояний, лежащая в основе квантовой информации, невозможна без использования такого построения.


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