- ベストアンサー
有界なθについて調査
- 質問者は、Σ[∞,n=1] (cos(nθ))/nが収束しないようなθ∈Rを分析している。
- 質問者はディリクレの判定法を使用し、θ = 2kπ(k∈Z)の場合にΣ[∞,n=1] (cos(nθ))/nが発散することを示している。
- 質問者は、Σ[n,k=1] cos(kθ)が-1<cos(kθ)<1で有界であるかどうかについても疑問を呈している。
- みんなの回答 (4)
- 専門家の回答
関連するQ&A
- 級数の収束・発散の判定Σ(cos^4(arctan(n))/n^(1/4)n)
a_n=(cos^4(arctan(n))/n^(1/4)n) において、 Σa_nの収束・発散を調べています。 cos^4(arctan(n))/n^(1/4)n =1/{n^(1/4)n(n^2+1)^2} なので lim a_n+1/a_n が1未満なら収束ですよね。 a_n+1/a_n=n/(n+1)・(n/(n+1))^(1/4)・(n^4+2n^2+1)/(n^4+4n^3+16n^2+4) となり、 lim a_n+1/a_n=1 となってしまうのでこの級数は発散すると思います。 しかしながら Σa_n<Σ1/n^(5/4) といえ、調和級数の収束・発散条件からΣa_nは収束となってしますよね。 一体、何処を間違っているのでょうか?
- ベストアンサー
- 数学・算数
- 収束するから有界??
数列Anが収束するので、lim(n→∞)An=0 より、{An}は有界であるとあったのですが、どうしてそうなるのでしょうか?また{An}が有界だとどうして{An+1}も有界なのでしょうか?教えてください。
- ベストアンサー
- 数学・算数
- この場合,Cauchy列が有界となる理由は?
宜しくお願い致します。 最下の命題の証明でCauchy列が有界となる理由がわかりません。 [定義-3]順序集合(A,≦')の部分集合Bに於いて、{b∈B ;∀x∈B,b≦'x}≠φの時、 {b∈B;∀x∈B,b≦'x}:単集合となる{b∈B ;∀x∈B,b≦'x}のただ一つの元bをminBと表記し、(A,≦')に於けるBの最小元と言う。 [定義-2]順序集合(A,≦')の部分集合Bに於いて、{a∈A ;∀x∈B,x≦'a}≠φの時、 {a∈A ;x∈B⇒x≦'a}の元を(A,≦')に於けるBの上界と言う。 [定義-1] 順序集合(A,≦')に於いて、Aの部分集合Bに於ける上界が存在する時、Bは(A,≦')の中で上に有界であると言う。 [定義0] 順序集合(A,≦')に於いて、Aの部分集合Bに於ける上界が存在する時、その上界の集合の最小限をBの上限といい,supBと書く。 [定義1] 数列{a_n}のある部分列がaに収束する時,このaを数列{a_n}の集積値という。 [定義2] 順序集合(A,≦')が完備 ⇔ (i) (A⊃)Bが上に有界ならば∃supB∈A (ii) (A⊃)Bが下に有界ならば∃infB∈A [命題1](Weierstrassの定理) 有界な数列には少なくとも1つの集積値が存在する。 [命題2] 数列{a_n}が収束する ⇔ (i) {a_n}が有界 (ii) {a_n}の集積値は唯一つ [命題3] 順序集合(A,≦')を距離空間(その距離をdとする)とする。Aが完備ならばAの任意のCauchy列{c_n}はlim[n→∞]c_n∈A. を示しています。 [証] Cauchy列の定義から0<∀ε∈R,∃M∈N;M<m,n∈N⇒d(c_m,c_n)<ε {c_n}は有界(∵?)。 従って,sup{c_n}∈A,inf{c_n}∈A(∵定義2) これから{c_n}は有界と言えるから,{c_n}は収束する (∵唯1つの集積値が存在する (∵{c_n}には少なくとも1つの集積値が存在するから(命題1), {c_n}の集積値が2つあったと仮定し,その集積値をa,bとする。 {c_n}の部分列{a_n}がaに収束,部分列{b_n}がbに収束。 収束の定義から夫々 0<ε'∈R,∃M'∈N;M'<k⇒|a_k-a|<ε' 0<ε'∈R,∃M"∈N;M"<h⇒|b_h-b|<ε' ところが |a-b|=|(a-a_k)-(b-b_h)+(a_k-b_h)| ≦|a-a_k|+|b-b_h|+|a_k-b_h|<2ε'+|a_k-b_h| ∴ |a_k-b_h|>|a-b|-2ε' これはmax{M',M"}<∀k,h∈Nに対しても|a_k-b_h|>|a-b|-2ε'となってしまう事を意味しているので ここでε':=|a-b|/4と採ってしまうと, ∃M∈N;M<k,h∈N⇒|a_k-b_h|>|a-b|/2 となり,Cauchy列の定義に反する) よって命題2) そして,{c_n}の収束値をcとするとc∈A (∵c∈A^cだと仮定してみると今,lim[n→∞]c_n=cなので 0<∀ε∈R,∃M∈N;M<m∈N⇒d(c_m,c)<εと書ける筈だが書けない(∵dはAでしか定義されてない)) 、、、と示せると思うのですが2行目「{c_n}が有界」の理由がわかりません。 d(c_m,c_n)<εからどうすれば{c_n}が有界である事が言えますでしょうか?
- 締切済み
- 数学・算数
- 数列の収束、有界など
数列a(n)=1+1/1+1/2!+1/3!…+1/n!について (1){a(n)}は単調増加を示せ。 解: a(n+1)-a(n)=1/(n+1)!-1/n!>0 ⇒a(n)<a(n+1) (2)上に有界を示せ。 (3)収束することを示せ。 (1)は自力で解けたのですが、(2)(3)が分かりません。 申し訳ないのですが、分かる方は教えて下さい。よろしくお願いします。
- ベストアンサー
- 数学・算数
- Σ[n=1..∞]a_n (a_n>0)は収束する。Σ[n=1..∞]a_n/n^pが収束するようにpの全ての値を求めよ
[問]Σ[n=1..∞]a_n (a_n>0)は収束する。Σ[n=1..∞]a_n/n^pが収束するようにpの全ての値を求めよ。 [解] (i) p>0の時, 1/1^p≧1/2^p≧…≧0且つlim[n→∞]1/n^p=0 よって定理「Σ[n=1..∞]a_n∈Rで{b_k}は単調且つlim[n→∞]b_n=0⇒Σ[n=1..∞]a_kb_kも収束」より Σ[n=1..∞]a_n/n^p∈R (ii) p=1の時 Σ[n=1..∞]a_n/n^p=Σ[n=1..∞]a_nで収束(∵仮定) (iii) p<0の時 が分かりません。 どのようにして判定すればいいのでしょうか?
- ベストアンサー
- 数学・算数
- 有界な単調数列の証明(再掲)
こちらの皆様のご指導のもと、以下の単調数列の証明問題を解いてみました。 証明が変なところがあれば、ご指導よろしくお願いします。 【問題】 数列{ 1-(1/n) }/{ 1+(1/n} }[n=1,2,3,...]は 有界な単調数列であるか? 理由とともに、単調な場合には、 単調増加であるか単調減少であるかについても求めよ。 【証明】 まず、有界かどうかについて証明する。 n→∞とすると、 lim[n→∞] { 1-(1/n) }/{ 1+(1/n} } =lim[n→∞] (n-1+2-1)/(n+1) =lim[n→∞] 1-2/(n+1)=1 よって、有界。 つぎに単調増加について証明する。 (n-1)/(n+1) = (n+1-2)/(n+1) = 1-2/(n+1)と変形させることにより、 1より小さいことがわかる。 また、2/(n+1)は単減少であることより、-2/(n+1)は単調増加。 よって、1-2/(n+1)も単調増加であることが証明される。 ∴数列{ 1-(1/n) }/{ 1+(1/n} }[n=1,2,3,...]は、 有界な単調増加である。
- ベストアンサー
- 数学・算数
- 数列の和が収束する条件
lim{n→∞}Σ{k=1~n}a_k が有限値に収束すれば a_nはnが無限大に近づくにつれて0に近づきますが、a_n→0 (n→∞)であれば必ずlim{n→∞}Σ{k=1~n}a_kは有限値に収束しますか?収束しないとしたら反例をお願いします・ (一度投稿したのですが、手違いがあったため再投稿です)
- ベストアンサー
- 数学・算数
- Σ[n=0..∞](-1)^n/nの収束はどうやってわかりますか?
Σ[n=0..∞](-1)^n/nの収束・発散を吟味して収束ならその和を求めようとしていま す。 実際に判定してみましたら lim[n→∞]|a(n+1)/a(n)|=lim[n→∞]|((-1)^(n+1)/(n+1))/((-1)^n/n)|=lim[n→∞]|-n/(n +1)|=1で判定不能になってしまいました。 こういった場合はどうすればいいんでしょうか? 和についてですがとりあえず 収束という前提で収束値を求めてみましたら log(1+x)=Σ[n=1..∞] {(-1)^{n-1}/n}・x^n x=1代入で,log2 =Σ[n=1..∞] (-1)^(n-1)/nとなりましたがこれで正しいでしょうか?
- ベストアンサー
- 数学・算数
- 複素関数
複素関数の問題を解いているのですが、わからないことがあります。 問)Σ[n=0→∞] c_n z^n の収束半径をRとする。{c_n}が有界数列ならば、R≧1であることを示せ。 答)|c_n|≦Mと仮定する。|z|<1ならば、Σ[n=0→∞] |z|^n <+∞。…(1) これと|c_n z^n|≦M|z|^nによって、Σ[n=0→∞] c_n z^n は|z|<1で絶対収束する。 ゆえに R≧1。…(2) 疑問について、 ・(1)のところの+∞の使い方がいまいちわかりません。これは発散しない(=収束する)という考え方でいいのでしょうか ・(2)「ゆえに」のところがわかりません。どこからR≧1がでてきたのか… 初歩的な質問かもしれませんが、詳しく教えていただけると幸いです。
- ベストアンサー
- 数学・算数
- Windows10で不明なソフトウェア例外(Oxe0434352)が発生しています。トラブルシューティングエラーコードはOx8000010105です。
- Windows10のエラーコードOx0000000007565cc18が表示されており、Ox0000000052696Foのメモリを参照することができません。
- パソコンの起動はできますが、ポップアップエラーが表示されており、富士通FMVの対応方法が分かりません。
お礼
すみません、cos kθ = -1と思ってました。 cos θ = -1 のとき1と-1を繰り返しますもんね。 理解しました。ありがとうございます。