Abgeschlossen

In der Mathematik tritt der Begriff Abgeschlossenheit in mehreren Bedeutungen auf, die alle in etwa besagen, dass das betreffende Objekt mit den jeweils betrachteten Mitteln nicht erweitert werden kann. Eine Abstraktion dieser Erweiterungsprozesse ist der Begriff des Hüllenoperators.

Abgeschlossene Menge

Ist M eine Teilmenge eines topologischen Raums X, dann heißt M abgeschlossen, falls ihr Komplement X\setminus M eine offene Menge in X ist.

Erfüllt X das erste Abzählbarkeitsaxiom (dies gilt beispielsweise dann, wenn X ein metrischer Raum ist), so ist M genau dann abgeschlossen, wenn M alle Grenzwerte der konvergenten Folgen in X enthält, deren Glieder in M liegen.

Ist X ein beliebiger topologischer Raum, so ist M \subset X genau dann abgeschlossen, wenn in M die Grenzwerte aller in X konvergenten Netze liegen, deren Glieder aus M sind.

Abgeschlossen bezüglich einer Verknüpfung

Ist f eine n-stellige innere Verknüpfung auf einer Menge A, dann heißt das: f ist eine Funktion A^n \to A. Gilt nun \emptyset \neq M \subseteq A, dann heißt M abgeschlossen bezüglich f, wenn f(a_1,\ldots,a_n) in M liegt für alle a_1,\ldots,a_n \in M, wenn also f eingeschränkt auf den Definitionsbereich Mn auch eine n-stellige innere Verknüpfung auf M ist.

Hat man Strukturen mit mehreren Verknüpfungen, dann hat man auch einen Begriff der Abgeschlossenheit bezüglich all dieser Verknüpfungen.

Beispiele:

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

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 (\mathbb N,+) als Unterstruktur der Gruppe (\mathbb Z,+,0,-) nicht abgeschlossen, also keine Untergruppe. Diese Teilmenge ist zwar bezüglich der Addition abgeschlossen, nicht aber bezüglich der Inversenbildung: mit a \in \mathbb N gehört a nicht \mathbb N 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.

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

Beispiel:

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

Deduktive Abgeschlossenheit

In der klassischen Logik bezeichnet man eine Menge F logischer Formeln als deduktiv abgeschlossen, wenn die Menge aller Formeln, die aus einer der Formeln von F logisch folgen, gerade die Menge F ergeben, d. h. Cn(F) = F wobei Cn die so genannte Inferenzoperation ist, d. h. diejenige Operation, die eine Formelmenge F auf die Menge von Formeln abbildet, die logisch aus F folgt.


Wikimedia Foundation.

Schlagen Sie auch in anderen Wörterbüchern nach:

  • abgeschlossen — abgeschlossen …   Deutsch Wörterbuch

  • abgeschlossen — 1. ↑ad acta, ↑komplett, ↑perfekt, 2. hermetisch …   Das große Fremdwörterbuch

  • abgeschlossen — versperrt; dicht (umgangssprachlich); zu; verschlossen; verriegelt; abgesperrt; separat (Wohnung); geklärt; vorüber; erledigt; …   Universal-Lexikon

  • abgeschlossen — 1. abgesondert, einsam, einsiedlerisch, isoliert, vereinsamt, weltabgeschieden, weltabgewandt, zurückgezogen; (geh.): abgeschieden; (Rel.): anachoretisch. 2. abgesperrt, geschlossen, gesichert, verriegelt, verschlossen, versperrt, zugeschlossen;… …   Das Wörterbuch der Synonyme

  • abgeschlossen — ạb·ge·schlos·sen 1 Partizip Perfekt; ↑abschließen 2 Adj; nicht adv; für sich eine Einheit bildend <eine Wohnung> …   Langenscheidt Großwörterbuch Deutsch als Fremdsprache

  • abgeschlossen — ạb|ge|schlos|sen …   Die deutsche Rechtschreibung

  • Algebraisch abgeschlossen — In der abstrakten Algebra heißt ein Körper K algebraisch abgeschlossen, wenn jedes nicht konstante Polynom in einer Variablen mit Koeffizienten in K eine Nullstelle in K hat. Folgende Eigenschaften sind äquivalent: K ist algebraisch abgeschlossen …   Deutsch Wikipedia

  • algebraisch abgeschlossen — algebraisch abgeschlossen,   Eigenschaft eines Körpers K, wenn jede algebraische Gleichung mit Koeffizienten aus K eine Lösung besitzt, die selbst Element aus K ist. Jedes algebraische Element über einen algebraisch abgeschlossenen Körper K… …   Universal-Lexikon

  • Nachdem die Höhere Schule abgeschlossen war, ... — Nachdem die Höhere Schule abgeschlossen war …   Deutsch Wörterbuch

  • geklärt — abgeschlossen; vorüber; erledigt; vom Tisch sein …   Universal-Lexikon

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”