Projekce je v teorii množin jeden ze dvou blízce příbuzných typů funkcí nebo operací:
Množinově-teoretická operace typizovaná -tým projekčním zobrazením, zapisovaným která vybírá -tou složku kartézského součinu tj. Funkce, která zobrazí prvek na jeho třídu ekvivalence podle zadané ekvivalence nebo ekvivalentně surjektivní zobrazení z množiny na jinou množinu. Funkce zobrazující prvky na třídy ekvivalence je surjektivní zobrazení, a každé surjektivní zobrazení odpovídá relaci ekvivalence, podle které jsou dva prvky ekvivalentní právě tehdy, když mají stejný obraz. Výsledek projekce se zapisuje nebo pouze pokud je zřejmé, o jakou ekvivalenci se jedná.
Odkazy Reference
Související články Kartézský součin Projekce (matematika) Projekce (teorie míry) Projekce (lineární algebra) Projekce (relační algebra) Relace (matematika)
Kategorie:Teorie množin