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日