合成関数の連続性
一般に , のとき、 となるとは限りません。実際、f(x) として恒等的に 0 であるものを取り
とすると、明らかに任意の に対して であり、また ですが、 は恒等的に 1 なので
となってしまいます。これは g が y = 0 = f(a) で連続でないがゆえに起きる現象です。同じように f(x) が不連続な場合もやはり反例が作れます。
しかし、f(x) が x = a で連続で、g(y) が y = b = f(a) で連続ならば、合成関数 は x = a で連続であることが示せます。これを示すために、再び補題を用意します
補題 3
次の 2 条件は同値である。
- である任意の数列 に対して
(証明)
1 2 はほぼ自明。
2 1
対偶で示す。今
[tex:(\exists\varepsilon>0)(\forall\delta>0)(\exists x)*1]
とする。このとき に対して
から一つずつ元を選び(選択公理)、点列 を作れば だが だから となって矛盾。
以上の補題を用意して、次の定理を証明します。
定理 4
f(x) が x = a で連続かつ g(y) が y = b = f(a) で連続ならば、合成関数 は x = a で連続である。
(証明)
補題 3 により なる任意の点列 に対して である。g(y) は y = b で連続だから、 なる任意の点列 に対して であるから、 とおけばよい。
以上、ここまで、 論法の概要を述べてきました。「 論法」の名の由来も、既にお気づきでしょう。しかし、これは 論法の氷山の一角にすぎません。これを出発点として微分や積分などの様々な解析的概念に、 論法は必ずと言っていいほど顔を出してきます。
最後に、変数や関数値が複素数の場合について補足。関数値が複素数の場合は、正負の概念がないため、 とは のことと約束します。また、複素数は「複素平面」の言葉が示す通り、一点 a への近づき方が無数に存在するため、実変数のときのような右極限や左極限のような概念はありません。以上のことにさえ注意すれば、複素変数、複素数値関数に対しても全く同様の議論が展開できます。もっと言えば一般の
に対して、ほぼ同じように議論が展開できることを補足として述べたところで、今回はお開きにいたします。