数列の収束・発散に関する問題では、ある数列同士の和や積、商を考えたときにどのような性質になるのかを判断する必要があります。特に「分母が0にならない」という条件がある場合、商の数列の挙動には注意が必要です。この記事では、収束する数列{an}と発散する数列{bn}に対して、{bn/an}が必ず発散するのかという命題について、反例や考え方を通して詳しく解説します。
数列の条件を整理する
考える命題は次のようなものです。
「{an}が収束し、{bn}が発散し、すべてのn∈Nでan≠0ならば、{bn/an}は発散する」
ここで、{an}はある値に近づく数列、{bn}はどんな値にも近づかず発散する数列を意味します。
直感的には、分子であるbnがどんどん不安定になるため、bn/anも発散しそうに見えます。しかし、数列の性質では直感だけで判断すると間違えることがあります。
まず結論：この命題は偽である
この命題は常に正しいわけではなく、偽です。
理由は、anが0に近づく場合、bn/anの値を調整することで、商の数列が収束してしまう可能性があるためです。
つまり、「分母が0ではない」という条件だけでは、分母の大きさがどのように変化するかまでは制限できません。
反例を考えて命題が偽であることを示す
具体的な反例を作ります。
bn=nとします。この数列はnが大きくなるほど大きくなるため、発散します。
次に、an=1/nとします。
この数列は0に収束し、すべてのnでan≠0を満たします。
このとき、
bn/an=n/(1/n)=n²
となります。
この場合は発散するので命題を否定する反例にはなりません。そこで、商が収束するように分母を設定します。
bn=n、an=nとするとanは発散するため条件に合いません。しかし、anが収束する必要があるため、別の形を考える必要があります。
重要なのは、anが収束する場合、その収束値が0であるかどうかです。
収束先が0の場合と0でない場合の違い
もしanが0ではない値aに収束するとします。つまり、an→a（a≠0）です。
この場合、十分大きなnではanは0に近いものの、一定範囲内で0から離れています。そのため、1/anは有限の値に近づきます。
したがって、bn/anは発散するbnに有限の数を掛けたものになるため、発散します。
一方で、an→0の場合は注意が必要です。分母が非常に小さくなることで、bn/anの挙動を変化させることができます。
ε-N論法で考えるときのポイント
数列の発散を証明するときは、ε-N論法ではなく、発散の定義を使って考えます。
数列{xn}が発散するとは、ある実数αに収束しないことを意味します。また、正の無限大へ発散する場合は、任意のM>0に対して、あるNが存在し、n>Nならばxn>Mとなることを示します。
今回の命題では、bnが発散しているという情報だけでは、正の無限大や負の無限大への発散とは限りません。振動しながら発散する数列も存在します。
そのため、直接ε-N論法で証明しようとしても条件が不足しており、証明できないのは自然なことです。
正しい形にするにはどんな条件が必要か
命題を正しくするには、anの収束先について条件を追加する必要があります。
例えば、an→a（a≠0）と明確にすれば、bn/anは必ず発散します。
理由は、1/anが1/aに収束するため、bn/anは発散する数列bnと0ではない有限値に近づく数列との積になるからです。
一方、an→0の場合は、分母の近づき方によって結果が変わるため、単純には判断できません。
まとめ｜収束する分母でも商の発散は保証されない
「{an}が収束し、{bn}が発散し、an≠0ならば{bn/an}は発散する」という命題は偽です。
特に重要なのは、anがどの値に収束するかという点です。0以外の値に収束するなら商は発散しますが、0に収束する場合は例外が起こる可能性があります。
数列の性質を判断するときは、単に分子や分母だけを見るのではなく、極限値や収束速度まで考えることが大切です。
コメント