How do I find the point(s) at which a given piecewise function is discontinuous?

1 Answer
Sep 26, 2015

This is essentially the same problem as determining the points at which any function is discontinuous, except the that points where the definition of the function changes are obvious candidates.

Explanation:

A function #f# is continuous at a point #a# if both of the one sided limits #lim_(x->a-) f(x)# and #lim_(x->a+) f(x)# exist and are equal to #f(a)#.

Consider the function (one of my favourites) defined as follows:

#g(x) = { (0, "if " x " is irrational"), (1/q, "if " x = p/q " in lowest terms " p ", " q in ZZ and q > 0) :}#

This is continuous at every irrational number and discontinuous at every rational number.

Next define the piecewise function #f# as follows:

#f(x) = { (0, x <= 0), (g(x), x > 0) :}#

The problem of finding where #f# is discontinuous splits into cases, according to intervals.

When #a < 0#, #lim_(x->a) f(x) = lim_(x->a) 0 = 0 = f(a)#.

When #a > 0#, #f# is continuous at #a# if and only if #g# is continuous at #a#. That is, if and only if #a# is irrational.

At #a = 0#, we have:

#lim_(x->a-) f(x) = 0#

We also find:

#lim_(x->a+) f(x) = lim_(x->a+) g(x) = 0#

since if #0 < x < epsilon# then #g(x) < epsilon#

Since #f(0) = 0# too, #f# is continuous at #0#.