Роберт столл множества. Логика. Аксиоматические теории



страница7/8
Дата08.10.2012
Размер0.86 Mb.
ТипДокументы
1   2   3   4   5   6   7   8

1.7. Отношения эквивалентности
Отношение во множестве X называется рефлексивным, если для любого элемента х из X хх; симметричным, если ху влечет ух; транзитивным, если из ху и yz следует xz. Отношения, обладающие всеми этими свойствами, столь часто встречаются в математике, что им присвоили специальное название. Отношение в некотором множестве назы-
[44]
вается отношением эквивалентности, если оно рефлексивно, симметрично и транзитивно. Если отношение в X есть отношение эквивалентности, то, очевидно, = X. Вследствие этого отношения эквивалентности в X называют также отношениями эквивалентности на X.
Примеры
Каждое из следующих отношений является отношением эквивалентности на соответствующем множестве:

1. Равенство в произвольной системе множеств.

2. Геометрическое отношение подобия в множестве всех треугольников в евклидовой плоскости.

3. Отношение сравнимости по модулю п в Z. Это отношение определяется для любого не равного нулю целого числа п следующим образом: х сравнимо с у по модулю п, если х - y делится на п; обозначение:

X y (mod n).

4. Отношение ~ в множестве всех упорядоченных пар положительных целых чисел, где ~ , если xv = yu.

5. Отношение параллельности в множестве прямых в евклидовой плоскости.

6. Отношение равночисленности в произвольной системе конечных

множеств.

7 Отношение «проживания в одном доме» в множестве жителей Соединенных Штатов.


Последний из приведенных примеров иллюстрирует на языке повседневной жизни основное свойство любого отношения эквивалентности: это отношение разбивает соответствующее множество на непересекающиеся подмножества, в данном случае — на множества людей, живущих в одном доме. Дадим обоснование этого предложения в общем виде. Если есть отношение эквивалентности на множестве X, то подмножество А множества X называется классом эквивалентности (-классом эквивалентности), если существует такой элемент x из A, что А совпадает с множеством всех у, для которых ху. Таким образом, А есть класс эквивалентности тогда и только тогда, когда существует такой х из X, что A = [{x}]. Если насчет самого отношения нет никаких неясностей, то множество -образов элемента х из X сокращенно обозначается через [х] и называется классом эквивалентности, порожденным элементом х. Вот два основных свойства классов эквивалентности:
(I) x[x];

(II) если ху, то [x]=[y].
Первое из этих свойств вытекает из рефлексивности отношения эквивалентности. Чтобы доказать второе свойство, допустим, что ху;
[45]
тогда [y][х]; в самом деле, из z[у] (что означает уz) и ху в силу транзитивности отношения вытекает xz, т. е. z[x]. Симметричность отношения позволяет доказать обратное включение [х][y], из чего уже следует равенство классов [х] и [у].

Из свойства (I) вытекает, что каждый элемент множества X принадлежит некоторому классу эквивалентности, а из (II) — что два класса эквивалентности либо не пересекаются, либо совпадают, так как, если z[х] и z[у], то [х] = [z] и [y] = [z]. Следовательно, [х] = [y]. Вспоминая определение разбиения непустого множества, мы получаем, что совокупность различных -классов эквивалентности является разбиением множества X.
[49]
1.8. Функции
Понятие функции мы можем определить в терминах уже введенных ранее понятий. Это определение исходит из известного по многим учебникам обсуждения понятия функции, согласно которому график функции есть множество упорядоченных пар. Поскольку ясно, что любая информация о функции может быть извлечена из ее графика, то нет никакой надобности различать функцию и ее график. Поэтому при определении функции имеет смысл исходить из таких характеристик множества упорядоченных пар, которые специфичны именно для графиков функций. Это достигается посредством соглашения, по которому функция есть такое отношение, никакие два различных элемента которого не имеют одинаковых первых координат. Таким образом, f тогда и только тогда является функцией, когда оно удовлетворяет следующим требованиям:
(I) элементами f являются упорядоченные пары;

(II) если и суть элементы f, то y = z.
[50]
Примеры А
1. {, , Рузвельт, Черчилль} есть функция с областью определения {1, 2, Рузвельт} и областью значений {2, Черчилль}.

2. Отношение {, , } не является функцией, так как различные элементы и имеют одинаковую первую координату.

3. Отношение {| xR} есть функция, так как если х = и, то x2+x+1 = u2+u+1.

4. Отношение {| xR} не является функцией, так как его элементами являются как так и .

