Теорема о проекции¶

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

¶Формулировка

В классическом виде теорема о проекции формулируется для гильбертова пространства \( H \) (полного сепарабельного пространства со скалярным произведением). Пусть \( C \subset H \) — непустое выпуклое замкнутое множество. Тогда для любого элемента \( x \in H \) существует единственный элемент \( y \in C \), называемый проекцией \( x \) на \( C \), такой что:

\[ \| x - y \| = \inf_{z \in C} \| x - z \|. \]

Иными словами, \( y \) — ближайшая к \( x \) точка множества \( C \). Более того, элемент \( y \) является проекцией тогда и только тогда, когда для всех \( z \in C \) выполняется неравенство:

\[ \langle x - y, z - y \rangle \le 0, \]

где \( \langle \cdot, \cdot \rangle \) — скалярное произведение в \( H \). Это условие называется вариационным неравенством.

¶Частный случай: подпространство

Если \( C \) является замкнутым линейным подпространством \( L \subset H \), то условие упрощается: \( y \) — ортогональная проекция \( x \) на \( L \) тогда и только тогда, когда \( x - y \perp L \), то есть \( \langle x - y, l \rangle = 0 \) для всех \( l \in L \). В этом случае проекция \( y \) является единственным элементом, удовлетворяющим равенству:

\[ x = y + z, \quad y \in L, \quad z \in L^\perp, \]

где \( L^\perp \) — ортогональное дополнение к \( L \). Таким образом, теорема о проекции гарантирует существование ортогонального разложения пространства \( H \) на подпространство и его ортогональное дополнение.

¶История

Истоки теоремы о проекции восходят к работам немецкого математика Давида Гильберта в начале XX века, связанным с теорией интегральных уравнений и спектральной теорией. В 1904–1906 годах Гильберт разработал основы теории гильбертовых пространств, в рамках которой были сформулированы ключевые свойства ортогональности и проекций. Однако строгое доказательство теоремы в современном виде было дано в 1930-х годах в работах польских математиков Стефана Банаха и Станислава Мазура, а также австрийского математика Эрхарда Шмидта. Впоследствии теорема была обобщена на случай банаховых пространств (теорема о существовании ближайшего элемента) и выпуклых множеств в произвольных нормированных пространствах.

¶Доказательство

¶Для выпуклого замкнутого множества

Доказательство основано на свойствах нормы в гильбертовом пространстве и полноте. Пусть \( d = \inf_{z \in C} \| x - z \| \). Выберем последовательность \( \{z_n\} \subset C \) такую, что \( \| x - z_n \| \to d \). Используя тождество параллелограмма:

\[ \| z_n - z_m \|^2 = 2\| x - z_n \|^2 + 2\| x - z_m \|^2 - 4\| x - \frac{z_n + z_m}{2} \|^2, \]

и учитывая выпуклость \( C \) (средняя точка \( \frac{z_n + z_m}{2} \in C \)), получаем, что \( \| z_n - z_m \| \to 0 \), то есть последовательность фундаментальна. В силу полноты \( H \) и замкнутости \( C \) последовательность сходится к некоторому \( y \in C \), который и является искомой проекцией. Единственность следует из строгой выпуклости нормы в гильбертовом пространстве.

¶Для подпространства

Для замкнутого подпространства \( L \) доказательство упрощается: проекция \( y \) находится как решение задачи минимизации квадратичного функционала \( \| x - y \|^2 \). Дифференцируя по \( y \in L \), получаем условие ортогональности \( x - y \perp L \). Существование следует из полноты \( L \) и непрерывности скалярного произведения.

¶Свойства проекции

Линейность: Если \( C \) — подпространство, то оператор проекции \( P_L: H \to L \) является линейным ограниченным оператором с нормой \( \| P_L \| = 1 \) (если \( L \neq \{0\} \)).
Идемпотентность: \( P_L^2 = P_L \), то есть повторное применение проекции не меняет результат.
Ортогональность: \( P_L \) является самосопряжённым оператором: \( \langle P_L x, y \rangle = \langle x, P_L y \rangle \).
Непрерывность: Проекция на замкнутое выпуклое множество является нелинейным, но непрерывным (на самом деле, липшицевым с константой 1) оператором.
Минимизационное свойство: Проекция \( y \) минимизирует расстояние до \( C \), что эквивалентно решению задачи наименьших квадратов.

¶Применения

¶Численные методы и аппроксимация

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

¶Теория приближений

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

¶Оптимизация и теория игр

В выпуклой оптимизации проекция на выпуклое множество используется в методах проекции градиента и в алгоритмах типа «проекция-отражение» для решения вариационных неравенств. В теории игр теорема применяется для нахождения равновесий Нэша в выпуклых играх.

¶Обработка сигналов и изображений

В цифровой обработке сигналов проекция используется для восстановления сигналов по неполным данным (сжатые измерения), а также в методах шумоподавления, основанных на проекции на подпространство гладких функций.

¶Квантовая механика

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

¶Обобщения

¶Теорема о проекции в банаховых пространствах

В произвольных банаховых пространствах (не обязательно гильбертовых) существование ближайшего элемента гарантируется для выпуклых замкнутых множеств в равномерно выпуклых пространствах (например, пространства \( L^p \) при \( 1 < p < \infty \)). Однако единственность может нарушаться, если норма не является строго выпуклой.

¶Теорема о проекции в евклидовых пространствах

В конечномерных евклидовых пространствах \( \mathbb{R}^n \) теорема сводится к известному факту: для любого выпуклого замкнутого множества существует единственная точка, минимизирующая расстояние. В случае подпространства проекция вычисляется через псевдообратную матрицу Мура — Пенроуза.

¶Критика и ограничения

Теорема о проекции существенно опирается на полноту пространства и замкнутость множества. В неполных пространствах (например, в пространстве непрерывных функций с интегральной нормой) проекция может не существовать. Кроме того, для невыпуклых множеств проекция может быть не единственной или вовсе отсутствовать. В прикладных задачах сложность вычисления проекции на сложное выпуклое множество (например, многогранник) может быть высокой, что требует использования итерационных методов.

¶Источники

Колмогоров А. Н., Фомин С. В. Элементы теории функций и функционального анализа. — М.: Наука, 1976.
Люстерник Л. А., Соболев В. И. Элементы функционального анализа. — М.: Наука, 1965.
Рудин У. Функциональный анализ. — М.: Мир, 1975.
Треногин В. А. Функциональный анализ. — М.: Физматлит, 2002.
Халмош П. Гильбертово пространство в задачах. — М.: Мир, 1970.