Квадрик

В математике, квадрикой или поверхность второго ( квадратичная гиперповерхность в более высоких измерениях ), представляет собой обобщение из конических сечений ( эллипсы , параболы и гиперболы ). Это гиперповерхность (размерности D ) в ( D + 1) n - мерном пространстве, и она определяется как множество нулей в качестве неприводимого многочлена от степени два в D + 1 переменных ( D = 1в случае конических участков). Когда определяющий полином не является абсолютно неприводимым , нулевое множество обычно не считается квадрикой, хотя его часто называют вырожденной квадрикой или приводимой квадрикой .

Таким образом, в координатах x ₁ , x ₂ , ..., x _{D +1} общая квадрика определяется алгебраическим уравнением ^[1]

${\ displaystyle \ sum _ {я, j = 1} ^ {D + 1} x_ {i} Q_ {ij} x_ {j} + \ sum _ {i = 1} ^ {D + 1} P_ {i} x_ {i} + R = 0}$

который можно компактно записать в векторной и матричной нотации как:

${\ Displaystyle xQx ^ {\ mathrm {T}} + Px ^ {\ mathrm {T}} + R = 0 \,}$

где х = ( х ₁ , х ₂ , ..., х _{D + 1} ) представляет собой ряд вектор , х ^Т является транспонированной из х (вектор - столбец), Q представляет собой ( D + 1) × ( D + 1 ) матрица и Р представляет собой ( D + 1) мерный вектор строки и R скалярный постоянным. Значения Q , P и R часто считаются превышенными.действительные числа или комплексные числа , но квадрика может быть определена по любому полю .

Квадрика - это аффинное алгебраическое многообразие или, если оно приводимо, аффинное алгебраическое множество . Квадрики также могут быть определены в проективных пространствах ; см. § Проективная геометрия ниже.

Евклидова плоскость [ править ]

Поскольку размерность евклидовой плоскости равна двум, квадрики в евклидовой плоскости имеют размерность один и, таким образом, являются плоскими кривыми . Их называют коническими сечениями , или кониками .

Евклидово пространство [ править ]

В трехмерном евклидовом пространстве квадрики имеют размерность D  = 2 и известны как квадратичные поверхности . Они классифицируются и называются по их орбитам при аффинных преобразованиях . Точнее, если аффинное преобразование отображает квадрику на другую, они принадлежат к одному классу, имеют одно и то же имя и множество свойств.

Теорема о главной оси показывает, что для любой (возможно приводимой) квадрики подходящее евклидово преобразование или замена декартовых координат позволяет преобразовать квадратное уравнение квадрики в одну из следующих нормальных форм:

${\ displaystyle {x ^ {2} \ over a ^ {2}} + {y ^ {2} \ over b ^ {2}} + \ varepsilon _ {1} {z ^ {2} \ over c ^ { 2}} + \ varepsilon _ {2} = 0,}$

${\ Displaystyle {x ^ {2} \ над ^ {2}} - {y ^ {2} \ над b ^ {2}} + \ varepsilon _ {3} = 0}$

${\displaystyle {x^{2} \over a^{2}}+\varepsilon _{4}=0,}$

${\displaystyle z={x^{2} \over a^{2}}+\varepsilon _{5}{y^{2} \over b^{2}},}$

где равны 1, –1 или 0, за исключением того, что принимает только значение 0 или 1.${\displaystyle \varepsilon _{i}}$${\displaystyle \varepsilon _{3}}$

Каждая из этих 17 нормальных форм ^[2] соответствует одной орбите при аффинных преобразованиях. В трех случаях нет реальных точек: ( мнимый эллипсоид ), ( мнимый эллиптический цилиндр ) и (пара комплексно сопряженных параллельных плоскостей, приводимая квадрика). В одном случае на воображаемом конусе есть единственная точка ( ). Если есть прямая (на самом деле две комплексно сопряженные пересекающиеся плоскости). Ведь у одного есть две пересекающиеся плоскости (приводимая квадрика). У одного есть двойной самолет. Ведь у одного есть две параллельные плоскости (приводимая квадрика).${\displaystyle \varepsilon _{1}=\varepsilon _{2}=1}$${\displaystyle \varepsilon _{1}=0,\varepsilon _{2}=1}$${\displaystyle \varepsilon _{4}=1}$${\displaystyle \varepsilon _{1}=1,\varepsilon _{2}=0}$${\displaystyle \varepsilon _{1}=\varepsilon _{2}=0,}$${\displaystyle \varepsilon _{3}=0,}$${\displaystyle \varepsilon _{4}=0,}$${\displaystyle \varepsilon _{4}=-1,}$

