Projektion (mængdelære)

Projektion i mængdeteori er en operation , der udvælger den th komponent af et element i et kartesisk produkt , dvs. ${\displaystyle \operatørnavn {pr} _{j))$ $j$ ${\vec {x}}=(x_{1},\ldots ,x_{j},\ldots ,x_{k})$ $(X_{1}\times \cdots \times X_{j}\times \cdots \times X_{k})$ $\operatørnavn {pr} _{j}({\vec {x)))=x_{j}$

Begrebet er generaliseret i kategoriteori , hvor der bruges projektionsmorfismer (kanoniske projektioner), der adskiller komponenterne i et produkt af kategorier . I relationel algebra bruges en lignende projektionsoperation , som udtrækker en del af attributterne fra relationen (medens der yderligere afkortes mulige dubletter som følge af tab af en del af attributværdierne).

Litteratur

McLane S. Kapitel 1. Kategorier, funktorer og naturlige transformationer // Kategorier for den arbejdende matematiker / Pr. fra engelsk. udg. V. A. Artamonova. - M . : Fizmatlit, 2004. - S. 17-42. — 352 s. — ISBN 5-9221-0400-4 .