Слово «функция» имеет многочисленные синонимы, в частности: преобразование, отображение, соответствие, оператор20. Если f — функция и f, так что xfy, то х есть аргумент функции f. Для обозначения у в этом случае терминология весьма разноречива; например, у называют значением функции f на х, образом элемента х при f, элементом, в который f переводит х. Для обозначения у также употребляют различные символы: xf, f(х) (или еще проще fx), xf . Обозначение f (x) можно рассматривать как сокращение для f[{x}] — множества f-образов элемента х. В этих терминах характеристическое свойство функций, выделяющее их среди отношений вообще, можно сформулировать следующим образом: каждый элемент области определения имеет единственный образ.

Читатель должен привыкнуть ориентироваться в этих обозначениях функции, так как в разных книгах он будет встречать различные символы и названия. Определения и теоремы, относящиеся к функциям, в этой книге всюду будут формулироваться в обозначениях f(х) или fx для (единственного) элемента, соответствующего элементу х в функции f. С этим хорошо согласуется также обозначение f[A] для множества {у | для некоторого х из А f}. Впрочем, в приложениях понятия функции мы будем пользоваться различными обозначениями. Когда вместо f(x) нам будет удобнее применить обозначение xf, тогда естественно и вместо f [А] писать [А]f. Если же вместо f(x) мы будем писать хf, то в этих местах вместо f[А] будет использоваться обозначение [Af] или Аf.

Поскольку функции являются множествами, к ним применимо обычное определение равенства: две функции f и g равны в том и только в том случае, когда они состоят из одних и тех же элементов. Очевидно, что то же самое можно сказать и другими словами: f = g тогда и только
[51]
тогда, когда Df = Dg и f(x) = g(x) для любого х из общей области определения. Следовательно, функцию можно определить, указав область ее определения и задав значения функции для каждого элемента области определения. Мы видим, таким образом, что вторая часть определений такого рода имеет вид некоторого правила. Например, одно из возможных определений функции { | } таково: функция f с областью определения R такова, что f(х) = х2+x+1. Когда функция задается указанием на ее область определения и заданием ее значений для каждого элемента этой области, область ее значений может быть вовсе не очевидна. В приведенном только что примере, чтобы прийти к заключению, что Rf = {| x ≥ }, надо проделать некоторые вычисления. С другой стороны, то обстоятельство, что в этом случае , едва ли не очевидно. Вообще, при точном определении области значений мы сталкиваемся с определенными трудностями, но указать некоторое множество, включающее в себя область значений, обычно удается без труда. В связи с этим представляется разумным принять следующую терминологию. Функция f есть функция со значениями21 в Y, если область значений функции f есть подмножество множества Y, и функция f есть функция со значениями на Y, если Rf = Y. Вводя аналогичные терминологические соглашения для области определения функции, мы будем говорить, что f определена на X, если X есть область определения функции f. Желая сказать, что f есть функция, определенная на множестве X со значениями в множестве Y, обычно пользуются символикой
f: X → Y, или X Y.
Множество всех функций, определенных на X со значениями в Y, есть подмножество множества P () обозначим это подмножество через YX. Если X пусто, то YX состоит всего лишь из одного элемента, а именно из пустого подмножества множества XY. Это единственное подмножество множества XY, так как последнее само пусто, если пусто X. Если Y пусто, а X непусто, YX пусто.

Если f: XY и АХ, то f(АY) есть функция, определенная на А со значениями в Y (эту функцию называют сужением функции f на множество А и обозначают через f |A). Подробнее: f |A есть функция, определенная на A и такая, что (f | A) (a) = f (а) для любого а, принадлежащего множеству А. Функция g является сужением функции f
[52]
на некоторое подмножество области определения функции f тогда и только тогда, когда область определения функции g есть подмножество области определения функции f и для xDg g(x) = f(x); иначе говоря, gf. В дополнение к определению сужения назовем функцию f продолжением функции g, если gf. В качестве примера, иллюстрирующего понятие продолжения функции, мы обратимся к описанному выше отношению тождества X в X. Очевидно, это отношение является функцией; поэтому, в соответствии с принятыми нами обозначениями функций посредством малых латинских букв, мы обозначим это отношение через или X. Назовем X тождественным отображением на X. Если AХ, то X|A = A. Если X|A рассматривается как функция, определенная на А со значениями в X, то это — инъективное отображение множества А в X.

Функция называется взаимно-однозначной, если она переводит различные элементы в различные. Иначе говоря, функция f тогда и только тогда взаимно - однозначна, когда
х1 ≠ х2 влечет f(xl) ≠ f(x2).
Взаимно - однозначность функции иногда удобнее доказывать, рассматривая контрапозицию к написанному выше:
f(x1) = f(x2) влечет х1 = х2.
Например, функция f на R такая, что f(x) = 2x + 1, взаимно-однозначна, так как 1+1 = 2х2+1 влечет х1 = х2.

