16
$\begingroup$

I'm having a hard time understanding complex differentials. I know that when I have a field $\mathbb K$ and a $\mathbb K-$vector space $\mathbb K^n,$ then we define $dx_i\in \mathrm{Lin}(\mathbb K^n,\mathbb K)$ on the standard basis $\{e_i\}_{i=1}^n$ of $\mathbb K^n$ as follows:

$$ dx_i(e_j)=\begin{cases}1 & \mbox{ for }j=i,\\ 0 & \mbox{ for }j \neq i.\end{cases}$$

So defined $dx_i$ form a basis of $\mathrm{Lin}(\mathbb K^n,\mathbb K)$

Now I have the symbol $dz$ for $z$ being a complex variable and I'm not sure I understand what it means. I know that this is supposed to be true and a definition of $dz:$

$$dz =d\:\mathrm{Re}(z)+id\:\mathrm{Im}(z).$$

I cannot fathom this definition though. What is the space in which the operations on the right-hand side are performed? $\mathrm{Re}(z)$ and $\mathrm{Im}(z)$ are real variables, right? So the space should be $\mathrm{Lin}(\mathbb R^2,\mathbb R).$ But this is an $\mathbb R -$space, not a $\mathbb C -$space so the multiplication by $i$ shouldn't be allowed.

And then I see the symbol $|dz|$ and integrals are computed with it, like here, page 3. What does this symbol mean?

Edit: I would like to improve the formulation of a part of my problem and post my newly found (thanks to the comments) answer to that part. Let's take the equality

$$dz=dx+idy,$$

where $x=\mathrm{Re}(z)$ and $y=\mathrm{Im}(z).$ According to the definition in the first paragraph of this post, $dz$ is a $\mathbb C-$linear map, $dz:\mathbb C\to\mathbb C,$ and $dz=\operatorname{id}_{\mathbb C}.$

On the other hand, $dx$ and $dy$ are $\mathbb R-$linear maps, $dx,dy:\mathbb R^2\to \mathbb R$ given by

$$ \begin{eqnarray} dx(e_1)=1,\\ dx(e_2)=0,\\ dy(e_1)=0,\\ dy(e_2)=1. \end{eqnarray} $$

I understand that I should carry out the identification: $$\mathbb R^2\ni e_1\mapsto 1\in\mathbb C,$$$$\mathbb R^2\ni e_2\mapsto i\in \mathbb C.$$ This gives me

$$ \begin{eqnarray} dx(1)=1,\\ dx(i)=0,\\ dy(1)=0,\\ dy(i)=1. \end{eqnarray} $$

These are clearly not $\mathbb{C}-$linear maps. This was my problem. $dy$ is not a $\mathbb{C}-$linear map but just an $\mathbb{R}-$linear map from $\mathbb C$ into $\mathbb R.$ The set of all such linear maps is an $\mathbb R-$vector space, not a $\mathbb{C}-$vector space so there is no such thing as the product $i\cdot dy.$

However, after Pierre-Yves Gaillard's comments, I realized that I should also carry out another identification -- in the codomains of $dx$ and $dy:$ $$\mathbb R \ni 1 \mapsto 1\in \mathbb C,$$

that is consider the codomains of $dx$ and $dy$ to be the real axis of the complex plane. This doesn't make $dx$ and $dy$ $\mathbb C-$linear maps, but it does make them complex functions and so allows them to be multiplied by $i$. And indeed, now $$dz=\operatorname{id}_{\mathbb C}=dx+idy.$$

I'm sorry about being so obtuse. I'm not sure this question has any value at all to the community, so perhaps I should remove this part?

