Аффинная классификация кривых второго порядка.
Теорема 5.16. Любая кривая второго порядка аффинно эквивалентна одной из 9 кривых, приведенных в таблице. Приведенные кривые аффинно не эквивалентны между собой.
|
Название кривой |
Каноническое уравнение кривой |
Расширенная матрица |
rgA |
S(A) |
|
|
|
Эллипс |
|
diag(1,1,-1) |
2 |
2 |
3 |
2 |
|
Мнимый эллипс |
|
diag(1, 1, 1) |
2 |
2 |
3 |
3 |
|
Гипербола |
|
diag(–1, 1, –1) |
2 |
1 |
3 |
1 |
|
Пара пересекающихся мнимых прямых |
|
diag(0, 1, 1) |
2 |
2 |
2 |
2 |
|
Пара пересекающихся прямых |
|
diag(0, 1, –1) |
2 |
1 |
2 |
1 |
|
Парабола |
|
|
1 |
1 |
3 |
2 |
|
Пара параллельных прямых |
|
diag(–1, 1, 0) |
1 |
1 |
2 |
1 |
|
Пара параллельных мнимых прямых |
|
diag(1, 1, 0) |
1 |
1 |
2 |
2 |
|
Пара совпавших параллельных прямых |
|
diag(0, 1, 0) |
1 |
1 |
1 |
1 |
,
Доказательство.
Любую кривую 2-го порядка в соответствующих
аффинных координатах можно описать
одним из перечисленных канонических
уравнений. Действительно,
иrgA
может принимать лишь два значения 1 или
2, поэтому матрица A
может иметь один из следующих трёх
видов:
или
.
Очевидно, приведённая таблица исчерпывает
все возможные варианты расширенных
матриц, соответствующих каждой из трёх
матрицA.
Аффинная классификация поверхностей второго порядка
Теорема 5.17. Любая поверхность второго порядка аффинно эквивалентна одной из 17 поверхностей, приведенных в таблице. Приведенные поверхности аффинно не эквивалентны между собой.
|
Название поверхности |
Каноническое уравнение поверхности |
Расширенная матрица |
rgA |
S(A) |
|
|
|
Поверхности вращения | ||||||
|
Эллипсоид |
|
diag(–1, 1, 1, 1) |
3 |
3 |
4 |
3 |
|
Мнимый эллипсоид |
|
diag(1, 1, 1,1) |
3 |
3 |
4 |
4 |
|
Однополостный гиперболоид |
|
diag(–1, 1, 1, –1) |
3 |
2 |
4 |
2 |
|
Двуполостный гиперболоид |
|
diag(1, 1, 1, –1) |
3 |
2 |
4 |
3 |
|
Мнимый конус |
|
diag(0, 1, 1, 1) |
3 |
3 |
3 |
3 |
|
Конус |
|
diag(0, 1, 1, –1) |
3 |
2 |
3 |
2 |
|
Эллиптический параболоид |
|
|
2 |
2 |
4 |
3 |
|
Цилиндрические поверхности | ||||||
|
Эллиптический цилиндр |
|
diag(1,1,-1) |
2 |
2 |
3 |
2 |
|
Мнимый эллиптический цилиндр |
|
diag(1, 1, 1) |
2 |
2 |
3 |
3 |
|
гиперболический цилиндр |
|
diag(–1, 1, –1) |
2 |
1 |
3 |
1 |
|
Пара пересекающихся мнимых плоскостей |
|
diag(0, 1, 1) |
2 |
2 |
2 |
2 |
|
Пара пересекающихся плоскостей |
|
diag(0, 1, –1) |
2 |
1 |
2 |
1 |
|
Параболический цилиндр |
|
|
1 |
1 |
3 |
2 |
|
Пара параллельных плоскостей |
|
diag(–1, 1, 0) |
1 |
1 |
2 |
1 |
|
Пара параллельных мнимых плоскостей |
|
diag(1, 1, 0) |
1 |
1 |
2 |
2 |
|
Пара совпавших плоскостей |
|
diag(0, 1, 0) |
1 |
1 |
1 |
1 |
|
Гиперболический параболоид (седло) |
|
|
2 |
1 |
4 |
2 |
,
