分からない問題はここに書いてね 472 (974ﾚｽ)
分からない問題はここに書いてね 472 http://rio2016.5ch.net/test/read.cgi/math/1703482355/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
必死ﾁｪｯｶｰ(本家)
(べ)
自ID
ﾚｽ栞
あぼーん
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
281: １３２人目の素数さん [] 2024/12/22(日) 20:38:16.93 ID:OfelNVht 杉浦光夫著『解析入門I』 p.227の定理4.2とp.231の定理5.3から定理5.4は自明であるにもかかわらず、する必要のない証明をしています。 http://rio2016.5ch.net/test/read.cgi/math/1703482355/281
282: １３２人目の素数さん [] 2024/12/22(日) 20:49:21.87 ID:OfelNVht 定理4.2は閉区間で連続な関数は可積分であるという定理です。 定理5.3は f が I で微分可能で、 f' が可積分ならば ∫_{a}^{b} f' = f(b) - f(a) が成立つ。 f が I で可積分で x で連続ならば F(x) := ∫_{a}^{x} f は x で微分可能で F'(x) = f(x) が成立つというものです。 定理5.4は f が I で連続ならば、 I における任意の一つの原始関数を G とすると ∫_{a}^{b} f = G(b) - G(a) が成立つという定理です。 定理5.4の証明を書くとすると、 f が連続なので、定理4.2により f は可積分である。定理5.3により、 f は原始関数をもつ。 G を f の任意の原始関数とする。 G は I で微分可能で、導関数 f は可積分である。定理5.3により、 ∫_{a}^{b} f = ∫_{a}^{b} G' = G(b) - G(a) が成立つ。 http://rio2016.5ch.net/test/read.cgi/math/1703482355/282
283: １３２人目の素数さん [] 2024/12/22(日) 20:54:07.88 ID:OfelNVht 杉浦光夫さんの定理5.4の証明は↑の証明に比べて妙なものです。 F(x) := ∫_{a}^{x} f は f の原始関数である。 G(x) は仮定により f の原始関数である。 (G - F)'(x) = 0 だから、 G(x) - F(x) = C が成立つ。 G(a) - F(a) = G(a) = C である。 ∫_{a}^{b} f = F(b) = G(b) - C = G(b) - G(a) http://rio2016.5ch.net/test/read.cgi/math/1703482355/283
284: １３２人目の素数さん [] 2024/12/22(日) 20:56:04.39 ID:OfelNVht 「 (G - F)'(x) = 0 だから、 G(x) - F(x) = C が成立つ。 G(a) - F(a) = G(a) = C である。 」 ↑このあたりの議論は全く不要なはずです。 http://rio2016.5ch.net/test/read.cgi/math/1703482355/284
285: １３２人目の素数さん [] 2024/12/22(日) 20:59:15.08 ID:OfelNVht なぜこのような妙なことになったのか、以下のように推測します： 杉浦さんはどこかの本から普通の微積分の本に書かれている同様の定理よりも一般的な定理5.3を見つけてきて、その証明を書いた。 一方、連続関数に限定した普通の微積分の本に書かれている定理5.4の証明は普通の微積分の本に載っているものをそのまま書いた。 http://rio2016.5ch.net/test/read.cgi/math/1703482355/285
286: １３２人目の素数さん [] 2024/12/22(日) 21:05:18.61 ID:OfelNVht 小平邦彦さん微積分の本のように自分の頭ですべて考えて書いている本との違いですね。 http://rio2016.5ch.net/test/read.cgi/math/1703482355/286
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.025s