Взаимно-однозначная функция f, определенная на X со значениями на Y, образует пары из элементов множеств X и Y; именно, в каждую пару входит f(x) из Y вместе с соответствующим х из X. В самом деле, поскольку f есть функция, f(x) есть однозначно определенный элемент множества Y; поскольку f принимает значения на Y, каждое у сопоставляется некоторому х; поскольку, наконец, f взаимно-однозначна, каждое у сопоставляется единственному х. Ввиду полной симметричности картины, возникающей при взаимно-однозначном отображении множества X на Y, его часто называют взаимно-однозначным соответствием между X и Y. Если два множества связаны между собой такой функцией, то говорят, что они находятся во взаимно-однозначном соответствии.
Примеры В
1. Хорошо известная читателю показательная функция есть функция, определенная на R со значениями в R; символически:
f: R → R, где f(x) = eX.
[53]
Мы можем также сказать более точно, что f есть функция, определенная на R со значениями на R+. Вообще, если f: XY, то f — функция, определенная на X со значениями на f [X], т. е. на области значении функции f.

2. {a, b, c}{1, 2} есть множество всех функций, определенных на {1,2} со значениями в {а, b, с}. Один из элементов этого множества — {}.

3. Если А и В — множества, имеющие одинаковое число элементов, то они, очевидно, находятся во взаимно-однозначном соответствии22. Тогда, как легко показать, для любого множества X множества Ах и Вх находятся во взаимно-однозначном соответствии. В соответствии с этим множество всех функций, определенных на некотором множестве X со значениями в произвольном множестве, состоящем из п элементов, обозначают обычно через пх. Так, 2х обозначает множество всех функций, определенных на X со значениями в множестве из двух элементов, в качестве какового обычно берут множество {0, 1}. Если AX, то один из элементов множества 2х есть функция , определяемая следующим образом:
(x) = 1, если хА, и (х) = 0, если хХА.
Мы будем называть характеристической функцией множества А. Рассмотрим теперь функцию f, определенную на P (X) со значениями в 2х, взяв в качестве образа подмножества А множества X [А является элементом множества P (X)] характеристическую функцию этого подмножества А (являющуюся элементом множества 2х). В качестве упражнения предлагаем доказать, что f есть взаимно-однозначное соответствие между P (Х) и 2х. В силу этого взаимно-однозначного соответствия множества P (Х) и 2х обычно просто отождествляют, свободно заменяя в рассуждениях одно из этих множеств другим, если это удобно по каким-либо соображениям.
[61]
1   2   3   4   5   6   7   8

Похожие:

Роберт столл множества. Логика. Аксиоматические теории iconПрограмма курса «Числовые системы»
Формальные и неформальные аксиоматические теории. Схема построения неформальной аксиоматической теории. Интерпретация и модель аксиоматической...
Роберт столл множества. Логика. Аксиоматические теории iconМножества, отображения, логика
Это относится и к математике, которая имеет: содержание (что?), цель (для чего?) и технологию исследований (как?). Под содержанием...
Роберт столл множества. Логика. Аксиоматические теории icon4. Введение в формальные (аксиоматические) системы 1 Формальные модели
Принципы построения формальных теорий. Аксиоматические системы, формальный вывод
Роберт столл множества. Логика. Аксиоматические теории iconВопросы к экзамену по теории множеств Основные понятия наивной теории множеств
Понятия множества, его элементов, пустого множества, конечного и бесконечного множеств
Роберт столл множества. Логика. Аксиоматические теории icon3 Начальные понятия теории графов Определение
Определение. Пусть и конечные множества,; отображение множества в множество одно и двухэлементных подмножеств множества. Тройку называют...
Роберт столл множества. Логика. Аксиоматические теории iconМножества и операции со множествами. Понятие множества и мультимножества
Цель таких описаний отразить важнейшие (атрибутные) свойства множества, а именно: разли­чимость всех частей множества, неупорядоченность...
Роберт столл множества. Логика. Аксиоматические теории icon2 Описание неопределенностей с помощью теории нечеткости 4 Нечеткие множества
Пусть a некоторое множество. Подмножество b множества a характеризуется своей характеристической функцией
Роберт столл множества. Логика. Аксиоматические теории iconЭвальд Васильевич Ильенков Диалектическая логика. Очерки истории и теории
«Ильенков Э. В. Диалектическая логика. Очерки истории и теории»: Политиздат; Москва; 1974
Роберт столл множества. Логика. Аксиоматические теории iconУчебно-методическое пособие Саранск 2012 Отображения. Функции Сведения из теории
Пусть даны некоторые множества и. Бинарное соответствие из в называется отображением множества в множество, если
Роберт столл множества. Логика. Аксиоматические теории iconСтановление теории множеств
Возникновение теории множеств (Г. Кантор). Множества конечные и бесконечные. Потенциальная и актуальная бесконечности. Парадоксы...
Разместите кнопку на своём сайте:
ru.convdocs.org


База данных защищена авторским правом ©ru.convdocs.org 2016
обратиться к администрации
ru.convdocs.org