Abgeschlossenheit (algebraische Struktur) - LinkFang.de





Abgeschlossenheit (algebraische Struktur)


In der Mathematik, insbesondere der Algebra, versteht man unter Abgeschlossenheit einer Menge bezüglich einer Verknüpfung, dass die Verknüpfung beliebiger Elemente dieser Menge wieder ein Element der Menge ergibt. Beispielsweise ist die Menge der ganzen Zahlen abgeschlossen bezüglich der Addition, Subtraktion und Multiplikation, aber nicht bezüglich der Division. Bei algebraischen Strukturen mit mehreren Verknüpfungen betrachtet man entsprechend die Abgeschlossenheit bezüglich all dieser Verknüpfungen.

Definition

Sei [math]f[/math] eine [math]n[/math]-stellige innere Verknüpfung auf einer Menge [math]A[/math], das heißt [math]f[/math] sei eine Funktion [math]A^n \to A[/math]. Eine nichtleere Teilmenge [math]M \subseteq A[/math] heißt nun abgeschlossen bezüglich [math]f[/math], wenn

[math]f(a_1,\dotsc,a_n) \in M[/math]

für alle [math]a_1,\dotsc,a_n \in M[/math] gilt. Das bedeutet, [math]f[/math] eingeschränkt auf den Definitionsbereich [math]M^n[/math] muss auch wieder eine [math]n[/math]-stellige innere Verknüpfung auf [math]M[/math] sein.

Beispiele

  • Eine Untergruppe ist eine nichtleere Teilmenge einer Gruppe [math](G,+)[/math], die abgeschlossen bezüglich der Verknüpfung [math]+[/math] und der Inversenbildung ist.
  • Ein Untervektorraum ist eine nichtleere Teilmenge eines Vektorraums [math]V[/math], die abgeschlossen ist bezüglich der Vektoraddition und der Skalarmultiplikation.
  • Allgemein ist eine algebraische Unterstruktur eine (nichtleere) Teilmenge einer algebraischen Struktur, die abgeschlossen bezüglich sämtlichen Verknüpfungen dieser Struktur ist.

Die Wichtigkeit der Abgeschlossenheit bezüglich einer Verknüpfung lässt sich am besten verstehen, wenn man Beispiele betrachtet, in denen sie verletzt ist.

  • So ist [math](\mathbb N,+)[/math] als Unterstruktur der Gruppe [math](\mathbb Z,+,0,-)[/math] nicht abgeschlossen, also keine Untergruppe. Diese Teilmenge ist zwar bezüglich der Addition abgeschlossen, nicht aber bezüglich der Inversenbildung: mit [math]a \in \mathbb N[/math] gehört [math]-a[/math] nicht [math]\mathbb N[/math] an.
  • Der Durchschnitt zweier Untervektorräume eines Vektorraums ist stets selbst ein Untervektorraum, jedoch ist die Vereinigung zweier Untervektorräume nicht notwendig ein Untervektorraum. Die Vereinigung ist zwar abgeschlossen bzgl. der skalaren Multiplikation, aber nicht unbedingt bzgl. der Vektoraddition.

Verallgemeinerung

Analog dazu ist eine Teilmenge [math]M[/math] auch abgeschlossen gegenüber einer [math]\infty[/math]-stelligen inneren Verknüpfung [math]f[/math] auf [math]A[/math], wenn deren Bild in [math]M[/math] liegt.

Beispiel:

Die Eigenschaft, dass eine Verknüpfung [math]f[/math] auf einer Menge [math]A[/math] stets eindeutig bestimmte Werte in [math]A[/math] liefert, bezeichnet man auch als Wohldefiniertheit dieser Verknüpfung.

Siehe auch

Weblinks


Kategorien: Algebra

Quelle: Wikipedia - http://de.wikipedia.org/wiki/Abgeschlossenheit (algebraische Struktur) (Vollständige Liste der Autoren des Textes [Versionsgeschichte])    Lizenz: CC-by-sa-3.0

Änderungen: Alle Bilder mit den meisten Bildunterschriften wurden entfernt. Ebenso alle zu nicht-existierenden Artikeln/Kategorien gehenden internen Wikipedia-Links (Bsp. Portal-Links, Redlinks, Bearbeiten-Links). Entfernung von Navigationsframes, Geo & Normdaten, Mediadateien, gesprochene Versionen, z.T. ID&Class-Namen, Style von Div-Containern, Metadaten, Vorlagen, wie lesenwerte Artikel. Ansonsten sind keine Inhaltsänderungen vorgenommen worden. Weiterhin kann es durch die maschinelle Bearbeitung des Inhalts zu Fehlern gerade in der Darstellung kommen. Darum würden wir jeden Besucher unserer Seite darum bitten uns diese Fehler über den Support mittels einer Nachricht mit Link zu melden. Vielen Dank!

Stand der Informationen: August 201& - Wichtiger Hinweis: Da die Inhalte maschinell von Wikipedia übernommen wurden, ist eine manuelle Überprüfung nicht möglich. Somit garantiert LinkFang.de nicht die Richtigkeit und Aktualität der übernommenen Inhalte. Sollten die Informationen mittlerweile fehlerhaft sein, bitten wir Sie darum uns per Support oder E-Mail zu kontaktieren. Wir werden uns dann innerhalb von spätestens 10 Tagen um Ihr Anliegen kümmern. Auch ohne Anliegen erfolgt mindestens alle drei Monate ein Update der gesamten Inhalte.