4.3. 具体例
Proposition4.3.1
uses 0used by 0XL∃∀N
Lean status
- No associated Lean code or declarations.
-
任意のコンパクト集合では内測度と外測度が一致する
-
任意の可算集合
Aに対して
\lambda_*(A)=0
である
-
特に
\QQ \cap [0,1]
は内測度 0 をもつ
Proof for Proposition 4.3.1
uses 0
-
直前の命題で示した．
-
第3章で可算集合の外測度は
0であることを示したから， 直前の系より
\lambda_*(A)=0
である．
-
(2) を
A=\QQ \cap [0,1]
に適用すればよい．