Erzeugnis (Raum)

aus Wikipedia, der freien Enzyklopädie

Du hast neue Nachrichten auf deiner Diskussionsseite.

Das Erzeugnis eines mathematischen Raumes, also einer Menge mit einer Struktur, beschreibt die strukturverträgliche Konstruktion einer Teilmenge dieses Raumes aus einer weiteren, erzeugenden Teilmenge des Raumes. Die erzeugende Menge wird manchmal Erzeugendensystem genannt. Die erzeugte Teilmenge nennt man das Erzeugnis der vorgegebenen Menge bzw. des Erzeugendensystems in dem betrachteten Raum.

Mit der Strukturverträglichkeit ist gemeint, dass die Axiome die für den Raum mit seiner Struktur gelten, auch für eine Teilmenge mit der entsprechend eingeschränkten Struktur gelten. Eine solche Teilmenge nennt man dann auch einen Unterraum.

Beispiele für Erzeugnisse sind

die Menge der Linearkombinationen eines Erzeugendensystems in einem Vektorraum.
das topologische Erzeugnis einer Teilmenge eines topologischen Raumes in diesem topologischen Raum.
das Erzeugnis einer Teilmenge einer Gruppe in dieser Gruppe.

Der Artikel Hierarchie mathematischer Strukturen gibt einen guten Überblick über weitere Räume in denen eine Erzeugnisbildung betrachtet werden kann.

Inhaltsverzeichnis

1 Konstruktionsverfahren
2 Definitionen und Sätze
- 2.1 Das Erzeugendensystem eines Vektorraumes
- 2.2 Das topologische Erzeugnis

[Bearbeiten] Konstruktionsverfahren

Man betrachtet oft zwei unterschiedliche, bei sinnvoller Definition aber äquivalente, Konstruktionsverfahren, die so genannte Konstruktion von oben und von unten.

Bei der Konstruktion von oben betrachtet man den Schnitt aller Unterräume, welche das Erzeugendensystem umfassen. Da das Erzeugendensystem Teilmenge des betrachteten Raumes ist, ist stets der Raum selbst ein Unterraum, welcher das Erzeugendensystem umfasst. Das ist wichtig, damit die Definition sinnvoll ist, da der Schnitt über eine leere Menge selbst keine Menge ist.

Bei der Konstruktion von unten betrachtet man die Menge der möglichen Strukturkombinationen mit Elementen aus dem Erzeugendensystem. Beim Vektorraum etwa die Menge der Linearkombinationen mit Elementen des Erzeugendensystems.

[Bearbeiten] Definitionen und Sätze

[Bearbeiten] Das Erzeugendensystem eines Vektorraumes

[Bearbeiten] Satz und Definition (Erzeugnis in einem Vektorraum)

Sei $V$ ein Vektorraum über einem Körper $K$ und $E \subseteq V$ . Dann ist

$\left\langle E \right\rangle := \bigcap \{ U \subseteq V | U \operatorname{\;ist\;Teilvektorraum\;von\;} V \wedge E \subseteq U\}$

ein Teilvektorraum von $V$ und heißt das (Vektorraum-)Erzeugnis von $E$ auf $V$ .

Hinweise:

Ist $\left\langle E \right\rangle = V$ , so nennt man $E$ ein Erzeugendensystem von $V$ .
Ist $E$ zusätzlich minimal, so nennt man $E$ eine Basis von $V$ .

[Bearbeiten] Satz (Beschreibung "von unten")

Sei $V$ ein Vektorraum über einem Körper $K$ und $E \subseteq V$ . Dann ist:

$\left\langle E \right\rangle = \{ \sum_{i=1}^{n}k_i v_i | n \in \mathbb{N} \wedge \forall i \in ( \mathbb{N} \cap [1,n] ): (k_i, v_i) \in K \times E \}$

[Bearbeiten] Bedeutung in Worten

$\left\langle E \right\rangle$ ist der kleinste $K$ Vektorraum der $E$ enthält.

Alle Elemente von $\left\langle E \right\rangle$ lassen sich als Linearkombination von Elementen aus $E$ über $K$ schreiben.

[Bearbeiten] Das topologische Erzeugnis

[Bearbeiten] Satz und Definition (Das topologische Erzeugnis)

Sei $X$ eine Menge und $\mathfrak{S} \subseteq \mathcal{P}(X)$ . Dann ist

$\left\langle \mathfrak{S} \right\rangle := \bigcap \{ \mathfrak{T} \subseteq \mathcal{P}(X) | \mathfrak{T} \operatorname{\;ist\;Topologie\;auf\;} X \wedge \mathfrak{S} \subseteq \mathfrak{T} \}$