3 ms·
Well, kinda. But not really, sometimes. L'Hopital's rule says that the limit of the function exists, not the function itself. A removable singularity is still
by lmkg 17y ago
Well, kinda. But not really, sometimes.
L'Hopital's rule says that the limit of the function exists, not the function itself. A removable singularity is still a singularity, just one that's more well-behaved than a pole (or gods forbid, an essential singularity). While the function can be analytically extended to be defined at the singularity, that's an extension of the function, rather than the function itself...
... sorta. Since extensions of analytic function are unique, we usually treat the extension and the function as the same thing. Whether this is revealing a deeper truth about the function, or sloppy notation, is up to the individual practitioner, and the context. Certainly, the definition of the function that has the removable singularity is sufficient to define the function that has the singularity removed. For analysis they're basically the same and we usually extend as far as we can. But for topology, a single point separates open and closed sets, which are worlds apart, and the extended function is a very different beast from the original one. This just goes to show how limits identify the points that are most important to a (structured) set.
However, for the purposes of Wolfram|alpha, I don't fault them for making that mistake. Removable singularities can be safely extended over for the purposes of computational mathematics.