В математике, в частности в теории порядка и функциональном анализе , локально выпуклая векторная решетка (ЛВР) — это топологическая векторная решетка , которая также является локально выпуклым пространством. [1] ЛВР играют важную роль в теории топологических векторных решеток .
Функционал Минковского выпуклого, поглощающего и сплошного множества называется решетчатой полунормой . Эквивалентно, это полунорма такая , что подразумевает Топология локально выпуклой векторной решетки порождается семейством всех непрерывных решетчатых полунорм. [1]
Каждая локально выпуклая векторная решетка обладает окрестностной базой в начале координат, состоящей из выпуклых сбалансированных твердых поглощающих множеств. [1]
Сильный дуализм локально выпуклой векторной решетки является упорядоченно полной локально выпуклой векторной решеткой (относительно ее канонического порядка) и является сплошным подпространством порядка, дуального к ; более того, если — бочкообразное пространство , то непрерывное дуальное пространство является полосой в порядке, дуальном к , а сильный дуализм является полным локально выпуклым TVS. [1]
Если локально выпуклая векторная решетка является бочкообразной , то ее сильное сопряженное пространство является полным (это не обязательно так, если пространство является просто локально выпуклым бочкообразным пространством, но не локально выпуклой векторной решеткой). [1]
Если локально выпуклая векторная решетка полурефлексивна , то она является порядково полной и (то есть ) является полной TVS; более того, если в дополнение к этому каждый положительный линейный функционал на непрерывен, то является из имеет минимальный тип , топология порядка на равна топологии Макки и является рефлексивной . [1] Каждая рефлексивная локально выпуклая векторная решетка является порядково полной и полной локально выпуклой TVS, сильный дуал которой является бочкообразным рефлексивным локально выпуклым TVS, который может быть отождествлен под каноническим отображением оценки с сильным бидуалом (то есть сильным дуалом сильного дуала). [1]
Если локально выпуклая векторная решетка является инфрабочковым TVS, то ее можно отождествить при оценочном отображении с топологической векторной подрешеткой ее сильного бидуала, которая является упорядоченно полной локально выпуклой векторной решеткой при ее каноническом порядке. [1]
Если — сепарабельное метризуемое локально выпуклое упорядоченное топологическое векторное пространство , положительный конус которого является полным и тотальным подмножеством, то множество квазивнутренних точек является плотным в [1]
Теорема [1] — Предположим, что — упорядоченно полная локально выпуклая векторная решетка с топологией и наделим двучлен ее естественной топологией (то есть топологией равномерной сходимости на равностепенно непрерывных подмножествах ) и каноническим порядком (при котором он становится упорядоченно полной локально выпуклой векторной решеткой). Следующие условия эквивалентны:
Следствие [1] — Пусть — упорядоченно полная векторная решетка с регулярным порядком. Следующие условия эквивалентны:
Более того, если имеет минимальный тип, то топология порядка на является наилучшей локально выпуклой топологией на , для которой сходится каждый сходящийся по порядку фильтр.
Если — локально выпуклая векторная решетка, которая является борнологической и последовательно полной , то существует семейство компактных пространств и семейство -индексированных вложений векторных решеток, такое, что — наилучшая локально выпуклая топология при создании каждой непрерывной. [2]
Каждая решетка Банаха , нормированная решетка и решетка Фреше является локально выпуклой векторной решеткой.