Axiome
Definition
Axiome in der Mathematik oder Statistik sind Aussagen, Anforderungen bzw. Eigenschaften bezüglich mathematischer Grundbegriffe / Objekte einer Theorie (zum Beispiel der Wahrscheinlichkeitstheorie), die grundlegend sind und nicht bewiesen werden können bzw. müssen.
Axiome sind der Ausgangspunkt, auf den Axiomen kann man dann Theoreme und Beweise aufbauen.
Beispiele
Ein Beispiel aus der Statistik sind die Axiome von Kolmogorov, die festlegen, welche drei Eigenschaften für Wahrscheinlichkeiten gelten sollen:
- Nichtnegativität: Wahrscheinlichkeiten sind >= 0 (Wahrscheinlichkeiten sind 0 oder positiv);
- Normiertheit: Das sichere Ereignis hat die Wahrscheinlichkeit 1;
- Additivität: Unter der Voraussetzung, dass sich ein Ereignis in disjunkte Teilereignisse zerlegen lässt, können die Wahrscheinlichkeiten der disjunkten Teilereignisse addiert werden, um die Wahrscheinlichkeit des Ereignisses zu erhalten.
Ein anderes Beispiel ist das Axiom: Jede natürliche Zahl hat einen (direkten, unmittelbaren) Nachfolger: die Zahl 3 hat 4 als Nachfolger, die Zahl 10 hat 11 als Nachfolger und so weiter.
Viele Axiome muten als Selbstverständlichkeit an, über die man nicht zu reden braucht. Sie sind aber eine Art Grundgerüst der Mathematik und für weitere Schritte wie etwa Beweise notwendig.