複素関数 の微分可能性(正則性)の定義は
なる極限が存在することである。ここで、極限が存在するというのは、 を任意のやり方で へ近づける方法を考えて、どのやり方であっても同じ値に収束することをいうわけです。
だから、単に一直線に近づくだけでなく、実軸方向から移動させて虚軸方向に移動させたり、はたまた虚軸方向を移動させてから実軸方向に移動したり。もちろん、そんな単純な方法だけでなくて、ぐるぐる のまわりを回りながら近づけていっても良いわけですね。
その点、実関数 の微分可能性の定義は、実軸は1次元でしかなく、右側から近づくか、左側から近づくかの2択しかないので、簡単ですね。そんな風に理解していたのです。
ところが、それはまだまだ十分な理解ではなく、実関数であろうとも、たとえば正の方からスタートして を通り越してさらに負の方向から正の方向へ無限回いったりきたりして近づいていく、そんな方法を考えたっていいわけです。そういう近づき方もすべて考えた上で極限という概念が定義されるわけですね。
そうやって考えると、実関数だろうが複素関数だろうがその難しさは変わらないわけです。
ところが、面白い定理があって、右側極限と左側極限が一致することが、極限が存在することの必要十分条件であるというのです。
極限を定義しましょう。 が の極限で に収束することは、任意の に対して、 が存在して
が成り立つことを言います。このとき、 と表します。
また、右側極限・左側極限を定義します。任意の に対して、 が存在して
が成り立つとき、 と表します。これを左側で同様に定義したものが となります。
さて、このように定義すると、先ほどの主張はこうなります:
これの証明をしてみましょう。
は明らかに左側の条件の方が強いことをいっているのでよいでしょう。不思議なのは、 の方です。
( の証明)
右が成り立つということは、任意の に対して
① が存在して、
かつ、② が存在して、
が成り立つということです。片側極限の定義において、 は任意にとっていいので、①②で共通の をとっているのがポイントですね。
ここで、 とすれば、
が成り立ち、 であることが示されました。