Formelsammlung Lexikon Erzeugnis (Raum)


Startseite	Bookmark setzen Sitemap Impressum

» Formelsammlung:

» Startseite

» Astronomie

» Biologie

» BWL

» Chemie

» Informatik

» Mathematik

» Physik

» Interaktiv:

» Forum

» Lexikon

» Mitmachen

» Links zu Uns

» Surftipps

» Informationen:

» Kontakt

» Impressum

» Über Formel-Sammlung.de

» Partnerseiten:

www.schuelerlexikon.de

» Partner:

Etiketten
Kostenlose Kochrezepte
Künstler Verzeichnis
Schilder
Spieleforum
Witze & SMS Sprüche

Erzeugnis (Raum)

Sie befinden Sie in: Formelsammlung Lexikon > e > Erzeugnis (Raum)

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.
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.1.1 Satz und Definition (Erzeugnis in einem Vektorraum)
2.1.2 Satz (Beschreibung "von unten")
2.1.3 Bedeutung in Worten

2.2 Das topologische Erzeugnis

2.2.1 Satz und Definition (Das topologische Erzeugnis)
2.2.2 Satz (Beschreibung "von unten")
2.2.3 Bedeutung in Worten

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.

Definitionen und Sätze

Das Erzeugendensystem eines Vektorraumes

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 \}$

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$ .

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 \}$

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.

Das topologische Erzeugnis

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 \}$

eine Topologie auf $X$ und heißt das topologische Erzeugnis von $\mathfrak{S}$ auf $X$ .

Satz (Beschreibung "von unten")

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

$\Delta \mathfrak{S} := \{ \cap S | S \subseteq \mathfrak{S} \wedge S\;\operatorname{endlich} \}$

Dann ist:

$\left\langle \mathfrak{S} \right\rangle = \{ \cup D | D \subseteq \Delta \mathfrak{S} \}$

Bedeutung in Worten

$\left\langle \mathfrak{S} \right\rangle$ ist die kleinste (feinste) Topologie, so dass alle Elemente von $\mathfrak{S}$ offen sind.

Alle Elemente von $\left\langle \mathfrak{S} \right\rangle$ lassen sich als Vereinigung von endlichen Schnitten über $\mathfrak{S}$ darstellen.

Lexikon Eintrag Drucken |

Dokument als PDF downloaden

Dieser Artikel stammt aus Wikipedia, der freien Enzyklopädie
und steht unter der GNU Free Documentation Licence.

zum Seitenanfang

» Unterstüzt von:

» Anzeigen: