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

Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads