РЕФЕРАТ
Тема: «Диаграмма Эйлера-Венна »
Исполнитель: Герасимова Т.О.
Студент группы 2У00
Руководитель: Тарбокова Т. В.
Томск 2011
Содержание
Введение……………………………………………………………….………..3
1. Из истории…………………………………………………………….….…..4
2. Диаграмма Эйлера-Венна……………………………………………….…..4
3. Операции над множествами диаграммы Эйлера-Венна………………….5
a) Объединение……………………….. ……………………………….……7
b) Пересечение, дополнение………………….……………………………..7
c) Стрелка Пирса, штрих Шеффера и разность...………………………….8
d) Разность……………………………………………………………………8
e) Симметрическая разность и эквивалентность…………………….…….9
Заключение………………………………………………………………………10
Список литературы…………………………………………………….………..11
Введение
Круги Эйлера — геометрическая схема, с помощью которой можно изобразить отношения между подмножествами, для наглядного представления. Круги были изобретены Леонардом Эйлером. Используется в математике, логике, менеджменте и других прикладных направлениях.
Важный частный случай кругов Эйлера — диаграммы Эйлера — Венна, изображающие все 2n комбинаций n свойств, то есть конечную булеву алгебру. При n = 3 диаграмма Эйлера — Венна обычно изображается в виде трёх кругов с центрами в вершинах равностороннего треугольника и одинаковым радиусом, приблизительно равным длине стороны треугольника.
При решении целого ряда задач Леонард Эйлер использовал идею изображения множеств с помощью кругов. Однако этим методом ещё до Эйлера пользовался выдающийся немецкий философ и математик Готфрид Вильгельм Лейбниц (1646—1716). Лейбниц использовал их для геометрической интерпретации логических связей между понятиями, но при этом всё же предпочитал использовать линейные схемы.
Но достаточно основательно развил этот метод сам Л. Эйлер. Методом кругов Эйлера пользовался и немецкий математик Эрнст Шрёдер (1841—1902) в книге «Алгебра логики». Особенного расцвета графические методы достигли в сочинениях английского логика Джона Венна (1843—1923), подробно изложившего их в книге «Символическая логика», изданной в Лондоне в 1881 году. Поэтому такие схемы иногда называют Диаграммы Эйлера — Венна.
Из истории
Леонард Эйлер (1707 - 1783, Санкт-Петербург, Российская империя) —математик, механик, физик. Адъюнкт по физиологии, профессор физики, профессор высшей математики, внёсший значительный вклад в развитие математики, а также механики, физики, астрономии и ряда прикладных наук.
Эйлер — автор более чем 800 работ по математическому анализу, дифференциальной геометрии, теории чисел, приближённым вычислениям, небесной механике, математической физике, оптике, баллистике, кораблестроению, теории музыки и др.
Почти полжизни провёл в России, где внёс существенный вклад в становление российской науки. В 1726 году он был приглашён работать вСанкт-Петербург, куда переехал годом позже. С 1711 по 1741, а также с 1766 года был академиком Петербургской Академии Наук (в 1741—1766 годах работал в Берлине, оставаясь одновременно почётным членом Петербургской Академии). Хорошо знал русский язык и часть своих сочинений (особенно учебники) публиковал на русском. Первые русские академики-математики (С. К. Котельников) и астрономы (С. Я. Румовский) были учениками Эйлера. Некоторые из его потомков до сих пор живут в России.
Джон Венн (1834 - 1923), английский логик. Работал в области логики классов, где создал особый графический аппарат (так называемые диаграммы Венна), нашедший применение в логико-математической теории «формальных нейронных сетей». Венну принадлежит обоснование обратных операций в логическом исчислении Дж. Буля. Основной областью интереса Джона была логика, и он опубликовал три работы по этой теме. Это были "Логика случая", в которой вводится интерпретация частоты или частотная теория вероятностей в 1866; "Символьная логика", с которой были введены диаграммы Венна в 1881; "Принципы эмпирической логики" в 1889, в которой приводятся обоснования обратных операций в булевой логике.
В математике рисунки в виде кругов, изображающих множества, используются очень давно. Одним из первых, кто пользовался этим методом, был выдающийся немецкий математик и философ Готфрид Вильгельм Лейбниц (1646 - 1716). В его черновых набросках были обнаружены рисунки с такими кругами. Затем этот метод довольно основательно развил и Леонард Эйлер. Он долгие годы работал в Петербургской Академии наук. К этому времени относятся его знаменитые "Письма к немецкой принцессе", написанные в период с 1761 по 1768 год. В некоторых из этих "Писем..." Эйлер как раз и рассказывает о своем методе. После Эйлера этот же метод разрабатывал чешский математик Бернард Больцано (1781 - 1848). Только в отличие от Эйлера он рисовал не круговые, а прямоугольные схемы. Методом кругов Эйлера пользовался и немецкий математик Эрнест Шредер (1841 - 1902). Этот метод широко используется в книге "Алгебра логики". Но наибольшего расцвета графические методы достигли в сочинениях английского логика Джона Венна (1843 - 1923). С наибольшей полнотой этот метод изложен им в книге "Символическая логика", изданной в Лондоне в 1881 году. В честь Венна вместо кругов Эйлера соответствующие рисунки называют иногда диаграммами Венна; в некоторых книгах их называют также диаграммами (или кругами) Эйлера-Венна.
Диаграмма Эйлера-Венна
Понятия множества и подмножества используются при определении многих понятий математики и, в частности, при определении геометрической фигуры. Определим как универсальное множество плоскость. Тогда можно дать следующее определение геометрической фигуры в планиметрии:
Геометрической фигурой называется всякое множество точек плоскости. Чтобы наглядно отображать множества и отношения между ними, рисуют геометрические фигуры, которые находятся между собой в этих отношениях. Такие изображения множеств и называют диаграммами Эйлера–Венна. Диаграммы Эйлера–Венна делают наглядными различные утверждения, касающиеся множеств. На них универсальное множество изображают в виде прямоугольника, а его подмножества – кругами. Используется в математике, логике, менеджменте и других прикладных направлениях.
Диаграммы Эйлера-Венна заключается в изображении большого прямоугольника, представляющего универсальное множество U, а внутри его – кругов (или каких-нибудь других замкнутых фигур), представляющих множества. Фигуры должны пересекаться в наиболее общем случае, требуемом в задаче, и должны быть соответствующим образом обозначены. Точки, лежащие внутри различных областей диаграммы, могут рассматриваться как элементы соответствующих множеств. Имея построенную диаграмму, можно заштриховать определенные области для обозначения вновь образованных множеств.
Основные операции над множествами:
- Пересечение
- Объединение
- Разность
Операции над множествами диаграммы Эйлера-Венна
Операции над множествами рассматриваются для получения новых множеств из уже существующих.
| Определение. Объединением множеств А и В называется множество, состоящее из всех тех элементов, которые принадлежат хотя бы одному из множеств А, В (рис. 1):
|
| Определение. Пересечением множеств А и В называется множество, состоящее из всех тех и только тех элементов, которые принадлежат одновременно как множеству А, так и множеству В (рис. 2):
|
| Определение. Разностью множеств А и В называется множество всех тех и только тех элементов А, которые не содержатся в В (рис. 3):
|
| Определение. Симметрической разностью множеств А и В называется множество элементов этих множеств, которые принадлежат либо только множеству А, либо только множеству В (рис. 4):
|
| Определение. Абсолютным дополнением множества А называется множество всех тех элементов, которые не принадлежат множеству А (рис. 5):
|
Теперь более подробно на примерах.
Пусть дана некоторая совокупность предметов, которую после пересчета можно было бы обозначить как
V = {1, 2,..., 11}.
Предположим далее, что часть предметов, 1, 2, 4 и 6, имеет круглую форму, а часть — 2, 3, 4, 8 и 9 — окрашена в белый цвет. В этом случае говорят, что множество V имеет два подмножества
A = {1, 2, 4, 6} и B = {2, 3, 4, 8, 9}
круглых и белых предметов. Можно исходное множество называть фундаментальным, а подмножества A и B – просто множествами.
В результате получим четыре класса элементов:
C 0 = {5, 7, 10, 11} — элементы не обладают ни одним из названных свойств,
C 1 = {1, 6} — элементы обладают только свойством A (круглые),
C 2 = {3, 8, 9} — элементы обладают только свойством B (белые),
C 3 = {2, 4} — элементы обладают одновременно двумя свойствами A и B.
На рис. 1.1. указанные классы изображены с помощью диаграммы Эйлера — Венна.
Рис. 1.1
Часто диаграммы не имеют всей полноты общности, например та, что изображена на рис. 1.2. На ней уже множество A полностью включено в B. Для такого случая используется специальный символ включения (Ì): A Ì B = {1, 2, 4} Ì {1, 2, 3, 4, 6}.
Если одновременно выполняются два условия: A Ì B и B Ì A, то A = B, в этом случае говорят, что множества A и B полностью эквивалентны.
Рис. 1.2
После того, как определены четыре класса элементов и даны необходимые сведения о диаграммах Эйлера — Венна, введем операции на множествах. В качестве первой рассмотрим операцию объединения.
A)Объединение
Объединением множеств A = {1, 2, 4, 6} и B = {2, 3, 4, 8, 9}
назовем множество
A È B = {1, 2, 3, 4, 6, 8, 9},
где È — символ объединения множеств. Таким образом, объединением охватываются три класса элементов — C 1, C 2 и C 3, которые на диаграмме (рис. 1.3) заштрихованы.
Рис. 1.3
Логически операцию объединения двух множеств можно охарактеризовать словами: элемент x принадлежит множеству A или множеству B. При этом связка «или» одновременно означает и связку «и». Факт принадлежности элемента x множеству A обозначается как x Î A. Поэтому то, что x принадлежит A или/и B, выражается формулой:
x Î A È B = (x Î A) Ú (x Î B),
где Ú — символ логической связки или, которая называется дизъюнкцией.