ヴィタリの被覆定理

数学において、**ヴィタリの被覆定理**（ヴィタリのひふくていり、*Vitali covering lemma*）は、ユークリッド空間の測度論でよく使われる組み合わせ幾何学における結果である。この定理の中間ステップにあたる**ヴィタリの被覆補題**も独立して興味深い結果とされている。被覆定理はイタリアの数学者ジュゼッペ・ヴィタリに由来する。
この定理はどんな **R***d* の部分集合 *E* も *E* の*ヴィタリ被覆*から取り出された互いに素な族によって、高々ルベーグ測度0の集合を残すまで被覆できることを主張する。

## ヴィタリの被覆補題

被覆補題には2つの基本的なバージョンがある、有限バージョンと無限バージョンである。この両方の補題は一般的な距離空間の設定で証明されるが、通常、これらの結果はユークリッド空間 \mathbb{R}^d の特別な場合に適用される。これらの定理において、ここでは次の表記を用いる: B = B(x,r) が球体で c \in \mathbb{R} なら cB で球体 B(x,cr) を表す。

### 有限バージョン
**定理 (有限被覆補題).** 距離空間において  B_{1}, \dots, B_{n}  を有限個の球体からなる族とする。このとき、その部分族  B_{j_{1}}, B_{j_{2}}, \dots, B_{j_{m}}  であってそれらが互いに素であって、
 B_{1}\cup B_{2}\cup\dots \cup B_{n}\subseteq 3B_{j_1} \cup 3B_{j_2} \cup \dots \cup 3B_{j_m}. 
を満たすものがとれる。

**証明:** 一般性を失うことなく、球体の族は空でないとしてよい; すなわち、*n*&nbsp;> 0とする。B_{j_1} を最大半径の球体とする。帰納的に、B_{j_1},\dots,B_{j_k} が選ばれていると仮定する。もしB_1,\dots,B_nに属する球体でB_{j_1}\cup B_{j_2}\cup\dots\cup B_{j_k}と互いに素なものがあったら、そのうち最大の半径を持つものをB_{j_{k+1}}と定める（同順位のものはどれでもよい）。互いに素なものがなかったら、*m*&nbsp;:= *k* と定めて帰納的定義を終了する。

そこでX:=\bigcup_{k=1}^m 3\,B_{j_k}と定める。あとは各 i=1,2,\dots,n について  B_i\subset X となっていることを示せばよい。i\in\{j_1,\dots,j_m\}のときは自明。そうでないとき、ある k \in \{1,\dots,m\} で B_i が B_{j_k} と交わっているものがあることになる。そのような最小の  k  を選ぶとこのとき B_{j_k} の半径は少なくとも B_i の半径以上であることに注意する。三角不等式によって、B_i\subset 3\,B_{j_k}\subset X が導かれ、これが求めていたものである。これで有限バージョンの証明が完了した。

### 無限バージョン
**定理 (無限被覆補題).**  \mathbf{F} を可分距離空間における球体の任意の集合族であって、 R := \sup \, \{ \mathrm{rad}(B) : B \in \mathbf{F} \}  であるものとする。ここで  \mathrm{rad}(B)  は球体 *B* の半径を表す。このとき、可算な部分集合族  \mathbf{G} \subset \mathbf{F} であって次のことを満たすものが存在する:  \mathbf{G} の元は互いに素であり、各 B \in \mathbf{F} はある C \in \mathbf{G} と交わり B \subset 5C を満たし、それにより 
 \bigcup_{B \in \mathbf{F}} B \subseteq \bigcup_{C \in \mathbf{G}} 5\,C.  
となる。

