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

Множество можно задать,перечислив все его элементы.

Например, множество А состоит из чисел 3, 4, 5 и 6. Поскольку все его элементы окажутся перечисленными, то это множество задано. При этом возможна запись А = {3, 4, 5, 6}, в которой перечисленные элементы заключаются в фигурные скобки.

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

Определение. Характеристическое свойство – это такое свойство, которым обладает каждый элемент, принадлежащий множеству, и не обладает ни один элемент, который ему не принадлежит.

Пример

Множество А – двузначных чисел. Свойство, которым обладает любой элемент данного множества, - “ быть двузначным числом”. Это характеристическое свойство дает возможность решить вопрос о том, принадлежит ли какой-либо объект множеству А или не принадлежит. Так, число 21 содержится в множестве А, поскольку оно двузначное, а число 145 множеству А не принадлежит – оно не является двузначным.

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

Вывод: чтобы задать некоторое множество, достаточно либо перечислить все его элементы, либо указать характеристическое свойство его элементов. Второй способ более общий: он позволяет задавать и конечные и бесконечные множества в отличие от первого способа, который, как правило, можно использовать для задания конечных множеств с небольшим количеством элементов. Хотя первый способ используется иногда и для задания бесконечных множеств. Например, множество натуральных чисел может быть задано в виде N = {1, 2, 3, …}. Однако такой способ записи возможен лишь тогда, когда по записанной части множества ясно, что означает многоточие.

Одно и тоже множество может быть задано и первым и вторым способом.

Пример

Множество В натуральных чисел, меньших 7, заданное посредством указания характеристического свойства его элементов, можно задать и так: В={1, 2, 3, 4, 5, 6}, т.е. перечислив все его элементы.

Отношения между множествами. Подмножество

Даны два множества:

А = {a, b, c, d, e} и B = {b, d, k, e}. Видим, что элементы b и d принадлежат одновременно множеству А и множеству В. Говорят, что b и d – общие элементы множеств А и В, а сами множества пересекаются.

Замечание. Если множества не имеют общих элементов, то говорят, что они не пересекаются.

Рассмотрим теперь множества А = {a, b, c, d, e} и В = {c, d, e}. Они пересекаются, и, кроме того, каждый элемент множества В является элементом множества А. В этом случае говорят, что множество В включено в А или что множество В является подмножеством множества А.

Определение. Множество В называется подмножеством множества А, если каждый элемент множества В является также элементом множества А.

Если В – подмножество множества А, то пишут: В Ì А – и читают: «В – подмножество А», «В – включается в А».

Считают, что пустое множество является подмножеством любого множества, т. е. Æ Ì А, и что любое множество является подмножеством самого себя, т.е. А Ì А. Поэтому среди всех подмножеств заданного множества А должно быть обязательно пустое множество и само множество А.

Примеры

Выпишем все подмножества множества А = {2, 3, 4}.

Среди них будут одноэлементные подмножества: {2}, {3}, {4}, двухэлементные: {2, 3}, {3, 4}, {2, 4}, а также само множество А: {2, 3, 4} и Æ. Таким образом, данное множество А имеет 8 подмножеств.

Обратимся теперь к множествам А = {a, b, c, d, e} и В = {c, a, b, e, d}. Они пересекаются, и каждый элемент множества А является элементом множества В, т.е. А Ì В, и, наоборот, каждый элемент множества В является элементом множества А, т.е. В Ì А. В этом случае говорят, что множества А и В равны.

Определение. Множества А и В называются равными, если АÌ В и В Ì А.

Круги Эйлера-Венна

Из определения вытекает, что равные множества и отношения с множествами удобно иллюстрировать при помо­щи графических схем, в которых множества представляются в виде кругов, овалов или любых других геометрических фигур и предполагается, что в этих геометрических фигурах заключены все элементы данного множества. Такие геометрические фигуры называются кругами Эйлера, по имени немецкого математика Леонарда Эйлера, который в 1762 году приспособил эту геометрическую фигуру для логических целей.

Например, отношение включения между множествами А = {a, b, c, d, e} и В = {c, e, d} можно изобразить при помощи кругов Эйлера так:

Множества А = {a, b, c, d, e} и B = {b, d, k, e} Пересекаются, но ни одно из них не является подмножеством другого, поэтому при помощи кругов Эйлера они изображаются так:

Непересекающиеся множества изображают при помощи двух кругов, не имеющих общих точек.

Установить отношения между множествами – важное умение для учителя. Дело в том, что математика и другие науки изучают не только определенные объекты и явления, но и взаимосвязи, в том числе и отношения между множествами.

Выясним, например, как связаны между собой множества А четных чисел и множество В чисел, кратных 4. В каком из случаев, представленных на рисунках, отношения между данными множествами изображены верно?

Из рисунка следует, что все четные числа делятся на 4, что не верно: можно назвать числа, которые не делятся на 4, например 14. Этот контрпример сразу делает невозможным равенство данных множеств, т.е. случай представленный на следующем рисунке:

Следующий рисунок говорит о том, что среди чисел, кратных 4, есть четные, но есть и такие, которые не делятся на 2, что не верно: нетрудно доказать, что любое число, кратное 4, четно.

Следовательно, множество чисел, кратных 4, является подмножеством множества четных чисел. Эта связь изображена на последнем рисунке.

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

Например

«Среди данных четырехугольников укажи прямоугольники».

«Назови среди данных чисел четные» и т. д.