分からない問題はここに書いてね441

分からない問題はここ ..

443:１３２人目の素数さん
18/03/13 10:15:32.69 y9oz07R4.net
齋藤正彦著『齋藤正彦微分積分学』を読んでいます。
最大最小値の定理の証明ですが、手直しが必要ですね。
誤りも発見しました。
↓が齋藤正彦さんの証明です。
「
区間 I の n 等分点のなかの f の最大値（のひとつ）を f(a_n) とする（a_n ∈ I）。
数列 <a_n> は有界だから、完備性の公理2.2.3により、収束部分列 <b_n> がある。
その極限を c とすると c は I に属する（§1の問題5）。
f(c) が最大値であることを背理法で示す。 I の点 d で f(c) < f(d) なるものが
あったとする。 ε = f(d) - f(c) > 0 に対してある δ > 0 をとると、
x ∈ I 、 | x - d | < δ なら | f(x) - f(d) | < ε 、したがって f(c) < f(x) が成りたつ。
1 / δ より大きい自然数 n をとると、 d - δ と d + δ のあいだに I の n 等分点 u が
ある。 f(u) ≦ f(a_n) ≦ f(c) となり、矛盾である。最小値も同様。
」
まず修正可能な間違いについてですが、
1 / δ ではなく (b - a) / δ ですよね。ただし、 I = [a, b] とします。
手直しが必要な箇所ですが、それは以下の不等式です。
＞f(a_n) ≦ f(c)

次ページ

続きを表示

1を表示