[過去ﾛｸﾞ] 代数的整数論 009 (1001ﾚｽ)

代数的整数論 009 http://science6.5ch.net/test/read.cgi/math/1195560105/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

529: Kummer ◆g2BU0D6YN2 [] 2008/02/23(土) 16:17:03 定義 K を実数体または複素数体とする。 E と F を K 上の線形空間とする。 E と F は双線形形式 B に関して対(>>527)をなすとする。 y が F の元全体を動いたとき、写像を x → B(x, y) を連続にさせる E の最も粗い位相を対 (E, F) に関する E の弱位相と言い、 σ(E, F) と書く。 http://science6.5ch.net/test/read.cgi/math/1195560105/529

530: Kummer ◆g2BU0D6YN2 [] 2008/02/23(土) 16:22:59 K を実数体または複素数体とする。 E と F を K 上の線形空間とする。 E と F は双線形形式 B に関して対(>>527)をなすとする。 誤解の恐れがないときは B(x, y) を <x, y> と書く。 http://science6.5ch.net/test/read.cgi/math/1195560105/530

531: Kummer ◆g2BU0D6YN2 [] 2008/02/23(土) 16:51:36 命題 K を実数体または複素数体とする。 E と F を K 上の線形空間とする。 E と F は双線形形式 B に関して対(>>527)をなすとする。 E の弱位相(>>529) σ(E, F) により E は局所凸な位相線形空間になる。 証明 y ∈ F に対して p_y(x) = |<x, y>| は E の半ノルム(過去スレ007の458) である。 σ(E, F) は半ノルムの集合 { p_y | y ∈ F } で定義される (過去スレ007の469)。 過去スレ007の518より E は局所凸な位相線形空間である。 証明終 http://science6.5ch.net/test/read.cgi/math/1195560105/531

532: Kummer ◆g2BU0D6YN2 [] 2008/02/23(土) 17:03:38 命題 K を実数体または複素数体とする。 E と F を K 上の線形空間とする。 E と F は双線形形式 B に関して対(>>527)をなすとする。 E の弱位相(>>529) σ(E, F) が分離的であるためには、 対 (E, F) が E に関して分離的(>>528)であることが必要十分である。 証明 y ∈ F に対して p_y(x) = |<x, y>| は E の半ノルム(過去スレ007の458) である。 過去スレ007の535より、 σ(E, F) に関する 0 の閉包 {0}~ = { x ∈ E | すべての y ∈ F に対して p_y(x) = 0 } である。 よって、 {0}~ = { x ∈ E | すべての y ∈ F に対して <x, y> = 0 } である。 これから本命題の主張が得られる。 証明終 http://science6.5ch.net/test/read.cgi/math/1195560105/532

533: １３２人目の素数さん [sage] 2008/02/24(日) 01:01:25 a http://science6.5ch.net/test/read.cgi/math/1195560105/533

534: Kummer ◆g2BU0D6YN2 [] 2008/02/24(日) 07:07:16 命題 K を可換とは限らない体とする。 | | を K の自明でない絶対値(過去スレ006の414)とする。 E と F を K 上の位相線形空間とする。 H を E から F への線形写像の集合とする。 H が同程度連続(>>315)であるためには H が 0 で同程度連続であることが 十分である。 証明 H が 0 で同程度連続であるとする。 F の 0 の任意の近傍 V に対して E の 0 の近傍 W があり、 f(W) ⊂ V が任意の f ∈ H に対して成り立つ。 a を E の任意の点とする。 x - a ∈ W なら f(x - a) = f(x) - f(a) ∈ V が任意の f ∈ H に対して成り立つ。 これは H が a で同程度連続であることを意味する。 証明終 http://science6.5ch.net/test/read.cgi/math/1195560105/534

535: １３２人目の素数さん [sage] 2008/02/24(日) 07:30:49 b http://science6.5ch.net/test/read.cgi/math/1195560105/535

536: 亡国 [] 2008/02/24(日) 07:49:07 マルハン王国の闇http://jbbs.livedoor.jp/bbs/read.cgi/game/1733/1086581896/3-8 多店舗で展開する場合は方法に問題がある。 各店舗ごとに用意すればいいかもしれないが、それだけ 秘密の漏洩になる。 そこで考え出されたのは、ネットワークによる集中管理である。ネットワークであればその制御装置本体の 設置場所をホール内である必要もなくなる。 「マルハンの店頭公開利益を見込み、第三国経由で 資金調達をする。」 その役目を買って出たのが先のメンバーである。 新韓銀行と新韓生命保険が伊藤忠との三角取引で マルハンへ迂回するというもの。中国も関わっているらしいが 詳細は不明なままである。 金額は具体的に知らされていた。１回目が８００億円、 ２回目が５〜６００億円というものであった。 ◎ハンの今後の目標は売り上げ５兆円、500店舗、上場すること。 新スレ→○○○マルハンパチンコタワー渋谷パート１０○○○ ★★★★★このスレの解説★★★★★を読んでみるとよく判る。 http://money6.2ch.net/test/read.cgi/pachij/120←くっけて→1304777/559 http://science6.5ch.net/test/read.cgi/math/1195560105/536

537: Kummer ◆g2BU0D6YN2 [] 2008/02/24(日) 08:01:21 命題 K を可換とは限らない体とする。 | | を K の自明でない絶対値(過去スレ006の414)とする。 E と F を K 上の位相線形空間とする。 E と F の位相はそれぞれ半ノルムの集合Γと Γ' により定義される (過去スレ008の469)とする。 H を E から F への線形写像の集合とする。 H が同程度連続(>>315)であるためには次が成り立つことが必要十分である。 任意の q ∈ Γ' に対して p_i ∈ Γ, i = 1, . . . , n と a ＞ 0 があり、任意の x と 任意の f ∈ H に対して q(f(x)) ≦ a sup{ p_i(x) | i = 1, . . ., n } となる。 証明 条件が成り立てば H は 0 で同程度連続であるから >>534 より H は同程度連続である。 条件が必要なことを示す。 H は同程度連続であるから、任意の q ∈ Γ' と β ＞ 0 に対して p_i ∈ Γ, i = 1, . . . , n と α ＞ 0 があり、 sup{p_i(x) | i = 1, ..., n} ≦ α なら 任意の f ∈ H に対して q(f(x)) ≦ β となる。 p(x) = sup{p_i(x) | i = 1, ..., n} とおく。 （続く） http://science6.5ch.net/test/read.cgi/math/1195560105/537

538: Kummer ◆g2BU0D6YN2 [] 2008/02/24(日) 08:01:44 >>537 の続き。 | | は K の自明でない絶対値だから、 α = |λ| ＜ 1 となる λ ∈ K があると仮定してよい。 m を整数として、p(x) ≦ |λ|^(m+1) なら p(λ^(-m)x) ≦ |λ| q(f(λ^(-m)x)) ≦ β q(f(x)) ≦ β|λ|^m p(x) = 0 なら m はいくらでも大きく出来るから |λ|^m はいくらでも 0 に近づく。よって、q(f(x)) = 0 である。 p(x) ≠ 0 なら |λ|^(m+2) ＜ p(x) ≦ |λ|^(m+1) となる整数 m がある。 |λ|^m ＜ p(x)|λ|^(-2) よって、q(f(x)) ≦ β|λ|^m ＜ β|λ|^(-2)p(x) a = β|λ|^(-2) とおけばよい。 証明終 http://science6.5ch.net/test/read.cgi/math/1195560105/538

539: １３２人目の素数さん [sage] 2008/02/24(日) 08:03:59 c http://science6.5ch.net/test/read.cgi/math/1195560105/539

540: Kummer ◆g2BU0D6YN2 [] 2008/02/24(日) 08:19:22 命題 K を可換とは限らない体とする。 | | を K の自明でない絶対値(過去スレ006の414)とする。 E と F を K 上の位相線形空間とする。 E と F の位相はそれぞれ半ノルムの集合Γと Γ' により定義される (過去スレ008の469)とする。 H を E から F への線形写像の集合とする。 以下の条件はすべて同値である。 (1) H は同程度連続(>>315)である。 (2) 任意の q ∈ Γ' に対して p_i ∈ Γ, i = 1, . . . , n と a ＞ 0 があり、任意の x と 任意の f ∈ H に対して q(f(x)) ≦ a sup{ p_i(x) | i = 1, . . ., n } となる。 (3) 任意の q ∈ Γ' に対して E の 0 の近傍 W があり、 関数の集合 { qf | f ∈ H } は W において一様に有界である。 即ち β ＞ 0 があり任意の x ∈ W と任意の f ∈ H に対して q(f(x)) ≦ β となる。 (4) sup {qf | f ∈ H } は連続な半ノルムである。 証明 (1) と (2) の同値は >>537 で証明されている。 (2) ⇒ (3) は明らかである。 (3) ⇒ (2) は >>537 の証明から分かる。 (2) ⇒ (4) は明らかである。 (4) ⇒ (3) は明らかである。 証明終 http://science6.5ch.net/test/read.cgi/math/1195560105/540

