Форум программистов, компьютерный форум, киберфорум
Qazan
Войти
Регистрация
Восстановить пароль
Блоги Сообщество Поиск  

Теоремы #1

Запись от Qazan размещена 13.04.2014 в 14:49
Показов 1899 Комментарии 0

Теорема (О своиствах полуметрик).

Пусть https://www.cyberforum.ru/cgi-bin/latex.cgi?X \neq  \emptyset . Если отображение https://www.cyberforum.ru/cgi-bin/latex.cgi?d : X\times X \to R
удовлетворяет условиям :
https://www.cyberforum.ru/cgi-bin/latex.cgi?<br />
 1. d(x,x) = 0 \ <br />
 2. d(x,y) \leq d(x,z) + d(y,z)
то https://www.cyberforum.ru/cgi-bin/latex.cgi?d - полу-метрика
Если d полуметрика ,то :

1. https://www.cyberforum.ru/cgi-bin/latex.cgi?\forall x,y,z \in X |d(x,z) - d(y,z)|  \   \leq  d(x,y)
2. https://www.cyberforum.ru/cgi-bin/latex.cgi?\forall x,y,u,v \in X |d(x,y) - d(u,v)|   \leq  d(x.u) + d(y,v)
3. https://www.cyberforum.ru/cgi-bin/latex.cgi?\forall A \subset X \  \forall y \in |d(x,A) - d(y,A)|\leq  d(x,y)
4. https://www.cyberforum.ru/cgi-bin/latex.cgi?\forall x,y \in X |d(x,y) \geq 0


Теорема #1. Каждое метрическое пространство Хаусдорфово.

Теорема (О свойствах шаров)
1. Пусть https://www.cyberforum.ru/cgi-bin/latex.cgi?(X.d) - полу-метрическое пространство.
https://www.cyberforum.ru/cgi-bin/latex.cgi? \forall x \in X , \forall R > r > 0 \   B_{r}(x) \subset B_{r}[x] \subset B_R(x)
2. Каждый открытый шар - открыт , а замкнутый шар - замкнут

Опр.Подмножество ПМП замкнуто ,если его дополнение открыто.
Пусть https://www.cyberforum.ru/cgi-bin/latex.cgi?A,B \subset X
1. Говорят, что https://www.cyberforum.ru/cgi-bin/latex.cgi?A плотно в B ,если https://www.cyberforum.ru/cgi-bin/latex.cgi?\it cl(A) \supset cl(B)
2. Говорят, что https://www.cyberforum.ru/cgi-bin/latex.cgi?A всюду плотно, если https://www.cyberforum.ru/cgi-bin/latex.cgi?\it cl(A) = X

Опр. ПМП наз. сепарабельным ,если оно содержит не более чем счетное, всюду плотное подмножество.
Теорема (о единственности предела)
В метрическом пространстве ,каждая сходящаяся последовательность имеет единственный предел.

Опр. Спектром линейного оператора σ(A) в комплексном банаховом пространстве https://www.cyberforum.ru/cgi-bin/latex.cgi?X называются такие https://www.cyberforum.ru/cgi-bin/latex.cgi?\lambda \in C , что оператор https://www.cyberforum.ru/cgi-bin/latex.cgi?A - \lambda{I} не обратим

Опр. Дополнение спектра называют резольвентным множеством обозначают https://www.cyberforum.ru/cgi-bin/latex.cgi?\varrho (A). А оператор https://www.cyberforum.ru/cgi-bin/latex.cgi?R_{\lambda}(A) = (A - \lambda I)^{-1} называют резольвентой https://www.cyberforum.ru/cgi-bin/latex.cgi?\forall \lambda \in \varrho (A)

Теорема Кантора (О равномерной непрерывности)
Каждое непрерывное отображение полного ПМП(Полного полу-метрического пространства) в другое ПМП равномерно непрерывно.

Теорема (Альтернатива Фредгольма)
Пусть К - компактный оператор в БП. https://www.cyberforum.ru/cgi-bin/latex.cgi?Ker(K - I) = 0 \Leftrightarrow (K - I)(X) = X

Опр. Полное нормированое пространство называется Банаховым.

Теорема.(Критерий непрерывности линейного оператора)
Пусть https://www.cyberforum.ru/cgi-bin/latex.cgi?X,Y - нормированнные пространства над общим полем https://www.cyberforum.ru/cgi-bin/latex.cgi?F , тогда https://www.cyberforum.ru/cgi-bin/latex.cgi?<br />
 \forall A:X \to Y , следующие утверждения эквивалентны :
1. A - непрерывен
2. А - непрерывен в нуле
3. А - равномерно непрерывен
4. А - ограничен
5. https://www.cyberforum.ru/cgi-bin/latex.cgi?\exists c > 0 \  |  \ ||Ax||_{Y} \leq c\dot ||x||_{X}

6. https://www.cyberforum.ru/cgi-bin/latex.cgi?||A|| := \sup_{||x||_{X} \leq 1} ||Az||_{Y}

Теорема (Неравенство Коши-Буняковского)
Пусть X - вектороное пространство со скалярным произведением
Тогда https://www.cyberforum.ru/cgi-bin/latex.cgi?(x,y)^{2} \leq (x,x)(y,y)
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
Всего комментариев 0
Комментарии
 
Новые блоги и статьи
Саморегулирующийся социальный контракт для сервера cross-section.
Hrethgir 14.08.2026
С кодом конечно таких глубоких размышлений пока не было, впрочем я уже привык к алгоритмизации. Суть предмета записи: снова в диалоге с нейросетью (я взял пока себе ник для учётки админа - Rector). . . .
Часы электронные
Uhbif79 12.08.2026
Выкладываю программу часов. Программа позволяет: 1. Использовать системное время и дату, 2. Есть возможность вводить время и дату вручную. 3. Реализованы 2 будильника: начало и конец рабочего дня. . . .
Часы с будильником на основе класса QLCDNumber
Uhbif79 12.08.2026
Всем добрый день, выкладываю программу часов с будильником на основе класса QLCDNumber. Здесь я пробовал самостоятельно создавал классы, впервые столкнулся с видимостью переменной одного класса из. . .
Установка MinGW GCC 16.2 и CMake
8Observer8 10.08.2026
VK Видео: https:/ / vkvideo. ru/ video-240781534_456239017 YouTube: eY5-5PyI9NM Текстовая версия
Неделя из жизни имитационной модели склада: мои кривые руки растут, откуда надо
anaschu 10.08.2026
Неделя из жизни имитационной модели склада: как я почти написал неправильную логику и что с этим делать Работаю сейчас над учебно-рабочим проектом: строю в AnyLogic имитационную модель процессов. . .
Калькулятор для расчета родства
russiannick 07.08.2026
1. Задача: Создать калькулятор для расчета родства. Родственных связей существует 8 ступеней, такие как: p - отец P - мать q - муж Q - жена b - брат B - сестра s - сын S - дочь
Мир по моей воле
kumehtar 07.08.2026
Когда-то кажется, что всё просто. Ты весь такой светлый. Причиняешь добро. Борешься за справедливость в этом тёмном мире. Потом начинаешь замечать одну неприятную вещь. Почти каждый хороший. . .
Кредитный калькулятор
Maks 05.08.2026
Решение задачи по прикладной информатике средствами 1С. Задача: Напишите приложение-калькулятор, которое помогает рассчитывать параметры кредита для аннуитетного и дифференцированного видов. . .
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2026, CyberForum.ru