数列と級数

数列と級数は、無限の数のリストがある極限に近づくこと、および無限和が有限の値を持つことの意味を厳密に定義するものであり、解析学における最初の厳密な概念です。

Definition

数列とは、実数の順序付けられた無限リストであり、その項が最終的にその極限に任意に近づく場合、その数列は極限に収束します。級数とは、無限和の部分和の数列であり、その部分和の数列が収束するときに級数は収束します。

Scope

このトピックでは、収束数列とコーシー列、上極限と下極限、単調数列と有界数列、無限級数の収束と標準的な収束判定法、絶対収束と条件収束および項の並べ替え、ならびに点ごとの収束と一様収束、およびべき級数を含む関数の数列と級数について扱います。

Core questions

• 数列が収束することの厳密な意味は何ですか、また実数においてコーシーの基準が同等であるのはなぜですか？
• 無限級数が収束するかどうかを判定するテストにはどのようなものがありますか？
• 条件収束はどのようにして項の並べ替えによって和を変化させることができますか？
• 関数の級数を項ごとに微分または積分できるのはどのような場合ですか？

Key theories

コーシーの収束判定条件

実数の数列が収束するのは、それがコーシー列である場合、すなわちその項が互いに任意に近づく場合のみであり、この同等性は完備性に基づき、極限を知らなくても収束をチェックすることを可能にします。

リーマンの並べ替え定理

実数の条件収束級数は、任意の所定の値に収束するように、または発散するように並べ替えることができ、収束が絶対的でない場合、順序が重要であることを示しています。

ワイエルシュトラスのM-判定法

関数の級数の各項が、その級数が収束する定数によって大きさが有界である場合、その関数の級数は一様収束します。これは一様収束の標準的な十分条件です。

Clinical relevance

数列と級数は、関数と定数の数値近似、反復アルゴリズムの収束解析、応用数学全体で用いられるべき級数展開とテイラー展開、および物理学と工学における特殊関数と変換の定義の基礎となります。

History

無限和の収束は、1820年代にコーシーが極限と収束の厳密な定義を与えるまで、経験的に扱われていました。ワイエルシュトラスは世紀後半に一様収束とM-判定法を明確にし、リーマンの並べ替え定理は条件収束の微妙な性質を明らかにしました。

Key figures

• Augustin-Louis Cauchy
• Karl Weierstrass
• Bernhard Riemann

Seminal works

• rudin1976
• abbott2015

Frequently asked questions

関数の点ごとの収束と一様収束の違いは何ですか？

点ごとの収束とは、各固定点において値が個別に収束することを意味します。一方、一様収束は、すべての点に対して同時に機能する単一の接近速度を必要とし、これが連続性を保ち、項ごとの積分を可能にするものです。

絶対収束が重要なのはなぜですか？

絶対収束する級数は、その和を変えることなく自由に並べ替えることができますが、条件収束する級数はそうではありません。したがって、絶対収束は無限和を操作する上で安全な領域と言えます。