Vvedenie_v_analiz_2013
.pdfиндексов ¡, то будем писать B = fb®g или B = fb®g; ® 2 ¡. Запись A = fx : : : :g означает, что множество A состоит из всех таких элементов x, которые удовлетворяют условию,
написанному после двоеточия, и только из них.
Множество B является подмножеством A, или содержится в A (запись B ½ A), если каждый элемент из B является элементом множества A. Например, множество юношей класса является подмножеством всех учеников класса.
Множества A и B называются равными (запись A = B ) тогда и только тогда, когда одновременно выполнено A ½ B и B ½ A, т.е. когда они состоят из одних и тех же элементов.
Множество, не содержащее ни одного элемента называется пустым и обозначается ;.
Подмножества некоторого множества , отличные от него самого и от пустого множества, называются собственными.
Объединением множеств A и B называется множество, состоящее из всех элементов, каждый из которых входит по крайней мере в одно из множеств A или B . Обозначение :
|
|
def |
|
|
x 2 Bg |
A [ B . Таким образом, A [ B = fx : x 2 A |
|
||||
Здесь и далее символ |
def |
означает, что |
равенство является |
||
= |
|||||
|
|
W |
|
||
определением, то есть то, что стоит по одну сторону от знака равенства (обычно слева), является новым объектом и определяется с помощью выражения, стоящего по другую сторону.
Пересечением множеств A и B называется множество,
состоящее из всех |
элементов, |
каждый из |
которых входит |
||||
|
в A, и в B . |
Обозначение: A |
\ |
B . Таким |
|||
одновременно иdef |
|
|
x 2 Bg |
|
|
||
образом, A \ B = fx : x 2 A |
|
и |
пересечение |
||||
Аналогично |
определяются |
объединение |
|||||
|
|
V |
|
|
|
|
|
произвольной совокупности множеств. По определению полагают:
11
; ½ A для любого множества A, A [ ; = A для любого A.
Если множества A и B не имеют общих элементов, то
полагают A |
|
|
B = ;. |
|
|
|
|
|
|
|
Для множеств легко доказываются соотношения: |
|
|||||||||
|
T |
|
|
|
|
|
|
|
|
|
1) |
|
³A [B´\C = ³A \C´[³B \C´ |
|
|||||||
2) |
|
³A B´ |
C = ³A C´ ³B C´: |
|
||||||
Разностью |
|
множеств A и B называется множество |
||||||||
|
\ |
[ |
[ |
\ |
[ |
|
||||
состоящее |
|
из |
всех |
элементов |
принадлежащих |
A и |
||||
не принадлежащих |
B . |
Обозначение: |
A |
n B . |
Это |
|||||
определение, |
|
как и ранее, |
можно |
записать |
символически: |
|||||
def |
|
|
|
|
|
|
|
|
|
|
A n B = fx : x 2 A Vx 62Bg
Если B ½ A, то A nB называется дополнением множества B до A, или дополнением B в A.
Для любой системы множеств A® , ® 2 ¡ и любого множества X справедливы формулы:
[\
|
|
|
|
|
|
|
|
|
1)Xn |
A® = |
|
|
(XnA®) |
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
®2¡ |
|
|
|
|
®2¡ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
\ |
|
|
|
|
[ |
(XnA®): |
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
2)Xn |
A® = |
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
®2¡ |
|
|
|
®2¡ |
|
|
|
|
|
|
|
|
|
|
|
|
||
|
Докажем формулу 1). |
|
x 2 X , x 62 |
|
A® , т.е. x 62A® с |
|||||||||||||||||||||||||
|
a) x 2 Xn |
|
A® , тогда |
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
®2¡ |
|
|
|
|
|
|
|
|
|
|
|
®2¡ |
|
|
|
|
|
|
|
|
|||
любым ® |
|
|
¡. |
x |
|
X A |
® |
|
¡ |
, т.е. |
x |
|
S |
|
(X A ) |
. |
|
|
|
|||||||||||
2 |
S |
2 |
|
n |
® , |
|
2 |
|
|
|
|
|
|
n |
® |
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
®2¡ |
|
|
|
|
|
|
||||||||
|
b) |
x |
|
|
|
|
(X A ) |
, тогда |
x |
|
|
X A |
® |
для любого ® ¡, |
||||||||||||||||
|
|
|
2 |
|
|
|
n |
® |
|
|
2 |
|
n |
|
T |
|
|
S |
|
|
2 |
|||||||||
x X |
|
|
|
|
A® . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
x |
|
|
|
|
|
®2¡ |
x |
|
A |
, ® любое, поэтому |
x |
|
|
|
A |
|
, т.е. |
||||||||||||
т.е. |
|
2 |
S |
|
T |
|
62 |
® |
|
|
|
|
|
|
|
|
|
|
|
|
|
62 |
|
|
® |
|
||||
2 |
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
®2¡ |
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
®2¡
12
Декартовым произведением множеств
называется множество A1 £A2 £¢ ¢ ¢£Am всех упорядоченных
наборов (x1; x2; : : : ; xm), где x1 2 A1; x2 2 A2; : : : ; xm 2 Am . Декартово произведение m равных множеств A обозначается
Am .
Понятие отображения, функции.
Пусть M и E непустые множества. Пусть D ½ M Отображением f множества D в множество E будем
называть правило по которому каждому элементу x 2 D , называемому аргументом отображения, сопоставляется некоторый элемент f(x) из множества E . Множество D при этом называют областью определения (задания) отображения f или говорят, что отображение f определено на множестве D и принимает значения в множестве E . Иногда для области определения отображения используют обозначение D(f). Для отображения f часто используются обозначения:
y = f(x); x 2 D или x 7!y = f(x); или f : D ! E;
Если по каким-то причинам не уточняется, какое именно множество представляет собой область определения D(f) ½ M отображения f , то говорят, что отображение действует из множества M в множество E (принимает значения из множества E ) и обозначают этот факт с помощью более общей записи
f : M ! E:
Можно также определить отображение из множества M в множество E как некоторое множество упорядоченных пар вида (x; y), где x пробегает множество D ½ M , то есть как некоторое подмножество декартова произведения M £ E . Однако такой объект чаще называют графиком отображения.
13
Если E числовое множество, то есть значениями отображения являются числа, то отображение чаще всего называют функцией.
Если аргумент x отображения (функции) y = f(x) может быть представлен как элемент некоторого декартова произведения D1 £ D2 £ ¢ ¢ ¢ £ Dn , то есть как упорядоченный
набор x = (x1; x2; : : : ; xn); где x1 2 D1; x2 2 D2; : : : ; xn 2 Dn , то f называют отображением (функцией) n переменных
(аргументов) и при этом пишут y = f(x) = f(x1; x2; : : : ; xn). Элемент y = f(x) множества E называется значением
отображения f в точке x, или образом элемента x при отображении f .
Иногда значение отображения f в точке x0 обозначается следующим образом:
f(x0) = f(x)jx=x0:
Пусть A некоторое множество из D . Совокупность
ff(a) : a 2 Ag
всех элементов вида f(a), где a 2 A называется образом множества A, при отображении f и обозначается f(A), f(A) ½ E .
Множество f(D) называется множеством значений отображения f и обозначается R(f).
Говорят, что f отображает D "на"E или является сюръекцией, если выполнено f(D) = E (Если каждый y 2 E , является образом хотя бы одного x из D ).
Отображение f называется инъекцией (f : D ! E ), если из условия x1 , x2 2 D , x1 62x2 =) f(x1) 62f(x2).
Отображение являющиеся одновременно и сюръекцией и инъекцией называется биекцией, или взаимнооднозначным
14
соответствием между D и E . Такое отображение каждому элементу множества D сопоставляет единственный элемент множества E (8x 2 D 9 ! y = f(x) 2 E пока пропустим эти обозначения, но после прочтения следующего раздела нужно непременно вернуться к этому фрагменту) и наоборот, каждый элемент множества E является значением (образом) единственного элемента (прообраза) из множества D
(8y 2 E 9 ! x 2 D : y = f(x)).
Пусть B ½ E . Прообразом множества B при отображении f называется множество всех тех элементов x 2 D , образы которых принадлежат B . Обозначение: f¡1(B).
f¡1(B) = fx : x 2 D; f(x) 2 Bg
Для образов и прообразов множеств справедливы следующие соотношения:
[[
f(A B) = f(A) f(B);
\ |
\ |
f(A B) ½ f(A) |
f(B); A; B ½ D |
1 f¡1(A [B)1= f¡1(A) [1 f¡1(B); |
|
f¡ (A \B) = f¡ (A) \f¡ (B); A; B ½ E |
|
Определение. Пусть f отображает множество D на f(D) взаимно–однозначно. Тогда для любого y 2 f(D) найдется единственный элемент x из D такой, что y = f(x). Обозначим этот x через f¡1(y), тем самым на множестве f(D) определено некоторое отображение f¡1 со значением D . Это отображение называется обратным по отношению к f .
Таким образом, для любого y 2 f(x) : x = f¡1(y) эквивалентно y = f(x). Ясно, что f¡1 есть биекция f(D) на
D .
15
Сужение отображения. Пусть f : M ! E
отображение с областью определения D ½ M , пусть A ½ D . Cужением отображения f на множество A называется отображение множества A в множество E определенное по тому же правилу, что и f , но только для x 2 A.
Обозначается fA , fjA . Таким образом, fA : A ! E;
fA(x) = f(x) для любого x 2 A.
Определение. Пусть f : D ! E , g : E ! Z . Отображение h : D ! Z определяемое по правилу h(x) = g(f(x)), x 2 D называется композицией (суперпозицией) отображений f и g и обозначается: g ± f , т.е.
(g ± f)(x) = g(f(x)):
Неопределенные высказывания. Некоторые предложения могут считаться истинными или ложными высказываниями в зависимости от того, какое значение принимает переменная, которая участвует в этом предложении. Такое предложение называется неопределенным высказыванием, или предикатом. Например, предложение
P (x; y) := fx + y = 5g
является истинным высказыванием при x = ¡7; y = 12 и ложным высказыванием при x = 3; y = 6.
Более точно, предикатом называют функцию, аргументами которой могут являться элементы любого происхождения, а значениями являются высказывания или, что равносильно, элементы множества f0; 1g из двух элементов. Если при этом предикат P можно представить как функцию n переменных
x1 2 D1; x2 2 D2; : : : ; xn 2 Dn : P = P (x1; x2; : : : ; xn), то говорят, что предикат P является n-местным.
Неопределенное высказывание превращается в
16
определенное с помощью специальных операций, называемых кванторными. Кванторная операция может быть определена как приписывание каждой переменной, участвующей в неопределенном высказывании, особого значка, называемого квантором:
9 (квантор существования) существует; найдется; найдется хотя бы один.
8 (квантор всеобщности) для всех, для любого, для всякого, какой(-ая, -ое) бы ни был(-а, -о) .
9! существует строго один; существует единственный. Если P (x; y) неопределенное высказывание, то
высказывания 8x 8y P (x; y) или 9x 8y P (x; y) уже являются обычными (определенными) высказываниями. Например,
8x 8y x+ y = 5 ложное высказывание. 9x 9y x+ y = 5истинное высказывание. 8x 9y x + y = 5 истинное высказывание. 9x 8y x + y = 5 ложное высказывание.
Пусть P некоторое свойство, которым могут обладать или не обладать элементы множества D (если обладают, то это записывают P (x)):
1) Пусть существует элемент x 2 D , обладающий свойством P . В символической записи:
9x 2 D : P (x)
2) Все элементы x 2 D обладают свойством P .
8x 2 D : P (x)
Правило отрицания высказывания, записанного с помощью кванторов существования и всеобщности
1.Каждый квантор всеобщности 8 заменяется квантором существования 9.
2.Каждый квантор существования 9 заменяется квантором всеобщности 8.
17
3. Неопределенное высказывание P (x) заменяется своим отрицанием : P (x).
Пример:
:(8x x + 7 = 0) () (9x x + 7 6= 0)
:(9x x + 7 < 0) () (8x x + 7 > 0)
Правило отрицания высказывания 9!x : P (x)
:(9!x P (x)) () (8x : P (x))_(9x19x2(x1 6= x2^P (x1)^P (x2)))
Пример:
:(9!x x + 7 < 0) () (8x x + 7 > 0)_
_(9x19x2(x1 =6 x2 ^ x1 + 7 < 0 ^ x2 + 7 < 0)):
Таким образом, при переходе к противоположному утверждению квантор существования заменяется на квантор общности и наоборот. А встречающиеся в формулировке свойства заменяются на противоположные.
Пример:
f : R ! R
f периодическая : 9T > 0; 8x 2 R : f(x + T ) = f(x) f непериодическая : 8T > 0; 9x 2 R : f(x + T ) 6= f(x)
Логическое следование. Конструкция теоремы. Прямая и обратная теоремы. Необходимое и достаточное условие. Противоположное утверждение. Доказательство от противного.
Построение любого раздела математики, как и самой математики в целом, включает в себя
18
–определения, которые представляют собой договоренности о терминологии,
–аксиомы, представляющие собой утверждения (высказывания), истинность которых принимается без доказательства, и, наконец,
– теоремы, то есть утверждения, |
которые |
должны |
|||
быть |
доказаны |
либо исходя |
из |
аксиом, |
либо на |
основе |
ранее |
доказанных |
теорем. |
Иногда |
вместо |
термина "теорема"употребляют |
термины "предложение", |
||||
"утверждение", "лемма"(вспомогательное утверждение). Очень многие теоремы формулируются в виде импликации
(логического следования) вида A(q) =) B(q), где q элемент некоторго множества M .
Здесь A условие (гипотеза, предположение) теоремы, Bвывод (заключение, утверждение) теоремы.
Кроме того, применяются следующие названия. A достаточное условие для B , признак B . B необходимое условие для A, свойство A.
Такие теоремы читаются следующим образом: "из A следует B ", "B является следствием A", "A влечет B ", "для A необходимо, чтобы выполнялось B ", "для B достаточно, чтобы выполнялось A", "A выполняется только при условии B "и т.п., как и в случае обычной импликации высказываний.
Формально логическое следование определяется следующим образом:
fA(q) =) B(q)g ´ f8q 2 M (A(q) ! B(q))g:
Часто вместо термина "логическое следование"опять используется термин "импликация". Такая неоднозначность не страшна, поскольку из контекста обычно ясно, о чем идет речь, кроме того, в курсе математического анализа используется
19
лишь логическое следование, так что эти термины мы можем просто считать синонимами.
Применим к высказыванию A(q) =) B(q) правило отрицания высказывания, записанного с помощью кванторов существования и всеобщности. Вспомним при этом, что отрицание импликации - это конъюнкция предпосылки и отрицания заключения. Получим:
: fA(q) =) B(q)g ´ :f8q 2 M (A(q) ! B(q))g
´ f9q 2 M (A(q) ^ : B(q))g
Это приводит нас к простому правилу: для опровержения теоремы вида A(q) =) B(q) достаточно построить лишь один пример элемента q 2 M , для которого предпосылка A(q) верна, а заключение B(q) ложно. Такой пример называют контрпримером.
Пример. Доказать, что из того, что число четно, не следует, что оно делится на 4.
Доказательство: число 6 четно, но не делится на 4. Этот контрпример показывает, что импликация fЧисло четноg ) fЧисло делится на 4g неверна.
Если поменять местами условие A(q) теоремы A(q) =) B(q) и ее вывод B(q), то получим теорему вида B(q) =) A(q), которую называют обратной теоремой. При этом теорему A(q) =) B(q) называют прямой.
Из того, что верна прямая теорема, не следует, что верна обратная теорема.
Пример:
Прямая теорема: "Если натуральное число делится на 10, то оно четно верна.
Обратная теорема: "Если натуральное число четное, то оно делится на 10 неверна.
20
