Pathological (mathematics)

Last updated November 03, 2024

The Weierstrass function is continuous everywhere but differentiable nowhere. WeierstrassFunction.svg — The Weierstrass function is continuous everywhere but differentiable nowhere.

In mathematics, when a mathematical phenomenon runs counter to some intuition, then the phenomenon is sometimes called pathological. On the other hand, if a phenomenon does not run counter to intuition, it is sometimes called well-behaved or nice. These terms are sometimes useful in mathematical research and teaching, but there is no strict mathematical definition of pathological or well-behaved.^[1]

In analysis

A classic example of a pathology is the Weierstrass function, a function that is continuous everywhere but differentiable nowhere.^[1] The sum of a differentiable function and the Weierstrass function is again continuous but nowhere differentiable; so there are at least as many such functions as differentiable functions. In fact, using the Baire category theorem, one can show that continuous functions are generically nowhere differentiable.^[2]

Such examples were deemed pathological when they were first discovered. To quote Henri Poincaré:^[3]

Logic sometimes breeds monsters. For half a century there has been springing up a host of weird functions, which seem to strive to have as little resemblance as possible to honest functions that are of some use. No more continuity, or else continuity but no derivatives, etc. More than this, from the point of view of logic, it is these strange functions that are the most general; those that are met without being looked for no longer appear as more than a particular case, and they have only quite a little corner left them.
Formerly, when a new function was invented, it was in view of some practical end. To-day they are invented on purpose to show our ancestors' reasonings at fault, and we shall never get anything more than that out of them.
If logic were the teacher's only guide, he would have to begin with the most general, that is to say, with the most weird, functions. He would have to set the beginner to wrestle with this collection of monstrosities. If you don't do so, the logicians might say, you will only reach exactness by stages.
— Henri Poincaré, Science and Method (1899), (1914 translation), page 125

Since Poincaré, nowhere differentiable functions have been shown to appear in basic physical and biological processes such as Brownian motion and in applications such as the Black-Scholes model in finance.

Counterexamples in Analysis is a whole book of such counterexamples.^[4]

Another example of pathological function is Du-Bois Reymond continuous function, that can't be represented as a Fourier series.^[5]

In topology

One famous counterexample in topology is the Alexander horned sphere, showing that topologically embedding the sphere S² in R³ may fail to separate the space cleanly. As a counterexample, it motivated mathematicians to define the tameness property, which suppresses the kind of wild behavior exhibited by the horned sphere, wild knot, and other similar examples.^[6]

Like many other pathologies, the horned sphere in a sense plays on infinitely fine, recursively generated structure, which in the limit violates ordinary intuition. In this case, the topology of an ever-descending chain of interlocking loops of continuous pieces of the sphere in the limit fully reflects that of the common sphere, and one would expect the outside of it, after an embedding, to work the same. Yet it does not: it fails to be simply connected.

For the underlying theory, see Jordan–Schönflies theorem.

Counterexamples in Topology is a whole book of such counterexamples.^[7]

Well-behaved

Mathematicians (and those in related sciences) very frequently speak of whether a mathematical object—a function, a set, a space of one sort or another—is "well-behaved". While the term has no fixed formal definition, it generally refers to the quality of satisfying a list of prevailing conditions, which might be dependent on context, mathematical interests, fashion, and taste. To ensure that an object is "well-behaved", mathematicians introduce further axioms to narrow down the domain of study. This has the benefit of making analysis easier, but produces a loss of generality of any conclusions reached.

In both pure and applied mathematics (e.g., optimization, numerical integration, mathematical physics), well-behaved also means not violating any assumptions needed to successfully apply whatever analysis is being discussed.

The opposite case is usually labeled "pathological". It is not unusual to have situations in which most cases (in terms of cardinality or measure) are pathological, but the pathological cases will not arise in practice—unless constructed deliberately.

The term "well-behaved" is generally applied in an absolute sense—either something is well-behaved or it is not. For example:

