- •Предисловие
- •§1. Определение и примеры метрических пространств
- •Примеры метрических пространств
- •§2. Классификация точек и множеств в метрических пространствах
- •§3. Теоремы об открытых и замкнутых множествах
- •§4. Последовательности точек метрического пространства
- •§5. Свойства сходящихся последовательностей в некоторых метрических пространствах
- •§6. Полные метрические пространства
- •§7. Предел и непрерывность отображений метрических пространств
- •§8. Непрерывные отображения компактных пространств
- •8.1. Понятие компактных пространств. Необходимые условия компактности множеств
- •8.2 Непрерывные отображения компактных множеств и их свойства
- •§9. Принцип Банаха сжимающих отображений
- •Основные свойства сжимающих отображений
- •§10. Нормированные пространства
- •10.1.Линейныя пространства
- •10.2. Линейные нормированные пространства
- •Симвалом определено значение функции в точке х, которое называется нормой элемента х.
- •Таким образом, задание нормы на линейном пространстве преобразует его в нормированное пространство.
- •Примеры нормированных пространств
- •§ 11. Предгильбертовые пространства
- •Примеры предгильбертовых пространств
- •§ 12. Линейные операторы
- •12.1. Ограниченность и норма оператора
- •12.2. Непрерывность линейного оператора
- •12.3. Пространство операторов
Основные свойства сжимающих отображений
Теорема 9.2. Всякое сжимающее отображение метрического пространства Х в себя непрерывно на множестве Х.
Выберем любую точку хоХ . Для существует = >0 такое, что дляx Х xxo,x = из неравенства (9.1) следует, что x f(xo),f(x) xxo,x < = . Следовательно, отображение непрерывно в точке хоХ.
Отображение f непрерывное на множестве Х, поскольку оно непрерывное в любой точке х0 этого множества.
Теорема 9.3 ( принцип Банаха сжимающих отображений). Всякое сжимающее отображение полного метрического пространства (Х, ) в себя ( f: Х Х ) имеет неподвижную точку, причем единственную.
Замечание. Х не является пустым множеством.
Выберем любую точку х0Х и построим последовательность (хn) точек пространства Х по правилу:
x1 = f(xo), x2 = f(x1), x3=f(x2),…, xn=f(xn-1). (9.2)
Докажем, что в метрическом пространстве (Х, ) эта последовательность сходится к некоторой точке и что эта точка является неподвижной точкой отображения f.
1. Докажем, что последовательность (xn) фундаментальная, т.е.
(0)( Nn,m > N) [(xm,xn)].
Обозначим (x1,xо)=d (9.3). По условию теоремы f – сжимающее отображение. Используем неравенство (9.1) или определение (9.4). Имеем:
f(x1),f(xо)) = x2, x1 x1, xо = d,
f(x2),f(x1)) =x3, x2 x2, x1 2x1, xo =2d,
f(x3),f(x2)) x3, x2 2x2, x1 = 3d и г.д.
Пользуясь методом математической индукции можно доказать, что (xn+1,xn ) nd nN. (9.4)
Выберем произвольные натуральные числа m и n (m>n) и оценим расстояние xm, xn, воспользовавшись неравенством треугольника и неравенством (9.1).Получим:
xm, xn xm, xm-1 + xm-1, xn xm, xm-1 + xm-1, xm-2 +
+ xm-2, xn xm, xm-1 + xm-1, xm-22 + …+ xn+2, xn+1 + xn+1, xn
m-1d + m-2 d +…+ nd = d(m-1 + m-2 +…+ n) = d
xn, xm d .
Т.к. 0 < < 1, то m <1. Поэтому xn, xm d (9.5). Предел последовательности равен 0, если n (т.к. n – бесконечно убывающая прогрессия). Это значит, что последовательность бесконечно малая, и поэтому
n < . (9.6)
Из неравенств (9.5) и (9.6) следует xn, xm<. А это значит,что
0 Nn,m > N (xm,xn).
Таким образом, последовательность (9.2) фундаментальная.
2. Докажем, что последовательность (9.2) сходится к числу .
По условию теоремы (Х, ) - полное метрическое пространство, (хn) –фундаментальная последовательность и поэтому она сходится к элементу пространства (Х, ), т.е. существует точка Х такая, что
|
(9.7) |
3. Докажем, что - неподвижнаю точка.
Из равенства (9.7) следует, что а из равенства (9.2) f(xn-1) = xn . Поэтому
В силу теоремы (9.2) всякое сжимающее отображение является непрерывным. Поэтому Это доказывает неподвижность точки .
4. Докажем единственность неподвижной точки.
Используем метод от противного. Предположим, существует еще одна неподвижнаю точка х*. Таким образом существуют две точки , х*X такие, что f( ) = и f(x*) = x*.
Тогда
, x*=f( ), f(x*) , x* ( , x*) , x* ( , x*)(1 ) 0. Но это произведение может быть только неотрицательным, поскольку ( , x*) 0 и 0 < < 1. Таким образом = x*.
Замечание. При доказательстве теоремы построен метод нахождения неподвижной точки с помщью последовательности (9.2). Метад нахождения неподвижной точки называется методом итерации, или методом последовательных приближений.
Этим методом можно пользоваться при доказательстве того факта, что уравнение имеет единственное решение как для обычных алгебраических уравнений, так и для дифференциальных уравнений.
Пример. Пусть f –отображение отрезка [a,b] в отрезок [a,b]. Предполагается также, что функция дифференцируемая, а ее производная удовлетворяет условию:
f’(x) (0 < < 1) x [a,b].
Докажем, что уравнение f(x) = x (9.8) имеет единственное решение.
Заметим, что [a,b] – замкнутое множество полного метрического пространства R и поэтому подпространство Х = ([a,b] , (x,y) = хy) - полное метрическое пространство (Т.9.1) . Данная функция f является отображением этого пространства в себя. Функция f удовлетворяет условиям теоремы Лагранжа на [a,b], поэтому:
x1,x2a,b f(x1) – f(x2)f’()x1 x2 x1 x2.
Т.е. заданное отображение f – сжимающее отображение полного метрического пространства в себя. Поэтому по теореме Банаха существует одна точка [a,b] такая, что f( ) = . Это точка находится методом итерации с помощью последовательности (9.2).