極限操作

1 極限操作の基本概念

1.1 極限の直観的な意味

極限操作（リミット操作）とは、ある変数が値に「近づく」状況で、関数の出力がどう振る舞うかを、最終的にどこへ落ち着くか（収束）という観点から定める考え方である。たとえば、入力を少しずつ目標値に寄せたとき、出力がある特定の値に次第に近づいていくなら、その近づき方を「極限」として記述できる。逆に、寄せても出力が一定の値付近にまとまらず、揺れが大きかったり無限に増大したりする場合は、極限が存在しない、あるいは発散と表現される。

この直観は「近似の正当化」と強く結びついている。ある量を厳密に扱う代わりに、近い入力で計算した結果が極限値に近いことを保証できるなら、解析上の性質（連続性、微分可能性など）を確定する手段になる。

1.2 極限の厳密な定義

1.2.1 ε-δ論法による定義

極限は次の形で厳密に定義される。関数 \(f(x)\) について、\(x\) が \(a\) に近づくとき \(f(x)\) が \(L\) に近づくことを、\(\lim_{x\to a} f(x)=L\) と書く。このとき定義は、「どれだけ小さくてもよい誤差許容 \(\varepsilon&gt;0\) に対し、ある \(\delta&gt;0\) が存在して、\(0&lt;	x-a	<\delta\) なら \(	f(x)-L	<\varepsilon\) が成り立つ」こととして与えられる。

この条件は、入力が目標点から十分近い範囲に入れば、出力は目標値 \(L\) から任意に小さい範囲へ抑えられる、という意味を形式化したものである。重要なのは、誤差許容 \(\varepsilon\) を先に固定し、それに応じて入力の近さ \(\delta\) を選べる点である。これにより、直観的な「近づく」概念が数学的に扱える性質へ落とし込まれる。

1.2.2 片側極限の定義

片側極限では、目標値 \(a\) に近づく経路を片側に限定する。たとえば左側極限 \(\lim_{x\to a^-} f(x)=L\) は、\(x<a\) の範囲で \(x\) を \(a\) に寄せたときの挙動を問う。厳密には、\(\varepsilon>0\) に対してある \(\delta>0\) が存在し、\(0<a-x<\delta\) なら \(	f(x)-L	<\varepsilon\) が成り立つことにより定義される。

同様に右側極限 \(\lim_{x\to a^+} f(x)\) は \(x>a\) の範囲で定義される。片側極限は、分岐や不連続がある関数で特に重要になる。両側極限が存在するためには、左右それぞれの極限が同じ値に収束する必要がある。

1.3 極限が存在する条件と収束・発散

極限が存在するとは、上の意味で左右いずれか、もしくは両側の挙動が同一の値へ収束することを指す。収束とは、出力が特定の数へ近づく場合だけでなく、ある構造のもとで有界に収まっていく振る舞いとして理解できる。一方、発散は極限値が定まらない状況を広く含み、出力がある範囲に留まらない、振動が続いて収束しない、あるいは無限大へ向かうなどのケースが含まれる。

実務上は、次のような状況で判断が分かれる。第一に、左右両側の極限が一致するか。第二に、出力が目標点近傍で同じ値の周りに押し込められるか。第三に、値が無限に大きくなる場合は、有限値への極限ではなく無限極限として扱う。これらの判定は、のちに述べる計算規則や評価法と組み合わさることで、理論と計算の橋渡しになる。

2 極限の計算規則

2.1 極限の線形性

極限の線形性は、収束がもつ「演算と両立する」という性質を表す。具体的に、\(\lim_{x\to a} f(x)=A\) および \(\lim_{x\to a} g(x)=B\) が成り立つとき、定数 \(c\) に対して \[ \lim_{x\to a} (c f(x)) = cA,\quad \lim_{x\to a} (f(x)+g(x)) = A+B \] が成り立つ。直観的には、入力が十分近い範囲では \(f(x)\) と \(g(x)\) はそれぞれ \(A\)、\(B\) に近いので、加算やスカラー倍でも出力は同様に近い値へ落ち着く。

この性質により、多項式や線形結合の極限は、各項の極限を調べたうえで組み立てることができる。ただし、後述するように割り算や複雑な形では、不定形が現れて別の工夫が必要になる。

2.2 四則演算と合成に関する性質

2.2.1 積・商の極限

