Приведення поверхонь іншого порядку до канонічного вигляду

курсовая работа

1.1 Основні поняття й теореми

1.1.1 Лінійні оператори

У векторному просторі заданий оператор, або перетворення, А, якщо кожному вектору поставлений у відповідність певний вектор або, .

Оператор (перетворення) називається лінійним, якщо для будь-яких двох векторів х та у з та довільного числа виконується:

1) ;

2) .

Вектор називається образом вектора , а вектор х - прообразом вектора при перетворенні .

Виберемо в просторі базис . Тоді якщо

,

то в силу лінійності оператора маємо

, .

Але тому що (де ) - це теж вектора з , те можна розкласти по базисі .

Нехай

,

Тоді

Якщо координати вектора в тім же базисі ех, е2,..., еп, тобто якщо

,

те, через одиничність розкладання вектора по базисі, маємо

,

(1.1)

Кожному лінійному операторові в даному базисі відповідає матриця

, (1.2)

-й стовпець якої утворений коефіцієнтами розкладання вектора по базисі ; при цьому коефіцієнти розкладань (1.1) координат вектора по координатах вектора утворюють рядки матриці А.

Якщо у векторному просторі заданий базис, то кожному лінійному операторові відповідає певна квадратна матриця порядку та, обернено, кожній такій матриці відповідає певний такий оператор. Тому лінійний оператор і відповідну йому (у даному базисі) матрицю ми будемо позначати однієї й тією же буквою: , , _ лінійні оператори. А, В, З - відповідні їм матриці. Матриця А називається матрицею лінійного оператора .

Легко бачити, що для всякого лінійного оператора

.

При цьому, якщо тільки при х = 0, то оператор називається не виродженим; якщо ж найдеться такий вектор , що , то оператор - вироджений. Отже, для того, щоб оператор був не виродженим, необхідно й досить, щоб визначник матриці А цього оператора (у будь-якому базисі) був відмінний від нуля. Матриця, визначник якої відмінний від нуля, називається не виродженою матрицею.

1.1.2 Власні вектори й власні значення лінійного оператора

Вектор називається власним вектором лінійного оператора , якщо найдеться таке число , що ; це називається відповідним вектору х власним значенням оператора (матриці А).

1.1.3 Знаходження власного значення й власного вектора лінійного оператора

Припустимо, що х - власний вектор, а відповідне йому власне значення лінійного оператора . Тоді . Виберемо в просторі який-небудь базис , і нехай , а матриця оператора А в цьому базисі А=[ ]. Тоді

.

звідки, через одиничність розкладання вектора по базисі

(1.3)

Для існування ненульового рішення цієї (однорідної) системи необхідно й досить, щоб її визначник був дорівнює нулю:

. (1.4)

Або, більш коротко,

. (1.5)

Рівняння (1.4) називається характеристичним рівнянням матриці А; воно служить для знаходження власних значень, які називаються також характеристичними коріннями матриці А (або власними значеннями матриці А). Знайшовши з (1.4) яке-небудь власне значення , ми можемо знайти відповідний власний вектор із системи рівнянь (1.3). Числовий вектор, що виходить

,

задовольняючий рівнянню , називається також власним вектором матриці А.

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

Квадратичною формою від декількох змінних називається однорідний багаточлен другого ступеня від цих змінних.

Наприклад, квадратична форма від змінних у загальному випадку має вигляд

, (1.6)

де - деякі числові коефіцієнти (а двійки поставлені для спрощення формул, що виходять).

Матрицею такої форми називається симетрична матриця.

.

Будемо розглядати як декартові координати в деякому базисі . Якщо перейти до нового декартового базису , то й у формі (1.6) треба зробити заміну змінних, при чому матриця Т переходу буде ортогональною. У результаті форма буде виражена через нові координати , можна довести, що при цьому нова матриця виражається через стару по формулі

A = T-1 AT (1.7)

Відомо, що базис можна вибрати так (взявши як ці вектори власні вектори оператора, що відповідає матриці А, тобто власні вектори матриці), що матриця А вийде діагональної

.

Але тоді квадратична форма в нових змінних здобуває вид:

(1.8)

де - характеристичних корінь матриці А.

Можна сказати, що квадратичну форму (1.6) можна за допомогою ортогонального перетворення привести до діагонального виду (1.8).

1.2 Основні методи рішення

1.2.1 Спрощення рівнянь другого порядку на площині

Перетворення квадратичної форми застосовується, зокрема, до спрощення рівнянь ліній і поверхонь другого порядку. Розглянемо рівняння поверхонь.

Нехай на площині задана прямокутна декартова система координат . Якщо х і у - координати довільної крапки на площині в даній системі координат, то, як відомо,

(I) рівняння визначає еліпс;

(II) рівняння - крапку;

(III) рівняння - порожня множина крапок (мнімий еліпс);

(IV) рівняння - гіперболу;

(V) рівняння _ пари пересічних прямих;

(VI) рівняння (), - параболу;

(VII) рівняння () - пари паралельних прямих;

(VIII) рівняння ( ) - пари прямих, що злилися;

(IX) рівняння (), - порожня множина крапок.

Рівняння (Г) - (IX) називаються канонічними рівняннями фігур другого порядку на площині.

Рівняння (I) - (III) визначають фігуру еліптичного типу, рівняння (IV), (V) - гіперболічного типу, рівняння (VI) - (IX) - параболічного типу.

Розглянемо рівняння другого порядку

, (1.9)

де . Множина крапок площини, координати яких задовольняють рівнянню (1.9), утворить деяку фігуру. Покажемо, що це рівняння визначає одну з фігур (I) - (IX). Для цього знайдемо рівняння фігури (1.9) у системі координат(), де вектори й отримані з векторів й ортогональним перетворенням з матрицею переходу Т

тобто

.

При цьому формули перетворення координат крапок будуть мати вигляд

.

Підставивши ці значення х і у в рівняння (1.9), одержимо рівняння даної фігури в системі координат ().

Сума перших трьох членів

(1.10)

є квадратичною формою двох змінних , котру ми будемо називати квадратичною формою, що відповідає рівнянню (1.9).

Матриця цієї форми має вигляд

.

Нехай обране перетворення приводить квадратичну форму (1.10) до канонічного виду (як відомо, таке перетворення завжди існує)

,

де - корінь характеристичного рівняння матриці А. Тоді рівняння (11) прикмет вид

(1.11)

де , .

Можливі наступні випадки:

1) . Тому що визначник матриці квадратичної форми не міняється при ортогональному перетворенні, то , тобто й мають однакові знаки.

У рівнянні (1.11) доповнюємо до повного квадрата члени, що містять й , а також члени, що містять й . Після цього рівняння можна записати так:

. (1.12)

Здійснимо паралельний перенос системи координат ( ) на вектор , координатами якого в системі координат () є й . Тоді рівняння (1.12) у системі координат () прийме вид

(1.13)

Якщо , то рівняння (1.13) приводиться до виду (I) або (III). Якщо - до виду (II).

2) , отже, і , тобто й - різних знаків.

Як й у першому випадку, рівняння (1.11) можна привести до виду (1.13). У цьому випадку, якщо , рівняння (1.13) приводиться до виду (IV), якщо - до виду (V).

3) , отже, і , тобто й дорівнює нулю.

Будемо вважати, що , . Доповнюючи в рівнянні (1.11) члени, що містять й , до повного квадрата, одержимо

. (1.14)

Якщо , то рівняння (1.14) можна записати у вигляді

. (1.15)

Здійснимо паралельний перенос системи координат () на вектор . Рівняння (1.15) у системі () прийме вид:

.

Це рівняння зводиться до виду (VI).

Якщо , то рівняння (115) має вигляд:

.

Здійснивши паралельний перенос системи координат () на вектор , одержимо в системі координат () рівняння

.

Це рівняння при приводиться до виду (VII) або (IX), при _ до виду (VIII).

Отже, якщо ,те рівняння (1.9) визначає фігуру еліптичного типу; якщо - гіперболічного; якщо - параболічного типу.

Можна сказати, що існує декартова прямокутна система координат, у якій рівняння (1.9) приймає канонічний вид. Щоб знайти цю систему координат, поступаємо наступним чином:

1) знаходимо ортогональне перетворення, що приводить квадратичну форму, що відповідає даному рівнянню, до канонічного виду;

2) по цьому перетворенню знаходимо головні напрямки фігури, тобто вектори _ ортонормовані власні вектори матриці квадратичної форми, що відповідає даному рівнянню;

3) знаходимо рівняння даної фігури в системі координат ();

4) в отриманому рівнянні робимо доповнення до повних квадратів так, як це було зазначено вище. Знаходимо координати крапки , що є початком шуканої системи координат.

У знайденій системі координат () рівняння даної фігури має канонічний вигляд.

1.2.2 Спрощення рівнянь фігур другого порядку в просторі

Нехай поверхня другого порядку задана у звичайному для аналітичної геометрії виді. Перехід до нового декартовой системі з тим же початком зводиться до заміни змінних

(1.16)

с ортогональною матрицею переходу Т. При підстановці цих виражень у рівняння поверхні в загальному виді

.

група членів другого ступеня й група членів першого ступеня перетворяться незалежно друг від друга. Якщо стежити спочатку тільки за групою членів другого ступеня (квадратичною формою), то (на підставі п. Квадратичні форми) одержуємо, що завжди можна вибрати систему координат так, що ця група членів придбає «діагональний вид» і тому все рівняння після перетворення буде мати вигляд

(1.17)

де - корні рівняння.

.

а - деякі нові коефіцієнти при членах першого ступеня, які самі виходять після підстановки (1.16).

Подальше дослідження йде по-різному, залежно від знаків характеристичних корінь. Нехай, наприклад, усі мають однаковий знак: тоді можна вважати, що вони позитивні, тому що в противному випадку можна у всього рівняння (1.17) перемінити знак. За допомогою доповнення до повного квадрата й наступного паралельного переносу, можна від (1.17) перейти до рівняння

,

тобто

.

Залежно від того, чи буде , або , вийде еліпсоїд, мнимий еліпсоїд або крапка.

Аналогічно виходить, що якщо із чисел два мають однаковий знак, а третє - протилежний, то рівняння (1.17) представляє гіперболоїд (однопорожнинний або двопорожнинний) або конус. Якщо із чисел рівно одне дорівнює нулю, наприклад, , а відмінно від нуля, то виходить еліптичний або гіперболічний параболоїд. Можна перевірити, що у всіх інших випадках виходять циліндри або особливі випадки (мнима поверхня, виродження в пряму лінію, розпадання на парі площин).

Аналізуючи вище сказане, можемо зробити висновок, що при можливі наступні випадки:

1) - еліпсоїд;

2) - однопорожнинний гіперболоїд;

3) - двупорожнинний гіперболоїд;

4) - «порожня множина» крапок (мнимий еліпсоїд).

Якщо с = 0 й одного знака, виходить крапка («мнимий конус»); при с = 0 і різних знаків - конус.

Якщо один з коефіцієнтів дорівнює нулю, нехай, наприклад, . Тоді маємо два випадки:

- еліптичний параболоїд;

- гіперболічний параболоїд.

Делись добром ;)