Алгебраические уравнения поверхностей
Напомним, что многочленом степени одной переменной называется выражение вида
где — действительные числа (коэффициенты многочлена), — старший коэффициент, — свободный член. Степень многочлена обозначается .
Многочленом трех переменных называется выражение вида
где — действительные числа (коэффициенты многочлена), — целые неотрицательные числа. Число
называется степенью многочлена трёх переменных.
Алгебраической поверхностью называется множество точек, которое в какой-либо аффинной системе координат может быть задано уравнением вида
 (4.11)
 где — многочлен трех переменных .
Уравнение вида (4.11) называется алгебраическим уравнением с тремя неизвестными. Степенью уравнения (4.11) называется степень многочлена . Одна и та же поверхность может быть задана уравнением вида (4.11) с многочленами разных степеней. Порядком алгебраической поверхности называется наименьшая из степеней этих многочленов.
Всякую неалгебраическую поверхность называют трансцендентной.
В примере 4.1,а,б,в,г — поверхности алгебраические: а — первого порядка. б,в,г — второго порядка. Примером трансцендентной поверхности служит цилиндрическая поверхность (см. рисунок), образующие которой, параллельные оси , пересекают координатную плоскость в точках синусоиды . Эту линию нельзя задать уравнением вида (4.11).
Теорема (4.1) об инвариантности порядка алгебраической поверхности
Если в некоторой аффинной системе координат в пространстве поверхность задана уравнением (4.11), то и в любой другой аффинной системе координат эта поверхность задается уравнением того же вида (4.11) и той же степени. Другими словами, порядок алгебраической поверхности является инвариантом (остается неизменным в любой аффинной системе координат).
Теорема доказывается аналогично теореме 3.1.
В аналитической геометрии в пространстве изучаются:
– алгебраические поверхности первого порядка, описываемые алгебраическим уравнением первой степени с тремя неизвестными
– алгебраические поверхности второго порядка, описываемые алгебраическим уравнением второй степени с тремя неизвестными
Замечания 4.1.
1. Теорема 4.1 фактически выражает свойство многочленов: при линейной невырожденной замене переменных
 или 
где , степень многочлена не изменяется.
2. Алгебраическое уравнение (4.11) может не иметь действительных решений. Например, в пространстве нет точек, координаты которых удовлетворяют уравнению . Однако в области комплексных чисел, согласно основной теореме алгебры, любое алгебраическое уравнение имеет решения. Поэтому каждое алгебраическое уравнение (4.11) вида , где задает некоторую алгебраическую поверхность в трехмерном комплексном пространстве (см. пункт 2 замечаний 2.9). Если все точки этой поверхности вещественные (действительные), т.е. а то поверхность называют вещественной (действительной). В противном случае поверхность называют мнимой.
3. Алгебраическими неравенствами с тремя неизвестными называются неравенства вида
где — многочлен трех переменных . Степенью алгебраического неравенства называется степень многочлена .
4. Многочлены первой степени и алгебраические уравнения (неравенства) первой степени называются линейными.
5. Многочлен второй степени
называется также квадратичной функцией трех переменных; многочлен
называется квадратичной формой (квадратичной частью функции), многочлен — линейной формой (линейной частью функции), коэффициент — свободным членом. По сравнению со стандартной записью многочлена некоторые коэффициенты квадратичной функции удвоены для удобства выполнения алгебраических преобразований.
6. Квадратичную функцию (см. пункт 5) можно записать:
а) в матричном виде
где — матрица квадратичной функции; — расширенный (дополненный единицей) столбец переменных;
б) выделяя квадратичную и линейную части:
где — матрица квадратичной формы, — столбец коэффициентов линейной формы, — столбец переменных.
Матрицы и называются также матрицами малой и большой квадратичных форм квадратичной функции .
7. Многочлены второй степени и алгебраические уравнения (неравенства) второй степени называются квадратичными (квадратными).
8. Теорема 4.1, разумеется, справедлива для прямоугольных систем координат на плоскости. Напомним, что преобразования прямоугольных систем координат являются ортогональными (см. пункт 5 замечаний 2.3). Поэтому соответствующие этим преобразованиям линейные замены переменных (см. пункт 1) с ортогональной матрицей называются ортогональными (неоднородными при или однородными при ). Далее, как правило, будут рассматриваться уравнения, записанные в прямоугольной системе координат .
Если заметили ошибку, опечатку или есть предложения, напишите в комментариях.
|