7一7⑬
とはで
決ま
Eiにより, (る) は [6, ] で有界なこ6
したがって背理
でとる値の集
を Pとする:
= げ(@) le[e が)
いま示したことから 叶は有界な集合である・ したがって
ァーsnup P。 ッーinf
を考えることができるもし, げ(?) んとなる [eg,5] が存在すれば, ょは
の最大値となり, その最大値をとる点が, ちょ うどゃ= というこ とになる・
レたがって, とのようなるが存在 しないとして予盾
がなかったならば, Sup の
が導かれれば, 結局, 最
天値の存在がいえたことになる・ア(のj) ニムとなる の
定義から>
4ーよ<7@) ⑦⑭=12.…)
請寺の=12…) が [2,2] の中に存在することになる・ 』ーザ7(?) 0 だが
5
2 メーア(?)
は衣[2 で連続な関数である. しかし
ア(Z。) ーーブGy と? (ヵ=1, 2,…)
衣計ZZは [22] で有界でない. これは前頁で証明したことに盾する・
隊小値?が存在することも同様にして示すことができる・
一般の区間での連続関数
6下に述べた定理で, 閉区間 [2,2] の仮定は, 本質的である』
KOH) で考えると, 関数