sup?inf?よくわかりません・・・

質問なのですが、数列{An}の上限、下限を数列のなす集合{An}の上限、下限で定義しsup_nAn,inf_nAnとします。
このとき
sup_n(An+Bn)≦sup_nAn+sup_nBn
これが成立することはどのように証明すればいいのかさっぱり分かりません。よろしくお願いします。

No.2 ベストアンサー 回答者： Tacosan 回答日時： 2006/05/23 13:13

ん～, 最後に a ≦ α+β を言うところがあやしいなぁ.

ここは a が An+Bn の上限 = 最小上界であるという条件を使っています (最小上界だから, 任意の上界よりも大きくないという議論). だから, 「a は An+Bn の上限 = 最小上界である」ということを明記しておいた方がよいです. ちなみに a ≧ An+Bn という式は使ってないので書く必要はありません.

No.3 回答者： take008 回答日時： 2006/05/23 18:10

まず定義より

ａ＝supＡn ⇔ ∀ｎ(ａ≧Ａn)…(1) かつ ∀ｘ[∀ｎ(ｘ≧Ａn)⇒ａ≦ｘ]…(2)
ｂ＝supＢn ⇔ ∀ｎ(ｂ≧Ｂn)…(3) かつ ∀ｙ[∀ｎ(ｙ≧Ｂn)⇒ｂ≦ｙ]…(4)
ｃ＝sup(Ａn＋Ｂn) ⇔ ∀ｎ(ｃ≧Ａn＋Ｂn)…(5) かつ ∀ｚ[∀ｎ(ｚ≧Ａn＋Ｂn)⇒ｃ≦ｚ]…(6)
示したいことは，ｃ≦ａ＋ｂ
では何を使うか？　(6)で ｚ＝ａ＋ｂ としたものでしょう。
そうすると，∀ｎ(ａ＋ｂ≧Ａn＋Ｂn) になっているか？　(1)と(3)を使ってできそうだ。
というふうにゴールから逆に考えて，改めて(1)と(3)からスタートした解答に仕上げます。

No.1 回答者： Tacosan 回答日時： 2006/05/22 20:08

上限が最小上界であることを使えばほとんど一瞬.

この回答への補足

sup_m(An+Bn)=aとおく。aは｛An+Bn｝の上限ならば、a≧An+Bn。
次にsup_nAn=α,sup_nBn=βとおけば、先ほどと同様にα≧An,β≧Bn。つまり辺辺を加えればα+β≧An+Bn。
以上からa≦α+β　q.e.d.
こんな感じでしょうか！？

補足日時：2006/05/22 20:15