Элементы теории множеств
Категория реферата: Рефераты по математике
Теги реферата: банк курсовых, ответы на билеты
Добавил(а) на сайт: Альфия.
Предыдущая страница реферата | 1 2 3 4 5 6 7 8 9 10 11 | Следующая страница реферата
Для того чтобы некоторую совокупность элементов можно было назвать множеством, необходимо, чтобы выполнялись следующие условия:
Должно существовать правило, позволяющее определить, принадлежит ли указанный элемент данной совокупности.
Должно существовать правило, позволяющее отличать элементы друг от друга. (Это, в частности, означает, что множество не может содержать двух одинаковых элементов).
Множества обозначаются прописными буквами латинского или готического алфавита: A, B, ... , M, K, ... . Если множество A состоит из элементов a, b, c, ... , это обозначается с помощью фигурных скобок: A = {a, b, c, ...}. Если a есть элемент множества A , то это записывают следующим образом: aA. Если же a не является элементом множества A , то пишут aA. Существует также специальное, так называемое пустое множество, которое не содержит ни одного элемента. Пустое множество обозначается символом . Пустое множество является частью любого множества.
1.2. Способы задания множеств
Для того, чтобы задать множество, нужно указать, какие элементы ему принадлежат (или могут принадлежать). Это можно сделать различными способами:
перечислением элементов: M = {m1 ,m2 , ... , mn};
характеристическим условием (свойством): M = P(x);
порождающим правилом: M = x ;
Первый способ полностью описывает множество. Однако он применим только для конечных (а, вообще говоря, для конечно обозримых множеств). При задании множеств перечислением обозначения элементов обычно заключают в фигурные скобки и разделяют запятыми. В этом случае считается несущественным порядок перечисляемых элементов.
Пример.
Задание множества первых пяти нечетных натуральных чисел перечислением элементов: M = {1, 3, 5, 7, 9}.
Второй способ позволяет определить принадлежность элемента x множеству M и, поэтому, пригоден для описания не только конечных, но и бесконечных множеств. Характеристическое условие обычно задается в форме логического утверждения, которое может выражаться словами, математическими уравнениями, неравенствами. Если для данного элемента условие выполнено, то он принадлежит определяемому множеству, в противном случае не принадлежит. Характеристическое условие может состоять из нескольких условий: в таком случае в записи могут использоваться следующие знаки:
● - равносильно “и”;
● V – равносильно “или”;
● - квантор всеобщности;
● - квантор существования.
Задание множеств их характеристическим свойством иногда приводит к осложнениям. Может случиться, что два различных характеристических свойства задают одно и то же множество, т. е. всякий элемент, обладающий одним свойством, обладает и другим, и обратно.
Пример.
Элемент x множества М есть целое число, квадрат которого меньше нуля.
M = xZ x2 < 0.
Третий способ задания множества сводится к построению конкретных представителей как конечных, так и бесконечных множеств. Порождающее правило описывает способ построения объектов, которые являются элементами определяемого множества.
Пример.
Зададим два множества перечислением: M1 := {1,2}; M2 := {1}.
Зададим множество M3 правилом построения его элементов:
M3 := x = (x1,x2), x1M1, x2M2.
Рекомендуем скачать другие рефераты по теме: ответы на сканворды в одноклассниках, реферат на тему технология.
Предыдущая страница реферата | 1 2 3 4 5 6 7 8 9 10 11 | Следующая страница реферата