 #1
Math Amateur
Gold Member
 1,016
 44
Main Question or Discussion Point
I am reading Reinhold Remmert's book "Theory of Complex Functions" ...
I am focused on Chapter 1: ComplexDifferential Calculus ... and in particular on Section 2: Complex and Real Differentiability ... ... ...
I need help in order to fully understand the relationship between complex and real differentiability ... ...
Remmert's section on complex and real differentiability reads as follows:
In the above text from Remmert, we read the following ... ... just below 1. Characterization of complexdifferentiable functions ... ...
" ... ... If ##f : D \to C## is complexdifferentiable at ##c## then ...
##\displaystyle \lim_{ h \to 0 } \frac{ f(c + h )  f(c)  f\, ' (c) h }{ h} = 0##
From this and (1) it follows immediately that complexdifferentiable mappings are real differentiable and have ##\mathbb{C}##linear differentials ... ...
... ... ... "
Can someone please explain (formally and rigorously) how/why
(i) it follows from the limit immediately above and (1) that complexdifferentiable mappings are real differentiable ... ...
(ii) it follows from the limit immediately above and (1) that complexdifferentiable mappings have ##\mathbb{C}##linear differentials ... ...
(***NOTE: I suspect the answer to (i) is that the form of the two limits is essentially the same ... although I'm concerned about the presence of norms in one and not the other ... and also that we can identify ##\mathbb{C}## with ##\mathbb{R}^2## as a vector space ... is that correct?)
Help will be appreciated ...
Peter
=======================================================================================
Physics Forum readers of the above post may benefit from access to Remmert's section defining Rlinear and Clinear mappings ... so I am providing access to that text ... as follows:
Hope that helps ...
Peter
I am focused on Chapter 1: ComplexDifferential Calculus ... and in particular on Section 2: Complex and Real Differentiability ... ... ...
I need help in order to fully understand the relationship between complex and real differentiability ... ...
Remmert's section on complex and real differentiability reads as follows:
In the above text from Remmert, we read the following ... ... just below 1. Characterization of complexdifferentiable functions ... ...
" ... ... If ##f : D \to C## is complexdifferentiable at ##c## then ...
##\displaystyle \lim_{ h \to 0 } \frac{ f(c + h )  f(c)  f\, ' (c) h }{ h} = 0##
From this and (1) it follows immediately that complexdifferentiable mappings are real differentiable and have ##\mathbb{C}##linear differentials ... ...
... ... ... "
Can someone please explain (formally and rigorously) how/why
(i) it follows from the limit immediately above and (1) that complexdifferentiable mappings are real differentiable ... ...
(ii) it follows from the limit immediately above and (1) that complexdifferentiable mappings have ##\mathbb{C}##linear differentials ... ...
(***NOTE: I suspect the answer to (i) is that the form of the two limits is essentially the same ... although I'm concerned about the presence of norms in one and not the other ... and also that we can identify ##\mathbb{C}## with ##\mathbb{R}^2## as a vector space ... is that correct?)
Help will be appreciated ...
Peter
=======================================================================================
Physics Forum readers of the above post may benefit from access to Remmert's section defining Rlinear and Clinear mappings ... so I am providing access to that text ... as follows:
Hope that helps ...
Peter
Attachments

50.8 KB Views: 217

60.3 KB Views: 243

42.2 KB Views: 238

57.3 KB Views: 232

59.7 KB Views: 206

50.8 KB Views: 241

60.3 KB Views: 322

42.2 KB Views: 228

57.3 KB Views: 198

59.7 KB Views: 188