Теорема о количестве подмножеств конечного множества.

Рассмотрим множество А = {1, 2, 3 }, где |A| = 3, и множество В = {5, 6, 7, 8}, где |B| = 4.

Составим всевозможные подмножества множества А:

А, , {1}, {2}, {3}, {1, 2}, {1, 3}, {2, 3}.

Всего получили 8 подмножеств.

Составим всевозможные подмножества множества В:

В, , {5}, {6}, {7}, {8}, {5,6}, {5,7}, {5,8}, {6,7}, {6,8}, {7,8}, {5,6,7}, {5,7,8}, {6,7,8}, {5,6,8}.

Получили 16 подмножеств.

Используя результаты рассмотренных примеров, можно предположить справедливость следующего равенства: n = 2^m, где n – количество подмножеств данного конечного множества, m – мощность множества.

Справедливость предположения подтверждает теорема, которую мы примем без доказательства.

Теорема: Если для конечного множества А его мощность равна т, то количество всех подмножеств данного множества, обозначаемое Р(А), равно 2^т.

Пример: Вычислить количество подмножеств множества М – делителей числа 20.

Составим множество М и найдем его мощность :

М = {1,2,4,5,10,20}. Мощность |M| = 6, тогда количество подмножеств равно Р(М) = 2⁶ = 64.