Диаграммы Эйлера—Венна

Пример диаграммы Эйлера. B — живое существо, A — человек, C — неживая вещь.

Круги́ Э́йлера^[1] — геометрическая схема, с помощью которой можно изобразить отношения между подмножествами, для наглядного представления. Изобретены Эйлером. Используется в математике, логике, менеджменте и других прикладных направлениях.

Важный частный случай кругов Эйлера — диаграммы Эйлера — Венна, изображающие все 2ⁿ комбинаций n свойств, то есть конечную булеву алгебру. При n = 3 диаграмма Эйлера — Венна обычно изображается в виде трёх кругов с центрами в вершинах равностороннего треугольника и одинаковым радиусом, приблизительно равным длине стороны треугольника.

При решении целого ряда задач Леонард Эйлер использовал идею изображения множеств с помощью кругов. Однако, этим методом ещё до Эйлера пользовался выдающийся немецкий философ и математик Готфрид Вильгельм Лейбниц (1646—1716). Лейбниц использовал их для геометрической интерпретации логических связей между понятиями, но при этом всё же предпочитал использовать линейные схемы.^[2]

Но достаточно основательно развил этот метод сам Л. Эйлер. Методом кругов Эйлера пользовался и немецкий математик Эрнст Шрёдер (1841—1902) в книге «Алгебра логики». Особенного расцвета графические методы достигли в сочинениях английского логика Джона Венна (1843—1923), подробно изложившего их в книге «Символическая логика», изданной в Лондоне в 1881 году. Поэтому такие схемы иногда называют Диаграммы Эйлера — Венна.

Примечания

1. ↑ «Круги…» — это условный термин, вместо кругов могут быть любые многомерные фигуры, иерархически расположенные в пространстве, то есть одни фигуры поглощают либо часть других фигур, либо полностью.
2. ↑ Leibniz G. W. Opuscules et fragments inédits de Leibniz. — Paris, 1903. — p. 293—321.

См. также

• Список объектов, названных в честь Леонарда Эйлера

Ссылки

• Weisstein, Eric W. «Диаграмма Венна» на сайте Wolfram MathWorld.(англ.)
• Эпизод 412 сериала Numb3rs — изображение диаграмм Венна для $n=5,\;7,\;11$.