Реферат: Счётные множества. Реферат по математике множества

Реферат - Счётные множества - Математика

Курсоваяработа по математическому анализу

Выполнилстудент 104 группы Стенин В. В.

Мордовскийгосударственный университет имени Н.П.Огарёва

Cаранск-2002.

I. Введение

На каждом шагу нам приходиться сталкиваться с темтрудно определяемым понятием, которое выражается словом совокупность.Например, можно говорить о совокупности людей присутствующих в данный моментвремени в данной комнате, о совокупности гусей плавающих на деревенском пруду,страусов живущих в Сахаре и тому подобное.

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

В математике постоянно приходиться иметь дело сразличными множествами: например множество точек прямой, являющихся вершинамикакого-нибудь многоугольника, множество перестановок n элементногомножества, множество сочетаний из 15 элементов по 7 и так далее. Так чтомножества играют особую, даже можно сказать важную роль в математике вчастности, и в жизни человека в целом.

Изучение множеств и их свойств занимается такой разделматематике как «теория множеств» Этот раздел имеет сравнительно небольшуюисторию. Первые серьёзные работы в этой области, принадлежащие Г. Кантору,появились в конце прошлого века. Тем немение, в настоящие время теория множествпредставляет собой весьма обширную область математики.

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

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

Так же для сравнения двух бесконечных множествнеобходимо следующие определения.

Определение 2. Пусть А и В два множества. Правило j которое каждому элементу а множества А соотносит один и только одинэлемент b множества В, причем каждый элемент b/>В оказывается соотнесенным одному и только одному а/>А, называется взаимно однозначным соответствием междумножеством А и множеством В.

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

А ~ В.

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

II.Определение1.Пусть N множество всех натуральных чисел

N={1,2, 3,… .},

тогда всякое множество А эквивалентное множеству Nбудет называться исчислимым, или счётным множеством.

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

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

Вот несколько примеров счётных множеств:

А={1, 4, 9, 16,… ,n/>,… .};

B={3,6, 9, 12,… ,3n,… };

C={/>,/>};

D={1,8, 27, 64,… ,n/>,… };

Теорема 1. Для того чтобы множество Х было счётнымнеобходимо и достаточно, чтобы его можно было «перенумеровать», то естьпредставить в форме последовательности:

Х={x/>, x/>, x/>,… ,x/>,… } .

Доказательство необходимости: Пусть множество Хсчетное, то из определения счётного множества следует существование взаимнооднозначного соответствия j между множеством Х и множествомнатуральных чисел N. Достаточно обозначить через х/>, тот из элементов множестваХ, который в соответствии с j отвечает числу n, чтобыполучить представление множества Х в форме (*).

Доказательство достаточности: Если множество Хпредставлено в форме (*), то достаточно каждому его элементу х, соотнестииндекс n этого элемента, чтобы получить взаимно однозначногосоответствия j между множеством Х и множеством натуральных чисел N,так что из определения счётного множества следует, что множество Х счётное.

Следующая теорема даёт интересный пример счётногомножества.

Теорема 2. Рациональные числа R образуютсчётное множество.

Доказательство: Рассмотрим сначала рациональныенеотрицательные числа. Расположим их в бесконечную таблицу следующим образом: впервую строчку поместим в порядке возрастания в целые числа 0, 1, 2,...; вовторую – все положительные несократимые дроби со знаменателем 2, упорядоченныепо величине числителя; вообще в n-ую строчку, n=1, 2, 3, …, — все положительныерациональные числа, записывающиеся несократимой со знаменателем n,упорядоченные по величине числителя. Очевидно, что каждое рациональноенеотрицательное число попадёт на какое-то место в получившейся таблице;

1 2 3 4 … .

/> /> /> /> /> .. .

/> /> /> /> /> … .

… .

/> .… .

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

/>/>/>/>/>/>/> … .

/>/>

/>/> . … .

/> /> /> /> /> /> />

