chirskii-lectures-2sem
.pdfМатематический анализ I курс II семестр
Билет 15. Теоремы о сравнении для несобственных интегралов от неотрицательных функций
(стр. 1 из 2)
Билет 15. Теоремы о сравнении для несобственных интегралов от неотрицательных функций
Часто бывает важно установить не само значение интеграла, а только сходится он или нет. Для этого используются признаки сходимости. Особенно простой вид они имеют для неотрицательных функций. Это связано с тем, что для неотрицательной f (x)
b
интеграл F(b) f (x)dx есть неубывающая функция от b. Поэтому, используя теорему
a
Вейерштрасса о пределе монотонной ограниченной функции получаем, что сходимость такого интеграла равносильна ограниченности всех F(b), b в совокупности. Это соображение позволяет доказать важные теоремы сравнения.
Теорема 15.1. Пусть f1(x), f2 (x) определены и интегрируемы в обычном смысле
на любом [a;b), где b (а - |
либо бесконечно удаленная точка, либо R). Пусть |
|||||||||
при a a0 выполняется |
неравенство |
0 f1(x) f2 (x). Тогда если |
сходится |
|||||||
|
|
|
|
|
|
|
|
|
|
|
f2 (x)dx, |
то сходится и f1(x)dx. |
|
|
|
|
|
|
|
||
a |
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
►Доказательство. |
Во-первых, |
заметим, |
что |
сходимость интеграла |
f (x)dx |
|||||
|
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
равносильна сходимости интеграла |
f (x)dx , поскольку эти величины отличаются лишь |
|||||||||
|
|
|
|
a0 |
|
|
|
|
|
|
|
|
a0 |
|
|
|
|
|
|
|
|
постоянным слагаемым f (x)dx . |
|
|
|
|
|
|
|
|||
|
|
a |
|
|
|
|
|
|
|
|
|
b |
b |
|
|
|
|
|
|
|
|
Далее, |
b f1(x)dx f2 (x)dx , |
или F1(b) F2 (b). По доказанному выше, сходимость |
||||||||
|
a0 |
a0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
b |
|
|
f2 (x)dx |
равносильна |
ограниченности |
величины |
F2 (b) f2 (x)dx . |
Значит, C : b |
|||||
a0 |
|
|
|
|
|
|
|
a0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
F2 (b) C . |
Но тогда и |
F1(b) F2 (b) C , |
то есть F1(b) |
ограничена и, |
значит, |
f1(x)dx |
||||
сходится.◄ |
|
|
|
|
|
|
|
|
a0 |
|
|
|
|
|
|
|
|
|
|
||
Примечание. Эта теорема равносильна такой: при |
выполнении остальных условий |
|||||||||
|
|
|
|
|
|
|
|
|
|
|
теоремы, если f1(x)dx |
расходится, то расходится и f2 (x)dx. |
|
|
|||||||
|
a |
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Действительно, если бы f2 (x)dx сходился, то по теореме 1, сходился бы и |
f1(x)dx. |
a |
a |
Математический анализ I курс II семестр
Билет 15. Теоремы о сравнении для несобственных интегралов от неотрицательных функций
(стр. 2 из 2)
Теорема 15.2. Пусть при a x |
f1(x) 0, f2 (x) 0 |
и пусть lim |
f1(x) |
k 0, |
|
||||
|
|
x 0 |
f2 (x) |
где f1(x), f2 (x), как обычно, определены и интегрируемы в обычном смысле на
любом [a;b], где b . Тогда либо оба интеграла f1(x)dx, |
f2 (x)dx сходятся, либо |
a |
a |
оба расходятся. |
|
►Доказательство. Очевидно, что k 0 (т.к. то что k 0 следует из свойств предела,
и k 0 |
по условию). Тогда для |
|
|
k |
, используя определение предела, |
получаем, |
что |
||||||||||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
существует окрестность точки такая, |
|
|
|
|
f1(x) |
k |
|
|
k |
или |
k |
|
|
f1(x) |
|
3k |
|
||||||||||||||||||||||||||
что в ней |
|
или, |
|||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f2 (x) |
|
|
2 |
|
2 |
|
|
f2 (x) |
2 |
|
|
|||||||
|
|
|
|
|
|
|
k |
|
|
|
|
|
|
|
|
|
|
3k |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
так как |
f2 (x) 0, |
f2 |
(x) f1(x) |
f2 (x). |
Далее, если |
сходится |
|
f1(x)dx, |
то, |
по |
|||||||||||||||||||||||||||||||||
|
|
|
|||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
k |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
теореме 15.1, |
сходится |
|
f2 (x)dx |
и, |
значит, |
|
f2 (x)dx. |
Если сходится |
f2 (x)dx, |
то |
|||||||||||||||||||||||||||||||||
2 |
|||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
a |
|
|
|
|||||
|
|
|
3k |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
сходится |
f2 (x)dx и, значит, f1(x)dx. Теорема доказана.◄ |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
a |
|
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
Пример. Доказать, что интеграл ln(1 sin |
|
)dx сходится. |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
►Доказательство. 0 |
|
1 |
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
1 |
, |
значит, sin |
|
|
0 и |
ln 1 sin |
|
|
0. |
Кроме |
того, |
||||||||||||||||||||||||||||||
|
x2 |
x2 |
x2 |
||||||||||||||||||||||||||||||||||||||||
|
ln 1 sin 1/ x2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
sin 1/ x2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ln(1 t) t ,sint t |
|
|
||||||||||||||||||||||||
lim |
|
|
|
|
|
lim |
|
|
|
|
|
|
|
1. |
(Использовали, |
что |
при |
||||||||||||||||||||||||||
|
1/ x2 |
|
|
|
1/ x2 |
|
|||||||||||||||||||||||||||||||||||||
x |
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
t 0). Поэтому применима теорема 15.2. и сходимость доказана.◄
Математический анализ I курс II семестр
Билет 16. Абсолютно сходящиеся интегралы, условно сходящиеся интегралы (стр. 1 из 1)
Билет 16. Абсолютно сходящиеся интегралы, условно сходящиеся интегралы.
Перейдем к несобственным интегралам.
Определение 16.1. f (x)dx называется абсолютно сходящимся, если сходится
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
f (x) |
|
|
dx (и, разумеется, если f (x)dx существует для любого b ). |
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
Легко видеть, что абсолютно сходящийся интеграл сходится, что следует из критерия |
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
b |
|
|
|
|
||
Коши |
существования |
предела |
функции, |
примененного к |
F(b) f (x)dx и |
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
||
~ |
|
|
|
|
b |
f (x) |
|
dx. Дано, |
что 0 |
|
|
|
|
b2 |
f (x) |
|
dx . Но |
|||||||||||||||
F(b) |
|
B( ) 0 |
b1,b2 |
B( ), b1,b2 |
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
b1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
b2 |
|
|
|
|
|
|
b2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
тогда |
|
f (x)dx |
|
f (x) |
dx по свойству 9.5 и, значит, |
выполнен критерий Коши для |
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
b1 |
|
|
|
|
|
|
b1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
F(b) f (x)dx . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Вместе с |
|
|
тем, |
существуют |
сходящиеся |
интегралы |
f (x)dx |
такие, |
что |
|
f (x) |
|
dx |
||||||||||||||||
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
a |
|
|
|
|
расходится. |
Такие |
интегралы |
называются условно |
сходящимися. Примером |
|
служит |
||||||||||||||||||||||||||
|
|
|
|
|
|
1 |
sin x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
sin x |
dx |
dx |
sin x |
dx. |
Первое слагаемое – |
это собственный интеграл. |
|
Второй |
|||||||||||||||||||||||
|
|
|
|
|||||||||||||||||||||||||||||
0 |
|
|
x |
0 |
|
|
|
x |
1 |
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
интеграл, |
|
|
|
|
|
|
|
по |
|
|
|
|
|
|
определению, |
|||||||||||
sin x |
|
|
|
|
b sin x |
|
cosb |
|
cos1 |
b cosx |
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
dx lim |
|
|
x |
dx lim |
b |
|
1 |
|
|
x |
2 |
dx |
|
. Так как |
|||||||||
1 |
|
|
|
|
b |
1 |
|
|
b |
|
|
1 |
|
|
|
|
||||||||||
|
cosx |
|
|
|
|
1 |
dx |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
и |
|
|
|
|
- сходится, то рассматриваемый интеграл сходится. |
|||||||||||
|
|
x |
2 |
|
|
|
x |
2 |
|
x |
2 |
|||||||||||||||
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
равен |
|
cosb |
0, а |
|
lim |
|
|
|
|
|||
b |
b |
|
|
С другой |
стороны, |
если |
бы сходился |
|
sin x |
dx, то |
из неравенства |
|
sin x |
|
sin2 x |
||||||||||
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
1 x |
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
1 cos2x |
|
|||||||||
следовало бы, |
что |
|
sin2 x |
dx |
- сходится. |
Но это не так, |
поскольку sin2 x |
и |
||||||||||||||
|
|
|
||||||||||||||||||||
|
|
|
|
|
1 |
|
|
x |
|
|
|
|
|
2 |
|
|||||||
|
1 cos2x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
dx |
dx |
|
cos2x |
dx. Причем первый из интегралов расходится, а второй – |
|||||||||||||||||
|
|
|
||||||||||||||||||||
1 |
x |
1 x |
1 |
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
sin |
x |
|
|
сходится, что можно доказать аналогично доказательству сходимости |
dx . |
|||
x |
|
|||
1 |
|
|
Математический анализ I курс II семестр
Билет 17. Формулы приближённого интегрирования (стр. 1 из 3)
Билет 17. Формулы приближенного интегрирования
Пусть f (x)- непрерывная на отрезке [a,b] функция. Если удалось найти её первообразную F(x), то
b
f (x)dx F (b) F (a).
a
Однако во многих задачах отыскать первообразную в виде элементарной функции не
b
удаётся. Тем не менее, интеграл f (x)dx во многих случаях легко вычислить с требуемой
a
точностью, используя формулы приближённого интегрирования.
Простейшая формула может быть получена так. Разобьём всю фигуру – под графиком f на отрезке [a,b] - на вертикальные полоски равной ширины, а затем заменим каждую
из этих полосок прямоугольником, за высоту которого примем величину f ( i ) , где
xi i |
xi 1, |
i 0,1,...,n 1 и |
xi |
|
b a |
. При этом искомая площадь заменяется |
|
||||||
|
|
|
|
|
n |
площадью некоторой состоящей из прямоугольников ступенчатой фигуры. Иными словами, неполный интеграл заменяется его интегральной суммой. Эта приближенная
формула носит название формулы прямоугольников. В ней обычно берут i |
|
xi xi 1 |
и |
|
|||
|
2 |
|
обозначают эту величину xi 1 , а
2
|
|
|
|
y |
|
. Итак, формула прямоугольников (см. рис. 1) |
f x |
1 |
|
|
|||
|
i |
|
i |
1 |
||
|
2 |
|
2 |
|
b |
b a |
|
|
|
|
|
|
|
f (x)dx |
|
|
|
|
|
|||
|
|
|
y3 |
... y |
1 |
|
(1) |
|
n |
y1 |
|
||||||
a |
|
2 |
2 |
n |
|
|
|
|
2 |
|
Геометрические соображения – замена прямоугольника трапецией (см. рис. 2) – приводят к другой часто используемой формуле, формуле трапеций. В ней график f (x)
заменяется ломаной с вершинами в точках |
(xi , yi ), |
где yi |
f (xi |
), i 0,...,n; |
площади |
||||||||||||||||
|
b a y |
|
y |
|
|
|
b a y y |
|
|
|
b a y |
n 1 |
y |
n |
|
||||||
получающихся трапеций равны |
|
|
|
0 |
1 |
|
, |
|
|
|
1 |
2 |
|
,…, |
|
|
|
|
. |
||
|
|
|
|
|
|
2 |
|
|
|
|
2 |
|
|||||||||
|
n |
|
2 |
|
|
n |
|
|
|
n |
|
|
|
Сложив эти площади, получим формулу трапеций:
b
f (x)dx
a
Какова точность этой формулы.
|
b a y |
0 |
y |
n |
y |
|
... y |
|
|
(2) |
||
|
|
|
|
1 |
n 1 |
|
||||||
n |
|
|
2 |
|
||||||||
|
|
|
|
|
|
|
|
Без доказательства сообщим, что если f (x) обладает
второй производной f |
|
|
|
M |
2 |
max |
f |
|
, то абсолютная погрешность |
|||
(x) на [a,b], и если |
(x) |
|||||||||||
Rn формулы (2) удовлетворяет неравенству |
|
|
|
|
x [a,b] |
|
|
|
||||
|
|
|
|
|
|
|
|
|
||||
|
R |
n |
M |
2 |
|
(b a)3 |
|
. |
|
|
||
|
|
|
12n2 |
|
|
|||||||
|
|
|
|
|
|
|
|
|
Математический анализ I курс II семестр
Билет 17. Формулы приближённого интегрирования (стр. 2 из 3)
Если вместо приближения графика функции ломаными линиями использовать приближения параболами, то, для четного числа n получим формулу
b |
h |
(y0 yn) 4(y1 y3 ... yn 1) 2(y2 y4 ... yn 2 ) , |
|
|
f (x)dx |
(3) |
|||
3 |
||||
a |
|
|
называемую формулой Симпсона (параболической формулой).
Точность этой формулы, при условии существования f IV (x), x [a,b], оценивается так:
Rn (b a)45 M4 , где M4 max f IV (x) 180n x [a,b]
Попробуем теперь решить те же самые задачи, привлекая вероятностные соображения.
|
1 |
Для этого снова вернёмся к однократному интегралу |
f (x)dx и вспомним, что |
|
0 |
геометрически он представляет собой площадь области |
A, ограниченной графиком |
функции f (x) (рис.3). |
|
Проведём опыт, заключающийся в бросании случайным образом (т.е. в соответствии с принципом геометрической вероятности) двух точек на отрезок [0,1]. Обозначим координату одной из них через , а другой – через и отложим и по осям абсцисс и
Математический анализ I курс II семестр
Билет 17. Формулы приближённого интегрирования (стр. 3 из 3)
ординат соответственно (см. рис.3). Проверим выполнение неравенства f ( ) . Справедливость этого неравенства означает, что точка ( , ) попала в область A. Но в соответствии с принципом геометрической вероятности вероятность P(A) попадания точки ( , ) в область A есть отношение площади A к площади единичного квадрата, т.е.
1
P(A) f (x)dx.
0
Повторим описанный выше опыт n раз и по результатам наблюдений определим
частоту f |
nA |
появления события A, т.е. попадания точки ( , ) в область A. |
|
n |
|||
|
|
Поскольку по теореме Бернулли частота f с ростом n стремится к вероятности P(A), то, подставляя вместо вероятности P(A) ее значение, получаем приближенное равенство
1
f (x)dx f nA ,
n
0
которое и служит для оценки интеграла по результатам случайных испытаний.
Описанный метод приближенного вычисления определенного интеграла носит название метода статистических испытаний или метода Монте-Карло (город МонтеКарло – место сосредоточения всемирно известных игорных домов). Название «метод Монте-Карло» связано с тем, что проводимые испытания очень напоминают подбрасывание монеты, бросание игральной кости или игру в рулетку.
Имеется существенное качественное различие между погрешностями, возникающими при применении методов численного интегрирования и метода МонтеКарло. В первом случае при выполнении соответствующих условий можно дать гарантированную оценку точности, т.е. указать достоверные границы, в которых обязательно будет заключено истинное значение вычисляемого интеграла. Во втором случае гарантированную оценку нельзя дать в принципе, а можно сказать только, что отклонение значения интеграла, вычисленного методом Монте-Карло, от истинного значения этого же интеграла не превосходит некоторой величины с определенной вероятностью.
Математический анализ I курс II семестр
Билет 18. Пространство Rn, множества в нем (стр. 1 из 3)
Билет 18. Пространство n , множества в нём.
Напомним, что арифметическое n-мерное пространство n представляет собой
множество точек x (x1,...,xn),xi ,i 1,...,n.
Это векторное пространство с операциями суммы x y и произведения на число , определяемыми так
x y (x1 y1,...,xn yn ), y (y1,...,yn ).x ( x1,..., xn )
|
|
|
|
Более того – это евклидово пространство со скалярным произведением |
|
|||||||||||||||||||||
( |
|
|
|
|
) x1 y1 |
... xn yn . Следовательно, определена норма вектора |
|
, равная |
|
|||||||||||||||||
x |
y |
x |
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
x |
|
|
|
xi2 |
и расстояние между |
x |
и |
y |
,заданное формулой: |
|
|||||||||||||||
|
|
|
|
|
|
|
|
i 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|||||||
|
|
|
|
|
( |
x |
, |
y |
) |
x |
|
y |
|
(xi yi )2 |
(1) |
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
i 1 |
|
При n 2 и n 3 эта формула становится очевидной формулой для расстояний на плоскости и в пространстве, поэтому общую формулу (1) для расстояния можно рассматривать как естественное обобщение известных формул на случай n-мерного пространства.
В курсе линейной алгебры было доказано:
1.x, y (x, y) 0, причем (x, y) 0 x y;
2.x, y (x, y) (y,x);
3.x, y,z (x,z) (x, y) (y,z).
Свойство 3 называется неравенством треугольника.
Определение 18.1. Множество, на котором определена функция , обладающая свойствами 1-3, называется метрическим пространством, а - метрикой (или
расстоянием) а этом пространстве.
Итак, Rn - метрическое пространство с расстоянием .
Математический анализ I курс II семестр
Билет 18. Пространство Rn, множества в нем (стр. 2 из 3)
Определение 18.2. - окрестностью точки a Rn называется множество точек x n таких, что (x,a) . Обозначим ее U (a) (рис. 1)
Определение 18.3. Пусть a A Rn . Тогда a называется внутренней точкой этого множества, если 0:U a A (рис. 2)
Определение 18.4. E Rn - открытое множество, если все его точки – внутренние.
Примеры: интервал, круг без границы.
Определение 18.5 Пусть A Rn . Точка a Rn называется предельной точкой множестваA, если 0 U a A .
Определение 18.6. F Rn называется замкнутым множеством, если оно содержит все свои предельные точки.
Примеры: отрезок, круг с границей.
Замечание. Часто вместо «круглых» окрестностей рассматривают
«прямоугольные», т.е. x |
: |
|
xi ai |
|
,i 1,...,n . |
|
|
Легко видеть, что каждую «круглую» окрестность можно вписать в «прямоугольную» и наоборот (рис. 3, 4).
Математический анализ I курс II семестр
Билет 18. Пространство Rn, множества в нем (стр. 3 из 3)
Определение 18.7. Множество K называется компактным если из любой бесконечной системы открытых множеств G такой, что K G можно выбрать
конечное число 1,..., m так, что K G 1 ... G m .
Иными словами, из любого покрытия K можно выделить конечное подпокрытие.
Теорема 18.1. (без доказательства) K Rn компактно тогда и только тогда, когда
оно ограниченное (т.е. содержится в некотором шаре с центром в начале координат) и замкнутое.
Математический анализ I курс II семестр
Билет 19. Функции и отображения. Предел, непрерывность (стр. 1 из 3)
Билет 19. Функции и отображения. Предел, непрерывность.
Определение 19.1. Функция f (x) f (x1,...,xn ), f (x): R сопоставляет элементам множества Rn (называемого областью определения) числа y R.
Определение 19.2 Отображение f (x): X Rm сопоставляет элементам множества
Rn элементы y Rm .
Таким образом, функция – это частный случай отображения (m 1). Задать отображение – это все равно, что задать m функций
y1 |
f1(x1,...,xn) |
||||
|
|
|
|
|
. |
|
|
|
|
|
|
y |
m |
f |
m |
(x ,...,x ) |
|
|
|
1 |
n |
Примеры.
1.z x y - функция двух переменных, паре (x, y) сопоставляет число z,z x y.
2.Отображение R3 R2 y1 x1 x2 x3 .
y2 x12 x22 x32
x acost
3.Вектор-функция R1 R3 y asint,t (x, y,z). Винтовая линия.
z bt
Пусть a Rn ,b Rm , f : Rn Rm ,a - предельная точка области определения f .
b lim f (x) V(b) U(a) x U(a) f (x) V(b).
x a
“Конкретизируя” окрестности, это определение в метрических пространствах
|
|
|
|
f : Rn Rm |
0 |
0 |
x U (a) |
f (x) V (b), или, для |
|
|
0 |
0 |
x:0 (x,a) |
( f (x),b) . Или 0 |
0 |
|||||||
|
|
|
|
|
|
|
Rn |
Rm |
|
||||
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
x |
:0 |
(x j |
aj )2 |
выполняется неравенство |
|
|||||||
|
|
|
|
j 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
m |
|
|
|
|
|
|
|
|
|
|
|
|
|
( f1( |
x |
) bi )2 |
(1) |
||
|
|
|
|
|
|
|
|
i 1 |
|
|
|
|
|