Abgeschlossenheit

Bei der Abgeschlossenheit einer Menge bezüglich einer Verknüpfung handelt es sich um die Eigenschaft, dass die Verknüpfung von beliebigen Elementen der Menge in jedem Fall ein Element derselben Menge ergibt.

Definition

Gegeben sei eine innere zweistellige Verknüpfung $\star: A \times A \rightarrow A$ auf einer Menge $A$. Man nennt die Menge $A$ abgeschlossen bezüglich $\star$, wenn für alle Elemente $a_1,a_2 \in A$ auch deren Verknüpfung in der Menge $A$ enthalten ist:

Allgemein: Gegeben sei eine innere $n$-stellige Verknüpfung $f: A^n \rightarrow A$ auf einer Menge $A$. Man nennt die Menge $A$ abgeschlossen bezüglich $f$, wenn für alle Elemente $a_1,\ldots,a_n \in A$ auch deren Verknüpfung in der Menge $A$ enthalten ist:

Beispiele

Beispiele für Abgeschlossenheit

• Die Menge $\N$ der natürlichen Zahlen ist bezüglich der Addition $+$ und bezüglich der Multiplikation $\cdot$ abgeschlossen.
• Die Menge $A = \bigl\{ 2k \mid k \in \Z \bigr\}$ der geraden ganzen Zahlen ist bezüglich der Addition abgeschlossen.
• Eine Untergruppe $\bigl(U, \star\bigr)$ einer Gruppe $\bigl(G, \star\bigr)$ ist bezüglich der Verknüpfung $\star$ abgeschlossen.
• Ein Untervektorraum $U$ eines Vektorraums $V$ ist bezüglich der Vektoraddition und der skalaren Multiplikation abgeschlossen.

Beispiele für Nicht-Abgeschlossenheit

• Die Menge $\N$ der natürlichen Zahlen ist bezüglich der Subtraktion $-$ nicht abgeschlossen.
• Die Menge $\Z$ der ganzen Zahlen ist bezüglich der Division $:$ nicht abgeschlossen.
• Die Menge $A = \bigl\{ 2k+1 \mid k \in \Z \bigr\}$ der ungeraden ganzen Zahlen ist bezüglich der Addition nicht abgeschlossen.