Вурф

- упорядоченная совокупность [img: http://localhost:8080/file/010320-180.jpg] точек n-мерного проективного пространства при n>1 и четырех точек при n=1. В случае n>1 никакие n+l точек В. не принадлежат (n-1)-мерному проективному пространству. Два В. на прямой или на коническом сечении равны, если образующие их четверки точек проек-тивны. Над В. производятся операции сложения и умножения. При этом удобно пользоваться В. с тремя одинаковыми точками [img: http://localhost:8080/file/010320-181.jpg] - так наз. приведенными В. Таким образом операции над В. сводятся к операциям над точками. Суммой точек Аи В(отличных от [img: http://localhost:8080/file/010320-182.jpg]) наз. точка А+В, к-рая соответствует Р 0 в гиперболич. инволюции. Операция сложения коммутативна и ассоциативна. Точка Р 0 является нулевым элементом и для "аждой точки Аимеется противоположная [img: http://localhost:8080/file/010320-183.jpg] Произведением точек А и В (отличных от [img: http://localhost:8080/file/010320-184.jpg]) наз, точка [img: http://localhost:8080/file/010320-185.jpg], составляющая с Р 1 пару в эллиптич. или гиперболич. инволюции. Операция умножения коммутативна и ассоциативна. Точка Р 1 является единичным элементом и для каждой точки Аимеется обратная ей [img: http://localhost:8080/file/010320-186.jpg]