| Pathological (mathematics) |
Article Index for Pathological |
Website Links For Pathological |
Information AboutPathological (mathematics) |
|
Often the usefulness of a theorem is justified by saying examples which don't meet the assumptions ( Counterexample s) 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. 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 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 "general" results. For example, three important historical examples of this are the following: #The discovery of Irrational Number s by the ancient Greeks. #The discovery of Number Field s whose integers do not admit unique factorisation. #The discovery of the Fractal s and other "rough" geometric objects. At the time of their discovery, each of these were considered highly pathological; today, each has been assimilated and 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 Paradox es such as the Banach–Tarski Paradox and Hausdorff Paradox are based on the existence of Non-measurable Set s. 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 1 continuously onto 1 × 1 , and the Cantor Set which is a subset of the interval 1 and has the pathological property that it is uncountable, yet its measure is zero. See also: Well-behaved . on hash values. 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 ''. EXTERNAL LINKS
|