Прямое топологическое дополнение

Прямо́е топологи́ческое дополне́ние подпространства линейного топологического пространства — любое подпространство линейного топологического пространства такое, что его прямая топологическая сумма с исходным подпространством есть всё линейное топологическое пространство.

Дополняемое подпространство — подпространство, для которого имеется прямое топологическое дополнение.

Вместо линейного топологического пространства рассматривают также его частный случай: локально выпуклое пространстве.

Ортогональное дополнение подпространства гильбертова пространства — частный случай прямого топологического дополнения.

Другой частный случай прямого топологического дополнения — прямое алгебраическое дополнение.

Обобщение прямого топологического дополнения — дизъюнктное дополнение множества.

Формальное определение Формально определение прямого топологического дополнения можно записать следующим образом. Рассмотрим линейное топологическое пространство и оно есть прямая алгебраическая сумма своих подпространств и — линейных топологических пространств с индуцированной топологией. Но при , , , билинейное отображение прямого произведения на пространство , которое непрерывно по причине линейности топологии , в общем случае не взаимно непрерывно.

Когда же это отображение взаимно непрерывно, то есть это гомеоморфизм, другими словами, пространство есть прямая топологическая сумма пространств и , то тогда подпространство называется прямым топологическим дополнением подпространства , которое, в свою очередь, называется при этом дополняемым.

Но в общем линейном топологическом пространстве не всякое его подпространство, пусть даже и конечномерное, дополняемо.

Подпространство пространства дополняемо тогда и только тогда, когда имеется непрерывный проектор пространства на подпространство .

Подпространство пространства дополняемо тогда и только тогда, когда подпространство топологически изоморфно фактор-пространству , где — прямое алгебраическое дополнение .

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

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

Ортогональное дополнение

Ортогональное дополнение подпространства гильбертова пространства — частный случай прямого топологического дополнения.

Ортогональное дополнение подпространства гильбертова пространства — множество , которое есть замкнутое подпространство пространства .

Следующая теорема очень важна для теории гильбертовых пространства.

Любое замкнутое подпространство гильбертова пространства обладает ортогональным дополнением , причём .

Случай локально выпуклого пространства Топологическая сумма Рассмотрим произвольное локально выпуклое пространство и два его векторных подпространства и , причём есть прямая алгебраическая сумма и , то есть и .

Но в общем случае локально выпуклое пространство может и не быть прямой топологической суммой пространств и , каждое из которых наделено индуцированной топологией, причём естественный алгебраический изоморфизм между фактор-пространством и подпространством может и не быть топологическим.

Сформулируем теорему о топологической сумме подпространств. Рассмотрим локально выпуклое пространство как прямую алгебраическую сумму векторных подпространств и , проекции и пространства на подпространства и соответственно, а также канонические отображения и пространства на фактор-пространства и соответственно, то есть для произвольного имеем: , . Тогда пять следующих утверждений равносильны: (I) есть прямая топологическая сумма подпространств и , (II) непрерывна, (III) непрерывна, (IV) есть изоморфизм на , (V) есть изоморфизм на .

Действительно, поскольку есть тождественное отображение пространства , то утверждения (II) и (III) равносильны.

Далее, сумма обладает сильнейшей локально выпуклой топологией, которая совпадает с исходными топологиями в подпространствах и . Такая топология совпадает с топологией произведения, поэтому она слабейшая из топологий, при которой проекции и непрерывны, и, как следствие, (I) равносильно (II) и (III).

Наконец, для произвольной окрестности множество служит окрестностью в тогда и только тогда, когда прообраз

служит окрестностью в . Отсюда (II) равносильно (V). Аналогично (III) равносильно (IV).

Приведём следствие из предыдущей теоремы. Когда локально выпуклое пространство есть прямая алгебраическая сумма двух векторных подпространств: конечномерного , замкнутого , тогда есть прямая топологическая сумма этих подпространств и .

В самом деле, так как векторное подпространство замкнуто, то фактор-пространство отделимо. С другой стороны, векторное подпространство тоже отделимо, поскольку каноническое отображение есть взаимно однозначное непрерывное линейное отображение на . Следовательно, — топологический изоморфизм. Следовательно, верно утверждение (V), а значит, и утверждение (I).

Топологическое дополнение Прямое топологическое дополнение векторного подпространства в локально выпуклом пространстве — любое векторное подпространство пространства такое, что прямая топологическая сумма с исходным векторным пространством есть всё пространство .

Но описанное прямое топологическое дополнение в общем случае может не существовать.

Если локально выпуклое пространстве отделимо, то векторного подпространство имеет прямое топологическое дополнение только тогда, когда оно замкнуто.

Но не любое замкнутое векторное подпространство локально выпуклого пространства имеет прямое топологическое дополнение.

Следует учитывать, что два произвольных прямых топологических дополнений векторного подпространство изоморфны как изоморфные фактор-пространству (по теореме о топологической сумме подпространств).

Векторное подпространство локально выпуклого пространства , , имеет прямое топологическим дополнением тогда и только тогда, когда найдётся непрерывный проектор пространства на подпространство , то есть найдётся непрерывное линейное отображение пространства в себя такое, что и .

Действительно, пусть обладает прямым топологическим дополнением в , тогда имеется заявленный проектор . Обратно, пусть имеется заявленный проектор , тогда положим , в итоге и — прямая топологическая сумма и (по теореме о топологической сумме подпространств).

Если — локально выпуклое пространство, — замкнутое векторное подпространство и фактор-пространство конечномерно, то любое прямое алгебраическое дополнение к подпространству есть также и прямое топологическое дополнение (по следствию к теореме о топологической сумме подпространств).

В произвольном отделимой локально выпуклом пространстве любое конечномерное векторное подпространство имеет прямое топологическое дополнение.

В самом деле, рассмотрим базис конечномерного векторного подпространства . Для такого базиса имеются непрерывные линейные формы , для которых при и .

Далее, построим проектор следующего вида: .

Продолжая, имеем:

.

Наконец, отсюда следует, что есть непрерывный проектор на подпространстве , следовательно, имеет прямое топологическое дополнение по предпоследнему утверждению.

Примечания Комментарии Исправленная опечатка в источнике.

Источники

Литература

Категория:Линейная алгебра Категория:Векторы