Direkte Summe

Direkte Summe

Der Begriff der direkten Summe in der Mathematik wird zwischen äußerer und innerer direkter Summe unterschieden.

Inhaltsverzeichnis

Äußere direkte Summe

Als äußere direkte Summe bezeichnet man in der Mathematik den Standardvertreter des in der Kategorientheorie (nur bis auf Isomorphie) definierten Koprodukts von Vektorräumen, abelschen Gruppen oder Moduln. Er ist gegeben durch den Unterraum, bzw. Untergruppe, bzw. Untermodul des direkten Produktes, welcher aus genau den Tupeln mit endlichem Träger besteht. Im Falle nur endlich vieler Faktoren stimmt diese Struktur mit dem direkten Produkt überein. (Im Folgenden werden wir uns der Einfachheit halber nur mit dem Fall von Vektorräumen beschäftigen, für abelsche Gruppen und Moduln geht dies aber analog.) Die direkte Summe wird mit dem Verknüpfungszeichen \oplus geschrieben.

Eine weitere Möglichkeit, das Koprodukt zu beschreiben, ist die unten erklärte innere direkte Summe, welche zur äußeren direkten Summe isomorph ist.

Definition

Sei \left(V_i\right)_{i\in I} eine Familie von Vektorräumen. Dann heißt

\bigoplus_{i\in I } V_i\colon = \left\{\left(v_i\right)_{i \in I} \in\prod_{i\in I} V_i \mid \mbox{ fast alle}\ v_i = 0 \right\}

die äußere direkte Summe der Familie (V_i)_{i \in I}, wobei \prod_{i \in I} V_i das direkte Produkt von Vektorräumen ist.

Im endlichen Fall ergibt sich also z.B.

V_1 \oplus V_2 =\left\{\left(v_1,v_2\right)\mid v_1 \in V_1, v_2 \in V_2\right\} = V_1\times V_2

Die Unterscheidung zwischen direkter Summe und direktem Produkt ist somit nur bei unendlicher Indexmenge notwendig.

Außerdem gilt bei einer solchen direkten Summe von endlich vielen (hier zwei) Vektorräumen, dass die Dimension der Summe gleich der Summe der Dimensionen von V1 und V2 ist.

Innere direkte Summe

Bei einer Familie von Unterräumen (U_i)_{i \in I} des Vektorraumes V, heißt V innere direkte Summe von Ui (auch direkte Zerlegung von V), falls jedes v \in V eindeutig aus der Summe endlich vieler u_i \in U_i gebildet werden kann. D.h.

 \forall v \in V: \exists \,({\rm eindeutige})\, u_i \in U_i : v = \sum_{i \in I} u_i.

Wie die äußere Summe wird auch die innere wie folgt symbolisiert:

 V = \oplus_{i \in I} U_i

oder im endlichen Fall

 V = U_1 \oplus \dotsb \oplus U_n

Im Spezialfall  U_1 \oplus U_2 = V nennt man U1 und U2 zueinander komplementär. Und es gilt

 U_1 \oplus U_2 = V \Leftrightarrow (U_1 + U_2 = V) \and (U_1 \cap U_2 = \{0\}).

Zusammenhang

Man beachte: die äußere Summe von Unterräumen kann immer gebildet werden, aber die innere Summe von Unterräumen ist meist nicht direkt.

Den Bezug zwischen innerer und äußerer Summe kann man durch folgenden Trick herstellen.

Man konstruiert eine Abbildung f_j: V_j \longrightarrow \oplus V_i für jedes Vj (die Summanden der äußeren Summe):

 f_j(x) = (v_i)_{i \in I}, v_i = x für i = j und vi = 0 für i \neq j

Die innere direkte Summe der Bilder dieser Abbildungen bildet dann die äußere direkte Summe.

Literatur


Wikimedia Foundation.

Игры ⚽ Поможем написать курсовую

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

  • Summe — Das große griechische Sigma wird oft verwendet, um Folgen von Zahlen zu addieren, und auch Summenzeichen genannt. In der Mathematik ist eine Summe das Ergebnis einer Addition. Im einfachsten Fall ist eine Summe also eine Zahl, welche durch… …   Deutsch Wikipedia

  • Semidirekte Summe — Die semidirekte Summe ist eine mathematische Konstruktion aus der Theorie der Lie Algebren. Konstruktion Es seien und Lie Algebren, sei eine Darstellung, das heißt: π ist linear, und für alle gilt …   Deutsch Wikipedia

  • Direktes Produkt — In der Mathematik ist ein direktes Produkt eine mathematische Struktur, die mit Hilfe des kartesischen Produkts aus vorhandenen mathematischen Strukturen gebildet wird. Wichtige Beispiele sind das direkte Produkt von Gruppen, Ringen und anderen… …   Deutsch Wikipedia

  • Produkt von Moduln — In vielen Gebieten der Mathematik spielen direkte Produkte (– oder einfach – Produkte) und Koprodukte der betrachteten Objekte eine besondere Rolle. Die Konstruktion solcher Produkte von Objektfamilien fußt oft auf dem kartesischen Produkt von… …   Deutsch Wikipedia

  • Summationsvariable — Dieser Artikel befasst sich in erster Linie mit der Summe als dem Ergebnis einer Addition. In der Mengenlehre wird der Begriff auch als eine ältere Bezeichnung für die Vereinigungsmenge benutzt. Ferner siehe auch direkte Summe. Inhaltsverzeichnis …   Deutsch Wikipedia

  • Summensymbol — Dieser Artikel befasst sich in erster Linie mit der Summe als dem Ergebnis einer Addition. In der Mengenlehre wird der Begriff auch als eine ältere Bezeichnung für die Vereinigungsmenge benutzt. Ferner siehe auch direkte Summe. Inhaltsverzeichnis …   Deutsch Wikipedia

  • Summenzeichen — Dieser Artikel befasst sich in erster Linie mit der Summe als dem Ergebnis einer Addition. In der Mengenlehre wird der Begriff auch als eine ältere Bezeichnung für die Vereinigungsmenge benutzt. Ferner siehe auch direkte Summe. Inhaltsverzeichnis …   Deutsch Wikipedia

  • Untermodul — Der Begriff Untermodul verallgemeinert den Begriff des Untervektorraumes und den Begriff der Untergruppe einer kommutativen Gruppe auf Moduln. Inhaltsverzeichnis 1 Definition 1.1 Beispiele und weitere Definitionen 2 Summe von Untermo …   Deutsch Wikipedia

  • Klassifikation endlich erzeugter abelscher Gruppen — In der abstrakten Algebra wird eine abelsche Gruppe (G,+) als endlich erzeugt bezeichnet, wenn es endlich viele Elemente x1,...,xs in G gibt, so dass jedes x aus G in der Form x = n1x1 + n2x2 + ... + nsxs geschrieben werden kann, wobei n1,...,ns… …   Deutsch Wikipedia

  • Mathematische Zeichen — Die Notation in der mathematischen Symbolschrift erfolgt in der Mathematik (z. B. in Formeln oder Gleichungen) unter der Verwendung von Symbolen. Beispielsweise wird die Addition von zwei Zahlen durch das Zeichen + dargestellt. Mehr über die… …   Deutsch Wikipedia

Share the article and excerpts

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