§ 3. Эвклидовы и унитарные пространства
Специальным классом линейных пространств являются пространства со скалярным умножением, позволяющие перенести на общий случай линейных пространств некоторые геометрические понятия и результаты.
Скалярным произведением на линейном пространстве X называется функция X2 ® R(C),(a, b) ® ab e R(C),
удовлетворяющая аксиомам:
СУ1. Инволютивность
.
"a, b e х [ ba - ab ] .
СУ2. Левая аддитивность.
"a1, a2, be х[(a1 + a2)b - a1b + a2b].
СУ3. Левая однородность.
"a e R(C)"a, b e х^^ - a(ab)].
Число ab e R называется скалярным произведением векторов a, b e R. a • a называется скалярным квадратом и
обозначается a2. Если "a Ф в ^ a2 Ф 0, то скалярное умножение называется невырожденным. Если "a Ф 0 ^ a2 > 0, то скалярное умножение называется положительно определенным. Вещественное линейное пространство с положительно определенным скалярным умножением называется эвклидовым пространством, комплексное - унитарным пространством.
Примеры эвклидовых пространств
Геометрические пространства, D2, D3.
a • b -11 a || || b ||cos(a, b).
Rn, a - (a1,a2,...,an), b - (Д,А,...,А,),
ab -ab+a2p2 +... + anb
C [ a, b].
b
x (f) j (t)-(R) j x(f) j<f)df.
a
Примером унитарного пространства является Cn со скалярным произведением ab - a1b1 + a2fi2 +... + anfin. В частности, a2 - a1a1 + a2a2 +... + anan.
Простейшие свойства эвклидовых пространств
"a е X[ a
6=6a =66= 0].ab =
6"a е X ^ b =6.Правая аддитивность:
"a1, b1, b2 е X [ a (b + b2) = at\ + ab2 ].
Правая однородность:
"a,bе X"bе R[a(bb) = b(ab)].
Дистрибутивность для разностей:
"a, b, се X[( a - b) с = ac- bc a a(b - c) = ab - ac].
Свойства унитарных пространств аналогичны эвклидовым, кроме свойств, связанных с умножением второго вектора на число:
су1
a (bb) = (bb)a = bba = b • ba = bab и т. д.
Важной отличительной особенностью эвклидовых и унитарных пространств является рассмотрение ортогональности векторов, являющейся обобщением геометрической перпендикулярности: a 1 b :: = ab = 0.
Примеры
D2, D3 a 1 b a ^ b) = 90°.
Rn, a 1 b ^ a1b1 + a2b2 +... + a„b„ = 0.
C„, a 1 b ^ a1b1 +
a2b2+... + a„b„ = 0 .
b
C[ a, b], x( t )1 j( t)«( R) j x( t) j( t) dt = 0.
a
Свойства ортогональности
a 1 b ^ b 1 a.
a 1 b "a е X ^ b = 6.
a 1 a ^ a = 6.
a 1 b ^ aa 1 bb.
5. a 1 bk, k = 1 + m ^ a 1ДА+ДЬ + ... + fimbm. Пусть S = { ak}keI - не более чем счетное множество векторов. Если k Ф j ^ ak 1 aj, то S :: = ортогональная. Известно, что ортогональная система ненулевых векторов линейно независима. Линейно независимое множество векторов можно ортогонализовать процессом ортогонализации Грамма - Шмидта.
Пусть S = { ak }keI линейно независима. Необходимо
построить по S систему T = { bk }keI ортогональную. Принимаем
1 1 a2b a3b a3b2 b = a1 . b2 = a2 b ' b3 = a3 " -jjT b b2" Ъ2 и т. д.
Если dim X < IC0, то ортогонализовав Bas X, получим
ортогональный Bas1X. a 1 S означает a 1 b, "b e S. S1 1 S2 ^ a 1 b"a e S1, "b e S2.
В эвклидовых и унитарных пространствах выполняется важное неравенство.
Теорема 1 (Неравенство Коши - Буняковского - Шварца)
" a, b e X [| ab\ <y[a2yfb2 ] .
Доказательство 1
При b = в, ab = ad = 0, 4b2 = sfd2 =40 = 0,
VO^Vb2 = 0, 0 = 0.
b Ф 0. Рассмотрим скалярный квадрат
(а -lb)2 > 0,"ie R(C).
(а - lb)2 - (а - 1b)(a - lb) = aa - a(ib) - (lb)a + (1b)(1b) =
= a2 - lab -lab + lib2 > 0. ab
Положим I = — (при b Фв^ b2 > 0 ), b2
a2 - ab - a~b + lib2 > 0. b2 b2
Умножим на b2 > 0 11 =| 112 = ^. Имеем:
a2b2 - (ab)(ab) - (ab)(ab)+ | ab |2 = a2b2 - | ab |2 - | ab |2 + | ab |2 = = a2b2 - | ab |2 > 0 ab |2 < a2b2.
Поскольку обе части неотрицательны, то | ab |< .
Теорема доказана.
Наличие положительно определенного скалярного произведения позволяет ввести норму.
Теорема 2
Функция V (a) = "[а2 есть норма на X.
Доказательство
Проверим выполнение аксиом нормы.
Неотрицательность. V(a) = +V02 > 0 "a е X.
Отделимость. V(6>) = л/в2 = V0 = 0 .
(a ) = 0 ^VO2 = 0 ^ a2 = 0 => a = в.
Абсолютная однородность.
V(la) = V(la)2 = V(1a)(1a) = V(11)a2 = V1112 a2 = =| 11 уШ2 =| 11 V(a).
Субаддитивность.
V(a + b) = V(a + b)2, V(a) + V(b) = Va2 + Эти числа
неотрицательны.
Сравним квадраты.
2(a + b) = (a + b)2 = (a + b)(a + b) = a2 + ab + bc + b2 = = a2 + ab + ab + b2.
Если ab = a + fii, то ab = a - fii.
ab + ab = 2a е R
.
(V(a)+V(b))2=(ja)2 = a2+b2+27a7 vb2.
2a < 2yl a2 + b2 = 2 | ab |. По теореме 1: 2 | ab |<
Тогда V2(a + b) < (V(a) + V(b))2 ^ V(a + b) < V(a) + V(b). Теорема доказана.
Эта норма называется эвклидовой.
Yandex.RTB R-A-252273-3- Теория функций действительной переменной
- Теория функций действительной переменной
- П 2. Разделы тфвп
- 1. Литература для математиков-теоретиков научного направления. Содержит больше материала, чем наша программа предусматривает:
- 2. Литература для математиков-теоретиков педагогического направления. Содержит практически весь нужный материал и другие вопросы:
- 3. Сборники задач:
- Раздел 1. Дескриптивная теория функций.
- Глава 1. Элементы общей теории множеств.
- § 1. Множества, подмножества
- § 2. Действия над множествами
- III. Разность множеств
- IV. Дополнение к множеству
- § 3. Мощность множества
- § 4. Сравнение мощностей
- § 5. Счетные множества
- 1) Из каждого бесконечного множества можно выделить счетное подмножество, причем так, что останется бесконечное множество. Доказательство
- 4) Объединение конечного числа счетных множеств счетно. Доказательство
- 5) Объединение счетного дизъюнктного семейства конечных множеств счетно. Доказательство
- § 6. Мощность континуума
- 8O Если элементы множества определяются конечным или счетным количеством индексов, каждый из которых независимо от других принимает c значений, то это множество имеет мощность c. Следствие
- 9O Объединение континуального дизъюнктного семейства множеств мощности c есть множество мощности c . Доказательство
- § 7. Функциональная мощность
- § 8. Упорядоченные множества
- § 9. Вполне упорядоченные множества Определение
- § 10. Трансфинитные числа
- § 11. Континуум - гипотеза
- Глава 2. Множества в пространстве Rn
- §1. Метрические пространства
- §2. Специальные точки множеств
- §3. Открытые множества
- 40. Ш (x0, r) есть открытое множество.
- §4. Замкнутые множества
- 0 С f с Rn. Vx0 е g. Точка X не может быть точкой
- 0 С g с Rn . Пусть x0 - любая точка прикосновения f,
- 30 . Пересечение произвольного непустого и объединение конечного семейств замкнутых множеств замкнуты.
- 1. Существует бесконечное множество номеров /
- X е (X j y)' имеем (X j y)' с X' j y. /
- §5. Структура откры1ты1х и замкнутыых множеств на прямой
- §6. Множества на плоскости, в пространстве и в Rn
- Глава 3. Функции вещественных переменных
- §1. Непрерывность функций
- §2. Непрерывные функции на замкнутых множествах
- §3. Точки разрыва
- 2. Если не существует хотя бы одного из односторонних пределов, то это точка разрыва 2-го рода.
- §4. Последовательности функций
- §5. Классификация Бэра
- §6. Функции ограниченной вариации
- 20. Функция класса Липшица (r. Lipschitz) есть фов. ► "(t),
- 60. Разность фов есть фов. Аналогично 50.
- 70. Произведение фов есть фов.
- 2. Достаточность
- 1. Необходимость.
- Раздел 2. Метрическая теория функций
- Глава 1. Измеримые множества § 1. Движения в пространстве Rn
- § 2. Проблемы построения меры
- § 3. Мера Жордана
- 2. Канторово множество f0.
- 4°. Конечная аддитивность меры Жордана. Если
- § 4. Построение меры Лебега
- § 5. Мера открытых множеств
- § 6. Мера замкнутых множеств
- § 7. Внутренняя и внешняя меры
- § 8. Измеримость множеств
- § 9. Класс измеримых множеств
- § 10. Сходимость почти всюду
- § 11. Мера Лебега в пространстве Rn
- § 12. Связь мер Жордана и Лебега
- § 13. Мера абстрактных множеств
- 5. Найти меру Лебега множества
- § 1. Измеримость функции
- 60. Если f измеримы на X, то измеримыми будут такие
- § 2. Последовательности измеримых функций Теорема 1
- § 3. Структура измеримых функций
- 2. F( X) не ограничена. По теореме 1 построим
- Глава 3. Интеграл
- § 1. Интеграл Римана
- 1. Необходимость
- 2. Достаточность
- 1. Необходимость
- § 2. Интеграл Стилтьеса
- § 3. Интеграл Лебега
- § 4. Сравнение интегралов Римана и Лебега
- § 6. Обобщенный интеграл Лебега от функций произвольных знаков
- 10. Суммируемая функция почти всюду конечна.
- 20. На множестве меры нуль суммируема любая функция и интеграл равен нулю.
- 3 Lim Sr(t) - c(b- a) - (r)Jcdx.
- 5. Вычислить (l)j f (X)dx, f (X)
- 8. Суммируема ли на (-1,8), f (X) - dx
- (0,1)Глава 4. Пространства суммируемых функций
- § 1. Линейные пространства
- § 2. Нормированные линейные пространства
- III. Пространства последовательностей 1. Ограниченных последовательностей, m или .
- § 3. Эвклидовы и унитарные пространства
- X становится линейным нормированным пространством. Примеры
- § 4. Гильбертовы пространства
- § 5. Пространство суммируемых функций l (х)
- If (X )e l ( х), le r, то l ( х) есть вещественное линейное
- § 6. Пространство функций с суммируемым квадратом
- § 7. Пространства функций, суммируемых с данной
- X X у Имеем требуемое неравенство. Теорема доказана.
- § 8. Пространства последовательностей 1 p
- § 9. Пространства l2( X) и 12
- 1 В пространство
- Теория функций действительной переменной конспект лекций
- 4 Достаточность