/> . . … .

. . . …

В результате все рациональные неотрицательные числаоказываются занумерованными, то есть мы доказали, что они образуют счётноемножество.

Чтобы убедится, что и множество всех рациональныхчисел также счётно, достаточно их записать в подобную же таблицу. Это можносделать, например, поместив в написанную выше таблицу после каждого положительногорационального числа х в туже строчку число — х.

1 -1 2 -2… .

/> -/>/>-/> />… .

…

/> -/>.…

… .

Перенумеровав элементы таблицы тем же способом, что ивыше, мы получили, что множество всех рациональных чисел является счётныммножество.

III.Сформулируем и докажем несколько теорем характеризующих счетные множества.

Теорема 3. Из всякого бесконечного множества Х можновыделить счетное множество Y.

Доказательство: Пусть множество Х бесконечноемножество. Выделим из множества Х произвольный элемент и обозначим его х1.Так множество Х бесконечно, то оно не исчерпывается выделение этого элемента х1.<sub/>и мы можем выделить элемент х2 из оставшегося множества Х\{ х1}.По тем же соображениям множество Х\{ х1, х2} не пусто, имы можем и из него выделить элемент х3. Ввиду бесконечностимножества Х мы можем продолжать этот процесс неограниченно, в результате чегополучим последовательность выделенных элементов х1, х2, х3,..., хn,..., которая и образует искомое подмножество Yмножества Х.

Данная теорема может натолкнуть на интересный вопрос.А в свою очередь можно ли из счётного множества выделить бесконечноеподмножество, которое было так же счётным? На этот вопрос отвечает следующаятеорема.

Теорема 4. Всякое бесконечное подмножество счётногомножества так же является счётным множеством.

Доказательство: Пусть множество Х счётное множество, амножество Y его бесконечное подмножество. Следовательно,множество Х может быть представлено в виде

Х={а1, а2, а3,…., аn,… .}.

Будем перебирать один за другим элементы множество Хв порядке их номеров, при этом мы время от времени будем встречать элементымножества Y, и каждый из элементов множества Yрано или поздно встретится нам. Соотнося каждому элементу множества Yномер «встречи» с ним, мы перенумеруем множество Y, причём в силубесконечности его, нам придется на эту нумерацию израсходовать все натуральныечисла. Следовательно, множество Y является счётным множеством.

Приведем пример непосредственно относящийся к этойтеореме.

Пример: Множество Х={1, />,/>} как известно, является счётным множеством, а таккак множество Y={/>,/>} является подмножеством множества Х, то по доказаннойвыше теоремы 3, множество Y так же является счётным.

Из выше изложенной теоремы вытекает следующиеследствие.

Следствие: Если из счётного множества Х удалитьконечное подмножество Y, то оставшееся множество Х\Y будет счётныммножеством.

IV.Теорема 5. Объединение конечного множества и счётного множества без общихэлементов есть счётное множество.

Доказательство: Пусть дано

А={а1, а2,..., аn}и В={b1, b2, b3,….},

/>причемАÇВ = О./>

Если множество С=АÈВ, тоС можно представить в форме

С={а1, а2,..., аn,b1, b2, b3,….},

после чего становиться очевидной возможностьперенумеровать множество, следовательно по теореме 1 получаем, что множество Ссчетно.

— 4 —

Теорема 6. Объединение конечного числа попарно непересекающихся счётных множеств есть счётное множество.

Доказательство: Проведем доказательство для случаяобъединения трёх множеств, из контекста будет ясна полная общность рассуждения.

Пусть А, В, С три счётных множества:

А={а1,а2, а3,… .}, В={b1, b2, b3,… } и

С={с1, с2, с3,...}.

Тогда множество D = АÈВÈС можно представить вформе последовательности:

D={а1,b1, c1, а2, b2, c2, а3,… .},

и счётность множества D очевидна.

