Proiecție (teoria mulțimilor)

Proiecția în teoria mulțimilor este o operație care selectează a treia componentă a unui element al unui produs cartezian , adică . $\operatorname {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})$ $\operatorname {pr} _{j}({\vec {x)})=x_{j}$

Conceptul este generalizat în teoria categoriilor , în care se folosesc morfisme de proiecție (proiecții canonice) care disting componentele unui produs de categorii . În algebra relațională , se folosește o operație de proiecție similară , care extrage o parte din atribute din relație (trunchiind în plus posibilele duplicate rezultate din pierderea unei părți din valorile atributelor).

Literatură

McLane S. Capitolul 1. Categorii, functori şi transformări naturale // Categorii pentru matematicianul de lucru / Per. din engleza. ed. V. A. Artamonova. - M . : Fizmatlit, 2004. - S. 17-42. — 352 p. — ISBN 5-9221-0400-4 .