Benutzer:Argetula/geordnetes Paar
Geordnete Paare stehen im Zentrum der mathematischen Begriffswelt, sie sind die Basisbausteine vieler mathematischer Objekte (siehe unten Kapitel Verwendung). Ein geordnetes Paar, manchmal auch 2-Tupel genannt, besteht aus zwei Angaben nicht notwendig voneinander verschiedener mathematischer Objekte, wobei eines der beiden ausgezeichnet ist, dieses wird seine erste, vordere oder linke Komponente genannt, das andere seine zweite, hintere oder rechte. Notiert wird ein geordnetes Paar, indem man seine Komponenten, von einem Komma getrennt, hintereinander schreibt, die linke zuerst, und das Ganze in ein geeignetes Klammerpaar, meist dem runden, einschließt. Mit den Projektionsoperatoren[1] , erhält man die erste/zweite Komponente eines geordneter Paars: für .
Gleichheit geordneter Paare
Der Begriff des geordneten Paars ist durch Peanos Paaraxiom charakterisiert: Zwei geordnete Paare gelten genau dann als gleich, wenn sowohl ihre ersten als auch ihre zweiten Komponenten gleich sind [2], formal: .
Darstellung geordneter Paare als Mengen
In der Literatur finden sich unter anderen für das geordnete Paar folgende Darstellungen als Mengen:
- zum Tupel-Begriff generalisierbare Darstellung[3]
- (nach Norbert Wiener (1914)[4])
- (nach Kazimierz Kuratowski (1921)[5]) gängigste Darstellung. Eine Variante gibt die Definition
- so genannte kurze Darstellung
- wobei und voneinander verschiedene Objekte sind, beide auch verschieden von und (nach Felix Hausdorff (1914)[6])
- (nach Jürgen Schmidt (1966)[7] in Anlehnung an Quine) können hier auch echte Klassen sein
Verwendungen geordneter Paare
Geordnete Paare sind die elementaren Bausteine vieler mathematischer Strukturen. Beispielsweise werden
- in der Mengenlehre kartesische Produkte, Relationen, Funktionen, Folgen, als Mengen geordneter Paare definiert,
- in der Analysis komplexe Zahlen als geordnete Paare mit reellen Zahlen als Komponenten, reelle Zahlen als Mengen (Äquivalenzklassen) unendlicher Folgen (Cauchy-Folgen rationaler Zahlen), rationale Zahlen als Äquivalenzklassen geordneter Paare, deren Komponenten ganze Zahlen sind, ganze Zahlen als Äquivalenzklassen geordneter Paare, deren Komponenten natürliche Zahlen sind, definiert,
- in der Algebra die algebraischen Strukturen, zum Beispiel Gruppen, Ringe, Körper im Wesentlichen als Funktionen (binäre Verknüpfungen) definiert.
Literatur
- Felix Hausdorff: Gesammelte Werke. Band 2: Grundzüge der Mengenlehre. Springer, Berlin 2002, ISBN 3-540-42224-2.
- Herbert B. Enderton: Elements of Set Theory. Academic Press, New York 1977, ISBN 0-12-238440-7.
- Paul R. Halmos: Naive Mengenlehre. 5. Auflage. Vandenhoeck & Ruprecht, Göttingen 1994, ISBN 3-525-40527-8.
- Heinz-Dieter Ebbinghaus: Einführung in die Mengenlehre. 4. Auflage. Spektrum Akademischer Verlag, Heidelberg/Berlin 2003, ISBN 3-8274-1411-3.
- Oliver Deiser: Einführung in die Mengenlehre. 2. verbesserte und erweiterte Auflage. Springer, Berlin u.a. 2004, ISBN 3-540-20401-6.
Quellennachweis
- ↑ Arnold Oberschelp: Allgemeine Mengenlehre., BI-Wiss.-Verl. 1994.
- ↑ Giuseppe Peano: Logique Mathématique (1897), Formel 71, in: Opere scelte II 224, oben verbalisiert
- ↑ Encyclopaedia of Mathematics: tuple
- ↑ Jean van Heijenoort: From Frege to Gödel. Harvard University Press, Cambridge/London 2002, ISBN 0-674-32449-8, S. 224ff.
- ↑ Kazimierz Kuratowski: Sur la notion de l‘ordere dans la Théorie des Ensembles. in: Fundamenta Mathematica II (1921), S. 171.
- ↑ Felix Hausdorff: Grundzüge der Mengenlehre. Veit & Comp., Leipzig 1914, S. 32–33.
- ↑ Jürgen Schmidt: Mengenlehre. Band 1: Grundbegriffe, Seite 95f. B I Hochschultaschenbücher, ASIN B0000BUJC6.
Weblinks
Literatur
- Heinz-Dieter Ebbinghaus: Einführung in die Mengenlehre. 4. Auflage. Spektrum Akademischer Verlag, Heidelberg u. a. 2003, ISBN 3-8274-1411-3 (HochschulTaschenbuch).
- Roger Godement: Algebra. Hermann, Paris 1968.
Einzelnachweise
Weblinks
- V.N. Grishin: Tuple. In: Michiel Hazewinkel (Hrsg.): Encyclopedia of Mathematics. Springer-Verlag und EMS Press, Berlin 2002, ISBN 978-1-55608-010-4 (englisch, online).
- Raymond Puzio u. a.: Ordered tuplet. In: PlanetMath. (englisch)
- Eric W. Weisstein: n-Tuple. In: MathWorld (englisch).