541: １３２人目の素数さん [sage] 2008/02/24(日) 08:30:15 d http://science6.5ch.net/test/read.cgi/math/1195560105/541

542: Kummer ◆g2BU0D6YN2 [] 2008/02/24(日) 10:58:59 命題 K を可換とは限らない体とする。 E を K 上の左線形空間とする。 E^* = Hom(E, K) を E の双対空間とする。 E^* は K 上の右線形空間である。 x ∈ E, f ∈ E^* のとき f(x) を <x, f> で表す。 N を E の部分空間とする。 N' を N の直交補空間、つまり N' = { f ∈ E^* | 任意の x ∈ N に対して <x, f> = 0 } とする。 N' は E/N の双対 (E/N)^* に標準的に同型である。 証明 f ∈ N' は E/N の線形形式 f' を引き起こす。 これは明らかに同型である。 証明終 http://science6.5ch.net/test/read.cgi/math/1195560105/542

543: Kummer ◆g2BU0D6YN2 [] 2008/02/24(日) 11:13:49 命題 K を可換とは限らない体とする。 E を K 上の左線形空間とする。 E^* = Hom(E, K) を E の双対空間とする。 E^* は K 上の右線形空間である。 x ∈ E, f ∈ E^* のとき f(x) を <x, f> で表す。 N を E の部分空間とする。 N' を N の直交補空間、つまり N' = { f ∈ E^* | 任意の x ∈ N に対して <x, f> = 0 } とする。 N' が有限次元なら E/N も有限次元であり、 dim N' = dim E/N である。 証明 >>542 より N' は E/N の双対 (E/N)^* に標準的に同型である。 よって dim N' = dim (E/N)^* である。 よって (E/N)^* は有限次元である。 よって (E/N)^* の双対 (E/N)^** も有限次元である。 一方、標準単射 E/N → (E/N)^** がある。 (E/N)^** は有限次元だから E/N は有限次元である。 よって dim (E/N)^* = dim E/N である。 証明終 http://science6.5ch.net/test/read.cgi/math/1195560105/543

544: Kummer ◆g2BU0D6YN2 [] 2008/02/24(日) 11:27:18 命題 K を可換とは限らない体とする。 E を K 上の左線形空間とする。 E^* = Hom(E, K) を E の双対空間とする。 E^* は K 上の右線形空間である。 x ∈ E, f ∈ E^* のとき f(x) を <x, f> で表す。 M' を E^* の有限次元の部分空間とする。 N を M' の直交補空間、つまり N = { x ∈ E | 任意の f ∈ M' に対して <x, f> = 0 } とする。 N' を N の直交補空間、つまり N' = { f ∈ E^* | 任意の x ∈ N に対して <x, f> = 0 } とする。 このとき、M' = N' である。 証明 x ∈ E に対して ψ_x ∈ (M')^* を ψ_x(f) = <x, f> により定義する。 x に ψ_x を対応させる写像の核は N である。 よって dim E/N ≦ dim M' である。 一方、>>543 より dim N' = dim E/N である。 よって、dim N' ≦ dim M' である。 M' ⊂ N' であるから M' = N' である。 証明終 http://science6.5ch.net/test/read.cgi/math/1195560105/544

545: Kummer ◆g2BU0D6YN2 [] 2008/02/24(日) 11:51:13 命題 K を実数体または複素数体とする。 E と F を K 上の線形空間とする。 E と F は双線形形式 B に関して対(>>527)をなすとする。 σ(E, F) (>>529) に関して連続な E の任意の線形形式は x → <x, y>, y ∈ F の形に書ける。 対 (E, F) が F に関して分離的なら y は一意に決まる。 証明 f を σ(E, F) に関して連続な E の線形形式とする。 >>537 より a ＞ 0 と F の元 y_i, i = 1, . . ., n があり、 任意の x ∈ E に対して、 |f(x)| ≦ a sup{ |<x, y_i>| | i = 1, . . ., n } となる。 <x, y_i> = 0, i = 1, . . ., n なら f(x) = 0 である。 >>544 より f(x) = <x, y> と書ける。 ここで y は y_i, i = 1, . . ., n で生成される F の部分空間の ある元である。 対 (E, F) が F に関して分離的なら y は一意に決まることは明らかである。 証明終 http://science6.5ch.net/test/read.cgi/math/1195560105/545

546: Kummer ◆g2BU0D6YN2 [] 2008/02/24(日) 12:42:51 補題 z を複素数とする。 絶対値１の任意の複素数 ζ に対して Re(ζz) ≧ -1 なら |z| ≦ 1 である。 証明 仮定より絶対値１の任意の複素数 ζ に対して Re(-ζz) = -Re(ζz) ≧ -1 だから Re(ζz) ≦ 1 である。 よって |Re(ζz)| ≦ 1 である。 z ≠ 0 と仮定してよい。 z~ を z の共役とする。 ζ = z~/|z| の絶対値は１であり、 ζz = |z| である。 Re(ζz) = |z| だから上で述べたことより |z| ≦ 1 である。 証明終 http://science6.5ch.net/test/read.cgi/math/1195560105/546

547: １３２人目の素数さん [] 2008/02/24(日) 12:44:59 http://science6.5ch.net/test/read.cgi/math/1195560105/547

548: Kummer ◆g2BU0D6YN2 [] 2008/02/24(日) 13:01:35 K を実数体または複素数体とする。 E を K 上の局所凸位相線形空間とする。 E' を E の双対(>>65)とする。 M を E' の部分集合で同程度連続(>>315)とする。 >>11 より E の 0 の凸近傍で平衡的(過去スレ006の630)なもの V があり 任意の x ∈ V と任意の f ∈ M に対して |f(x)| ≦ 1 となる。 V は平衡的だから絶対値１の任意の複素数 ζ と 任意の x ∈ V と任意の f ∈ M に対して |f(ζx)| = |ζf(x)| ≦ 1 となる。 >>546 より、これは Re(f(x)) ≧ -1 と同値である。 http://science6.5ch.net/test/read.cgi/math/1195560105/548

549: Kummer ◆g2BU0D6YN2 [] 2008/02/24(日) 13:10:02 >>548 から次の定義に導かれる。 定義 K を実数体または複素数体とする。 E と F を K 上の線形空間とする。 E と F は双線形形式 B に関して対(>>527)をなすとする。 M を E の部分集合とする。 M゜= { y ∈ F | Re(<x, y>) ≧ -1 } を M の極集合と言う。 http://science6.5ch.net/test/read.cgi/math/1195560105/549

550: Kummer ◆g2BU0D6YN2 [] 2008/02/24(日) 18:01:49 命題 K を実数体または複素数体とする。 E と F を K 上の線形空間とする。 E と F は双線形形式 B に関して対(>>527)をなすとする。 M を E の部分集合とする。 M_1 を M ∪ {0} の凸包(過去スレ008の431)とする。 このとき、(M_1)゜= M゜である。 証明 (M_1)゜⊂ M゜は明らかである。 y ∈ M゜とする。 { x ∈ E | Re(<x, y>) ≧ -1 } は E の実半空間であるから凸であり、 M と {0} を含む。 従って M_1 を含む。 よって y ∈ (M_1)゜である。 証明終 http://science6.5ch.net/test/read.cgi/math/1195560105/550

551: Kummer ◆g2BU0D6YN2 [] 2008/02/24(日) 18:16:21 命題 E と F を複素数体上の線形空間とする。 E と F は双線形形式 B に関して対(>>527)をなすとする。 E_0 と F_0 をそれぞれ E と F を実数体上の線形空間と 見なしたものとする。 E_0 と F_0 は Re(B) に関して対をなす。 このとき弱位相(>>529) σ(E, F) と σ(E_0, F_0) は一致する。 証明 z = a + bi を複素数としたとき Re(iz) = -b である。 よって z = Re(z) - iRe(iz) よって、 <x, y> = Re(<x, y>) - iRe(i<x, y>) = Re(<x, y>) - iRe(<ix, y>) よって x → <x, y> が連続なことと x → Re(<x, y>) が連続なことは同値である。 証明終 http://science6.5ch.net/test/read.cgi/math/1195560105/551

