高木貞治 『解析概論』 (137レス)
高木貞治 『解析概論』 http://rio2016.5ch.net/test/read.cgi/math/1746085921/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
必死チェッカー(本家)
(べ)
自ID
レス栞
あぼーん
リロード規制
です。10分ほどで解除するので、
他のブラウザ
へ避難してください。
83: 132人目の素数さん [] 2025/05/04(日) 10:12:57.44 ID:VY9EccjD 43. 絶対収束・条件収束 正項級数 Σa_n を無数の部分級数に分割するならば、収束の場合、部分級数も収束する。その和を σ_1, σ_2, … とすれば、 σ_1 + σ_2 + … も収束して、その和は s に等しい。 この証明が粗雑ですね。 http://rio2016.5ch.net/test/read.cgi/math/1746085921/83
84: 132人目の素数さん [] 2025/05/04(日) 10:20:14.46 ID:VY9EccjD 『定本解析概論』のp.156に「広い意味で、加法の結合律が成り立つのである。」と書いてありますが、「交換律」ですよね。 http://rio2016.5ch.net/test/read.cgi/math/1746085921/84
85: 132人目の素数さん [] 2025/05/04(日) 11:32:15.88 ID:VY9EccjD Σ a_n について考える。 Σ a_n は正項級数ではないとする。 Σ a_n が負項級数の場合には、正項級数の理論に帰着するから、負項級数でもないとする。 Σ a_n の負項の個数が有限の場合には、 Σ a_n は正項級数の有限個の項を負項に変えて得られる級数だから、正項級数の理論に帰着する。 Σ a_n の正項の個数が有限の場合には、 Σ a_n は負項級数の有限個の項を正項に変えて得られる級数だから、負項級数の理論に帰着する。負項級数の理論は正項級数の理論に帰着するから、この場合も結局正項級数の理論に帰着する。 Σ a_n の正項の個数も負項の個数も無数にあるとする。 Σ a_n の第 i 番目の正項を p_i とする。 Σ a_n の第 i 番目の負項を -q_i とする。 Σ a_n が絶対収束する場合には、 Σ p_i ≦ Σ |a_n|, Σ q_i ≦ Σ |a_n| だから Σ p_i, Σ q_i ともに収束する。 p := Σ_{i=1}^{∞} p_i, q := Σ_{i=1}^{∞} q_i とする。 「正項級数 Σa_n を無数の部分級数に分割するならば、収束の場合、部分級数も収束する。その和を σ_1, σ_2, … とすれば、 σ_1 + σ_2 + … も収束して、その和は s に等しい。」 この命題を使うと、 Σ |a_n| = Σ p_i + Σ q_i が成り立つことが分かる。 ε を任意の正の実数とする。 n > N_p ならば、 |Σ_{i=1}^{n} p_i - p| < ε/2, n > N_q ならば、 |Σ_{i=1}^{n} q_i - q| < ε/2 が成り立つとする。 p_i = a_{φ(i)}, -q_i = a_{ψ(i)} とする。 N_1 := max {φ(1), φ(2), …, φ(N_p)}, N_2 := max {ψ(1), ψ(2), …, ψ(N_q)} とする。 n > max {N_1, N_2} ならば、 |Σ_{i=1}^{n} a_i - (p - q)| = |(Σ_{i=1}^{l} p_i - p) - (Σ_{i=1}^{m} q_i - q)| ≦ |Σ_{i=1}^{l} p_i - p| + |Σ_{i=1}^{m} q_i - q| < ε/2 + ε/2 = ε が成り立つ。 よって、 Σ a_n = Σ p_i - Σ q_i が成り立つ。 http://rio2016.5ch.net/test/read.cgi/math/1746085921/85
86: 132人目の素数さん [] 2025/05/04(日) 11:32:29.17 ID:VY9EccjD 逆に、 Σ p_i, Σ q_i がともに収束するとする。 p_1, q_1, p_2, q_2, … という数列を (b_i) とする。 Σ_{i=1}^{n} b_i ≦ Σ p_i + Σ q_i だから Σ b_i は収束する。 数列 (b_i) を並べ替えれば数列 (|a_i|) が得られるから、 Σ |a_i| も収束して、 Σ |a_i| = Σ b_i が成り立つ。 よって、 Σ a_i は絶対収束する。 前半の議論から、 Σ a_n = Σ p_i - Σ q_i が成り立つ。 以上の結果をまとめると、 「Σ a_n が絶対収束する ⇔ Σ p_i, Σ q_i が収束する」が成り立つ。 上のどちらかが成り立てば、 Σ a_n = Σ p_i - Σ q_i が成り立つ。 http://rio2016.5ch.net/test/read.cgi/math/1746085921/86
87: 132人目の素数さん [] 2025/05/04(日) 11:35:44.62 ID:VY9EccjD 43の条件収束級数の話もこれくらい丁寧に書いてほしいものです。 http://rio2016.5ch.net/test/read.cgi/math/1746085921/87
88: 132人目の素数さん [] 2025/05/04(日) 11:36:14.84 ID:VY9EccjD 訂正します: 43の絶対収束級数の話もこれくらい丁寧に書いてほしいものです。 http://rio2016.5ch.net/test/read.cgi/math/1746085921/88
89: 132人目の素数さん [] 2025/05/04(日) 12:19:16.23 ID:VY9EccjD 高木貞治さんは、 Σ p_i, Σ q_i が収束するときに、 Σ a_i が絶対収束することを証明していません。 http://rio2016.5ch.net/test/read.cgi/math/1746085921/89
90: 132人目の素数さん [] 2025/05/04(日) 12:22:16.46 ID:VY9EccjD 高木貞治さんは、 「正項級数 Σa_n を無数の部分級数に分割するならば、収束の場合、部分級数も収束する。その和を σ_1, σ_2, … とすれば、 σ_1 + σ_2 + … も収束して、その和は s に等しい。」 を証明するだけではなく、 「正項級数 Σa_n を無数の部分級数に分割するならば、各部分級数が収束の場合、 Σa_n も収束する。」 も証明すべきだったということですね。 http://rio2016.5ch.net/test/read.cgi/math/1746085921/90
91: 132人目の素数さん [] 2025/05/04(日) 12:33:31.61 ID:VY9EccjD 「正項級数 Σa_n を無数の部分級数に分割するならば、収束の場合、部分級数も収束する。その和を σ_1, σ_2, … とすれば、 σ_1 + σ_2 + … も収束して、その和は s に等しい。」 この命題ですが、有名なオイラー公式を証明するときに、 sin のパートと cos のパートに分けるときに必要になりますよね。 http://rio2016.5ch.net/test/read.cgi/math/1746085921/91
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.007s