Перегляд вихідного коду сторінки Діаграма Венна

[[Файл:Venn diagram cmyk.svg|thumb|Діаграма Венна для множин A, B, та C]]
{{Основи теорії ймовірностей}}

'''Діаграма Венна''' ({{lang-en|Venn diagram}})&nbsp;— [[діаграма]], що показує всі можливі логічні відношення для скінченного набору [[множина|множин]].

Діаграми Венна придумані приблизно в 1880 [[Джон Венн|Джоном Венном]].<ref name=Venn1880>{{cite journal |author=Venn, J. |title=On the Diagrammatic and Mechanical Representation of Propositions and Reasonings |journal=Philosophical Magazine and Journal of Science |volume=10 |issue=59 |date=July 1880 |series=5}}</ref> Використовуються для вивчення елементарної [[теорія множин|теорії множин]], та ілюстрування простих співвідношень в [[Теорія ймовірностей|теорії ймовірностей]], [[логіка|логіці]], [[статистика|статистиці]], [[мовознавство|мовознавстві]] та [[інформатика|інформатиці]].

Окрім діаграм Венна, для зображення множин використовують також [[кола Ейлера]]. Кола Ейлера використовуються для зображення всіх можливих відношень між різними множинами, в тому числі і таких коли одна множина містить іншу або взагалі відсутні перетини множин. Діаграма Венна зображує, всі можливі перетини множин. Всього таких перетинів буде <math>2^n</math>, де n&nbsp;— кількість множин. Для трьох множин діаграма Венна звичайно зображується у вигляді трьох кіл з центрами в вершинах рівностороннього трикутника і однаковим радіусом, приблизно рівним довжині сторони трикутника.

== Приклад ==
[[Файл:Венов дијаграм.svg|thumb|left|Діаграма Венна для множин А (істоти, що мають дві ноги) та В (істоти, що можуть літати)]]
Цей приклад включає дві [[Множина|множини]], А і В, представлені тут як кольорові кола. Помаранчеве коло, задане А, представляє всіх живих істот, які мають дві ноги. Синє коло, набір B, представляє живих істот, які можуть літати. Кожен окремий тип істоти можна уявити як точку, десь на діаграмі. Живі істоти, які&nbsp;і можуть літати, і мають дві ноги (наприклад, папуги), знаходяться в обох колах, тому вони відповідають точкам області, де синя і помаранчеві кола перетинаються. У цій області містяться всі такі і тільки такі живі істоти.

Люди та пінгвіни є двоногі, і тому вони знаходяться в помаранчевому колі, але оскільки вони не можуть літати, вони з'являються в лівій частині помаранчевого кола, де воно не перетинається синім колом. Комарі мають шість ніг, і літають, тому точка для комарів знаходиться в частині синього кола, який не перетинається з помаранчевим. Істоти, які не мають дві ноги і не можуть літати (наприклад, кити і павуки), будуть представлені точками за межами обох кіл.

Комбінована область наборів A і B називається [[Об'єднання множин|об'єднанням]] A і B, позначається A ∪ B. Об'єднання у цьому випадку містить всіх живих істот, які є або двоногими, або можуть літати (або і перше, і друге).

Область в обох А і В, де обидва набори перетинаються, називається [[Перетин множин|перетином]] А та В, позначається A ∩ B. Наприклад, перетин цих двох множин не пустий, тому що є точки, які представляють істоти, які знаходяться в обох колах.