552: Kummer ◆g2BU0D6YN2 [] 2008/02/24(日) 18:31:29 命題 K を実数体または複素数体とする。 E と F を K 上の線形空間とする。 E と F は双線形形式 B に関して対(>>527)をなすとする。 M を E の部分集合とする。 M の極集合(>>549) M゜は 0 を含み凸であり弱位相(>>529)で閉である。 証明 M の任意の元 x に対して Re(x, 0) = 0 ≧ -1 であるから 0 ∈ M゜である。 y → Re(<x, y>) は弱位相 σ(F, E) で連続であるから、 M_x = { y ∈ F | Re(x, y) ≧ -1 } は F の実半空間で σ(F, E) で閉である。 よって、M゜= ∩{ M_x | x ∈ M } は閉凸集合である。 証明終 http://science6.5ch.net/test/read.cgi/math/1195560105/552

553: Kummer ◆g2BU0D6YN2 [] 2008/02/24(日) 19:44:55 補題 K を実数体または複素数体とする。 E と F を K 上の線形空間とする。 E と F は双線形形式 B に関して対(>>527)をなすとする。 H をσ(E, F) (>>529) に関して閉な E の超平面(>>130)で 0 を含まないとする。 このとき y ∈ F があり、H = { x ∈ E | <x, y> = -1 } となる。 証明 H は 0 を含まない E の超平面だから E の線形形式 f と a ∈ K, a ≠ 0 があり、H = { x ∈ E | f(x) = a } となる。 f を -(1/a)f で置き換えて a = -1 としてよい。 H は閉だから >>148 より f は連続である。 >>545 より f は x → <x, y>, y ∈ F の形に書ける。 よって、H = { x ∈ E | <x, y> = -1 } となる。 証明終 http://science6.5ch.net/test/read.cgi/math/1195560105/553

554: Kummer ◆g2BU0D6YN2 [] 2008/02/24(日) 20:17:27 定理(双極定理) K を実数体または複素数体とする。 E と F を K 上の線形空間とする。 E と F は双線形形式 B に関して対(>>527)をなすとする。 M を E の部分集合とする。 M の極集合(>>549)の極集合 M゜゜は M ∪ {0} の凸包(過去スレ008の431) の弱位相(>>529)に関する閉包である。 証明 明らかに M ∪ {0} ⊂ M゜゜である。 M ∪ {0} の凸包の弱位相に関する閉包を N とする。 >>552 より N ⊂ M゜゜である。 a を E の元で N に含まれないとする。 >>163 より a と N を強分離(>>151)する閉実超平面 H が存在する。 H は 0 を含まないから実双線形形式 Re(<x, y>) に >>553 を適用すると y ∈ F があり、H = { x ∈ E | Re(<x, y>) = -1 } となる。 よって N ⊂ { x ∈ E | Re(<x, y>) ＞ -1 } となり、 Re(<a, y>) ＜ -1 となる。 よって、 y ∈ M゜であり、a は M゜゜に含まれない。 即ち N = M゜゜である。 証明終 http://science6.5ch.net/test/read.cgi/math/1195560105/554

555: １３２人目の素数さん [sage] 2008/02/24(日) 22:56:25 e http://science6.5ch.net/test/read.cgi/math/1195560105/555

556: Kummer ◆g2BU0D6YN2 [] 2008/02/24(日) 23:13:02 訂正 >>544 >一方、>>543 より dim N' = dim E/N である。 dim E/N ≦ dim M' だから dim E/N は有限である。 よって dim E/N = dim (E/N)^* である。 >>542 より N' は (E/N)^* に標準的に同型である。 よって、dim N' = dim E/N である。 http://science6.5ch.net/test/read.cgi/math/1195560105/556

557: １３２人目の素数さん [sage] 2008/02/25(月) 14:11:29 f http://science6.5ch.net/test/read.cgi/math/1195560105/557

558: １３２人目の素数さん [sage] 2008/02/25(月) 21:18:34 g http://science6.5ch.net/test/read.cgi/math/1195560105/558

559: Kummer ◆g2BU0D6YN2 [] 2008/03/02(日) 10:33:55 K を実数体または複素数体とする。 E を K 上の局所凸線形空間とする。 E' を E の双対(>>65)とする。 E×E' 上の双線形形式 B(x, f) を B(x, f) = f(x) で定義することにより E と E' は対(>>527)をなす。 今後、特に断らない限り E と E' の対はこの双線形形式 B に関するもの とする。 対 (E, E') は位相線形空間論において主要な研究対象の一つである。 明らかに対 (E, E') は E' に関して分離的(>>528)である。 対 (E, E') が E に関して分離的であるための条件を調べる そのためにHahn-Banachの定理(>>104)の系を用意する。 http://science6.5ch.net/test/read.cgi/math/1195560105/559

560: king氏ね [king氏ね] 2008/03/02(日) 10:58:19 king氏ね http://science6.5ch.net/test/read.cgi/math/1195560105/560

561: Kummer ◆g2BU0D6YN2 [] 2008/03/02(日) 11:33:32 命題(Hahn-Banachの定理(>>104)の系) K を実数体または複素数体とする。 E を K 上の線形空間とする。 x_0 を E の点とし、 p を E 上の半ノルム(過去スレ008の458)とする。 このとき E 上の線形形式 f で f(x_0) = p(x_0) となり任意の x ∈ E に対して |f(x)| ≦ p(x) と なるものが存在する。 証明 M = { λx_0 | λ ∈ K }を x_0 で生成される E の部分線形空間とする。 g(λx_0) = λp(x_0) により M 上の線形形式 g を定義する。 x = λx_0, λ ∈ K としたとき |g(x)| = |λ|p(x_0) = p(x) Hahn-Banachの定理(>>104)より E 上の線形形式 f で g の拡張であり 任意の x ∈ E に対して |f(x)| ≦ p(x) となるものがある。 f は g の拡張だから f(x_0) = g(x_0) = p(x_0) である。 証明終 http://science6.5ch.net/test/read.cgi/math/1195560105/561

562: Kummer ◆g2BU0D6YN2 [] 2008/03/02(日) 11:59:21 命題(Hahn-Banachの定理(>>104)の系) K を実数体または複素数体とする。 E を K 上の局所凸線形空間とする。 x_0 ∈ E - {0}~ とする。 ここで {0}~ は 0 の閉包である。 このとき E 上の連続な線形形式 f で f(x_0) ≠ 0 となるものが 存在する。 証明 過去スレ008の535より E 上の連続な半ノルム p で p(x_0) ≠ 0 と なるものが存在する。 >>561 より E 上の線形形式 f で f(x_0) = p(x_0) となり任意の x ∈ E に対して |f(x)| ≦ p(x) と なるものが存在する。 p は連続だから f も連続である。 証明終 http://science6.5ch.net/test/read.cgi/math/1195560105/562

563: Kummer ◆g2BU0D6YN2 [] 2008/03/02(日) 12:16:01 命題 K を実数体または複素数体とする。 E を K 上の分離的な局所凸線形空間とする。 対 (E, E') (>>559) は E に関して分離的である。 証明 E は分離的だから {0} は閉集合である。 よって >>562 より E の元 x_0 ≠ 0 に対して E 上の連続な線形形式 f で f(x_0) ≠ 0 となるものが存在する。 即ち、対 (E, E') は E に関して分離的である。 証明終 http://science6.5ch.net/test/read.cgi/math/1195560105/563

564: 1stVirtue ◆.NHnubyYck [] 2008/03/02(日) 16:30:52 Reply:>>560 お前に何がわかるというのか。 http://science6.5ch.net/test/read.cgi/math/1195560105/564

565: Kummer ◆g2BU0D6YN2 [] 2008/03/02(日) 17:30:08 命題 E を 実数体上の局所凸線形空間とする。 E' を E の双対(>>65)とする。 E と E' は対をなす(>>559)。 A を E の凸な部分集合とする。 E の通常の位相で A が閉であることと E の弱位相 σ(E, E') (>>529) で 閉であることは同値である。 証明 >>545 より σ(E, E') に関して連続な E の線形形式全体は E' と一致する。 >>164 より本命題の主張が得られる。 証明終 http://science6.5ch.net/test/read.cgi/math/1195560105/565

