分からない問題はここに書いてね 472 (974レス)
前次1-
抽出解除 レス栞

リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
306
(1): 132人目の素数さん [] 2024/12/25(水)20:58 ID:Uz20zpKU(1/4)
S := {t ∈ I : f(t) = M} とする。
N := f(inf S) とする。

N < M と仮定して矛盾を導く。

f は連続だから、 ε := M - N に対して、正の実数 δ で以下をみたすようなものが存在する。

|t - inf S| < δ and t ∈ I ⇒ |f(t) - N| < ε

一方、

inf S ≦ t0 < inf S + δ をみたす t0 ∈ S が存在する。

|t0 - inf S| < δ and t0 ∈ I ⇒ |f(t0) - N| < ε = M - N
よって、 f(t0) < M

一方、 t0 ∈ S だから f(t0) = M

これは矛盾である。
307
(2): 132人目の素数さん [] 2024/12/25(水)21:03 ID:Uz20zpKU(2/4)
>>306

訂正します:

S := {t ∈ I : f(t) = M} とする。
inf S ∈ I である。
N := f(inf S) とする。

N < M と仮定して矛盾を導く。

f は inf S で連続だから、 ε := M - N に対して、正の実数 δ で以下をみたすようなものが存在する。

|t - inf S| < δ and t ∈ I ⇒ |f(t) - N| < ε

一方、

inf S ≦ t0 < inf S + δ をみたす t0 ∈ S が存在する。
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.035s