Теорема 7. Объединение счётного множества попарно непересекающихся конечных множеств есть счётное множество.

Доказательство: Пусть Аk (k=1,2, 3,… ) суть попарно не пересекающихся конечных множеств:

А1={/> ..., />};

А2={/>..., />};

А3={/> .… ,/>};

. . . . . . . . . . . . . . .

Для того чтобы расположить объединение их С в формепоследовательности, достаточно выписать подряд все элементы множества А1,а затем элементы множества А2 и так далее.

Теорема 8. Объединение счётного множества попарно непересекающихся счётных множеств есть счетное множество.

Доказательство: Пусть множества Аk(k=1, 2, 3,… .) попарно не пересекаются и счетные.Запишем эти множества следующим образом:

А1={/> .… };

А2={/>.… };

А3={/> .… };

. . . . . . . . . . . .

Если мы выпишем элемент />,затем оба элемента /> и /> у которых сумма верхнего инижнего индексов равна 3, затем элементы у которых эта сумма равна 4, и такдалее, то множество С=/> окажетсяпредставленной в форме последовательности:

С = {/>/>/> .… },

Откуда и следует счётность множества С.

Замечание: Условие отсутствия общих элементов втеоремах 5-8 могло быть опущено.

— 5 —

V.Используя доказанные выше теорем можно привести другое доказательство теоремы 2отличное от предыдущего.

Доказательство теоремы 2: Множество дробей вида /> с данным знаменателем q, тоесть множество />..., очевидносчётное. Но знаменатель может принять также

счётное множество натуральных значений 1, 2, 3,… . . Значит в силу теоремы 8, множество дробей вида /> являетсясчётным множеством; удаляя из него все сократимые дроби и применяя теорему 4,убеждаемся в счётности множества всех положительных рациональных чисел R+. Так как множество R- отрицательных рациональных чисел очевидноэквивалентно множеству R+, тосчетным является и оно, а тогда счётно и множество R, ибо R= R+/>R-/>{0}.

Из теоремы 2 вытекает следующие очевидное следствие.

Следствие. Множество рациональных чисел любогосегмента [a, b] является счётным множеством.

Сформулируем в виде теоремы еще один пример счётногомножества.

Теорема 9. Множество Р всех пар натуральных чиселявляется счетным множеством.

Отступление: Под парой натуральных чисел понимают дванатуральных числа данных в определённом порядке.

Доказательство: Назовём высотою пары (n, m)натуральное число n+m. Очевидно, имеется ровно k-1 пар даннойвысоты k, где k>1, именно

(1, k-1), (2, k-2),..., (k-1,1).

По этому обозначая через Рkмножество всех пар высоты k, видим что множество Р есть объединение счётногомножества конечных множеств Рk, а отсюда по теореме 7получаем что множество Р является счётным множеством.

Теорема 10 также даёт любопытный пример счетногомножества.

Теорема 10. Множество S всех конечныхпоследовательностей, составленных из элементов данного счётного множества D,есть счётное множество.

Доказательство: (посредствам полной математическойиндукции) Из предыдущей теоремы вытекает, что множество пар, составленных изэлементов счётного множества D, есть счётное множество. Предположим, что доказанасчётность множества Sm всех последовательностей, состоящих из mэлементов данного счётного множества D. Докажем, что множество Sm+1 всехпоследовательностей, состоящих из m+1 элементов множества Dтакже счётно. В самом деле, пусть

D={d1, d2,…,dk,… .}.

Каждой последовательности S(m+1)=(di/>, .., di/>, dk)Î Sm+1 соответствует пара (S(m), dk),где S(m)= (di/>, .., di/>)Î Sm,причем различным парам соответствуют различные пары этого вида. Так какмножество Sm всех S(m) счётно, и может быть записано в виде S/>,..., S/>, ..., то счётно и множество всех пар (S/>, dk) (взаимно однозначно соответствующих парамнатуральных чисел индексов i, k), а значит, и множество всех S(m+1).