Таким образом, среди 17 нормальных форм есть девять истинных квадрик: конус, три цилиндра (часто называемые вырожденными квадриками) и пять невырожденных квадрик ( эллипсоид , параболоиды и гиперболоиды ), которые подробно описаны в следующих таблицах. Восемь оставшихся квадрик - это мнимый эллипсоид (без действительной точки), мнимый цилиндр (без действительной точки), мнимый конус (единственная действительная точка) и приводимые квадрики, которые разлагаются в двух плоскостях; существует пять таких разложенных квадрик, в зависимости от того, являются ли плоскости различными или нет, параллельными или нет, действительными или комплексно сопряженными.

Невырожденные вещественные квадратичные поверхности
Эллипсоид	${\displaystyle {x^{2} \over a^{2}}+{y^{2} \over b^{2}}+{z^{2} \over c^{2}}=1\,}$
Эллиптический параболоид	${\displaystyle {x^{2} \over a^{2}}+{y^{2} \over b^{2}}-z=0\,}$
Гиперболический параболоид	${\displaystyle {x^{2} \over a^{2}}-{y^{2} \over b^{2}}-z=0\,}$
Гиперболоид одного листа       или    Гиперболоид гиперболоид	${\displaystyle {x^{2} \over a^{2}}+{y^{2} \over b^{2}}-{z^{2} \over c^{2}}=1\,}$
Гиперболоид двух листов       или    Эллиптический гиперболоид	${\displaystyle {x^{2} \over a^{2}}+{y^{2} \over b^{2}}-{z^{2} \over c^{2}}=-1\,}$

Вырожденные вещественные квадратичные поверхности
Эллиптический конус       или    коническая квадрика	${\displaystyle {x^{2} \over a^{2}}+{y^{2} \over b^{2}}-{z^{2} \over c^{2}}=0\,}$
Эллиптический цилиндр	${\displaystyle {x^{2} \over a^{2}}+{y^{2} \over b^{2}}=1\,}$
Гиперболический цилиндр	${\displaystyle {x^{2} \over a^{2}}-{y^{2} \over b^{2}}=1\,}$
Параболический цилиндр	${\displaystyle x^{2}+2ay=0\,}$

Когда два или более параметров канонического уравнения равны, получается квадрика вращения , которая остается неизменной при вращении вокруг оси (или бесконечного числа осей в случае сферы).

Квадрики революции
Сплюснутые и вытянутые сфероиды (частные случаи эллипсоида)	${\displaystyle {x^{2} \over a^{2}}+{y^{2} \over a^{2}}+{z^{2} \over b^{2}}=1\,}$
Сфера (частный случай сфероида)	${\displaystyle {x^{2} \over a^{2}}+{y^{2} \over a^{2}}+{z^{2} \over a^{2}}=1\,}$
Круговой параболоид (частный случай эллиптического параболоида)	${\displaystyle {x^{2} \over a^{2}}+{y^{2} \over a^{2}}-z=0\,}$
Гиперболоид вращения одного листа (частный случай гиперболоида одного листа)	${\displaystyle {x^{2} \over a^{2}}+{y^{2} \over a^{2}}-{z^{2} \over b^{2}}=1\,}$
Гиперболоид вращения двух листов (частный случай гиперболоида двух листов)	${\displaystyle {x^{2} \over a^{2}}+{y^{2} \over a^{2}}-{z^{2} \over b^{2}}=-1\,}$
Круглый конус (частный случай эллиптического конуса)	${\displaystyle {x^{2} \over a^{2}}+{y^{2} \over a^{2}}-{z^{2} \over b^{2}}=0\,}$
Круглый цилиндр (частный случай эллиптического цилиндра)	${\displaystyle {x^{2} \over a^{2}}+{y^{2} \over a^{2}}=1\,}$

Определение и основные свойства [ править ]

