Твердый набор
В математике, особенно в теории порядка и функциональном анализе , существует подмножество векторная решетка называется сплошной и называется идеальной , если для всех и если затем Упорядоченное векторное пространство с архимедовым порядком называется архимедовым . [1] Если тогда идеал, порожденный это наименьший идеал в содержащий Идеал, порожденный одноэлементным множеством, называется главным идеалом в
Примеры
[ редактировать ]Пересечение произвольного набора идеалов в снова является идеалом и, кроме того, явно является идеалом самого себя; таким образом, каждое подмножество содержится в единственном наименьшем идеале.
В локально выпуклой векторной решетке поляра каждой твердой окрестности начала координат является твердым подмножеством непрерывного двойственного пространства ; при этом семейство всех телесных равнонепрерывных подмножеств — фундаментальное семейство равнонепрерывных множеств, поляр (в бидуальном ) образуют базу окрестности начала координат естественной топологии на (т. е. топология равномерной сходимости на равнонепрерывном подмножестве ). [2]
Характеристики
[ редактировать ]- Сплошное подпространство векторной решетки обязательно является подрешеткой [1]
- Если — сплошное подпространство векторной решетки тогда частное представляет собой векторную решетку (в каноническом порядке). [1]
См. также
[ редактировать ]- Векторная решетка — частично упорядоченное векторное пространство, упорядоченное в виде решетки.
Ссылки
[ редактировать ]- ^ Перейти обратно: а б с Шефер и Вольф 1999 , стр. 204–214.
- ^ Шефер и Вольф 1999 , стр. 234–242.
- Наричи, Лоуренс; Бекенштейн, Эдвард (2011). Топологические векторные пространства . Чистая и прикладная математика (Второе изд.). Бока-Ратон, Флорида: CRC Press. ISBN 978-1584888666 . OCLC 144216834 .
- Шефер, Хельмут Х .; Вольф, Манфред П. (1999). Топологические векторные пространства . ГТМ . Том. 8 (Второе изд.). Нью-Йорк, Нью-Йорк: Springer New York Выходные данные Springer. ISBN 978-1-4612-7155-0 . OCLC 840278135 .