Пространства интегрируемых функций

Пространство L₁

Определение

Пусть $$X$$ --- некоторое пространство с полной мерой $$\mu$$. Пространство $$L_{1}(X, \mu)$$ определяется как пространство измеримых функций, интегрируемых по Лебегу: \begin{equation*} L_{1}(X, \mu) = \left\lbrace f(x), x \in X: \exists \int\limits_{X} f(x)d \mu < \infty, \exists \int\limits_{X} \vert f(x) \vert d \mu < \infty \right\rbrace. \end{equation*}

Норма в данном пространстве определяется следующим образом:

\begin{equation*} \Vert f \Vert = \int\limits_{X} \vert f(x) \vert d \mu, \forall f(x) \in L_{1}(X, \mu). \end{equation*}

Полнота пространства L₁

Введем в пространстве $$L_{1}(X, \mu)$$ расстояние (метрику): \begin{equation*} \rho (f, g) = \Vert f-g \Vert_{L_{1}}, \forall f(x), g(x) \in L_{1}(X, \mu). \end{equation*}

Теорема о полноте пространства $$L_{1}$$

Пространство $$L_{1}(X, \mu)$$ является полным, то есть любая фундаментальная последовательность является сходящейся.

Доказательство. Рассмотрим $$\lbrace f_{n}(x) \rbrace$$ --- фундаментальная последовательность функций из $$L_{1}$$:

\begin{equation*} \Vert f_{n}-f_{m} \Vert \rightarrow 0, \text{ при } n,m \rightarrow \infty. \end{equation*}

Тогда можно выделить такую подпоследовательность $$\lbrace f_{n_{k}}\rbrace$$, что: \begin{equation}\label{eq1} \Vert f_{n_{k}}-f_{n_{k+1}} \Vert = \int\limits_{X} \vert f_{n_{k}}-f_{n_{k+1}} \vert d\mu < \frac{1}{2^{k}}. \end{equation}

Рассмотрим новую последовательность функций $$\lbrace g_{m} \rbrace$$, которые определяются следующим образом:

\begin{equation*} g_{m} (x) = \vert f_{n_{1}} (x) \vert + \vert f_{n_{2}} (x) - f_{n_{1}} (x) \vert + ... + \vert f_{n_{m}} (x) - f_{n_{m-1}} (x) \vert. \end{equation*}

Полученные функции $$g_{m}(x)$$ являются интегрируемыми, $$g_{m+1}(x) > g_{m}(x), \forall x \in X$$, и в силу (\ref{eq1}) справедливо: \begin{equation*} \int\limits_{X} g_{m}(x) d\mu \leqslant \Vert f_{n_{1}} \Vert + \frac{1}{2} + \frac{1}{4} + ... \leqslant \Vert f_{n_{1}} \Vert + 1. \end{equation*}

Используя теорему Леви, получаем сходимость почти всюду ряда \begin{equation*} \vert f_{n_{1}} (x) \vert + \vert f_{n_{2}} (x) - f_{n_{1}} (x) \vert + \vert f_{n_{3}} (x) - f_{n_{2}} (x) \vert + ... \end{equation*}

Тогда почти всюду сходится к некоторой функции и ряд без модулей \begin{equation*} f_{n_{1}} (x) + ( f_{n_{2}} (x) - f_{n_{1}} (x) ) + ( f_{n_{3}} (x) - f_{n_{2}} (x) ) + ... \Rightarrow \exists f(x) = \lim\limits_{k \rightarrow \infty} f_{n_{k}} (x). \end{equation*}

Докажем теперь, что подпоследовательность $$f_{n_{k}}$$ сходится в смысле метрики в $$L_{1}$$ (в среднем) к той же функции $$f(x)$$. Используя условие фундаментальности последовательности:

\begin{equation*} \forall \varepsilon > 0 \exists N: \forall k, l > N: \int\limits_{X} \vert f_{n_{k}} (x) - f_{n_{l}} (x)\vert d\mu < \varepsilon. \end{equation*} А также теорему Фату, переходя к пределу при $$l \rightarrow \infty$$ получаем:

\begin{equation*} \int\limits_{X} \vert f(x) \vert d\mu - \int\limits_{X} \vert f_{n_{k}}(x) \vert d\mu \leqslant \int\limits_{X} \vert f(x) - f_{n_{k}}(x) \vert d\mu \leqslant \varepsilon. \end{equation*}

Таким образом, функция $$f(x)$$ является интегрируемой и $$\lbrace f_{n_{k}} \rbrace$$ сходится к данной функции в среднем. Если фундаментальная последовательность содержит подпоследовательность, сходящуюся к некоторой функции, то и сама последовательность сходится к ней, что и требовалось доказать.

Пространство L₂

Определение

Пусть $$X$$ --- некоторое пространство с полной мерой $$\mu$$. Пространство $$L_{2}(X, \mu)$$ определяется как пространство функций, удовлетворяющих следующему условию: \begin{equation*} L_{2}(X, \mu) = \left\lbrace f(x), x \in X: \exists \int\limits_{X} \vert f(x) \vert^{2}d \mu < \infty \right\rbrace. \end{equation*}

