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