Квадрик - Quadric

Для компьютерной компании см. Quadrics (компания).

Для квадрик в алгебраической геометрии см. Квадрика (алгебраическая геометрия).

Не путать с Квадратичный или Quartic.

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

В координатах Икс₁, Икс₂, ..., Икс_D+1, общая квадрика, таким образом, определяется алгебраическое уравнение^[1]

${\displaystyle \sum _{i,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)-мерный вектор-строка и р скалярная постоянная. Ценности Q, п и р часто считаются законченными действительные числа или сложные числа, но квадрика может быть определена над любым поле.

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

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

Основная статья: коническая секция

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

Круг (е = 0), эллипс (е = 0,5), парабола (е = 1) и гипербола (е = 2) с фиксированным фокусом F и директриса.

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

В трехмерном Евклидово пространство, квадрики имеют размерность 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} \over a^{2}}-{y^{2} \over 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}},}$

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

Каждая из этих 17 нормальных форм^[2][3] соответствует одной орбите при аффинных преобразованиях. В трех случаях реальных точек нет: ${\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\,}$

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

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

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

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

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

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

(это многочлен, поскольку степень п два). Точки проективного пополнения - это точки проективного пространства, проективные координаты нули п.

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

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

Уравнение

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

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

где многочлен п имеет форму

${\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}$ в противном случае.

Если А это (п + 1)×(п + 1) матрица, имеющая ${\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 и степень два в пространстве измерения п.

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

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

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

вводятся новые координаты на р^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\,}$

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

В реальное проективное пространство, от Закон инерции Сильвестра, неособое квадратичная форма Q(Икс) можно привести к нормальной форме

${\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.\,}$

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

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

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

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

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

Квадратичная форма

Позволять ${\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}$ симметричен.

В случае ${\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}\;.}$

п-мерное проективное пространство над полем

Позволять ${\displaystyle K}$ быть полем, ${\displaystyle 2\leq n\in \mathbb {N} }$,

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

${\displaystyle \langle {\vec {x}}\rangle }$ одномерный подпространство, порожденное ${\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}})\ }$ это п-размерный проективное пространство над ${\displaystyle K}$.

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

В случае ${\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): Для ${\displaystyle \;q({\vec {x}})=x_{1}x_{2}-x_{3}^{2}\;}$ каждый получает конический.
(E2): Для ${\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}$ называется касательная линия или

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

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

Доказательство:Позволять ${\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}})\;.}$
I) В случае ${\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}$, что доказывает б) и б ').
II) В случае ${\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}$, что доказывает c).

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

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

ж-радикальный, 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}$ (см. выше) и поэтому приходится иметь дело с двумя радикалами:

а) ${\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): Для ${\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 }$ а квадрика (коника) ist невырожденный.
(E2): Для ${\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}}\;}$

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

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

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

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

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

Для индекса ${\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}}}$ называется гиперболоид (одного листа).

Примеры:

а) Квадрик ${\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)}$ индекса 1 (сфера). Например: ${\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}\;}$ генерирует гиперболоид.

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

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

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

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

Смотрите также

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

использованная литература

1. Сильвио Леви Квадрики в «Геометрических формулах и фактах», отрывок из 30-го издания Стандартные математические таблицы и формулы CRC, CRC Press, от Центр геометрии в Университет Миннесоты
2. Стюарт Венит и Уэйн Бишоп, Элементарная линейная алгебра (четвертое издание), International Thompson Publishing, 1996.
3. Самин Ахмед Хан,Квадратичные поверхности в науке и технике В архиве 2013-08-13 в WebCite, Вестник IAPT, 2 (11), 327–330 (ноябрь 2010). (Публикация Индийская ассоциация учителей физики ).
   Самин Ахмед Хан, Координатно-геометрическое обобщение сферометра и цилиндрометра, arXiv: 1311.3602
   (Видимо, эти ненадежные источники забудь один случай)
4. С. Лазебник и Дж. Понсе, «Локальная проективная форма гладких поверхностей и их очертания» (PDF)., Предложение 1
5. Бойтельшпахер / Розенбаум: стр. 158
6. Бойтельпахер / Розенбаум, стр.139
7. Ф. Бюкенхаут: Ансамбли квадратичных проективных пространств, Математика. Teitschr. 110 (1969), стр. 306-318.
8. Р. Artzy: Коник ${\displaystyle y=x^{2}}$ в самолетах Муфанг, Aequat.Mathem. 6 (1971), стр. 31-35
9. Э. Берц: Kegelschnitte в Desarguesschen Ebenen, Математика. Zeitschr. 78 (1962), стр. 55-8
10. внешняя ссылка Э. Хартманн: Плоские окружности геометрии, п. 123
11. Бойтельшпахер / Розенбаум: стр. 135

Список используемой литературы

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

внешние ссылки

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