Теорема представлений Рисса

Теорема представлений Рисса

Теорема Рисса (также теорема Рисса — Фреше) в функциональном анализе утверждает, что каждый линейный ограниченный функционал в гильбертовом пространстве может быть представлен через скалярное произведение с помощью некоторого элемента. Названа в честь Фридьеса Рисса[1].

Пусть существует:

  • Гильбертово пространство H
  • Линейный ограниченный функционал f \in H' в пространстве H

Тогда существует единственный элемент y пространства H, такой, что для произвольного x \in H выполняется f(x)=\langle y,x\rangle.

Также выполняется равенство

\|y\|=\|f\|

Содержание

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

\ker(f) ядро линейного функционала является векторным подпространством H.

Существование y

Если f\equiv 0, достаточно взять y=0. Если же f\ne 0, тогда \ker(f)\ne H. Соответственно можно найти элемент b \in \ker(f)^\bot \smallsetminus \big\{0\big\},

\forall x \in H, обозначим p_x=x-\tfrac{f(x)}{f(b)}b.

Поскольку p_x \in \ker(f) (очевидно), по определению b имеем \langle b,p_x\rangle = 0. Из линейности скалярного произведения получаем:

\left\langle b, x-{f(x) \over f(b)}b \right\rangle = 0 = \langle b, x\rangle - {f(x) \over f(b)} \| b \|^2

Отсюда f(x) = \langle b, x\rangle \tfrac{f(b)}{\|b\|^2}.

Наконец

f(x) = \langle y, x \rangle

где y = \tfrac{f(b)}{\|b\|^2}b.

Единственность y

Предположим, что y и z элементы H удовлетворяют f(x) = \langle y, x \rangle = \langle z, x \rangle.

Это означает, что для всех x \in H справедливо равенство \langle y-z, x \rangle = 0, в частности \langle y-z, y-z \rangle = \|y-z\|^2 = 0, откуда и получается равенство y = z.

Альтернативно, в случае невырожденной линейной формы из равенств \dim\ker f + \dim\mathrm{Im}\,f = \dim H, \dim\ker f + \dim\ker(f)^\bot = \dim H и \dim\mathrm{Im}\,f = 1 следует \dim\ker(f)^\bot = 1, т.е. вектор y = \tfrac{f(b)}{\|b\|^2}b = |f(b)| e_b, где e_b - единичный вектор одномерного линейного пространства в положительном направлении формы f, определен однозначно.

Равенство норм

Для доказательства \|y\|=\|f\| сперва из неравенства Коши-Буняковского имеем: f(x)=\langle y,x\rangle \leq \|y\|\|x\|. Отсюда, согласно определению нормы функционала, имеем: \|f\|\leq\|y\|. Кроме того, \langle y, y \rangle = f(y) \leq \|y\|\|f\|, откуда \|y\|\leq\|f\|. Объединяя два неравенства, получаем \|y\|=\|f\|.

Примечания

  1. ↑ венг. Frigyes Riesz, в русскоязычных источниках его фамилия пишется как «Рис» или «Рисс», а имя иногда транскрибируют на английский манер как «Фриджес»

См. также

  • Теорема Лакса-Мильграма

Wikimedia Foundation. 2010.

Игры ⚽ Нужен реферат?

Полезное


Смотреть что такое "Теорема представлений Рисса" в других словарях:

  • Теорема Лакса — Пусть: является гильбертовым пространством со скалярным произведением и ассоциированной нормой является билинейной формой, которая: непрерывна в коэрцитивна в …   Википедия

  • ПАРАМЕТРИЧЕСКИХ ИНТЕГРАЛЬНЫХ ПРЕДСТАВЛЕНИЙ МЕТОД — метод в геометрич. теории функций комплексного переменного, использующий для решения экстремальных задач в классах функций представление этих классов с помощью интегралов, зависящих от параметров. К таким классам относятся Каратеодори класс,… …   Математическая энциклопедия

  • Гильбертово пространство — Сюда перенаправляется запрос «теорема Рисса Фишера». На эту тему нужна отдельная статья. Гильбертово пространство обобщение евклидова пространства, допускающее бесконечную размерность. Названо в честь Давида Гильберта. Со …   Википедия

  • ДИФФЕРЕНЦИАЛЬНОЕ УРАВНЕНИЕ С ЧАСТНЫМИ ПРОИЗВОДНЫМИ — уравнение вида где F заданная действительная функция точки х=(xt, ..., х п )области Dевклидова пространства Е п, и действительных переменных (и(х) неизвестная функция) с неотрицательными целочисленными индексами i1 ,..., in, k=0, ..., т, по… …   Математическая энциклопедия

  • ПОЧТИ ПЕРИОДИЧЕСКАЯ ФУНКЦИЯ — функция, к рая может быть представлена обобщенным рядом Фурье. Существуют различные способы определения классов П. п. ф., основанные на понятиях замыкания, почти периода, сдвига. Каждый из классов П. п. ф. получается в результате замыкания в том… …   Математическая энциклопедия

  • ГАРМОНИЧЕСКИЙ АНАЛИЗ АБСТРАКТНЫЙ — теория абстрактных Фурье рядов и Фурье интегралов. Классический гармонич. анализ теория рядов Фурье и интегралов Фурье интенсивно развивался под влиянием физич. задач в 18 19 вв., и в работах П. Дирихле (P. Dirichlet), Б. Римана (В. Riemann), А.… …   Математическая энциклопедия

  • Функциональный анализ — У этого термина существуют и другие значения, см. Анализ. Функциональный анализ  раздел высшей математики, в котором изучаются бесконечномерные топологические векторные пространства (в основном пространства функций[1]) и их отображения.… …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»