Дискуссионный математический форумМатематический форум

Математический форум Math Help Planet

Обсуждение и решение задач по математике, физике, химии, экономике

Теоретический раздел
Часовой пояс: UTC + 4 часа [ Летнее время ]
MathHelpPlanet.com RSS-лента Математического форума

Часовой пояс: UTC + 4 часа [ Летнее время ]


Алгебраические уравнения поверхностей

Алгебраические уравнения поверхностей


Напомним, что многочленом степени [math]n[/math] одной переменной [math]x[/math] называется выражение вида


[math]p(x)=a_n\cdot x^n+a_{n-1}\cdot x^{n-1}+\cdots+a_1\cdot x+a_0,[/math]

где [math]a_0,a_1,\ldots,a_n[/math] — действительные числа (коэффициенты многочлена), [math]a_n\ne0[/math] — старший коэффициент, [math]a_0[/math] — свободный член. Степень многочлена обозначается [math]\deg p(x)=n[/math].


Многочленом трех переменных [math]x_1,x_2,x_3[/math] называется выражение вида


[math]p(x_1,x_2,x_3)=a_1\cdot x_1^{k_1}\cdot x_2^{l_1}\cdot x_3^{m_1}+a_2\cdot x_1^{k_2}\cdot x_2^{l_2}\cdot x_3^{m_2}+\cdots+a_n\cdot x_1^{k_n}\cdot x_2^{l_n}\cdot x_3^{m_n},[/math]

где [math]a_0,a_1,\ldots,a_n[/math] — действительные числа (коэффициенты многочлена), [math]k_1,\ldots,k_n;[/math] [math]l_1,\ldots,l_n;[/math] [math]m_1,\ldots,m_n[/math] — целые неотрицательные числа. Число
[math]\deg p(x_1,x_2,x_3)=\max \{k_1+l_1+m_1; k_2+l_2+m_2; \ldots;k_n+l_n+m_n\}[/math]

называется степенью многочлена трёх переменных.


Алгебраической поверхностью называется множество точек, которое в какой-либо аффинной системе координат [math]Ox_1x_2x_3[/math] может быть задано уравнением вида


[math]p(x_1,x_2,x_3)=0,[/math]
(4.11)

График трансцендентной поверхности - "синусоидальный цилиндр"

где [math]p(x_1,x_2,x_3)[/math] — многочлен трех переменных [math]x_1,x_2,x_3[/math].


Уравнение вида (4.11) называется алгебраическим уравнением с тремя неизвестными. Степенью уравнения (4.11) называется степень многочлена [math]p(x_1,x_2,x_3)[/math]. Одна и та же поверхность может быть задана уравнением вида (4.11) с многочленами разных степеней. Порядком алгебраической поверхности называется наименьшая из степеней этих многочленов.


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


В примере 4.1,а,б,в,г — поверхности алгебраические: а — первого порядка. б,в,г — второго порядка. Примером трансцендентной поверхности служит цилиндрическая поверхность [math]y=\sin{x}[/math] (см. рисунок), образующие которой, параллельные оси [math]Oz[/math], пересекают координатную плоскость [math]Oxy[/math] в точках синусоиды [math]y=\sin{x}[/math]. Эту линию нельзя задать уравнением вида (4.11).




Теорема (4.1) об инвариантности порядка алгебраической поверхности


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


Теорема доказывается аналогично теореме 3.1.


В аналитической геометрии в пространстве изучаются:


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


[math]a_1\cdot x_1+a_2\cdot x_2+a_2\cdot x_3+a_4=0;[/math]

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


[math]a_1x_1^2+a_2x_2^2+a_3x_3^2+a_4x_1x_2+a_5x_1x_3+a_6x_2x_3+a_7x_1+a_8x_2+a_9x_3+a_{10}=0.[/math]



Замечания 4.1.


1. Теорема 4.1 фактически выражает свойство многочленов: при линейной невырожденной замене переменных


