Локально выпуклая векторная решетка

В математике, в частности в теории порядка и функциональном анализе , локально выпуклая векторная решетка (ЛВР) — это топологическая векторная решетка , которая также является локально выпуклым пространством. [1] ЛВР играют важную роль в теории топологических векторных решеток .

Решётчатые полунормы

Функционал Минковского выпуклого, поглощающего и сплошного множества называется решетчатой ​​полунормой . Эквивалентно, это полунорма такая , что подразумевает Топология локально выпуклой векторной решетки порождается семейством всех непрерывных решетчатых полунорм. [1] п {\displaystyle p} | у | | х | {\displaystyle |y|\leq |x|} п ( у ) п ( х ) . {\displaystyle p(y)\leq p(x).}

Характеристики

Каждая локально выпуклая векторная решетка обладает окрестностной базой в начале координат, состоящей из выпуклых сбалансированных твердых поглощающих множеств. [1]

Сильный дуализм локально выпуклой векторной решетки является упорядоченно полной локально выпуклой векторной решеткой (относительно ее канонического порядка) и является сплошным подпространством порядка, дуального к ; более того, если — бочкообразное пространство , то непрерывное дуальное пространство является полосой в порядке, дуальном к , а сильный дуализм является полным локально выпуклым TVS. [1] Х {\displaystyle X} Х {\displaystyle X} Х {\displaystyle X} Х {\displaystyle X} Х {\displaystyle X} Х {\displaystyle X}

Если локально выпуклая векторная решетка является бочкообразной , то ее сильное сопряженное пространство является полным (это не обязательно так, если пространство является просто локально выпуклым бочкообразным пространством, но не локально выпуклой векторной решеткой). [1]

Если локально выпуклая векторная решетка полурефлексивна , то она является порядково полной и (то есть ) является полной TVS; более того, если в дополнение к этому каждый положительный линейный функционал на непрерывен, то является из имеет минимальный тип , топология порядка на равна топологии Макки и является рефлексивной . [1] Каждая рефлексивная локально выпуклая векторная решетка является порядково полной и полной локально выпуклой TVS, сильный дуал которой является бочкообразным рефлексивным локально выпуклым TVS, который может быть отождествлен под каноническим отображением оценки с сильным бидуалом (то есть сильным дуалом сильного дуала). [1] Х {\displaystyle X} Х б {\displaystyle X_{b}} ( Х , б ( Х , Х ) ) {\displaystyle \left(X,b\left(X,X^{\prime}\right)\right)} Х {\displaystyle X} Х {\displaystyle X} Х {\displaystyle X} τ О {\displaystyle \tau _{\operatorname {O} }} Х {\displaystyle X} τ ( Х , Х ) , {\displaystyle \tau \left(X,X^{\prime}\right),} ( Х , τ О ) {\displaystyle \left(X,\tau _{\operatorname {O} }\right)}

Если локально выпуклая векторная решетка является инфрабочковым TVS, то ее можно отождествить при оценочном отображении с топологической векторной подрешеткой ее сильного бидуала, которая является упорядоченно полной локально выпуклой векторной решеткой при ее каноническом порядке. [1] Х {\displaystyle X}

Если — сепарабельное метризуемое локально выпуклое упорядоченное топологическое векторное пространство , положительный конус которого является полным и тотальным подмножеством, то множество квазивнутренних точек является плотным в [1] Х {\displaystyle X} С {\displaystyle C} X , {\displaystyle X,} C {\displaystyle C} C . {\displaystyle C.}

Теорема [1]  —  Предположим, что — упорядоченно полная локально выпуклая векторная решетка с топологией и наделим двучлен ее естественной топологией (то есть топологией равномерной сходимости на равностепенно непрерывных подмножествах ) и каноническим порядком (при котором он становится упорядоченно полной локально выпуклой векторной решеткой). Следующие условия эквивалентны: X {\displaystyle X} τ {\displaystyle \tau } X {\displaystyle X^{\prime \prime }} X {\displaystyle X} X {\displaystyle X^{\prime }}

  1. Оценочное отображение индуцирует изоморфизм с порядково полной подрешеткой X X {\displaystyle X\to X^{\prime \prime }} X {\displaystyle X} X . {\displaystyle X^{\prime \prime }.}
  2. Для каждого мажорируемого и направленного подмножества раздела фильтр сходится в (в этом случае он обязательно сходится к ). S {\displaystyle S} X , {\displaystyle X,} S {\displaystyle S} ( X , τ ) {\displaystyle (X,\tau )} sup S {\displaystyle \sup S}
  3. Каждый сходящийся по порядку фильтр сходится по (в этом случае он обязательно сходится к своему пределу порядка). X {\displaystyle X} ( X , τ ) {\displaystyle (X,\tau )}

Следствие [1]  —  Пусть — упорядоченно полная векторная решетка с регулярным порядком. Следующие условия эквивалентны: X {\displaystyle X}

  1. X {\displaystyle X} имеет минимальный тип .
  2. Для каждого мажорируемого и прямого подмножества раздела фильтр сходится в , когда наделен топологией порядка . S {\displaystyle S} X , {\displaystyle X,} S {\displaystyle S} X {\displaystyle X} X {\displaystyle X}
  3. Каждый сходящийся по порядку фильтр в сходится в , когда наделен топологией порядка . X {\displaystyle X} X {\displaystyle X} X {\displaystyle X}

Более того, если имеет минимальный тип, то топология порядка на является наилучшей локально выпуклой топологией на , для которой сходится каждый сходящийся по порядку фильтр. X {\displaystyle X} X {\displaystyle X} X {\displaystyle X}

Если — локально выпуклая векторная решетка, которая является борнологической и последовательно полной , то существует семейство компактных пространств и семейство -индексированных вложений векторных решеток, такое, что — наилучшая локально выпуклая топология при создании каждой непрерывной. [2] ( X , τ ) {\displaystyle (X,\tau )} ( X α ) α A {\displaystyle \left(X_{\alpha }\right)_{\alpha \in A}} A {\displaystyle A} f α : C R ( K α ) X {\displaystyle f_{\alpha }:C_{\mathbb {R} }\left(K_{\alpha }\right)\to X} τ {\displaystyle \tau } X {\displaystyle X} f α {\displaystyle f_{\alpha }}

Примеры

Каждая решетка Банаха , нормированная решетка и решетка Фреше является локально выпуклой векторной решеткой.

Смотрите также

Ссылки

  1. ^ abcdefghijk Schaefer & Wolff 1999, стр. 234–242.
  2. ^ Шефер и Вольф 1999, стр. 242–250.

Библиография

  • Наричи, Лоуренс; Бекенштейн, Эдвард (2011). Топологические векторные пространства . Чистая и прикладная математика (Второе изд.). Бока-Ратон, Флорида: CRC Press. ISBN 978-1584888666. OCLC  144216834.
  • Шефер, Хельмут Х.; Вольф, Манфред П. (1999). Топологические векторные пространства . GTM . Том 8 (Второе издание). Нью-Йорк, Нью-Йорк: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC  840278135.
Retrieved from "https://en.wikipedia.org/w/index.php?title=Locally_convex_vector_lattice&oldid=1134987820"