Projekce (teorie množin)
From Wikipedia, the free encyclopedia
Remove ads
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. [1]
- Funkce, která zobrazí prvek na jeho třídu ekvivalence podle zadané ekvivalence [2] nebo ekvivalentně surjektivní zobrazení z množiny na jinou množinu.[3] 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á.
Remove ads
Odkazy
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads