Теорема Безиковича о покрытии - Besicovitch covering theorem

В математический анализ, а Безикович крышка, названный в честь Абрам Самойлович Безикович, является открытая крышка подмножества E из Евклидово пространство р^N к мячи так что каждая точка E это центр некоторого шара в крышке.

В Теорема Безиковича о покрытии утверждает, что существует постоянная c_N в зависимости только от размера N со следующим свойством:

• Учитывая любое прикрытие Безиковича F ограниченного множества E, Существуют c_N подколлекции шаров А₁ = {B_п1}, …, А_cN = {B_пcN} содержалась в F так что каждая коллекция А_я состоит из непересекающихся шаров, а

${displaystyle Esubseteq igcup _{i=1}^{c_{N}}igcup _{Bin A_{i}}B.}$

Позволять грамм обозначают подколлекцию F состоящий из всех шаров из c_N непересекающиеся семьи А₁,...,А_cNСовершенно очевидно, что менее точное утверждение верно: каждая точка Икс ∈ р^N принадлежит самое большее c_N разные шары из подколлекции грамм, и грамм остается прикрытием для E (каждая точка у ∈ E принадлежит хотя бы одному шару из подколлекции грамм). Это свойство дает фактически эквивалентную форму теоремы (за исключением значения константы).

• Существует постоянная б_N в зависимости только от размера N со следующим свойством: для любого покрытия Безиковича F ограниченного множества E, есть подколлекция грамм из F такой, что грамм это обложка набора E и каждая точка Икс ∈ E принадлежит самое большее б_N разные шары из под прикрытия грамм.

Другими словами, функция S_грамм равный сумме индикаторные функции шаров в грамм больше чем 1_E и ограничен р^N постоянным б_N,

${displaystyle mathbf {1} _{E}leq S_{mathbf {G} }:=sum _{Bin mathbf {G} }mathbf {1} _{B}leq b_{N}.}$

Приложение к максимальным функциям и максимальным неравенствам

Пусть μ - Борелевская неотрицательная мера на р^N, конечны на компактных подмножествах и пусть ж - μ-интегрируемая функция. Определить максимальная функция ${displaystyle f^{*}}$ установив для каждого Икс (используя соглашение ${displaystyle infty imes 0=0}$)

${displaystyle f^{*}(x)=sup _{r>0}{Bigl (}mu (B(x,r))^{-1}int _{B(x,r)}|f(y)|,dmu (y){Bigr )}.}$

Эта максимальная функция ниже полунепрерывный, следовательно измеримый. Для любого λ> 0 выполняется следующее максимальное неравенство:

${displaystyle lambda ,mu {igl (}{x:f^{*}(x)>lambda }{igr )}leq b_{N},int |f|,dmu .}$

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

Набор E_λ из точек Икс такой, что ${displaystyle f^{*}(x)>lambda }$ явно допускает прикрытие Безиковича F_λ шариками B такой, что

${displaystyle int mathbf {1} _{B},|f| dmu =int _{B}|f(y)|,dmu (y)>lambda ,mu (B).}$

Для любого ограниченного борелевского подмножества Eиз E_λ, можно найти подколлекцию грамм извлечен из F_λ это покрывает E´ и такой, что S_грамм ≤ б_N, следовательно

${displaystyle {egin{aligned}lambda ,mu (E')&leq lambda ,sum _{Bin mathbf {G} }mu (B)&leq sum _{Bin mathbf {G} }int mathbf {1} _{B},|f|,dmu =int S_{mathbf {G} },|f|,dmu leq b_{N},int |f|,dmu ,end{aligned}}}$

откуда следует неравенство выше.

Имея дело с Мера Лебега на р^N, более привычно использовать более простой (и более старый) Лемма Витали о покрытии чтобы вывести предыдущее максимальное неравенство (с другой константой).

Смотрите также

• Лемма Витали о покрытии

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

• Безикович, А. С. (1945), "Общая форма принципа покрытия и относительного дифференцирования аддитивных функций, I", Труды Кембриджского философского общества, 41 (02): 103–110, Дои:10.1017 / S0305004100022453.
  • «Общая форма принципа покрытия и относительного дифференцирования аддитивных функций, II», Труды Кембриджского философского общества, 42: 205–235, 1946, Дои:10,1017 / с0305004100022660.
• ДиБенедетто, E (2002), Реальный анализ, Биркхойзер, ISBN  0-8176-4231-5.
• Фюреди, Z; Лоеб, П.А. (1994), "О наилучшей константе для теоремы Безиковича о покрытии", Труды Американского математического общества, 121 (4): 1063–1073, Дои:10.2307/2161215, JSTOR  2161215.