Geordnetes Paar
aus Wikipedia, der freien Enzyklopädie
Ein geordnetes Paar oder 2-Tupel ist eine geordnete Zusammenstellung zweier Objekte (im Gegensatz zur ungeordneten Zusammenstellung, der Paarmenge). Von den beiden Objekten, die zum geordneten Paar zusammengefasst sind, ist eines der beiden ausgezeichnet (hervorgehoben); das ausgezeichnete Objekt wird oft vordere Komponente, das nicht ausgezeichnete Objekt hintere Komponente des geordneten Paars genannt. Auch spricht man von linker bzw. rechter oder erster bzw. zweiter Komponente.
Zum Notieren eines geordneten Paars ist es üblich, seine beiden Einträge, durch ein Komma getrennt, hintereinander zu schreiben, den vorderen links, und das Ganze in Klammern zu setzen:
![(a,b)\quad[a,b ]\quad\langle a,b \rangle](/images/math/3/8/5/38590cff0e8256a41a0a05c118cc4ef7.png)
Welche Klammernart dabei verwendet wird, ist im jeweiligen mathematischen Kontext festgelegt. Wenn nichts Besonderes gesagt ist, schreiben viele Mathematiker die runden Klammern. Ausgeschlossen sind jedoch die geschweiften, denn diese sind generell für explizite Mengenangaben reserviert.
[Bearbeiten] Grundlegende Eigenschaften
Zwei Paare (a,b) und (c,d) sind genau dann gleich, wenn sie komponentenweise gleich sind, also a = c und b = d (siehe allgemeiner die Erläuterunge unter Tupel). Sofern a und b verschieden sind, gilt also 
.
[Bearbeiten] Formale Definition
Üblich sind zwei mengentheoretische Definitionen des geordneten Paars: 
und 
, wobei 
die vordere Komponente ist. Letztere Definition geht auf Kuratowski zurück.
Die Definitionen sind dadurch gerechtfertigt, dass in der Tat 
bzw. 
genau dann gilt, wenn a = c und b = d.
Auch lässt sich beispielsweise aus die vordere Komponente a als dasjenige von zwei Elementen zurückgewinnen, das Element des anderen ist.
|
|
|