Element (Mathematik)

aus Wikipedia, der freien Enzyklopädie
∈

Ein Element (von lateinisch elementum, Lehnübersetzung von griechisch stoīcheĩa bzw. stoichẹjon„Reihenglied, Grundbestandteil“[1][2]) in der Mathematik ist immer im Rahmen der Mengenlehre oder Klassenlogik zu verstehen. Die grundlegende Relation, wenn x ein Element ist und M eine Menge oder Klasse ist, lautet:

„x ist Element von M“ oder mit Hilfe des Elementzeichens „x ∈ M“.

Die Mengendefinition von Georg Cantor beschreibt anschaulich, was unter einem Element im Zusammenhang mit einer Menge zu verstehen ist:

„Unter einer ‚Menge‘ verstehen wir jede Zusammenfassung M von bestimmten wohlunterschiedenen Objekten m unserer Anschauung oder unseres Denkens (welche die ‚Elemente‘ von M genannt werden) zu einem Ganzen.“[3]

Diese anschauliche Mengenauffassung der naiven Mengenlehre erwies sich als nicht widerspruchsfrei. Heute wird daher eine axiomatische Mengenlehre benutzt, meist die Zermelo-Fraenkel-Mengenlehre, teilweise auch eine allgemeinere Klassenlogik.

Beispiele

Einfache Beispiele

Beispiele von Elementen lassen sich offensichtlich nur mit Bezug auf die sie enthaltende Menge angeben. In der Mathematik bieten Zahlenmengen geeignete Beispiele:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 5 \in \mathbb{N}}
5 ist ein Element der Menge der natürlichen Zahlen
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle {3 \over 4} \in \mathbb{Q}}
3/4 ist ein Element der Menge der rationalen Zahlen
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \sqrt{2} \in \mathbb{R}}
die Quadratwurzel aus 2 ist ein Element der Menge der reellen Zahlen
die Quadratwurzel aus 2 ist kein Element der Menge der rationalen Zahlen

Spezielle Beispiele

In einigen Teildisziplinen der Mathematik treten bestimmte Typen von Elementen immer wieder auf. Diese speziellen Elemente haben dann feste Namen.

In der Gruppentheorie treten spezielle Mengen auf, deren Elemente miteinander verknüpft werden. Bei einer solchen Verknüpfung entsteht dann wieder ein Element der Menge. Es muss aus Gründen der Definition einer Gruppe immer ein spezielles Element geben, das bei Verknüpfung mit einem beliebigen anderen Element jenes nicht verändert. Dieses spezielle Element wird als neutrales Element bezeichnet.

Daneben muss aufgrund der Definition der Gruppe auch zu jedem Element der Gruppe ein Gegenstück existieren, welches unter Verknüpfung gerade das neutrale Element ergibt. Dieses Gegenstück wird als inverses Element (zu einem gegebenen Element) bezeichnet.

Innerhalb der ganzen Zahlen ist die Null ein neutrales Element bezüglich der Addition. Wenn man zu einer beliebigen Zahl Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x} null addiert, erhält man wiederum :

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \begin{matrix}{x + 0 = x}\end{matrix}}

Und entsprechend ist zu einer ganzen Zahl Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x} die Zahl das inverse Element:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \begin{matrix}{x + \left( -x \right) = 0}\end{matrix}}

Innerhalb der reellen Zahlen ist die Zahl 1 das neutrale Element bezüglich der Multiplikation. Wenn man eine beliebige reelle Zahl Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x} mit der 1 multipliziert, erhält man wiederum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x} :

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x \cdot 1 = x}

Entsprechend ist zu einer von null verschiedenen reellen Zahl Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x} der Kehrwert Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \tfrac{1}{x}} das inverse Element der Multiplikation:

Kompliziertere Beispiele

Das Konzept des Elementes und der Menge kann auch komplizierter sein. So kann etwa eine Menge Elemente enthalten, die wiederum selbst Mengen sind. Man könnte beispielsweise eine Menge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle T} definieren, die die schon genannten Mengen (Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb{N}} : natürliche Zahlen, Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb{Q}} : rationale Zahlen und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb{R}} : reelle Zahlen) als ihre drei Elemente enthält:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle T:=\{\mathbb{N}, \mathbb{Q}, \mathbb{R}\}}

Dann wäre Fehler beim Parsen (Konvertierungsfehler. Der Server („https://wikimedia.org/api/rest_“) hat berichtet: „Cannot get mml. Server problem.“): {\displaystyle \mathbb {N} \in T} (die Menge der natürlichen Zahlen ist ein Element der Menge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle T} ).

Tatsächlich werden im mengentheoretischen Aufbau der Mathematik auf diese Weise die natürlichen Zahlen formal definiert:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \begin{align} 0 & := \emptyset \\ 1 & := \{\emptyset\} = \{ 0 \} \\ 2 & := \{\emptyset, \{\emptyset\} \} = \{0,1\} \\ 3 & := \{\emptyset, \{\emptyset\}, \{\emptyset, \{\emptyset\} \}\} = \{0,1,2\} \\ & \ \ \vdots \end{align}}

Literatur

  • Oliver Deiser: Einführung in die Mengenlehre. Die Mengenlehre Georg Cantors und ihre Axiomatisierung durch Ernst Zermelo. 3., korrigierte Auflage. Springer, Berlin u. a. 2010, ISBN 978-3-642-01444-4, doi:10.1007/978-3-642-01445-1.

Einzelnachweise

  1. ↑ Friedrich Kluge, Alfred Götze: Etymologisches Wörterbuch der deutschen Sprache. 20. Auflage. Hrsg. von Walther Mitzka. De Gruyter, Berlin / New York 1967; Neudruck („21. unveränderte Auflage“) ebenda 1975, ISBN 3-11-005709-3, S. 162 f.
  2. ↑ Franz Dornseiff: Die griechischen Wörter im Deutschen. Berlin 1950, S. 31.
  3. ↑ Georg Cantor: Beiträge zur Begründung der transfiniten Mengenlehre. In: Mathematische Annalen. Bd. 46, Nr. 4, ISSN 0025-5831, S. 481–512, doi:10.1007/BF02124929.
Abgerufen von „https://de.wikiup.org/index.php?title=Element_(Mathematik)&oldid=222928447“