Обобщение конечномерных евклидовых пространств, отличных от гильбертовых пространств.
В математике ядерные пространства — это топологические векторные пространства , которые можно рассматривать как обобщение конечномерных евклидовых пространств и которые разделяют многие из их желаемых свойств. Однако ядерные пространства сильно отличаются от гильбертовых пространств , еще одного обобщения конечномерных евклидовых пространств. Их представил Александр Гротендик .
Топологию ядерных пространств можно определить с помощью семейства полунорм , единичные шары которых быстро уменьшаются в размерах. Векторные пространства, элементы которых в некотором смысле «гладкие», имеют тенденцию быть ядерными пространствами; типичным примером ядерного пространства является множество гладких функций на компактном многообразии . Все конечномерные векторные пространства являются ядерными. Не существует ядерных банаховых пространств , за исключением конечномерных. На практике часто верно обратное: если «естественное» топологическое векторное пространство не является банаховым пространством, то есть большая вероятность, что оно является ядерным.
Первоначальная мотивация: теорема о ядре Шварца.
Большая часть теории ядерных пространств была разработана Александром Гротендиком при исследовании теоремы о ядре Шварца и опубликована в (Гротендик, 1955). Сейчас мы опишем эту мотивацию.
Для любых открытых подмножеств и канонического отображения является изоморфизмом TVS (где имеет топологию равномерной сходимости на ограниченных подмножествах ) и, кроме того, оба этих пространства канонически TVS-изоморфны (где, поскольку является ядерным, это тензорное произведение одновременно является инъективное тензорное произведение и проективное тензорное произведение ).
Короче говоря, теорема о ядре Шварца утверждает, что:![{\displaystyle \Omega _{1}\subseteq \mathbb {R} ^{m}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \Omega _{2}\subseteq \mathbb {R} ^{n},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {D}}^{\prime }\left(\Omega _{1}\times \Omega _{2}\right)\to L_{b}\left(C_{c}^{ \infty }\left(\Omega _{2}\right);{\mathcal {D}}^{\prime }\left(\Omega _{1}\right)\right)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ displaystyle L_ {b} \ left (C_ {c} ^ {\ infty } \ left (\ Omega _ {2} \ right); {\ mathcal {D}} ^ {\ prime } \ left (\ Omega _ {1}\вправо)\вправо)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {D}}^{\prime }\left(\Omega _{1}\right){\widehat {\otimes }}{\mathcal {D}}^{\prime }\left( \Омега _{2}\вправо)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {D}}^{\prime }\left(\Omega _{1}\right)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {D}}^{\prime }\left(\Omega _{1}\times \Omega _{2}\right)\cong {\mathcal {D}}^{\prime }\ left(\Omega _{1}\right){\widehat {\otimes }}{\mathcal {D}}^{\prime }\left(\Omega _{2}\right)\cong L_{b}\ left(C_{c}^{\infty }\left(\Omega _{2}\right);{\mathcal {D}}^{\prime }\left(\Omega _{1}\right)\right )}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
TVS-изоморфизмыЭтот результат является ложным, если заменить пространство на (которое является рефлексивным пространством , даже изоморфным своему собственному сильному дуальному пространству) и заменить двойственным к этому пространству.
Почему такой хороший результат справедлив для пространства распределений и пробных функций, но не для гильбертова пространства (которое обычно считается одним из «самых хороших» TVS)? Этот вопрос привел Гротендика к открытию ядерных пространств, ядерных карт и инъективного тензорного произведения .![{\displaystyle C_{c}^{\infty }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle L^{2}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {D}}^{\prime }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle L^{2}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Мотивы из геометрии
Другой набор мотивирующих примеров взят непосредственно из геометрии и теории гладких многообразий [3], приложение 2 . Для гладких многообразий и локально выпуклого топологического векторного пространства Хаусдорфа существуют следующие изоморфизмы ядерных пространств![{\displaystyle M,N}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle C^{\infty }(M)\otimes C^{\infty }(N)\cong C^{\infty }(M\times N)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle C^{\infty }(M)\otimes F\cong \{f:M\to F:f{\text{гладкий }}\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Определение
В этом разделе перечислены некоторые из наиболее распространенных определений ядерного пространства. Все приведенные ниже определения эквивалентны. Обратите внимание, что некоторые авторы используют более ограничительное определение ядерного пространства, добавляя условие, согласно которому это пространство также должно быть пространством Фреше . (Это означает, что пространство полно и топология задается счетным семейством полунорм.)
Следующее определение было использовано Гротендиком для определения ядерных пространств.
Определение 0 : Пусть — локально выпуклое топологическое векторное пространство. Тогда является ядерным, если для любого локально выпуклого пространства вложение в каноническое векторное пространство является вложением ТВС, образ которых плотен в кодобласти (где областью определения является проективное тензорное произведение , а кодобластью является пространство всех отдельно непрерывных билинейных форм на, наделенных топология равномерной сходимости на равнонепрерывных подмножествах ). ![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Y,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ displaystyle X \ otimes _ {\ pi } Y \ to {\ mathcal {B}} _ {\ epsilon } \ left (X _ {\ sigma } ^ {\ prime }, Y _ {\ sigma } ^ {\ prime } \верно)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X\otimes _ {\pi }Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X_{\sigma }^{\prime }\times Y_{\sigma }^{\prime }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Начнем с того, что вспомним некоторую предысторию. Локально выпуклое топологическое векторное пространство имеет топологию, которая определяется некоторым семейством полунорм . Для любой полунормы единичный шар является замкнутой выпуклой симметричной окрестностью начала координат, и наоборот, любая замкнутая выпуклая симметричная окрестность точки 0 является единичным шаром некоторой полунормы. (Для комплексных векторных пространств условие «симметричный» следует заменить на « сбалансированный ».) Если — полунорма, то обозначает банахово пространство , заданное путем дополнения вспомогательного нормированного пространства с использованием полунормы. Существует естественное отображение (не обязательно инъективное). .![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ displaystyle p}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X_{p}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle стр.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X\to X_{p}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Если - другая полунорма, большая (поточечно как функция от ), то существует естественное отображение от до такое, что первое отображение факторизуется как Эти отображения всегда непрерывны. Пространство является ядерным, когда выполняется более сильное условие, а именно, что эти отображения являются ядерными операторами . Условия работы оператором атомной станции непростые, более подробную информацию можно найти в соответствующей статье.![{\displaystyle q}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ displaystyle p}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X_{q}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X_{p}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X\to X_{q}\to X_{p}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Определение 1. Ядерное пространство — это локально выпуклое топологическое векторное пространство, такое, что для любой полунормы можно найти большую полунорму , так что естественное отображение является ядерным .![{\ displaystyle p}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle q}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X_{q}\to X_{p}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Неформально это означает, что всякий раз, когда нам дан единичный шар некоторой полунормы, мы можем найти внутри него «гораздо меньший» единичный шар другой полунормы или что любая окрестность 0 содержит «гораздо меньшую» окрестность. Нет необходимости проверять это условие для всех полунорм ; достаточно проверить его на наборе полунорм, порождающих топологию, т. е. наборе полунорм, являющихся подбазой топологии .![{\ displaystyle p}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Вместо использования произвольных банаховых пространств и ядерных операторов мы можем дать определение в терминах гильбертовых пространств и ядерных операторов, которые легче понять. (В гильбертовых пространствах ядерные операторы часто называют операторами ядерного класса.) Мы будем говорить, что полунорма является гильбертовой полунормой , если она является гильбертовым пространством или, что то же самое, если происходит из полуторалинейной положительно полуопределенной формы на ![{\ displaystyle p}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X_{p}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ displaystyle p}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Определение 2 : Ядерное пространство — это топологическое векторное пространство с топологией, определяемой семейством полунорм Гильберта, такое, что для любой полунормы Гильберта мы можем найти большую полунорму Гильберта , так что естественное отображение от до является ядерным классом .![{\ displaystyle p}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle q}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X_{q}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X_{p}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Некоторые авторы предпочитают использовать операторы Гильберта–Шмидта, а не операторы трассового класса. Это не имеет большого значения, потому что любой оператор ядерного класса принадлежит Гильберту – Шмидту, а произведение двух операторов Гильберта – Шмидта имеет ядерный класс.
Определение 3 : Ядерное пространство — это топологическое векторное пространство с топологией, определяемой семейством полунорм Гильберта, такое, что для любой полунормы Гильберта мы можем найти большую полунорму Гильберта, так что естественным отображением от до является Гильберт-Шмидт.![{\ displaystyle p}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle q}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X_{q}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X_{p}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Если мы хотим использовать концепцию ядерного оператора из произвольного локально выпуклого топологического векторного пространства в банахово пространство, мы можем дать более короткие определения следующим образом:
Определение 4. Ядерное пространство — это локально выпуклое топологическое векторное пространство, такое, что для любой полунормы естественное отображение из является ядерным .![{\ displaystyle p}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X\to X_{p}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Определение 5. Ядерное пространство — это локально выпуклое топологическое векторное пространство, такое, что любое непрерывное линейное отображение в банахово пространство является ядерным.
Гротендик использовал определение, подобное следующему:
Определение 6 : Ядерное пространство — это локально выпуклое топологическое векторное пространство такое, что для любого локально выпуклого топологического векторного пространства естественное отображение проективного тензорного произведения в инъективное и является изоморфизмом.![{\displaystyle А}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle B}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle А}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle B}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
На самом деле достаточно проверить это только для банаховых пространств или даже только для одного банахова пространства абсолютно сходящихся рядов.![{\ displaystyle B,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \ell ^{1}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Характеристики
Пусть – хаусдорфово локально выпуклое пространство. Тогда следующие условия эквивалентны:![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
является ядерным;- для любого локально выпуклого пространства вложение в каноническое векторное пространство представляет собой вложение ТВС, образ которых плотен в кодомене;
![{\displaystyle Y,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ displaystyle X \ otimes _ {\ pi } Y \ to {\ mathcal {B}} _ {\ epsilon } \ left (X _ {\ sigma } ^ {\ prime }, Y _ {\ sigma } ^ {\ prime } \верно)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- для любого банахова пространства вложение в каноническое векторное пространство является сюръективным изоморфизмом TVS;
![{\displaystyle Y,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X{\widehat {\otimes }}_{\pi }Y\to X{\widehat {\otimes }}_ {\epsilon }Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- для любого локально выпуклого хаусдорфова пространства вложение в каноническое векторное пространство является сюръективным изоморфизмом TVS;
![{\displaystyle Y,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X{\widehat {\otimes }}_{\pi }Y\to X{\widehat {\otimes }}_ {\epsilon }Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- каноническое вложение in является сюръективным изоморфизмом TVS;
![{\displaystyle \ell ^{1}[\mathbb {N},X]}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \ell ^{1}(\mathbb {N},X)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- каноническое отображение является сюръективным TVS-изоморфизмом.
![{\displaystyle \ell ^{1}{\widehat {\otimes }}_{\pi }X\to \ell ^{1}{\widehat {\otimes }}_{\epsilon }X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- для любой полунормы мы можем найти большую полунорму, так что естественное отображение будет ядерным ;
![{\ displaystyle p}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle q}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X_{q}\to X_{p}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- для любой полунормы мы можем найти большую полунорму, так что каноническая инъекция будет ядерной;
![{\ displaystyle p}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle q}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X_{p}^{\prime }\to X_{q}^{\prime }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- топология определяется семейством полунорм Гильберта, так что для любой полунормы Гильберта мы можем найти большую полунорму Гильберта , так что естественное отображение является ядерным классом ;
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ displaystyle p}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle q}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X_{q}\to X_{p}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
имеет топологию, определенную семейством полунорм Гильберта, такую, что для любой полунормы Гильберта мы можем найти большую полунорму Гильберта , так что естественным отображением будет Гильберт – Шмидт;![{\ displaystyle p}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle q}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X_{q}\to X_{p}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- для любой полунормы естественное отображение из является ядерным .
![{\ displaystyle p}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X\to X_{p}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- любое непрерывное линейное отображение банахова пространства является ядерным;
- каждая непрерывная полунорма на является доядерной;
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- каждое равнонепрерывное подмножество является доядерным;
![{\displaystyle X^{\prime }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- всякое линейное отображение банахова пространства в , преобразующее единичный шар в равнонепрерывное множество, является ядерным;
![{\displaystyle X^{\prime }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- завершение строительства ядерного космоса;
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Если пространство Фреше , то следующие условия эквивалентны:![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
является ядерным;- каждая суммируемая последовательность в абсолютно суммируема;
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- сильный двойник — ядерный;
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Достаточные условия
- Локально выпуклое хаусдорфово пространство является ядерным тогда и только тогда, когда его пополнение ядерно.
- Каждое подпространство ядерного пространства является ядерным.
- Каждое факторпространство Хаусдорфа ядерного пространства является ядерным.
- Индуктивный предел счетной последовательности ядерных пространств является ядерным.
- Локально выпуклая прямая сумма счетной последовательности ядерных пространств является ядерной.
- Сильный двойник ядерного пространства Фреше является ядерным.
- В целом сильный дуал ядерного пространства может и не оказаться ядерным.
- Пространство Фреше, сильный двойник которого является ядерным, само является ядерным.
- Пределом семейства ядерных пространств является ядерный.
- Продукт семейства ядерных пространств является ядерным.
- Завершение ядерного пространства является ядерным (и фактически пространство является ядерным тогда и только тогда, когда его завершение является ядерным).
- Тензорное произведение двух ядерных пространств является ядерным.
- Проективное тензорное произведение , как и его пополнение, двух ядерных пространств является ядерным.
Предположим, что и - локально выпуклое пространство с ядерным характером. ![{\displaystyle X,Y,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle N}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle N}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Если ядерно, то векторное пространство непрерывных линейных отображений, наделенное топологией простой сходимости, является ядерным пространством.
![{\displaystyle N}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle L_{\sigma }(X,N)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Если — полурефлексивное пространство, сильный двойник которого является ядерным, и если оно является ядерным, то векторное пространство непрерывных линейных отображений (наделенное топологией равномерной сходимости на ограниченных подмножествах ) является ядерным пространством.
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle N}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle L_ {b}(X,N)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Примеры
Если — множество любой мощности, то и (с топологией произведения ) — оба ядерных пространства. ![{\displaystyle d}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {R} ^{d}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Относительно простой бесконечномерный пример ядерного пространства — это пространство всех быстро убывающих последовательностей («быстро убывающие» означает, что оно ограничено для любого многочлена ). Для каждого действительного числа можно определить норму следующим образом: ![{\displaystyle c=\left(c_{1},c_{2},\ldots \right).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle c_{n}p (n)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ displaystyle p}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle с,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \|\,\cdot \,\|_{s}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \|c\|_{s}=\sup _{}\left|c_{n}\right|n^{s}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle C_{s},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle C_{s}\to C_{t}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle s\geq т,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle s>t+1}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \sum n^{ts}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \|\,\cdot \,\|_{t}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \|\,\cdot \,\|_{t+1},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle C_{t+2}\to C_{t}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Пространство гладких функций на любом компактном многообразии ядерно.
- Пространство Шварца гладких функций, у которых производные всех порядков быстро убывают, является ядерным пространством.
![{\displaystyle \mathbb {R} ^{n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Пространство целых голоморфных функций на комплексной плоскости является ядерным.
- Пространство распределений, сильным двойником которого является ядерное.
![{\displaystyle {\mathcal {D}}^{\prime },}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathcal {D}},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Характеристики
Ядерные пространства во многом похожи на конечномерные пространства и обладают многими их хорошими свойствами.
- Каждое конечномерное хаусдорфово пространство является ядерным.
- Пространство Фреше является ядерным тогда и только тогда, когда его сильный двойник является ядерным.
- Каждое ограниченное подмножество ядерного пространства предкомпактно (напомним, что множество предкомпактно, если его замыкание при пополнении пространства компактно). Это аналогично теореме Гейне-Бореля . Напротив, ни одно бесконечномерное нормированное пространство не обладает этим свойством (хотя конечномерные пространства обладают).
- Если это квазиполное (т.е. все замкнутые и ограниченные подмножества полные) ядерное пространство, то оно обладает свойством Гейне-Бореля .
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Ядерное квазиполное бочкообразное пространство — это пространство Монтеля .
- Каждое замкнутое равнонепрерывное подмножество двойственного ядерного пространства является компактным метризуемым множеством (для сильной двойственной топологии).
- Каждое ядерное пространство является подпространством произведения гильбертовых пространств.
- Каждое ядерное пространство допускает базис полунорм, состоящий из гильбертовых норм.
- Каждое ядерное пространство является пространством Шварца.
- Каждое ядерное пространство обладает свойством аппроксимации.
- Любое подпространство и любое факторпространство по замкнутому подпространству ядерного пространства является ядерным.
- Если является ядерным и является любым локально выпуклым топологическим векторным пространством, то естественное отображение проективного тензорного произведения A в инъективное тензорное произведение является изоморфизмом. Грубо говоря, это означает, что существует только один разумный способ определить тензорное произведение. Это свойство характеризует ядерные пространства.
![{\displaystyle А}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle B}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle B}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle А.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- В теории мер в топологических векторных пространствах основная теорема гласит, что любая мера множества непрерывных цилиндров на двойственном ядерному пространству Фреше автоматически расширяется до меры Радона . Это полезно, потому что часто легко построить меры цилиндрического множества в топологических векторных пространствах, но они недостаточно хороши для большинства приложений, если только они не являются мерами Радона (например, они вообще не являются счетно-аддитивными).
Теорема о ядре
Большая часть теории ядерных пространств была разработана Александром Гротендиком при исследовании теоремы о ядре Шварца и опубликована в (Гротендик, 1955). Имеем следующее обобщение теоремы.
Теорема Шварца о ядре : Предположим, что это ядерная форма, локально выпуклая и непрерывная билинейная форма на Тогда возникает из пространства вида где и являются подходящими равнонепрерывными подмножествами и, что эквивалентно, имеет вид ![{\displaystyle X}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle v}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X\times Y.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle v}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X_{A^{\prime }}^{\prime }{\widehat {\otimes }}_{\epsilon }Y_{B^{\prime }}^{\prime }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A^{\prime }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle B^{\prime }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X^{\prime }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Y^{\prime }.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle v}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle v(x,y)=\sum _{i=1}^{\infty }\lambda _{i}\left\langle x, x_{i}^{\prime }\right\rangle \left \langle y,y_{i}^{\prime }\right\rangle \quad {\text{ for all }}(x,y)\in X\times Y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \left(\lambda _{i}\right)\in \ell ^{1}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \left\{x_{1}^{\prime },x_{2}^{\prime },\ldots \right\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \left\{y_{1}^{\prime },y_{2}^{\prime },\ldots \right\}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X_{A^{\prime }}^{\prime }}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle Y_{B^{\prime }}^{\prime },}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Теорема Бохнера – Минлоса
Любой непрерывный положительно определенный функционал на ядерном пространстве называется характеристическим функционалом, если и для любого комплекса [17]![{\displaystyle C}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle А}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ displaystyle C (0) = 1,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \sum _{j=1}^{n}\sum _{k=1}^{n}z_{j}{\bar {z}}_{k}C(x_{j}-x_ {k})\geq 0.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Учитывая характеристический функционал в ядерном пространстве, теорема Бохнера -Минлоса (по Саломону Бохнеру и Роберту Адольфовичу Минлосу ) гарантирует существование и единственность соответствующей вероятностной меры в дуальном пространстве, заданном формулой
![{\displaystyle \mu }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A^{\prime},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle C(y)=\int _{A^{\prime }}e^{i\langle x,y\rangle }\,d\mu (x).}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Это расширяет обратное преобразование Фурье на ядерные пространства.
В частности, если ядерное пространство![{\displaystyle А}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle A=\bigcap _{k=0}^{\infty }H_{k},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
дуальном пространствемерой белого шумаслучайный элементслучайным распределением![{\displaystyle H_{k}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle e^{-{\frac {1}{2}}\|y\|_{H_{0}}^{2}},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle А}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Сильно ядерные пространства
Сильно ядерное пространство — это локально выпуклое топологическое векторное пространство, такое, что для любой полунормы существует большая полунорма, так что естественное отображение является сильно ядерным .![{\ displaystyle p}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle q}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X_{q}\to X_{p}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Смотрите также
Рекомендации
- ^ Костелло, Кевин (2011). Перенормировка и эффективная теория поля. Провиденс, Род-Айленд: Американское математическое общество. ISBN 978-0-8218-5288-0. ОСЛК 692084741.
- ^ Т. Р. Йохансен, Теорема Бохнера-Минлоса для ядерных пространств и абстрактного пространства белого шума , 2003.
Библиография
- Бекнель, Джереми (2021). Инструменты для бесконечномерного анализа . ЦРК Пресс. ISBN 978-0-367-54366-2. ОСЛК 1195816154.
- Гротендик, Александр (1955). «Продукты тензорных топологий и ядерных пространств». Мемуары Американского математического общества . 16 .
- Дистель, Джо (2008). Метрическая теория тензорных произведений: пересмотр резюме Гротендика . Провиденс, Род-Айленд: Американское математическое общество. ISBN 978-0-8218-4440-3. ОСЛК 185095773.
- Дубинский, Эд (1979). Структура ядерных пространств Фреше . Берлин Нью-Йорк: Springer-Verlag. ISBN 3-540-09504-7. ОСЛК 5126156.
- Гротендик, Гротендик (1966). Produits tensoriels topologiques et espaces nucléaires (на французском языке). Провиденс: Американское математическое общество. ISBN 0-8218-1216-5. ОСЛК 1315788.
- Холден, Хельге; Оксендал, Бернт; Убё, Ян; Чжан, Тушэн (2009). Стохастические уравнения в частных производных . Лондон, Нью-Йорк: Springer Science & Business Media. ISBN 978-0-387-89488-1.
- Хусейн, Такдир (1978). Бочечность в топологических и упорядоченных векторных пространствах . Берлин Нью-Йорк: Springer-Verlag. ISBN 3-540-09096-7. ОСЛК 4493665.
- Халилулла, С.М. (1982). Контрпримеры в топологических векторных пространствах . Конспект лекций по математике . Том. 936. Берлин, Гейдельберг, Нью-Йорк: Springer-Verlag . ISBN 978-3-540-11565-6. ОСЛК 8588370.
- Нленд, Х (1977). Борнологии и функциональный анализ: вводный курс по теории двойственности топологии-борнологии и ее использованию в функциональном анализе . Амстердам Нью-Йорк Нью-Йорк: Паб Северной Голландии. Компания Единственный дистрибьютор в США и Канаде, Elsevier-North Holland. ISBN 0-7204-0712-5. ОСЛК 2798822.
- Нленд, Х (1981). Ядерные и ядерные пространства: вводные курсы по ядерным и ядерным пространствам в свете дуальности . Амстердам Нью-Йорк Нью-Йорк, Нью-Йорк: Паб Северной Голландии. Компания Единственный дистрибьютор в США и Канаде, Elsevier North-Holland. ISBN 0-444-86207-2. ОСЛК 7553061.
- Гельфанд, И.М.; Виленкин, Н.Я. (1964). Обобщенные функции – вып. 4: Применение гармонического анализа . Нью-Йорк: Академическая пресса. ОСЛК 310816279.
- Такеюки Хида и Си Си, Лекции по функционалам белого шума , World Scientific Publishing, 2008. ISBN 978-981-256-052-0
- Г.Л. Литвинов (2001) [1994], «Ядерный космос», Математическая энциклопедия , EMS Press
- Наричи, Лоуренс; Бекенштейн, Эдвард (2011). Топологические векторные пространства . Чистая и прикладная математика (Второе изд.). Бока-Ратон, Флорида: CRC Press. ISBN 978-1584888666. OCLC 144216834.
- Питч, Альбрехт (1972) [1965]. Ядерные локально-выпуклые пространства. Ergebnisse der Mathematik und ihrer Grenzgebiete. Том. 66. Берлин, Нью-Йорк: Springer-Verlag . ISBN 978-0-387-05644-9. МР 0350360.
- Питч, Альбрехт (1972). Ядерные локально-выпуклые пространства . Берлин, Нью-Йорк: Springer-Verlag. ISBN 0-387-05644-0. ОСЛК 539541.
- Робертсон, AP; У. Дж. Робертсон (1964). Топологические векторные пространства . Кембриджские трактаты по математике. Том. 53. Издательство Кембриджского университета . п. 141.
- Робертсон, AP (1973). Топологические векторные пространства . Кембридж, Англия: Университетское издательство. ISBN 0-521-29882-2. ОСЛК 589250.
- Райан, Рэймонд (2002). Введение в тензорные произведения банаховых пространств . Лондон Нью-Йорк: Спрингер. ISBN 1-85233-437-1. ОСЛК 48092184.
- Шефер, Хельмут Х .; Вольф, Манфред П. (1999). Топологические векторные пространства . ГТМ . Том. 8 (Второе изд.). Нью-Йорк, Нью-Йорк: Springer New York Выходные данные Springer. ISBN 978-1-4612-7155-0. ОСЛК 840278135.
- Тревес, Франсуа (2006) [1967]. Топологические векторные пространства, распределения и ядра . Минеола, Нью-Йорк: Dover Publications. ISBN 978-0-486-45352-1. ОКЛК 853623322.
- Вонг (1979). Пространства Шварца, ядерные пространства и тензорные произведения . Берлин Нью-Йорк: Springer-Verlag. ISBN 3-540-09513-6. ОСЛК 5126158.