Classification of discontinuities

Last updated

Continuous functions are of utmost importance in mathematics, functions and applications. However, not all functions are continuous. If a function is not continuous at a point in its domain, one says that it has a discontinuity there. The set of all points of discontinuity of a function may be a discrete set, a dense set, or even the entire domain of the function.

Contents

The oscillation of a function at a point quantifies these discontinuities as follows:

A special case is if the function diverges to infinity or minus infinity, in which case the oscillation is not defined (in the extended real numbers, this is a removable discontinuity).

Classification

For each of the following, consider a real valued function of a real variable defined in a neighborhood of the point at which is discontinuous.

Removable discontinuity

The function in example 1, a removable discontinuity Discontinuity removable.eps.png
The function in example 1, a removable discontinuity

Consider the piecewise function

The point is a removable discontinuity . For this kind of discontinuity:

The one-sided limit from the negative direction: and the one-sided limit from the positive direction: at both exist, are finite, and are equal to In other words, since the two one-sided limits exist and are equal, the limit of as approaches exists and is equal to this same value. If the actual value of is not equal to then is called a removable discontinuity. This discontinuity can be removed to make continuous at or more precisely, the function is continuous at

The term removable discontinuity is sometimes broadened to include a removable singularity, in which the limits in both directions exist and are equal, while the function is undefined at the point [lower-alpha 1] This use is an abuse of terminology because continuity and discontinuity of a function are concepts defined only for points in the function's domain.

Jump discontinuity

The function in example 2, a jump discontinuity Discontinuity jump.eps.png
The function in example 2, a jump discontinuity

Consider the function

Then, the point is a jump discontinuity.

In this case, a single limit does not exist because the one-sided limits, and exist and are finite, but are not equal: since, the limit does not exist. Then, is called a jump discontinuity, step discontinuity, or discontinuity of the first kind. For this type of discontinuity, the function may have any value at

Essential discontinuity

The function in example 3, an essential discontinuity Discontinuity essential.svg
The function in example 3, an essential discontinuity

For an essential discontinuity, at least one of the two one-sided limits does not exist in . (Notice that one or both one-sided limits can be ).

Consider the function

Then, the point is an essential discontinuity.

In this example, both and do not exist in , thus satisfying the condition of essential discontinuity. So is an essential discontinuity, infinite discontinuity, or discontinuity of the second kind. (This is distinct from an essential singularity, which is often used when studying functions of complex variables).

Supposing that is a function defined on an interval we will denote by the set of all discontinuities of on By we will mean the set of all such that has a removable discontinuity at Analogously by we denote the set constituted by all such that has a jump discontinuity at The set of all such that has an essential discontinuity at will be denoted by Of course then

Counting discontinuities of a function

The two following properties of the set are relevant in the literature.

Tom Apostol [3] follows partially the classification above by considering only removable and jump discontinuities. His objective is to study the discontinuities of monotone functions, mainly to prove Froda’s theorem. With the same purpose, Walter Rudin [4] and Karl R. Stromberg [5] study also removable and jump discontinuities by using different terminologies. However, furtherly, both authors state that is always a countable set (see [6] [7] ).

The term essential discontinuity has evidence of use in mathematical context as early as 1889. [8] However, the earliest use of the term alongside a mathematical definition seems to have been given in the work by John Klippert. [9] Therein, Klippert also classified essential discontinuities themselves by subdividing the set into the three following sets:

Of course Whenever is called an essential discontinuity of first kind. Any is said an essential discontinuity of second kind. Hence he enlarges the set without losing its characteristic of being countable, by stating the following:

Rewriting Lebesgue's Theorem

When and is a bounded function, it is well-known of the importance of the set in the regard of the Riemann integrability of In fact, Lebesgue's Theorem (also named Lebesgue-Vitali) theorem) states that is Riemann integrable on if and only if is a set with Lebesgue's measure zero.

In this theorem seems that all type of discontinuities have the same weight on the obstruction that a bounded function be Riemann integrable on Since countable sets are sets of Lebesgue's measure zero and a countable union of sets with Lebesgue's measure zero is still a set of Lebesgue's mesure zero, we are seeing now that this is not the case. In fact, the discontinuities in the set are absolutely neutral in the regard of the Riemann integrability of The main discontinuities for that purpose are the essential discontinuities of first kind and consequently the Lebesgue-Vitali theorem can be rewritten as follows:

