Множества и операции над ними

3



МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ УКРАИНЫ

ТАВРИЧЕСКОЕ ПРДСТАВИТЕЛЬСТВО ОТКРЫТОГО МЕЖДУНАРОДНОГО УНИВЕРСИТЕТА РАЗВИТИЯ ЧЕЛОВЕКА (УКРАИНА)











Реферат

По дисциплине

«Математические основы информационной деятельности»

Тема:

«Множества и операции над ними»



студентки 2 курса

З/0 Козловой Е.А.

Преподаватель:

Глушкова Л.В.

Факультет документации

и информационной деятельности













Симферополь, 2004


Множеством именуется некоторая совокупность элементов, объединенных по какому-либо признаку. Если есть такая совокупность, разумеется, как единое целое, говорят, что имеют дело с множеством.

Приведенное определение не может рассматриваться как математически строгое, поскольку понятие множества является исходным, на основе него строятся остальные понятия математики. Тем не менее, из при веденного определения ясно, как можно говорить с множестве, например, действительных чисел или множестве плоских фигур.

Если множество состоит из конечного числа элементов, оно называется конечным. Остальные множества называются бесконечными. Для множества используются следующие обозначения:

А = {а,b,с,d}

Приведенное обозначение записано для множества А, состоящего из элементов а, Ь, с, d.

Конечные множества можно задать перечнем их элементов, бесконечные — нельзя. Обычно бесконечное множество задают, указывая на свойства, которым обладают все элементы данного множества, при этом подчеркивают, что таким свойством не обладают никакие элементы, не входящие в это множество. Такое свойство называется характеристическим для рассматриваемого множества.

Множество, в котором не содержится ни одного элемента, называется пустым. Обозначается оно знаком .

Множества, состоящие из одних и тех же элементов, называют совпадающими. Например, совпадают два конечных множества, которые отличаются друг от друга порядком их элементов. Если элемент а принадлежит множеству А, то пишут:

а  А.

В противном случае пишут:

а  А.

Если одно множество является частью другого множества, говорят, что первое множество является подмножеством второго. Если первое множество обозначить А, а второе В, то обозначение такое:

А  В.

Для любого множества А справедливы высказывания: множество А является подмножеством самого себя. Пустое множество является подмножеством любого множества.

В качестве примера можно привести высказывание о том, что множество всех ромбов является подмножеством множества параллелограммов.

Над множествами определяют операции, во многом сходные с арифметическими. Рассмотрим понятие таких операций только над двумя множествами А и В, которые являются разнообразными подмножествами одного и того же множества U. Последнее назовем универсальным множеством. Операции над множествами удобно интерпретировать геометрически с помощью диаграмм Эйлера-Венна (рис. 1 — 4).

Определение 1. Пересечением множеств А и В называют их общую часть С. Другими словами, пересечение множеств А и В образуют элементы, принадлежащие равно как А, так и В





U

В

А

C



Такое множество обозначают:

С = А  В





U

В

А

С



Определение 2. Объединением множеств А и В, называют множество С, составленное из элементов, принадлежащих хотя бы одному из этих множеств

Определение 3. Разностью множеств А и В называют множество

С = В \ А,





U

В 

А



составленное из элементов, принадлежащих множеству В, но не принадлежащих множеству А

Разность U \ A называется дополнением множества А до универсального множества U и обозначается: = U \ A

Геометрическая интерпретация множества  дана на следующем рисунке:









U

А



Если применять операции объединения и пересечения- к подмножествам некоторого множества D, то снова получатся подмножества того же множества D.

Операции объединения и пересечения обладают многими свойствами, похожими на свойства операций сложения и умножения чисел. Например, пересечение и объединение множеств обладают свойствами коммутативности и ассоциативности. Пересечение дистрибутивно относительно объединения, то есть для любых множеств А, В и С верно соотношение:

А  (В и С) = (А  В)и (А  С).

В то же время операции над множествами имеют ряд свойств, у которых нет аналогов в операциях над числами. Так, для любого множества А верны равен ства: 

А  А = А, а также А и А = А.

И также

А и (В  С) = (А и В)  (А и С)

С помощью свойств операции над множествами можно преобразовывать выражения, содержащие множества, подобно тому, как с помощью свойств операций над числами преобразовывают выражения в алгебре. Подобные действия над множествами и изучает булева алгебра, которая названа по имени английского исследователя Дж. Буля (1815 — 1864). Какими характеристиками можно описывать множества? Основной характеристикой конечного множества Является число его элементов.

