非常に久しぶりです.今回は函数の正則性(複素微分可能性)と微分可能性についてお話ししようと思います.
たまに見かける説明だと,「実函数なら左右から近づくけど複素函数だと上下左右どこから近づいてもいいから!」的なものがありますが,これは案外的を得てません.そのあたりを説明できればと思います.
一つだけ明確にしておきたいことがあります.複素函数と実函数を比べようとするとき,“一”変数というところに注目してとを比べるひとがありますが,それではうまく違いが見えてきません(後で話します).でも一複素変数複素数値函数と二実変数二次元ベクトル値函数を比較すれば上手く見えてきます.なのでそうします.
実函数の微分可能性
二実変数二次元ベクトル値函数の微分可能性
開集合上の(二次元ベクトル値)函数が点で微分可能であるとは,ある行列があって
が成り立つ時である.
上の定義でというのは,
とでも置いたとき,
ということですね.
複素函数の微分可能性
敢て次のような書き方をしましょう.
一複素変数複素数値函数の微分可能性
開集合上の函数が点で複素微分可能であるとは,ある複素数があって
が成り立つ時である.
なぜこう定義したかというと,これで実函数と比較がしやすくなるからです.因みにこの定義は多複素変数正則函数の定義としても拡張しやすい形になってます.ほんでこれを計算すればいつも通りの定義
が出てきます(親近感).
比較(これ本題)
さて,二つの式を並べてみましょう(実函数の方はわかりやすくという記号を書きました).
左辺にも右辺にも違いはありますが,左辺は実は本質的に違いません.何故ならの方はベクトル値ですから適当な列ベクトル
で表せて,それらの引き算だから
という風になるし,複素の方は複素数値だから実部と虚部に分けてとすれば
となる.結局やにとってのそれぞれの意味での各成分を微分することになっているわけですね.そして
なる写像を用意してやってこれで移せば双方移り変わります.だから本質的には差異はありません.
しかし!!!!
右辺が 本 質 的 に 異なります.
はで写してとするのはいいでしょう.他方具体的にとでもおけば,実函数の微分の時は右辺は
ですけど複素の方が
となって,残念ながらもうでは移り変われない.ではその原因はなんでしょうか...と思うと,それは明らかに複素数の集合の代数的構造であるわけですね.つまり,はベクトル空間で,は無論(上の二次元)ベクトル空間ですがさらに体であります.これが原因ですね.つまり,はとの間の線型同型写像になってるだけで,別にとが体として同型であるわけではないんですね.そもそもは(そのままでは)体にはなりませんし.
例の「どこから近づいてもいい」の話
このフレーズがなぜ的を得てないのかをお話しします.二実変数二次元ベクトル値函数と一複素変数複素数値函数を考えたとき,それらの微分係数が存在する条件は,例の二つの式
でしたが,その時別にというのはどちらにおいても,どう近づいてもいいですね.詳しく言うと,の方ではがどう近づいてもその微分係数(Jacobi行列)は一意に定まるというのが微分可能の条件であり,の方ではがどう近づいてもが一意に定まるというのが微分可能の条件でした.だから我々の見地(とを比較対象に選んだ立場)からすれば,「がどこから近づいてもいい」というのでは実微分と複素微分は区別できないのです.
あえてそのフレーズを用いたいならば,一実変数と一複素変数を比較するほかなくて,比較対象となる式は
と
になりますが,確かにこうするとのほうは左右から近づくのに対しては左右上下から近づくということになりますが,そもそも両者の定義域が全く異なっている,つまりは実数であるのに対しは複素数で,その間には幾何構造としていい感じの同型が生えないので,よい比較とは(なんとなく)思えません.ただ埋め込み的な感じに捉えることは可能でしょう.ということですね.然しそうすると,じゃあ上の函数の微分可能性と上の函数の微分可能性も,上の函数の微分可能性と上の函数の微分可能性みたいになるんんだな!!とか思ってしまうわけですね.でもそれは既に見たように違いますよね.
そういう理由で一実変数と一複素変数を比較するのは余り事が如実に表れてこないと思う訳です.
最後に
最後に,ここまでご覧くださりありがとうございました!
もし何か質問等あればお気軽にどうぞ!