Pathologisches Beispiel

Pathologische Beispiele sind besondere Beispiele, welche oftmals in mathematischen Kontexten auftreten. Definitionen mathematischer Objekte sind teilweise durch Anschauung motiviert, wie zum Beispiel die Definition des Wegzusammenhangs. Bei einem pathologischen Beispiel wird ein Objekt konstruiert, das den Bedingungen einer mathematisch exakten Definition entspricht, jedoch in Konflikt zu der zugrundeliegenden Anschauung steht oder für weitere Beweise unerwünschte Eigenschaften aufweist, die als untypisch für üblicherweise auftretende Fälle angesehen werden.

Bei der Konstruktion von pathologischen Beispielen werden oft das Auswahlaxiom, rekursive Definitionen und Fraktale angewendet.

Bekannte pathologische Beispiele

Weierstraß-Funktionen

Eine Weierstraß-Funktion

→ Hauptartikel: Weierstraß-Funktion

Die Weierstraß-Funktion ist in jedem Punkt stetig, aber nirgends differenzierbar. Sie ist das erste publizierte Beispiel einer solchen Funktion und änderte die übliche Meinung, dass jede stetige Funktion differenzierbar bis auf eine Menge isolierter Punkte sei.

Dirichlet-Funktion

→ Hauptartikel: Dirichlet-Funktion

Die Dirichlet-Funktion ist an allen rationalen Stellen eins und an allen irrationalen null. Sie ist ein Beispiel für eine Funktion, die überall unstetig ist und nicht Riemann-integrierbar, aber Lebesgue-integrierbar ist. Eine Abwandlung der Dirichlet-Funktion ist die thomaesche Funktion. Diese Funktion nimmt für irrationale Argumente den Wert null an und für rationale einen positiven; im Gegensatz zur Dirichlet-Funktion ist diese Riemann-integrierbar und nur an allen rationalen Stellen unstetig.

Cantor-Menge

Die ersten sieben Iterationsschritte zur Konstruktion der Cantor-Menge.

→ Hauptartikel: Cantor-Menge

Die Cantor-Menge ist eine Teilmenge der reellen Zahlen mit besonderen topologischen und maßtheoretischen Eigenschaften. So ist die Menge gleichmächtig wie die Menge der reellen Zahlen $\mathbb {R}$, jedoch ist sie gleichzeitig eine Lebesgue-Nullmenge. Aufgrund der gleichen Mächtigkeit könnte man erwarten, dass Mengen auch das gleiche Maß haben. Dies ist nicht der Fall, denn das Lebesguemaß der Menge der reellen Zahlen ist unendlich. Als topologischer Raum ist die Cantor-Menge eine kompakte, perfekte, total unzusammenhängende und nirgends dichte Teilmenge von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R} . Aufgrund dieser Eigenschaften wird die Cantor-Menge besonders in der Topologie als Beispiel verwendet, welches der Anschauung oftmals entgegenspricht.

Vitali-Menge

→ Hauptartikel: Vitali-Menge

Vitali-Mengen haben die besondere Eigenschaft, dass man ihnen kein Lebesgue-Maß zuordnen kann. Nicht-messbare Mengen für das Lebesgue-Maß lassen sich nur mit Hilfe des Auswahlaxioms konstruieren. Unter der Annahme dieses Axioms lässt sich kein Maß konstruieren, welches das Maßproblem löst. Für andere Maße hingegen ist es oft leicht, nicht messbare Mengen aufzuzeigen.

Literatur

• Gary L. Wise, Eric B. Hall: Counterexamples in probability and real analysis. Oxford University Press, Oxford 1993, ISBN 0-19-507068-2.
• Lynn A. Steen, J. Arthur Seebach, Jr.: Counterexamples in Topology. Springer-Verlag, 1978, ISBN 0-486-68735-X.