Изменения

Перейти к: навигация, поиск

Формула включения-исключения

39 байт добавлено, 21:10, 19 октября 2011
Нет описания правки
Пусть <tex> A </tex>{{---}} пересечение <tex>~n</tex> множеств. Тогда очевидно, что <tex> A = \bigcup \limits_{i=1}^{n}A_i = \left( {\bigcup \limits_{i=1}^{n-1}A_i} \right) \cup A_n </tex>. Пусть <tex> B = \bigcup \limits_{i=1}^{n-1}A_i </tex>; <tex>N_{-1} = \{ 1,2, \ldots ,n-1 \} </tex>.
Тогда исходя из предположения индукции имеем, что
<tex> | B | = \sum \limits_{I_I \in N_{n-1}} (-1)^{|I_{n-1}I|+1} \left| \bigcap \limits_{ j \in I_{n-1} I} A_j \right| </tex>
90
правок

Навигация