Полнота и плотность, сепараб. пр-ва. Банаховы, Гильбертовы пр-ва.

Опр(Крит. Коши): Рассмотрим в норм. пр-ве послед. эл. . Эл. наз. пределом послед. , если при . Если есть предел , то будем писать или при и говорить, что послед. сходится к или просто сходится. Назовём окрестностью т. любо открытый шар .

Опр: Пусть – нормированное пр-во. Послед. наз. фундаментальной, если для любого номер такой, что для номеров и натуральных выполняется нерав.: .

Опр(Банаховы пр-ва): Нормированное пр-во наз. полным, если в нём всякая фундаментальная послед. сходится. Полное нормированное пр-во наз. банаховым пространством.

Примеры:Пр-во банахово. (Действительно, на вещ. числовой оси имеет место крит. Коши: для того чтобы послед. была сходящейся необходимо и достаточно, чтобы она была фундаментальной. Т.е. вся вещ. ось заполнена точками – вещ. числами, на ней нет «дыр»,т.е. что она полна.) Пр-во банахово, (т.к. в тоже справедлив критерий Коши).

Опр(Линейное многообразие): Мн-во в лин. пр-ве наз. лин. многообразием (лин. мн-вом), если для и любых скаляров , линейная комбинация: .

Опр(Аффинное многообразие): Пусть – лин. многообразие в лин. пр-ве . Фикс. т. . Тогда мн-во наз. аффинным многообразием в . В трёхмерном пр-ве всякая прямая и всякая плоскость, не проходящие через начало коорд., являются аффинными многообр.

Опр(Плотность): Линейное многообразие , лежащее в нормированном пр-ве , наз. плотным в , если для и найдётся эл. такой, что .

Опр(Базис): Пусть – бесконечномерное банахово пр-во. Послед (или наз. базисом в , если любой эл. может быть однозначно представлен в виде сход. ряда: . При этом скаляры наз. координатами эл. в базисе . Из однозначности представления (разложения) по базису вытекает лин. незав. всякого конечного набора векторов базиса.

Опр(Сепарабельность): Нормированное пр-во наз. сепарабельным, если в нём счётное, плотное в множество.

Примеры: Банахово пр-во со счётным базисом сепарабельно. Любое конечномерное пр-во сепарабельно (достаточно фикс. в нём базис и рассмотреть мн-во эл. с рациональными коорд).

Опр(Гильбертовы пр-ва): Пространство со скалярным произведением наз. гильбертовым, если оно полно в норме, порождённой скалярным произведением, и обозначают буквой .

Простейший пример: полное евклидово пр-во .

Пусть – поле чисел над которым задано скалярное произведение. Тогда если пр-во действительное, если пр-во комплексное.

Пр-во : Оно состоит из всех таких послед. , где , для которых сходится ряд: . Скалярное произведение и норма для векторов , определяются формулами: , . Пр-во полно и содержит счётное всюду плотное множество векторов , у которых коорд. рациональны и лишь конечное их число отлично от нуля. Поэтому – сепарабельное гильбертово пр-во.

Пр-во (пр-во Лебега): Пусть – это измеримое пространство с положительной мерой. Измеримые ф. , у которых при будем обозначать как (или или – пр-во Лебега. Разбивая ф. из класса на классы эквивалентных ф. (Факторизация), получим класс при . Важным свойством (Для нас) является норма (точнее полунорма), определяемая формулой: .По теореме Риса-Фишера, пр-во полно, т.е. любая фундаментальная послед. в сход. к эл. этого же пр-ва. Следовательно – банахово пр-во.

Пр-во : В случае норма порождается скалярным произведением. Таким образом, вместе с понятием «длины» здесь имеет смысл и понятие «угла», а следовательно и смежные понятия, такие как ортогональность и проекция. Скалярное произведение определяется так: – интеграл Лебега при . Или проще: . А норма порождается скалярным произведением: . Т.к. по теореме Риса-Фишера любое полно, то – гильбертово.

Опр(Ортогональность): Пусть – пространство со скалярным произведением. Если скалярное произв. , то эл. и будем называть ортогональными и писать . Очевидно, нуль пр-ва ортог. любому эл.

Опр(Ортогональные доп.): Пусть – лин. многообразие в . Совокупность всех эл. из , ортогональных к , называется ортогональным дополнением к и обозначается: .

Теорема: – подпространство в .

Таким образом, гильбертово пространство есть банахово пространство (полное нормированное пространство), норма которого порождена положительно определённым скалярным произведением и определяется как .