However, I still do not understand what the definition of $|dz|$ is in these terms.

  • 7
    $z=x+iy$; $dz=dx+idy$; $|dz|=(dx^2+dy^2)^{\frac{1}{2}}$2012-01-24
  • 0
    Dear ymar: I think you're right: the "definition" $dz=d\,\mathrm{Re}(z)+id\,\mathrm{Im}(z)$ is not very clear. One way of making it clearer is to consider $\mathrm{Re}$, $\mathrm{Im}(z)$, and $dz$ as sitting in the complex vector space consisting of the $\mathbb R$-linear endomorphisms of $\mathbb C$. (It also depends on the amount of rigor you want.)2012-01-24
  • 0
    @Pierre-YvesGaillard I have no intuition whatsoever regarding this and rigor is the only alternative! I'm embarrassed to say this but I still don't understand. If we consider $\mathbb R-$linear endomorphisms, how can we multiply by $i?$2012-01-24
  • 2
    Dear ymar: Please tell me if you agree with (a) and (b) below. (a) Let $V$ be a real vector space, let $W$ be a complex vector space, and let $A$ be the set of $\mathbb R$-linear maps from $V$ to $W$. Then $A$ is a complex vector space in a natural way. (b) If $V$ and $W$ are complex vector spaces, we can view $V$ as a real vector space, and apply (a) to $V$ and $W$.2012-01-24
  • 0
    Why your definition does not work? $dz$ is the $\mathbb C$-linear functional that takes the value $1$ at the vector $e_1=1$. (it is nothing but the identity map)2012-01-24
  • 0
    I think your trouble is just with notation. If we call $dz=dx_1$ then it fits in your definition.2012-01-24
  • 0
    @Pierre-YvesGaillard Yes, I agree. Could you please see my edited question?2012-01-24
  • 2
    (There was a typo in the - now deleted - previous comment. Here is the corrected version.) Dear ymar: Your edit looks very nice! One can define $|dz|$ as the map $z\mapsto|z|$ from $\mathbb C$ to itself. But there are some comments to make about this definition. I'll try to make them soon, but it might be good to post this short comment already.2012-01-24
  • 3
    Dear ymar: Denote by $E$ the complex vector space formed by the $\mathbb R$-linear endomorphisms of $\mathbb C$. Then $dz$ and $d\overline z$ make up a $\mathbb C$-basis of $E$. Let $G$ be the multiplicative group of nonzero complex numbers. To each $a\in G$ we attach the $\mathbb C$-linear automorphism $r(a)$ defined by $$(r(a)f)(z):=f(az).$$ This gives in particular $$r(a)(dz)=a\ dz,\quad r(a)(d\overline z)=\overline a\ d\overline z,\quad r(ab)=r(a)r(b).$$ We summarize this by saying that $r$ is a *linear representation* of $G$ on $E$...2012-01-24
  • 2
    ... Now, let $V$ be the set of those maps $f$ from $\mathbb C$ to itself which satisfy $f(az)=|a|f(z)$ for all $a,z$ in $\mathbb C$. Then $V$ is a complex vector space in a natural way with $\mathbb C$-basis $|dz|$ (so $\dim V=1$). Moreover, the formula $$(s(a)f)(z):=|a|f(z)$$ defines a linear representation of $G$ on $V$.2012-01-24
  • 0
    @Pierre-YvesGaillard I understand, thank you very much! I will add what you have said with proofs to the question post so it's not in a hidden comment, unless you want to make it an answer.2012-01-25
  • 0
    Dear ymar: You're welcome! No, I don't want to make it an answer.2012-01-25

2 Answers 2

5