566: Kummer ◆g2BU0D6YN2 [] 2008/03/02(日) 18:01:34 命題 E を 複素数体上の局所凸線形空間とする。 E' を E の双対(>>65)とする。 E と E' は対をなす(>>559)。 A を E の凸な部分集合とする。 E の通常の位相で A が閉であることと E の弱位相 σ(E, E') (>>529) で 閉であることは同値である。 証明 E_0 と E'_0 をそれぞれ E と E' を実数体上の線形空間と 見なしたものとする。 E_0 と E'_0 は実双線形形式 (x, f) → Re(<x, f>) により対をなす。 >>551 より σ(E, E') と σ(E_0, E'_0) は一致する。 >>545 より σ(E_0, E'_0) に関して連続な E_0 の実線形形式 g に 対して f ∈ E' が存在し、任意の x ∈ E に対して g(x) = Re(<x, f>) となる。従って、g は E_0 の通常の位相でも連続である。 逆に E_0 の通常の位相で連続な E_0 の実線形形式 g に対して >>102 より 任意の x ∈ E に対して g(x) = Re(<x, f>) となる E 上の複素線形形式 f が一意に存在する。 >>102 の証明から、任意の x ∈ E に対して f(x) = g(x) - ig(ix) であるから f は E の通常の位相で連続である。即ち、f ∈ E' である。 よって、g は σ(E_0, E'_0) に関して連続である。 以上から E_0 の通常の位相で閉な E_0 の超平面全体と σ(E_0, E'_0) に関して閉な E_0 の超平面全体は一致する。 よって、>>164 より本命題の主張が得られる。 証明終 http://science6.5ch.net/test/read.cgi/math/1195560105/566

567: １３２人目の素数さん [sage] 2008/03/02(日) 23:30:54 h http://science6.5ch.net/test/read.cgi/math/1195560105/567

568: １３２人目の素数さん [sage] 2008/03/03(月) 11:57:28 i http://science6.5ch.net/test/read.cgi/math/1195560105/568

569: １３２人目の素数さん [sage] 2008/03/04(火) 07:30:58 j http://science6.5ch.net/test/read.cgi/math/1195560105/569

570: Kummer ◆g2BU0D6YN2 [] 2008/03/04(火) 20:57:39 命題 K を実数体または複素数体とする。 E を K 上のの位相線形空間とする。 B を E における樽(過去スレ008の598)とする。 このとき、下半連続(過去スレ008の113)な半ノルム(過去スレ008の458) p で B = { x ∈ E | p(x) ≦ 1 } となるものが一意に存在する。 p が連続となるためには B が 0 の近傍であることが必要十分である。 証明 任意の x ∈ E に対して、p(x) = inf { α ＞ 0 | x ∈ αB } とおく。 >>19 より p が下半連続であることを示せばよい。 B = { x ∈ E | p(x) ≦ 1 } であるから、 任意の α ＞ 0 に対して αB = { x ∈ E | p(x) ≦ α } である。 B は閉集合だから αB も閉集合である。 よって、{ x ∈ E | p(x) = 0 } = ∩{αB | α ＞ 0} も閉集合である。 α ＜ 0 のときは { x ∈ E | p(x) ≦ α } は空集合である。 以上から任意の実数 α に対して { x ∈ E | p(x) ≦ α } は閉集合である。 過去スレ008の114から p は下半連続である。 証明終 http://science6.5ch.net/test/read.cgi/math/1195560105/570

571: Kummer ◆g2BU0D6YN2 [] 2008/03/04(火) 21:20:33 定義 E を実数体または複素数体上の位相線形空間とする。 E' をその双対(>>65)とする。 E' 上の弱位相(>>66)で有界(>>35)な E' の部分集合を弱有界と言う。 E' 上の強位相(>>66)で有界な E' の部分集合を強有界と言う。 http://science6.5ch.net/test/read.cgi/math/1195560105/571

572: Kummer ◆g2BU0D6YN2 [] 2008/03/04(火) 22:32:02 >>549 を訂正する。 定義 K を実数体または複素数体とする。 E と F を K 上の線形空間とする。 E と F は双線形形式 B に関して対(>>527)をなすとする。 M を E の部分集合とする。 M゜= { y ∈ F | 任意の x ∈ M に対して Re(<x, y>) ≧ -1 } を M の極集合と言う。 http://science6.5ch.net/test/read.cgi/math/1195560105/572

573: Kummer ◆g2BU0D6YN2 [] 2008/03/04(火) 22:52:22 命題 K を実数体または複素数体とする。 E と F を K 上の線形空間とする。 E と F は双線形形式 B に関して対(>>527)をなすとする。 M を E の平衡的(過去スレ006の630)な部分集合とする。 M゜を M の極集合(>>572)とする。 M゜= { y ∈ F | 任意の x ∈ E に対して |<x, y>| ≦ 1 } であり、 M゜は平衡的な凸集合であり σ(E, F) で閉である。 証明 定義(>>572)から M゜= { y ∈ F | 任意の x ∈ M に対して Re(<x, y>) ≧ -1 } である。 K が実数体のときは、任意の x ∈ M に対して -x ∈ M だから y ∈ F のとき Re(-<x, y>) = Re(<-x, y>) より、 M゜= { y ∈ F | 任意の x ∈ E に対して |<x, y>| ≦ 1 } である。 K が複素数体のときは、λ ∈ K, |λ| = 1 のとき 任意の x ∈ M に対して λx ∈ M だから >>546 より M゜= { y ∈ F | 任意の x ∈ E に対して |<x, y>| ≦ 1 } である。 以上から M゜が平衡的であることは明らかである。 >>552より M゜は凸集合であり σ(E, F) で閉である。 証明終 http://science6.5ch.net/test/read.cgi/math/1195560105/573

574: １３２人目の素数さん [sage] 2008/03/05(水) 13:45:58 k http://science6.5ch.net/test/read.cgi/math/1195560105/574

575: １３２人目の素数さん [sage] 2008/03/05(水) 23:40:29 l http://science6.5ch.net/test/read.cgi/math/1195560105/575

576: １３２人目の素数さん [sage] 2008/03/08(土) 05:31:22 m http://science6.5ch.net/test/read.cgi/math/1195560105/576

577: １３２人目の素数さん [sage] 2008/03/08(土) 20:51:36 n http://science6.5ch.net/test/read.cgi/math/1195560105/577

578: １３２人目の素数さん [sage] 2008/03/08(土) 21:37:17 abcdefghijklmnopqrstuvwxyz http://science6.5ch.net/test/read.cgi/math/1195560105/578

579: １３２人目の素数さん [sage] 2008/03/08(土) 21:37:45 abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz http://science6.5ch.net/test/read.cgi/math/1195560105/579

580: １３２人目の素数さん [sage] 2008/03/08(土) 21:38:14 abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz http://science6.5ch.net/test/read.cgi/math/1195560105/580

581: １３２人目の素数さん [sage] 2008/03/08(土) 21:38:53 abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz http://science6.5ch.net/test/read.cgi/math/1195560105/581

582: １３２人目の素数さん [sage] 2008/03/08(土) 21:40:05 abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz http://science6.5ch.net/test/read.cgi/math/1195560105/582

583: １３２人目の素数さん [sage] 2008/03/08(土) 21:42:33 abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz http://science6.5ch.net/test/read.cgi/math/1195560105/583

584: １３２人目の素数さん [sage] 2008/03/08(土) 21:46:06 abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz http://science6.5ch.net/test/read.cgi/math/1195560105/584

585: １３２人目の素数さん [sage] 2008/03/08(土) 21:51:10 abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz a http://science6.5ch.net/test/read.cgi/math/1195560105/585

586: １３２人目の素数さん [sage] 2008/03/08(土) 21:51:36 abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz ab http://science6.5ch.net/test/read.cgi/math/1195560105/586

587: １３２人目の素数さん [sage] 2008/03/08(土) 21:52:00 abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abc http://science6.5ch.net/test/read.cgi/math/1195560105/587

588: １３２人目の素数さん [sage] 2008/03/09(日) 03:30:31 o http://science6.5ch.net/test/read.cgi/math/1195560105/588

589: １３２人目の素数さん [sage] 2008/03/09(日) 11:45:26 abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abc http://science6.5ch.net/test/read.cgi/math/1195560105/589

590: １３２人目の素数さん [sage] 2008/03/09(日) 11:47:57 abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abc http://science6.5ch.net/test/read.cgi/math/1195560105/590

591: １３２人目の素数さん [sage] 2008/03/09(日) 23:35:07 p http://science6.5ch.net/test/read.cgi/math/1195560105/591

592: １３２人目の素数さん [sage] 2008/03/10(月) 23:28:38 abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abc http://science6.5ch.net/test/read.cgi/math/1195560105/592

593: １３２人目の素数さん [sage] 2008/03/10(月) 23:29:20 abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abc http://science6.5ch.net/test/read.cgi/math/1195560105/593

594: １３２人目の素数さん [sage] 2008/03/11(火) 11:56:22 q http://science6.5ch.net/test/read.cgi/math/1195560105/594

595: １３２人目の素数さん [sage] 2008/03/11(火) 22:17:50 abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abc http://science6.5ch.net/test/read.cgi/math/1195560105/595

596: １３２人目の素数さん [sage] 2008/03/11(火) 22:19:51 abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abc http://science6.5ch.net/test/read.cgi/math/1195560105/596

597: １３２人目の素数さん [sage] 2008/03/12(水) 00:40:25 r http://science6.5ch.net/test/read.cgi/math/1195560105/597

598: １３２人目の素数さん [sage] 2008/03/12(水) 10:39:05 s http://science6.5ch.net/test/read.cgi/math/1195560105/598

599: １３２人目の素数さん [sage] 2008/03/12(水) 20:41:09 t http://science6.5ch.net/test/read.cgi/math/1195560105/599

600: １３２人目の素数さん [sage] 2008/03/12(水) 23:52:02 abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abc http://science6.5ch.net/test/read.cgi/math/1195560105/600

601: １３２人目の素数さん [sage] 2008/03/13(木) 13:20:19 u http://science6.5ch.net/test/read.cgi/math/1195560105/601

602: １３２人目の素数さん [sage] 2008/03/14(金) 00:23:00 v http://science6.5ch.net/test/read.cgi/math/1195560105/602

603: １３２人目の素数さん [sage] 2008/03/14(金) 08:23:32 w http://science6.5ch.net/test/read.cgi/math/1195560105/603

604: １３２人目の素数さん [sage] 2008/03/15(土) 10:16:34 x http://science6.5ch.net/test/read.cgi/math/1195560105/604

605: １３２人目の素数さん [sage] 2008/03/15(土) 20:13:36 abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abc http://science6.5ch.net/test/read.cgi/math/1195560105/605

606: １３２人目の素数さん [sage] 2008/03/15(土) 20:14:29 abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abc http://science6.5ch.net/test/read.cgi/math/1195560105/606

607: １３２人目の素数さん [sage] 2008/03/15(土) 20:15:03 abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abc http://science6.5ch.net/test/read.cgi/math/1195560105/607

608: １３２人目の素数さん [sage] 2008/03/15(土) 20:15:39 abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abc http://science6.5ch.net/test/read.cgi/math/1195560105/608

609: １３２人目の素数さん [sage] 2008/03/15(土) 20:18:23 abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abcdefghijklmnopqrstuvwxyzabcdefghijklmnopqrstuvwxyz abc http://science6.5ch.net/test/read.cgi/math/1195560105/609

610: Kummer ◆g2BU0D6YN2 [] 2008/03/16(日) 13:49:40 >>566 の証明は良くないので無視してください。 >>566 の命題は正しいが後で直接使うかどうか不明なのでやはり今のところ 無視してください。 http://science6.5ch.net/test/read.cgi/math/1195560105/610

611: Kummer ◆g2BU0D6YN2 [] 2008/03/16(日) 13:54:37 命題 K を実数体上の局所凸線形空間とする。 E' を E の双対(>>65)とする。 E と E' は対をなす(>>559)。 M を E の部分集合とする。 M の凸包の閉包と M の凸包の弱位相σ(E, E')による閉包は一致する。 証明 >>164 より M の凸包の閉包は M を含む閉半空間(>>150)全体の 共通集合である。 >>531 より E は弱位相σ(E, E')で局所凸な位相線形空間になる。 >>164 より M の凸包のσ(E, E')による閉包は M を含む閉半空間全体の 共通集合である。 >>545 より σ(E, E') に関して連続な E の線形形式全体は E' と一致する。 よって、E の通常位相に関する閉半空間とσ(E, E')による閉半空間は 同じものである。 これから本命題が得られる。 証明終 http://science6.5ch.net/test/read.cgi/math/1195560105/611

612: Kummer ◆g2BU0D6YN2 [] 2008/03/16(日) 13:55:54 >>611 >K を実数体上の局所凸線形空間とする。 E を実数体上の局所凸線形空間とする。 http://science6.5ch.net/test/read.cgi/math/1195560105/612

613: Kummer ◆g2BU0D6YN2 [] 2008/03/16(日) 14:15:28 命題 E を複素数体上の局所凸線形空間とする。 E' を E の双対(>>65)とする。 E と E' は対をなす(>>559)。 M を E の部分集合とする。 M の凸包の閉包と M の凸包の弱位相σ(E, E')による閉包は一致する。 証明 E_0 と E'_0 をそれぞれ E と E' を実数体上の線形空間と 見なしたものとする。 E_0 と E'_0 は実双線形形式 (x, f) → Re(<x, f>) により対をなす。 >>551 より σ(E, E') と σ(E_0, E'_0) は一致する。 >>545 より σ(E_0, E'_0) に関して連続な E_0 の実線形形式 g に 対して f ∈ E' が存在し、任意の x ∈ E に対して g(x) = Re(<x, f>) となる。従って、g は E_0 の通常の位相でも連続である。 逆に E_0 の通常の位相で連続な E_0 の実線形形式 g に対して >>102 より 任意の x ∈ E に対して g(x) = Re(<x, f>) となる E 上の複素線形形式 f が一意に存在する。 >>102 の証明から、任意の x ∈ E に対して f(x) = g(x) - ig(ix) であるから f は E の通常の位相で連続である。即ち、f ∈ E' である。 よって、g は σ(E_0, E'_0) に関して連続である。 以上から E_0 の通常の位相で閉な E_0 の超平面全体と σ(E_0, E'_0) に関して閉な E_0 の超平面全体は一致する。 よって >>611 の証明と同様にして本命題が得られる。 証明終 http://science6.5ch.net/test/read.cgi/math/1195560105/613

614: Kummer ◆g2BU0D6YN2 [] 2008/03/16(日) 14:19:00 >>610 >>>566 の証明は良くないので無視してください。 >>566 の証明は >>613 で使ったのでそれほど悪くはないかもしれない （苦笑） http://science6.5ch.net/test/read.cgi/math/1195560105/614

615: Kummer ◆g2BU0D6YN2 [] 2008/03/16(日) 14:21:48 命題(双極定理(>>554)の系) K を実数体または複素数体とする。 E を K 上の局所凸線形空間とする。 E' を E の双対(>>65)とする。 E と E' は対をなす(>>559)。 M を E の部分集合とする。 M の極集合(>>549) M゜の極集合 M゜゜は M ∪ {0} の凸包の閉包である。 証明 双極定理(>>554)と>>611と>>613より明らかである。 http://science6.5ch.net/test/read.cgi/math/1195560105/615

616: Kummer ◆g2BU0D6YN2 [] 2008/03/16(日) 14:42:23 局所凸位相線形空間は局所凸空間とも言う。 http://science6.5ch.net/test/read.cgi/math/1195560105/616

617: Kummer ◆g2BU0D6YN2 [] 2008/03/16(日) 14:44:10 定義 E を を実数体または複素数体上の局所凸空間とする。 E の任意の樽(過去スレ008の598)が 0 の近傍であるとき E を樽型空間(barreled space)と言う。 http://science6.5ch.net/test/read.cgi/math/1195560105/617

618: Kummer ◆g2BU0D6YN2 [] 2008/03/16(日) 15:19:14 命題 E を実数体または複素数体上の局所凸空間で Baire 空間(>>176)とする。 E は樽型空間(>>617)である。 証明 B を E の樽とする。 B は吸収的だから E = ∪{nB | n = 1, 2, ... } である。 >>177 より、ある整数 n ＞ 0 に対して nB は内点を持つ。 よって B も内点 x を持つ。 x = 0 なら B は 0 の近傍である。 よって x ≠ 0 と仮定してよい。 B の内部を int(B) と書く。 y ∈ E に -y を対応させる写像を f とする。 f は E の位相空間としての自己同型であるから B は平衡的だから f(B) = B である。 f(int(B)) = int(f(B)) = int(B) である。 よって -x ∈ int(B) である。 B は凸だから、過去スレ008の435より B の内部 int(B) も凸である。 よって 0 ∈ int(B) である。 証明終 http://science6.5ch.net/test/read.cgi/math/1195560105/618

619: Kummer ◆g2BU0D6YN2 [] 2008/03/16(日) 15:24:56 命題 Frechet 空間(>>2)は樽型空間(>>617)である。 証明 Baireの定理(>>178)より、Frechet 空間は Baire 空間である。 よって、>>618 より樽型空間である。 証明終 http://science6.5ch.net/test/read.cgi/math/1195560105/619

620: Kummer ◆g2BU0D6YN2 [] 2008/03/16(日) 15:28:51 Banach 空間(過去スレ008の550)は Frechet 空間であるから >>619より樽型空間である。 http://science6.5ch.net/test/read.cgi/math/1195560105/620

621: １３２人目の素数さん [] 2008/03/16(日) 15:30:22 Kummerさんは何者ですか？ http://science6.5ch.net/test/read.cgi/math/1195560105/621

622: Kummer ◆g2BU0D6YN2 [] 2008/03/16(日) 15:39:35 >>618 >f は E の位相空間としての自己同型であるから f は E の位相空間としての自己同型である。 http://science6.5ch.net/test/read.cgi/math/1195560105/622

623: Kummer ◆g2BU0D6YN2 [] 2008/03/16(日) 19:27:36 命題 E を実数体または複素数体上の局所凸空間とする。 E が樽型空間(>>617)であるためには E の任意の下半連続(過去スレ008の113) な半ノルム(過去スレ008の458)が連続であることが必要十分である。 証明 E を樽型空間とし、p を E の任意の下半連続な半ノルムとする。 B = { x ∈ E | p(x) ≦ 1 } は過去スレ008の516より凸集合である。 B が吸収的かつ平衡的であることは明らかである。 p は下半連続だから過去スレ008の114より B は閉集合である。 よって B は樽である。E は樽型空間だから B は 0 の近傍である。 >>570 より p は連続である。 逆に E の任意の下半連続な半ノルムが連続であるとする。 B を E における樽とする。 >>570 より E の下半連続な半ノルム p で B = { x ∈ E | p(x) ≦ 1 } となるものが一意に存在する。 p は連続であるから >>570 より B は 0 の近傍である。 証明終 http://science6.5ch.net/test/read.cgi/math/1195560105/623

624: Kummer ◆g2BU0D6YN2 [] 2008/03/16(日) 19:50:45 命題 K を実数体または複素数体とする。 E を K 上の線形空間とする。 F を K 上の分離的な位相線形空間とする。 F(E, F) を E から F への写像全体とする。 Hom(E, F) を E から F への線形写像全体とする。 Hom(E, F) は F(E, F) の単純収束の位相(過去スレ007の154)に関して 閉である。 証明 x ∈ E, y ∈ E, λ ∈ K, μ ∈ K のとき A(x, y, λ, μ) = { f ∈ F(E, F) | f(λx + μy) = λf(x) + μf(y) } とおく。 f に f(x) を対応させる写像は連続である。 従って、f に f(λx + μy) を対応させる写像 G と f に λf(x) + μf(y) を対応させる写像 H はそれぞれ連続である。 A(x, y, λ, μ) = { f ∈ F(E, F) | G(f) = H(f) } である。 F は分離的であるから >>204 より A(x, y, λ, μ) は閉である。 Hom(E, F) = ∩{ A(x, y, λ, μ) | x ∈ E, y ∈ E, λ ∈ K, μ ∈ K } であるから Hom(E, F) は閉である。 証明終 http://science6.5ch.net/test/read.cgi/math/1195560105/624

625: Kummer ◆g2BU0D6YN2 [] 2008/03/16(日) 20:06:39 命題 K を実数体または複素数体とする。 E を K 上の位相線形空間とする。 F を K 上の分離的な位相線形空間とする。 F(E, F) を E から F への写像全体とする。 F(E, F) には単純収束の位相(過去スレ007の154)を入れる。 L(E, F) を E から F への連続な線形写像全体とする。 H を L(E, F) の同程度連続(>>315)な部分集合とする。 H の F(E, F) における閉包 H~ は L(E, F) に含まれ同程度連続である。 証明 >>624 より H~ の各元は線形写像である。 >>326 より H~ は同程度連続である。 よって H~ ⊂ L(E, F) である。 証明終 http://science6.5ch.net/test/read.cgi/math/1195560105/625

626: １３２人目の素数さん [sage] 2008/03/17(月) 10:29:24 y http://science6.5ch.net/test/read.cgi/math/1195560105/626

627: １３２人目の素数さん [sage] 2008/03/18(火) 09:22:59 z http://science6.5ch.net/test/read.cgi/math/1195560105/627

628: １３２人目の素数さん [sage] 2008/03/18(火) 20:45:28 a http://science6.5ch.net/test/read.cgi/math/1195560105/628

629: １３２人目の素数さん [sage] 2008/03/19(水) 16:27:16 b http://science6.5ch.net/test/read.cgi/math/1195560105/629

630: Kummer ◆g2BU0D6YN2 [] 2008/03/20(木) 10:36:52 命題 E と F を位相アーベル群とする。 H を E から F への連続準同型写像からなる集合とする。 このとき次の条件は同値である。 (1) H は 0 で同程度連続(>>315)である。 (2) H は同程度連続(>>315)である。 (3) H は同程度一様連続(>>316)である。 証明 (3) ⇒ (2) ⇒ (1) は明らかであるから、 (1) ⇒ (3) を証明すればよい。 仮定から F の 0 の任意の近傍 V に対して E の 0 の近傍 W が存在し、 x ∈ W, f ∈ H に対して f(x) ∈ V となる。 よって、x - y ∈ W のとき f(x - y) = f(x) - f(y) ∈ V となる。 よって、H は同程度一様連続である。 証明終 http://science6.5ch.net/test/read.cgi/math/1195560105/630

631: Kummer ◆g2BU0D6YN2 [] 2008/03/20(木) 11:37:47 命題 K を実数体または複素数体とする。 E と F を K 上の局所凸空間とする。 L(E, F) を E から F への連続な線形写像全体とする。 L(E, F) の部分集合 H が同程度連続(>>315)であるためには F の任意の連続な半ノルム p に対して sup { pf | f ∈ H } が E の任意の連続な半ノルムであることが必要十分である。 証明 >>540より明らかである。 http://science6.5ch.net/test/read.cgi/math/1195560105/631

632: Kummer ◆g2BU0D6YN2 [] 2008/03/20(木) 11:50:38 定義 K を実数体または複素数体とする。 E, F を K 上の位相線形空間とする。 L(E, F) を E から F への連続な線形写像全体とする。 L(E, F) の単純収束の位相(>>57)に関して有界(>>35)な部分集合を L(E, F) の単純有界な部分集合と言う。 http://science6.5ch.net/test/read.cgi/math/1195560105/632

633: Kummer ◆g2BU0D6YN2 [] 2008/03/20(木) 13:00:14 定義 K を実数体または複素数体とする。 E, F を K 上の局所凸空間とする。 L(E, F) を E から F への連続な線形写像全体とする。 L(E, F) の部分集合 H が単純有界(>>632)であるためには F の任意の連続な半ノルム p と任意の x ∈ E に対して { p(f(x)) | f ∈ H } が有界であることが必要十分である。 証明 >>15より F の 0 の近傍で樽となるもの全体は 0 の基本近傍系となる。 F の連続な半ノルム p に対して V(p, 1) = { x ∈ F | p(x) ≦ 1 } とおく。 過去スレ008の520より V(p, 1) は樽である。 よって、>>19より V(p, 1) の全体は 0 の基本近傍系である。 F の連続な半ノルム p と E の有限部分集合 A に対して W(A, p) = { f ∈ L(E, F) | x ∈ A のとき p(f(x)) ≦ 1 } とおく。 W(A, p) の全体は L(E, F) の単純収束に位相の 0 の基本近傍系である。 H が単純有界であるとは、FE の任意の連続な半ノルム p と E の任意の有限部分集合 A に対して、ある λ ∈ K, λ ≠ 0 があり、 H ⊂ λW(A, p) となることである。 g ∈ λW(A, p) であることは x ∈ A のとき p((1/λ)g(x)) ≦ 1 即ち p(g(x)) ≦ |λ| と同値である。 これから命題の主張は明らかである。 証明終 http://science6.5ch.net/test/read.cgi/math/1195560105/633

634: Kummer ◆g2BU0D6YN2 [] 2008/03/20(木) 13:14:28 定理(一般化されたBanach-Steinhausの定理) K を実数体または複素数体とする。 E を K 上の樽型空間(>>617))とし、F を K 上の局所凸空間とする。 L(E, F) を E から F への連続な線形写像全体とする。 L(E, F) の任意の単純有界(>>632)な部分集合 H は同程度連続である。 証明 F の任意の連続な半ノルム p に対して q = sup { pf | f ∈ H } とおく。 即ち、任意の x ∈ E に対して q(x) = sup { p(f(x)) | f ∈ H } である。 >>633 より、任意の x ∈ E に対して q(x) は有限である。 従って q は E の半ノルムである。 p は連続だから f ∈ H のとき pf は連続、従って下半連続 (過去スレ008の113)である。 過去スレ008の116より q も下半連続である。 >>623 より q は連続である。 >>631 より H は同程度連続である。 証明終 http://science6.5ch.net/test/read.cgi/math/1195560105/634

635: Kummer ◆g2BU0D6YN2 [] 2008/03/20(木) 14:04:56 命題 K を実数体または複素数体とする。 E, F を K 上のノルム空間(過去スレ006の561)とする。 L(E, F) を E から F への連続な線形写像全体とする。 H を L(E, F) の部分集合とする。 H が同程度連続(>>315)であるためには sup{ |f| | f ∈ H } が有限であることが必要十分である。 ここで |f| は f のノルム(過去スレ006の690)である。 即ち |f| = sup { |f(x)| | x ∈ E, |x| ≦ 1 } 証明 過去スレ006の692 より f ∈ H と実数 a ＞ 0 に対して |f| ≦ a となることと x ∈ E のとき |f(x)| ≦ a|x| となることは同値である。 よって >>540 より本命題の主張が得られる。 証明終 http://science6.5ch.net/test/read.cgi/math/1195560105/635

636: Kummer ◆g2BU0D6YN2 [] 2008/03/20(木) 14:31:17 命題(一様有界性定理(the uniform boundedness theorem)) K を実数体または複素数体とする。 E を K 上の Banach 空間(過去スレ008の550)とし、 F を K 上のノルム空間(過去スレ006の561)とする。 L(E, F) を E から F への連続な線形写像全体とする。 H を L(E, F) の部分集合とする。 任意の x ∈ E に対して sup{ |f(x)| | f ∈ H } が有限なら sup{ |f| | f ∈ H } も有限である。 証明 >>633 より H は単純有界である。 >>620 より E は樽型空間である。 従って >>634 より H は同程度連続である。 >>635 より sup{ |f| | f ∈ H } は有限である。 証明終 http://science6.5ch.net/test/read.cgi/math/1195560105/636

637: Kummer ◆g2BU0D6YN2 [] 2008/03/20(木) 14:48:05 >>636 の命題は Banach-Steinhaus の定理とも呼ばれる。 しかし、本スレではBourbakiに従ってこの呼び名は別の命題（後述）に使う。 >>636 の命題を共鳴定理と呼ぶ文献もある (例えば K. Yosida の Functional analysis)。 この命題は Banach と Steinhaus による1927年の共著論文 Sur le principe de condensation des singularites で証明された。 この題名を翻訳するなら「特異性の凝集について」だろうか。 http://science6.5ch.net/test/read.cgi/math/1195560105/637

638: Kummer ◆g2BU0D6YN2 [] 2008/03/20(木) 14:49:27 >>637 >この題名を翻訳するなら「特異性の凝集について」だろうか。 この題名を翻訳するなら「特異性の凝集原理について」だろうか。 http://science6.5ch.net/test/read.cgi/math/1195560105/638

639: １３２人目の素数さん [] 2008/03/20(木) 15:39:26 おい KUMMER　サゲで書けよ 邪魔なんだよ、おまえ専用のスレが上がってくるのは http://science6.5ch.net/test/read.cgi/math/1195560105/639

640: Kummer ◆g2BU0D6YN2 [] 2008/03/22(土) 10:54:29 Boubaki は次の命題を Banach-Steinhaus の定理と呼んでいる。 命題(Banach-Steinhaus の定理) K を実数体または複素数体とする。 E を K 上の樽型空間(>>617))とし、F を K 上の分離的局所凸空間とする。 L(E, F) を E から F への連続な線形写像全体とする。 (f_n), n = 1, 2, ... を L(E, F) の元からなる列とし、 f を E から F への写像とする。 各点 x ∈ E で f_n(x) は f(x) に収束するとする。 このとき f ∈ L(E, F) であり、E の任意の全有界集合(過去スレ006の302) で (f_n) は f に一様収束する。 -------------------------------------------------------- この命題において f ∈ L(E, F) であることは >>634 と >>625 よりわかる。 E の任意の全有界集合上で (f_n) が f に一様収束することを証明するため 全有界集合における一様収束に関して>>351の命題の類似(後述)が必要である。 そのための準備を述べる。 http://science6.5ch.net/test/read.cgi/math/1195560105/640

641: Kummer ◆g2BU0D6YN2 [] 2008/03/22(土) 10:59:33 定義 X と Y を一様空間(過去スレ006の194)とする。 F(X, Y) を X から Y への写像全体とする。 Σ を X の全有界部分集合(過去スレ006の302)全体とする。 F(X, Y) の Σ-収束の一様構造(過去スレ007の150)を全有界収束の一様構造と 言い、これで定まる位相を全有界収束の位相という。 http://science6.5ch.net/test/read.cgi/math/1195560105/641

642: Kummer ◆g2BU0D6YN2 [] 2008/03/22(土) 11:28:08 命題 X と Y を一様空間(過去スレ006の194)とする。 X^, Y^ をそれぞれ X, Y の分離完備化(過去スレ006の288)とする。 φ: X → X^ ψ: Y → Y^ をそれぞれ標準写像とする。 f : X → Y を任意の一様連続写像とする。 一様連続写像 f^ : X^ → Y^ で ψf = f^φ となるものが一意に存在する。 すなわち次の図式は可換である。 X → Y |　　| v　　v X^→ Y 証明 過去スレ006の287を ψf : X → Y^ に適用すればよい。 http://science6.5ch.net/test/read.cgi/math/1195560105/642

643: １３２人目の素数さん [sage] 2008/03/22(土) 11:42:36 c http://science6.5ch.net/test/read.cgi/math/1195560105/643

644: Kummer ◆g2BU0D6YN2 [] 2008/03/22(土) 13:15:40 命題 X と Y を一様空間(過去スレ006の194)とする。 H を X から Y への一様連続写像全体のある部分集合とする。 X^, Y^ をそれぞれ X, Y の分離完備化(過去スレ006の288)とする。 φ: X → X^ ψ: Y → Y^ をそれぞれ標準写像とする。 f ∈ H のとき>>642より一様連続写像 f^ : X^ → Y^ で ψf = f^φ となるものが一意に存在する。 H^ = { f^ | f ∈ H } とおく。 H が同程度一様連続(>>316)であるたには H^ が同程度一様連続であることが 必要十分である。 証明 X の一様構造は X^ の一様構造のφによる逆像である(過去スレ006の278)。 同様に Y の一様構造は Y^ の一様構造のψによる逆像である。 H^ が同程度一様連続であるとする。 Y の任意の近縁 V に対して Y^ の近縁 V^ があり V は V^ のψ×ψによる 逆像である。 仮定より X^ の近縁 W^ があり (φ(x), φ(y)) ∈ W^ なら 任意の f ∈ H に対して (f^(φ(x)), f^(φ(y))) ∈ V^ となる。 これは (ψf(x), ψf(y)) ∈ V^ を意味する。 よって、(f(x), f(y)) ∈ V である。 W^ のφ×φによる逆像を W とすれば、 (x, y) ∈ W なら (φ(x), φ(y)) ∈ W^ である。 上記から (f(x), f(y)) ∈ V である。 即ち H は同程度一様連続である。 (続く) http://science6.5ch.net/test/read.cgi/math/1195560105/644

645: Kummer ◆g2BU0D6YN2 [] 2008/03/22(土) 13:16:39 >>644の続き。 逆に H が同程度一様連続であるとする。 Y^ の任意の閉近縁 V^ に対して V^ のψ×ψによる逆像を V とする。 仮定より X の近縁 W があり (x, y) ∈ W, f ∈ H なら (f(x), f(y)) ∈ V である。 φ×φ(W) の閉包を W^ とする。 φ : X → φ(X) は全射で X の一様構造は φ(X) の一様構造の φ×φによる逆像だから、φ×φ(W) は φ(X) の近縁である。 過去スレ006の291より W^ は X^ の近縁である。 φ×φ(W) の任意の元は (φ(x), φ(y)), (x, y) ∈ W と書ける。 このとき f ∈ H なら (f^φ(x), f^φ(y)) = (ψf(x), ψf(y)) ∈ V^ f^ は連続で V^ は閉だから f^×f^(W^) ⊂ V^ となる。 即ち、H^ は同程度一様連続である。 証明終 http://science6.5ch.net/test/read.cgi/math/1195560105/645

646: Kummer ◆g2BU0D6YN2 [] 2008/03/22(土) 14:37:47 命題 X と Y を一様空間(過去スレ006の194)とし、 F(X, Y) を X から Y への写像全体とする。 H を F(X, Y) の部分集合で同程度一様連続(>>316)とする。 D を X の稠密な部分集合とする。 このとき、H の上で全有界収束の一様構造(>>641)と 単純収束の一様構造(過去スレ007の154)と D での単純収束の一様構造(過去スレ007の161)はすべて一致する。 証明 それぞれの一様収束の定義から、 全有界収束の一様構造は単純収束の一様構造より細かく、 単純収束収束の一様構造は D での単純収束の一様構造より細かい。 従って、H の上で D での単純収束の一様構造が全有界収束の一様構造 より細かいことを示せばよい。 すなわち、Y の近縁 V と X の全有界集合 A が与えられたとき Y の近縁 W と D の有限集合 F があり、 f ∈ H, g ∈ H で任意の x ∈ F に対して (f(x), g(x)) ∈ W のとき 任意の x ∈ A に対して (f(x), g(x)) ∈ V となることを示せばよい。 X^, Y^ をそれぞれ X, Y の分離完備化(過去スレ006の288)とする。 φ: X → X^ ψ: Y → Y^ をそれぞれ標準写像とする。 f ∈ H のとき>>642より一様連続写像 f^ : X^ → Y^ で ψf = f^φ となるものが一意に存在する。 H^ = { f^ | f ∈ H } とおく。 Y の一様構造は Y^ の一様構造のψによる逆像である(過去スレ006の278)。 よって Y^ の近縁 V^ があり V は V^ のψ×ψによる逆像である。 (続く) http://science6.5ch.net/test/read.cgi/math/1195560105/646

647: Kummer ◆g2BU0D6YN2 [] 2008/03/22(土) 14:38:35 >>646の続き。 >>644 より H^ は同程度一様連続である。 φ(A) の閉包 φ(A)~ は分離かつ完備である。 >>457より φ(A)~ は A の分離完備化である。 過去スレ006の317より φ(A)~ はコンパクトである。 φ(D) は X^ で稠密である。 よって >>351 より Y^ の近縁 W^ と D の有限集合 F があり、 任意の x ∈ F に対して (f^(φ(x)), g^(φ(x))) ∈ W^ のとき 任意の x ∈ A に対して (f^(φ(x)), g^(φ(x))) ∈ V^ となる。 W を W^ のψ×ψによる逆像とする。 (f^(φ(x)), g^(φ(x))) = (ψf(x), ψg(x)) だから (f^(φ(x)), g^(φ(x))) ∈ W^ は (f(x), g(x)) ∈ W と同値である。 同様に (f^(φ(x)), g^(φ(x))) ∈ V^ は (f(x), g(x)) ∈ V と同値である。 証明終 http://science6.5ch.net/test/read.cgi/math/1195560105/647

648: Kummer ◆g2BU0D6YN2 [] 2008/03/22(土) 15:04:00 命題(Banach-Steinhaus の定理) K を実数体または複素数体とする。 E を K 上の樽型空間(>>617))とし、F を K 上の分離的局所凸空間とする。 L(E, F) を E から F への連続な線形写像全体とする。 (f_n), n = 1, 2, ... を L(E, F) の元からなる列とし、 f を E から F への写像とする。 各点 x ∈ E で f_n(x) は f(x) に収束するとする。 このとき f ∈ L(E, F) であり、E の任意の全有界集合(過去スレ006の302) で (f_n) は f に一様収束する。 証明 各点 x ∈ E で f_n(x) は f(x) に収束するから F の任意の連続な半ノルム p に対して p(f_n(x)) は p(f(x)) に収束する。 従って { p(f_n(x)) | n = 1, 2, ... } は有界である。 >>633 より H = { f_n | n = 1, 2, ... } は単純有界である。 >>634 より H は同程度連続である。 >>625 より H~ も同程度連続で H~ ⊂ L(E, F) である。 f ∈ H~ だから f ∈ L(E, F) である。 >>630 より H~ は同程度一様連続である。 >>646 より H~ の上で全有界収束の一様構造と 単純収束の一様構造は一致する。 よって E の任意の全有界集合で (f_n) は f に一様収束する。 証明終 http://science6.5ch.net/test/read.cgi/math/1195560105/648

