Mathe für Nicht-Freaks: Tupel und geordnetes Paar

{{#invoke:Mathe für Nicht-Freaks/Seite|oben}}

Geordnetes Paar Vorlage:Anker

Zweidimensionales Koordinatensystem der reellen Zahlen

Geordnete Paare begegnen uns bereits in der Schule: sie werden benötigt, um Koordinaten anzugeben, zum Beispiel beim "Schiffe versenken". Um ein Feld auf dem 10 mal 10 großen Spielfeld zu bestimmen, werden zwei Angaben benötigt: die Zeile und die Spalte. Zeilen sind hier mit einem großen Buchstaben $A,B,C,\dots$ benannt, Spalten haben Nummern $1,2,3,\dots$. Wird vom Gegner das Feld $(H,10)$ aufgerufen, ist das Dreier-Schiff versenkt:

Spielfeld Schiffe versenken

Ein anderes Beispiel ist das zweidimensionale Koordinatensystem für die reellen Zahlen, in dem die Punkte durch ein Paar reeller Zahlen $(x,y)$ angegeben werden. Dabei ist die Reihenfolge der Koordinaten wichtig! Der Punkt $(-3,1)$ ist ein anderer als der Punkt $(1,-3)$. Es dürfen auch beide Koordinaten gleich sein, das ist beispielsweise beim Ursprung $(0,0)$ des Koordinatensystems der Fall.

n-Tupel Vorlage:Anker

Dreidimensionales Koordinatensystem

Der Begriff des geordneten Paares lässt sich verallgemeinern. Werden drei Komponenten betrachtet, erhält man Tripel, mit vier Komponenten Quadrupel, usw. Allgemein kann man zu jeder natürlichen Zahl $n\ge 2$ sogenannte $n$-Tupel betrachten. Sie sollen die folgende Bedingung erfüllen:

Zwei $n$-Tupel sind nur dann gleich, wenn sie komponentenweise gleich sind, formalisiert:

n-Tupel lassen sich mit Hilfe von geordneten Paaren darstellen. Für 3-Tupel setzt man $(x_1,x_2,x_3):=((x_1,x_2),x_3)$, für 4-Tupel $(x_1,x_2,x_3,x_4):=(((x_1,x_2),x_3),x_4)$, usw. So kann man schrittweise für alle natürlichen Zahlen n-Tupel erklären. Sind n-Tupel $(x_1,x_2,\dots ,x_n)$ definiert, erzeugt man (n+1)-Tupel durch: $(x_1,x_2,\dots ,x_n,x_{n+1}):=((x_1,x_2,\dots ,x_n),x_{n+1})$. Diese Art der Definition wird rekursiv genannt:

Wir müssen nun nachweisen, dass diese Definition tatsächlich das leistet, was wir von $n$-Tupeln erwarten. Nämlich das zwei $n$-Tupel nur dann gleich sind, wenn alle Komponenten des Tupels gleich sind.

Alternative Definition der Tupel

Die Definition der $n$-Tupels mit Hilfe des geordneten Paares hat zur Folge, dass jedes $n$-Tupel ein geordnetes Paar ist. Für die meisten Zwecke ist das nicht störend und die gesamte elementare Theorie der Relationen und Funktionen kann darauf aufgebaut werden. Es gibt aber auch eine schärfere Tupel-Definition, die eine zusätzliche Forderung an die Gleichheit von Tupeln stellt:

{{#invoke:Mathe für Nicht-Freaks/Seite|unten}}