Математический анализ

1.Счетные и несчетные множества. Счетность множества рациональных чисел.

Множество - совокупность некоторых объектов

Элементы множества - объекты составляющие множество

Числовые множества - множества элементами которых являются числа.

Задать множество значит указать все его элементы:

1 Способ: А={а: Р(а)} эти записи Читать- множество тех а таких что...

A={а-Р(а)} равноценны

Р(а) - предикат = высказывание об элементе, бывает ложно или истинно по отношению к кокретному элементу. Множество А состоит из тех а для которых предикат истина.

2 Способ: Конструирование из других множеств:

AB = {c: cA cB}, AB = {c: cA  cB}, A\ B = {c: cA  сB}

U - универсальное множество (фиксированное)

UA; U \ A = A’ = cA (A’ - дополнение множества A)

Свойства:

1. A(BC)=(AB)C - ассоциативность; AB=BA - коммутативность; A=A; AU=U

2. A (BC)=(AB)(AC) & A (BC)=(AB)(AC) - дистрибутивность; А=А

A” =A - закон исключающий третьего (AB)’=A’B’; (AB)’=A’B’; AA’=

Иллюстрация свойств: Диаграммы Эйлера-Венна.

"=>" c(AB)’ => cAB => cA & cB => c A’ & cB’ => cA’B’

" cA’ & cB’ => cA & cB => cAB => cAB)’

Отображение множеств:

f:Aна множестве А задано отображение f со значением множества B

aA; b=> b - образ элемента а при отображении f; a - прообраз элемента b при отображении f

Так как для каждого элемента из А ставится в соответствие элемент из В, значит А - область определения (Dom f=А), а область значенийB (Im f B)

Для отображения задают: 1) способ 2) Dom 3) Im

Отображение f инъективно если f(x)=f(x’) => x=x’(разные переходят в разные)

Отображение f сурьективно если Im f =B(каждый переходит в каждый)

Если же отображение инъективно+сурьективно, то множества равномощны(содержат одинаковое кол-во элементов), а отображение биективно - взаимооднозначно.

Счетные множества - множества равномощные множеству натуральных чисел (N)

Теорема: Множество Q счетно.

Докозательство: Q=

Лемма 1:  nN Z/n - счетно.

Каждому элементу из N надо взаимноднозначно сопоставить элемент Z/n:

10/n 5-2/n

2/n 63/n

3-1/n 7-3/n

42/n ...

Лемма 2: Объединение счетного или конечного(не более чем счетного) числа счетных множеств - счетно.

А1={а₁₁, а₁₂, а₁₃,...}

А2={а₂₁, а₂₂, а₂₃,...}

А3={а₃₁, а₃₂, а₃₃,...}

...

Применяем диагональную нумерацию (а₁₁ - 1; а₂₁ - 2; а₁₂ - 3; а₃₁ - 4; а₂₂ - 5...) и таким образом взаимнооднозначно сопоставляем каждому элементу из таблицы его номер, значит объединение счетного или конечного числа счетных множеств - счетно.

Часть может быть равномощна целому: (-1,1) равномощен R (через полуокружность и лучи)

Из Леммы1 и Леммы 2 получаем: Множество рациональных чисел счетно

2. Определение действительного числа бесконечной десятичной дробью. Плотность Q в R.

Действительные числа - множество чисел вида [a₀],а₁ a₂ а₃... где а₀Z а₁,а₂,а₃,...{0,1,...,9}

Действительное число представляется в виде суммы целой и дробной части:

[а_о],а₁ а₂ а₃...а_к (0) = а_о + а₁/10 + а₂/100 + ... +а_к/10^k = [а_о],а₁ а₂ а₃...а’_к (9), где а’_к=а_к-1

х=[х_о],х₁ х₂ х₃...х_к...

у=[у_о],у₁ у₂ у₃...у_к...

х’_к - катое приближение икса с недостатком = [х_о],х₁ х₂ х₃...х_к

у”_к - катое приближение игрека с избытком = [у_о],у₁ у₂ у₃...у_к + 1/10^k

х’_к+1 > х’_к (х’_к - монотонно растет)

у”_к+1  у”_k (у”_{k -} не возрастает), т.к. у”_к=[у_о],у₁ у₂ у₃...у_к + 1/10^к

у”_к+1 = [у_о],у₁ у₂ у₃...у_к у_к+1 + 1/10^к+1

