Pathological (mathematics)

Pathological (mathematics)

In mathematics, a pathological phenomenon is one whose properties are considered atypically bad or counterintuitive.

Often, when the usefulness of a theorem is challenged by counterexamples, defenders of the theorem argue that the exceptions are pathological. A famous case is the Alexander horned sphere, a counterexample showing that topologically embedding the sphere S2 in R3 may fail to "separate the space cleanly", unless an extra condition of "tameness" is used to suppress possible "wild" behaviour. See Jordan-Schönflies theorem.

One can therefore say that (particularly in mathematical analysis and set theory) those searching for the "pathological" are like experimentalists, interested in knocking down potential theorems, in contrast to finding general statements widely applicable. Each activity has its role within mathematics.

Pathological functions

A classic example is the Weierstrass function, which is continuous everywhere but differentiable nowhere. Obviously, 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, by the Baire category theorem one can show that continuous functions are typically or "generically" nowhere differentiable.

In layman's terms, this is because of the vast infinity of possible functions, relatively few will ever be studied by mathematicians, and those that do come to their attention as being interesting or useful will tend to be well-behaved. To quote Henri Poincaré:

cquote|Logic sometimes makes monsters. For half a century we have seen a mass of bizarre functions which appear to be forced to resemble as little as possible honest functions which serve some purpose. More of continuity, or less of continuity, more derivatives, and so forth. Indeed, from the point of view of logic, these strange functions are the most general; on the other hand those which one meets without searching for them, and which follow simple laws appear as a particular case which does not amount to more than a small corner.

In former times when one invented a new function it was for a practical purpose; today one invents them purposely to show up defects in the reasoning of our fathers and one will deduce from them only that.

If logic were the sole guide of the teacher, it would be necessary to begin with the most general functions, that is to say with the most bizarre. It is the beginner that would have to be set grappling with this teratologic museum.|20px|20px|Henri Poincaré|1899

This highlights the fact that the term "pathological" is subjective or at least context-dependent, and its meaning in any particular case resides in the community of mathematicians, not necessarily within the subject matter of mathematics itself.

Pathological examples

Pathological examples often have some undesirable or unusual properties that make it difficult to contain or explain within a theory. Such pathological behaviour often prompts new investigation which leads to new theory and more general results. For example, three important historical examples of this are the following:

*The discovery of irrational numbers by the school of Pythagoras in ancient Greece; the first example of an irrational number they found was the length of the diagonal of a unit square, that is sqrt{2}
*The discovery of number fields whose rings of integers do not form a unique factorization domain, for example the field mathbb{Q}(sqrt{-5}).
*The discovery of fractals and other "rough" geometric objects (see Hausdorff dimension).

At the time of their discovery, each of these were considered highly pathological; today, each has been assimilated, which is to say, explained by an extensive general theory.

Again, to reiterate, it should be pointed out that such judgments about what is or is not pathological are inherently subjective or at least vary with context and depend on both training and experience — what is pathological to one researcher may very well be standard behaviour 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 are finite.

The best-known paradoxes such as the 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.

Other examples include the Peano space-filling curve which maps the unit interval [0, 1] continuously onto [0, 1] × [0, 1] , and the Cantor set which is a subset of the interval [0, 1] and has the pathological property that it is uncountable, yet its measure is zero.

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(n2) when given input that is sorted. 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 "Byzantine".

ee also

*Well-behaved

External links

* [http://www.mountainman.com.au/fractal_00.htm Pathological Structures & Fractals] - Extract of an article by Freeman Dyson, "Characterising Irregularity", Science, May 1978


Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • List of mathematics articles (P) — NOTOC P P = NP problem P adic analysis P adic number P adic order P compact group P group P² irreducible P Laplacian P matrix P rep P value P vector P y method Pacific Journal of Mathematics Package merge algorithm Packed storage matrix Packing… …   Wikipedia

  • Degeneracy (mathematics) — For the degeneracy of a graph, see degeneracy (graph theory). This article is about degeneracy in mathematics. For other uses, see Degeneracy. In mathematics, a degenerate case is a limiting case in which a class of object changes its nature so… …   Wikipedia

  • Solenoid (mathematics) — This page discusses a class of topological groups. For the wrapped loop of wire, see Solenoid. The Smale Williams solenoid. In mathematics, a solenoid is a compact connected topological space (i.e. a continuum) that may be obtained as the inverse …   Wikipedia

  • Sheaf (mathematics) — This article is about sheaves on topological spaces. For sheaves on a site see Grothendieck topology and Topos. In mathematics, a sheaf is a tool for systematically tracking locally defined data attached to the open sets of a topological space.… …   Wikipedia

  • Knot (mathematics) — A table of all prime knots with seven crossings or fewer (not including mirror images). In mathematics, a knot is an embedding of a circle in 3 dimensional Euclidean space, R3, considered up to continuous deformations (isotopies). A crucial… …   Wikipedia

  • Pathology (disambiguation) — Pathology is a medical field specializing in the categorization of diseases. Pathology can also refer to: In science *Anatomic pathology, the study of macro and microscopic abnormalities in tissues *Speech pathology, the area of rehabilitative… …   Wikipedia

  • Трассировка пути — Простая сцена, отрендеренная с использованием трассировки пути. Отличительным достоинством данного изображения является «мягкость» теней и освещения. Трассировка пути (англ. path tracing) методика рендеринга в …   Википедия

  • List of mathematical jargon — The language of mathematics has a vast 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… …   Wikipedia

  • number game — Introduction       any of various puzzles and games that involve aspects of mathematics.       Mathematical recreations comprise puzzles and games that vary from naive amusements to sophisticated problems, some of which have never been solved.… …   Universalium

  • Neural oscillation — is rhythmic or repetitive neural activity in the central nervous system. Neural tissue can generate oscillatory activity in many ways, driven either by mechanisms localized within individual neurons or by interactions between neurons. In… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”