- ベストアンサー
sup?inf?よくわかりません・・・
質問なのですが、数列{An}の上限、下限を数列のなす集合{An}の上限、下限で定義しsup_nAn,inf_nAnとします。 このとき sup_n(An+Bn)≦sup_nAn+sup_nBn これが成立することはどのように証明すればいいのかさっぱり分かりません。よろしくお願いします。
- みんなの回答 （3）
- 専門家の回答
関連するQ&A
- sup,inf,limsup,liminfについて
上限、下限の意味がわかりません。 「上限は上に有界な数列の「最大値」の気持ちを表す量である。」 この”気持ち”ってわかりません。 また、 「上に有界な実数列｛An}の上限sup An(n∈N)とは次を満たす 実数ｃのことを言う。 (1)すべてのnに対してAn<=C (2)b<cならばあるnに対してAn>ｂ」 とのことですが、上記（2）がなぜなのか、よくわかりません。 解析学など全く知らない素人にsup,limsup等についてどなたか 具体例を示してわかりやすく教えてください。
- 締切済み
- 数学・算数
- 上極限と下極限の一致する場合
inf{sup{ak|k≧n}|n∈ℕ}=sup{inf{ak|k≧n}|n∈ℕ}}=±∞の時、lim(n→∞)an=∞となることの証明をご教授頂きたいです。 収束する場合(zが有限値)は以下のように証明しています。 inf{sup{an|n≧k}|k∈ℕ}=sup{inf{an|n≧k}|k∈ℕ}}=zについて、上限の定義からz-ε<pとなるp∈{inf{an|n≧k}|k∈ℕ}} があり、同時に下限の定義から p<z+εとなるp∈{sup{an|n≧k}|k∈ℕ} がある。すなわち、p=inf{an|n≧k}かつp=sup{an|n≧k}となるkがある。 また、 inf{an|n≧k}≦an≦sup{an|n≧k}なので n≧kでz-ε<an<z+εとなり、|an-z|<εが得られる。 よろしくお願いいたします。
- ベストアンサー
- 数学・算数
- 大学数学の微積分Iの問題に教えてください。
微積分学Iの上限、下限に関する問題なのですが、、、 A、Bを実数の集合、ｋを実数とする。いま、 -A={-a:aはAの元｝ A+B={a+b:aはAの元、bはBの元} k+A={k+a:aはAの元} kA={ka:aはAの元} と定義する。このとき、次の公式が成立することを証明せよ。 (1)sup(-A)=-infA , inf(-A)=-supA. (2)sup(A+B)=supA+supB , inf(A+B)=infA+infB. (3)sup(k+A)=k+supA , inf(k+A)=k+infA. (4)k>0 ならば、sup kA=k supA , inf kA=k infA k<0 ならば、sup kA=k infA , inf kA=k supA 上限、下限の必要十分条件はわかっていますが、 どう証明を展開していけばいいのかわかりません。 どなたか簡単な指南、証明の仕方、きれいな回答の仕方のヒントでもよいのでおしえていただけませんか。 お願いします！！
- 締切済み
- 数学・算数
- 解析学の基本事項の証明の仕方・・・
解析学の基本事項の証明の仕方・・・ 上限・下限の証明を、∀、∃を使って、どう表記すべきか？ 全てのsup , inf の記号の下に、 ｎ∈Nが付きます。 sup(a_n)＝{a₁,a₂,a₃・・・・a_n} 、 sup(b_n)={ｂ₁,b₂,b₃・・・・・,b_n} sup(a_n＋b_n)=sup(a₁＋b₁,a₂＋b₂＋・・・・・a_n+b_n} とするとき (1)a_n>0 ,b_n>0⇒ sup(a_n・b_n) <= sup(a_n)・sup(b_n) (2)a_n>0 ,b_n>0⇒ inf(a_n・b_n) >= inf(a_n)・inf(b_n) (3)sup(a_n - b_n) >= sup(a_n) - sup(b_n) (4)inf(a_n - b_n) <= inf(a_n) - inf(b_n) (5)inf(a_n + b_n) >= inf(a_n) + inf(b_n) 上記(1)～(5)の証明を、∀、∃を使ってどう表記すべきか？ 基本的な性質みたいなものなので、三角不等式の証明みたいな感じに なるような気はしますが、記号の使い方に慣れていないので手が出ません。 どのように記述したら証明した事になるのでしょう？
- 締切済み
- 数学・算数
- 高校の数学です。
※数列｛an}のaとnが同じ大きさですが、実際はaの方が大きいです。 ｛bn}も同様。 nの横の+1はaのn+1ということです。 (コ)n だけは(コ)がnの係数です。 数列｛an}が、漸化式a1 =8、an+1 =5an +8 (n=1、2、3…)で定義されるとき、an+1 +(ア)=(イ)(an +(ア))と変形できるので、数列｛an +(ア)}は初項が(ウエ)、公比が(オ)の等比数列である。よって、数列｛an}の一般項はan =(カ)・(キ)^n-(ク)である。 このとき、数列｛bn}が、漸化式b1 =1/2、bn+1 -bn =anで定義されるとすると、数列｛bn}の一般項はbn =(ケ)^n-(コ)n/(サ)である。 分からないので教えて下さい。
- 締切済み
- 数学・算数
- ２つの数列の関係式
数列{ａn}と{ｂn}は関係式 ａn+1＝（4ａn+ｂn）/6 ｂn+1＝（-ａn＋2ｂn）/6 （n=1,2,・・・） を満たしている。ａn=1 ｂn＝-2 。 このときに ● {ａn}が 4ａn+2 － 4ａn+1 ＋ ａn ＝０ を示す方法 ★ 数列{2^nａn} が等差数列であることを示す方法。 ▲ {ａn}と{ｂn}の一般項を求める方法。 を教えていただきたいです。 ●は三項間漸化式で解こうとしたのですが、これを示さないといけないから、この式は使えないのでどうしたらいいかわかりませんでした・・・ それとａnとか解りづらくてすいません・・・ どなたかよろしくおねがいします。
- 締切済み
- 数学・算数
- 高校の数学です
※数列｛an}のaとnが同じ大きさですが、実際はaの方が大きいです。 ｛bn}も同様。 nの横の+1はaのn+1ということです。 (コ)n だけは(コ)がnの係数です。 数列｛an}が、漸化式a1 =8、an+1 =5an +8 (n=1、2、3…)で定義されるとき、an+1 +(ア)=(イ)(an +(ア))と変形できるので、数列｛an +(ア)}は初項が(ウエ)、公比が(オ)の等比数列である。よって、数列｛an}の一般項はan =(カ)・(キ)^n-(ク)である。 このとき、数列｛bn}が、漸化式b1 =1/2、bn+1 -bn =anで定義されるとすると、数列｛bn}の一般項はbn =(ケ)^n-(コ)n/(サ)である。 分からないので教えて下さい。 考えても分からないので答えをお願いします。
- 締切済み
- 数学・算数
補足
sup_m(An+Bn)=aとおく。aは｛An+Bn｝の上限ならば、a≧An+Bn。 次にsup_nAn=α,sup_nBn=βとおけば、先ほどと同様にα≧An,β≧Bn。つまり辺辺を加えればα+β≧An+Bn。 以上からa≦α+β q.e.d. こんな感じでしょうか！？