Поляритет

, полярное преобразование,- корреляцияp, для к-рой p2=id, то есть p(Y) =Xтогда и только тогда, когда p(X)=Y. П. разбивает все подпространства на пары, в частности, если пара образована подпространствами S0 и Sn-1, где S0=n(Sn-1) - точка, а Sn-1=p(S0) -гиперплоскость, то S0 наз. полюсом гиперплоскости Sn-1, a Sn-1 наз. полярой точки S0. Пространство П п (К).над телом Кобладает П. тогда и только тогда, когда тело допускает инволютивный инверсный автоморфизм a (т. е. a2=id). Пусть p представляется полубилинейной формой fa(x, у). Тогда p будет П. в том и только в том случае, когда из fa(х, y) = 0 следует fa(y, x) = 0. Поляритет p является либо симплектической корреляцией, характеризующейся тем, что [img: http://localhost:8080/file/041731-146.jpg] для любой точки Р(в этом случае f (х, у).является кососимметрич. формой на An+1, а К - полем), либо p представляется a-симметрич. формой на А n+1:a(fa(x,y))=fa(y,x). (симметрический П.), в этом случае существование нестрого изотропного нулевого подпространства равносильно тому, что характеристика тела саг К=2 (в частности, если Саг К [img: http://localhost:8080/file/041731-147.jpg] 2, то любое нулевое подпространство строго изотропно). Относительно поляритета p определяется разложение проективного пространства на подпространства, позволяющее привести полубилинейную форму, представляющую p, к канонич. виду. Важнейшими среди них являются: М - максимальное неизотропное нулевое подпространство, его размерность n(p)-1, где пчетно и наз. дефектом p, f кососимметрична; U- максимальное строго изотропное нулевое подпространство, его размерность i(p)- 1, iназ. индексом, [img: http://localhost:8080/file/041731-148.jpg]; J- компонента, свободная от нулевых подпространств, неизотропна, причем f является положительно или отрицательно определенной, [img: http://localhost:8080/file/041731-149.jpg]; W=M+U - максимальное нулевое подпространство, его размерность i(p)+n(p)-1. Проективное преобразование Fназ. p-допустимым (относительно поляритета p), если pF=Fp. Полулинейное преобразование [img: http://localhost:8080/file/041731-150.jpg] тогда и только тогда индуцирует p-допустимое проективное преобразование, когда в K существует стакое, что [img: http://localhost:8080/file/041731-151.jpg] =cj(f(x,y)).p-допустимые преобразования образуют группу С p (наз. группой П.). Если группа Gp транзитивна, то либо каждая точка пространства ПД является нулевой (и С p в этом случае наз. симплектической), либо нет ни одной нулевой точки (и Gp наз. в этом случае ортогональной при a=id и унитарной при [img: http://localhost:8080/file/041731-152.jpg]).