Nachfolger (Mathematik)

Nachfolger (Mathematik)

In der Mathematik werden durch die Begriffe Nachfolger und Vorgänger die gedanklichen Konzepte der „Abstammung oder Amtsnachfolge“ und des „Zählens“ formalisiert und verallgemeinert.

Inhaltsverzeichnis

Nachfolger und Vorgänger beim Zählen und in Ordnungen

Die Nachfolgerrelation in der Ordnung der natürlichen Zahlen. Beim Zählen schreitet man von Zahl zu Zahl in der Richtung der Pfeile vor. In der Mathematik zählt man ab 0, man fängt also direkt vor dem ersten Objekt zu zählen an.

Beim Zählen ist der Nachfolger einer ganzen Zahl intuitiv die nächstgrößere Zahl: So ist etwa 2 der Nachfolger von 1, 3 der Nachfolger von 2 usw. Beim Abwärtszählen kommt man von 9 zu ihrem Vorgänger 8 usw. Diese an sich naive Entdeckung, die Kinder immer wieder im Spiel nachvollziehen, kann man zu einer mathematischen Charakterisierung der natürlichen Zahlen formalisieren, die von Giuseppe Peano entwickelt wurde und ihm zu Ehren Peano-Axiomensystem heißt.

Beim Aufwärts- und Abwärtszählen stellt man fest, dass es auf die Bedeutung der Zahlwörter gar nicht ankommt, sondern nur auf ihre Reihenfolge. Diese Feststellung lässt eine Verallgemeinerung der „Zählnachbarn“ Vorgänger und Nachfolger auf Graphen und geordnete Mengen zu:

Definitionen

Sei (M,<) eine strikt geordnete Menge,  b\in M. Dann heißt

  • c Nachfolger von b, wenn b<c ist und kein kleineres Element als c mit dieser Eigenschaft existiert
formal: wenn b<c \and \left(\neg\exist c': (b<c'<c) \right) ,
  • a Vorgänger von b, wenn a<b ist und kein größeres Element als a mit dieser Eigenschaft existiert
formal: wenn a<b \and \left(\neg\exist a': (a<a'<b) \right) .
Die Teilerrelation auf der Menge der Teiler von 12. 1 und 2 haben je zwei Nachfolger, 6 und 12 je zwei Vorgänger.

Für eine strikte Totalordnung sichert diese Definition zugleich, dass Vorgänger und Nachfolger (falls vorhanden) eindeutig bestimmt sind. Im allgemeinen kann aber ein Element mehrere, untereinander nicht vergleichbare Vorgänger und/oder Nachfolger haben. Dieses allgemeinere Konzept verfolgt die Graphentheorie weiter. Es kommt damit dem vormathematischen Abstammungskonzept nahe.

In der Ordnungstheorie definiert man zu  b\in M:

  • c ist Nachfolger von b, wenn b<c ist und jedes andere Element mit dieser Eigenschaft größer ist
formal: wenn b<c \and \left( (b<c')\Rightarrow (c\leq c') \right) ,
  • a ist Vorgänger von b, wenn a<b ist und jedes andere Element mit dieser Eigenschaft kleiner ist
formal: wenn a<b \and \left( (a'<b)\Rightarrow (a'\leq a) \right) .

Damit sind Vorgänger und Nachfolger auch in nicht total geordneten Mengen eindeutig (sofern vorhanden). Damit wird eher der Zählprozess abgebildet.

Beispiel

Der abgebildete Graph veranschaulicht die Teilerrelation in der Menge der Teiler der Zahl 12. Die abstrakte Relation 3 < 6 wird hier durch Pfeile dargestellt und hat die Bedeutung "3 teilt 6", "1 teilt 4" usw. Die Ordnung ist nicht total, denn es gibt Elemente, die man nicht miteinander vergleichen kann, zum Beispiel ist 2 weder ein Teiler von 3 noch umgekehrt. Im Sinne der zweiten, ordnungstheoretischen Definition hat die 2 keine Nachfolger aber einen Vorgänger, im Sinne der ersten, allgemeineren Definition hat die 2 einen Vorgänger und zwei Nachfolger.