у”_к - у”_к+1 = 1/10^к - у_к+1 + 1/10^к+1 0

10 - у_к+1 - 1 / 10^к+1  0

9 у_к+1

Определение: 1) х > у к: х’_к > у”_к

2) х = у х’_к не> у”_к & у”_к не> х’_к

По определению получаем, что [1],(0)=[0],(9)

Свойства: 1)х, у либо ху, либо х=у

2) х>у & у>z => х>z

3) х не> х

Док-во (2): х>у у>z

х’к>у”к у’m>z”m

n=max{k;m}

х’nх’к>у”ку”n у’n у’m>z”mz”n

у”n>у’n => х’n>z”n

Определение: Если АR и  х,уR  аА: х у”к х  х’к у”к  у

х  х’к / 2 + х’к / 2 > х’к / 2 + у”к / 2 > у”к / 2 + у”к / 2 > у

Видим: х > х’к / 2 + у”к / 2 > у, где (х’к / 2 + у”к / 2)Q

3.Несчетность множества действительных чисел.

Теорема: R несчетно.

Доказательство от противного:

1х₁=[х₁], х₁₁ х₁₂ х₁₃... |

2х₂=[х₂], х₂₁ х₂₂ х₂₃... | Пусть здесь нет девяток в периоде

3х₃=[х₃], х₃₁ х₃₂ х₃₃... |

... | (*)

кх_к=[х_к ], х_к1 х_к2 х_к3... |

... |

Найдем число которого нет в таблице:

с=[с], с₁ с₂ с₃...

[с][х₁] => сх₁

с₁  {9;х₂₁} => сх₂

с₂  {9;х₃₂} => сх₃

...

с_к  {9;х_к+1к} => сх_к

Таким образом С - число которое отсутствует в таблице (*)

5.Теорема Дедекинда о полноте R

Пусть 1) 0АR; 2)  aA,  b: а SupA=m => b: bm => B ограничено снизу => InfB=n, mn

Докажем, что m = n:

Пусть mс (с’n₀ x_Ny_Nz_N и Lim x_N=x, Lim z_N=z, причем x=z, то Lim y_N=y => x=y=z.

Доказательство: n>n₀ x_Ny_Nz_N

Возьмем произвольно Е>0, тогда  n’: n>n’ x_N(х-Е,х+Е) &  n”: n>n” z_N(х-Е,х+Е) => n>max{n₀,n’,n”} y_N(x-E,x+E)

Похожие работы

Билеты по математическому анализу

Скачать

46169

0

217

... и докажите сходимость полученного разложения к порождающей функции. Исследовать на абсолютную и условную сходимость . Зав. кафедрой -------------------------------------------------- Экзаменационный билет по предмету МАТЕМАТИЧЕСКИЙ АНАЛИЗ Билет № 12 Сформулируйте теорему Ролля и объясните ее геометрический смысл. Исследуйте функцию на выпуклость и вогнутость. Какая ...

Вклад Л.Эйлера в развитие математического анализа

Скачать

31365

0

0

... «Математических лекциях о методе интеграла»[9]. Здесь дан способ взятия большинства элементарных интегралов и указаны методы решения многих дифференциальных уравнений первого порядка.   2 Вклад Л.Эйлера в развитие математического анализа   Леонард Эйлер (Euler, Leonhard) (1707–1783) входит в первую пятерку величайших математиков всех времен и народов. Родился в Базеле (Швейцария) 15 апреля ...

О полноте систем упражнений по математическому анализу

Скачать

28459

2

2

... педагогически значимого подмножества, на основе которого можно было бы провести углубленное изучение понятия экстремума в его взаимосвязях с другими понятиями математического анализа. Во-вторых, объективно получается, что традиционные коллекции упражнений созданы не столько для изучения понятия экстремума, сколько для иллюстрации методов дифференциального исчисления для его отыскания. Этого вполне ...

Аппарат теории двойственности для экономико-математического анализа. Анализ одномерного временного ряда

Скачать

17837

7

5

... решений целевая функция принимает в точке (0; 6), и это значение равно .     рис. 1 - Графическое решение задачи линейного программирования ЗАДАЧА 2   Использовать аппарат теории двойственности для экономико-математического анализа оптимального плана задачи линейного программирования Для изготовления четырех видов продукции используют три вида сырья. ...