積については、両方が収束すれば極限も積へ従う。すなわち \(\lim f(x)=A\)、\(\lim g(x)=B\) が存在するなら \(\lim (f(x)g(x))=AB\) である。商も同様に、分母側が極限で 0 にならない場合に限り \[ \lim_{x\to a} \frac{f(x)}{g(x)} = \frac{A}{B} \] が成立する。ここで条件 \(B\neq 0\) は必須である。分母が 0 に近づくと割り算は制御不能になり、不定形（例えば \(0/0\)）の状況が発生するため、単純な代入ができなくなる。

無限大を扱う場面では、状況により符号や発散の速度が影響するため、有限値としての商則をそのまま適用するのではなく、より慎重な評価が必要になる。

2.2.2 関数の合成と置換の考え方

合成に関しては、「外側の関数が極限値に対して連続」であることが鍵になる。たとえば \(\lim_{x\to a} f(x)=b\) が成り立ち、外側関数 \(h\) が \(b\) で連続なら \[ \lim_{x\to a} h(f(x)) = h(b) \] が成り立つ。これは連続性の保存則として位置づけられる。

置換の考え方としては、変数変換により極限を扱いやすい形へ写像する手法が多用される。ただし、置換が正当化されるためには変換後の近づきが元の近づきと対応していること、あるいは新しい変数が十分近い範囲で同等の情報を保持していることが必要である。形式的には、極限が属する点へ収束することを崩さない範囲での変形が前提になる。

2.3 有限極限と無限極限（発散の扱い）

有限極限は極限値が実数として定まる場合であり、無限極限は \(f(x)\) が \(+\infty\) や \(-\infty\) へ向かう場合に対応する。定義としては、例えば \(\lim_{x\to a} f(x)=+\infty\) は、任意の正の数 \(M\) に対し、ある \(\delta&gt;0\) が存在して \(0&lt;	x-a	<\delta\) なら \(f(x)>M\) が成り立つこととして表される。

発散の扱いでは、どの程度まで増減しているかを区別することが重要である。無限へ発散するかどうかだけでなく、正負の方向や振動の有無が評価法や応用先（積分可能性など）に関わってくる。

2.4 単調性・はさみうち（挟み撃ち）による評価

挟み撃ちは、2本の関数で評価対象を挟み、両側の極限が同じになるとき中心の極限もその値に等しくなるという原理である。形式的には、ある近傍で \(g(x)\le f(x)\le h(x)\) が成り立ち、さらに \(\lim g(x)=\lim h(x)=L\) なら \(\lim f(x)=L\) が従う。

単調性は収束判定に直結することがある。ある範囲で \(f(x)\) が単調増加または単調減少で、かつ有界であるなら、変数を極限へ近づけたときの値はある実数へ近づく。これは極限の存在を導くための補助手段として機能し、実解析では収束の構成にしばしば用いられる。

この節の評価法は、計算規則だけでは決められない複雑な極限を扱うための強力な手段となる。

3 極限計算の代表的手法

3.1 不定形の判定と対処の方針

不定形とは、単純な代入をした結果が極限計算として決定不能になる形を指す。典型的には \(0/0\)、\(\infty/\infty\)、\(0\cdot\infty\)、\(\infty-\infty\)、あるいは \(0^0\)、\(1^\infty\)、\(\infty^0\) などが挙げられる。これらは形だけでは収束先が決まらず、分子や分母の増え方・減り方の詳細に依存する。

方針としては、式を同等変形し、これらの不定形を解消する方向へ変形することが基本になる。具体的には、分母と分子に同じ因子を掛けて整理する、共通因子をくくり出す、分数を通分し直す、対数を取って指数形を扱いやすくする、などの戦略がある。

3.2 ロピタルの定理

ロピタルの定理は、不定形 \(0/0\) や \(\infty/\infty\) の極限に対して、分子と分母を微分して比を取ることで新しい比の極限を求められる場合があるという手法である。代表的な形では、\(x\to a\) で \(f(x)\to 0\)、\(g(x)\to 0\) あるいはその発散形が成立し、さらに十分な滑らかさと微分可能性が仮定されるとき、 \[ \lim_{x\to a}\frac{f(x)}{g(x)} = \lim_{x\to a}\frac{f'(x)}{g'(x)} \] が成り立つことがある（ただし右辺の極限が存在する必要がある）。