Так как каждое Smсчётно, то счётно и множество S, что и доказывает теорему.

В заключении докажем следующую, весьма общую теорему:

— 6 —

Теорема 11. Если элементы множества А определяются nзначками, каждый из которых независимо от других пробегает счётное множествозначений

А={a/>,/>,… ,/>} (xk=x/>, x/>,...; k=1, 2, 3,… ,n),

то множество А счётно.

Доказательство: Докажем теорему методом математическойиндукции.

Теорема очевидна, если n=1, то естьимеется только один значок. Допустим, что теорема верна для n=m, ипокажем, что она справедлива для n=m+1.

Итак пусть А={a/>,/>,… ,/>, />}.

Обозначим через Aiмножество тех элементов А, для которых /> ,где /> одно из возможных значений(m+1)-го значка, т. е. положим Ai=={a/>,/>,… ,/>, /> }.

В силу сделанного допущения множество Aiсчётно, а так как А=/>, то счётно имножество А.

Вот несколько предложений, вытекающих из этойтеоремы:

Множество точек (x, y)плоскости, у которых обе координаты рациональны, счётно.

Но более интересным является следующий факт:

Множество многочленов />сцелыми коэффициентами счётно.

В самом деле, это непосредственно следует из теоремы11, если только рассматривать многочлены фиксированной степени n, идля завершения доказательства следует применить теорему 8.

Списоклитературы

1.Александров П.С. Введение в общую теорию множеств ифункций. –Ленинград, 1948.

Никольский С.М. Курс математического анализа. –Москва, 1983.

Кудрявцев Л.Д. Математический анализ (том 1). –Москва, 1973.

Архангельский А. В. Канторовская теория множеств. –Москва, 1988.

Куратовский К. и Мастовский А. Теория множеств. –Москва, 1970.

Медведев Ф.А. Развитие теории множеств в 19 веке. –Москва, 1965.

www.ronl.ru

Доклад - Счётные множества - Математика

Курсоваяработа по математическому анализу

Выполнилстудент 104 группы Стенин В. В.

Мордовскийгосударственный университет имени Н.П.Огарёва

Cаранск-2002.

I. Введение

Так же для сравнения двух бесконечных множествнеобходимо следующие определения.

А ~ В.

II.Определение1.Пусть N множество всех натуральных чисел

N={1,2, 3,… .},

тогда всякое множество А эквивалентное множеству Nбудет называться исчислимым, или счётным множеством.

Вот несколько примеров счётных множеств:

А={1, 4, 9, 16,… ,n/>,… .};

B={3,6, 9, 12,… ,3n,… };

C={/>,/>};

D={1,8, 27, 64,… ,n/>,… };

Х={x/>, x/>, x/>,… ,x/>,… } .

Следующая теорема даёт интересный пример счётногомножества.

Теорема 2. Рациональные числа R образуютсчётное множество.

1 2 3 4 … .

/> /> /> /> /> .. .

/> /> /> /> /> … .

… .

/> .… .

/>/>/>/>/>/>/> … .

/>/>

/>/> . … .

/> /> /> /> /> /> />

/> . . … .

. . . …

1 -1 2 -2… .

/> -/>/>-/> />… .

…

/> -/>.…

… .

III.Сформулируем и докажем несколько теорем характеризующих счетные множества.

Теорема 3. Из всякого бесконечного множества Х можновыделить счетное множество Y.

Теорема 4. Всякое бесконечное подмножество счётногомножества так же является счётным множеством.

Х={а1, а2, а3,…., аn,… .}.

Приведем пример непосредственно относящийся к этойтеореме.

Из выше изложенной теоремы вытекает следующиеследствие.

Доказательство: Пусть дано

А={а1, а2,..., аn}и В={b1, b2, b3,….},

/>причемАÇВ = О./>

Если множество С=АÈВ, тоС можно представить в форме

