Изменения

Перейти к: навигация, поиск
м
Нет описания правки
[[Файл:dual.png|400px|thumb|right|Совпадение верхнего CH и нижней огибающей]]
Замечания:* Будем обозначать, что <tex> D(p) = p^* </tex>, <tex> D(P)l) = P l^* </tex> Факт дуализма:
* Точка <tex> p </tex> лежит под/на/над прямой <tex> l </tex> тогда и только тогда, когда <tex> D(l) </tex> лежит под/на/над прямой <tex> D(p) </tex>;
* Точка Тогда точка <tex> p \in P = \cup p_i </tex> принадлежит <tex> UH(P) </tex> тогда и только тогда, когда существует такая не вертикальная прямая <tex> l </tex>, что <tex> \forall i : p_i </tex> лежит под <tex> l </tex>.Таким образом получаемПерефразируем для dual-пространства:* Взаимно однозначное соответствие между вершинами Существует точка <tex> CH(D(L)) l^* </tex> и границами пересечения на прямой <tex> p^* \cap_{i=1}in P^* : l^{n}(l_i) * </tex>;* Порядок точек в лежит под любой прямой из <tex> CH(D(L)) P^*</tex> совпадает с порядком прямых в пересечении.
== Источники ==
222
правки

Навигация