よぬすさんとやりとりしていて気になったので自分で証明つけてみた

この記事は1分で読めます

このサイトは学部では早稲田で物理を, 修士では東大で数学を専攻し, 今も非アカデミックの立場で数学や物理と向き合っている一市民の奮闘の記録です. 運営者情報および運営理念についてはこちらをご覧ください.

中高の数学の復習から専門的な数学・物理までいろいろな情報を発信しています.
中高数学に関しては自然を再現しよう役に立つ中高数学 中高数学お散歩コース
大学数学に関しては現代数学観光ツアーなどの無料の通信講座があります.
その他にも無料の通信講座はこちらのページにまとまっています.
ご興味のある方はぜひお気軽にご登録ください!


今よぬすさんとやりとりしていて, 細かいところが気になったので自分で証明書いてみた. 使っている本を正確に確認していないので, 実数の完備性に関わる公理のうちどれを使っていいか分からないため, この証明は暫定版. 必要があればまた書き直すなり追記するなりする.

定理 (I) を有界閉区間とし, 関数 (f colon I to mathbb{R}) は連続と仮定する. このとき (f) は有界になる.

証明 (f) が非有界だとする. このとき任意の正数 (M > 0) に対して (x in I) が存在して (|f(x)| > M) が成り立つ. 特に十分大きい (n in mathbb{N}) に対して (x_n in I) があり, (|f(x_n)| > n) となる. 数列 ((x_n)) は収束する部分列を持つ (これ使ってもいい?) が, ((x_n)) 自身が収束するとしてよい. (n to infty) の極限が取れて (lim_{n to infty} |f(x_n)| = infty) となるが, (f) が連続で全ての (x in I) について有限確定値を取ることに反する. したがって (f) は有界になる.  (blacksquare)

追記 「数列 ((x_n)) は収束する部分列を持つ」は使ってよかったようだ.


中高の数学の復習から専門的な数学・物理までいろいろな情報を発信しています.
中高数学に関しては自然を再現しよう役に立つ中高数学 中高数学お散歩コース
大学数学に関しては現代数学観光ツアーなどの無料の通信講座があります.
その他にも無料の通信講座はこちらのページにまとまっています.
ご興味のある方はぜひお気軽にご登録ください!

  • このエントリーをはてなブックマークに追加
  • LINEで送る
  1. この記事へのコメントはありません。

  1. この記事へのトラックバックはありません。

このサイトについて

数学・物理の情報を中心にアカデミックな話題を発信しています。詳しいプロフィールはこちらから。通信講座を中心に数学や物理を独学しやすい環境づくりを目指して日々活動しています。
  • このエントリーをはてなブックマークに追加
  • LINEで送る

YouTube チャンネル登録

講義など動画を使った形式の方が良いコンテンツは動画にしています。ぜひチャンネル登録を!

メルマガ登録

メルマガ登録ページからご登録ください。 数学・物理の専門的な情報と大学受験向けのメルマガの 2 種類があります。

役に立つ・面白い記事があればクリックを!

記事の編集ページから「おすすめ記事」を複数選択してください。