Erzeugnis (Raum)
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 (siehe Basis (Vektorraum)).
- das topologische Erzeugnis einer Teilmenge eines topologischen Raumes in diesem topologischen Raum.
- das Erzeugnis einer Teilmenge einer Gruppe in dieser Gruppe.
Table of contents |
2 Definitionen |
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.
Sei eine Menge und . Dann ist
Sei eine Menge und . Setze
Konstruktionsverfahren
Definitionen
Das topologische Erzeugnis
Satz und Definition (Das topologische Erzeugnis)
eine Topologie auf und heißt das topologische Erzeugnis von auf .Satz (Beschreibung "von unten")
Dann ist:Bedeutung in Worten
ist die kleinste (feinste) Topologie, so dass alle Elemente von offen sind.
Alle Elemente von lassen sich als Vereinigung von endlichen Schnitten über darstellen.