62. Неравенства Гёльдера и Минковского.
Наряду с классом рассматривают часто класс измеримых функций у которых степень абсолютного значения (или модуля для комплексных функций), т. е. суммируема на Выведем сначала для сумм и интегралов неравенства, аналогичные неравенствам (67) и (69), для любого показателя , большего единицы.
Пусть а — некоторое положительное число. На плоскости XY рассмотрим кривую и проведем прямые параллельные осям (черт. 3). Эти прямые, координатные оси и упомянутая кривая ограничивают две плоские области, имеющие следующие площади:
Сумма этих площадей, как это непосредственно видно из чертежа, не меньше площади прямоугольника со сторонами а и b, т. е.
Обозначая можем переписать неравенство в виде
причем числа связаны, очевидно, соотношением
Ввиду произвольности положительного числа а, неравенство (116) справедливо для любых положительных связанных соотношением (117). Оба эти числа должны быть, очевидно, больше единицы. Если , то и неравенство (116) приводит к очевидному неравенству: Из черт. 3 следует, что знак формуле (116) имеет место в том и только в том случае, когда точка пересечения прямых лежит на кривой т. е. при . Положим далее, что положительные числа удовлетворяют соотношениям
Подставим в Суммируя по k и принимая во внимание (117) и (118), получим
Рассмотрим теперь любые положительные числа и обозначим
Числа удовлетворяют, очевидно, соотношениям (118), и мы имеем, следовательно, для них неравенство (119), которое в данном случае может быть записано в виде
т. е.
Переходя к пределу, получим аналогичное неравенство и для бесконечных сумм
причем считаем, что ряды, стоящие справа, сходятся. При этом и ряд, стоящий слева, в силу написанного неравенства, будет сходящимся. Некоторые из чисел могут равняться и нулю. Для комплексных чисел мы, пользуясь очевидным неравенством
Переходя к пределу для последовательности подразделений Лебега, получим
откуда и вытекает непосредственно (124).
Докажем еще неравенство, аналогичное неравенству (69) из [55]. Сначала рассмотрим случай сумм. Пусть, как и выше, последовательность положительных чисел. Суммируя очевидное равенство
получим
Применяя к суммам, стоящим справа, неравенство Гёльдера, придем к неравенству
Но, в силу , и последнее неравенство переписывается в виде
Деля обе части на множитель, стоящий перед квадратной скобкой, приходим к неравенству Минковского для сумм
Из этого неравенства совершенно так же, как и выше, следует интегральное неравенство Минковского при
если принять во внимание, что Неравенства (127) и (128) выведены нами в предположении . Они очевидны при но уже перестают быть справедливыми при
Пользуясь выведенными неравенствами, легко доказать для семейства функций свойства, которые мы раньше имели для
откуда и следует, что При доказательстве мы использовали тот факт, что мера множества, конечна.
Но в мы не имеем скалярного произведения, которое имели в .
Совершенно так же, аналогично мы можем ввести пространство элементы которого суть бесконечные последовательности комплексных чисел таких, что ряд, составленный из сходится. Он обладает при свойствами, аналогичными свойствам совершенно так же, как это выше имело место для по отношению к нет скалярного произведения и нет той связи с которая была нами установлена между Неравенства (106) и (107) заменяются неравенствами (122) и (127), в которых