[math]\begin{cases}x_1=s_1+s_{11}\cdot x'_1+s_{12}\cdot x'_2+s_{13}\cdot x'_3,\\x_2=s_2+s_{21}\cdot x'_1+s_{22}\cdot x'_2+s_{23}\cdot x'_3,\\x_3=s_3+s_{31}\cdot x'_1+s_{32}\cdot x'_2+s_{33}\cdot x'_3,\end{cases}[/math] или [math]x=s+S\cdot x',[/math]

где [math]s=\begin{pmatrix} s_1\\s_2\\s_3 \end{pmatrix}\!,~ S=\begin{pmatrix} s_{11}&s_{12}&s_{13}\\ s_{21}&s_{22}&s_{23}\\ s_{31}&s_{32}&s_{33} \end{pmatrix}\!,~\det S\ne0[/math], степень многочлена [math]p(x_1,x_2,x_3)[/math] не изменяется.


2. Алгебраическое уравнение (4.11) может не иметь действительных решений. Например, в пространстве [math]Ox_1,x_2,x_3[/math] нет точек, координаты которых удовлетворяют уравнению [math]x_1^2+x_2^2+x_3^2+1=0[/math]. Однако в области комплексных чисел, согласно основной теореме алгебры, любое алгебраическое уравнение имеет решения. Поэтому каждое алгебраическое уравнение (4.11) вида [math]p(z_1,z_2,z_3)=0[/math], где [math]z_1=x_1+iy_1\in\mathbb{C},[/math] [math]z_2=x_2+iy_2\in\mathbb{C},[/math] [math]z_3=x_3+iy_3\in\mathbb{C},[/math] задает некоторую алгебраическую поверхность в трехмерном комплексном пространстве [math]\mathbb{C}^3[/math] (см. пункт 2 замечаний 2.9). Если все точки этой поверхности вещественные (действительные), т.е. [math]z_1=x_1,[/math] [math]z_2=x_3,[/math] [math]z_3=x_3,[/math] а [math]y_1=y_2=y_3[/math] то поверхность называют вещественной (действительной). В противном случае поверхность называют мнимой.


3. Алгебраическими неравенствами с тремя неизвестными называются неравенства вида


[math]p(x_1,x_2,x_3)\geqslant0, \quad p(x_1,x_2,x_3)\leqslant0, \quad p(x_1,x_2,x_3)>0, \quad p(x_1,x_2,x_3)<0.[/math]

где [math]p(x_1,x_2,x_3)[/math] — многочлен трех переменных [math]x_1,x_2,x_3[/math]. Степенью алгебраического неравенства называется степень многочлена [math]p(x_1,x_2,x_3)[/math].


4. Многочлены первой степени и алгебраические уравнения (неравенства) первой степени называются линейными.


5. Многочлен второй степени


[math]\begin{aligned}p(x_1,x_2,x_3)=& \,\,a_{11}\cdot x_1^2+ a_{22}\cdot x_2^2+ a_{33}\cdot x_3^2+2\cdot a_{12}\cdot x_1\cdot x_2+2\cdot a_{13}\cdot x_1\cdot x_3+\\ &+2\cdot a_{23}\cdot x_2\cdot x_3+2\cdot a_1\cdot x_1+2\cdot a_2\cdot x_2+2\cdot a_3\cdot x_3+a_0 \end{aligned}[/math]

называется также квадратичной функцией трех переменных; многочлен


[math]a_{11}\cdot x_1^2+ a_{22}\cdot x_2^2+ a_{33}\cdot x_3^2+2\cdot a_{12}\cdot x_1\cdot x_2+2\cdot a_{13}\cdot x_1\cdot x_3+2\cdot a_{23}\cdot x_2\cdot x_3[/math]

