Русская Википедия:Кольцо множеств

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Кольцо множеств — непустая система множеств <math>R</math>, замкнутая относительно пересечения и симметрической разности конечного числа элементов. Это значит, что для любых элементов <math>A</math> и <math>B</math> из кольца элементы <math>A \cap B</math> и <math>A \triangle B</math> тоже будут лежать в кольце.

С точки зрения общей алгебры кольцо множеств — ассоциативное коммутативное кольцо с операцией симметрической разности в роли сложения и пересечения в роли умножения. В роли нейтрального элемента по сложению выступает, очевидно, пустое множество. Нейтрального элемента по умножению в кольце множеств может и не быть. Например, не имеет нейтрального элемента по умножению кольцо всех ограниченных подмножеств числовой прямой[1].

Некоторые свойства:

  • пустое множество принадлежит любому кольцу (так как <math>\varnothing = A \triangle A</math>);
  • объединение конечного числа элементов кольца принадлежит кольцу, так как <math>A \cup B = (A \triangle B) \triangle (A \cap B)</math>;
  • разность элементов кольца также принадлежит кольцу, так как <math>A \backslash B = A \triangle (A \cap B)</math>.

См. также

Алгебра множеств

Примечания

Шаблон:Примечания

  1. Колмогоров А. Н., Фомин С. В. Элементы теории функций и функционального анализа. М.: Физматлит, 2009 — с. 48