Лемма о восходящем солнце - Rising sun lemma

Иллюстрация, объясняющая, почему эта лемма называется «леммой о восходящем солнце».

В математический анализ, то лемма восходящего солнца это лемма из-за Фриджес Рис, использованный в доказательстве Максимальная теорема Харди – Литтлвуда.. Лемма была предвестником в одном измерении Лемма Кальдерона – Зигмунда..[1]

Лемма формулируется следующим образом.[2]

Предполагать грамм - вещественнозначная непрерывная функция на интервале [а,б] и S это набор Икс в [а,б] такое, что существует y∈(Икс,б] с грамм(y) > грамм(Икс). (Обратите внимание, что б не может быть в S, хотя а может быть.) Определить E = S ∩ (а,б).
потом E является открытым множеством, и его можно записать как счетное объединение непересекающихся интервалов
такой, что грамм(аk) = грамм(бk), пока не аk = аS для некоторых k, в таком случае грамм(а) < грамм(бk) для этого k. Кроме того, если Икс ∈ (аk,бk), тогда грамм(Икс) < грамм(бk).

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

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

Нам понадобится лемма: предположим [c,d) ⊂ S, но d ∉ S. потом грамм(c) < грамм(d). Для доказательства предположим грамм(c) ≥ грамм(d).Потом грамм достигает максимума на [c,d] в какой-то момент z < dzS, Существует y в (z,б] с грамм(z) < грамм(y). Если yd, тогда грамм не достигнет максимума на [c,d] в z.Таким образом, y ∈ (d,б], и грамм(d) ≤ грамм(z) < грамм(y).Это означает, что dSПротиворечие, доказывающее лемму.

Набор E открыто, поэтому состоит из счетного объединения непересекающихся интервалов (аk,бk).

Из леммы сразу следует, что грамм(Икс) < грамм(бk) за Икс в (аk,бk).С грамм непрерывно, мы также должны иметь грамм(аk) ≤ грамм(бk).

Если аkа или же аS, тогда аkS, так грамм(аk) ≥ грамм(бk), иначе аkS. Таким образом, грамм(аk) = грамм(бk) в этих случаях.

Наконец, если аk = аS, лемма говорит нам, что грамм(а) < грамм(бk).

Примечания

  1. ^ Штейн 1998
  2. ^ Видеть:

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

  • Дурен, Питер Л. (2000), Теория Hп Пространства, Нью-Йорк: Dover Publications, ISBN  0-486-41184-2
  • Гарлинг, Д.Дж. (2007), Неравенства: путь к линейному анализу, Издательство Кембриджского университета, ISBN  978-0-521-69973-0
  • Кореновский, А. А .; А. К. Лернер; А. М. Стоколос (ноябрь 2004 г.), «О многомерной форме леммы Ф. Рисса о« восходящем солнце »», Труды Американского математического общества, 133 (5): 1437–1440, Дои:10.1090 / S0002-9939-04-07653-1
  • Рис, Фредерик (1932), "Sur un Théorème de Maximum de Mm. Hardy et Littlewood", Журнал Лондонского математического общества, 7 (1): 10–13, Дои:10.1112 / jlms / s1-7.1.10, получено 2008-07-21
  • Штейн, Элиас (1998), «Сингулярные интегралы: роль Кальдерона и Зигмунда» (PDF), Уведомления Американского математического общества, 45 (9): 1130–1140.
  • Тао, Теренс (2011), Введение в теорию меры, Аспирантура по математике, 126, Американское математическое общество, ISBN  978-0821869192
  • Зигмунд, Антони (1977), Тригонометрический ряд. Vol. I, II (2-е изд.), Cambridge University Press, ISBN  0-521-07477-0