Projektion (Mengenlehre)

Die (kanonische) Projektion, Projektionsabbildung, Koordinatenabbildung oder Auswertungsabbildung ist in der Mathematik eine Abbildung, die ein Tupel auf eine der Komponenten des Tupels abbildet. Allgemeiner ist eine Projektion eine Abbildung von dem kartesischen Produkt einer Familie von Mengen auf das kartesische Produkt einer Teilfamilie dieser Mengen, die Elemente mit bestimmten Indizes auswählt. Unter der Annahme des Auswahlaxioms ist eine Projektion einer beliebigen Familie nichtleerer Mengen stets surjektiv. Projektionen werden unter anderem in der Mengenlehre, in der Topologie, in der Maßtheorie oder als Operatoren in relationalen Datenbanken verwendet.

Definition

Ist $(X_{i})_{i\in I}$ eine Familie von Mengen, wobei $I$ eine beliebige Indexmenge ist, dann wird mit $\textstyle X_{I}=\prod _{i\in I}X_{i}$ das kartesische Produkt dieser Mengen bezeichnet. Ist nun $J\subseteq I$ eine Teilmenge von $I$ , dann ist die Projektion $\pi _{J}$ auf diese Teilmenge die Abbildung

\pi _{J}\colon X_{I}\to X_{J},\quad (x_{i})_{i\in I}\mapsto (x_{j})_{j\in J}

.

Durch die Projektion $\pi _{J}$ werden demnach aus einer Familie von Elementen $(x_{i}\in X_{i})_{i\in I}$ diejenigen ausgewählt, deren Indizes in der Menge $J$ enthalten sind. Im Fall einer einelementigen Menge $J=\{j\}$ wird die Projektion $\pi _{\{j\}}$ auch einfach durch $\pi _{j}$ notiert.^[1]

Beispiele

Geordnete Paare

Besteht die Indexmenge aus genau zwei Elementen, $I=\{1,2\}$ , dann ist das kartesische Produkt $X_{I}=X_{1}\times X_{2}$ die Menge der geordneten Paare von Elementen der beiden Mengen $X_{1}$ und $X_{2}$ . Die Projektionen

\pi _{1}\colon X_{1}\times X_{2}\to X_{1},\quad (x_{1},x_{2})\mapsto x_{1}

und

\pi _{2}\colon X_{1}\times X_{2}\to X_{2},\quad (x_{1},x_{2})\mapsto x_{2}

bilden dann ein Paar $(x_{1},x_{2})$ auf seine erste beziehungsweise seine zweite Komponente ab. Sind beispielsweise $(x,y)\in \mathbb {R} ^{2}$ die kartesischen Koordinaten eines Punkts in der euklidischen Ebene, dann ergeben die Projektionen $\pi _{1}$ und $\pi _{2}$ jeweils die $x$ - und die $y$ -Koordinate des Punkts. Diese Projektionen sind formal von (orthogonalen) Projektionen auf die beiden Koordinatenachsen zu unterscheiden, die Abbildungen $\mathbb {R} ^{2}\to \mathbb {R} ^{2}$ mit $(x,y)\mapsto (x,0)$ beziehungsweise $(x,y)\mapsto (0,y)$ darstellen.

Tupel

Besteht die Indexmenge aus $n$ Elementen, $I=\{1,\ldots ,n\}$ , dann ist das kartesische Produkt $X_{I}=X_{1}\times \ldots \times X_{n}$ die Menge aller $n$ -Tupel, bei denen die $i$ -te Komponente ein Element $x_{i}\in X_{i}$ ist. Die Projektion $\pi _{j}$ ist dann die Abbildung

\pi _{j}\colon X_{1}\times \ldots \times X_{n}\to X_{j},\quad (x_{1},\ldots ,x_{n})\mapsto x_{j}

,

die ein Tupel auf seine $j$ -te Komponente abbildet.^[2] Jedes Tupel $T\in X_{I}$ hat somit die Darstellung $T=(\pi _{1}(T),\ldots ,\pi _{n}(T))$ .

Funktionen

Sind die Mengen $X_{i}$ alle gleich einer Menge $X$ , dann ist das kartesische Produkt $X_{I}=X^{I}$ die Menge aller Funktionen $f\colon I\to X$ . Die Projektion $\pi _{j}$ ist dann die Abbildung

\pi _{j}\colon X^{I}\to X,\quad f\mapsto \pi _{j}(f)=f(j)

,

die eine Funktion auf ihren Funktionswert für das Argument $j$ abbildet. Diese Abbildung wird daher auch als Auswertungsabbildung bezeichnet.^[1]^[3]

Eigenschaften

Surjektivität

Ist die Indexmenge $I$ endlich und sind die Mengen $X_{i}$ nichtleer, dann ist eine Projektionsabbildung stets surjektiv, das heißt

\pi _{J}(X_{I})=X_{J}

.

Um sicherzustellen, dass das kartesische Produkt einer beliebigen Familie nichtleerer Mengen ebenfalls nichtleer ist, wird allerdings das Auswahlaxiom benötigt. Tatsächlich ist die vorstehende Aussage sogar äquivalent zum Auswahlaxiom. Unter der Annahme des Auswahlaxioms ist eine Projektionsabbildung dann auch für eine beliebige Familie nichtleerer Mengen stets surjektiv.^[4]

Urbild

Ist $J\subset I$ eine echte Teilmenge der Indexmenge $I$ und ist $\textstyle W\subseteq X_{J}$ eine Teilmenge der Zielmenge einer Projektion $\pi _{J}$ , dann hat das Urbild von $W$ die Darstellung

\pi _{J}^{-1}(W)=W\times X_{I\setminus J}=\{(x_{i})_{i\in I}\in X_{I}\mid (x_{j})_{j\in J}\in W\}

