- •Властивості віддалі. Означення метричного простору і найкращого наближення елемента множини метричного простору.
- •Приклади метричного простору, елементами яких є довільні об’єкти.
- •Лінійні простори. Приклади
- •Лінійні нормовані простори. Приклади. Властивості норми.
- •3. Неперервність норми.
- •4. Властивість рівномірної неперервності функціонала норми.
- •Евклідові простори.
- •Означення і приклади евклідових просторів.
- •Опуклі множини
- •Критерії опуклості множини:
- •Опуклі функціонали
- •Достатні умови опуклості функції від однієї змінної.
- •Теорема 1 (достатня умова строгої опуклості функції від однієї змінної в точці).
- •Критерії знаковизначеності матриць
- •Теорема 1 (критерії Сильвестра знаковизначеності і невизначеності матриць)
- •Достатні умови опуклості функції від багатьох змінних
- •Теорема 1 (достатня умова строгої опуклості функції від n-змінних)
- •1. Методом перерізів встановимо вид поверхні Якщо:
- •Нескінченна диференційовність добутку функцій і складної функції
- •Нерівність між середніми
4. Властивість рівномірної неперервності функціонала норми.
Функціонал норми рівномірний неперервний на всьому лінійному нормованому просторі, тобто:
Доведення:
Використовуючи нерівність 2 і означення рівномірного неперервного функціонала, одержимо:
О6. Функціонал називається неперервним в точці x0 лінійного нормованого простору, якщо знайдеться таке, що для елемента х з простору, віддаль якого до х0 менша випливає, що віддаль між образами елементів х і х0 менша , тобто:
.
Кожен рівномірно неперервний функціонал є неперервним.
Наслідок.
Функціонал норми неперервний на всьому лінійному нормованому просторі, тобто: .
Доведення:
Якщо і , то з означення 5 випливає означення 6 і наслідок доведено.
Евклідові простори.
Означення і приклади евклідових просторів.
О1. Евклідовим простором називається лінійний простір над полем С або R, для елементів якого введено поняття скалярного множення.
Скалярним множенням в лінійному просторі називається відображення , яке кожну впорядковану пару елементів відображає в єдине дійсне або комплексне число, яке називається скалярним добутком цих елементів і позначається при цьому виконуються такі аксіоми:
1. .
2. .
3. .
Приклад.
1.
2.
Перевіримо виконання аксіоми 1 скалярного добутку.
використовуючи означення евклідового простору і означення скалярного добутку, і властивості комплексних спряжених чисел, одержимо:
Перевіримо виконання аксіоми 3 скалярного добутку. Використовуючи означення нульової послідовності, маємо:
3.
1)
2)
Використовуючи означення скалярного множення, означення рівності елементів в просторі і властивості інтеграла Лебега зв’язані з нерівностями
3) .
Властивості скалярного добутку:
Означення норми в евклідовому просторі. Нерівність Шварца
Властивості:
1.
2. Скалярний добуток довільного елемента на нульовий елемент дорівнює 0, тобто:
3. Нерівність Шварца:
Модуль скалярного добутку будь-яких двох елементів евклідового простору не перевищує добутку норм цих елементів і в нерівності має місце знак рівності т і т.д. коли ці елементи лінійно залежні, тобто:
Використовуючи аксіоми скалярного добутку і властивість 1 маємо:
(1)
а) .
б) .
Покладемо і підставимо в (1). Тоді
В нерівності Шварта має місце знак рівності тоді і тільки тоді, коли має місце знак рівності в нерівності (2).
Нерівність доведена.
О2. Нормою довільного елемента евклідового простору називається корінь квадратний з скалярного добутку цього елемента на себе, тобто:
О3. Променем в лінійному просторі породжений ненульовим елементом x називають множину всіх елементів цього простору, пропорційних елементу x з невід’ємним коефіцієнтом пропорційності і позначають
4. Норма суми двох довільних елементів евклідового простору не перевищує сумі норм цих елементів і в нерівності має місце знак рівності тоді і тільки тоді коли елементи належать одному й тому ж променю, тобто:
Доведення:
Використовуючи означення норми, аксіоми скалярного добутку і властивості спряжених комплексних чисел і нерівність Шварца, одержимо:
В нерівності (1) має місце знак рівності, коли має місце знак рівності в нерівності Шварца і реальна частина комплексного числа дорівнює модулю цього комплексного числа, тобто
З означення скалярного добутку і останньої нерівності випливає, що для виконуються аксіоми норми. Тому евклідів простір є нормованим.