※画像はイメージです。本文と直接の関係はありません

無限と数列の基本テクニック入門

1. ∞ の意味と性質

• 記号の意味： (\infty) は実数ではなく、拡張実数系において「無限に大きい」または「無限に小さい」ことを示す記号です。正の無限大は (+\infty)、負の無限大は (-\infty) と表記します。
• 等号の取り扱い：拡張実数系では同じ記号同士は等号で結び、
  [ +\infty = +\infty,\qquad -\infty = -\infty ]
  が成立します。有限の実数と (\infty) を等号で結ぶ（例：(\infty = 5)）ことは 代入できません。ただし、極限の文脈では「(x_n \to +\infty)」と書くことで「項がどんどん大きくなる」ことを便宜的に表すことがあります。この点は「等号で結ぶ」こととは別物であることに注意してください。
• 大小比較：定義上 (\ +\infty > -\infty) と比較できますが、(+\infty) と (+ \infty)（または (-\infty) と (-\infty)）の大小比較は「等しい」以外の情報は得られません。したがって、同符号の (\infty) 同士については大小関係を議論しません。
• 計算上の注意（不定形）
  • 足し算：(+\infty + 1 = +\infty)、(+\infty + +\infty = +\infty)。ただし (\ +\infty + (-\infty)) は 不定形（未定義）です。
  • 引き算：(\infty - \infty) は 不定形です。
  • 掛け算・割り算：(\infty \times 0)、(\infty \div \infty)、(0 \div 0) などは 不定形として未定義です。

代表的な不定形
- (\infty - \infty)
- (\infty \div \infty)
- (0 \times \infty)
- (0 \div 0)

2. 数列の振る舞い

数列 ({a_n})（(n) は自然数）は次の四つに分類できます。

1. 収束

   • 説明：有限な実数に限りなく近づく。
   • 例：({a_n} = {1/n}) は (1, \tfrac12, \tfrac13, \dots) と続き、項が次第に小さくなり 0 に近づく。

2. 正の無限大へ発散

   • 説明：任意の実数よりも大きくなる。
   • 例：({a_n} = {n}) は (1, 2, 3, \dots) と増え続け、どんな実数でも最終的にそれを超える。

3. 負の無限大へ発散

   • 説明：任意の実数よりも小さくなる。
   • 例：({a_n} = {-n}) は (-1, -2, -3, \dots) と減少し、どんな実数でも最終的にそれより小さくなる。

4. 振動

   • 説明：収束せず、かつ (\pm\infty) へも発散しない 状態。必ずしも交互に変わる必要はなく、たとえば ({(-1)^n}) のように符号が交互に変わる例や、({1,2,1,3,1,4,\dots}) のように規則的でない例も含まれる。
   • 例：({a_n} = {(-1)^n}) は (n=1) から始めると (-1, 1, -1, 1, \dots) と交互に変化し、奇数項は (-1)、偶数項は (1) になる。

3. 項別演算による数列の組み合わせ

二つの数列 ({an}) と ({bn}) が与えられたとき、各項ごとに次の演算が可能です。

• 和　({an + bn})
• 差　({an - bn})
• 積　({an \times bn})
• 商　({an \div bn})（ただし、すべての (b_n) が 0 でないことが前提）

注意点
項別演算は必ずしも元の数列の収束性を保ちません。以下に具体例を示します。

• 和の例

  • ({n})（正の無限大へ発散）と ({-n})（負の無限大へ発散）を足すと ({0}) となり、すべての項が有限である 収束数列 になる。
  • 同じく ({n}) と ({n}) を足すと ({2n}) となり、依然として正の無限大へ発散する。

• 積の例

  • ({n}) と ({1/n}) を掛けると ({1}) になる。ここでは「無限大に向かう数列」と「0 に収束する数列」の積が有限な定数列になることが分かります。

• 商の例

  • ({n}) と ({n}) を割ると ({1}) になる。両方が同じ速度で発散しているため、商は有限な定数列に収束します。
  • (\infty \div \infty) は 不定形ですが、上記の数列の組み合わせでは極限として
    [ \lim_{n\to\infty}\frac{n}{n}=1 ]
    が得られ、結果として 1 に収束します。

このように、和・差・積・商を行う際は、各数列の発散方向や収束性を確認したうえで演算を行う必要があります。

4. 集合の濃度で見る無限の大小

• 整数全体の集合 (\mathbb{Z}) は可算無限です。
• 偶数全体の集合 は (\mathbb{Z}) と一対一対応（(k \leftrightarrow 2k)）が取れるため、同じ可算無限の濃度です。
• 実数全体の集合 (\mathbb{R}) は非可算無限であり、カントールの対角線論法により、任意の可算集合（たとえば (\mathbb{Z})）よりも濃度が大きいことが示されています。

集合論の手法を用いると、無限集合同士の「同じ大きさ」か「より大きいか」を厳密に比較できます。

5. 無限小と微分積分の関係

微分積分の基礎は「極限」の概念です。関数の値がある数に 限りなく近づく ことを厳密に記述することで、面積や変化率を定義します。

• 無限小 は実数ではなく、極限操作を通じて「(0) に限りなく近づく量」として扱う概念です。一般には「(0) に収束する数列や関数」を指すことが多く、実際に (0) に到達することは求めません。
• 微分は「変化量の比 (\displaystyle\frac{\Delta y}{\Delta x}) が (\frac{0}{0}) という不定形になるが、(\Delta x \to 0) としたときに極限が定まる」こととして定義されます。
• 積分は「幅を限りなく小さく分割した和の極限」として定義され、無限に細かい区間での総和を取ることで面積を求めます。

まとめ

• (\infty) は実数ではなく、拡張実数系の記号的要素です。同じ記号同士は等号で結び、有限数との等号は「代入できない」ことを意味します。計算上の未定義な操作は「不定形」と呼び、取り扱いに注意が必要です。
• 数列は 収束・(+\infty) へ発散・(-\infty) へ発散・振動 の四つに分類でき、項別演算を行う際は収束性の変化に注意が必要です。
• (\ +\infty) と (\ -\infty) の大小比較は定義上可能ですが、同符号の (\infty) 同士は「等しい」以外の大小関係は議論できません。足し算は (\ +\infty + 1 = +\infty) などが成り立ちますが、(\ +\infty + (-\infty)) は不定形です。
• 集合の濃度を用いると、可算無限と非可算無限の違いを厳密に示せます。整数と偶数は一対一対応により同じ可算無限、実数はカントールの対角線論法でより大きな無限であることが分かります。
• 微分積分の根底にあるのは 極限 であり、無限小は「(0) に限りなく近づく」量として極限で扱う概念です。微分は不定形 (\frac{0}{0}) を極限で解消する操作として理解すると、前述の「未定義」や「不定形」の話と一貫します。

これらの手法を身につければ、無限を扱う問題に自信を持って取り組めます。次回は 無限級数の収束判定手法 についてさらに掘り下げます。