Файл: Заманский, М. Введение в современную алгебру и анализ.pdf

Пересечение дистрибутивно относительно объединения, т. е.

Объединение дистрибутивно относительно пересечения, т. е.

5U(/ 7nO) = (£UF)n(£UG).

Если X, Y — подмножества множества Е, то

4)Х[} СХ = Е, Х П С Х = 0 ,

5)С ( Хи ^ ) = СХЛСК (

6) C ( Z n E ) = C Z U C K .

Все эти свойства без труда получаются непосредственно из определений.

Говорят, что определено отображение множества Е во множе­

ской буквой (чаще всего /).

Пусть у есть элемент из F, соответствующий элементу

при отображении /. Это записывается так: г/ = /(х). Элемент х называется переменным, а элемент у, или f(x), из F называется значением этого отображения f, или образом f(x) элемента х при отображении /.

В качестве термина «переменное» употребляются также тер­ мины «индекс» и «параметр» (см. § 6).

Отображение множества Е во множество F называется также функцией, определенной на Е, со значениями в F, или функцией f.

Иногда вместо «функции» говорят о преобразовании мно­ жества Е в F или об операторе. Все эти названия употреб­ ляются в одинаковом смысле, и их использование диктуется со­ ображениями удобства или желанием подчеркнуть интуитив­ ный аспект.

и может быть прочитано так: «х переходит в /(*)». Обратно, можно посредством некоторых правил выразить значение у че­ рез значение х и говорить, что / есть функция, определяемая как х-* у.

Наконец, иногда удобно вместо f(x) писать fx. Это обозна­ чение называется индексным, так как переменное записывается как индекс. В некоторых случаях употребляются оба обозна­ чения. Если множество определения функции само является произведением Е у. F двух множеств Е и F, а переменное обо­ значается через (х, у) <= Е X F, и если G — множество, в кото­ ром функция / принимает значения, то в соответствии с первым соглашением следует писать f((x,y)), но эту запись упрощают и пишут f(x,y). Когда из конкретных соображений хотят в паре

вF, то / есть элемент этого множества:

2)Иногда бывает выгодно обозначать функции не через /,

g, h, а, скажем, буквами х, у, z (обозначая в этом случае пере­ менное через t или и). Мы, как правило, будем предпочитать это обозначение в главе, где операции над функциями как элемен­ тами множества FE определяются свойствами, аналогичными тем, которые излагаются в предшествующих ей главах для чи­ сел, обозначавшихся буквами х, у, z.

3) Одной из характерных черт современной математики яв­ ляется как раз изучение свойств множеств, элементами которых служат функции. Таковы множество непрерывных отображений одного метрического пространства в другое, множество операто­ ров в гильбертовом пространстве и т. д.

Ч а с т н ы е с л у ч а и ф у н к ц и й . Пусть / — отображение Е в F. Если для любого х е Е значение f(x) есть один и тот же элемент а е £, то / называется постоянной.

Если Е = F, то отображение, которое каждому j е £ ста­ вит в соответствие тот же элемент х, называется тождественным

зывается сужением (или ограничением) f на А. Его иногда обоз­ начают fA.

Р а в е н с т в о . Два отображения / и g одного и того же мно­ жества Е в одно и то же множество F называются равными, если f(x) = g(x) для любого

§ 2. Отображение во множество, отображение на множество, взаимно однозначное отображение

Пусть f есть отображение множества Е во множество F. Вы­ ражение «/ определено на Е» означает, что каждому x e f со­ ответствует при отображении f некоторое у е F. Выражение «/ есть отображение Е в F» только это и означает, т. е. каждому к е £ соответствует некоторый элемент из F.

Но множество значений f(x) не обязано включать все эле­ менты множества F. Так, функция sin есть отображение множе­ ства R действительных чисел в R, и множество значений, при­ нимаемых функцией sin при всех х е R, состоит из действитель­ ных чисел у, удовлетворяющих условиям

Если множество всех значений f(x), принимаемых функцией f, есть все множество F, то / называется отображением Е на F,

Выражение «отображение на» употребляется только при необходимости уточнения; если же в рассматриваемом вопросе безразлично, будет ли / «отображением на», то достаточно бы­ вает говорить об «отображении в».

Утверждение, что f есть отображение Е на F, означает, что

одно решение при любом у е F.

Пус'гь f есть отображение Е на F. Если любой элемент у <= F является при отображении f образом единственного элемента X е Е, то отображение f называется взаимно однозначным, или биективным; говорят также, что f есть биекция. Стало быть, ут­ верждение о том, что f есть взаимно однозначное отображение, означает прежде всего, что f — отображение на и что уравнение y — f(x) имеет при любом y ^ F единственное решение в Е.

Если Е = F и f есть взаимно однозначное отображение Е на себя, то f называется перестановкой.

Для того чтобы f было взаимно однозначным отображением Е на F, необходимо и достаточно, чтобы / было отображением Е

том, что f есть инъективное отображение Е в F, означает, что оно является взаимно однозначным отображением Е на F'.

F, обозначаемое через f(X). Таким образом, любому подмноже­ ству из Е, т. е. любому элементу X ^.ZP(E) можно поставить в соответствие некоторый элемент f(X)^£P(F). Тем самым опре­ деляется функция, роль переменного в которой играет элемент из $Р(Е) (из множества подмножеств множества Е), а роль зна­

=f ( 0) = 0 .

2)Если Х и Y — такие два подмножества из Е, что ^ с У ,

Tof(X)<=f(Y).

3)Каковы бы ни были X е # ( £ ) и У е ^ ( £ ) ,

f(XUY) = f(X)Uf(y).

Однако для операций П и С (ср. раздел I) простых свойств не существует; имеет место только

f(XnY)czf(X)r\f(Y) .

Среди подмножеств из Е фигурирует само Е, а f(E) есть под­ множество множества F. Тогда условие, что / — отображение Е на F, может быть определено равенством f ( E ) = F.

Если рассматривать ҢЕ), являющееся подмножеством мно­ жества F, как множество, в котором f принимает свои значения, то можно утверждать, что / является отображением Е в F и

чисел. Отображение х->-х3 множества R в R есть взаимно од­ нозначное отображение R на R. Отображение х —►хг множества R в R не является отображением на; если обозначить его через

зуется посредством f во множество неотрицательных действи­

— ]—1, +1 [; она является взаимно однозначным отображением R на ] —1, +1 [, или взаимно однозначным отображением R в R.

§ 4. Обратное отображение

Пусть / есть отображение множества Е во множество F. И пусть у — точка из F\ если / не является отображением на F, то не для всякого у существует х е Е, для которого f ( x ) = у, а если существует, то их может быть несколько, так что множе­ ство элементов из Е, имеющих образом при отображении / один и тот же элемент у е F, составляет часть множества Е и может быть как пустым, так и состоять из нескольких точек. Следова­ тельно, если задана функция /, то вообще - говоря, нельзя устроить обращение от F к Е. Напротив, рассмотрим расшире­

поставить в соответствие таким способом определенный элемент то будет установлено отображение $?(F) в £Р{Е), которое называется обратным отображением к ф и обозна­

чается через ф-1.

Следовательно, это есть отображение множества подмно­

жеств (из F) во множество подмножеств (из Е), как и само отображение ф.

В обычной записи между / и ф не делается различия, и ото­ бражение ф_1 обозначается f~K Стало быть, используется сим­ волическое обозначение f(x), f(X), /_)(У). Однако важно отме­ тить, что f(x) есть элемент из F, f(X) есть подмножество из F, /- ‘(У) есть подмножество из Е и что, вообще говоря, f~l