数学 › フーリエ解析と超関数 › 補間と古典的不等式

有限 Vitali 被覆補題

補題 4.3（「補間と古典的不等式」§4）・ ✓公理まで証明済み

$\mathbb{R}^n$ の開球の有限族 $B_1,\ldots,B_N$ から、互いに素な部分族 $B_{i_1},\ldots,B_{i_k}$ で $\bigcup_iB_i\subset\bigcup_j3B_{i_j}$ となるものが選べる（ $3B$ は同じ中心で半径 3 倍の球）。

本文で読む（証明と前後の説明）→

閉包の状態

✓ 公理まで証明済み

証明が使う定理を前提としてたどると、Rikai の中の証明だけで定義・公理（物理では基本仮定）までつながっています。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。

前提をたどる証明が使う定理・定義

証明は Rikai の他の定理を参照していません（定義と論理だけで示されています）。

これを使っている定理証明で参照している 2 件

極大関数の有界性✓定理 4.4・補間と古典的不等式
放物型円柱の有限 Vitali 被覆補題✓補題 5.4・Navier–Stokes 方程式 II