Норма в данном пространстве определяется следующим образом:

\begin{equation*} \Vert f \Vert = \sqrt{\int\limits_{X} \vert f(x) \vert^{2} d \mu}, \forall f(x) \in L_{2}(X, \mu). \end{equation*}

Скалярное произведение в пространстве $$L_{2}$$ определяется следующим образом: \begin{equation*} \langle f, g \rangle = \int\limits_{X} f(x) \overline{g(x)} d \mu, \forall f(x), g(x) \in L_{2}(X, \mu). \end{equation*}

Гильбертовость пространства $$L_{2}$$

Пространство $$L_{2}(X, \mu)$$ является гильбертовым.

Доказательство Норма пространства $$L_{2}$$ выражается через скалярное произведение (то есть является полным относительно метрики): \begin{equation*} \Vert f \Vert = \sqrt{\langle f(x), f(x) \rangle}, \forall f(x) \in L_{2}(X, \mu). \end{equation*} Также, данное пространство является линейным, так как $$\forall f(x), g(x) \in L_{2}(X, \mu), \forall \alpha, beta \in \mathbb{R} \Rightarrow \alpha f(x) + \beta g(x) \in L_{2}(X, \mu)$$.

Таким образом, $$L_{2}(X, \mu)$$ является гильбертовым пространством по определению.

Пространство L_p

Определение

Пусть \(p \geqslant 1\). Рассмотрим множество функций \(L_p(X, \mu)\), интегрируемых в степени \(p\) (без модуля и с модулем).

\[\|f\|_{L_p} = \left(\int\limits_X |f(x)|^p d\mu\right)^{1/p}, \quad p > 1.\]

Пространства L_p

Определение

Пусть p ≥ 1. Рассмотрим множество функций Lp(X,μ), интегрируемых в степени p (без модуля и с модулем). \[\|f\|_{L_p} = \left(\int\limits_X |f(x)|^p d\mu\right)^{1/p},p \geqslant 0\]

Теорема (о неравенстве Гёльдера для интегралов）

Для любых функций \(f(x) \in L_p(X, \mu)\) и \(g(x) \in L_q(X, \mu)\), где \(p,q > 1\) и \(\frac{1}{p} + \frac{1}{q} = 1\), справедливо неравенство:

\[\left|\int\limits_X f(x)g(x)d\mu\right| \leqslant \|f\|_{L_p} \cdot \|g\|_{L_q}\]

Доказательство. Разобьём доказательство на несколько шагов:

1. Тривиальный случай: Если \(\|f\|_{L_p} = 0\) или \(\|g\|_{L_q} = 0\), то неравенство очевидно выполняется, так как левая часть будет равна нулю.

2. Основной случай: Для случая, когда нормы отличны от нуля, введем вспомогательные функции:

\[F = \frac{|f|}{\|f\|_{L_p}}, \quad G = \frac{|g|}{\|g\|_{L_q}}\]

Используя предыдущую лемму, получаем:

\[\int\limits_X FGd\mu \leqslant \int\limits_X \frac{F^p}{p}d\mu + \int\limits_X \frac{G^q}{q}d\mu\]

Подставляя определения F и G, получаем: \[\int\limits_X \frac{F^p}{p}d\mu = \frac{1}{p}, \quad \int\limits_X \frac{G^q}{q}d\mu = \frac{1}{q}\]

Следовательно: \[\int\limits_X FGd\mu \leqslant \frac{1}{p} + \frac{1}{q} = 1\]

Возвращаясь к исходным функциям:

\[\left|\int\limits_X fgd\mu\right| \leqslant \int\limits_X |fg|d\mu = \|f\|_{L_p} \cdot \|g\|_{L_q} \cdot \int\limits_X FGd\mu \leqslant \|f\|_{L_p} \cdot \|g\|_{L_q}\]

Что и требовалось доказать.

Теорема (о неравенстве Минковского для интегралов)

Для измеримых функций \(f, g \in L_p(X,\mu)\), где \(p \geqslant 1\), справедливо неравенство:

\[\|f + g\|_{L_p} \leqslant \|f\|_{L_p} + \|g\|_{L_p}\]

то есть:

\[\left(\int\limits_X |f(x) + g(x)|^p d\mu\right)^{1/p} \leqslant \left(\int\limits_X |f(x)|^p d\mu\right)^{1/p} + \left(\int\limits_X |g(x)|^p d\mu\right)^{1/p}\]

Замечание. Неравенство Минковского является аналогом неравенства треугольника для \(L_p\)-норм и показывает, что пространство \(L_p\) является нормированным.

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

Сначала докажем неравенство:

\[|f + g|^p \leqslant (|f| + |g|)^p \leqslant (2\max\{|f|, |g|\})^p \leqslant 2^p(|f|^p + |g|^p)\]

Следовательно, \(|f + g|^p\) интегрируема, а значит \(f + g \in L_p(X, \mu)\).

\[\|f + g\|^p_{L_p} = \int\limits_X |f + g|^p d\mu \leqslant \int\limits_X |f + g|^{p-1}(|f| + |g|)d\mu = \int\limits_X |f| \cdot |f + g|^{p-1}d\mu + \int\limits_X |g| \cdot |f + g|^{p-1}d\mu\]

Применяя неравенство Гёльдера с показателями \(p\) и \(q\), где \(\frac{1}{p} + \frac{1}{q} = 1\), получаем:

\[\|f + g\|^p_{L_p} \leqslant \|f\|_{L_p} \cdot \left(\int\limits_X |f + g|^{(p-1)q}d\mu\right)^{1/q} + \|g\|_{L_p} \cdot \left(\int\limits_X |f + g|^{(p-1)q}d\mu\right)^{1/q}\]

Поскольку \((p-1)q = p\), имеем:

\[\|f + g\|^p_{L_p} \leqslant \|f\|_{L_p} \cdot \|f + g\|^{p/q}_{L_p} + \|g\|_{L_p} \cdot \|f + g\|^{p/q}_{L_p}\]

\[\Rightarrow \|f + g\|^{p-p/q}_{L_p} = \|f + g\|_{L_p} \leqslant \|f\|_{L_p} + \|g\|_{L_p}\]

Что и требовалось доказать.

L_p свойства

1. (Неотрицательность и определенность): \[\|f\|_{L_p} \geqslant 0, \forall f; \|f\|_{L_p} = 0 \Leftrightarrow f(x) = 0\] почти всюду

2. (Однородность): \[\|cf\|_{L_p} = |c| \cdot \|f\|_{L_p}\]

3. (Неравенство треугольника): \[\|f + g\|_{L_p} \leqslant \|f\|_{L_p} + \|g\|_{L_p}\]

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

Замечание. Для доказательства неравенства треугольника потребуется неравенство Гёльдера для интегралов и неравенство Минковского для интегралов.

1. Доказательство неотрицательности и определенности:

а) Неотрицательность \(\|f\|_{L_p} \geqslant 0\) следует из определения: \[\|f\|_{L_p} = \left(\int\limits_X |f(x)|^p d\mu\right)^{1/p}\] Так как \(|f(x)|^p \geqslant 0\) и мера \(\mu\) неотрицательна, то интеграл неотрицателен, и после возведения в степень \(1/p\) результат также неотрицателен.