**証明:** **F** を部分族 **F***n*, *n*&nbsp;≥ 0 に次のようにして分割することを考える: 

 \mathbf{F}_n = \{ B \in \mathbf{F} : 2^{-n-1}R 

列 **G***n* (ただし **G***n*&nbsp;⊂ **F***n*)を次のように帰納的に定義する: 最初に、**H**0&nbsp;= **F**0 とし、**G**0 を **H**0 の互いに素な部分集合族で極大なものとする。(このような部分集合族はツォルンの補題によって取れる). **G**0,...,**G***n* が既に選ばれているとして、
: \mathbf{H}_{n+1} = \{ B \in \mathbf{F}_{n+1} : \ B \cap C = \emptyset, \ \ \forall C \in \mathbf{G}_0 \cup \mathbf{G}_1 \cup \dots \cup \mathbf{G}_n \}, 
と定義し、**G***n*+1 は**H***n*+1の互いに素な部分集合族で極大なものとする。**F** の部分集合族
:\mathbf{G} := \bigcup_{n=0}^\infty \mathbf{G}_n
は定理の要求を満たしている: **G** は互いに素であり、与えられている距離空間が可分なので可算な族である。そしてこのとき、任意の球体 *B*&nbsp;∈ **F** はある球体 *C*&nbsp;∈ **G** と交わり *B*&nbsp;⊂&nbsp;5*C* にもなっている。
というのも、B \in \mathbf{F} が与えられたとき、*B* はある *n* についての **F***n* に属する。ここで *B* が **H***n* に属していない場合, *n*&nbsp;> 0 かつ *B* は **G**0, ..., **G***n*−1 の和から取ったある球体と交わる。*B*&nbsp;∈ **H***n* の場合は **G***n* の極大性により、*B* は **G***n* に属するある球体と交わる。どちらの場合でも、*B* は **G**0, ..., **G***n* の和に属するある球体 *C* と交わる。その球体 *C* は半径が 2−*n*−1*R* より大きい。*B* の半径は 2−*n**R* 以下なので、三角不等式によって *B*&nbsp;⊂ 5*C* が言える。これが求めていたものであった。

**注意**
**無限バージョン*の証明は可分な距離空間で行ったが、可分な距離空間では互いに素な球体の族は必ず高々可算となる。可分でない空間において同様の議論を進めても互いに素な球体の部分族は得られるが、その場合はそれが可算になるとは限らない。
*定理の結果は球体の半径を有界にしておかないと成り立たない: 中心が**R***d*の原点 0 である球体全ての集まりを考える; ここから互いに素な集合族を作ろうとしても一つの球体しかとることができない。それを *B* としても 5&nbsp;*B* で最初の球体全てを覆うことはできない。
*5 という定数は最適のものというわけではない。**F***n* を定義するときのスケール 2−*n* を *c*−*n*(*c*&nbsp;> 1) に変更すれば、最後の値は 5 ではなく 1&nbsp;+&nbsp;2*c* を用いることができる。つまり 3 より大きい全ての定数で補題は成立する、ただしちょうど 3 では成立しない。
*さらに詳しく分析すると、最初の **F** が **R***d* の部分集合 *E* の *ヴィタリ被覆* であったとき、上の証明で定義される **G** は *E* を高々ルベーグ零集合を残すまで被覆できる。

### 応用と使い方

ヴィタリの補題の応用の一つはハーディ＝リトルウッドの極大不等式の証明である。この証明のように、ヴィタリの補題は次のような場合に良く使われる。例えば、*d*-次元ルベーグ測度 \lambda_d を *E*&nbsp;⊂ **R***d* に考えるとして、それがある球体の集まり  \{B_{j}:j\in J\} の和に含まれているなどして、より計算しやすい測度を持つまたは利用したい特別な性質を持つ場合である。もし、和の測度が計算できるなら *E* の測度の上界が分かる。しかしながら、互いに交わりを持つ集合の和の測度を計算するのは難しい。ヴィタリの補題によれば、互いに素な部分族  \left\{ B_{j} : j\in J' \right\}  であって \bigcup_{j\in J'}5 B_j\supset \bigcup_{j\in J} B_j\supset E となるものを選ぶことができる。従って、

: \lambda_d(E)\leq \lambda_d \biggl( \bigcup_{j\in J}B_{j} \biggr) \leq \lambda_d \biggl( \bigcup_{j\in J'}5B_{j} \biggr) \leq \sum_{j\in J'} \lambda_d(5 B_{j}).

ここで、*d*-次元球体の半径を5倍するとその体積は 5*d* 倍されるので、

: \sum_{j\in J'} \lambda_d(5B_{j}) = 5^d \sum_{j\in J'} \lambda_d(B_{j})

となり、

: \lambda_d(E) \leq 5^{d} \sum_{j\in J'}\lambda_d(B_{j}). 

となる。

## ヴィタリの被覆定理

被覆定理においては、与えられた集合 *E*&nbsp;⊆&nbsp;**R***d* を&nbsp;*E*&nbsp;の*ヴィタリ被覆*から取った互いに素な部分集合族によって*高々*"無視可能な集合"を残すまで覆いつくすことを目標とする。*E* の **ヴィタリクラス** または **ヴィタリ被覆**  \mathcal{V}  とは、それが集合の族であって、いかなる *x*&nbsp;∈&nbsp;*E* と *δ*&nbsp;&gt;&nbsp;0 についても、ある \mathcal{V} の元 *U* を *x*&nbsp;∈&nbsp;*U* かつ *U* の直径が&nbsp;*δ* 未満の正の値となるように取れるもののことである。

ヴィタリによる古典的な設定では 無視可能な集合とは*ルベーグの意味で無視可能な集合*、ルベーグ零集合のことである。しかし、以下の関連セクションで示されるように、ルベーグ測度以外の測度や **R***d* 以外の空間も今日までに考えられてきている。

次の観察は有用である: \mathcal{V} が *E* のヴィタリ被覆であり *E* が開集合 Ω&nbsp;⊆&nbsp;**R***d* に含まれているとき、\mathcal{V} の元 *U* で Ω に含まれているもの全体はまた *E* のヴィタリ被覆である。

### ルベーグ測度におけるヴィタリの被覆定理

次のルベーグ測度 *λ**d* についての被覆定理は  によるものである。**R***d* の可測集合からなる族  \mathcal{V}  が(ルベーグの意味で) *regular family* であるとは、定数 *C* で次を満たすものが存在することである: \mathcal{V} に属するいかなる集合 *V* に対しても
:\operatorname{diam}(V)^d \le C \, \lambda_d(V).

立方体全てからなる族は regular family \mathcal{V} の例である。**R**2 の長方形で縦横比がある固定された *m*&nbsp;≥&nbsp;1 についての *m*−1 と *m* の間に収まるもの全体 \mathcal{V}(m) なども例となる。**R***d* 上の任意のノルムが与えられているときのノルムに関連付けられた距離の球全体もまた例となる。これに対し、**R**2 の長方形全ての族は regular ではない。

 による元々の結果はこの定理の特別な場合である。それは *d*&nbsp;= 1 とし、\mathcal{V} が区間の集合であって、有限測度をもつ実数の部分集合 *E* のヴィタリ被覆となっている場合である.

上記定理は *E* が有限測度を持つことを仮定しなくとも成立する。というのも、各整数 *n*&nbsp;≥&nbsp;0 について *n*&nbsp;*n* に含まれている *E* の断片それぞれについて有限測度に対する被覆の結果を適用すればよいからである。

多少関連する定理としてベシコビッチの被覆定理がある。*A*&nbsp;⊆&nbsp;**R***d* の各点 *a* に対して、中心 *a* 半径 *r<sub>a</sub>* のユークリッド球体 *B*(*a*,&nbsp;*r<sub>a</sub>*) が割り当てられているとする。このとき、ヴィタリの被覆定理でのように、これらの球体たちの部分族は特定の方法で *A* を被覆するために選ばれる。ベシコビッチの被覆定理とヴィタリの被覆補題の主な違いは、一つは、ヴィタリの非交和性の要求は次の条件に緩和される。任意の点 *x*&nbsp;∈&nbsp;**R***d* を含んでいる選ばれた球体の数 *N**x* は次元 *d* にのみ依存する定数 *B**d* によっておさえられるという条件である; もう一つは、選ばれた球体が与えられた中心全ての集合 *A* を覆うというものである。

### ハウスドルフ測度に対するヴィタリの被覆定理

ルベーグ測度の代わりにハウスドルフ測度を考えるときにも似たようなオブジェクトを得ることができる。次の定理はそのような状況に適用できる。

さらに、*E* が有限な *s*-次元ハウスドルフ測度を持つとき、どんな *ε*&nbsp;&gt;&nbsp;0 についても、部分集合族{*U**j*} を

: H^{s}(E)\leq \sum_{j} \mathrm{diam} (U_{j})^{s}+\varepsilon.

となるように取れる。この定理は上で与えたルベーグの結果を導く。実際、*s*&nbsp;= *d* で **R***d* 上のハウスドルフ測度 *H**s* は*d*-次元ルベーグ測度の定数倍に一致する。もし、互いに素な族 \{U_{j}\} が regular であって、有限なルベーグ測度の可測な領域 *B* に含まれているなら、

:\sum_j \operatorname{diam}(U_j)^d \le C \sum_j \lambda_d(U_j) \le C \, \lambda_d(B) 

であり、前の定理の最初の仮定のにおける二つ目の可能性を除外するものである。それは *E* がルベーグの意味で無視可能な集合を残すまで、選ばれた互いに素な部分族によって被覆されることを導く。

### 被覆補題から被覆定理へ

被覆補題は次のヴィタリの被覆定理の基本形の証明における中間ステップで用いることができる。

**証明:** 一般性を失うことなく、**F** の球はいずれも退化しておらず半径は&nbsp;1 以下としてよい。被覆補題の無限バージョンにより、**F** の可算で互いに素なある部分族 \mathbf{G} が存在して、任意の球 *B*&nbsp;∈ **F** に対してある *C*&nbsp;∈ **G** があって *B*&nbsp;⊂&nbsp;5*C* となる。*r*&nbsp;> 0 を固定し、**G** のどの球にも属さず中心 0 の半径 *r* の開球 *B*(*r*) に属するような *z*&nbsp;∈ *E* の集合を *Z* で表すことにする。全ての *r* で *Z* がルベーグ零集合であることを示せばよい。

\mathbf{G}_r = \{ C_n\}_{n} で **G** に属する球で *B*(*r*) と交わるもの全体からなる部分族を表す。\mathbf{G}_r は高々可算であったことに注意する。*z*&nbsp;∈ *Z* を固定する。各 *N* について *z* は閉集合 K = \bigcup_{n \leq N} C_n には属していない。これは *Z* の定義により明らかである。しかしヴィタリ被覆の性質により、球 *B*&nbsp;∈ **F** で *z* を含んでいてかつ、*B*(*r*) に含まれていて *K* と交わらないものが取れる。**G** の性質により、球 *B* はある球 C_i \in \mathbf{G} と交わり 5C_i に含まれる。しかし *K* と *B* は交わらないため、*i > N* でなければならない。つまり、ある *i > N* について z \in 5C_i であり、

: Z \subset \bigcup_{n > N} 5C_n.
これによって、全ての *N* について次の不等式
: \lambda_d(Z) \le \sum_{n > N} \lambda_d(5C_n) = 5^d \sum_{n > N} \lambda_d(C_n). 

が成り立つ。しかし、\mathbf{G}_r の球は *B(r+2)* に含まれていて、それらは互いに素なので

:\sum_n \lambda_d(C_n) 

である。そうすると、先ほどの不等式の最右辺は *N* が無限大に近づくにつれて 0 に収束するので、*Z* はルベーグ零集合でなければならない。

### 無限次元空間において

ヴィタリの被覆定理は無限次元空間の設定においては正しくない。この方向の最初の結果は1979年デイビッド・プライスによって与えられた: (無限次元の) 可分 ヒルベルト空間 *H* 上のガウス測度 *γ* が (*H*,&nbsp;Borel(*H*),&nbsp;*γ*) に対してヴィタリの被覆定理が成立しないように存在する。この結果は2003年に Jaroslav Tišer によって強められた: 実は、どんな(無限次元)可分ヒルベルト空間の上でも*全ての*無限次元ガウス測度に対して、ヴィタリの被覆定理は成り立たない。

## 関連項目
*ベシコビッチの被覆定理

## 脚注

## 参考文献
*
*
*
*
*
*
*
*
* (Title translation) "*On groups of points and functions of real variables*" is the paper containing the first proof of Vitali covering theorem.