The case where correspond to the following well-known classical complementary situations of Riemann integrability of a bounded function :

Examples

Thomae's function is discontinuous at every non-zero rational point, but continuous at every irrational point. One easily sees that those discontinuities are all removable. By the first paragraph, there does not exist a function that is continuous at every rational point, but discontinuous at every irrational point.

The indicator function of the rationals, also known as the Dirichlet function, is discontinuous everywhere. These discontinuities are all essential of the first kind too.

Consider now the ternary Cantor set and its indicator (or characteristic) function One way to construct the Cantor set is given by where the sets are obtained by recurrence according to

In view of the discontinuities of the function let's assume a point

Therefore there exists a set used in the formulation of , which does not contain That is, belongs to one of the open intervals which were removed in the construction of This way, has a neighbourhood with no points of (In another way, the same conclusion follows taking into account that is a closed set and so its complementary with respect to is open). Therefore only assumes the value zero in some neighbourhood of Hence is continuous at

This means that the set of all discontinuities of on the interval is a subset of Since is an uncountable set with null Lebesgue measure, also is a null Lebesgue measure set and so in the regard of Lebesgue-Vitali theorem is a Riemann integrable function.

More precisely one has In fact, since is a nonwhere dense set, if then no neighbourhood of can be contained in This way, any neighbourhood of contains points of and points which are not of In terms of the function this means that both and do not exist. That is, where by as before, we denote the set of all essential discontinuities of first kind of the function Clearly

Discontinuities of derivatives

Let an open interval, let be differentiable on and let be the derivative of That is, for every . According to Darboux's theorem, the derivative function satisfies the intermediate value property. The function can, of course, be continuous on the interval in which case Bolzano's Theorem also applies. Recall that Bolzano's Theorem asserts that every continuous function satisfies the intermediate value property. On the other hand, the converse is false: Darboux's Theorem does not assume to be continuous and the intermediate value property does not imply is continuous on

Darboux's Theorem does, however, have an immediate consequence on the type of discontinuities that can have. In fact, if is a point of discontinuity of , then necessarily is an essential discontinuity of . [11] This means in particular that the following two situations cannot occur:

  1. is a removable discontinuity of .
  2. is a jump discontinuity of .

Furthermore, two other situations have to be excluded (see John Klippert [12] ):

Observe that whenever one of the conditions (i), (ii), (iii), or (iv) is fulfilled for some one can conclude that fails to possess an antiderivative, , on the interval .

On the other hand, a new type of discontinuity with respect to any function can be introduced: an essential discontinuity, , of the function , is said to be a fundamental essential discontinuity of if

and

Therefore if is a discontinuity of a derivative function , then necessarily is a fundamental essential discontinuity of .

Notice also that when and is a bounded function, as in the assumptions of Lebesgue's Theorem, we have for all : and Therefore any essential discontinuity of is a fundamental one.

See also

Notes

  1. See, for example, the last sentence in the definition given at Mathwords. [1]

Related Research Articles

In mathematics, specifically in measure theory, a Borel measure on a topological space is a measure that is defined on all open sets. Some authors require additional restrictions on the measure, as described below.

<span class="mw-page-title-main">Normed vector space</span> Vector space on which a distance is defined

In mathematics, a normed vector space or normed space is a vector space over the real or complex numbers on which a norm is defined. A norm is a generalization of the intuitive notion of "length" in the physical world. If is a vector space over , where is a field equal to or to , then a norm on is a map , typically denoted by , satisfying the following four axioms:

  1. Non-negativity: for every ,.
  2. Positive definiteness: for every , if and only if is the zero vector.
  3. Absolute homogeneity: for every and ,
  4. Triangle inequality: for every and ,
<span class="mw-page-title-main">Riemann integral</span> Basic integral in elementary calculus

In the branch of mathematics known as real analysis, the Riemann integral, created by Bernhard Riemann, was the first rigorous definition of the integral of a function on an interval. It was presented to the faculty at the University of Göttingen in 1854, but not published in a journal until 1868. For many functions and practical applications, the Riemann integral can be evaluated by the fundamental theorem of calculus or approximated by numerical integration, or simulated using Monte Carlo integration.

