Definition of Continuous Function

Definition. A function ff is continuous at a{a} if limxa=f(a)\lim_{{{x}\to{a}}}={f{{\left({a}\right)}}}.

continuous functionContinuity implies three things:

  1. f(a){f{{\left({a}\right)}}} is defined (i.e. a{a} is in the domain of f{f{}});
  2. limxaf(x)\lim_{{{x}\to{a}}}{f{{\left({x}\right)}}} exists;
  3. limxaf(x)=f(a)\lim_{{{x}\to{a}}}{f{{\left({x}\right)}}}={f{{\left({a}\right)}}}.

Geometrically, continuity means that you can draw a function without taking your pen off the paper.

Also, continuity means that small changes in x{x} produce small changes in y{y}, i.e. a function is continuous at a{a} if for any ϵ>0\epsilon>{0} there exists δ>0\delta>{0} such that f(x)f(a)<ϵ{\left|{f{{\left({x}\right)}}}-{f{{\left({a}\right)}}}\right|}<\epsilon when xa<δ{\left|{x}-{a}\right|}<\delta.

If a function is not continuous at a{a}, we say that f{f{}} is discontinuous at a{a}, or f{f{}} has a discontinuity at a{a}.

Definition. The function y=f(x){y}={f{{\left({x}\right)}}} is continuous on an interval if it is continuous at every point of the interval.

Example 1. Show that f(x)=4x2+1{f{{\left({x}\right)}}}=\sqrt{{{4}-{{x}}^{{2}}}}+{1} is continuous on the interval (2,2){\left(-{2},{2}\right)}.

If 2<a<2-{2}<{a}<{2}, using the properties of the limits, we obtain that

limxaf(x)=limxa(4x2+1)=\lim_{{{x}\to{a}}}{f{{\left({x}\right)}}}=\lim_{{{x}\to{a}}}{\left(\sqrt{{{4}-{{x}}^{{2}}}}+{1}\right)}=

=limxa4x2+limxa1==\lim_{{{x}\to{a}}}\sqrt{{{4}-{{x}}^{{2}}}}+\lim_{{{x}\to{a}}}{1}= according to law 2

=limxa(4x2)+1==\sqrt{{\lim_{{{x}\to{a}}}{\left({4}-{{x}}^{{2}}\right)}}}+{1}= according to laws 7 and 8

=4a2+1==\sqrt{{{4}-{{a}}^{{2}}}}+{1}= according to laws 2, 7, and 8

=f(a)={f{{\left({a}\right)}}}.

Thus, f{f{}} is continuous on (2,2)\left(-2, 2\right).

Actually, we can generalize the above example for any elementary function.

Continuity of Combinations of Functions. Suppose that f(x){f{{\left({x}\right)}}} and g(x){g{{\left({x}\right)}}} are both continuous at a{a} and c{c} is some arbitrary constant; then, the following functions are also continuous at a{a}:

  • f(x)+g(x){f{{\left({x}\right)}}}+{g{{\left({x}\right)}}};
  • f(x)g(x){f{{\left({x}\right)}}}-{g{{\left({x}\right)}}};
  • cf(x){c}{f{{\left({x}\right)}}};
  • f(x)g(x){f{{\left({x}\right)}}}{g{{\left({x}\right)}}};
  • f(x)g(x)\frac{{{f{{\left({x}\right)}}}}}{{{g{{\left({x}\right)}}}}}, if g(a)0{g{{\left({a}\right)}}}\ne{0}.

Fact. The inverse of a continuous function is also continuous.

Continuity of Elementary Functions. All elementary functions, i.e. linear, polynomial,rational, power, exponential, logarithmic, trigonometric, inverse trigonometric, hyperbolic, inverse hyperbolic, are continuous at every point of their domain.

Actually, we used this fact in previous notes. For example, since y=cos(x){y}={\cos{{\left({x}\right)}}} is continuous at 00, we can say that limx0cos(x)=cos(0)=1\lim_{{{x}\to{0}}}{\cos{{\left({x}\right)}}}={\cos{{\left({0}\right)}}}={1}.

Fact. If f(x){f{{\left({x}\right)}}} is continuous at b{b} and limxag(x)=b\lim_{{{x}\to{a}}}{g{{\left({x}\right)}}}={b}, we have that limxaf(g(x))=f(b)\lim_{{{x}\to{a}}}{f{{\left({g{{\left({x}\right)}}}\right)}}}={f{{\left({b}\right)}}}. In other words, limxaf(g(x))=f(limxag(x))\lim_{{{x}\to{a}}}{f{{\left({g{{\left({x}\right)}}}\right)}}}={f{{\left(\lim_{{{x}\to{a}}}{g{{\left({x}\right)}}}\right)}}}.

This fact seems reasonable because if x{x} is close to a{a}, g(x){g{{\left({x}\right)}}} is close to b{b}, and, since f{f{}} is continuous at b{b}, if g(x){g{{\left({x}\right)}}} is close to b{b}, it can be stated that f(g(x)){f{{\left({g{{\left({x}\right)}}}\right)}}} is close to f(b){f{{\left({b}\right)}}}.

From this conclusion, we obtain the following fact:

