Действительные числа:
Теорема: R - несчётное множество.
Док-во:метод от противного. Несчётность (0;1)
X1=0,n11n12n13…n1k… m1О{0,1,…,9}{9,n11}
X2=0,n21n22n23…n2k… m2О{0,1,…,9}{9,n22}
……………………… ………………………
Xk=0,nk1nk2nk3…nkk… mkО{0,1,…,9}{9,nkk}
a=0,m1m2…mk… Ю a№x1 a№x2 a№x3 …… a№xk
aП(0;1) Противоречие.
0<a<1 Ю R - несчётное множество.
Теорема: Q - Счётное множество.
Док-ть: Q+ - счётное, т.к. Q=Q-U{0}UQ+
Док-во:
Q+ - счётное множество, т.к. оно есть объединение счётного семейства счётных
множеств. Q- - Тоже, что и Q+ только все элементы множества отрецательные
. По теореме: Всякое множество счётных одмножеств явл. Само счётным Ю Q - сч. мн.
Предел числовой последовательности:
Пусть aОR, e>0 {x:| x-a|<e}
Последовательность {Xn} имеет конечный предел если сущ. такое число a?R, что кокого
бы нибыло e>0 почти все члены этой последовательности e - окрестность точки a.
Почти все - это значит за исключением быть может конечного числа.
$n0=n0(e)ОN: n>n0 Ю |xn-a|<e a=limxn , при n®Ґ
Свойства:
1. Единственность(Если предел есть, то только один)
Док-во: Метод от противного. a=limxn , b=limxn , при n®Ґ, a>b, a-b=e>0
$n0=n0(e/3):|xn-a|<e/3 и |xn-b|<e/3
e=a-b=(a-xn)-(b-xn)
e=|(a-xn)-(b-xn)|Ј |(a-xn)|+|(b-xn)|Ј2e/3
eЈ2e/3 Противоречие.
2. Ограниченность(Если последовательность имеет конечный предел, то она ограничена)
Дано: $limxn=a, при n®Ґ - конечный предел
Док-ть:$M>0:|xn|<M "n
Док-во: limxn=a, при n®Ґ:"e>0 $n0=n0(e):a-e<xn<a+e, при n>n0
Пусть e=1, тогда при n>n0(1) будет выполняться a-1<xn<a+1 или |xn-a|<1
Тогда |xn|<|(xn-a)+a|<|xn-a|+|a|<|a|+1 "n>n0(1)
P=max{|a1|,|a2|,…,|ano|}
M=max{P,|a|+1}Ю|xn|<M "n
3. Предел подпоследовательности(Если последовательность имеет предел а, то любая
её подпоследовательность имеет тоже предел а)
Свойства предельного перехода связанные с неравенствами:
Теорема 1. Пусть $limxn=x, при n®Ґ - конечный (1 последовательность)
$limyn=y, при n®Ґ - конечный (2 последовательность)
Если x<y, то для почти всех n xn<yn
Док-во: e=y-x>0
$n|=n|(e/3): |xn-x|<e/3 "n>n|
$n||=n||(e/3): |yn-y|<e/3 "n>n|
n0=max{n|,n||}, n>n0
x-e/3<xn<x+e/3 о
y-e/3<yn<y+e/3 м Ю xn<x+e/3<y-e/3<yn Ю "n>n0 xn<yn Что и т. док-ть.
Следствие: Если последовательность имеет предел отличный от нуля, то
эта последовательность отделена от нуля. Эта последовательность при больших n
сохраняет знак своего предела)
x=limxn, x№0
1) x>0 Предположим x>0 x/2>0Юx>x/2
limxn>x/2, при n®Ґ Из Т.1. следует, что $n0:"n>n0 xn>x/2>0
Теорема 2. Предположим, что $limxn=x и $limyn=y, при n®Ґ
Если для почти всех n:xnЈyn, то и xЈy
Док-во: Метод от противного. x>y по Т.1. Ю xn>yn для почти всех n
Противоречие.
Теорема 3. Теорема о двустороннем ограничении.
Пусь $limxn=limyn=a, при n®Ґ, и предположим, что xnЈznЈyn "n, тогда
1) Сущ. limzn, при n®Ґ
2) limzn=a, при n®Ґ
Док-во: $n|=n|(e):a-eЈxnЈa+e, "n>n|
$n||=n||(e):a-eЈynЈa+e, "n>n||
n0=max{n|,n||}
n>n0 Ю a-eЈxnЈznЈynЈa+e Ю a-eЈznЈa+e Ю $limzn=a
Бесконечно малые и бесконечно большие последовательности:
defы {xn}-б.м. :=limxn=0, при n®Ґ, т.е. "e>0 $n0=n0(e) n>n0 Ю |xn|<e
defы {xn}-б.б. :=limxn=Ґ, при n®Ґ, т.е. "e>0 $n0=n0(e) n>n0 Ю |xn|>e
Свойство 1. Произведение б.м. последов. на ограниченную даёт сного б.м.
{xn}-б.м. {yn}-ограниченная {xnyn}-б.м.
Док-во: $M>0:|yn|ЈM "n - значит ограничена.
"e>0 $n0=n0(e/M):n>n0 Ю |xn|<e/M Ю
Ю n>n0 |xnyn|=|xn||yn|Јe/M*M=e Ю {xnyn}-б.м.
Свойство 2. Произведение б.б. на посл. Отделённую от нуля даст б.б.
{xn}-б.б. и {yn}-отдел от нуля
Док-во: {1/xn*1/yn}=б.м.*огран.=б.м. (по 1-ому свойству)Ю {xnyn}-б.б.
Свойство 3. Сумма двух (любого кон. числа) б.м. послед. Даст снова б.м.
{xn} и {yn}-б.м. Ю{xn+yn}-б.м.
Док-во: "e $n|=n|(e/2):n>n| |xn|<e/2
$n||=n||(e/2):n>n|| |yn|<e/2
n0=max{n|,n||}
n>n0 Ю |xn+yn|Ј|xn|+|yn|<e/2+e/2=e
Для того чтобы получить это св-во с любым числом последовательностей
нужно применить метод мат. индукции.
Свойство 4. Сумма б.б. одного знака снова б.б. того же знака
Док-во: Очивиднл.
Неопределённые интегралы.
def / F(x) называется первообразной
для f(x) на [a;b] если F ў(x)=f(x)
У непрерывной функции первообразная
всегда есть.
Теорема: Различные первообразные
одной и той же функции отличаются
на одно и тоже постоянное слагаемое.
Док-во: F1(x) и F2(x) – первообразные для f(x)
F(x)= F1(x)- F2(x)
F ў(x)= F1ў(x)- F1ў(x)=f(x)-f(x)=0
F(x)=const
Def / Совокупность всех первообразных одной
и той же функции называется её
неопределённым интегралом.
Св-ва линейности:
Замена переменных в неопределённом интеграле
или методом подстановки.
Теорема: Пусть функция x=
x(t): (a;b)®(a;b), xОC1(a;b), fОC(a;b)
1) 
Ѕx=x(t)
2) Если xў(t) сохраняет знак, тогда
Ѕt=t(x)
Док-во: 1) d/dxF(x(t))=F ў(x(t))xў(t)=f(x(t))xў(t)
2) x(t) – строго монотонная Ю $обратная t=t(x)
Ѕt=t(x)
Интегрирование по частям.
Рекуррентная формула.
y=a+bx2 yў=2bx xyў=2bx2=2(y-a)
U=1/yn dx=dV dU=(-nyў/yn+1)dx V=x
In=x/yn+2nIn-2naIn+1
1) In+1=(1/2na)(x/yn+(2n-1)In), n№0, a№0
2) In=(1/(2n-1))(2naIn+1-x/yn), n№1/2, a№0
Поле комплексных чисел.
(x;y)=(x;0)+(y;0)(0;1)=x+yi
– алгебраическая запись комплексного числа
Чертёж :