X X у Имеем требуемое неравенство. Теорема доказана.

При p = 2 получаем неравенство Коши в L²( x). Доказанные неравенства дают возможность ввести норму в

L^p (x).

Теорема 7

I

Функционал j( f(x)) = ([L\|\ f(x) \ dx)^p есть норма в

x

L^p (x).

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

1. Неотрицательность. \ f(x) \> 0 ^ j( f) > 0, "f e L^p(x) .

2. Отделимость. Если f(x) ~ 0, то \ f(x) \~ 0 , \ f(x) \^p~ 0 и j( f) = 0. Если j( f) = 0, то \ f(x) \^p ~ 0 ^ f(x) ~ 0 .

3. Абсолютная однородность.

1 1 P I p ( Г л p I^p

j(1f) = ([L]{\1 + (x)fdx 1 = \[L\\\1\^P \ f(x)\^p dx

x у v X

1

(\1\^p)iI [L]{\ f(x) \^p dx 1^p =\1\j(f).

'V|[ l

X

4. Субаддитивность.

j( f + g) < j( f) + j(g) и есть неравенство Минковского. Теорема доказана.

Итак, \\ f(x)\\= ([L]J\ f(x)\^pdx)^p.

X

Аналогично L²(X), можно доказать, что L^p(X) банахово. Сходимость по этой норме называется сходимостью в среднем порядка p. Запись: f_n(x) ——® f₀(x) . Эта норма не эвклидова.

Непрерывный линейный функционал в L^p (X), при p > 1 имеем вид

l( f (x)) = [ L]J f( x) g( x),

X

f_n (x) —— f₀(x) n®m[L]j fn(x)g(x)dx

[ L]J f (x) g( x)dx, g( x) e L^q (x).

X

f (x) g ( x)dx g (x). L (

X

Сопряженным пространством к L^p(X), p > 1 является L^q (x),- + - = 1.

p q

Таким образом, имеем целую шкалу пространств, суммируемых функций: L^p(X),1 < p < +¥.

В этой шкале особое место занимают I,( X) = L( X) и L²( X). Для p = 1, q = +¥, для p = 2, q = 2. Пространство L²( X) самосопряженное: (L²(X))' = I²(X). Для I¹(X) сопряженного среди I^p(X) нет, (I¹(X))' = I^¥ (X) - пространство измеримых ограниченных функций. Интересно, что аналогичная шкала существует среди пространств последовательностей.