Continuity of Composite Function. Suppose that g(x){g{{\left({x}\right)}}} is continuous at a{a} and f(x){f{{\left({x}\right)}}} is continuous at g(a){g{{\left({a}\right)}}}; then, (fg)(x)=f(g(x)){\left({f{\circ}}{g}\right)}{\left({x}\right)}={f{{\left({g{{\left({x}\right)}}}\right)}}} is continuous at a{a}.

All the above facts allow us to easily calulate the limits of the functions that are continuous at the point a{a}.

Example 2. Find limx1x2+3x+62x1\lim_{{{x}\to{1}}}\frac{{{{x}}^{{2}}+{3}{x}+{6}}}{{{2}{x}-{1}}}.

Since f(x){f{{\left({x}\right)}}} is a rational function, it is continuous on its domain, which in this case is {xx12}{\left\{{x}{\mid}{x}\ne\frac{{1}}{{2}}\right\}}. Thus, it is continuous at the point x=1x=1.

Therefore, limx1x2+3x+62x1=12+31+6211=10\lim_{{{x}\to{1}}}\frac{{{{x}}^{{2}}+{3}{x}+{6}}}{{{2}{x}-{1}}}=\frac{{{{1}}^{{2}}+{3}\cdot{1}+{6}}}{{{2}\cdot{1}-{1}}}={10}.

Let's work another example.

Example 3. Where is ln(x)+4x2x21\frac{{{\ln{{\left({x}\right)}}}+\sqrt{{{4}-{{x}}^{{2}}}}}}{{{{x}}^{{2}}-{1}}} continuous?

We know that ln(x){\ln{{\left({x}\right)}}} is continuous for x>0{x}>{0} (its domain), 4x2\sqrt{{{4}-{{x}}^{{2}}}} is continuous on the interval [2,2]{\left[-{2},{2}\right]} (its domain), and the denominator is polynomial; so, it is continuous everywhere.

Thus, the function is continuous on the interval (0,2]{\left({0},{2}\right]} where the denominator does not equal 0, or x±1{x}\ne\pm{1}. Therefore, the function is continuous on (0,1)(1,2]{\left({0},{1}\right)}\cup{\left({1},{2}\right]}.

And one more useful example.

Example 4. Find limxπcos(x)1+sin(x)\lim_{{{x}\to\pi}}\frac{{{\cos{{\left({x}\right)}}}}}{{{1}+{\sin{{\left({x}\right)}}}}}.

In the numerator, we have a continuous function cos(x){\cos{{\left({x}\right)}}}. In the denominator, we have the sum of two continuous functions; so, the denominator is also continuous.

Thus, the ratio is continuous everywhere except where the denominator equals 00, i.e. where sin(x)=1{\sin{{\left({x}\right)}}}=-{1}.

But sin(π)=0{\sin{{\left(\pi\right)}}}={0}; so, at this point the function is defined.

Thus, limxπcos(x)1+sin(x)=cos(π)1+sin(π)=1\lim_{{{x}\to\pi}}\frac{{\cos{{\left({x}\right)}}}}{{{1}+{\sin{{\left({x}\right)}}}}}=\frac{{\cos{{\left(\pi\right)}}}}{{{1}+{\sin{{\left(\pi\right)}}}}}=-{1}.

Memorize this and let's move on.

Example 5. Find limx1sin(x21x1)\lim_{{{x}\to{1}}}{\sin{{\left(\frac{{{{x}}^{{2}}-{1}}}{{{x}-{1}}}\right)}}}.

Since the sine is a continuous function, we have that limx1sin(x21x1)=sin(limx1x21x1)=\lim_{{{x}\to{1}}}{\sin{{\left(\frac{{{{x}}^{{2}}-{1}}}{{{x}-{1}}}\right)}}}={\sin{{\left(\lim_{{{x}\to{1}}}\frac{{{{x}}^{{2}}-{1}}}{{{x}-{1}}}\right)}}}=

=sin(limx1(x1)(x+1)x1)=sin(limx1(x+1))=sin(2)={\sin{{\left(\lim_{{{x}\to{1}}}\frac{{{\left({x}-{1}\right)}{\left({x}+{1}\right)}}}{{{x}-{1}}}\right)}}}={\sin{{\left(\lim_{{{x}\to{1}}}{\left({x}+{1}\right)}\right)}}}={\sin{{\left({2}\right)}}}.

Great, and now one last final example.

Example 6. Where is the function h(x)=ln(4x2){h}{\left({x}\right)}={\ln{{\left(\sqrt{{{4}-{{x}}^{{2}}}}\right)}}} continuous?

Here, we have a composite function h(x)=f(g(x)){h}{\left({x}\right)}={f{{\left({g{{\left({x}\right)}}}\right)}}}, where f(x)=ln(x){f{{\left({x}\right)}}}={\ln{{\left({x}\right)}}} and g(x)=4x2{g{{\left({x}\right)}}}=\sqrt{{{4}-{{x}}^{{2}}}}.

We know that ln(x){\ln{{\left({x}\right)}}} is continuous for x>0{x}>{0} and 4x2\sqrt{{{4}-{{x}}^{{2}}}} is continuous on [2,2]{\left[-{2},{2}\right]}. Therefore, h(x){h}{\left({x}\right)} is continuous on the interval (0,2]{\left({0},{2}\right]}.