Студопедия

Главная страница Случайная страница

КАТЕГОРИИ:

АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника






Примеры метрических пространств






Пример 1.1. Пусть R – множества действительных чисел. Для любых чисел x, yÎ R введем функцию r (x, y) = ½ х- в ½ (1.1). Очевидно, что (1.1) удовлетворяет аксиомам 1 и 2 метрики. Покажем, что функция r удовлетворяет аксиоме 3

" x, y, zÎ R:

r (x, y) = ½ х - в ½ = ½ х- z + z- в ½ £ ½ х - z ½ + ½ z - в ½ = r (x, z) + r (z, y).

Пара (R, r), где r определено равенством (1.1) – метрическое пространство. Его обозначают R или R 1.

Пример 1.2. Множества М= [ a, b ] с метрикой r (x, y) = ½ х- в ½ " x, yÎ [ a, b ]обозначают Х = ([ a, b ], r). Х – подпространство метрического пространства R, поскольку [ a, b ] Ì R .

Пример 1.3. Множества рациональных чисел Q с метрикой, которая определена формулой (1.1) для всех x, y Î Q, является метрическом пространством. Пространство Х = (Q, r) – подпространство метрического пространства R и обозначается через Q.

Пример 1.4. Обозначим через R m множества упорядоченных совокупностей m действительных чисел . Элементы множества R m называются векторами (точками) и обозначаются одной буквой х = (х1, х2, …, хm), y = (y1, y2 , …, ym). Числа х1, х2 , …, хm – координаты вектора х. Элементы х и в равны между собой, т.е. х = в, тогда и только тогда, когда х 1 = у 1, х 2 = у 2, …, хm = уm.

На множестве R m введем функцию r (x, y):

" x, yÎ R m. (1.2)

Покажем, что пространство (Rm , r) = R m, где r определено равенством (1.2), является метрическом пространством.

Функция r удовлетворяет первым двум аксиомам метрики. Для того, чтобы показать, что функция удовлетворяет аксиоме 3, докажем две леммы.

Лемма 1.1. Для любых действительных чисел ak, bk, k= 1, 2, , m, имеет место неравенство Коши-Буняковского:

(1.3)

3Рассмотрим функцию

Поскольку квадратный трехчлен неотрицательный, то дискриминант неположительный:

4

Лемма 1.2. Для любых действительных чисел ak, bk, где k = 1, 2, …, m имеет место неравенство Минковского:

. (1.4)

3

Þ .4

Покажем, что для функции (1.2) выполняется аксиома 3 для любых трех точек х = (х1, х2, …, хm), y = (y1, y2 , …, ym), z = (z1, z2, …, zm). Обозначим

ak = xk – zk, bk = zk – yk Þ ak + bk = xk – zk + zk – yk= xk – yk. (1.5)

Подставим в неравенство (1.4) значения из (1.5) и получим

Þ

Þ r (x, y) £ r (x, z) + r (z, y). 4

Пример 1.5. Рассмотрим также множества R m , но r зададим с помощью формулы

где х = (х 1, х 2, …, хm), y = (y 1, y 2, …, ym) – произвольные точки (векторы) пространства R m. Докажем, что функция (1.6) удовлетворяет аксиомам метрики.

Функция r удовлетворяет первым двум аксиомам метрики. Покажем, что r удовлетворяет аксиоме 3 для любых трех точек

х = (х 1, х 2, …, хm), y = (y 1, y 2, …, ym), z = (z 1, z 2, …, zm)пространства Rm.

3

Þ r (x, y) £ r (x, z) + r (z, y). 4

 

Пример 1.6. Рассмотрим множества С [ a, b ] всех действительных функций, непрерывных на [ a, b ]. Для любых двух функций x (t) и y (t) из этого множества положим

(1.7)

Равенство (1.7) – чебышовское расстояние между функциями x (t) и в (t). Покажем, что функция r (x, y)– метрика на множестве С [ a, b ].

Функция r удовлетворяет первым двум аксиомам метрики. Покажем, что r удовлетворяет аксиоме 3.

3Пусть x, y, z Î С [ a, b ]. Тогда t Î [ a, b ]. Оценим разность

½ x (t) - y (t= ½ x (t) - z (t) + z (t) - y (t£ ½ x (t) - z (t+ ½ z (t) - y (t£

r (x, y) £ r (x, z) + r (z, y). 4

Пример 1.7. Рассмотрим l2 – множества различных числовых последовательностей х 1, х 2 ,..., хn … действительных чисел, для которых сходится ряд . Для любых двух элементов х = х 1, х 2 ,... и в = у 1, у 2... этого множества определим

. (1.9)

Т.к. ряд сходится, то формула (1.9) определяет функцию для любых х, вÎ l 2. Сходимость этого ряда легко доказать с помощью признака сравнения рядов, если учесть сходимость рядов и и очевидное неравенство .

Функция r, заданная формулой (1.9), удовлетворяет аксиомам 1 и 2 (Очевидно). Докажем, что она удовлетворяет и аксиоме 3.

3Для любых трех элементов x, y, z множества l 2 имеет место неравенство

Þ r (x, y) £ r (x, z) + r (z, y). 4

 


Поделиться с друзьями:

mylektsii.su - Мои Лекции - 2015-2024 год. (0.008 сек.)Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав Пожаловаться на материал