Аффинная квадрика является множеством нулей полинома степени два. Если не указано иное, предполагается, что полином имеет действительные коэффициенты, а нули - это точки в евклидовом пространстве . Однако большинство свойств остаются верными, когда коэффициенты принадлежат любому полю, а точки принадлежат аффинному пространству . Как обычно в алгебраической геометрии , часто полезно рассматривать точки над алгебраически замкнутым полем, содержащим полиномиальные коэффициенты, обычно комплексные числа , когда коэффициенты действительны.

Многие свойства становится легче сформулировать (и доказать), расширив квадрику до проективного пространства с помощью проективного пополнения , состоящего из добавления бесконечно удаленных точек . Технически, если

${\displaystyle p(x_{1},\ldots ,x_{n})}$

является многочленом второй степени, определяющим аффинную квадрику, то его проективное пополнение определяется усреднением p в

${\displaystyle P(X_{0},\ldots ,X_{n})=X_{0}^{2}\,p\left({\frac {X_{1}}{X_{0}}},\ldots ,{\frac {X_{n}}{X_{0}}}\right)}$

(это многочлен, поскольку степень p равна двум). Точки проективных завершений являются точками проективного пространства , чьи проективных координаты являются нулями Р .

Итак, проективная квадрика - это множество нулей в проективном пространстве однородного многочлена второй степени.

Поскольку описанный выше процесс гомогенизации можно отменить, установив X ₀ = 1 , часто бывает полезно не отличать аффинную квадрику от ее проективного завершения и говорить об аффинном уравнении или проективном уравнении квадрики.

Уравнение [ править ]

Квадрика в аффинном пространстве размерности n - это множество нулей многочлена степени 2, то есть множество точек, координаты которых удовлетворяют уравнению

${\displaystyle p(x_{1},\ldots ,x_{n})=0,}$

где многочлен p имеет вид

${\displaystyle p(x_{1},\ldots ,x_{n})=\sum _{i=1}^{n}a_{i,i}x_{i}^{2}+\sum _{1\leq i<j\leq n}(a_{i,j}+a_{j,i})x_{i}x_{j}+\sum _{i=1}^{n}(a_{i,0}+a_{0,i})x_{i}+a_{0,0},}$

где , если характеристика в области коэффициентов не два , а в противном случае.${\displaystyle a_{i,j}=a_{j,i}}$${\displaystyle a_{j,i}=0}$

Если A - матрица ( n + 1) × ( n + 1) , имеющая элементы as, и${\displaystyle a_{i,j}}$

${\displaystyle \mathbf {x} ={\begin{pmatrix}1&x_{1}&\cdots &x_{n}\end{pmatrix}}^{\mathsf {T}},}$

тогда уравнение может быть сокращено до матричного уравнения

${\displaystyle \mathbf {x} ^{\mathsf {T}}A\mathbf {x} =0.}$

Уравнение проективного пополнения этой квадрики имеет вид

${\displaystyle \sum _{i=0}^{n}a_{i,i}X_{i}^{2}+\sum _{0\leq i<j\leq n}(a_{i,j}+a_{j,i})X_{i}X_{j},}$

или же

${\displaystyle \mathbf {X} ^{\mathsf {T}}A\mathbf {X} =0,}$

с

${\displaystyle \mathbf {X} ={\begin{pmatrix}X_{0}&X_{1}&\cdots &X_{n}\end{pmatrix}}^{\mathsf {T}}.}$

Эти уравнения определяют квадрика как алгебраическая гиперповерхность в размерности п - 1 и второй степени в пространстве размерности п .

Нормальная форма проективных квадрик [ править ]

Квадрики можно рассматривать единообразно, вводя однородные координаты на евклидовом пространстве, таким образом эффективно рассматривая его как проективное пространство . Таким образом, если исходные (аффинные) координаты на R ^{D +1} равны

${\displaystyle (x_{1},\dots ,x_{D+1})}$

вводятся новые координаты на R ^{D +2}

${\displaystyle [X_{0},\dots ,X_{D+1}]}$

относительно исходных координат на . В новых переменных каждая квадрика определяется уравнением вида${\displaystyle x_{i}=X_{i}/X_{0}}$

${\displaystyle Q(X)=\sum _{ij}a_{ij}X_{i}X_{j}=0\,}$

где коэффициенты a _ij симметричны по i и j . Рассмотрение Q ( X ) = 0 как уравнения в проективном пространстве показывает квадрику как проективное алгебраическое многообразие . Квадрика называется невырожденной, если квадратичная форма неособа; эквивалентно, если матрица ( a _ij ) обратима .

В реальном проективном пространстве по закону инерции Сильвестра неособая квадратичная форма Q ( X ) может быть преобразована в нормальную форму

${\displaystyle Q(X)=\pm X_{0}^{2}\pm X_{1}^{2}\pm \cdots \pm X_{D+1}^{2}}$

с помощью подходящего проективного преобразования (нормальные формы для особых квадрик могут иметь как нули, так и коэффициенты ± 1). Для поверхностей в пространстве (размерность D  = 2) существует ровно три невырожденных случая:

${\displaystyle Q(X)={\begin{cases}X_{0}^{2}+X_{1}^{2}+X_{2}^{2}+X_{3}^{2}\\X_{0}^{2}+X_{1}^{2}+X_{2}^{2}-X_{3}^{2}\\X_{0}^{2}+X_{1}^{2}-X_{2}^{2}-X_{3}^{2}\end{cases}}}$

Первый случай - пустой набор.

Во втором случае генерируется эллипсоид, эллиптический параболоид или гиперболоид из двух листов, в зависимости от того, разрезает ли выбранная плоскость на бесконечности квадрику в пустом множестве, в точке или в невырожденной конике соответственно. Все они имеют положительную гауссову кривизну .

Третий случай генерирует гиперболический параболоид или гиперболоид одного листа, в зависимости от того, разрезает ли его бесконечно удаленная плоскость на две линии или на невырожденную конику соответственно. Это двояковыпуклые поверхности отрицательной гауссовой кривизны.

Вырожденная форма

${\displaystyle X_{0}^{2}-X_{1}^{2}-X_{2}^{2}=0.\,}$

генерирует эллиптический цилиндр, параболический цилиндр, гиперболический цилиндр или конус, в зависимости от того, разрезает ли его бесконечно удаленная плоскость на точку, прямую, две прямые или невырожденную конику соответственно. Это однокорпусные поверхности нулевой гауссовой кривизны.

Мы видим, что проективные преобразования не смешивают гауссову кривизну разного знака. Это верно для общих поверхностей. ^[3]

В комплексном проективном пространстве все невырожденные квадрики становятся неотличимыми друг от друга.

Проективные квадрики над полями [ править ]

Определение проективной квадрики в реальном проективном пространстве (см. Выше) может быть формально принято, определяя проективную квадрику в n-мерном проективном пространстве над полем . Чтобы не заниматься координатами, проективную квадрику обычно определяют, начиная с квадратичной формы на векторном пространстве ^[4]

Квадратичная форма [ править ]

Пусть быть поле и в векторном пространстве над . Отображение из в такое, что${\displaystyle K}$${\displaystyle V}$${\displaystyle K}$${\displaystyle q}$${\displaystyle V}$${\displaystyle K}$

(Q1) для любых и .${\displaystyle \;q(\lambda {\vec {x}})=\lambda ^{2}q({\vec {x}})\;}$${\displaystyle \lambda \in K}$${\displaystyle {\vec {x}}\in V}$

(Q2) - билинейная форма .${\displaystyle \;f({\vec {x}},{\vec {y}}):=q({\vec {x}}+{\vec {y}})-q({\vec {x}})-q({\vec {y}})\;}$

называется квадратичной формой . Билинейная форма симметрична .${\displaystyle f}$

В случае билинейной формы is , т.е. и определяются взаимно однозначно. В случае (что означает :) билинейная форма обладает свойством , т.е. является симплектической .${\displaystyle \operatorname {char} K\neq 2}$${\displaystyle f({\vec {x}},{\vec {x}})=2q({\vec {x}})}$${\displaystyle f}$${\displaystyle q}$
${\displaystyle \operatorname {char} K=2}$${\displaystyle 1+1=0}$${\displaystyle f({\vec {x}},{\vec {x}})=0}$${\displaystyle f}$

Ибо и ( является основанием ) имеет знакомую форму${\displaystyle V=K^{n}\ }$${\displaystyle \ {\vec {x}}=\sum _{i=1}^{n}x_{i}{\vec {e}}_{i}\quad }$${\displaystyle \{{\vec {e}}_{1},\ldots ,{\vec {e}}_{n}\}}$${\displaystyle V}$${\displaystyle \ q}$

${\displaystyle q({\vec {x}})=\sum _{1=i\leq k}^{n}a_{ik}x_{i}x_{k}\ {\text{ with }}\ a_{ik}:=f({\vec {e}}_{i},{\vec {e}}_{k})\ {\text{ for }}\ i\neq k\ {\text{ and }}\ a_{ii}:=q({\vec {e}}_{i})\ }$ и

${\displaystyle f({\vec {x}},{\vec {y}})=\sum _{1=i\leq k}^{n}a_{ik}(x_{i}y_{k}+x_{k}y_{i})}$.

Например:

${\displaystyle n=3,\quad q({\vec {x}})=x_{1}x_{2}-x_{3}^{2},\quad f({\vec {x}},{\vec {y}})=x_{1}y_{2}+x_{2}y_{1}-2x_{3}y_{3}\;.}$

n -мерное проективное пространство над полем [ править ]

Пусть будет поле, , ${\displaystyle K}$${\displaystyle 2\leq n\in \mathbb {N} }$

${\displaystyle V_{n+1}}$ an ( n + 1) - мерное векторное пространство над полем${\displaystyle K,}$

${\displaystyle \langle {\vec {x}}\rangle }$1-мерное подпространство, порожденное 0 → ≠ x → ∈ V n + 1 {\displaystyle {\vec {0}}\neq {\vec {x}}\in V_{n+1}} ,

${\displaystyle {\mathcal {P}}=\{\langle {\vec {x}}\rangle \mid {\vec {x}}\in V_{n+1}\},\ }$множество точек ,

${\displaystyle {\mathcal {G}}=\{{\text{2-dimensional subspaces of }}V_{n+1}\},\ }$набор линий .

${\displaystyle P_{n}(K)=({\mathcal {P}},{\mathcal {G}})\ }$является n -мерным проективным пространством над .${\displaystyle K}$

Множество точек содержится в n - мерном подпространстве является мерное подпространство в . Двумерное подпространство - это плоскость .${\displaystyle (k+1)}$${\displaystyle V_{n+1}}$${\displaystyle k}$${\displaystyle P_{n}(K)}$

В случае с n - мерного подпространства называется гиперплоскость .${\displaystyle \;n>3\;}$${\displaystyle (n-1)}$

Проективная квадрика [ править ]

Для квадратичной формы на векторном пространстве точка называется особой, если . Набор${\displaystyle q}$${\displaystyle V_{n+1}}$${\displaystyle \langle {\vec {x}}\rangle \in {\mathcal {P}}}$${\displaystyle q({\vec {x}})=0}$

${\displaystyle {\mathcal {Q}}=\{\langle {\vec {x}}\rangle \in {\mathcal {P}}\mid q({\vec {x}})=0\}}$

особых точек называется квадрикой (относительно квадратичной формы ).${\displaystyle q}$${\displaystyle q}$

Примеры в .: ${\displaystyle P_{2}(K)}$
(E1): Ибо получается конус . (E2): Ибо получается пара строк с уравнениями и , соответственно. Они пересекаются в точке ;${\displaystyle \;q({\vec {x}})=x_{1}x_{2}-x_{3}^{2}\;}$
${\displaystyle \;q({\vec {x}})=x_{1}x_{2}\;}$${\displaystyle x_{1}=0}$${\displaystyle x_{2}=0}$${\displaystyle \langle (0,0,1)^{\text{T}}\rangle }$

Для соображений ниже предполагается, что .${\displaystyle {\mathcal {Q}}\neq \emptyset }$

Полярное пространство [ править ]

Для точечного набора${\displaystyle P=\langle {\vec {p}}\rangle \in {\mathcal {P}}}$

${\displaystyle P^{\perp }:=\{\langle {\vec {x}}\rangle \in {\mathcal {P}}\mid f({\vec {p}},{\vec {x}})=0\}}$

называются полярное пространство из (относительно ).${\displaystyle P}$${\displaystyle q}$

Если по любому , то получится .${\displaystyle \;f({\vec {p}},{\vec {x}})=0\;}$${\displaystyle {\vec {x}}}$${\displaystyle P^{\perp }={\mathcal {P}}}$

Если хотя бы для одного , уравнение является нетривиальным линейным уравнением, определяющим гиперплоскость. Следовательно${\displaystyle \;f({\vec {p}},{\vec {x}})\neq 0\;}$${\displaystyle {\vec {x}}}$${\displaystyle \;f({\vec {p}},{\vec {x}})=0\;}$

