極限とは、数学において、ある関数がある値に近づいたときに、その値に収束することを表す概念である。具体的には、ϵ\epsilon-δ\delta論法を用いて以下のように定義される。

f(x)f(x)x=ax=aで極限LLを持つとは、任意の正の数ϵ\epsilonに対して、ある正の数δ\deltaが存在して、0<xa<δ0 < |x-a| < \deltaのときにf(x)f(x)LLϵ\epsilon未満の誤差で収束することをいう。

すなわち、f(x)f(x)x=ax=aで収束するとは、xxaaに十分に近づいたとき、f(x)f(x)LLに十分に近づくことを意味する。

また、極限を表す記号は以下の通りである。

limxaf(x)=L\lim_{x \to a} f(x) = L

極限は、微積分や数列論などの数学の分野で重要な役割を果たす概念である。例えば、微分や積分といった解析的な操作を行うためには、極限の概念が必要である。また、数列の収束性を調べるためにも極限が用いられる。

極限の性質としては、以下のようなものがある。

  1. 極限の一意性:極限は一意的である。すなわち、f(x)f(x)x=ax=aで収束するとき、その極限は一つしか存在しない。

  2. 極限の四則演算:極限は四則演算に関して保存される。すなわち、f(x)f(x)g(x)g(x)がそれぞれx=ax=aで収束するとき、以下が成り立つ。

limxa(f(x)+g(x))=limxaf(x)+limxag(x)\lim_{x \to a} (f(x) + g(x)) = \lim_{x \to a} f(x) + \lim_{x \to a} g(x)
limxa(f(x)g(x))=limxaf(x)limxag(x)\lim_{x \to a} (f(x) - g(x)) = \lim_{x \to a} f(x) - \lim_{x \to a} g(x)
limxa(f(x)g(x))=limxaf(x)limxag(x)\lim_{x \to a} (f(x) \cdot g(x)) = \lim_{x \to a} f(x) \cdot \lim_{x \to a} g(x)
limxaf(x)g(x)=limxaf(x)limxag(x)(ただし、limxag(x)0)\lim_{x \to a} \frac{f(x)}{g(x)} = \frac{\lim_{x \to a} f(x)}{\lim_{x \to a} g(x)} \quad (ただし、\lim_{x \to a} g(x) \neq 0)
  1. 極限の大小比較:f(x)f(x)g(x)g(x)よりもx=ax=aで収束するとするとき、以下の関係が成り立つ。
limxaf(x)limxag(x)\lim_{x \to a} f(x) \leq \lim_{x \to a} g(x)
  1. 極限と不等式:f(x)f(x)g(x)g(x)がそれぞれx=ax=aで収束するとき、以下の不等式が成り立つ。
limxaf(x)limxag(x)ならばf(x)g(x)\lim_{x \to a} f(x) \leq \lim_{x \to a} g(x) \quad \text{ならば} \quad f(x) \leq g(x)

以上が、極限に関する基本的な内容である。極限には、他にも多くの性質や応用があり、幅広い分野で研究されている。

リンク

Limit[EN]