Talk:Complex Exponential Tends to Zero

From ProofWiki
Jump to navigation Jump to search

I'm not sure what you mean by $M$ not being defined, as it's a dummy variable. --GFauxPas (talk) 10:02, 7 May 2014 (UTC)

I can see where you're coming from now, but it seems incomplete. What I mean is, there is no indication what $M$ is. From the context, it can be inferred that it is a real number, but it needs to be clarified.
There's other stuff too. For starters, I can't see why you need to introduce the $- 0$ into it. Presumably you're trying to set up an $\epsilon-\delta$ proof here?
Then you have mysteriously lost the modulus between the eqn and the line below, where I think you may need to prove (or link to a proof) that the limit of the modulus is equal (at least in this context) to modulus of the limit, and then you need to prove (or link to a proof) that the modulus of $z$ equals zero iff $z = 0$ (yes I know it's trivial, it may already exist) -- as it stands this proof seems incomplete to me.
Bear in mind that a rigorous exposition of complex analysis may still not be in place (it's what I was working on up till middle of last month when I got sidetracked again) so much of the background you're assuming has not been established. --prime mover (talk) 11:06, 7 May 2014 (UTC)