WikiSort.ru - Не сортированное

В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете отредактировать эту статью, добавив ссылки на авторитетные источники. Эта отметка установлена 21 февраля 2017 года.

Проекцией в теории множеств называют одну из двух практически не связанных функций или операций, а именно:

• Операцию в теории множеств, обозначаемую ${\displaystyle \operatorname {pr} _{j}}$ , выделяющую ${\displaystyle j}$ -й компонент элемента ${\displaystyle {\vec {x}}=(x_{1},\ldots ,x_{j},\ldots ,x_{k})}$ декартова произведения ${\displaystyle (X_{1}\times \cdots \times X_{j}\times \cdots \times X_{k})}$ , то есть ${\displaystyle \operatorname {pr} _{j}({\vec {x}})=x_{j}}$ .
• Функцию, ставящую в соответствие элементу x его класс эквивалентности при заданном отношении эквивалентности E. Значение такой функции записывается как ${\displaystyle [x]}$ , когда E подразумевается, или как ${\displaystyle [x]_{E}}$ , когда необходимо указать E явно.

См. также

• Декартово произведение
• Отношение (теория множеств)
• Проекция (реляционная алгебра)