${\displaystyle P^{\perp }}$является либо гиперплоскостью, либо .${\displaystyle {\mathcal {P}}}$

Пересечение с линией [ править ]

Для пересечения прямой с квадрикой верно знакомое утверждение:${\displaystyle {\mathcal {Q}}}$

Для произвольной строки возможны следующие случаи:${\displaystyle g}$

а) и называется внешней линией или${\displaystyle g\cap {\mathcal {Q}}=\emptyset \;}$${\displaystyle g}$

б) и называется касательной или${\displaystyle g\subset {\mathcal {Q}}\;}$${\displaystyle g}$

b ′) и называется касательной или${\displaystyle |g\cap {\mathcal {Q}}|=1\;}$${\displaystyle g}$

в) и называется секущей линией .${\displaystyle |g\cap {\mathcal {Q}}|=2\;}$${\displaystyle g}$

Доказательство: Позвольте быть прямой, которая пересекается в точке и является второй точкой на . Из одного получается I) В случае уравнения справедливо и оно при любом . Следовательно, либо для любого, либо для любого , что доказывает б) и б '). II) В случае, если получается и уравнение имеет ровно одно решение . Отсюда:, что доказывает c).${\displaystyle g}$${\displaystyle {\mathcal {Q}}}$${\displaystyle \;U=\langle {\vec {u}}\rangle \;}$${\displaystyle \;V=\langle {\vec {v}}\rangle \;}$${\displaystyle g}$${\displaystyle \;q({\vec {u}})=0\;}$
${\displaystyle q(x{\vec {u}}+{\vec {v}})=q(x{\vec {u}})+q({\vec {v}})+f(x{\vec {u}},{\vec {v}})=q({\vec {v}})+xf({\vec {u}},{\vec {v}})\;.}$
${\displaystyle g\subset U^{\perp }}$${\displaystyle f({\vec {u}},{\vec {v}})=0}$${\displaystyle \;q(x{\vec {u}}+{\vec {v}})=q({\vec {v}})\;}$${\displaystyle x\in K}$${\displaystyle \;q(x{\vec {u}}+{\vec {v}})=0\;}$ ${\displaystyle x\in K}$${\displaystyle \;q(x{\vec {u}}+{\vec {v}})\neq 0\;}$ ${\displaystyle x\in K}$
${\displaystyle g\not \subset U^{\perp }}$${\displaystyle f({\vec {u}},{\vec {v}})\neq 0}$${\displaystyle \;q(x{\vec {u}}+{\vec {v}})=q({\vec {v}})+xf({\vec {u}},{\vec {v}})=0\;}$${\displaystyle x}$${\displaystyle |g\cap {\mathcal {Q}}|=2}$

Дополнительно доказательство показывает:

Линия, проходящая через точку, является касательной тогда и только тогда, когда .${\displaystyle g}$${\displaystyle P\in {\mathcal {Q}}}$${\displaystyle g\subset P^{\perp }}$

f -радикал, q -радикал [ править ]

В классических случаях или существует только один радикал, потому что и и тесно связаны. В случае, если квадрика не определяется (см. Выше) и поэтому приходится иметь дело с двумя радикалами:${\displaystyle K=\mathbb {R} }$${\displaystyle \mathbb {C} }$${\displaystyle \operatorname {char} K\neq 2}$${\displaystyle f}$${\displaystyle q}$${\displaystyle \operatorname {char} K=2}$${\displaystyle {\mathcal {Q}}}$${\displaystyle f}$

а) - проективное подпространство. называется f -радикалом квадрики .${\displaystyle {\mathcal {R}}:=\{P\in {\mathcal {P}}\mid P^{\perp }={\mathcal {P}}\}}$${\displaystyle {\mathcal {R}}}$${\displaystyle {\mathcal {Q}}}$

б) называется сингулярным радикалом или -радикальна из .${\displaystyle {\mathcal {S}}:={\mathcal {R}}\cap {\mathcal {Q}}}$${\displaystyle q}$${\displaystyle {\mathcal {Q}}}$

в) Если есть .${\displaystyle \operatorname {char} K\neq 2}$${\displaystyle {\mathcal {R}}={\mathcal {S}}}$