同定理は、繰り返し適用することで多項式的な消去が進み、最終的に決まる値へ到達できる場合がある。とはいえ、いつでも有効ではなく、条件の確認と適用後の不定形解消が不可欠である。

3.3 等比・等差型の極限（指数・対数の扱い）

等比・等差型の極限は、指数や対数を含む式の評価で頻出する。たとえば \((1+u)^{n}\) のような形では、\(u\) が 0 に近づく状況で指数関数の挙動が支配的になり、対数変換を通して計算が整理されることが多い。一般に、指数関数は対数を取ることで乗法が加法に変わるため、不定形の解像度が上がる。

等差型では、差の形を指数や対数へ変形してから極限を評価する手順が使われることがある。具体的には、分母・分子がともに小さい変化を含む場合に、指数のテイラー展開や微分方程式に関連する代表値を用いると計算が簡潔になる。極限が最終的に指数・対数の定数へ結びつく例は、解析学の標準的な応用として位置づけられる。

3.4 有理化・展開による極限の整理

有理化は、平方根などの因子を含む分数を扱うときの典型手法である。たとえば分母に \(\sqrt{a}-\sqrt{b}\) のような差がある場合、その共役を掛けることで差の平方により根号が消え、代数的な整理へ進められる。

展開は、関数を近傍で多項式的に近似することで極限の支配項を特定する方法である。たとえば分子と分母がともに 0 に近づくとき、どの次数の項が残るかを見抜けば極限が決まる。このときテイラー展開や同種の近似が使われるが、適用には誤差項が極限に与える影響を評価できることが前提になる。

これらの技法は、不定形を含む複雑な式を扱う際に、計算の見通しを良くする役割を担う。

4 極限と微積分・連続性の関係

4.1 連続性の定義と極限

連続性は極限概念そのものと結びついている。点 \(a\) において関数 \(f\) が連続であるとは、\(\lim_{x\to a} f(x)\) が存在し、かつその極限値が \(f(a)\) に等しいことをいう。したがって、連続性を確かめることは「極限を計算し、関数値と一致するか」を調べる作業に置き換えられる。

不連続の典型例として、極限が存在しない場合、あるいは存在するが \(f(a)\) と一致しない場合がある。さらに、片側極限の情報に分解して検討できる場合も多い。連続性は微分可能性や積分可能性の背景となり、極限が果たす役割は基礎解析の中核にある。

4.2 微分係数と極限

微分係数は平均変化率の極限として定義される。点 \(x\) における関数 \(f\) の微分係数は \[ f'(x)=\lim_{h\to 0}\frac{f(x+h)-f(x)}{h} \] で表される。ここで \(h\) は独立に小さくなる量であり、極限が「差分の割合」を点の瞬間的な変化率へ変換する。

この定義により、微分可能性とは「この極限が有限値として存在すること」と結びつく。結果として、極限の性質（収束の判定、不定形への対処）が微分の可否を左右する。計算面では、差の割り算がしばしば \(0/0\) 型の不定形になり、展開やロピタルのような手法が活躍する。

4.3 接線・平均変化率と極限

接線は、点の近傍で関数を最もよく近似する一次関数として理解できる。微分係数が平均変化率の極限として定義されることから、接線の傾きは「点の周りでの変化の割合が極限として定まる値」になる。

幾何学的には、折れ線や円弧のような曲がった形に対し、点を固定してほかの点を近づけたときの割線の傾きが一定の値へ落ち着くなら、その値が接線の傾きになる。この説明において、極限は曲線の“瞬間的な直線性”を定式化する役割を担う。

4.4 積分の定義（リーマン和）と極限

積分のリーマン和による定義は、区間を細分し、その細片ごとの面積近似を足し合わせ、分割が無限に細かくなる極限を取ることで得られる。区間 \([a,b]\) を分割し、各小区間の幅 \(\Delta x\) と点 \(\xi_i\) における関数値 \(f(\xi_i)\) を用いた和 \[ \sum_{i=1}^{n} f(\xi_i)\Delta x \] を作り、分割の最大幅が 0 に近づく極限で極限値が定まるなら、その値を \(\int_a^b f(x)\,dx\) と定義する。

ここでも極限が中心にある。分割の仕方を変えても同じ極限値へ収束する（つまり、近似が安定する）ことが必要条件であり、その安定性は関数の性質に依存する。結果として、微分と同様に「極限による局所情報から全体の量を構成する」という枠組みが積分にも現れる。