Лекции.Орг


Поиск:




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




Краеугольным камнем современной математики является теория множеств.Ее основателями в 19 веке явились Больцана, Кантор, Дедекинд. Бурбаки утверждали, что возможно вывести всю математику из единого источника – теории множеств.

Для теоретиков множественная аксиоматика является фундаментом современной теории вероятностей и других разделов.

Понятие множества вводится аксиоматически. Множество определяет совокупность объектов произвольной природы.

Множество – любое собрание, коллекция любых объектов. Обозначение: прописные латинские буквы A, B, C

Элемент множества – любой объект множества: а Î A. Обозначение не принадлежности: i Ï A.

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

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

Cлово «любые» заменяется символом " – квантором всеобщности, а слово «существует» – символом $ – квантором существования.

Запись " x Î X a(x)означает, что для всякого элемента x Î X истинно утверждение a(x).

Запись $ x Î X a(x)означает, что существует элемент x Î X такой, что для него истинно утверждение a(x).

Если элемент x Î X, для которого истинно утверждение a(x), не только существует, но и единственен, то пишут

$! x Î X a(x).

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

Множество X называется ограниченным сверху, если существует действительное число а такое, что х £ а для всех x Î X. Всякое число, обладающее этим свойством, называется верхней гранью множества X.

Для заданного ограниченного сверху множества X множество всех его верхних граней имеет наименьший элемент, который называется точной верхней гранью множества X и обозначается символом sup X.

Точная нижняя грань множества X обозначается символом inf X.

Множество X, ограниченное сверху и снизу, называется ограниченным.

К примеру, множество [0, 1) имеет множество верхних граней [1, +¥), наименьший элемент которого равен 1. Поэтому sup[0, 1)=1, причем 1Ï[0, 1); inf[0, 1)=0.

Множество A называется подмножеством множества B, или множество A принадлежит множеству B, если " элемент A принадлежит также и B. Обозначение: A Ì B.

Множество A не принадлежит множеству B, если $ x: x Î A и x Ï B. Обозначение: A Ë B.

Пустым множеством,илинуль-множеством, называется множество Æ = {" x: x Ë Æ}

Существует только одно пустое множество.

Подмножества A и Æ множества A называются тривиальными.

Булеаном множества A называется множество всех подмножеств множества A. Обозначается готической буквой
M (A).

Множество задают либо перечислением его элементов, либо описанием свойств его элементов. В последнем случае используется обозначение A= { x Î T:a(x)} или A= { x Î T ça(x)}. То есть множество A – это совокупность тех, и только тех, элементов из некоторого основного множества T, которые обладают свойством a.

Двухэлементное множество{ x, у }, в котором элемент х находится на первом, а элемент у на втором месте, называется упорядоченной парой (x, у).

Элемент х называется первой координатой упорядоченной пары (x, у), а у – второй координатой.

Две упорядоченные пары равны, если совпадают их координаты.

Пусть заданы два множества Х и Y. Множество всевозможных упорядоченных пар { x, у } таких, что x Î Х и у Î Y называется декартовым произведением и обозначается Х ´ Y. Например, декартовым произведением является плоскость с двумя координатными осями, так как определяет множество пар вещественных чисел.

Пример 1. Описать перечислением элементов множество

Решение. A есть множество всех целых неотрицательных корней уравнения . Следовательно,





Поделиться с друзьями:


Дата добавления: 2015-02-12; Мы поможем в написании ваших работ!; просмотров: 1817 | Нарушение авторских прав


Поиск на сайте:

Лучшие изречения:

Сложнее всего начать действовать, все остальное зависит только от упорства. © Амелия Эрхарт
==> читать все изречения...

783 - | 702 -


© 2015-2024 lektsii.org - Контакты - Последнее добавление

Ген: 0.013 с.