Projektion (Mengenlehre)

Die (kanonische) Projektion, Projektionsabbildung 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.