Das Kefk Network Wiki befindet sich im Testbetrieb.

Tupel

Aus Kefk.

Wechseln zu: Navigation, Suche
Bild:Disambig-dark.svg Dieser Artikel beschäftigt sich mit dem mathematischen Begriff des n-Tupels. Für den Begriff des Tupels im Bereich der Datenbanken siehe Datensatz.

Inhaltsverzeichnis

n-Tupel in der Mathematik

Das n-Tupel ist ein Begriff der Mathematik. Er bezeichnet eine geordnete Zusammenstellung von Objekten, deren Elemente eine festgelegte Reihenfolge haben (im Gegensatz zur ungeordneten Menge). n-Tupel werden üblicherweise durch runde Klammern angegeben (hier für n = 3, da drei Elemente im Tupel vorhanden sind):

(a,b,c)

Die Objekte werden als Elemente, Komponenten oder Einträge des n-Tupels bezeichnet. Dadurch, dass bei einem n-Tupel jedem seiner Elemente ein eindeutiger Platz zugeordnet ist, kann es auch mehrfach dasselbe Element enthalten. n bezeichnet hierbei die Anzahl der Elemente des n-Tupels. Diese Anzahl muss endlich sein. Im Fall eines 2-Tupels spricht man auch von einem geordneten Paar, für n = 3 von einem Tripel. Die entsprechenden, selten gebrauchten Wörter Quadrupel, Quintupel usw. gaben dem n-Tupel den Namen. Oft werden die Elemente eines n-Tupels mit Hilfe der natürlichen Zahlen indiziert.

Manche Autoren sprechen auch von "Tupel" (ohne n); Albrecht Beutelspacher rät in seinem mathematischen Stilratgeber "Das ist o.B.d.A. trivial!" von dieser sprachlichen Nachlässigkeit ab.

Notationskonflikt: Oft werden auch offene Intervalle als (a,b) geschrieben, in der kommutativen Algebra auch das von den zwei Elementen erzeugte Ideal (bzw. allgemein mit (x_1, \dots, x_n) das von diesen Elementen erzeugte Ideal). Ob ein Intervall, ein Ideal oder ein Paar gemeint ist, ist aus dem Kontext zu ersehen.

Abgrenzung gegenüber Mengen

Ein n-Tupel ist von einer Menge zu unterscheiden. Bei einer Menge ist die Reihenfolge der Elemente unerheblich. Außerdem kann eine Menge ein und dasselbe Element niemals mehrfach enthalten. Sie kann es nur entweder enthalten oder es nicht enthalten.

Für die Menge stehen geschweifte Klammern, die kennzeichnen, dass die Elemente ungeordnet, d.h. ohne Reihenfolge, sind.

(Es ist möglich, den Mengenbegriff so zu erweitern, dass ein Element "mehrmals" vorkommen kann. Siehe dazu Multimenge.)

Beispiele

Ist a ≠ b, so ist das Paar (a, b) verschieden von (b, a), dagegen ist die Menge {a, b} dieselbe Menge wie {b, a}.

(90, 60, 90) ist ein 3-Tupel bzw. ein Tripel, dagegen enthält die Menge {90, 60, 90} nur zwei Zahlen.

n-Tupel von Zahlen (oder anderen gleichartigen Objekten) nennt man je nach Kontext auch Vektoren, wie z.B. Elemente des R3 oder allgemeiner Rn. Je nachdem, ob man sie horizontal (a,b,c) oder vertikal \begin{pmatrix}a\\b\\c\end{pmatrix} schreibt, spricht man von Zeilen- oder Spaltenvektoren.

Man beachte jedoch, dass die lineare Algebra einen abstrakteren Vektorbegriff verwendet: Vektoren sind definiert als Elemente eines Vektorraums. Zwar ist der Rn (mit der naheliegenden Struktur) ein Vektorraum, aber im Allgemeinen sind Vektoren im Sinne der linearen Algebra keine n-Tupel. Vektor im Sinne der linearen Algebra zu sein ist auch keine Eigenschaft eines einzelnen Objektes, sondern nur sinnvoll für ein Objekt als Teil einer Gesamtheit mit algebraischer Zusatzstruktur, eines Vektorraums.

Anwendungen

Der Begriff n-Tupel wird bei der Definition des kartesischen Produkts endlich vieler Mengen verwendet. In weiterer Folge wird dann der Begriff des kartesischen Produkts bei der Definition der Begriffe Relation, Funktion und Folge benötigt; n-Tupel ist daher ein sehr grundlegender Begriff der Mathematik.

Formale Definition

Für n-Tupel wird vor allem gefordert, dass zwei n-Tupel dann und nur dann gleich sind, wenn sie in allen entsprechenden Komponenten übereinstimmen:

(a_1, a_2, \dots, a_n) = (b_1, b_2, \dots, b_n) \quad \Leftrightarrow \quad a_1 = b_1\,\, \mathrm{und}\,\, a_2 = b_2\,\, \mathrm{und}\,\, \dots\, a_n = b_n.

Mehrere Definitionen derartiger n-Tupel sind üblich:

Definition des n-Tupels mit Hervorhebung der Nummerierung

Man fasst ein n-Tupel mit Einträgen aus einer Menge X (also einen n-stelligen "Vektor" mit Einträgen aus X) als Funktion von der Menge {1,...,n} in die Menge X auf. Ein n-Tupel ist also eine endliche Folge, d.h. eine Funktion einer endlichen Teilmenge der natürlichen Zahlen.

Bei dieser Definition benötigt man zur Voraussetzung den Begriff der Funktion. Hierzu wird man z.B. zuerst geordnete Paare (siehe auch den folgenden Absatz) definieren, dann zweistellige Funktionen und Relationen als Mengen geordneter Paare, im nächsten Schritt n-Tupel als spezielle Funktionen (Folgen) und hierauf dann n-stellige Funktionen und Relationen als Mengen von n-Tupeln. Dies hat den Nachteil, dass nicht nur geordnete Paare und 2-Tupel unterschiedliche mathematische Objekte sind, sondern auch zweistellige und n-stellige Relationen (inkl. Funktionen) unterschiedlich strukturiert sind.

Induktive Definition ausgehend vom geordneten Paar

  • Ein 2-Tupel wird als geordnetes Paar \left(a_1,a_2\right) verstanden. Es wird beispielsweise definiert als die Menge \lbrace a_1, \lbrace a_1,a_2\rbrace\rbrace\! oder als die Menge \lbrace \lbrace{a_1\rbrace} , \lbrace a_1,a_2\rbrace\rbrace\!
  • Für n > 2 hat ein n-Tupel die Form \left(X,a_n\right), wobei X ein (n − 1)-Tupel ist.

Diese Definition wird beispielsweise in (Lit.: Hlawka, Binder, Schmitt) verwendet und ist die am weitesten verbreitete. Sie gewährleistet nicht nur die eingangs angesprochene Hauptforderung an n-Tupel, sondern erlaubt es auch, den Relations- und Funktionsbegriff auf dem Begriff des n-Tupels aufzubauen. Sie hat allerdings den Nachteil, dass die bei der Bildung des n-Tupels intendierte Stellenzahl nicht als Information im Tupel enthalten ist. Aus einem solcherart definierten n-Tupel kann (im Unterschied zur ersten Definition!) nicht erschlossen werden, ob es als 2-Tupel, 3-Tupel, ..., (n − 1)-Tupel oder n-Tupel zu behandeln ist, denn es gehört ja allen diesen Gruppen an. Je nachdem, welcher Gruppe wir es zuordnen, fällt z.B. das Ergebnis für die Projektion auf die zweite Komponente des n-Tupels unterschiedlich aus – tatsächlich kommen sämtliche Komponenten außer der Ersten hierfür in Frage. Eine Abänderung der Definition, welche diesen Nachteil vermeidet, ist leicht möglich. Beispielsweise kann man für n > 2 ein n-Tupel als ein Paar definieren, welche zum einen die Stellenanzahl n des n-Tupels enthält und zum anderen ein geordnetes Paar, dessen erste Komponente ein (n − 1)-Tupel ist, also:

(a_1, \dots, a_n) := (((a_1, \dots, a_{n-1}), a_n),n)

Induktive Definition ohne Verwendung des geordneten Paares

Eine Definition des n-Tupels ohne Voraussetzung des Begriffes des geordneten Paares findet sich beispielsweise in (Lit.: Hazewinkel, 1993):

n=0:\quad ():=\lbrace\rbrace
n=1:\quad (a):=\lbrace (),\lbrace a \rbrace \rbrace
n>1:\quad (a_1,\;\dots\;a_n):=\lbrace (a_1,\;\dots\;a_{n-1}),\lbrace a_n \rbrace\rbrace

Nach dieser Definition ist das 2-Tupel \;(a,b) die Menge \;\lbrace \lbrace \lbrace \rbrace ,\lbrace a\rbrace \rbrace ,\lbrace b\rbrace \rbrace. Dagegen ist das geordnete Paar \;\langle a,b \rangle die Menge \;\lbrace \lbrace a\rbrace ,\lbrace a,b\rbrace \rbrace oder \;\lbrace a ,\lbrace a,b\rbrace \rbrace , je nachdem, welche Definition des geordneten Paars zugrunde gelegt wird.

Bei dieser Definition des n-Tupels ist die Information über die Anzahl der Komponenten des n-Tupel enthalten, es gilt also die strengere Eigenschaft

(a_1, a_2, \dots, a_n) = (b_1, b_2, \dots, b_m) \quad \Leftrightarrow \quad m=n\,\, \mathrm{und}\,\, a_1 = b_1\,\, \mathrm{und}\,\, a_2 = b_2\,\, \mathrm{und}\,\, \dots\, a_n = b_n.

Literatur

  • Edmund Hlawka, Christa Binder, Peter Schmitt: Grundbegriffe der Mathematik. Prugg Verlag, Wien 1979. ISBN 3-85385-038-3.
  • Hazewinkel, Michiel (ed.), Encyclopaedia of Mathematics, Volume 9, Stochastic approximation - Zygmund class of functions. Kluwer Academic Publishers 1993. ISBN 1-55608-010-7.

Siehe auch

Von „http://kefk.org/wiki/Tupel“
Persönliche Werkzeuge