Множество A можно разбить на классы непересекающихся подмножествAi, если:
объединение всех подмножеств совпадает с множеством A: ;
пересечение любых двух различных подмножеств пусто, т. е. для любых выполняется .
Соответствия между множествами. Отображения
Основные понятия. Пары задают соответствие между множествамиA и B, если указано правило R, по которому для элемента множества A выбирается элемент из множества B.
Пусть для некоторого элемента a множества A поставлен в соответствие некоторый элемент b из множества B, который называется образом элемента a и записывается . Тогда - прообраз элемента , который обладает свойствами единственности и полноты:
каждому прообразу соответствует единственный образ;
образ должен быть полным, так же как полным должен быть и прообраз.
Образ множества A при соответствии R называется множеством значений этого соответствия и обозначается , если состоит из образов всех элементов множества A.
Прообраз множества B при некотором соответствии R называют областью определения этого соответствия и обозначают , т.е. ; gif" name="object33" align=absmiddle width=33 height=20> является обратным соответствием для R.
Задание отображений. Для описания соответствий между множествами используют понятие отображения (функции) одного множества на другое.
Для задания отображения необходимо указать:
множество, которое отображается (область определения данного отображения, часто обозначается );
множество, в (на) которое отображается данная область определения (множество значений этого отображения, часто обозначается );
закон или соответствие между этими множествами, по которому для элементов первого множества выбраны элементы из второго множества.
При записи подразумевается, что отображение f определено всюду на A, т.е. A – полный прообраз отображения f, хотя дляB такое свойство полноты не подразумевается. Однозначным называется отображение, где каждому аргументу поставлено в соответствие не более одного образа.
Способ задания отображений в виде формул называется аналитическим.
Для задания отображения множеств табличным способом принято строить таблицу, в которой первую строку составляют элементы области определения, а вторую строку – их образы, т.е. элементы вида при отображении , где (табл. 1.1).
Основные понятия теории множеств Основные понятия теории множеств: Индивидуальные задания к модулю 1 / Юго-Зап гос ун-т; сост.: Т. В. Шевцова, Е. В. Скрипкина. Курск,...
Становление теории множеств Возникновение теории множеств (Г. Кантор). Множества конечные и бесконечные. Потенциальная и актуальная бесконечности. Парадоксы...
Занятие 1 Основные понятия теории множеств Рассмотрение системы как совокупности элементов дает возможность привлечь для ее математического описания аппарат теории множеств....
Логинов А. С. Часть Дифференциальное исчисление В разделе рассматриваются основные понятия теории множеств, определение множества действительных чисел. Приводится необходимая терминология...