Непересекающаяся решетка - Википедия - Lattice disjoint
В математике, особенно в теория порядка и функциональный анализ, два элемента Икс и у из векторная решетка Икс находятся решетка непересекающаяся или просто непересекающийся если , в этом случае мы пишем , где абсолютная величина из Икс определяется как .[1] Мы говорим, что два набора А и B находятся решетка непересекающаяся или же непересекающийся если а и б не пересекаются для всех а в А и все б в B, в этом случае мы пишем .[2] Если А это одноэлементный набор тогда мы напишем на месте . Для любого набора А, мы определяем непересекающееся дополнение быть набором .[2]
Характеристики
Два элемента Икс и у не пересекаются тогда и только тогда, когда . Если Икс и у не пересекаются, то и , где для любого элемента z, и .
Характеристики
Непересекающиеся дополнения всегда группы, но в целом обратное неверно. Если А это подмножество Икс такой, что существует, и если B является решеткой подмножеств в Икс это не пересекается с А, тогда B решетка, не пересекающаяся с .[2]
Представление в виде непересекающейся суммы положительных элементов
Для любого Икс в Икс, позволять и , где заметим, что оба эти элемента являются и с . потом и не пересекаются, и является уникальным представлением Икс как разность непересекающихся элементов, которые .[2] Для всех Икс и у в Икс, и .[3] Если у ≥ 0 и Икс ≤ у тогда Икс+ ≤ у. Более того, если и только если и .[2]
Смотрите также
Рекомендации
- ^ Шефер и Вольф, 1999 г. С. 204–214.
- ^ а б c d е Шефер и Вольф, 1999 г. С. 74–78.
- ^ Шефер и Вольф, 1999 г. С. 74-78.
Источники
- Шефер, Гельмут Х.; Вольф, Манфред П. (1999). Топологические векторные пространства. GTM. 3. Нью-Йорк, штат Нью-Йорк: Springer New York Выходные данные Springer. ISBN 978-1-4612-7155-0. OCLC 840278135.CS1 maint: ref = harv (связь)