Рассмотрим два множества А и В. Если в этих множествах находится одинаковое количество элементов, то из этих элементов можно составить пары таим образом, чтобы каждый элемент из множества , как и элемент из множества. В входил в одну и только в одну пару. Таким образом, между элементами множеств. А и В устанавливается так называемое взаимно однозначное соответствие. Считается истинным обратное утверждение: если между двумя конечными множествами А и В можно установить взаимно однозначное соответствие, то такие множества содержат равное количество элементов. Было предложено аналогичным образом сравнивать между собой бесконечные множества. Если между бесконечными множествами можно установить взаимно однозначное соответствие, значит, эти множества имеют одинаковую мощность. Один из создателей теории множеств немецкий математик Георг Кантор (1845 — 1918) сравнивал при помощи такого метода множества, составленные из чисел натуральных и чисел рациональных. Он показал, что между такими множествами существует взаимно однозначное соответствие, хотя множество натуральных чисел является лишь частью множества рациональных чисел. Таким образом, в теории бесконечных множеств утверждение «часть меньше целого» теряет свою силу. Множества, имеющие ту же мощность, что и множество натуральных чисел, называют счетными.

Таким образом, множество рациональных чисел счетно.

Есть несчетные множества. В качестве примера можно рассмотреть множество всех действительных чисел (это то же самое, что множество точек на прямой линии). Поскольку прямая непрерывна или континуальна, такую несчетную мощность называют мощностью континуума. Мощностью континуума обладает множество точек, например, прямоугольника, призмы, плоскости, всего пространства. Математики всего мира в течение долгих лет рассматривали проблему — существуют ли множества, мощность которых является промежуточной между счетной и мощностью континуума.

В 60-х годах нашего столетия американский математик П. Коэн и чешский математик П. Вопенко независимо друг от друга доказали, что как существование такого множества, так и его отсутствие не противоречат остальным аксиомам теории множеств.

Современная математическая наука вводит понятие дискретное множество и само понятие множества звучит так: под множеством понимается набор, совокупность, собрание каких-либо объектов (которые называются элементами множества). 

Множество, все элементы которого изолированы друг от друга, называется дискретным. Для измерения степени изолированности элементов данного множества вводится понятие расстояния между элементами. Таким расстоянием для чисел может быть, например модуль разности между ними; для точек на плоскости — геометрическое расстояние; для двоичных наборов (чисел, кодов) одинаковой длины — число разрядов, в которых они различаются (например, расстояние между наборами 10110 и 11101). Дискретное множество определяется как множество объектов, расстояние между коне меньше некоторой наперед заданной величины . 

Конечное множество всегда дискретно (в качестве  берется минимальное из расстояний между элементами этого множества). Дискретно любое множество целых чисел (для них  = 1) и любое множество дробей, имеющих общий знаменатель m (для которых =1/m ). Всякое дискретное множество счетно, т. е. его элементы можно пронумеровать целыми числами. 

Однако не всякое счетное множество дискретно, например, счетное множество не дискретно, так как с ростом n расстояние между соседними элементами стремится к нулю. Если задано дискретное множество точек прямой с минимальным расстоянием  любой отрезок длины l может содержать не более l/ +1 точек этого множества.

Понятие дискретного множества и связанные с понятия дискретного сигнала и дискретного времени чрезвычайно важны для информатики, как они лежат в основе разделения всех устройств и систем обработки информации на два основных класса — дискретные (цифровые) и непрерывные (аналоговые) устройства и системы.

Разница между дискретным и непрерывным представлением информации хорошо видна на примере часов. В электронных часах с цифровым циферблатом информация представляется дискретно — цифрами, каждая из которых четко отличает друг от друга. В механических часах со стрелочным циферблатом информация представляется непрерывно — положениями двух стрелок, причем два разных положения стрелки не всегда четко отличимы (особенно если на циферблате нет минутных делений). 

Вообще любое представление информации с помощью конечного множества символов (букв, цифр, знаков препинания, математических знаков) дискретно; графическое представление (рисунок, чертеж) непрерывно.

Типичный пример дискретного устройства — ЭВМ, состояние памяти которой представляется последовательностью двоичных цифр — нулей и единиц, все операции в ней производятся с дискретными представлениями информации. Типичные примеры аналоговых устройств — измерительные приборы, представляющие информацию положением стрелки (вольтметр, спидометр), непрерывной кривой, выдаваемой на экран (осциллограф)или на бумагу (кардиограф) и т. д. 

Переход от аналоговых представлений информации к цифровым (например, ввод результатов измерений ЭВМ) и обратно в технике осуществляется специальными устройствами: аналого-цифровыми и цифро-аналоговыми преобразователями.


Список использованных источников



1. Информатика/под общ. ред. Поспелова Д.А., М: Педагогика-пресс, 1994;

2. Математика и программирование (универсальная энциклопедия)/под ред. А.А. Щуплецова, - Мн: ТОО»Харвест», 1996;

3. Окно в мир информатики/под ред. Коляды М.Г., Днепропетровск: Сталкер, 1997.