Основные понятия алгебры множеств
Алгебра множеств лежит в основе многих разделов современной математики. Для нее практически невозможно установить точную дату открытия и назвать имя первооткрывателя. Алгебра множеств постепенно развивалась на фоне многочисленных попыток найти строгое математическое основание для Аристотелевой логики. Некоторые предпосылки этой алгебры содержатся в трудах Лейбница. В разработку основ этой алгебры внесли значительный вклад многие известные логики и математики (Ж.Д.Жергонн, А. де Морган, Дж. Венн и др.). Но особая заслуга в ее развитии и распространении принадлежит Леонарду Эйлеру.
В 1736 г. в "Письмах к германской принцессе о различных физических и философских материях" Л. Эйлер в популярной форме изложил свое понимание Аристотелевой силлогистики. При этом он использовал наглядные схемы, которые впоследствии получили название "круги Эйлера". В дальнейшем круги Эйлера стали использовать не только в учебных курсах по логике, но также и при изложении азов многих основополагающих разделов современной математики, в которых используется алгебра множеств. Здесь воспользуемся этими наглядными отображениями, позволяющими достаточно быстро овладеть абстрактными понятиями алгебры множеств.
Идеи Эйлера были развиты в работах французского астронома и математика Ж. Д. Жергонна. Жергонну удалось в опубликованной в 1817 г. работе "Основы рациональной диалектики" представить все классы суждений, выделенных Аристотелем, с помощью соотношений между множествами. Эти соотношения получили в математике и логике название "жергонновых отношений". Рассмотрим их более подробно.
В основе силлогистики лежат простые суждения, представленные четырьмя типами: A – общеутвердительное (все X есть Y); E – общеотрицательное (все X не есть Y); I – частноутвердительное (некоторые X есть Y); O – частноотрицательное (некоторые X не есть Y). Отметим, что в трудах Аристотеля смысл суждений отличается от общепринятого – этот смысл вместе с обозначениями утвердился в логике после работ известного схоласта Петра Испанского. Сам Аристотель не употреблял в суждениях двусмысленную связку "есть" и формулировал суждения следующим образом:
A: Y присуще всем X
E: Y не присуще всем X
I: Y присуще некоторым X
O: Y не присуще некоторым X
Термины X и Y можно представить как некоторые совокупности (множества, классы) в виде кругов Эйлера. Жергонн выделил 5 возможных соотношений между ними (рис. 1).
Рис. 1
Каждый тип Жергонновых отношений имеет собственное название:
G1 – совпадение или равнозначность;
G2 – левостороннее включение;
G3 – частное совпадение;
G4 – правостороннее включение;
G5 – несовместимость.
Жергонн показал, что каждый тип Аристотелевского суждения соответствует некоторым типам этих отношений, в частности:
- типу A соответствует G1 или G2;
- типу E соответствует G5;
- типу I: соответствует G1 или G2 или G3 или G4;
- типу O: соответствует G3 или G4 или G5.
Например, суждение типа I означает, что некоторая непустая часть множества или класса X содержится в Y. Посмотрев на рисунок, нетрудно убедиться, что этому условию удовлетворяют все типы Жергонновых отношений кроме G5. ............