In algorithmic inference, a well-behaved statistic is monotonic, well-defined, and sufficient.
In Bézout's theorem, two polynomials are well-behaved, and thus the formula given by the theorem for the number of their intersections is valid, if their polynomial greatest common divisor is a constant.
A meromorphic function is a ratio of two well-behaved functions, in the sense of those two functions being holomorphic.
The Karush–Kuhn–Tucker conditions are first-order necessary conditions for a solution in a well-behaved nonlinear programming problem to be optimal; a problem is referred to as well-behaved if some regularity conditions are satisfied.
In probability, events contained in the probability space's corresponding sigma-algebra are well-behaved, as are measurable functions.

Unusually, the term could also be applied in a comparative sense:

In calculus:
- Analytic functions are better-behaved than general smooth functions.
- Smooth functions are better-behaved than general differentiable functions.
- Continuous differentiable functions are better-behaved than general continuous functions. The larger the number of times the function can be differentiated, the more well-behaved it is.
- Continuous functions are better-behaved than Riemann-integrable functions on compact sets.
- Riemann-integrable functions are better-behaved than Lebesgue-integrable functions.
- Lebesgue-integrable functions are better-behaved than general functions.
In topology, continuous functions are better-behaved than discontinuous ones.
- Euclidean space is better-behaved than non-Euclidean geometry.
- Attractive fixed points are better-behaved than repulsive fixed points.
- Hausdorff topologies are better-behaved than those in arbitrary general topology.
- Borel sets are better-behaved than arbitrary sets of real numbers.
- Spaces with integer dimension are better-behaved than spaces with fractal dimension.
In abstract algebra:
- Groups are better-behaved than magmas and semigroups.
- Abelian groups are better-behaved than non-Abelian groups.
- Finitely-generated Abelian groups are better-behaved than non-finitely-generated Abelian groups.
- Finite-dimensional vector spaces are better-behaved than infinite-dimensional ones.
- Fields are better-behaved than skew fields or general rings.
- Separable field extensions are better-behaved than non-separable ones.
- Normed division algebras are better-behaved than general composition algebras.

Pathological examples

Pathological examples often have some undesirable or unusual properties that make it difficult to contain or explain within a theory. Such pathological behaviors often prompt new investigation and research, which leads to new theory and more general results. Some important historical examples of this are:

Ranked-choice voting is commonly described as a pathological social choice function, because of its tendency to eliminate candidates for winning too many votes.^[8]
The discovery of irrational numbers by the school of Pythagoras in ancient Greece; for example, the length of the diagonal of a unit square, that is ${\sqrt {2}}$ .
The discovery of complex numbers in the 16th century in order to find the roots of cubic and quartic polynomial functions.
Some number fields have rings of integers that do not form a unique factorization domain, for example the extended field $\mathbb {Q} ({\sqrt {-5}})$ .
The discovery of fractals and other "rough" geometric objects (see Hausdorff dimension).
Weierstrass function, a real-valued function on the real line, that is continuous everywhere but differentiable nowhere.^[1]
Test functions in real analysis and distribution theory, which are infinitely differentiable functions on the real line that are 0 everywhere outside of a given limited interval. An example of such a function is the test function, $\varphi (t)={\begin{cases}e^{-1/(1-t^{2})},&-1<t<1,\\0,&{\text{otherwise}}.\end{cases}}$
The Cantor set is a subset of the interval $[0,1]$ that has measure zero but is uncountable.
The fat Cantor set is nowhere dense but has positive measure.
The Fabius function is everywhere smooth but nowhere analytic.
Volterra's function is differentiable with bounded derivative everywhere, but the derivative is not Riemann-integrable.
The Peano space-filling curve is a continuous surjective function that maps the unit interval $[0,1]$ onto $[0,1]\times [0,1]$ .
The Dirichlet function, which is the indicator function for rationals, is a bounded function that is not Riemann integrable.
The Cantor function is a monotonic continuous surjective function that maps $[0,1]$ onto $[0,1]$ , but has zero derivative almost everywhere.
The Minkowski question-mark function is continuous and strictly increasing but has zero derivative almost everywhere.
Satisfaction classes containing "intuitively false" arithmetical statements can be constructed for countable, recursively saturated models of Peano arithmetic. ^{[ citation needed ]}
The Osgood curve is a Jordan curve (unlike most space-filling curves) of positive area.
An exotic sphere is homeomorphic but not diffeomorphic to the standard Euclidean n-sphere.