Квадрика называется невырожденной, если .${\displaystyle {\mathcal {S}}=\emptyset }$

Примеры в${\displaystyle P_{2}(K)}$ (см. Выше):
(E1): Для (конической) билинейной формы является В случае полярных пространств никогда . Следовательно . В случае билинейной формы сводится к а . Следовательно, в этом случае f -радикал является точкой пересечения всех касательных, так называемым узлом . В обоих случаях и квадрика (коника) невырождена . (Е2): Для получения (пара линий) билинейная форма и точка пересечения. В этом примере квадрика вырожденная .${\displaystyle \;q({\vec {x}})=x_{1}x_{2}-x_{3}^{2}\;}$${\displaystyle f({\vec {x}},{\vec {y}})=x_{1}y_{2}+x_{2}y_{1}-2x_{3}y_{3}\;.}$
${\displaystyle \operatorname {char} K\neq 2}$${\displaystyle {\mathcal {P}}}$${\displaystyle {\mathcal {R}}={\mathcal {S}}=\emptyset }$
${\displaystyle \operatorname {char} K=2}$${\displaystyle f({\vec {x}},{\vec {y}})=x_{1}y_{2}+x_{2}y_{1}\;}$${\displaystyle {\mathcal {R}}=\langle (0,0,1)^{\text{T}}\rangle \notin {\mathcal {Q}}}$${\displaystyle {\mathcal {R}}\neq {\mathcal {S}}=\emptyset \;.}$
${\displaystyle S=\emptyset }$
${\displaystyle \;q({\vec {x}})=x_{1}x_{2}\;}$${\displaystyle f({\vec {x}},{\vec {y}})=x_{1}y_{2}+x_{2}y_{1}\;}$${\displaystyle {\mathcal {R}}=\langle (0,0,1)^{\text{T}}\rangle ={\mathcal {S}}\;,}$

Симметрии [ править ]

Квадрика - довольно однородный объект:

Для любой точки существует инволютивная центральная коллинеация с центром и .${\displaystyle P\notin {\mathcal {Q}}\cup {\mathcal {R}}\;}$ ${\displaystyle \sigma _{P}}$${\displaystyle P}$${\displaystyle \sigma _{P}({\mathcal {Q}})={\mathcal {Q}}}$

Доказательство: из- за полярности пространство является гиперплоскостью.${\displaystyle P\notin {\mathcal {Q}}\cup {\mathcal {R}}}$${\displaystyle P^{\perp }}$

Линейное отображение

${\displaystyle \varphi :{\vec {x}}\rightarrow {\vec {x}}-{\frac {f({\vec {p}},{\vec {x}})}{q({\vec {p}})}}{\vec {p}}}$

вызывает инволютивную центральную коллинеацию с осью и центром, что оставляет неизменным. В случае отображения получает знакомую форму с и для любого .${\displaystyle \sigma _{P}}$${\displaystyle P^{\perp }}$${\displaystyle P}$${\displaystyle {\mathcal {Q}}}$
${\displaystyle \operatorname {char} K\neq 2}$${\displaystyle \varphi }$ ${\displaystyle \;\varphi :{\vec {x}}\rightarrow {\vec {x}}-2{\frac {f({\vec {p}},{\vec {x}})}{f({\vec {p}},{\vec {p}})}}{\vec {p}}\;}$${\displaystyle \;\varphi ({\vec {p}})=-{\vec {p}}}$${\displaystyle \;\varphi ({\vec {x}})={\vec {x}}\;}$${\displaystyle \langle {\vec {x}}\rangle \in P^{\perp }}$

Замечание:

а) Внешняя линия, касательная или секущая линия отображается инволюцией на внешнюю, касательную и секущую линии соответственно.${\displaystyle \sigma _{P}}$

б) поточечно фиксируется .${\displaystyle {\mathcal {R}}}$${\displaystyle \sigma _{P}}$

q -подпространства и индекс квадрики [ править ]

Подпространство в называется -подпространством, если${\displaystyle \;{\mathcal {U}}\;}$${\displaystyle P_{n}(K)}$${\displaystyle q}$${\displaystyle \;{\mathcal {U}}\subset {\mathcal {Q}}\;}$

Например: точки на сфере или линии на гиперболоиде (см. Ниже).