.

Die Mengen $\pi _{J}^{-1}(W)$ werden entsprechend auch als Zylindermengen bezeichnet.^[5]

Verwendung

Topologie

Sind $X_{i}$ für $i\in I$ topologische Räume, dann ist die Produkttopologie auf $X_{I}$ die gröbste Topologie (die Topologie mit den wenigsten offenen Mengen), bezüglich der alle Projektionen $\pi _{j}$ stetig sind. Die Zylindermengen der Form $\pi _{j}^{-1}(U_{j})$ , wobei $U_{j}$ eine offene Teilmenge von $X_{j}$ ist, bilden dabei eine Subbasis für den Produktraum $X_{I}$ . Der Produktraum kann auch durch die folgende universelle Eigenschaft eines kategoriellen Produkts charakterisiert werden: ist $Y$ ein topologischer Raum und ist die Abbildung $f_{j}\colon Y\to X_{j}$ für jedes $j\in I$ stetig, dann gibt es genau eine stetige Funktion $f\colon Y\to X_{I}$ , sodass

\pi _{j}\circ f=f_{j}

für alle $j\in I$ gilt. Umgekehrt ist eine gegebene Funktion $f\colon Y\to X_{I}$ genau dann stetig, wenn alle Projektionen $\pi _{j}\circ f$ stetig sind. Zusätzlich zur Stetigkeit sind die Projektionen $\pi _{j}\colon X_{I}\to X_{j}$ offene Abbildungen, das heißt jeder offene Teilraum $W\subset X_{I}$ des Produktraums $X_{I}$ bleibt offen, wenn er auf eine Menge $X_{j}$ projiziert wird. Die Umkehrung gilt jedoch nicht: ist $W\subset X_{I}$ ein Teilraum des Produktraums, dessen Projektionen $\pi _{j}\colon W\to X_{j}$ alle offen sind, dann muss $W$ selbst in $X_{I}$ nicht offen sein. Die Projektionen $\pi _{j}\colon X_{I}\to X_{j}$ sind im Allgemeinen auch keine abgeschlossenen Abbildungen.

Maßtheorie

Sind $(\Omega _{i},{\mathcal {A}}_{i})$ für $i\in I$ Messräume, dann ist die Produkt-σ-Algebra

\bigotimes _{i\in I}{\mathcal {A}}_{i}=\sigma \left(\left\{\pi _{j}^{-1}(A_{j})\mid A_{j}\in {\mathcal {A}}_{j},j\in I\right\}\right)=\sigma \left(\bigcup _{j\in I}\pi _{j}^{-1}({\mathcal {A}}_{j})\right)

die kleinste σ-Algebra auf dem kartesischen Produkt $\Omega _{I}$ , sodass alle Projektionen auf die Einzelmengen $\Omega _{i}$ messbar sind. Die Produkt-σ-Algebra wird auch von dem System aller Zylindermengen mit endlicher Indexmenge $J$ erzeugt. In der Maßtheorie und Stochastik bilden Produkt-σ-Algebren die Grundlage für Produktmaße und Produkt-Wahrscheinlichkeitsräume.^[3]

Informatik

Projektionen werden auch als Operatoren in relationalen Datenbanken eingesetzt. Ist hierzu $R$ eine Relation und $\{A_{1},\ldots ,A_{k}\}$ eine Teilmenge der Attributmenge, dann ist das Ergebnis der Projektion

\Pi _{A_{1},\ldots ,A_{k}}(R)=\{T[A_{1},\ldots ,A_{n}]\mid T\in R\}

eine neue Relation, die nur die Attribute aus der angegebenen Attributliste enthält. In der Ergebnisrelation werden dabei doppelte Einträge gelöscht.

Siehe auch

Literatur

Gerd Fischer: Lineare Algebra: eine Einführung für Studienanfänger. Springer, 2008, ISBN 3-8348-9574-1.
Paul Halmos: Naive set theory. Springer, 1960, ISBN 0-387-90092-6.
Norbert Kusolitsch: Maß- und Wahrscheinlichkeitstheorie. Springer, 2014, ISBN 978-3-642-45387-8.
Jochen Wengenroth: Wahrscheinlichkeitstheorie. de Gruyter, 2008, ISBN 978-3-11-020359-2.
Stephen Willard: General Topology. Courier Dover Publications, 2012, ISBN 978-0-486-13178-8.

Einzelnachweise

↑ ^a ^b Paul Halmos: Naive set theory. Springer, 1960, S. 36.
↑ Gerd Fischer: Lineare Algebra: eine Einführung für Studienanfänger. Springer, 2008, S. 38.
↑ ^a ^b Jochen Wengenroth: Wahrscheinlichkeitstheorie. de Gruyter, 2008, S. 14.
↑ Stephen Willard: General Topology. Courier Dover Publications, 2012, S. 52.
↑ Norbert Kusolitsch: Maß- und Wahrscheinlichkeitstheorie. Springer, 2014, S. 6.

[halmos-1] Paul Halmos: Naive set theory. Springer, 1960, S. 36.

[2] Gerd Fischer: Lineare Algebra: eine Einführung für Studienanfänger. Springer, 2008, S. 38.

[wengenroth-3] Jochen Wengenroth: Wahrscheinlichkeitstheorie. de Gruyter, 2008, S. 14.

[4] Stephen Willard: General Topology. Courier Dover Publications, 2012, S. 52.

[5] Norbert Kusolitsch: Maß- und Wahrscheinlichkeitstheorie. Springer, 2014, S. 6.

[1]

[2]

[3]

[4]

[5]

Fahrer / Team für die Suche eingeben: