# How to prove that all elementary functions are continuous in their domain?

In our course (Calc 1), our teachers write down a theorem that states that all elementary functions such as algebraic functions (polynomials, rational, irrational functions) and transcendental functions such as trigonometric and hyperbolic functions are continuous in their domains.

Strangely, a function such as $$sin^x(x)$$ defies this theorem (since it is discontinuous over the entire R), but our textbook does not bring this up.

The theorem is stated without a proof. My understanding is that this is confirmed by experience. The truth is to form is discontinuous functions, one has to recourse to piececwise defined functions, otherwise one has to wait for non-trivial examples of trignonometric series (Fourier series).

Is there a way to formally prove this theorem without recoursing to experience, even though it may seem obvious.

• Here is the graph of the function, together with explanations: math.stackexchange.com/questions/2691611/… Commented Feb 3, 2019 at 22:47
• It is periodically discontinuous, so that's what I mean by discontinuous over the enitre R. The Dirichlet function is also a case where the function concerned is a trigonometric function: youtube.com/watch?v=LeGWPuRdetM&t=137s Commented Feb 3, 2019 at 22:59
• I don't see the conflict... Is it not continuous over its domain? It's just that the domain is a reunion of disjoint intervals. Commented Feb 3, 2019 at 23:43
• Well, it is a minor point anyway Commented Feb 3, 2019 at 23:44
• The function $\sin^{x}(x)$ is infinitely discontinuous. This means it is very different from most of the elementary function that is known to me. Most of elementary functions are only finitely discontinuous (if we rule out elementary piecewise defined function). The same can be said for $\cos^{x}(x), \tan^{x}(x)$ and $\cot^{x}(x)$ Commented Feb 4, 2019 at 3:00

The definition:

The elementary functions (of $$x$$) include:

• Powers of $$x$$ : $$x$$, $$x^2$$, $$x^3$$, etc.
• Roots of x : $$\sqrt{x}$$, $$\sqrt[3]{x}$$, etc.
• Exponential functions: $$e^{x}$$
• Logarithms: $$\log x$$
• Trigonometric functions: $$\sin x$$, $$\cos x$$, etc.
• Inverse trigonometric functions: $$\arcsin⁡ x$$, $$\arccos⁡ x$$, etc.
• Hyperbolic functions: $$\sinh x$$, $$\cosh x$$, etc.
• All functions obtained by replacing $$x$$ with any of the previous functions
• All functions obtained by adding, subtracting, multiplying or dividing any of the previous functions

For the first seven entries on that list, we just verify that they're continuous on their domains.

Then we allow arithmetic operations... hey, there's a theorem we can quote: sums, products, negatives, and reciprocals of continuous functions are continuous, except for the case of a reciprocal at points where that function is zero (which we'll drop from the domain).

Then we allow composition, and again there's a theorem: the composition of continuous functions is continuous.

So there it is - start with the basics, and induct on the number* of arithmetic operations and compositions from there.

*This must be finite. Infinite sums allow for basically anything, which takes us outside the domain of elementary functions.