Проекция (теория множеств)

Шаблон:Значения Проекция в теории множеств — операция ${\mathrm{pr}}_j$, выделяющая $j$-й компонент элемента $\overrightarrow{x}=(x_1,\dots ,x_j,\dots ,x_k)$ декартова произведения $(X_1\times \cdots \times X_j\times \cdots \times X_k)$, то есть ${\mathrm{pr}}_j(\overrightarrow{x})=x_j$.

Понятие обобщается в теории категорий, в которой применяются морфизмы-проекции (канонические проекции), выделяющие компоненты произведения категорий. В реляционной алгебре используется сходная операция проекции, выделяющая часть атрибутов из отношения (при этом дополнительно усекающая возможные дубликаты, образовавшиеся из-за потери части значений атрибутов).

Литература

• Шаблон:Книга:Категории для работающего математика