At the time of their discovery, each of these was considered highly pathological; today, each has been assimilated into modern mathematical theory. These examples prompt their observers to correct their beliefs or intuitions, and in some cases necessitate a reassessment of foundational definitions and concepts. Over the course of history, they have led to more correct, more precise, and more powerful mathematics. For example, the Dirichlet function is Lebesgue integrable, and convolution with test functions is used to approximate any locally integrable function by smooth functions.^{[Note 1]}

Whether a behavior is pathological is by definition subject to personal intuition. Pathologies depend on context, training, and experience, and what is pathological to one researcher may very well be standard behavior to another.

Pathological examples can show the importance of the assumptions in a theorem. For example, in statistics, the Cauchy distribution does not satisfy the central limit theorem, even though its symmetric bell-shape appears similar to many distributions which do; it fails the requirement to have a mean and standard deviation which exist and that are finite.

Some of the best-known paradoxes, such as Banach–Tarski paradox and Hausdorff paradox, are based on the existence of non-measurable sets. Mathematicians, unless they take the minority position of denying the axiom of choice, are in general resigned to living with such sets.^{[ citation needed ]}

Computer science

In computer science, pathological has a slightly different sense with regard to the study of algorithms. Here, an input (or set of inputs) is said to be pathological if it causes atypical behavior from the algorithm, such as a violation of its average case complexity, or even its correctness. For example, hash tables generally have pathological inputs: sets of keys that collide on hash values. Quicksort normally has $O(n\log {n})$ time complexity, but deteriorates to $O(n^{2})$ when it is given input that triggers suboptimal behavior.

The term is often used pejoratively, as a way of dismissing such inputs as being specially designed to break a routine that is otherwise sound in practice (compare with Byzantine ). On the other hand, awareness of pathological inputs is important, as they can be exploited to mount a denial-of-service attack on a computer system. Also, the term in this sense is a matter of subjective judgment as with its other senses. Given enough run time, a sufficiently large and diverse user community (or other factors), an input which may be dismissed as pathological could in fact occur (as seen in the first test flight of the Ariane 5).

Exceptions

A similar but distinct phenomenon is that of exceptional objects (and exceptional isomorphisms), which occurs when there are a "small" number of exceptions to a general pattern (such as a finite set of exceptions to an otherwise infinite rule). By contrast, in cases of pathology, often most or almost all instances of a phenomenon are pathological (e.g., almost all real numbers are irrational).

Subjectively, exceptional objects (such as the icosahedron or sporadic simple groups) are generally considered "beautiful", unexpected examples of a theory, while pathological phenomena are often considered "ugly", as the name implies. Accordingly, theories are usually expanded to include exceptional objects. For example, the exceptional Lie algebras are included in the theory of semisimple Lie algebras: the axioms are seen as good, the exceptional objects as unexpected but valid.

By contrast, pathological examples are instead taken to point out a shortcoming in the axioms, requiring stronger axioms to rule them out. For example, requiring tameness of an embedding of a sphere in the Schönflies problem. In general, one may study the more general theory, including the pathologies, which may provide its own simplifications (the real numbers have properties very different from the rationals, and likewise continuous maps have very different properties from smooth ones), but also the narrower theory, from which the original examples were drawn.

Related Research Articles

Brouwer's fixed-point theorem is a fixed-point theorem in topology, named after L. E. J. (Bertus) Brouwer. It states that for any continuous function $mapping a nonempty compact convex set to itself, there is a point such that . The simplest forms of Brouwer's theorem are for continuous functions from a closed interval in the real numbers to itself or from a closed disk to itself. A more general form than the latter is for continuous functions from a nonempty convex compact subset of Euclidean space to itself.$

