В функциональном анализе и смежных областях математики пространство Монтеля , названное в честь Поля Монтеля , представляет собой любое топологическое векторное пространство (TVS), в котором выполняется аналог теоремы Монтеля . В частности, пространство Монтеля — это бочкообразное топологическое векторное пространство, в котором каждое замкнутое и ограниченное подмножество компактно .
Топологическое векторное пространство (ТВП) имеетСвойство Гейне–Бореля, есликаждоезамкнутоеиограниченное подмножествокомпактно. АПространство Монтеля представляет собойбочкообразноетопологическое векторное пространство со свойством Гейне – Бореля. Эквивалентно, этоинфраствольноеполумонтелевское пространство, в которомхаусдорфово локально выпуклое топологическое векторное пространствоназываетсяполумонтельское пространство илиидеально , если каждоеограниченное подмножествоотносительнокомпактно.[примечание 1] Подмножество TVS компактно тогда и только тогда, когда онополноиполностью ограничено. АПространство Фреше–Монтеля — этопространство Фреше, которое также является пространством Монтеля.
Сепарабельное пространство Фреше является пространством Монтеля тогда и только тогда, когда каждая слабо сходящаяся последовательность в ее непрерывном двойственном пространстве сходится сильно . [1]
Пространство Фреше является пространством Монтеля тогда и только тогда, когда каждая ограниченная непрерывная функция переводит замкнутые ограниченные абсолютно выпуклые подмножества в относительно компактные подмножества . Более того, если обозначает векторное пространство всех ограниченных непрерывных функций в пространстве Фреше , то оно является монтелевым тогда и только тогда, когда каждая последовательность из нее сходится к нулю в компактно-открытой топологии и равномерно сходится к нулю на всех замкнутых ограниченных абсолютно выпуклых подмножествах из [2]
Полу-Монтельские помещения
Замкнутое векторное подпространство полумонтелявского пространства снова является полумонтелевским пространством. Локально выпуклая прямая сумма любого семейства полумонтелевских пространств снова является полумонтелевским пространством. Обратный предел обратной системы, состоящей из полумонтелявских пространств, снова является полумонтелевским пространством. Декартово произведение любого семейства полумонтелевских пространств (соответственно пространств Монтеля) снова является полумонтелевским пространством (соответственно пространством Монтеля).
Пространства Монтеля
Сильным двойником пространства Montel является Montel. Квазиполное ядерное пространство с бочонком — это пространство Монтеля. [1] Каждое произведение и локально выпуклая прямая сумма семейства монтелевых пространств является монтелевым пространством. [1] Строгий индуктивный предел последовательности пространств Монтеля является пространством Монтеля. [1] Напротив, замкнутые подпространства и отдельные факторы пространств Монтеля, как правило, даже не рефлексивны . [1] Каждое пространство Фреше -Шварца является пространством Монтеля. [3]
Пространства Монтеля паракомпактны и нормальны . [4] Пространства Полу-Монтеля квазиполные и полурефлексивные, а пространства Монтеля рефлексивны .
Никакое бесконечномерное банахово пространство не является пространством Монтеля. Это связано с тем, что банахово пространство не может удовлетворять свойству Гейне – Бореля : замкнутый единичный шар замкнут и ограничен, но не компактен. Пространства Фреше- Монтеля сепарабельны и имеют борнологическое сильное двойственное пространство. Метризуемое монтелевское пространство сепарабельно . [1]
Пространства Фреше–Монтеля являются выделенными пространствами .
В классическом комплексном анализе теорема Монтеля утверждает, что этим свойством обладает пространство голоморфных функций на открытом связном подмножестве комплексных чисел . [ нужна цитата ]
Многие пространства Монтеля, представляющие современный интерес, возникают как пространства основных функций для пространства распределений . Пространство гладких функций на открытом множестве в является пространством Монтеля, снабженным топологией, индуцированной семейством полунорм [5] для и пробегает компактные подмножества и является мультииндексом . Точно так же пространство функций с компактным носителем в открытом множестве с конечной топологией семейства включений пробегает все компактные подмножества пространства Шварца также является пространством Монтеля.
Каждое бесконечномерное нормированное пространство представляет собой бочкообразное пространство , которое не является пространством Монтеля. [6] В частности, всякое бесконечномерное банахово пространство не является пространством Монтеля. [6] Существуют пространства Монтеля, которые не являются сепарабельными, и существуют пространства Монтеля, которые не являются полными . [6] Существуют пространства Монтеля, имеющие замкнутые векторные подпространства, которые не являются пространствами Монтеля. [7]
{{cite journal}}
: CS1 maint: date and year (link)