維塔利覆蓋引理

數學上,維塔利(Vitali)覆蓋引理是一個組合幾何的結果,用於實分析中。這引理說給出一族,可以從中找到一族互不相交的球,將這些球半徑增加一定倍後,就能把其他的球都覆蓋住。

引理敘述

編輯

有限多球

編輯

在一個度量空間中有一族 ,則這一族球中存在互不相交的球 ,適合條件

 

 表示和 有相同中心,而半徑是 的三倍的球。

無限多球

編輯

在一個度量空間中有一族半徑為正數的閉球 ,這族球的半徑有有限的上界,即

 

則這一族球中存在互不相交的球  ,適合條件

 

 表示和 有相同中心,而半徑是 的五倍的球。

證明

編輯

有限情形

編輯

取這一族球中半徑最大的一個球 ,然後除去所有與 相交的球。再從剩下的球中取半徑最大的為 ,如此類推。那麼任何其他的球必定因為和某個 相交而被除去,這個球的半徑不大於 ,因此包含在 之內。

無限情形

編輯

設這一族球的半徑的上確界R。將這一族按半徑分成子集 j為正整數; 包含半徑在區間 的球。依次取 如下:

  1.  。取  內互不相交球的子集之中的極大者,即其他在 中的球都與這一子集中某個球相交。從佐恩引理知這樣的 存在,以下同。
  2. 設已取 k為某大於1的整數。設  中不與 中任何球相交的全部球的子集。取  內互不相交球的子集之中的極大者。

 。任何其他的球B必在某一個 中,因此這個球與 中一個球 相交,而 的半徑大於B的半徑的二分之一,故此B包含在 之內。

討論

編輯

因為有無限多球時,可能不存在半徑最大的球,所以在構造中,每一步選擇的球的半徑,只要求接近餘下的球的半徑的上確界。而結果中的5並非最佳常數。將 的定義中的 的2換成任何大於1的數c,那麼就可把結果中的5換成1+2c,即可以用任何大於3的數取代。不過由於未必有半徑最大的球,以致不能像有限多球時用3取代,以下是一個簡單例子。

例子

編輯

在平面 中,給出如下的一族球:對每個正整數n 是半徑為 的閉球,若n為奇數, 的圓心在 ;若n為偶數,則圓心在 。所有球都包含原點(0,0),故任意兩個球都相交,因此包含互不相交的球的子集只能有一個球。這一族球的半徑上確界是2,然而全部球的半徑都小於2。若選任何一個 為這個子集,因有半徑更大的球 在原點的另一側,故此 不覆蓋 

應用

編輯

這條引理用於證明哈代-李特爾伍德極大不等式

參見

編輯

參考

編輯
  • Evans, Lawrence C.; Gariepy, Ronald F. (1992). Measure Theory and Fine Properties of Functions. CRC Press.