649: Kummer ◆g2BU0D6YN2 [] 2008/03/23(日) 08:51:10 全有界収束について述べたので位相線形空間における全有界集合に ついて述べる。 http://science6.5ch.net/test/read.cgi/math/1195560105/649

650: Kummer ◆g2BU0D6YN2 [] 2008/03/23(日) 09:02:17 命題 X を一様空間とし A を X の全有界集合とする。 A の閉包 A~ も全有界である。 証明 V を X の閉近縁とする。 A = ∪{ B_i | i = 1, ..., n } となる。 ここで各 B_i は V 程度に小さい(過去スレ006の235) X の部分集合である。 (B_i)×(B_i) ⊂ V であり、V は閉集合だから (B_i)~×(B_i)~ ⊂ V である。 A~ ⊂ ∪{ (B_i)~ | i = 1, ..., n } である。 X の閉近縁全体は X の基本近縁系である(過去スレ006の205)から A~ は全有界である。 証明終 http://science6.5ch.net/test/read.cgi/math/1195560105/650

651: Kummer ◆g2BU0D6YN2 [] 2008/03/23(日) 09:30:32 命題 E を実数体または複素数体上の位相線形空間とする。 A_i, i = 1, 2, ..., n を E の準コンパクトな凸集合とする。 ∪{ A_i | i = 1, 2, ..., n } の凸包(過去スレ008の431) B は 準コンパクトである。 証明 R を実数体とする。 Δ = { (t_1, ... , t_n) ∈ R^n | 各 t_i ≧ 0, t_1 + ... + t_n = 1 } はコンパクトである。 従って Δ×(A_1)×...×(A_n) は準コンパクトである。 Δ×(A_1)×...×(A_n) から E への連続写像 f を f(t_1, ... , t_n, x_1, ... , x_n) = (t_1)(x_1) + ... + (t_n)(x_n) で定義する。 B = f(Δ×(A_1)×...×(A_n)) であるから B は準コンパクトである。 証明終 http://science6.5ch.net/test/read.cgi/math/1195560105/651

