[過去ログ]
代数的整数論 009 (1001レス)
代数的整数論 009 http://science6.5ch.net/test/read.cgi/math/1195560105/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
469: Kummer ◆g2BU0D6YN2 [] 2008/02/10(日) 10:05:18 命題 全有界(過去スレ006の302)な一様空間の族 (X_i), i ∈ I の積 X = ΠX_i は全有界である。 証明 X_i の分離完備化(過去スレ006の288)を (X_i)^ とする。 >>468 より X の分離完備化 X^ は Π(X_i)^ に標準的に同型である。 過去スレ006の312より各 (X_i)^ はコンパクトである。 Tychonoffの定理(>>432)より X^ はコンパクトである。 よって、過去スレ006の314より X は全有界である。 証明終 http://science6.5ch.net/test/read.cgi/math/1195560105/469
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 532 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.010s