Открыть Электронные книги
Категории
Открыть Аудиокниги
Категории
Открыть Журналы
Категории
Открыть Документы
Категории
И ФУНКЦИОНАЛЬНЫЙ АНАЛИЗ
\ {л
\
\
A,U в- л a,ъ
^jýr \^ъ'.-^.---.
ý-\
rllЫl \
(
t
},
,l/\
// /t
'r/l
\
V//,
С*а=СА=
S\A
Отметим следующие свойства операций объединения и пересече-
ния.
1. A ∪ B = B ∪ A, A∩B =B∩A
(коммутативность).
2. (A ∪ B) ∪ C = A ∪ (B ∪ C), (A ∩ B) ∩ C = A ∩ (B ∩ C)
(ассоциативность).
3. (A ∪ B) ∩ C = (A ∩ C) ∪ (B ∩ C), (A ∩ B) ∪ C = (A ∪ C) ∩ (B ∪ C)
(дистрибутивность).
Разностью множеств A и B называется множество C = A \ B,
состоящее из всех элементов множества A, не принадлежащих мно-
жеству B. Для множества C = A \ B используется также обозна-
чение C = A − B.
Дополнением множества A (до множества S) называется множе-
ство {A = S \ A.
({ – от латинского ”complementum” - дополнение.)
Пусть теперь I - некоторое множество (множество индексов), эле-
менты которого (индексы) будем обозначать через α. Пусть каж-
дому индексу α сопоставлено некоторое множество Aα ⊂ S.
Объединением множеств Aα называется множество ∪ Aα , состо-
α∈I
ящее из элементов, каждый из которых принадлежит хотя бы од-
ному из множеств Aα :
a ∈ ∪ Aα ⇐⇒ ∃ α ∈ I : a ∈ Aα .
α∈I
Пересечением множеств Aα называется множество ∩ Aα , состо-
α∈I
ящее из элементов, которые принадлежат всем множествам Aα :
a ∈ ∩ Aα ⇐⇒ a ∈ Aα ∀ α ∈ I.
α∈I
a ∈ { ∩ Aα ⇔ a ∈
/ ∩Aα ⇔ ∃ α ∈ I : a ∈
/ Aα ⇔
α α
⇔ ∃ α ∈ I : a ∈ {Aα ⇔ a ∈ ∪ {Aα .
α
Теорема доказана.
Опр. Декартовым произведением X1 × X2 × · · · × Xn множеств
X1, X2, . . . , Xn называется множество, элементами которого явля-
ются всевозможные упорядоченные наборы (x1, x2, . . . , xn) элемен-
тов xi ∈ Xi, 1 6 i 6 n. В случае X1 = X2 = · · · = Xn = X
возникает декартова степень множества X – множество
X n = X × X × · · · × X.
Последовательности множеств
Пусть {An}∞n=1 – последовательность множеств.
Опр. Верхним пределом последовательности {An}∞n=1 называет-
ся множество ∞ ∞
lim An = ∩ ∪ Ak .
n→∞ n=1 k=n
Опр. Нижним пределом последовательности {An}∞
n=1 называет-
ся множество ∞ ∞
lim An = ∪ ∩ Ak .
n→∞ n=1 k=n
Замечание 1.1. Элемент a принадлежит множеству lim An
n→∞
тогда и только тогда, когда существует подпоследовательность
{Ank }∞
k=1 такая, что a ∈ Ank для всех k > 1.
Следовательно
∞
lim An = lim An = lim An = ∩ An.
n→∞ n→∞ n→∞ n=1
Теорема доказана.
Аrс А
rс дзс , ".сдл( , . дr>дrэАл. .?Аrэ""
Во'lроr;сlьо*4я;. 9Б,€о^.7rц*ц
CJ И"эсл76ФрjьhюаI h.- ?€ч;е.llt-,ф
Теорема 1.3. Пусть {An}∞n=1 – возрастающая последовательность
∞
множеств. Тогда она сходится и lim An = ∪ An.
n→∞ n=1
Следовательно
∞
lim An = lim An = lim An = ∪ An.
n→∞ n→∞ n→∞ n=1
Теорема доказана.
Теорема 1.4. Для произвольной последовательности множеств
справедливо справедливы следующие формулы:
∞ ∞
∩ An = A1 \ ∪ (An \ An+1), (1.3)
n=1 n=1
∞ ∞
∪ An = A1 + ∪ (An+1 \ An). (1.4)
n=1 n=1
Iq\
Полпа,Е Цоо)fl
v
И,,4до.4\qr
4й)
ОФt M,tno,o6&A
*rф Пr"Ф?"",^вл_в
Опр. Говорят, что f есть отображение M на N , если f (M ) = N .
Отображение f называется взаимно однозначным, если оно яв-
ляется отображением M на N и для любого элемента y ∈ N его
полный прообраз f −1(y) состоит ровно из одного элемента. В этом
случае можно определить обратное отображение f −1 : N → M
правилом x = f −1(y). Оно также будет взаимно однозначным.
; п"
<-
r: s;tr#:
gл,ол
! ;"
Теорема 2.1. Прообраз объединения любой совокупности множеств
равен объединению их прообразов:
f −1(∪Bα ) = ∪ f −1(Bα ).
α α
Доказательство.
x ∈ f −1(∪Bα ) ⇔ f (x) ∈ ∪Bα ⇔ ∃ α : f (x) ∈ Bα ⇔
α α
−1
⇔ ∃α : x ∈ f (Bα ) ⇔ x ∈ ∪ f −1(Bα ).
α
Теорема доказана.
Теорема 2.2. Прообраз пересечения любой совокупности множеств
равен пересечению их прообразов:
f −1(∩ Bα ) = ∩ f −1(Bα ).
α α
Доказательство.
x ∈ f −1(∩ Bα ) ⇔ f (x) ∈ ∩ Bα ⇔ f (x) ∈ Bα ∀ α ⇔
α α
−1
⇔x∈f (Bα ) α ⇔ x ∈ ∩ f −1(Bα ).
α
Теорема доказана.
Теорема 2.3. Oбраз объединения любой совокупности множеств
равен объединению их образов:
f (∪ Bα ) = ∪ f (Bα ).
α α
Доказательство.
y ∈ f (∪ Bα ) ⇔ ∃ x ∈ ∪ Bα : y = f (x) ⇔
α α
⇔ ∃ α и ∃x ∈ Bα : y = f (x) ⇔ ∃ α : y ∈ f (Bα ) ⇔ y ∈ ∪ f (Bα ).
α
Теорема доказана.
Замечание 2.1. Утверждать, что образ пересечения равен пе-
ресечению образов нельзя даже для двух множеств. (Привести
соответствующий пример.) Однако всегда
f (∩ Bα ) ⊂ ∩ f (Bα ). (2.1)
α α