С={а1, а2,..., аn,b1, b2, b3,….},

— 4 —

Теорема 6. Объединение конечного числа попарно непересекающихся счётных множеств есть счётное множество.

Пусть А, В, С три счётных множества:

А={а1,а2, а3,… .}, В={b1, b2, b3,… } и

С={с1, с2, с3,...}.

Тогда множество D = АÈВÈС можно представить вформе последовательности:

D={а1,b1, c1, а2, b2, c2, а3,… .},

и счётность множества D очевидна.

Доказательство: Пусть Аk (k=1,2, 3,… ) суть попарно не пересекающихся конечных множеств:

А1={/> ..., />};

А2={/>..., />};

А3={/> .… ,/>};

. . . . . . . . . . . . . . .

А1={/> .… };

А2={/>.… };

А3={/> .… };

. . . . . . . . . . . .

С = {/>/>/> .… },

Откуда и следует счётность множества С.

Замечание: Условие отсутствия общих элементов втеоремах 5-8 могло быть опущено.

— 5 —

V.Используя доказанные выше теорем можно привести другое доказательство теоремы 2отличное от предыдущего.

Из теоремы 2 вытекает следующие очевидное следствие.

Следствие. Множество рациональных чисел любогосегмента [a, b] является счётным множеством.

Сформулируем в виде теоремы еще один пример счётногомножества.

Теорема 9. Множество Р всех пар натуральных чиселявляется счетным множеством.

Отступление: Под парой натуральных чисел понимают дванатуральных числа данных в определённом порядке.

(1, k-1), (2, k-2),..., (k-1,1).

Теорема 10 также даёт любопытный пример счетногомножества.

D={d1, d2,…,dk,… .}.

Так как каждое Smсчётно, то счётно и множество S, что и доказывает теорему.

В заключении докажем следующую, весьма общую теорему:

— 6 —

А={a/>,/>,… ,/>} (xk=x/>, x/>,...; k=1, 2, 3,… ,n),

то множество А счётно.

Доказательство: Докажем теорему методом математическойиндукции.

Итак пусть А={a/>,/>,… ,/>, />}.

В силу сделанного допущения множество Aiсчётно, а так как А=/>, то счётно имножество А.

Вот несколько предложений, вытекающих из этойтеоремы:

Множество точек (x, y)плоскости, у которых обе координаты рациональны, счётно.

Но более интересным является следующий факт:

Множество многочленов />сцелыми коэффициентами счётно.

Списоклитературы

1.Александров П.С. Введение в общую теорию множеств ифункций. –Ленинград, 1948.

Никольский С.М. Курс математического анализа. –Москва, 1983.

Кудрявцев Л.Д. Математический анализ (том 1). –Москва, 1973.

Архангельский А. В. Канторовская теория множеств. –Москва, 1988.

Куратовский К. и Мастовский А. Теория множеств. –Москва, 1970.

Медведев Ф.А. Развитие теории множеств в 19 веке. –Москва, 1965.

www.ronl.ru

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

РЕФЕРАТ

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

СОДЕРЖАНИЕ

Способы задания множества

Включение и равенство множеств

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

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

а) Объединение множеств

б) Пересечение множеств

в) Разность множеств

Дополнение множества

Понятие множества принадлежит к числу основных, неопределяемых понятий математики. Оно не сводится к другим, более простым понятиям. Поэтому его нельзя определить, а можно лишь пояснить, указывая синонимы слова «множество» и приводя примеры множеств: множество – набор, совокупность, собрание каких-либо объектов (элементов), обладающих общим для всех их характеристическим свойством.

Примеры множеств:

1) множество студентов в данной аудитории;

2) множество людей, живущих на нашей планете в данный момент времени;

3) множество точек данной геометрической фигуры;

4) множество чётных чисел;

5) множество корней уравнения х2 -5х+6=0;

6) множество действительных корней уравнения х2 +9=0;