652: Kummer ◆g2BU0D6YN2 [] 2008/03/23(日) 09:38:19 命題 E を実数体または複素数体上の位相線形空間とする。 E の有限部分集合の凸包は準コンパクトである。 従って全有界である。 証明 E の１点からなる集合は準コンパクトな凸集合である。 よって >>651 より E の有限部分集合の凸包は準コンパクトである。 過去スレ006の313よりこれは全有界である。 証明終 http://science6.5ch.net/test/read.cgi/math/1195560105/652

653: Kummer ◆g2BU0D6YN2 [] 2008/03/23(日) 10:16:41 >>494 >よって H はコンパクト収束の位相で C(X, Y) において相対コンパクト >である。 これは飛躍があるので以下に補足する。 >>326 より H~ は同程度連続である。 >>351 より H~ の上でコンパクト収束の一様構造と単純収束の一様構造は 一致する。 よって H~ はコンパクト収束の位相でコンパクトである。 よって H はコンパクト収束の位相で相対コンパクトである。 http://science6.5ch.net/test/read.cgi/math/1195560105/653

654: Kummer ◆g2BU0D6YN2 [] 2008/03/23(日) 15:02:10 命題 K を実数体または複素数体とする。 E, F を K 上の位相線形空間とする。 L(E, F) を E から F への連続な線形写像全体とする。 H を L(E, F) の同程度連続(>>315)な部分集合する。 H は L(E, F) の有界収束の位相(>>57)で有界(>>35)である。 証明 V を F の 0 の近傍とし B を E の有界集合としたとき U(B, V) = { f ∈ L(E, F) | f(B) ⊂ V } とおく。 B と V を動かしたとき U(B, V) の全体は L(E, F) の有界収束の位相の 0 の基本近傍系である。 H は同程度連続だから F の 0 の近傍 V に対して E の 0 の近傍 W で H(W) ⊂ V となるものがある。 ここで H(W) = { f(x) | f ∈ H, x ∈ W } である。 B を E の有界集合としたとき K の元 λ≠ 0 で B ⊂ λW となるものがある。 (1/λ)B ⊂ W だから (1/λ)H(B) ⊂ H(W) ⊂ V 即ち (1/λ)H ⊂ U(B, V) よって H ⊂ λU(B, V) よって H は有界収束の位相で有界である。 証明終 http://science6.5ch.net/test/read.cgi/math/1195560105/654

655: １３２人目の素数さん [sage] 2008/03/24(月) 03:32:45 >>639 こぉんの、sage強要房が >>250-251嫁や、専ブラ使って透明化する位の努力しろや sage強要撲滅委員会 part30 http://ex21.2ch.net/test/read.cgi/accuse/1205825606/ http://science6.5ch.net/test/read.cgi/math/1195560105/655

---

上下前次1-新書関写板覧索設栞歴

---

あと 346 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.018s