[過去ﾛｸﾞ] 代数的整数論 009 (1001ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
164(3): Kummer ◆g2BU0D6YN2 2008/01/20(日) 16:14:41 AAS
命題
E を実数体 R 上の局所凸位相線形空間とする。
E の任意の空でない閉凸集合 A はそれを含む閉半空間(>>150)全体の
共通集合である。
証明
x ∈ E - A とする。x は準コンパクトだから >>163 より
A と x を強分離する閉超平面 H が存在する。
証明終
上下前次1-新書関写板覧索設栞歴
あと 837 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 1.055s*