Что такое булеан (множество всех подмножеств)?
Булеан множества S (обозначается \(P(S)\) или \(2^{S}\)) — это множество всех его подмножеств: от пустого множества ∅ до самого множества S. Например, булеан множества {a, b} равен { {}, {a}, {b}, {a, b} }. Наш калькулятор подсчитывает количество подмножеств и для небольших множеств выводит их полный список.
Формула и её объяснение
Если множество S состоит из n различных элементов (его мощность \(|S| = n\)), то число подмножеств в точности равно \(2^{n}\). Логика проста: для каждого элемента вы делаете независимый выбор — взять его в подмножество или нет. При n независимых решениях «да/нет» получается $$2 \times 2 \times \ldots \times 2 = 2^{n}$$ различных комбинаций, и каждая комбинация задаёт ровно одно подмножество.
$$\left| \mathcal{P}(S) \right| = 2^{n}, \quad n = \left| \text{Distinct Elements} \right|$$
Как пользоваться калькулятором
Введите элементы множества через запятую (например, 1, 2, 3 или красный, зелёный, синий). Повторяющиеся элементы автоматически отбрасываются, ведь множество содержит только различные элементы. Затем выберите, нужен ли полный список подмножеств — он показывается только для множеств не более чем из 12 элементов, поскольку уже \(2^{13}\) превышает 8 000 подмножеств.
Разбор примера
Возьмём S = {a, b, c}, тогда \(n = 3\). Число подмножеств равно $$2^{3} = 8.$$ Вот они: {}, {a}, {b}, {c}, {a, b}, {a, c}, {b, c} и {a, b, c}. Обратите внимание: и пустое множество, и само множество входят в список — именно поэтому это булеан, то есть множество всех подмножеств.
Частые вопросы
Всегда ли пустое множество входит в булеан? Да. Любой булеан содержит пустое множество ∅ и исходное множество S целиком.
Чему равен булеан пустого множества? Он содержит \(2^{0} = 1\) элемент, а именно { {} } — множество, состоящее из одного лишь пустого множества.
Почему для больших множеств подмножества не перечисляются? У множества из 20 элементов более миллиона подмножеств — выводить их все нецелесообразно. При этом само число (\(2^{n}\)) показывается всегда, независимо от размера множества.
