- ベストアンサー
関数の連続性
zk43の回答
- zk43
- ベストアンサー率53% (253/470)
帰納法でやる場合は、まず、an→α、bn→βならば、anbn→αβという 数列の極限に関する一般的な性質を示しておく。 t=1の場合は、an→pだから成り立つ。 tのとき成り立つとすると、t+1のとき、 an^(t+1)=an^tan→p^tp=p^(t+1) (ここで、上の一般的な性質を使っている。) となって、t+1のときも成り立つ。
関連するQ&A
- 数列(漸化式)
どの項も0でない数列{Tn}が与えられたとき A0=0、A1=1 An+1=(Tn+Tn+1)An/(TnTn+1) - (An-1)/Tn^2 (n=1,2,3・・・)で数列{An}を定義する (1)一般項AnをT1、T2・・・、Tnを使って表せ (2)特にTn=2^nのときAnを求めよ という問題に取り組んでいます n=1、2、と数値を入れていったところ (1)はAn=(T1+T2+・・・Tn)/(T1*T2*・・・*Tn) となったのですが(自信なし) 問題文に「T1、T2・・・、Tnを使って表せ」とある場合この時点でとめていいのでしょうか? 証明をしたりしなければいけないのでしょうか? もし証明するとしたら帰納法を利用することはできるのでしょうか? 質問ばかりで申し訳ありませんが、回答いただけるとありがたいです
- ベストアンサー
- 数学・算数
- 次の問題がわかりません
次の問題がわかりません an=1+1/2+1/3+・・・1/nとおくとき数列anはコーシー数列ではないことを定義に従って示せ という問題でヒントにa2n-anを考えてみよとあります これは背理法を使った方がいいのでしょうか |a2n-an|= で計算していくと思うのですが具体的にどのように証明していいかわかりません よろしくお願いします
- ベストアンサー
- 数学・算数
- ε-N論法について、
ε-N論法について、 任意のε>0についてある自然数Nが存在して、n,m>Nのとき |Am-An|<ε を満たすならば、数列{An}は収束する(コーシーの収束判定条件) ということを証明するときに、 Anは有界→収束部分列をもつ という方針で証明するのですけど、 有界性を証明するとき、 m>Nでmを固定しAmを定数化して |Am-An|<ε⇔Am-ε<An<Am+ε M=max{ |A1|,…,|AN|,|Am-ε|,|Am+ε| }とおくと |An|≦M より有界性は示された・・・ って感じで証明したんですけど、実際、mを固定してAmを定数化したとき Am=α とでもおいとくとすると 「∀ε>0、∃N、 s.t, ∀n>N ⇒|α-An|<ε」 が成り立つから即座にAnは収束する、ということが言えるのでしょうか? またそもそもmを固定することは可能なんでしょうか?
- ベストアンサー
- 数学・算数
- 実数のコーシー列の積
有理数の数列A={an},B={bn} がそれぞれ実数a,bに収束する時、AB=an*bn はa+bに収束する事を言えというもんだいです。 定義『Sを実数のコーシー列{an}とし、anは実数aに収束し、もし正の整数rが与えられた時に、|an-a|<Φ(1/r) n>Nを満たすnが存在する場合、Sの極限はaと言える』 と式変形を使って、 |anbn-ab|=<|anbn-an*b|+|an*b-ab|=|an||bn-b|+|b||an-a|...(1)と変形したのですが、ここから先に行けません。何とかして(1)<Φ(1/r1)見たいな感じに出来れば、 abに収束が証明できると思うのですが。anは有界なので|an|=<M(Mは実数)とできる所までは分かりますがこのMの取り扱いと、|b|の取り扱いに 手間取ってます。どなたか分かる方教えてください。分かるようで分かんなくて困ってます。宜しくお願いします。
- 締切済み
- 数学・算数
- 数列です。わからなくて困っています。教えてください。
数列です。わからなくて困っています。教えてください。 次の問題です。 整数からなる数列{an}を漸化式 a1=1、a2=3、an+2=3an+1-7an(n=1,2,3、・・・) で定める。 an が偶数となるnを決定せよ。 nは3の倍数のときにanが偶数になると予想でき帰納法を用いるのだと教えていただいたのですが、その帰納法の立て方がわからず、教えていただけないでしょうか。普通どおりに立ててもうまくいかず困っています。どうかよろしくお願いします。
- ベストアンサー
- 数学・算数
- 関数の連続性
社会人になってまた数学の勉強始めたんですが、いきなり躓いてしまいました。どなたか助けてください。「無限と連続」の数学 という本を現在やっています。 関数 y=f(x) が x=a で連続であるための必要十分条件は a に収束する任意の数列 a[n] について、数列 { f(a[n]) } が f(a) に収束することである この定理の証明なのですが、 x=a で連続である時 { f(a[n]) } が f(a) に収束することは示せたのですが、逆に { f(a[n]) } が f(a) に収束するとき x=a で連続であるというのが示せません。というか成り立たない気がするのですが… 以下、私の考え↓ f(x)を次のように定義します x=a[n] のとき a[n] x=a のとき a x=/=a かつ x=/=a[n]のとき a+3 この関数の場合 { f(a[n]) }は f(a) に収束するが、x=aが連続でないという命題が示せてしまう 任意のδ>0 s.t. 存在するx∈R |x-a|<δかつ|f(x)-f(a)|>=2 を示す どのようなδをとっても、開区間(a-δ,a+δ)のなかにはx=/=a かつ x=/=a[n] を満たす点が存在しいてしまうのでf(x)はそのxの値においてa+3の値をとり、|f(x)-f(a)|>=2をみたすので上記の命題は真になる 以上が私の考えです。ただ、ちょっと不安に思う点があります。 wikipediaの関数の連続性について書かれている記事だと(http://ja.wikipedia.org/wiki/%E3%82%A4%E3%83%97%E3%82%B7%E3%83%AD%E3%83%B3-%E3%83%87%E3%83%AB%E3%82%BF%E8%AB%96%E6%B3%95) s.t.のすぐ後に「任意のx∈R」とあります。だから連続の命題の否定は 存在するε>0 任意のδ>0 s.t. 存在するx∈R |x-a|<δかつ |f(x)-f(a)|>=ε になるのではないかと思うのですが、私の取り組んでいる本には「存在するx∈R」のような表記がありません。 私の考えはどこで間違っているのでしょうか。
- ベストアンサー
- 数学・算数