代数的整数論 013
■ このスレッドは過去ログ倉庫に格納されています
0030Kummer ◆g2BU0D6YN2
2009/07/14(火) 08:39:21K と L を Q_p のコンパクト集合とすると、
λ(K ∪ L) ≦ λ(K) + μ(L)
証明
>>7より、任意の ε > 0 に対して、
λ(U) < λ(K) + ε、K ⊂ U となるコンパクト開集合 U がある。
同様に
λ(V) < λ(L) + ε、L ⊂ V となるコンパクト開集合 V がある。
λ(K ∪ L) ≦ λ(U) + λ(V) < λ(K) + λ(L) + 2ε
ε はいくらでも小さく出来るから、
λ(K ∪ L) ≦ λ(K) + λ(L)
証明終
■ このスレッドは過去ログ倉庫に格納されています