>>770

>∂f/∂z=0においてのみ、複素偏微分可能

>>773 の言うとおり誤記かと思うけど、「複素偏微分可能」も「複素微分可能」の誤記？


>コーシーリーマンは微分可能の必要条件

ひょっとしたら一点での微分可能性を論じているのかもしれないけど、
こちらは(空でない)開集合上での微分可能性について書いているつもりでした。
その場合は >>774 も書いてるけど コーシーリーマンは必要十分条件だよ。


>>771
...ひょっとして斜め読みして z と z* に関する微分の定義を読んでないの？

|z|^2=z z* だから「形式的に」 z で微分したら z*, 「形式的に」 z* で微分したら z
って言っているんじゃないよ。

|z|^2=a^2+b^2 だから
(1/2){ (∂(a^2+b^2))/∂a - j (∂(a^2+b^2))/∂b }=a-jb=z*
(1/2){ (∂(a^2+b^2))/∂a + j (∂(a^2+b^2))/∂b }=a+jb=z
っていってるんですよ。