In mathematics, differential topology is the field dealing with the topological properties and smooth properties of smooth manifolds. In this sense differential topology is distinct from the closely related field of differential geometry, which concerns the geometric properties of smooth manifolds, including notions of size, distance, and rigid shape. By comparison differential topology is concerned with coarser properties, such as the number of holes in a manifold, its homotopy type, or the structure of its diffeomorphism group. Because many of these coarser properties may be captured algebraically, differential topology has strong links to algebraic topology.

In mathematics, a topological space is called separable if it contains a countable, dense subset; that is, there exists a sequence $of elements of the space such that every nonempty open subset of the space contains at least one element of the sequence.$

In mathematics, a topological space is, roughly speaking, a geometrical space in which closeness is defined but cannot necessarily be measured by a numeric distance. More specifically, a topological space is a set whose elements are called points, along with an additional structure called a topology, which can be defined as a set of neighbourhoods for each point that satisfy some axioms formalizing the concept of closeness. There are several equivalent definitions of a topology, the most commonly used of which is the definition through open sets, which is easier than the others to manipulate.

<span class="mw-page-title-main">Algebraic topology</span> Branch of mathematics

Algebraic topology is a branch of mathematics that uses tools from abstract algebra to study topological spaces. The basic goal is to find algebraic invariants that classify topological spaces up to homeomorphism, though usually most classify up to homotopy equivalence.

In mathematics, a Borel set is any set in a topological space that can be formed from open sets through the operations of countable union, countable intersection, and relative complement. Borel sets are named after Émile Borel.

Analysis is the branch of mathematics dealing with continuous functions, limits, and related theories, such as differentiation, integration, measure, infinite sequences, series, and analytic functions.

In topology and related branches of mathematics, a normal space is a topological space X that satisfies Axiom T₄: every two disjoint closed sets of X have disjoint open neighborhoods. A normal Hausdorff space is also called a T₄ space. These conditions are examples of separation axioms and their further strengthenings define completely normal Hausdorff spaces, or T₅ spaces, and perfectly normal Hausdorff spaces, or T₆ spaces.

In mathematics, Tychonoff's theorem states that the product of any collection of compact topological spaces is compact with respect to the product topology. The theorem is named after Andrey Nikolayevich Tikhonov, who proved it first in 1930 for powers of the closed unit interval and in 1935 stated the full theorem along with the remark that its proof was the same as for the special case. The earliest known published proof is contained in a 1935 article by Tychonoff, "Über einen Funktionenraum".

In mathematics, general topology is the branch of topology that deals with the basic set-theoretic definitions and constructions used in topology. It is the foundation of most other branches of topology, including differential topology, geometric topology, and algebraic topology.

In the mathematical field of topology, a G_δ set is a subset of a topological space that is a countable intersection of open sets. The notation originated from the German nouns Gebiet'open set' and Durchschnitt'intersection'. Historically G_δ sets were also called inner limiting sets, but that terminology is not in use anymore. G_δ sets, and their dual, F_𝜎 sets, are the second level of the Borel hierarchy.

<span class="mw-page-title-main">Weierstrass function</span> Function that is continuous everywhere but differentiable nowhere

In mathematics, the Weierstrass function, named after its discoverer, Karl Weierstrass, is an example of a real-valued function that is continuous everywhere but differentiable nowhere. It is also an example of a fractal curve.

The language of mathematics has a wide vocabulary of specialist and technical terms. It also has a certain amount of jargon: commonly used phrases which are part of the culture of mathematics, rather than of the subject. Jargon often appears in lectures, and sometimes in print, as informal shorthand for rigorous arguments or precise ideas. Much of this uses common English words, but with a specific non-obvious meaning when used in a mathematical sense.

In mathematics, a manifold is a topological space that locally resembles Euclidean space near each point. More precisely, an $-dimensional manifold, or -manifold for short, is a topological space with the property that each point has a neighborhood that is homeomorphic to an open subset of -dimensional Euclidean space.$

In mathematics, linear maps form an important class of "simple" functions which preserve the algebraic structure of linear spaces and are often used as approximations to more general functions. If the spaces involved are also topological spaces, then it makes sense to ask whether all linear maps are continuous. It turns out that for maps defined on infinite-dimensional topological vector spaces, the answer is generally no: there exist discontinuous linear maps. If the domain of definition is complete, it is trickier; such maps can be proven to exist, but the proof relies on the axiom of choice and does not provide an explicit example.