Anwendungen

  • In einer wohlgeordneten Menge (Ordinalzahl) besitzt jedes Element einen eindeutigen Nachfolger, es sei denn, es ist das Maximum der wohlgeordneten Menge. Elemente ohne Vorgänger heißen hier Limeselemente oder auch Grenz-Ordinalzahlen.
  • Die Existenz von Vorgängern und Nachfolgern in geordneten Mengen kann auch mit topologischen Mitteln untersucht werden. Siehe dazu Ordnungstopologie.

Wikimedia Foundation.

Игры ⚽ Нужен реферат?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Nachfolger — steht für: rechtlich ist damit eine Person gemeint, die einem Vorgänger in einer Position oder einem Amt folgt, d.h. dessen Position oder Amt übernimmt im Sinne eines Nachlassempfängers, siehe Erbe umgangssprachlich wird diese Bedeutung… …   Deutsch Wikipedia

  • Nachfolger — Nach|fol|ger [ na:xfɔlgɐ], der; s, , Nach|fol|ge|rin [ na:xfɔlgərɪn], die; , nen: Person, die jmds. Arbeit, Aufgabe, Amt übernimmt: die älteste Tochter wurde seine Nachfolgerin; jmdn. zum Nachfolger ernennen, berufen, bestimmen. Zus.:… …   Universal-Lexikon

  • Philosophie der Mathematik — Die Philosophie der Mathematik ist ein Bereich der theoretischen Philosophie, der anstrebt, Voraussetzungen, Gegenstand, Methode und Natur der Mathematik zu verstehen und zu erklären. Inhaltsverzeichnis 1 Ausgangspunkt 2 Realismus, Platonismus 3… …   Deutsch Wikipedia

  • Rechtssystem (Mathematik) — Achsenorientierung und Drehsinn linkshändiger und rechtshändiger Koordinatensysteme Als Rechtssystem bzw. rechtshändiges System wird in der Mathematik und Physik ein System zweier Vektoren in der Ebene bzw. dreier Vektoren im Raum, z. B. und …   Deutsch Wikipedia

  • Mitteleuropäische Mathematik-Olympiade — Die Mitteleuropäische Mathematik Olympiade oder auch kurz MEMO gilt als der Nachfolger des Österreichisch Polnischen Mathematikwettbewerbs (ÖPMW) und ist ein staatenübergreifender Mathematikwettbewerb. Die MEMO wurde 2007 erstmals in Österreich… …   Deutsch Wikipedia

  • Vedische Mathematik — Unter vedischer Mathematik versteht man Rechenregeln, welche von Bharati Krsna Tirthaji zwischen 1911 und 1918 aus dem Veda herausgearbeitet wurden. Sie wurden 1965 posthum veröffentlicht und sollen auf einem verloren gegangenen Anhang des… …   Deutsch Wikipedia

  • Lucasischer Lehrstuhl für Mathematik — Der Lucasische Lehrstuhl für Mathematik (Lucasian Professorship of Mathematics) ist ein Lehrstuhl an der Universität Cambridge. Er gilt als einer der prestigereichsten Lehrstühle an einer Universität. Er wurde von Henry Lucas (um 1610–1663),… …   Deutsch Wikipedia

  • Limeszahl — Beim Zählen benutzt man Ordinalzahlen (auch Ordnungszahlen genannt), um die Position eines Elements in einer Folge anzugeben: „Erstes, zweites, drittes, … Element“. Sprachlich benutzt man dazu bestimmte Zahlwörter. Auf diese Weise ordnet man… …   Deutsch Wikipedia

  • Ordinalzahlen — Beim Zählen benutzt man Ordinalzahlen (auch Ordnungszahlen genannt), um die Position eines Elements in einer Folge anzugeben: „Erstes, zweites, drittes, … Element“. Sprachlich benutzt man dazu bestimmte Zahlwörter. Auf diese Weise ordnet man… …   Deutsch Wikipedia

  • Ordnungsisomorphie — Beim Zählen benutzt man Ordinalzahlen (auch Ordnungszahlen genannt), um die Position eines Elements in einer Folge anzugeben: „Erstes, zweites, drittes, … Element“. Sprachlich benutzt man dazu bestimmte Zahlwörter. Auf diese Weise ordnet man… …   Deutsch Wikipedia

Share the article and excerpts

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