== Загальний огляд ==
{{Докладніше|Множина#Операції з множинами}}
{{Gallery|lines=3
|File:Venn0001.svg|[[Перетин множин|Перетин двох множин]] <br/><math>~A \cap B</math>
|File:Venn0111.svg|[[Об'єднання множин|Об'єднання двох множин]] <br /><math>~A \cup B</math>
|File:Venn0110.svg|[[Симетрична різниця множин|Симетрична різниця двох множин]]<math>A~\Delta~B</math>
|File:Venn0010.svg|[[Доповнення множин#Різниця множин (відносне доповнення)|Відносне доповнення]] ''A'' (зліва) у ''B'' (справа)<br /><math>A^c \cap B~=~B \setminus A</math>
|File:Venn1010.svg|[[Доповнення множин#Абсолютне доповнення|Абсолютне доповнення]]  ''A'' у ''U''<br/> <math>A^c~=~U \setminus A</math>
}}
Діаграма Венна побудована як набір простих замкнутих кривих, намальованих у площині. Принцип цих діаграм полягає в тому, що класи [або набори] можуть бути представлені регіонами в такому відношенні один з одним, що всі можливі логічні зв'язки цих класів можуть бути вказані на тій же діаграмі. Тобто діаграма спочатку залишає простір для будь-якого можливого відношення класів, а потім фактичне або задане співвідношення може бути вказано, вказуючи, що певна область є нульовою або ненульовою

Діаграми Венна зазвичай містять кола, які перетинаються. Внутрішність кола символічно представляє елементи множини, а зовнішня частина - елементи, які не є членами множини. Наприклад, у дворівневій діаграмі Венна одне коло може представляти групу всіх дерев'яних об'єктів, тоді як інше коло може представляти набір усіх столів. Спільна область або перетин відображатиме множину усіх дерев'яних столів. Форми, крім кола, можуть використовуватися, як показано нижче, власними вищими наборами діаграм Венна. Діаграми Венна взагалі не містять інформації про відносні або абсолютні величини ([[Потужність множини|потужність]]) множин; тобто вони являють собою схематичні діаграми.

Діаграми Венна аналогічні діаграмам Ейлера. Проте діаграма Венна для n-компонентних наборів повинна містити всі <math>2^n</math> гіпотетично можливих зон, які відповідають певній комбінації включення або виключення в кожному з наборів компонентів. Ейлерові діаграми містять лише фактично можливі зони в даному контексті. У діаграмах Венна затінена зона може являти собою порожню зону, тоді як на діаграмі Ейлера відсутня відповідна зона. Наприклад, якщо один набір представляє молочні продукти та інші сири, діаграма Венна містить зону для сирів, які не є молочними продуктами. Припускаючи, що в контексті сиру це означає якийсь тип молочного продукту, діаграма Ейлера має зону сиру, цілковито міститься в зоні молочного продукту, немає зони для (неіснуючого) немолочного сиру. Це означає, що при збільшенні кількості контурів діаграми Ейлера, як правило, менш візуально складні, ніж еквівалентна діаграма Венна, особливо якщо кількість непустих перетинів невелика.

== Зв'язок діаграм Ейлера і Венна ==
При вирішенні цілого ряду завдань [[Леонард Ейлер]] використовував ідею зображення множин за допомогою кіл. Однак цим методом ще до Ейлера користувався видатний німецький філософ і математик [[Ґотфрід Вільгельм Лейбніц]] (1646–1716). Лейбніц використав їх для геометричної інтерпретації логічних зв'язків між поняттями, але при цьому все ж таки волів використовувати лінійні схеми.

Але досить ґрунтовно розвинув цей метод сам Л.&nbsp;Ейлер. Методом [[Кола Ейлера|кіл Ейлера]] користувався і німецький математик [[Ернст Шредер]] (1841–1902) у книзі «Алгебра логіки». Особливого розквіту графічні методи досягли в творах англійського логіка Джона Венна (1843–1923), який докладно виклав їх у книзі «Символічна логіка», виданій в [[Лондон]]і в [[1881]] році. Тому такі схеми іноді називають Діаграми Ейлера&nbsp;— Венна.

[[Кола Ейлера|Діаграми Ейлера]] на відміну від діаграм Ейлера - Венна зображують відносини між множинами: [[Неперетинні множини|неперетинні підмножини]] зображені непересічними колами, а [[Підмножина|підмножини]] зображені вкладеними колами.

Діаграма Венна засновані на істотно іншій ідеї, ніж кола Ейлера<ref name=":0">Кузічев А. С. Діаграми Венна. Історія і застосування. - Москва: Наука, 1968. - 249 с.</ref>. Кола Ейлера виникли на основі ідей [[Силогізм|силогістики Аристотеля]]. Діграми Венна були створені для розв'язання задач [[Математична логіка|математичної логіки]]. Їх основна ідея розкладання на конституанти виникла на основі алгебри логіки<ref name=":0" />.

На рис. нижче показані діаграми Венна і Ейлера для 3 множин однозначних натуральних чисел:
* <math>A = \{1,\, 2,\, 5\}</math>
* <math>B = \{1,\, 6\}</math>
* <math>C = \{4,\, 7\}</math>
<gallery widths="300">
File:3-set Euler diagram.svg|Діаграми Ейлера
File:3-set Venn diagram.svg|Діаграми Венна
</gallery>

==Діаграми Венна для більшої кількості множин==
Зазвичай діаграми Венна представляють дві або три множини. Для більшої кількості множин доводиться жертвувати симетрією зображення.<gallery widths=200px><!---perrow=3-->
Image:Venn4.svg|Діаграма Венна для 4-х множин.
Image:Venn5.svg|Діаграма Венна для 5 множин.
Image:Venn6.svg|Діаграма Венна для 6 множин.
Image:Venn's four ellipse construction.svg|Діаграма Венна для 4-х множин утворена за допомогою еліпсів.
Image:CirclesN4xb.svg|Контрприклад: Ця діаграма Ейлера не буде діаграмою Венна для 4-х множин, тому, що вона містить тільки 13 областей, не враховуючи зовнішню. Відсутні область в яких тільки жовтий та блакитний, та частина в якій тільки рожевий та зелений.
File:Symmetrical 5-set Venn diagram.svg|Діаграма Венна для 5 множин утворена еліпсами, створена [[Бранко Грюнбаум]]ом. Кожна частина підписана.
File:6-set_Venn_diagram.svg|Діаграма Венна для 6 множин утворена виключно трикутниками.
</gallery>

== Див. також ==
* [[Теорія множин]]
* [[Логічний сполучник]]
* [[Карта Карно]]
* [[Булева алгебра]]
* [[Кола Ейлера]]
* [[Відношення]]
* [[Булеві операції над многокутниками]]

== Посилання ==
{{reflist}}{{math-stub}}
{{Теорія множин}}
{{Математична логіка}}

[[Категорія:Статистичні графіки та діаграми|Венна]]
[[Категорія:Теорія множин]]