In mathematics, the branch of real analysis studies the behavior of real numbers, sequences and series of real numbers, and real functions. Some particular properties of real-valued sequences and functions that real analysis studies include convergence, limits, continuity, smoothness, differentiability and integrability.

In mathematics, and in particular measure theory, a measurable function is a function between the underlying sets of two measurable spaces that preserves the structure of the spaces: the preimage of any measurable set is measurable. This is in direct analogy to the definition that a continuous function between topological spaces preserves the topological structure: the preimage of any open set is open. In real analysis, measurable functions are used in the definition of the Lebesgue integral. In probability theory, a measurable function on a probability space is known as a random variable.

In the mathematical field of real analysis, the monotone convergence theorem is any of a number of related theorems proving the good convergence behaviour of monotonic sequences, i.e. sequences that are non-increasing, or non-decreasing. In its simplest form, it says that a non-decreasing bounded-above sequence of real numbers converges to its smallest upper bound, its supremum. Likewise, a non-increasing bounded-below sequence converges to its largest lower bound, its infimum. In particular, infinite sums of non-negative numbers converge to the supremum of the partial sums if and only if the partial sums are bounded.

In vector calculus, Green's theorem relates a line integral around a simple closed curve C to a double integral over the plane region D bounded by C. It is the two-dimensional special case of Stokes' theorem. In one dimension, it is equivalent to the fundamental theorem of calculus. In three dimensions, it is equivalent to the divergence theorem.

In mathematics, Fatou's lemma establishes an inequality relating the Lebesgue integral of the limit inferior of a sequence of functions to the limit inferior of integrals of these functions. The lemma is named after Pierre Fatou.

In mathematics, the Riemann–Stieltjes integral is a generalization of the Riemann integral, named after Bernhard Riemann and Thomas Joannes Stieltjes. The definition of this integral was first published in 1894 by Stieltjes. It serves as an instructive and useful precursor of the Lebesgue integral, and an invaluable tool in unifying equivalent forms of statistical theorems that apply to discrete and continuous probability.

<span class="mw-page-title-main">Improper integral</span> Concept in mathematical analysis

In mathematical analysis, an improper integral is an extension of the notion of a definite integral to cases that violate the usual assumptions for that kind of integral. In the context of Riemann integrals, this typically involves unboundedness, either of the set over which the integral is taken or of the integrand, or both. It may also involve bounded but not closed sets or bounded but not continuous functions. While an improper integral is typically written symbolically just like a standard definite integral, it actually represents a limit of a definite integral or a sum of such limits; thus improper integrals are said to converge or diverge. If a regular definite integral is worked out as if it is improper, the same answer will result.

In functional analysis, it is often convenient to define a linear transformation on a complete, normed vector space by first defining a linear transformation on a dense subset of and then continuously extending to the whole space via the theorem below. The resulting extension remains linear and bounded, and is thus continuous, which makes it a continuous linear extension.

In mathematics, the Dirichlet function is the indicator function of the set of rational numbers , i.e. if x is a rational number and if x is not a rational number .

In mathematics, the total variation identifies several slightly different concepts, related to the (local or global) structure of the codomain of a function or a measure. For a real-valued continuous function f, defined on an interval [a, b] ⊂ R, its total variation on the interval of definition is a measure of the one-dimensional arclength of the curve with parametric equation xf(x), for x ∈ [a, b]. Functions whose total variation is finite are called functions of bounded variation.

In probability theory and related fields, Malliavin calculus is a set of mathematical techniques and ideas that extend the mathematical field of calculus of variations from deterministic functions to stochastic processes. In particular, it allows the computation of derivatives of random variables. Malliavin calculus is also called the stochastic calculus of variations. P. Malliavin first initiated the calculus on infinite dimensional space. Then, the significant contributors such as S. Kusuoka, D. Stroock, J-M. Bismut, Shinzo Watanabe, I. Shigekawa, and so on finally completed the foundations.

In mathematics, the Lebesgue differentiation theorem is a theorem of real analysis, which states that for almost every point, the value of an integrable function is the limiting average taken around the point. The theorem is named for Henri Lebesgue.