Любые два максимальных -подпространства имеют одинаковую размерность . ^[5]${\displaystyle q}$${\displaystyle m}$

Пусть - размерность максимальных -подпространств тогда${\displaystyle m}$${\displaystyle q}$${\displaystyle {\mathcal {Q}}}$

Целое число , называется индексом из .${\displaystyle \;i:=m+1\;}$${\displaystyle {\mathcal {Q}}}$

Теорема: (БУКЕНХУТ) ^[6]

Для индекса из невырожденной квадрики в следующих случаях:${\displaystyle i}$${\displaystyle {\mathcal {Q}}}$${\displaystyle P_{n}(K)}$

${\displaystyle i\leq {\frac {n+1}{2}}}$.

Пусть - невырожденная квадрика в , и ее индекс.${\displaystyle {\mathcal {Q}}}$${\displaystyle P_{n}(K),n\geq 2}$${\displaystyle i}$

В случае квадрики называется сферой (или овальной конической, если ).${\displaystyle i=1}$${\displaystyle {\mathcal {Q}}}$${\displaystyle n=2}$

В случае квадрики называется гиперболоидом (одного листа).${\displaystyle i=2}$${\displaystyle {\mathcal {Q}}}$

Примеры:

а) Quadric в форме является невырожденной с индексом 1.${\displaystyle {\mathcal {Q}}}$${\displaystyle P_{2}(K)}$${\displaystyle \;q({\vec {x}})=x_{1}x_{2}-x_{3}^{2}\;}$

б) Если многочлен является неприводимым над квадратичной формой приводит к невырожденной квадрике в индексных 1 (сферах). Например: неприводимо над (но не над  !).${\displaystyle \;p(\xi )=\xi ^{2}+a_{0}\xi +b_{0}\;}$${\displaystyle K}$${\displaystyle \;q({\vec {x}})=x_{1}^{2}+a_{0}x_{1}x_{2}+b_{0}x_{2}^{2}-x_{3}x_{4}\;}$${\displaystyle {\mathcal {Q}}}$${\displaystyle P_{3}(K)}$${\displaystyle \;p(\xi )=\xi ^{2}+1\;}$${\displaystyle \mathbb {R} }$${\displaystyle \mathbb {C} }$

в) В квадратичной форме порождает гиперболоид .${\displaystyle P_{3}(K)}$${\displaystyle \;q({\vec {x}})=x_{1}x_{2}+x_{3}x_{4}\;}$

Обобщение квадрик: квадратичные множества [ править ]

Формально распространять определение квадрик на пространства над истинными телами (телами) нецелесообразно. Потому что получатся секущие с более чем двумя точками квадрики, что полностью отличается от обычных квадрик. ^{[7] [8] [9]} Причина тому - следующее утверждение.

Деление кольцо является коммутативным тогда и только тогда , когда любое уравнение , имеет не более двух решений.${\displaystyle K}$ ${\displaystyle x^{2}+ax+b=0,\ a,b\in K}$

Есть обобщения квадрик: квадратичные множества . ^[10] Квадратичное множество - это множество точек проективного пространства с теми же геометрическими свойствами, что и квадрика: каждая прямая пересекает квадратичное множество не более чем в двух точках или содержится в множестве.

См. Также [ править ]

• Кляйн квадрик
• Вращение осей
• Суперквадрика
• Перевод осей

Ссылки [ править ]

Библиография [ править ]

• М. Аудин: Геометрия , Springer, Берлин, 2002, ISBN 978-3-540-43498-6 , стр. 200. 
• М. Бергер: Проблемные книги по математике , ISSN 0941-3502, Springer New York, стр 79–84.
• A. Beutelspacher, U. Rosenbaum: Projektive Geometrie , Vieweg + Teubner, Braunschweig ua 1992, ISBN 3-528-07241-5 , стр. 159. 
• П. Дембовски: Конечные геометрии , Springer, 1968, ISBN 978-3-540-61786-0 , стр. 43. 
• Исковских В.А. (2001) [1994], «Квадрика» , Энциклопедия математики , EMS Press
• Вайсштейн, Эрик В. «Квадрик» . MathWorld .

Внешние ссылки [ править ]

• Интерактивные Java 3D модели всех квадратичных поверхностей
• Конспект лекции « Геометрия плоского круга» , «Введение в плоскости Мебиуса, Лагерра и Минковского» , стр. 117