Основоположник теории множеств немецкий математик Георг Кантор (1845-1918) писал: «Множество есть многое, мыслимое нами как единое». И хотя это высказывание учёного не является в полном смысле логическим определением понятия множества, но оно верно поясняет, что когда говорят о множестве, то имеют в виду некоторое собрание объектов, причём само это собрание рассматривается как единое целое, как один (новый) объект.

Объекты, составляющие данное множество, называют его элементами.

Множество обычно обозначают большими латинскими буквами, а элементы множества − малыми латинскими буквам. Если элемент, а принадлежит множеству А, то пишут: а А, а если а не принадлежит А, то пишут: а А.

Например, пусть N–множество натуральных чисел. Тогда 5N , но N, N. Если А - множество корней уравнения х2 -5х+6=0, то 3 А, а 4А.

В математике часто исследуются так называемые числовые множества, т.е. множества, элементами которых являются числа. Для самых основных числовых множеств утвердились следующие обозначения:

N- множество всех натуральных чисел;

Z- множество всех целых чисел;

Q- множество всех рациональных чисел;

R- множество всех действительных чисел.

Приняты также обозначения Z+ , Q+ , R+ соответственно для множеств всех неотрицательных целых, рациональных и действительных чисел, и ZЇ , QЇ , RЇ -для множеств всех отрицательных целых, рациональных и действительных чисел.

Способы задания множества

Множество А считается заданным, если относительно любого объекта а можно установить, принадлежит этот объект множеству А или не принадлежит; другими словами, если можно определить, является ли а элементом множества А или не является. Существуют два основных способа задания множества:

1) перечисление элементов множества;

2) указание характеристического свойства элементов множества, т.е. такого свойства, которым обладают все элементы данного множества и только они.

Первым способом особенно часто задаются конечные множества. Например, множество студентов учебной группы задаётся их списком. Множество, состоящее из элементов a, b, c, … ,d ,обозначают с помощью фигурных скобок: А={a; b; c; …;d} . Множество корней уравнения х2 -5х+6=0 состоит из двух чисел 2 и 3: А={2; 3}. Множество В целых решений неравенства -2

Второй способ задания множества является более универсальным. Множество элементов х, обладающих данным характеристическим свойством Р(х), также записывают с помощью фигурных скобок: Х={х | Р (х)}, и читают: множество Х состоит из элементов х, таких, что выполняется свойство Р(х). Например, А={х | х2 -5х+6=0}. Решив уравнение х2 -5х+6=0, мы можем записать множество А первым способом: А={2; 3}.

Другой пример: Х={х | -1 ≤ х Z}, т.е. Х есть множество целых чисел х, таких, что –1 ≤ х