б) Для доказательства второй части:

• "\(\Rightarrow\)": Если \(\|f\|_{L_p} = 0\), то \(\int\limits_X |f(x)|^p d\mu = 0\). Поскольку подынтегральная функция неотрицательна, это возможно только если \(f(x) = 0\) почти всюду.
• "\(\Leftarrow\)": Если \(f(x) = 0\) почти всюду, то очевидно \(\|f\|_{L_p} = 0\).

2. Доказательство однородности:

\[\|cf\|_{L_p} = \left(\int\limits_X |cf(x)|^p d\mu\right)^{1/p} = \left(\int\limits_X |c|^p|f(x)|^p d\mu\right)^{1/p} = |c|\left(\int\limits_X |f(x)|^p d\mu\right)^{1/p} = |c| \cdot \|f\|_{L_p}\]

3. Доказательство неравенства треугольника:

Это неравенство уже доказано в теореме(о неравенстве Минковского для интегралов).

Замечание. Эти три свойства показывают, что \(\|\cdot\|_{L_p}\) действительно является нормой на пространстве \(L_p(X,\mu)\).

Сопряжённое пространство L_p

1. Общий случай (1 < p < \infty):

• Сопряжённое пространство \(L_p(\mu)\) естественно изоморфно \(L_q(\mu)\), где \(\frac{1}{p} + \frac{1}{q} = 1\)
• Изоморфизм \(\kappa_p : L_q(\mu) \to L_p(\mu)^*\) определяется как\[\kappa_p(g)(f) = \int fg\,d\mu\]
• Этот изоморфизм изометрический

2. Особые случаи:

• При \(p = 1\): если \(\mu\) есть \(\sigma\)-конечная мера, то сопряжённое пространство \(L_1(\mu)\) изометрически изоморфно \(L_\infty(\mu)\)
• При \(p = \infty\): сопряжённое пространство \(L_\infty(\mu)\) более сложное:
  • Может быть отождествлено с пространством ограниченных знакопеременных конечно-аддитивных мер, абсолютно непрерывных относительно \(\mu\)
  • В общем случае больше \(L_1(\mu)\)
  • В специальной теории множеств аксиоматике Цермело — Френкеля + DC + свойство Бэра, для пространства последовательностей имеем \((\ell_\infty)^* = \ell_1\)

Список литературы

1. Точилин П. А. Семинарские занятия по функциональному анализу, 2023г.

2. Моисеев Е. И. Лекции по функциональному анализу, 2021г.

3. Люстерник Л. А., Соболев В. И. Элементы функционального анализа. М: Наука, 1965.

4. Колмогоров А. Н., Фомин С. В. Элементы теории функций и функционального анализа. М: Наука, 1976.