In mathematics, set-theoretic topology is a subject that combines set theory and general topology. It focuses on topological questions that are independent of Zermelo–Fraenkel set theory (ZFC).

In mathematics, a space is a set endowed with a structure defining the relationships among the elements of the set. A subspace is a subset of the parent space which retains the same structure. While modern mathematics uses many types of spaces, such as Euclidean spaces, linear spaces, topological spaces, Hilbert spaces, or probability spaces, it does not define the notion of "space" itself.

In mathematics, specifically geometry and topology, the classification of manifolds is a basic question, about which much is known, and many open questions remain.

In mathematics and computer science, computable analysis is the study of mathematical analysis from the perspective of computability theory. It is concerned with the parts of real analysis and functional analysis that can be carried out in a computable manner. The field is closely related to constructive analysis and numerical analysis.

References

1 2 3 Weisstein, Eric W. "Pathological". mathworld.wolfram.com. Retrieved 2019-11-29.
↑ "Baire Category & Nowhere Differentiable Functions (Part One)". www.math3ma.com. Retrieved 2019-11-29.
↑ Kline, Morris (1990). Mathematical thought from ancient to modern times. Oxford University Press. p. 973. OCLC 1243569759.
↑ Gelbaum, Bernard R. (1964). Counterexamples in analysis. John M. H. Olmsted. San Francisco: Holden-Day. ISBN 0-486-42875-3. OCLC 527671.
↑ Jahnke, Hans Niels (2003). A history of analysis. History of mathematics. Providence (R.I.): American mathematical society. p. 187. ISBN 978-0-8218-2623-2.
↑ Weisstein, Eric W. "Alexander's Horned Sphere". mathworld.wolfram.com. Retrieved 2019-11-29.
↑ Steen, Lynn Arthur (1995). Counterexamples in topology. J. Arthur Seebach. New York: Dover Publications. ISBN 0-486-68735-X. OCLC 32311847.
↑ Doron, Gideon; Kronick, Richard (1977). "Single Transferrable Vote: An Example of a Perverse Social Choice Function". American Journal of Political Science. 21 (2): 303–311. doi:10.2307/2110496. ISSN 0092-5853. JSTOR 2110496.

Notes

↑ The approximations converge almost everywhere and in the space of locally integrable functions.

External links

Pathological Structures & Fractals – Extract of an article by Freeman Dyson, "Characterising Irregularity", Science, May 1978

This article incorporates material from pathological on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[:1-1] 1 2 3 Weisstein, Eric W. "Pathological". mathworld.wolfram.com. Retrieved 2019-11-29.

[2] "Baire Category & Nowhere Differentiable Functions (Part One)". www.math3ma.com. Retrieved 2019-11-29.

[3] Kline, Morris (1990). Mathematical thought from ancient to modern times. Oxford University Press. p. 973. OCLC 1243569759.

[4] Gelbaum, Bernard R. (1964). Counterexamples in analysis. John M. H. Olmsted. San Francisco: Holden-Day. ISBN 0-486-42875-3. OCLC 527671.

[5] Jahnke, Hans Niels (2003). A history of analysis. History of mathematics. Providence (R.I.): American mathematical society. p. 187. ISBN 978-0-8218-2623-2.

[6] Weisstein, Eric W. "Alexander's Horned Sphere". mathworld.wolfram.com. Retrieved 2019-11-29.

[7] Steen, Lynn Arthur (1995). Counterexamples in topology. J. Arthur Seebach. New York: Dover Publications. ISBN 0-486-68735-X. OCLC 32311847.

[:0-8] Doron, Gideon; Kronick, Richard (1977). "Single Transferrable Vote: An Example of a Perverse Social Choice Function". American Journal of Political Science. 21 (2): 303–311. doi:10.2307/2110496. ISSN 0092-5853. JSTOR 2110496.

[9] The approximations converge almost everywhere and in the space of locally integrable functions.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[Note 1]