大学数学の質問スレ Part1

大学数学の質問スレ Part1 (245ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

6: １３２人目の素数さん [] 2025/05/26(月) 14:17:00.15 ID:1P739T/v

以下、あっていますよね？

Σ a_n, Σ b_n は絶対収束するとする。
c_n := a_0 * b_n + a_1 * b_{n-1} + … + a_n * b_0 とする。

Σ c_n は絶対収束し、 Σ c_n = Σ a_n * Σ b_n が成り立つことを証明せよ。

証明：
A_n := Σ_{k=0}^n a_k
B_n := Σ_{l=0}^n b_l
C_n := Σ_{m=0}^n c_m
A'_n := Σ_{k=0}^n |a_k|
B'_n := Σ_{l=0}^n |b_l|
C'_n := Σ_{m=0}^n |c_m|
lim_{n→∞} A_n = A
lim_{n→∞} B_n = B
lim_{n→∞} A'_n = A'
lim_{n→∞} B'_n = B'
とする。

コーシーの収束条件より、
任意の正の実数 ε に対して、 n ≧ N ならば、ε > A'_n * B'_n - A'_N * B'_N であるような N が存在する。
n ≧ N ならば、 ε > A'_n * B'_n - A'_N * B'_N ≧ A'_n * B'_n - C'_n ≧ |A_n * B_n - C_n|

つまり、 lim_{n→∞} (A'_n * B'_n - C'_n) = 0
よって、 lim_{n→∞} (C'_n - A' * B') = lim_{n→∞} [(C'_n - A'_n * B'_n) +  (A'_n * B'_n - A' * B')] = lim_{n→∞} (C'_n - A'_n * B'_n) + lim_{n→∞} (A'_n * B'_n - A' * B') = 0 + 0 = 0
したがって、 lim_{n→∞} C'_n = A' * B'
よって、 Σ c_n は絶対収束する。

つまり、 lim_{n→∞} (A_n * B_n - C_n) = 0
よって、 lim_{n→∞} (C_n - A * B) = lim_{n→∞} [(C_n - A_n * B_n) +  (A_n * B_n - A * B)] = lim_{n→∞} (C_n - A_n * B_n) + lim_{n→∞} (A_n * B_n - A * B) = 0 + 0 = 0
したがって、 lim_{n→∞} C_n = A * B
よって、 Σ c_n = Σ a_n * Σ b_n が成り立つ。

http://rio2016.5ch.net/test/read.cgi/math/1748224638/6

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

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.722s*