Traditionally (e.g. in Euler's writings), $dz=dx+i\;dy$ is an infinitely small change as $z$ moves an infinitely small distance from one point to another. If $\gamma$ is a curve and $z$ moves along the curve, then $f(z)\;dz$ is a product of a finite complex number $f(z)$ and an infinitely small complex number $dz$. The integral $\displaystyle\int_\gamma f(z)\;dz$ is the sum of infinitely many of those infinitely small quantities. None of this is logically rigorous. The role of this non-rigorous account within the rigorous account is that this is what is to be made rigorous.

The absolute value $|dz|=\sqrt{dx^2+dy^2}$ is the infinitely small distance that $z$ has moved along the curve. The integral $\displaystyle\int_\gamma dz$ is the sum of all the infinitely small changes in $z$, thus it is the final value minus the initial value. The integral $\displaystyle\int_\gamma |dz|$ is the sum of the infinitely small arc lengths, and is therefore the total arc length.

Maybe you're OK saying (in certain contexts) $dz\in \mathrm{Lin}(\mathbb C,\mathbb C)$. I wouldn't be surprised if $|dz|$ cannot be interpreted the same way, but if not, it's just a limitation on that way of interpreting it as a way of making these things rigorous.

  • 0
    +1. And the moral of non-standard analysis is that anxiety about making this kind of thing rigorous was basically misplaced. No interesting results of Gauss and Euler become any more or less interesting or valid when interpreted using Weierstrass $\epsilon-\delta$ definitions, nor do they gain or lose beauty or utility when cast into the form of non-standard analysis. The foundations of mathematics are of interest to people working on the foundations of mathematics. They have no major consequences for anyone else.2012-01-25
  • 0
    @BenCrowell Well, I just need a way to understand these things. I don't understand the infinitely small changes. I cannot imagine them. But I can imagine linear maps, so I'm thinking perhaps I could try making my brain at least accept differentials if I use this route.2012-01-25
  • 0
    @BenCrowell : The foundations of mathematics led to some interesting things about computer software.2012-01-25
  • 0
    @ymar: I can't imagine the set of natural numbers, because it's infinite and my brain is finite. But the natural numbers are a standard part of classical mathematics that every mathematician needs to know about, and it would also be extremely inconvenient to do everyday mathematics in a system that didn't have all the unrealistic features of the natural number system. Infinitesimals notated like $dx$ are likewise a part of the classical heritage of mathematics, and they are likewise extremely convenient.2012-01-26
  • 0
    @MichaelHardy: Interesting. What computer software do you have in mind? I may be guilty of hyperbole, or you and I may mean different things by "the foundations of mathematics."2012-01-26
  • 0
    @BenCrowell I believe I can in a sense imagine the natural numbers, although I can't prove it because imagining is not something I can define. I understand that infinitesimals are extremely important in mathematics and I worry that I may not be ever in the right to call myself a mathematician because of that. I do not have the intuition regarding them as I do in the case of natural numbers (or even real numbers). I have calculated many integrals and they still scare me.2012-01-26
1

Of course, everything Michael Hardy says is right. Maybe the following will also help.

If $f: \mathbb{C} \to \mathbb{C}$ is a smooth function, then we can talk about $df$. Here $df$ will take as input a real tangent vector to $\mathbb{C}$ and output a complex number. If you like, $df$ gives an element of $\mathrm{Hom}_{\mathbb{R}}(\mathbb{C}, \mathbb{C})$ at each point.

In particular, $dz = dx+ i dy$ is a literally true equation inside $\mathrm{Hom}_{\mathbb{R}}(\mathbb{C}, \mathbb{C})$. A function $f$ is holomorphic (aka analytic) if and only if $df$ is a complex multiple of $dz$ at every point, in which case $df = f' dz$.

Now, about $|dz|$. As Savinov Evgeny says, $|dz| = \sqrt{(dx)^2+(dy)^2}$. This is something which takes in a tangent vector to $\mathbb{C}$ and returns a positive real number, in a non-linear manner.

I don't know whether this is the point of confusion, but it is something which confused me for a long time and I have met other people with the same confusion. I came out of my first course on differential geometry thinking that $1$-forms intrinsically anti-commuted. So I thought that $dx \wedge dy$ made sense but $(dx)^2 + (dy)^2$, if it meant anything, would be zero. This simply isn't true. There is no problem in defining a quadratic form $(dx)^2+(dy)^2$ on the tangent space to your surface. For that matter, there is no problem defining something like $dx \otimes dx + dx \otimes dy + dy \otimes dy$, which takes in two tangent vectors and outputs a scalar in a way which is neither symmetric nor anti-symmetric. A course which is racing towards Stokes' theorem will emphasize the anti-symmetric case, but there is nothing wrong with the other expressions.