6
$\begingroup$

We know that $\frac{\sin(x)}{\tan(x)} = \cos(x)$. But at $x = 0$, the LHS becomes $0/0$. So is the function undefined at that point?

  • 1
    @brita: the definition of "undefined" should be something which you didn't define, sorry for being C.O. For example, the division $f(a,b)$ as an operation on reals is defined for real *finite* $a$ and real *finite* $b\neq 0$. Further, $g(x)=x$ is defined for any $x$ but $g(0)=0$ and $x/x = f(x,x)$ is undefined for $x=0$ simply because you didn't defined the division with$a$zero denominator. The same about $\infty$. $1/\infty$ is undefined now but you can extend the definition of division $f$ as well for infinite numbers in a way $f(a,\infty) =0$ for any finite $a$.2011-09-01

2 Answers 2

5

The general convention for real-valued functions of real variable (at least as discussed in most calculus books) is:

If a function $f$ is given by a formula, and no domain is explicitly specified, then the domain of $f$ is understood to be the natural domain, that is, the set of all $x$ for which the formula "makes sense."

And generally, for two functions to be considered equal you need them to at least have the same domain and the same value at every point of the domain (whether the codomain matters or not is a matter of context and definitions).

From that point of view, the functions $f(x) = \frac{\sin x}{\tan x}\quad\text{and}\quad g(x) = \cos x$ are not "the same function": the natural domain of $f(x)$ consists of all $x$ that are not integer multiples of $\pi/2$, whereas the natural domain of $g(x)$ is all real numbers. On those numbers where they are both defined, the functions agree.

So, tecnically, these two functions are not the same function.

Sometimes, we want to relax the condition on the domain a bit and consider the "removable discontinuities." Namely, given a function $f(x)$, if $x=a$ is a point that is not on the domain of $f(x)$, but where $\lim\limits_{x\to a}f(x)$ exists, then we "redefine" $f(x)$ to have this limit as its value at $x=a$, and include $x=a$ into the domain. Here, because $f(x)$ and $g(x)$ agree everywhere except at the integer multiples of $\pi/2$, where $f(x)$ is not defined, we sometimes fudge the difference. But, formally speaking, when we write $\frac{\sin x}{\tan x} = \cos x,$ we really mean "wherever they are both defined", just like when we write $\sec^2 x - \tan^2 x = 1$ we are saying that this equality holds at the points where the left hand side is defined, and are making no assertion about what happens at the points outside the domains of $\sec(x)$ and $\tan(x)$.

3

The general convention for complex-valued functions of complex variable is: remove the removable discontinuities, e.g. $ \lim_{x\to 0} \frac{\sin x}{\tan x} = 1 $ so take that to be the value of the function at 0. (Except that it's conventional to use $z$ rather than $x$ here, and often one uses $x$ and $y$ for the real and imaginary parts of $z$, i.e. $z = x+iy$ and $x$ and $y$ are real.)

But could I add this: It seems to me that that that same convention frequently makes sense in trigonometry with no complex variables and no calculus to be seen anywhere. And in trigonometry, it also usually makes sense to follow the same convention as in complex variables, that there is only one $\infty$, not a $+\infty$ and a $-\infty$. That makes the tangent, cotangent, secant, and cosecant functions continuous everywhere.

  • 0
    Agreed, it's obvious only in hindsight. Having said that, I suspect that many people (self included) would benefit from trig being taught in a complex context. I never properly understood basic trig until my graduate (!) complex analysis course.2011-09-01