- Пересечение двух множеств
- Союз двух комплектов
- Симметричная разница двух наборов
- Относительное дополнение A ( слева) к B (справа)
- Абсолютное дополнение A в U
Диаграмма Венна — это широко используемый стиль диаграмм , показывающий логические отношения между множествами , популяризированный Джоном Венном (1834–1923) в 1880-х годах. Диаграммы используются для обучения элементарной теории множеств и для иллюстрации простых взаимосвязей множеств в теории вероятности , логике , статистике , лингвистике и информатике . Диаграмма Венна использует простые замкнутые кривые, нарисованные на плоскости, для представления множеств. Очень часто эти кривые представляют собой круги или эллипсы.
Подобные идеи были предложены до Венна, например, Кристианом Вайзе в 1712 году ( Nucleus Logicoe Wiesianoe ) и Леонардом Эйлером ( Письма к немецкой принцессе ) в 1768 году. Идея была популяризирована Венном в « Символической логике» , главе V «Диаграмматическое представление», опубликованной. в 1881 году.
Диаграмма Венна, также называемая диаграммой множеств или логической диаграммой , показывает все возможные логические отношения между конечным набором различных множеств. На этих диаграммах элементы изображены в виде точек на плоскости, а множества — в виде областей внутри замкнутых кривых. Диаграмма Венна состоит из нескольких перекрывающихся замкнутых кривых, обычно кругов, каждая из которых представляет набор. Точки внутри кривой, помеченной S , представляют элементы набора S , а точки за пределами границы представляют элементы, не входящие в набор S. Это поддается интуитивной визуализации; например, набор всех элементов, которые являются членами обоих множеств S и T , обозначенный S ∩ T и прочитанный как «пересечение S и T », визуально представлен областью перекрытия областей S и T. [1]
В диаграммах Венна кривые всячески перекрываются, показывая все возможные связи между множествами. Таким образом, они являются частным случаем диаграмм Эйлера , которые не обязательно отображают все отношения. Диаграммы Венна были придуманы Джоном Венном около 1880 года. Они используются для преподавания элементарной теории множеств, а также для иллюстрации простых отношений множеств в теории вероятности, логики, статистики, лингвистики и информатики.
Диаграмма Венна, в которой площадь каждой фигуры пропорциональна количеству содержащихся в ней элементов, называется пропорциональной по площади (или масштабированной ) диаграммой Венна .
В этом примере задействованы два набора существ, представленных здесь в виде цветных кругов. Оранжевый круг представляет все виды существ, имеющих две ноги. Синий круг представляет существ, которые могут летать. Каждый отдельный вид существ можно представить как точку где-нибудь на диаграмме. Живые существа, имеющие две ноги и способные летать, например попугаи, тогда входят в оба набора, поэтому они соответствуют точкам в области, где перекрываются синий и оранжевый круги. Эта перекрывающаяся область будет содержать только те элементы (в данном примере существа), которые являются членами как оранжевого набора (двуногие существа), так и синего набора (летающие существа).
Люди и пингвины двуногие, поэтому они показаны в оранжевом круге, но, поскольку они не умеют летать, они появляются в левой части оранжевого круга, где он не пересекается с синим кругом. Комары умеют летать, но у них шесть, а не две ноги, поэтому точка для комаров находится в той части синего круга, которая не пересекается с оранжевым. Существа, которые не являются ни двуногими, ни умеющими летать (например, киты и пауки), будут представлены точками за пределами обоих кругов.
Объединенная область двух множеств называется их объединением и обозначается A ∪ B , где A — оранжевый круг, а B — синий. [2] В данном случае в союз входят все живые существа, которые либо двуногие, либо умеют летать (или и то, и другое). Область, входящая как в A, так и в B, где эти два множества перекрываются, называется пересечением A и B и обозначается A ∩ B . [2]
Диаграммы Венна были представлены в 1880 году Джоном Венном в статье под названием «О схематическом и механическом представлении предложений и рассуждений» [3] в « Философском журнале» и «Журнале науки» , [4] о различных способах представления предложений с помощью диаграмм. [5] [6] [7] Использование этих типов диаграмм в формальной логике , по мнению Фрэнка Раски и Марка Уэстона, предшествует Венну, но «справедливо связано» с ним, поскольку он «всесторонне исследовал и формализовал их использование, и был первый, кто их обобщил». [8]
Диаграммы Венна очень похожи на диаграммы Эйлера , которые были изобретены Леонардом Эйлером в 18 веке. [примечание 1] [9] [10] Маргарет Барон отметила, что Лейбниц (1646–1716) создал подобные диаграммы до Эйлера в 17 веке, но большая часть их не была опубликована. [11] Она также наблюдает еще более ранние диаграммы Эйлера, написанные Рамоном Луллием в 13 веке. [12]
Венн не использовал термин «диаграмма Венна» и называл эту концепцию «эйлеровыми кругами». [7] Он познакомился с диаграммами Эйлера в 1862 году и написал, что диаграммы Венна пришли ему в голову «много позже», когда он пытался адаптировать диаграммы Эйлера к булевой логике . [13] В первом предложении своей статьи 1880 года Венн написал, что диаграммы Эйлера были единственным схематическим представлением логики, получившим «какое-либо общее признание». [5] [6]
Венн рассматривал свои диаграммы как педагогический инструмент, аналогичный проверке физических концепций посредством эксперимента. В качестве примера их применения он отметил, что диаграмма из трех наборов может показать силлогизм : «Все А есть некоторое В» . Никакое B не является никаким C. Следовательно, никакое А не является никаким С ». [13]
Чарльз Л. Доджсон (Льюис Кэрролл) включил «Метод диаграмм Венна», а также «Метод диаграмм Эйлера» в «Приложение, адресованное учителям» своей книги « Символическая логика» (4-е издание, опубликованное в 1896 году). Термин «диаграмма Венна» позже был использован Кларенсом Ирвингом Льюисом в 1918 году в его книге «Обзор символической логики» . [8] [14]
В 20 веке диаграммы Венна получили дальнейшее развитие. Дэвид Уилсон Хендерсон показал в 1963 году, что существование n -диаграммы Венна с n -кратной вращательной симметрией подразумевает, что n — простое число . [15] Он также показал, что такие симметричные диаграммы Венна существуют, когда n равно пяти или семи. В 2002 году Питер Гамбургер нашел симметричные диаграммы Венна для n = 11, а в 2003 году Григгс, Киллиан и Сэвидж показали, что симметричные диаграммы Венна существуют для всех остальных простых чисел. Эти объединенные результаты показывают, что вращательно-симметричные диаграммы Венна существуют тогда и только тогда, когда n — простое число. [16]
Диаграммы Венна и диаграммы Эйлера были включены в обучение теории множеств в рамках нового математического движения в 1960-х годах. С тех пор они также были включены в учебную программу по другим областям, таким как чтение. [17]
Диаграмма Венна состоит из набора простых замкнутых кривых, нарисованных на плоскости. Согласно Льюису, [14] «принцип этих диаграмм заключается в том, что классы [или множества ] представляются областями в таком отношении друг к другу, что все возможные логические отношения этих классов могут быть указаны на одной и той же диаграмме. То есть, диаграмма изначально оставляет место для любого возможного отношения классов, а фактическое или заданное отношение затем можно указать, указав, что некоторая конкретная область имеет значение NULL или не является NULL». [14] : 157
Диаграммы Венна обычно состоят из перекрывающихся кругов . Внутренняя часть круга символически представляет элементы набора, а внешняя — элементы, не являющиеся членами набора. Например, на диаграмме Венна, состоящей из двух наборов, один круг может представлять группу всех деревянных предметов, а другой круг может представлять набор всех столов. Перекрывающаяся область, или пересечение , тогда будет представлять собой набор всех деревянных столов. Можно использовать и другие формы, кроме кругов, как показано ниже на собственных диаграммах высшего набора Венна. Диаграммы Венна обычно не содержат информации об относительных или абсолютных размерах ( мощности ) множеств. То есть это схематические изображения, как правило, не в масштабе.
Диаграммы Венна аналогичны диаграммам Эйлера. Однако диаграмма Венна для n наборов компонентов должна содержать все 2 n гипотетически возможных зон, соответствующих некоторой комбинации включения или исключения в каждом из наборов компонентов. [18] Диаграммы Эйлера содержат только реально возможные зоны в данном контексте. На диаграммах Венна заштрихованная зона может обозначать пустую зону, тогда как на диаграмме Эйлера соответствующая зона отсутствует на диаграмме. Например, если один набор представляет молочные продукты , а другой — сыры , диаграмма Венна содержит зону для сыров, не являющихся молочными продуктами. Если предположить, что в контексте сыр означает некоторый тип молочного продукта, на диаграмме Эйлера зона сыра полностью содержится внутри зоны молочных продуктов — зоны для (несуществующего) немолочного сыра нет. Это означает, что по мере увеличения количества контуров диаграммы Эйлера обычно становятся менее визуально сложными, чем эквивалентная диаграмма Венна, особенно если количество непустых пересечений невелико. [19]
Разницу между диаграммами Эйлера и Венна можно увидеть на следующем примере. Возьмите три комплекта:
Диаграммы Эйлера и Венна этих множеств:
Диаграммы Венна обычно представляют два или три набора, но есть формы, которые допускают более высокие числа. Как показано ниже, четыре пересекающиеся сферы образуют диаграмму Венна высшего порядка, которая имеет симметрию симплекса и может быть представлена визуально. 16 пересечений соответствуют вершинам тессеракта ( или ячейкам 16-клетки соответственно).
При большем числе множеств некоторая потеря симметрии диаграмм неизбежна. Венн стремился найти «симметричные фигуры... элегантные сами по себе» [9] , которые представляли бы большее количество множеств, и разработал элегантную диаграмму из четырех множеств с использованием эллипсов (см. ниже). Он также дал конструкцию диаграмм Венна для любого числа множеств, где каждая последующая кривая, ограничивающая множество, чередуется с предыдущими кривыми, начиная с диаграммы из трех кругов.
Энтони Уильям Фэрбенк Эдвардс построил серию диаграмм Венна для большего числа множеств путем сегментирования поверхности сферы, которые стали известны как диаграммы Эдвардса-Венна. [20] Например, три множества можно легко представить, взяв три полусферы сферы под прямым углом ( x = 0, y = 0 и z = 0). К представлению можно добавить четвертый набор, взяв кривую, подобную шву теннисного мяча, который вьется вверх и вниз вокруг экватора и так далее. Полученные наборы затем можно спроецировать обратно на плоскость, чтобы получить диаграммы зубчатых колес с увеличивающимся количеством зубцов, как показано здесь. Эти схемы были разработаны при проектировании витража в память о Венне. [20]
Диаграммы Эдвардса-Венна топологически эквивалентны диаграммам, разработанным Бранко Грюнбаумом , которые были основаны на пересекающихся многоугольниках с увеличивающимся числом сторон. Они также являются двумерными представлениями гиперкубов .
Генри Джон Стивен Смит разработал аналогичные диаграммы из n -множеств, используя синусоидальные кривые [20] с серией уравнений
Чарльз Лютвидж Доджсон (также известный как Льюис Кэрролл) разработал диаграмму из пяти множеств, известную как квадрат Кэрролла . Хоакин и Бойлс, с другой стороны, предложили дополнительные правила для стандартной диаграммы Венна, чтобы учесть определенные проблемные случаи. Например, что касается вопроса представления сингулярных утверждений, они предлагают рассматривать круг диаграммы Венна как представление множества вещей и использовать логику первого порядка и теорию множеств, чтобы рассматривать категориальные утверждения как утверждения о множествах. Кроме того, они предлагают рассматривать единичные утверждения как утверждения о членстве во множестве . Так, например, чтобы представить утверждение «а есть F» на этой переработанной диаграмме Венна, маленькая буква «а» может быть помещена внутри круга, который представляет множество F. [21]
Диаграммы Венна соответствуют таблицам истинности для предложений , и т. д. в том смысле, что каждая область диаграммы Венна соответствует одной строке таблицы истинности. [22] [23] Этот тип также известен как диаграмма Джонстона. Другой способ представления множеств — R-диаграммы Джона Ф. Рэндольфа .