и по идее эту формулу надо аккуратно доказывать.
Я могу, конечно это сделать, и наверное я сейчас это проделаю всё-таки.
Просто для того, чтобы не оставалось у слушателей какого-то впечатления,
будто бы я что-то недоговариваю, будто здесь это как-то очень трудно.
Но смотрите, если при первом прослушивании этого курса вам покажется слишком занудным
и трудным доказательство этой теоремы- оно в принципе несложное, но немножко такое
требующее все-таки аккуратного восприятия, то вы не пугайтесь, это не страшно.
На самом деле суть-то интуитивно совершенно понятна.
И этой сути вполне достаточно для того, чтобы решать конкретные задачи.
После того, как я произнесу занудную речь с доказательством, ну я уж постараюсь его
там расцветить всеми возможными способами, но оно все-таки будет немножко занудное,
вот после того как я воспроизведу доказательство этой формулы,
я приведу обязательно пару примеров задач, которые с помощью этой формулы очень
красиво решаются, прокомментирую их, и я думаю, что это будет как раз то, что нам
нужно в рамках этой лекции, когда мы действительно как следует с вами осознаем
вот этот вот замечательный принцип, как работает формула включений-исключений.
Итак давайте сейчас перейдем все-таки к аккуратному доказательству, которое,
повторяю, при первом прослушивании можно чуть-чуть пропустить,
но можно и не пропускать, можно вникнуть.
А после доказательства обсудим примеры.
Так, ну давайте все-таки докажем эту теорему,
докажем формулу включений-исключений.
Тут есть один тонкий момент, который связан с тем, что
доказательство будет идти с помощью то что называется метода математической индукции.
Значит, конечно, если этот метод сам по себе
рассказывать в подробностях, это займет еще одну лекцию как минимум.
Но с одной стороны я надеюсь на то, что большинство слушателей так или иначе как
минимум слышало, что такой метод существует.
С другой стороны, я уже сказал, что в общем,
если вы это доказательство в курсе не осознаете- это не смертельно совершенно,
потому что я его привожу исключительно для полноты картины, чтобы слушателям не
показалось, что я их обманываю и давлю исключительно на интуицию.
Ну а в-третьих, идея-то очень простая.
Давайте я сейчас буду рассказывать, в чем состоит метод,
и идеологически я думаю что вы поймете на самом деле, как это устроено,
и действительно поверите в то, что этот принцип должен работать.
Итак, смотрите, давайте сперва докажем утверждения
для случая n маленькое, то есть количество свойств, равного единице.
Давайте во-первых рассмотрим ситуацию,
когда у нас есть только одно свойство, которое нас интересует.
Ну скажем, знание английского языка.
Понятно, что в этом случае все данные,
которыми мы располагаем- это лишь количество объектов в нашем множестве,
и это, конечно, количество объектов среди них,
которые обладают свойством альфа один у нас, n маленькое равняется единице,
никаких других свойств кроме альфа один нету, поэтому вот все наши данные.
N большое- это общее количество свойств.
N большое от альфа один это- извините, не свойств, а объектов,
конечно- это количество объектов, которые обладают ровно вот этим одним свойством.
И интересует нас по-прежнему количество объектов,
которые этим свойством не обладают.
N от альфа один штрих- это и есть та величина, которую мы изучаем в теореме.
Ну, здесь вроде совершенно понятно, что если мы хотим найти количество людей,
которые не знают английский среди всех людей, и при этом знаем, сколько из них
владеют английским языком, то действительно надо взять просто количество
всех людей, вычесть из них количество тех, кто владеет английским языком,
и мы получим товарищей, которые английского не знают.
То есть, это абсолютно очевидная штука.
С другой стороны,
вот эта абсолютно очевидная штука- это и есть частный случай формулировки теоремы.
Ну, когда n маленькое равняется единице,
никаких других вычитаемых и тем более добавляемых нету.
То есть, та формула, которая заявлена в утверждении теоремы,
она как раз вот к этому и сводится.
Упрощается до такого вот замечательного вида.
Иными словами, при n маленькое равном единице утверждение теоремы, вот оно,
является очевидным фактом, не требующим какого-то специального доказательства.
То есть мы знаем, что для n маленького равного единице это верно.
Ну, давайте даже так,
я прямо вот напишу: мы знаем,
что при n маленькое равном единице верно
следующее: верно следующее
какие бы N большое объектов мы
ни взяли (нас природа этих объектов не интересует) даже вот так:
сколько бы объектов мы ни взяли, каково бы ни было число N большое,
это значок "для любого" каково бы ни было N большое,
и каковы бы ни были сами вот эти вот объекты N а1 и так далее аN большое,
и наконец, каково бы ни было одно-единственное свойство альфа один,
вот простите за занудство, но я напишу в такой степени подробности,
вот какими бы ни были все вот эти вот данные, теорема верна.
Формула включений-исключений верна.
Мы ее только что доказали.
Ну давайте, не верна, чтоб здесь "верно" и здесь "верно" как-то нехорошо,
ну напишем "справедлива".
Для красоты.
Имеет место формула включений-исключений.
Не важно, сколько этих объектов, кто они там, это люди,
это какие-нибудь, я не знаю, бракованные-небракованные детали,
это какие-нибудь машины там, что хотите.
Каково бы ни было свойство, но если только оно одно- формула включений-исключений
верна, вот это мы доказали.