Рассмотрим и такой пример: F={f | │fґ(x)│≤ 1 , 1

Может случиться, что характеристическим свойством, определяющим множество А, не обладает ни один объект. Тогда говорят, что множество А - пустое (не содержит ни одного элемента) и пишут: А= Ш.

Например, А={х | хІ+9=0, хR} –множество действительных чисел х, таких, что хІ+9=0- пустое множество, т.к. таких действительных чисел нет.

Включение и равенство множеств

Пусть Х и У – два множества. Если каждый элемент х множества Х является элементом множества У, то говорят, что множество Х содержится во множестве У и пишут: Х У или У Х. Говорят также, что Х включено в У или У включает Х, или что Х является подмножеством множества У. Знаки включения или относятся только ко множествам и их не следует смешивать со знаками принадлежности Î и . Если, например, А - множество всех студентов вуза, а В – множество студентов-первокурсников этого вуза, то В есть подмножество А, т.е. В А. Пустое множество считают подмножеством любого множества Х, т.е. Ш Х, каким бы ни было множество Х. Ясно также, что каждое множество является подмножеством самого себя: Х Х.

Если для двух множеств Х и У одновременно имеют место два включения Х У и У Х, т.е. Х есть подмножество множества У и У есть подмножество множества Х, то множества Х и У состоят из одних и тех же элементов. Такие множества Х и У называют равными и пишут: Х=У. Например, если А={2; 3}, а В={х | хІ –5х+6=0}, то А=В.

Если Х У, но Х≠ У, т.е. существует хотя бы один элемент множества У, не принадлежащий Х, то говорят, что Х есть собственное подмножество множества У, и пишут: Х У. Например: NZ, ZQ, QR. Далее нам потребуется множество, которое содержит в качестве своего подмножества любое другое множество. Такое «всеобъемлющее» множество будем называть универсальным и обозначать буквой U .

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

Для наглядного представления множеств используют диаграммы Эйлера-Венна. В этом случае множества обозначают областями на плоскости и внутри этих областей условно располагают элементы множества. Часто все множества на диаграмме размещают внутри прямоугольника, который представляет собой универсальное множество U. Если элемент принадлежит более чем одному множеству, то области, отвечающие таким множествам, должны перекрываться, чтобы общий элемент мог одновременно находиться в соответствующих областях. Выбор формы областей, изображающих множества на диаграммах, может быть произвольным (круги, внутренности эллипсов, многоугольники и т.п.). Покажем, например, с помощью диаграммы Эйлера-Венна, что множество А является подмножеством множества В:

С помощью такой диаграммы становиться наглядным, например, такое утверждение:

если АВ, а В С, то АС.

Строгое доказательство этого утверждения, не опирающееся на диаграмму, можно провести так: пусть х А; так как А В, то х В, а так как В С, то из х В следует, что х С; значит, из того, что х А, следует хС, а поэтому А С.

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

С помощью нескольких множеств можно строить новые множества или, как говорят, производить операции над множествами. Мы рассмотрим следующие операции над множествами: объединение, пересечение, разность множеств, дополнение множества. Все рассматриваемые операции над множествами мы будем иллюстрировать на диаграммах Эйлера-Венна.

Объединение множеств

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

Символическая запись этого определения: А В={х | хА или хВ}.

Здесь союз «или» понимается в смысле «неразделительного или», т.е. не исключается, что х может принадлежать и А и В. Отметим, что в таком случае элемент х, входящий в оба множества А и В, входит в их объединение только один раз (поскольку для множества не имеет смысла говорить о том, что элемент входит в него несколько раз).

Поясним определение объединения множеств с помощью диаграммы Эйлера-Венна:

На диаграмме объединение множеств А и В выделено штриховкой.

Если множество А определяется характеристическим свойством Р (х), а множество В - характеристическим свойством Q(х), то А В состоит из всех элементов, обладающих, по крайней мере, одним из этих свойств.

Примеры объединений двух множеств:

1) Пусть А={2; 5; 7}, В={3; 5; 6}. Тогда А В ={2; 3; 5; 6; 7}.

2) Пусть А=[-1/4; 2], В=[ -2/3; 7/4]. Тогда А В=[-2/3; 2] .

3) Пусть А= {х | х=8k, k Z}, B={x | x=8n-4, n Z}. Тогда A B ={x | 4m, mZ}.

Операция объединения множеств может проводиться не только над двумя множествами. Определение объединения множеств можно распространить на случай любого количества множеств и даже – на систему множеств. Система множеств определяется так: если каждому элементу α множества М отвечает множество Аα , то совокупность всех таких множеств мы будем называть системой множеств.

Объединением системы множеств {Аα } называется множество , состоящее из всех элементов, принадлежащих хотя бы одному из множеств Аα . При этом общие элементы нескольких множеств не различаются.

Таким образом, элемент х тогда и только тогда, когда найдется такой индекс α 0 М, что х A α0 .

В случае, когда М конечно и состоит из чисел 1, 2, … , n, применяется запись Если M=N, то имеем объединение последовательности множеств .

