Читать «Математический аппарат инженера» онлайн - страница 14

2. Множества

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

- 20 -

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

Множество относится к категории наиболее общих, основополагающих понятий математики. Поэтому вместо строгого определения обычно принимается некоторое основное положение о множестве и его элементах. Так, группа выдающихся математиков, выступающая под псевдонимом Н. Бурбаки, исходит из следующего положения: «Множество образуется из элементов, обладающих некоторыми свойствами и находящихся в некоторых отношениях между собой или с элементами других множеств».

2. Множество и его элементы. Утверждение, что множество А состоит из различимых элементов а₁, а₂, ... , а_n (и только из этих элементов), условно записывается A= {а₁, а₂, ... , а_n}. Принадлежность элемента множеству (отношение принадлежности) обозначается символом ∈ ,т.е. а₁ ∈ A, а₂ ∈ A,... а_n ∈ A, или короче . Если b не является элементом A, то пишут b ∉ A или b ∈̅ A

Два множества A и B равны (тождественны), A = B, тогда и только тогда, когда каждый элемента А является элементом В и обратно. Это значит, что множество однозначно определяется своими элементами.

Множество может содержать любое число элементов — конечное или бесконечное. Соответственно имеем конечные (множество цифр 0, 1, ..., 9 или страниц в книге) или бесконечные (множество натуральных чисел или окружностей на плоскости) множества. Не следует, однако, связывать математическое понятие «множество» с обыденным представлением о множестве как о большом количестве. Так, единичное (одноэлементное) множество содержит только один элемент. Более того, вводится также понятие пустого множества, которое не содержит никаких элементов. Пустое множество обозначается специальным символом ∅.

Роль пустого множества ∅ аналогична роли числа нуль. Это понятие можно использовать для определения заведомо несуществующей совокупности элементов (например, множество зеленых слонов, действительных корней уравнения x² + 1 = 0). Более существенным мотивом введения пустого множества является то, что заранее не всегда известно (или неизвестно вовсе), существуют ли элементы, определяющие какое-то множество. Например, множество выигрышей в следующем тираже спортлото на купленные билеты может оказаться пустым. Никто еще не знает, является ли

- 21 -

пустым или нет множество всех решений в целых числах уравнения x³ + y³ + z³ = 30. Без понятия пустого множества во всех подобных случаях, говоря о каком-нибудь множестве, приходилось бы добавлять оговорку «если оно существует».