In mathematics, more specifically measure theory, there are various notions of the convergence of measures. For an intuitive general sense of what is meant by convergence of measures, consider a sequence of measures μn on a space, sharing a common collection of measurable sets. Such a sequence might represent an attempt to construct 'better and better' approximations to a desired measure μ that is difficult to obtain directly. The meaning of 'better and better' is subject to all the usual caveats for taking limits; for any error tolerance ε > 0 we require there be N sufficiently large for nN to ensure the 'difference' between μn and μ is smaller than ε. Various notions of convergence specify precisely what the word 'difference' should mean in that description; these notions are not equivalent to one another, and vary in strength.

In mathematics, a line integral is an integral where the function to be integrated is evaluated along a curve. The terms path integral, curve integral, and curvilinear integral are also used; contour integral is used as well, although that is typically reserved for line integrals in the complex plane.

<span class="mw-page-title-main">Lebesgue integral</span> Method of integration

In mathematics, the integral of a non-negative function of a single variable can be regarded, in the simplest case, as the area between the graph of that function and the X axis. The Lebesgue integral, named after French mathematician Henri Lebesgue, is one way to make this concept rigorous and to extend it to more general functions.

In physics, the poppy-seed bagel theorem concerns interacting particles confined to a bounded surface when the particles repel each other pairwise with a magnitude that is proportional to the inverse distance between them raised to some positive power . In particular, this includes the Coulomb law observed in Electrostatics and Riesz potentials extensively studied in Potential theory. Other classes of potentials, which not necessarily involve the Riesz kernel, for example nearest neighbor interactions, are also described by this theorem in the macroscopic regime. For such particles, a stable equilibrium state, which depends on the parameter , is attained when the associated potential energy of the system is minimal. For large numbers of points, these equilibrium configurations provide a discretization of which may or may not be nearly uniform with respect to the surface area of . The poppy-seed bagel theorem asserts that for a large class of sets , the uniformity property holds when the parameter is larger than or equal to the dimension of the set . For example, when the points are confined to the 2-dimensional surface of a torus embedded in 3 dimensions, one can create a large number of points that are nearly uniformly spread on the surface by imposing a repulsion proportional to the inverse square distance between the points, or any stronger repulsion. From a culinary perspective, to create the nearly perfect poppy-seed bagel where bites of equal size anywhere on the bagel would contain essentially the same number of poppy seeds, impose at least an inverse square distance repelling force on the seeds.

This is a glossary of concepts and results in real analysis and complex analysis in mathematics.

References

  1. "Mathwords: Removable Discontinuity".
  2. Stromberg, Karl R. (2015). An Introduction to Classical Real Analysis. American Mathematical Society. pp. 120. Ex. 3 (c). ISBN   978-1-4704-2544-9.
  3. Apostol, Tom (1974). Mathematical Analysis (second ed.). Addison and Wesley. pp. 92, sec. 4.22, sec. 4.23 and Ex. 4.63. ISBN   0-201-00288-4.
  4. Walter, Rudin (1976). Principles of Mathematical Analysis (third ed.). McGraw-Hill. pp. 94, Def. 4.26, Thms. 4.29 and 4.30. ISBN   0-07-085613-3.
  5. Stromberg, Karl R. Op. cit. pp. 128, Def. 3.87, Thm. 3.90.
  6. Walter, Rudin. Op. cit. pp. 100, Ex. 17.
  7. Stromberg, Karl R. Op. cit. pp. 131, Ex. 3.
  8. Whitney, William Dwight (1889). The Century Dictionary: An Encyclopedic Lexicon of the English Language. Vol. 2. London and New York: T. Fisher Unwin and The Century Company. p. 1652. ISBN   9781334153952. Archived from the original on 2008-12-16. An essential discontinuity is a discontinuity in which the value of the function becomes entirely indeterminable.
  9. Klippert, John (February 1989). "Advanced Advanced Calculus: Counting the Discontinuities of a Real-Valued Function with Interval Domain". Mathematics Magazine. 62: 43–48. doi:10.1080/0025570X.1989.11977410 via JSTOR.
  10. Metzler, R. C. (1971). "On Riemann Integrability". American Mathematical Monthly. 78 (10): 1129–1131. doi:10.1080/00029890.1971.11992961.
  11. Rudin, Walter. Op.cit. pp. 109, Corollary.
  12. Klippert, John (2000). "On a discontinuity of a derivative". International Journal of Mathematical Education in Science and Technology. 31:S2: 282–287. doi:10.1080/00207390050032252.

Sources