Ah, but who says we can't extend the domain (and range) of ln? After all, we know eiπ=−1, so, if we defineln(−1)=iπ, we can extend ln to the negative reals: ln(−x)=iπ+lnx. This, of course, means that the limit from the left of ln 0 does not agree with the limit from the right...
But, this may be the wrong way to extend ln to the negatives. Hmm.
Ah, but who says we can't extend the domain (and range) of ln? After all, we know eiπ=−1, so, if we defineln(−1)=iπ, we can extend ln to the negative reals: ln(−x)=iπ+lnx. This, of course, means that the limit from the left of ln 0 does not agree with the limit from the right...
But, this may be the wrong way to extend ln to the negatives. Hmm.
ln isn't well defined then. (For example, you can have ln(-1) = -i.pi too. We then also have ln(-1) + ln(-1) = 2i.pi = ln 1, so ln has become multivalued for all real numbers.) This is the usual problem, though. There are ways of taking 'principal' values.
Ah, but who says we can't extend the domain (and range) of ln? After all, we know eiπ=−1, so, if we defineln(−1)=iπ, we can extend ln to the negative reals: ln(−x)=iπ+lnx. This, of course, means that the limit from the left of ln 0 does not agree with the limit from the right...
But, this may be the wrong way to extend ln to the negatives. Hmm.
Then it would agree, although displaced in the imaginary direction by iπ. In fact, since e2kiπ=1 for all k and e(2k+1)iπ=−1 for all k, then there is an infinite number of parallel solutions (in parallel imaginary planes) to the equation y=lnx. The limit from the right approaches 2kiπ (imaginary) - ∞(real), and from the left it approaches (2k+1)iπ (imaginary) - ∞(real). I suppose you would have to limit your range a little...
That would also mean that, at x=0, there is an infinite number of parallel solutions, each as non-existent as one another, so it is still undefined.
After reading some articles about the complex logarithm, it seems that there is indeed no way to have a meaningful value for ln 0. If we consider all the solutions to ew=z and plot (z, w), it forms a pretty spiral sheet around z = 0, where it is discontinuous... Interestingly, if we think of the structure of it that way, it's hardly a surprise that we can arrive at different values for ln -1 by following different "paths" starting from z = 1.
Hmm. Well, the graph of (z, w) has four (real) dimensions, or two complex dimensions. So I guess we would have to limit one of the parameters in order to plot it in three dimensions... perhaps plotting (z, Im w) or (z, |w|) would be good?
Hmm. Well, the graph of (z, w) has four (real) dimensions, or two complex dimensions. So I guess we would have to limit one of the parameters in order to plot it in three dimensions... perhaps plotting (z, Im w) or (z, |w|) would be good?
Well we are interested in the graph of e^y=x, then y=lnx, and we are then looking for values of y when x=0. You are sliding up and down the x axis, so x is the one dimenstional variable. y would be the 2-dimensional variable, since we talk about e^(ipi) etc
so in the above case, w is two dimensional and z is one dimensional
Well, if you plot it that way the spiral structure of the complex logarithm is not obvious - you would simply see a discontinuity at ln 0 where the imaginary part suddenly flips from 0 to ±π.