называется квадратичной формой (квадратичной частью функции), многочлен [math]a_1\cdot x_1+a_2\cdot x_2+a_3\cdot x_3[/math] — линейной формой (линейной частью функции), коэффициент [math]a_0[/math] — свободным членом. По сравнению со стандартной записью многочлена некоторые коэффициенты квадратичной функции удвоены для удобства выполнения алгебраических преобразований.


6. Квадратичную функцию (см. пункт 5) можно записать:


а) в матричном виде

[math]p(x)=p(x_1,x_2,x_3)= \begin{pmatrix} x_1&x_2&x_3&1 \end{pmatrix}\!\cdot\! \begin{pmatrix} a_{11}&a_{12}&a_{13}&a_1\\ a_{12}&a_{22}&a_{23}&a_2\\ a_{13}&a_{32}&a_{33}&a_3\\ a_1&a_2&a_3&0 \end{pmatrix}\!\cdot\! \begin{pmatrix} x_1\\x_2\\x_3\\1 \end{pmatrix}= \widehat{x}^T\cdot P\cdot\widehat{x},[/math]

где [math]P=\begin{pmatrix} a_{11}&a_{12}&a_{13}&a_1\\ a_{12}&a_{22}&a_{23}&a_2\\ a_{13}&a_{32}&a_{33}&a_3\\ a_1&a_2&a_3&0 \end{pmatrix}[/math]матрица квадратичной функции; [math]\widehat{x}=\begin{pmatrix}x_1\\x_2\\x_3\\1\end{pmatrix}[/math] — расширенный (дополненный единицей) столбец переменных;


б) выделяя квадратичную и линейную части:


[math]\begin{aligned}p(x)=p(x_1,x_2,x_3)&=\begin{pmatrix}x_1&x_2&x_3\end{pmatrix}\!\cdot\! \begin{pmatrix} a_{11}&a_{12}&a_{13}\\ a_{12}&a_{22}&a_{23}\\ a_{13}&a_{23}&a_{33}\end{pmatrix}\!\cdot\! \begin{pmatrix} x_1\\x_2\\x_3\end{pmatrix}+\\ &\phantom{=}+2\cdot\! \begin{pmatrix}a_1&a_2&a_3\end{pmatrix}\!\cdot\! \begin{pmatrix} x_1\\x_2\\x_3 \end{pmatrix}+a_0= x^T\cdot A\cdot x+2\cdot a^T+a_0, \end{aligned}[/math]

где [math]A=\begin{pmatrix} a_{11}&a_{12}&a_{13}\\ a_{12}&a_{22}&a_{23}\\a_{13}&a_{23}&a_{33}\end{pmatrix}[/math] — матрица квадратичной формы, [math]a=\begin{pmatrix} a_1\\a_2\\a_3 \end{pmatrix}[/math] — столбец коэффициентов линейной формы, [math]x=\begin{pmatrix}x_1\\x_2\\x_3 \end{pmatrix}[/math] — столбец переменных.


Матрицы [math]A[/math] и [math]P[/math] называются также матрицами малой и большой квадратичных форм квадратичной функции [math]p(x)[/math].


7. Многочлены второй степени и алгебраические уравнения (неравенства) второй степени называются квадратичными (квадратными).


8. Теорема 4.1, разумеется, справедлива для прямоугольных систем координат на плоскости. Напомним, что преобразования прямоугольных систем координат являются ортогональными (см. пункт 5 замечаний 2.3). Поэтому соответствующие этим преобразованиям линейные замены переменных [math]x=s+S\cdot x'[/math] (см. пункт 1) с ортогональной матрицей [math]S~(S^T=S^{-1})[/math] называются ортогональными (неоднородными при [math]s\ne0[/math] или однородными при [math]s=0[/math]). Далее, как правило, будут рассматриваться уравнения, записанные в прямоугольной системе координат [math]Oxyz[/math].


Часовой пояс: UTC + 4 часа [ Летнее время ]


Яндекс.Метрика

Copyright © 2010-2016 MathHelpPlanet.com. All rights reserved