Vitaliの被服定理の非有界の場合の証明方法

質問者は、Vitaliの被服定理における非有界の証明方法について疑問を持っています。この問題に対する理解を深めるために、Vitaliの被服定理の概要と非有界の場合のアプローチを解説します。

Vitaliの被服定理とは？

Vitaliの被服定理は、距離測度空間において、ある集合Aを可算個の閉球でほぼ至る所被覆する方法に関する定理です。この定理は、局所有限かつdoublingである測度μを持つ距離測度空間に適用されます。定理の要点は、与えられた集合Aが可算個の閉球でほぼ至る所被覆できることを示すことです。

有界の場合の証明

有界な場合、Aを有界な部分集合として分割し、それぞれに対応する閉球を選びます。各閉球を使って、ほぼ至る所Aを被覆する可算部分族Ψを選びます。この方法では、Aが有界であるため、各部分集合が有限の範囲内で収束します。

非有界の場合の証明方法

非有界な場合の証明には、Aを無限に分割する必要があります。まず、Aをx_0∈Xを固定して、A_n = A∩B(x_0,n)という形で分割します。各A_nは有界なので、前述の有界の場合と同じアプローチを適用できます。問題は、Ψ_nの集合が可算であること、またそれがAをほぼ至る所に被覆することを示す点です。

ここでの工夫は、Ω={ω⊂Ψ| ωは互いに素}という集合を定義し、ツォルンの補題を用いて、極大元Ψ’∈Ωを選びます。このようにして、可算で互いに素な部分族を取り、Aをほぼ至る所に被覆することができます。

まとめ

Vitaliの被服定理の非有界の場合の証明には、Aを無限に分割し、ツォルンの補題を利用することで、可算で互いに素な部分族を選ぶことができます。この方法を理解することで、Vitaliの被服定理の深い理解が得られます。