Next: この文書について...
Up: toi1-answer
Previous: 0.0.0.4 確認用の問
( が求められればよしとする。参考までに証明つきで書いておくが。)
- (1)
- 明らかに ( かつ
に対して ) であるから、
.
- (2)
-
に対して であり、
に対して、
s.t. なので
(実際
ならば でよいし、
ならば
とおくと、 かつ、
.) .
- (3)
- は明らかに上に有界でない (証明するのならばアルキメデスの公理?)。
ゆえに の上限は存在しない。ゆえに
.
- (4)
- 最初に
であることを見ておく。明らかに は の上界である。
また
に対して、
となるような が存在する (これも本当はアルキメデスの公理)。ゆえに
,
であるから、
.
Next: この文書について...
Up: toi1-answer
Previous: 0.0.0.4 確認用の問
Masashi Katsurada
平成19年10月2日