Теорема о представлении Рисса – Маркова – Какутани - Riesz–Markov–Kakutani representation theorem

Не путать с Теорема Рисса о представлении или же Теорема Маркова – Какутани о неподвижной точке.

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

В математике Теорема о представлении Рисса – Маркова – Какутани относится линейные функционалы на пространствах непрерывных функций на локально компактное пространство к меры в теории меры. Теорема названа в честь Фриджес Рис  (1909 ) кто представил это для непрерывные функции на единичный интервал, Андрей Марков  (1938 ), который распространил результат на некоторые некомпактные пространства, и Шизуо Какутани  (1941 ) который распространил результат на компактные хаусдорфовы пространства.

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

Теорема о представлении положительных линейных функционалов на C_c(Икс)

Следующая теорема представляет положительные линейные функционалы на C_c(Икс), пространство непрерывный компактно поддержанный комплекснозначные функции на локально компактный Пространство Хаусдорфа Икс. В Наборы Бореля в следующем заявлении относятся к σ-алгебра генерируется открыто наборы.

Неотрицательная счетно-аддитивная борелевская мера μ на локально компактный Пространство Хаусдорфа Икс является обычный если и только если

• μ (K) <∞ для любого компакта K;
• Для каждого набора Бореля E,

${\displaystyle \mu (E)=\inf\{\mu (U):E\subseteq U,U{\mbox{ open}}\}}$

• Соотношение

${\displaystyle \mu (E)=\sup\{\mu (K):K\subseteq E,K{\mbox{ compact}}\}}$

держится всякий раз, когда E открыто или когда E Борель и μ(E) < ∞ .

Теорема. Позволять Икс быть локально компактный Пространство Хаусдорфа. Для любого положительный линейный функционал ${\displaystyle \psi }$ на C_c(Икс) существует единственный регулярная мера Бореля μ на Икс такой, что

${\displaystyle \forall f\in C_{c}(X):\qquad \psi (f)=\int _{X}f(x)\,d\mu (x).}$

Один подход к теория меры должен начать с Радоновая мера, определяемый как положительный линейный функционал на C_c(Икс). Это путь, принятый Бурбаки; конечно, предполагается, что Икс начинает жизнь как топологическое пространство, а не просто как набор. Затем для локально компактных пространств восстанавливается теория интегрирования.

Без условия регулярность мера Бореля не обязательно должна быть единственной. Например, пусть Икс - набор ординалов, не более чем равный первый несчетный порядковый номер Ω, с топологией, порожденной "открытые интервалы Линейный функционал, приводящий непрерывную функцию к ее значению в Ω, соответствует регулярной борелевской мере с точечной массой в Ω. Однако он также соответствует (нерегулярной) борелевской мере, которая сопоставляет меру 1 любому борелевскому множеству ${\displaystyle B\subseteq [0,\Omega ]}$ Если там есть замкнутое и неограниченное множество ${\displaystyle C\subseteq [0,\Omega [}$ с ${\displaystyle C\subseteq B}$, и присваивает меру 0 другим борелевским множествам. (В частности, синглтон {Ω} получает меру 0, в отличие от меры точечной массы.)

Историческое замечание

В исходной форме теоремы Ф. Рисса (1909 г.) утверждается, что каждый непрерывный линейный функционал А[ж] над пространством C([0, 1]) непрерывных функций в интервале [0,1] можно представить в виде

${\displaystyle A[f]=\int _{0}^{1}f(x)\,d\alpha (x),}$

куда α(Икс) является функцией ограниченная вариация на отрезке [0, 1], а интеграл есть Интеграл Римана – Стилтьеса.. Поскольку существует взаимно однозначное соответствие между регулярными мерами Бореля в интервале и функциями ограниченной вариации (которое ставит в соответствие каждой функции ограниченной вариации соответствующую меру Лебега – Стилтьеса, а интеграл по мере Лебега – Стилтьеса согласуется) с интегралом Римана – Стилтьеса для непрерывных функций) сформулированная выше теорема обобщает исходное утверждение Ф. Рисса. (Историческое обсуждение см. В Gray (1984)).

Теорема о представлении непрерывного двойственного C₀(Икс)

Следующая теорема, также называемая Теорема Рисса – Маркова, дает конкретную реализацию топологическое двойственное пространство из C₀(Икс), множество непрерывные функции на Икс который исчезнуть в бесконечности. В Наборы Бореля в формулировке теоремы также относится к σ-алгебре, порожденной открыто наборы.

Если μ - комплексная счетно-аддитивная борелевская мера, то μ называется регулярной, если неотрицательная счетно-аддитивная мера | μ | является регулярным, как определено выше.

Теорема. Позволять Икс - локально компактное хаусдорфово пространство. Для любых непрерывных линейный функционал ψ на C₀(Икс) существует единственный обычный счетно-аддитивный комплекс Мера Бореля μ на Икс такой, что

${\displaystyle \forall f\in C_{0}(X):\qquad \psi (f)=\int _{X}f(x)\,d\mu (x).}$

Нормой ψ как линейного функционала является полное изменение μ, то есть

${\displaystyle \|\psi \|=|\mu |(X).}$

Наконец, ψ есть положительный тогда и только тогда, когда мера μ неотрицательна.

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

Рекомендации

• Фреше, М. (1907). "Sur les ensembles de fonctions et les opérations linéaires". C. R. Acad. Sci. Париж. 144: 1414–1416.
• Грей, Дж. Д. (1984). «Формирование теоремы о представлении Рисса: глава в истории анализа». Архив истории точных наук. 31 (2): 127–187. Дои:10.1007 / BF00348293.
• Хартиг, Дональд Г. (1983). "Повторное обращение к теореме Рисса о представлении". Американский математический ежемесячный журнал. 90 (4): 277–280. Дои:10.2307/2975760. JSTOR  2975760.; теоретико-категориальное представление как естественное преобразование.
• Какутани, Шизуо (1941). «Конкретное представление абстрактных (M) -пространств. (Характеризация пространства непрерывных функций.)». Анна. математики. Серия 2. 42 (4): 994–1024. Дои:10.2307/1968778. HDL:10338.dmlcz / 100940. JSTOR  1968778. МИСТЕР  0005778.
• Марков, А. (1938). «О средних значениях и внешних плотностях». Рек. Математика. Москва. Н.С. 4: 165–190. Zbl  0020.10804.
• Рис, Ф. (1907). "Sur une espèce de géométrie analytique des systèmes de fonctions sommables". C. R. Acad. Sci. Париж. 144: 1409–1411.
• Рис, Ф. (1909). "Sur les opérations fonctionnelles linéaires". C. R. Acad. Sci. Париж. 149: 974–977.
• Халмос, П. (1950). Теория измерения. Д. ван Ностранд и Ко.
• Вайсштейн, Эрик В. "Теорема о представлении Рисса". MathWorld.
• Рудин, Вальтер (1987). Реальный и комплексный анализ. ISBN  0-07-100276-6.