Оператор замыкания

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

Оператор замыкания — обобщение интуитивной концепции замыкания. Именно: если \langle P, \leqslant\rangle — частично упорядоченное множество, оператор C: P\to P будет называться оператором замыкания, если выполнены три условия:

Примеры[править | править исходный текст]

  • подмножества произвольной алгебры образуют частично упорядоченное множество. Сопоставление каждому такому подмножеству наименьшей подалгебры данной алгебры, содержащей его, будет оператором замыкания.
  • Другим, более простым примером, является оператор округления действительного числа.
  • Замыкание отношения
  • Замыкание (геометрия)

См. также[править | править исходный текст]