Рассмотрим ещё один пример: пусть М=(1; 2) и для каждого α є М определим множество Аα =[0;α]; тогда = [0;2).

Из определения операции объединения непосредственно следует, что она коммутативна, т.е. А1 A2 = A2 А1 , и ассоциативна, т.е. (А1 A2 ) А3 = А1 (A2 А3 ).

Пересечение множеств

Пересечением А ∩ В множеств А и В называется множество, состоящее из всех элементов, принадлежащих одновременно каждому из множеств А и В.

Символическая запись этого определения: А ∩ В={х | х А и х В}.

Поясним определение пересечения множеств с помощью диаграммы Эйлера-Венна:

А ∩ В

На диаграмме пересечение множеств А и В выделено штриховкой.

Если множество А задается характеристическим свойством Р(х), a множество В-свойством Q(х), то в А ∩ В входят элементы, одновременно обладающие и свойством Р(х), и свойством Q(х).

Примеры пересечений двух множеств:

1) Пусть А={2; 5; 7; 8}, В={3; 5; 6; 7} .Тогда А ∩ В={5; 7}.

2) Пусть А=[-1/4; 7/4], В=[-2/3; 3/2]. Тогда А ∩ В= [-1/4; 3/2].

3) Пусть А= {х | х=2k, k є Z}, B={x | x=3n, n є Z}. Тогда А ∩ В ={x | x=6m, m Z}.

4) Пусть А- множество всех прямоугольников, В-множество всех ромбов. Тогда А ∩ В -множество фигур, одновременно являющихся и прямоугольниками, и ромбами, т.е. множество всех квадратов.

Операцию пересечения можно определить и для произвольной системы множеств {Аα }, где α М. Пересечением системы множеств {Аα }, называется множество , состоящее из всех элементов, принадлежащих одновременно каждому из множеств Аα , α М, т.е. = {x | x Аα для каждого α М}.

В случае, когда М конечно и состоит из чисел 1, 2, … , n, применяется запись . Если M=N, то имеем пересечение последовательности множеств .

В рассмотренном выше примере системы множеств Аα =[0; α], αМ =(1; 2) получим:=[0;1].

Операция пересечения множеств, как и операция объединения, очевидно, коммутативна и ассоциативна, т.е. А1 ∩A2 = A2 ∩А1 и (А1 ∩A2 )∩ А3 = А1 ∩(A2 ∩ А3 ).

Разность множеств

Разностью А\В множеств А и В называется множество, состоящее из всех элементов множества А, которые не принадлежат множеству В, т.е.

А\В={х | х А и хВ},

что можно пояснить на диаграмме Эйлера-Венна следующим образом:

На диаграмме разность А\В выделена штриховкой.

Примеры разностей множеств:

1. Пусть А={1; 2; 5; 7}, В={1; 3; 5; 6}. Тогда А\В ={2;7}, а В\А={3; 6}.

2. Пусть А=[-1/4;2], В=[-2/3; 7/4]. Тогда А\В=(7/4;2], а В\А=[-2/3; -1/4).

3. Пусть А - множество всех четных целых чисел, В - множество всех целых чисел, делящихся на 3. тогда А\В - множество всех четных целых чисел, которые не делятся на 3, а В\А –множество всех нечетных целых чисел, кратных трем.

Дополнение множества

Пусть множество А и В таковы, что АВ. Тогда дополнением множества А до множества В называется разность В\А. В этом случае применяется обозначение СB А=В\А. Если в качестве множества В берётся универсальное множество U, то применяется обозначение СА=СU А=U\А и такое множество просто называют дополнением множества А. Таким образом, символическая запись определения дополнения множества будет следующей: СА={x | x A}.

На диаграммах Эйлера-Венна можно так пояснить определения СВ А и СА:

botanim.ru

Реферат: Счётные множества. Реферат по математике множества

Реферат - Счётные множества - Математика

Доклад - Счётные множества - Математика

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

Смотрите также