Написати матрицю квадратичних форм онлайн калькулятор. Квадратичні форми та квадрики. Гомологія, властивості гомології
Квадратичні форми.
Знаковизначеність форм. Критерій Сільвестра
Прикметник «квадратичний» одразу наштовхує на думку, що щось тут пов'язане з квадратом (другим ступенем), і дуже скоро ми дізнаємося про це «щось» і що таке форма. Прямо скоромовкою вийшла:)
Вітаю вас на своєму новому уроці, і як негайна розминка ми розглянемо форму в смужку лінійну. Лінійною формою зміннихназивають одноріднийбагаточлен 1-го ступеня:
– якісь конкретні числа *
(Припускаємо, що хоча б одне з них відмінно від нуля), а – змінні, які можуть набувати довільних значень.
* У рамках цієї теми будемо розглядати лише дійсні числа .
З терміном «однорідний» ми вже стикалися на уроці про однорідних системах лінійних рівнянь, й у разі він передбачає, що багаточлена немає приплюсованной константи .
Наприклад: 
- Лінійна форма двох змінних
Тепер форма квадратична. Квадратичною формою зміннихназивають одноріднийбагаточлен 2-го ступеня, кожне доданок якогомістить або квадрат змінної, або парнетвір змінних. Так, наприклад, квадратична форма двох змінних має такий вигляд:
Увага!Це стандартний запис, і щось міняти в ньому не потрібно! Незважаючи на «страшний» вигляд, тут все просто – подвійні підрядкові індекси констант сигналізують про те, які змінні входять до того чи іншого доданку:
– у цьому доданку перебуває твір і (квадрат);
- Тут твір;
- І тут твір.
– одразу попереджаю грубу помилку, коли втрачають «мінус» у коефіцієнта, не розуміючи, що він відноситься до доданку:
Іноді зустрічається «шкільний» варіант оформлення в дусі, але лише іноді. До речі, зауважте, що константи нам тут взагалі нічого не говорять, і тому запам'ятати «легкий запис» важче. Особливо коли змінних більше.
І квадратична форма трьохзмінних містить уже шість членів:
…чому в «змішаних» доданків ставляться множники-«двійки»? Це зручно, і незабаром стане зрозуміло, чому.
Однак загальну формулузапишемо, її зручно оформити «простирадлом»:
- Уважно вивчаємо кожен рядок - нічого страшного тут немає!
Квадратична форма містить доданків із квадратами змінних та доданків із їх парними творами (Див. комбінаторну формулу поєднань) . Більше нічого – жодних «одиноких іксів» і жодної приплюсованої константи (тоді вже вийде не квадратична форма, а неодноріднийбагаточлен 2-го ступеня).
Матричний запис квадратичної форми
Залежно від значень розглянута форма може набувати як позитивні, і негативні значення, і те саме стосується будь-якої лінійної форми – якщо хоча б одне із її коефіцієнтів відмінний від нуля, вона може виявитися як позитивної, і негативної (залежно від значень).
Така форма називається знакозмінної. І якщо з лінійною формою все прозоро, то з формою квадратичної справи куди цікавіше:
Цілком зрозуміло, що дана форма може набувати значень будь-якого знака, таким чином, квадратична форма теж може бути знакозмінною.
А може й не бути:
- Завжди, якщо тільки одночасно не дорівнюють нулю.
– для будь-кого векторакрім нульового.
І взагалі,якщо для будь-кого ненульовоговектора , , то квадратичну форму називають позитивно визначеною; якщо ж – то негативно визначеною.
І все було б добре, але визначеність квадратичної форми видно лише в простих прикладах, і ця видимість втрачається вже за невеликого ускладнення: 
– ?
Чи можна припустити, що форму визначено позитивно, але чи так це насправді? Раптом існують значення, при яких вона менша за нуль?
Щодо цього існує теорема: якщо все власні числаматриці квадратичної форми позитивні * , вона визначена позитивно. Якщо всі негативні, то негативно.
* Теоретично доведено, що це власні числа дійсної симетричної матриці дійсні
Запишемо матрицю вищенаведеної форми: 
і з рівняння 
знайдемо її власні значення:
Вирішуємо старе добре квадратне рівняння:
отже, форма 
визначено позитивно, тобто. при будь-яких ненульових значеннях вона більша за нуль.
Розглянутий метод начебто робочий, але є одне велике АЛЕ. Вже для матриці «три на три» шукати власні числа – є довге і неприємне заняття; з високою ймовірністю вийде многочлен 3-го ступеня з ірраціональним корінням.
Як бути? Існує більш простий шлях!
Критерій Сільвестра
Ні, не Сільвестра Сталлоне:) Спочатку нагадаю, що таке кутові мінориматриці. Це визначники 
які «розростаються» з її лівого верхнього кута: 
і останній з них точно дорівнює визначнику матриці.
Тепер, власне, критерій:
1) Квадратична форма визначена позитивноі тоді, коли ВСІ її кутові мінори більше нуля: .
2) Квадратична форма визначена негативнотоді й тільки тоді, коли її кутові мінори значерговуються, у своїй 1-й мінор менше нуля: , , якщо – парне чи , якщо – непарне.
Якщо хоча б один кутовий мінор протилежного знака, то форма знаково змінна. Якщо кутові мінори "того" знака, але серед них є нульові, то це особливий випадок, який я розберу трохи пізніше, після того, як ми переклали більш поширені приклади.
Проаналізуємо кутові мінори матриці 
:
І це одразу говорить нам про те, що форму не визначено негативно.
Висновок: всі кутові мінори більше нуля, значить, форма 
визначено позитивно.
Чи є різниця з методом власних чисел? ;)
Запишемо матрицю форми з Приклад 1:
перший її кутовий мінор, а другий 
, звідки випливає, що форма знакоперемінна, тобто. залежно від значень може приймати як позитивні, так і негативні значення. Втім, це й так очевидно.
Візьмемо форму та її матрицю з Приклад 2:
тут взагалі без осяяння не розібратися. Але з критерієм Сільвестра нам все дарма:
, Отже, форма точно не негативна.
, і точно не позитивна (т.к. всі кутові мінори повинні бути позитивними).
Висновок: форма знакозмінна.
Розминальні приклади для самостійного рішення:
Приклад 4
Дослідити квадратичні форми на знаковизначеність
а) 
У цих прикладах все гладко (див. кінець уроку), але насправді для виконання такого завдання критерію Сильвестра може виявитися мало.
Справа в тому, що існують «крайові» випадки, а саме: якщо для будь-кого ненульовоговектора , то форма визначена невід'ємно, якщо то позитивно. У цих форм існує ненульовівектори, за яких.
Тут можна навести такий «баян»:
Виділяючи повний квадратодразу бачимо невід'ємністьформи: , причому вона дорівнює нулю і при будь-якому векторі з рівними координатами, наприклад: 
.
«Дзеркальний» приклад позитивнопевної форми:
і ще більш тривіальний приклад:
– тут форма дорівнює нулю за будь-якого вектора , де – довільне число.
Як виявити невід'ємність чи непозитивну форму?
Для цього нам знадобиться поняття головних мінорів
матриці. Головний мінор – це мінор, складений із елементів, які стоять на перетині рядків та стовпців з однаковими номерами. Так, у матриці існують два основні мінори 1-го порядку:
(елемент знаходиться на перетині 1-го рядка та 1-го стовпця);
(елемент знаходиться на перетині 2-го рядка та 2-го стовпця),
та один головний мінор 2-го порядку: 
– складено з елементів 1-го, 2-го рядка та 1-го, 2-го стовпця.
У матриці «три на три» 
головних мінорів сім, і тут уже доведеться помахати біцепсами:
– три мінори 1-го порядку,
три мінори 2-го порядку: 
– складений з елементів 1-го, 2-го рядка та 1-го, 2-го стовпця; 
– складений з елементів 1-го, 3-го рядка та 1-го, 3-го стовпця; 
– складений з елементів 2-го, 3-го рядка та 2-го, 3-го стовпця,
та один мінор 3-го порядку: 
- Складено з елементів 1-го, 2-го, 3-го рядка і 1-го, 2-го і 3-го стовпця.
Завданняна розуміння: записати всі головні мінори матриці 
.
Звіряємось наприкінці уроку і продовжуємо.
Критерій Шварценеггера:
1) Ненульова* квадратична форма визначена невід'ємнотоді і тільки тоді, коли ВСІ її головні мінори невід'ємні(Більше або рівні нулю).
* У нульової (виродженої) квадратичної форми всі коефіцієнти дорівнюють нулю.
2) Ненульова квадратична форма з матрицею визначена позитивнотоді і лише тоді, коли її:
- Основні мінори 1-го порядку непозитивні(менше або дорівнюють нулю);
- Головні мінори 2-го порядку невід'ємні;
- Головні мінори 3-го порядку непозитивні(Пішло чергування);
…
- Головний мінор-го порядку непозитивний, якщо - непарне або невід'ємний, Якщо - парне.
Якщо хоча б один мінор протилежного знака, форма знакоперемінна.
Подивимося, як працює критерій у наведених вище прикладах:
Складемо матрицю форми, та в першу чергуобчислимо кутові мінори – а раптом вона визначена позитивно чи негативно? 
Отримані значення не задовольняють критерію Сільвестру, проте другий мінор не від'ємний, і це викликає необхідність перевірити другий критерій (у разі 2-й критерій буде не виконаний автоматично, тобто одночасно робиться висновок про знакозмінність форми).
Основні мінори 1-го порядку:
- Позитивні,
головний мінор 2-го порядку: 
- Не негативний.
Таким чином, ВСІ головні мінори не негативні, отже, форма невід'ємна.
Запишемо матрицю форми 
для якої, очевидно, не виконано критерій Сільвестра. Але й протилежних знаків ми теж не отримали (бо обидва кутові мінори дорівнюють нулю). Тому перевіряємо виконання критерію невід'ємності/непозитивності. Основні мінори 1-го порядку:
- Не позитивні,
головний мінор 2-го порядку: 
- Не негативний.
Таким чином, за критерієм Шварценеггера (пункт 2) форма визначена непозитивно.
Тепер у всеозброєнні розберемо найцікавіше завдання:
Приклад 5
Дослідити квадратичну форму на знаковизначеність
Цю формуприкрашає орден «альфа», який може дорівнювати будь-якому дійсному числу. Але ж це тільки веселіше буде, вирішуємо.
Спочатку запишемо матрицю форми, напевно, багато хто вже пристосувався це робити усно: на головну діагональставимо коефіцієнти при квадратах, але в симетричні місця – споловиненные коефіцієнти відповідних «змішаних» творів:
Обчислимо кутові мінори: 
третій визначник я розкрию по 3-му рядку:
За розв'язання різних прикладних завдань часто доводиться досліджувати квадратичні форми.
Визначення.Квадратичною формоюL( , х 2 , ..., х n) від n змінних називається сума, кожен член якої є або квадратом однієї із змінних, або добутком двох різних змінних, взятих з деяким коефіцієнтом:
L( ,х 2 ,...,х n) =
Припускаємо, що коефіцієнти квадратичної форми - дійсні числа, причому
Матриця А=() (i, j = 1, 2, ...,n), складена з цих коефіцієнтів, називається матрицею квадратичної форми.
У матричному записі квадратична форма має вигляд: L = Х"АХ, де X = (х 1, х 2, ..., х n)" - матриця-стовпець змінних.
Приклад 8.1
Записати квадратичну форму L( , х 2 , х 3) = у матричному вигляді.
Знайдемо матрицю квадратичної форми. Її діагональні елементи дорівнюють коефіцієнтам при квадратах змінних, тобто. 4, 1, -3, інші елементи - половинам відповідних коефіцієнтів квадратичної форми. Тому
L=( , х 2 , х 3) 
.
При невиродженому лінійному перетворенні X = CY матриця квадратичної форми набуває вигляду: А * = С"АС. (*)
Приклад 8.2
Дано квадратичну форму L(x x , х 2) =2х 1 2 +4x 1 x 2 -3 . Знайти квадратичну форму L(y 1 ,y 2),отриману з даної лінійним перетворенням = 2у 1 - 3y 2 , x 2 = у 1 + у 2 .
Матриця даної квадратичної форми A= , а матриця лінійного перетворення
З =. Отже, за (*) матриця шуканої квадратичної форми
А квадратична форма має вигляд
L(y 1, y 2) =
.
Слід зазначити, що з деяких вдало обраних лінійних перетвореннях вид квадратичної форми можна значно спростити.
Визначення.Квадратична форма L( ,х 2 ,...,х n) = називається канонічної (або має канонічний вигляд), якщо всі її коефіцієнти = 0 при i¹j:
L= 
, А її матриця є діагональною.
Справедлива наступна теорема.
Теорема.Будь-яка квадратична форма за допомогою невиродженого лінійного перетворення змінних може бути приведена до канонічного вигляду.
приклад 8.3
Привести до канонічного вигляду квадратичну форму
L( , х 2 , х 3) =
Спочатку виділимо повний квадрат при змінній, коефіцієнт при квадраті якої відмінний від нуля:
Тепер виділяємо повний квадрат при змінній, коефіцієнт при якій відмінний від нуля:
Отже, невироджене лінійне перетворення
наводить цю квадратичну форму до канонічного вигляду: 
Канонічний вид квадратичної форми не є однозначно визначеним, оскільки одна і та ж квадратична форма може бути приведена до канонічного вигляду багатьма способами. Проте отримані у різний спосібканонічні форми мають поруч загальних властивостей. Одне з цих властивостей сформулюємо як теореми.
Теорема (закон інерції квадратичних форм).Число доданків з позитивними (негативними) коефіцієнтами квадратичної форми залежить від способу приведення форми до цього виду.
Слід зазначити, що ранг матриці квадратичної форми дорівнює кількості відмінних від нуля коефіцієнтів канонічної форми і не змінюється при лінійних перетвореннях.
Визначення.Квадратична форма L( , х 2 , ..., х n) називається позитивно (негативно) певною, якщо при всіх значеннях змінних, з яких хоча б одне відмінно від нуля,
L( , х 2 , ..., х n) > 0 (L( , х 2 , ..., х n)< 0).
Так, наприклад, квадратична форма 
є позитивно визначеною, а форма – негативно визначеною.
Теорема.Для того щоб квадратична форма L = Х"АХ була позитивно (негативно) певною, необхідно і достатньо, щоб усі власні значення матриці А були позитивні (негативні).
Призначення сервісу. Онлайн-калькулятор використовується для знаходження матриці Гессета визначення виду функції (опукла або увігнута) (див. приклад). Рішення оформляється у форматі Word. Для функції однієї змінної f(x) визначаються інтервали опуклості та увігнутості.Правила введення функцій:
Двічі безперервно диференційована функція f(x) є опуклою (увігнутою) тоді і лише тоді, коли матриця Гессефункції f(x) по x позитивно (негативно) напіввизначена всім x (див. точки локальних екстремумів функції багатьох змінних).
Критичні точки функції:
- якщо гессиан позитивно визначений, то x 0 - точка локального мінімуму функції f(x) ,
- якщо гессиан негативно визначений, то x 0 - точка локального максимуму функції f(x) ,
- якщо гессиан перестав бути знаковизначеним (приймає як позитивні, і негативні значення) і невироджений (det G(f) ≠ 0), то x 0 - сідлова точка функції f(x).
Критерії визначеності матриці (теорема Сільвестру)
Позитивна визначеність:- всі діагональні елементи матриці мають бути позитивними;
- всі провідні головні визначники мають бути позитивними.
Позитивна напіввизначеність:
- усі діагональні елементи невід'ємні;
- всі основні визначники невід'ємні.
Квадратна симетрична матриця порядку n елементами якої є приватні похідні цільової функції другого порядку, називається матрицею Гессеі позначається:
Для того, щоб симетрична матриця була позитивно визначена, необхідно і достатньо, щоб її діагональні мінори були позитивні, тобто. 
для матриці A = (a ij) позитивні.
Негативна визначеність.
Для того, щоб симетрична матриця була негативно визначена, необхідно і достатньо, щоб мали місце нерівності:
(-1) k D k > 0, k=1,.., n.
Іншими словами, для того, щоб квадратична форма була негативно визначеноюнеобхідно і достатньо, щоб знаки кутових мінорів матриці квадратичної форми чергувалися, починаючи зі знака мінус. Наприклад, для двох змінних, D 1< 0, D 2 > 0.
Якщо гессиан напіввизначений, це може бути і точка перегину. Потрібні додаткові дослідження, які можуть бути проведені за одним із таких варіантів:
- Зниження порядку. Робиться заміна змінних. Наприклад, для функції двох змінних це y = x, в результаті отримуємо функцію одного змінного x. Далі досліджується поведінка функції на прямих y=x та y=-x. Якщо в першому випадку функція в досліджуваній точці матиме мінімум, а в іншому випадку максимум (або навпаки), то точка, що досліджується, являє собою сідлову точку .
- Знаходження власних значень гессиана. Якщо значення позитивні, функція в досліджуваній точці має мінімум, якщо всі негативні – є максимум.
- Дослідження функції f(x) на околиці точки ε. Змінні x замінюються x 0 +ε. Далі необхідно довести, що функція f(x 0 +ε) від однієї змінної ε або більше нуля (тоді x 0 точка мінімуму), або менше нуля (тоді x 0 точка максимуму).
Примітка. Щоб знайти зворотний гесіандостатньо знайти зворотну матрицю.
Приклад №1. Які з наступних функцій опуклі або увігнуті: f(x) = 8x 1 2 +4x 1 x 2 +5x 2 2 .
Рішення. 1. Знайдемо приватні похідні. 
2. Вирішимо систему рівнянь.
-4x1+4x2+2=0
4x 1 -6x 2 +6 = 0
Отримаємо:
а) З першого рівняння виражаємо x 1 і підставляємо на друге рівняння:
x 2 = x 2 + 1/2
-2x 2+8 = 0
Звідки x 2 = 4
Дані значення x 2 підставляємо вираз для x 1 . Отримуємо: x 1 = 9/2
Кількість критичних точок дорівнює 1.
M 1 (9/2; 4)
3. Знайдемо приватні похідні другого порядку.
4. Обчислимо значення цих приватних похідних другого порядку в критичних точках M(x 0; y 0).
Обчислюємо значення точки M 1 (9 / 2 ;4) 
Будуємо матрицю Гессе:
D 1 = a 11< 0, D 2 = 8 > 0
Оскільки діагональні мінори мають різні знаки, то про опуклість або увігнутість функції нічого сказати не можна.
Квадратичною формою Lвід nзмінних називається сума, кожен член якої є або квадратом однієї з цих змінних, або добутком двох різних змінних.
Вважаючи, що у квадратичній формі Lвже зроблено приведення подібних членів, введемо такі позначення для коефіцієнтів цієї форми: коефіцієнт при позначимо через , а коефіцієнт при добутку для - через . Оскільки , то коефіцієнт у своїй творі міг бути позначений і через , тобто. введені нами позначення припускають справедливість рівності. Член можна записати тепер у вигляді
а всю квадратичну форму L- У вигляді суми всіляких членів, де iі jвже незалежно один від одного набувають значення
від 1 до n:
(6.13)
З коефіцієнтів можна становити квадратну матрицю порядку n; вона називається матрицею квадратичної форми L, а її ранг - рангомцієї квадратичної форми. Якщо, зокрема, , тобто. матриця – невироджена, те й квадратична форма Lназивається невиродженою. Оскільки елементи матриці А, симетричні щодо головної діагоналі, рівні між собою, тобто. матриця А – симетрична. Назад, для будь-якої симетричної матриці А n-го порядку можна вказати цілком певну квадратичну форму (6.13) від nзмінних, яка має елементи матриці А своїми коефіцієнтами.
Квадратичну форму (6.13) можна у матричному вигляді, використовуючи введене в п. 3.2 множення матриць. Позначимо через Х стовпець, складений зі змінних
Х є матрицею, що має n рядків та один стовпець. Транспонуючи цю матрицю, отримаємо матрицю 
, Складену з одного рядка. Квадратична форма (6.13) з матрицею може бути записана у вигляді наступного твору:
Справді:
та еквівалентність формул (6.13) та (6.14) встановлена.
Записати її у матричному вигляді.
○ Знайдемо матрицю квадратичної форми. Її діагональні елементи дорівнюють коефіцієнтам при квадратах змінних, тобто. 4, 1, –3, інші елементи – половинам відповідних коефіцієнтів квадратичної форми. Тому
. ●
З'ясуємо, як змінюється квадратична форма при невиродженому лінійному перетворенні змінних.
Зауважимо, що й матриці А і У такі, що й твір визначено, має місце рівність:
(6.15)
Дійсно, якщо добуток АВ визначено, то буде визначено і добуток: число стовпців матриці дорівнює числу рядків матриці. Елемент матриці, що стоїть у її i-й рядку та j-м стовпці, в матриці АВ розташований j-й рядку та i-м стовпці. Він дорівнює тому сумі творів відповідних елементів j-ого рядка матриці А і i-го стовпця матриці, тобто. дорівнює сумітворів відповідних елементів рядку j-го стовпця матриці та i-й рядки матриці. Цим рівність (6.15) доведено.
Нехай матриці-стовпці змінних 
і 
пов'язані лінійним співвідношенням Х = СY, де С = ( c ij) 
є деяка невироджена матриця n-го порядку. Тоді квадратична форма
або 
де .
Матриця буде симетричною, оскільки у вигляді рівності (6.15), справедливої, очевидно, для будь-якого числа співмножників, і рівності, рівносильної симетричності матриці А, маємо:
Отже, при невиродженому лінійному перетворенні Х=СY матриця квадратичної форми набуває вигляду
Зауваження. Ранг квадратичної форми не змінюється під час виконання невиродженого лінійного перетворення.
приклад. Дана квадратична форма
Знайти квадратичну форму, отриману з даної лінійним перетворенням
, .
○ Матриця даної квадратичної форми 
, а матриця лінійного перетворення 
. Отже, (6.16) матриця шуканої квадратичної форми
а квадратична форма має вигляд. ●
При деяких успішно обраних лінійних перетвореннях вид квадратичної форми можна значно спростити.
Квадратична форма 
називається канонічної(або має канонічний вигляд), якщо всі її коефіцієнти при i≠ j:
,
а її матриця є діагональною.
Справедлива наступна теорема.
Теорема 6.1. Будь-яка квадратична форма за допомогою невиродженого лінійного перетворення змінних може бути приведена до канонічного вигляду.
приклад. Привести до канонічного вигляду квадратичну форму
○ Спочатку виділимо повний квадрат при змінній , коефіцієнт при квадраті якої відмінний від нуля:
.
Тепер виділимо квадрат при змінній, коефіцієнт при квадраті якої відмінний від нуля:
Отже, невироджене лінійне перетворення
наводить цю квадратичну форму до канонічного вигляду
.●
Канонічний вид квадратичної форми не є однозначно визначеним, оскільки одна і та ж квадратична форма може бути приведена до канонічного вигляду багатьма способами. Однак отримані різними способами канонічні форми мають низку загальних властивостей. Одне з цих властивостей сформулюємо як теореми.
Теорема 6.2.(Закон інерції квадратичних форм).
Число доданків з позитивними (негативними) коефіцієнтами квадратичної форми залежить від способу приведення форми до цього виду.
Наприклад, квадратичну форму
яку у розглянутому на стор. 131 прикладі ми привели до вигляду
можна було, застосувавши невироджене лінійне перетворення
привести до вигляду
.
Як бачимо, число позитивних та негативних коефіцієнтів (відповідно, два та один) збереглося.
Зауважимо, що ранг квадратичної форми дорівнює числу відмінних від нуля коефіцієнтів канонічної форми.
Квадратична форма 
називається позитивно (негативно) певної, якщо за всіх значеннях змінних, у тому числі хоча б одне на відміну від нуля,
(
).
Концепція квадратичні форми. Матриця квадратичних форм. Канонічний вид квадратичних форм. Метод Лагранжа. Нормальний вид квадратичних форм. Ранг, індекс та сигнатура квадратичної форми. Позитивно певна квадратична форма. Квадрики.
Поняття квадратичної форми:функція на векторному просторі, що задається однорідним багаточленом другого ступеня координат вектора.
Квадратичною формою від nневідомих 
називається сума, кожен доданок якої є або квадратом одного з цих невідомих, або твором двох різних невідомих.
Матриця квадратичної форми:Матрицю називають матрицею квадратичної форми у даному базисі. Якщо характеристика поля не дорівнює 2, можна вважати, що матриця квадратичної форми симетрична, тобто .
Написати матрицю квадратичної форми:
Отже,
У векторно-матричній формі квадратична форма має вигляд:
A , де 
Канонічний вигляд квадратичної форми:Квадратична форма називається канонічною, якщо всі 
тобто.
Будь-яку квадратичну форму можна привести до канонічного вигляду за допомогою лінійних перетворень. Насправді зазвичай застосовують такі способи.
Метод Лагранжа : Послідовне виділення повних квадратів. Наприклад, якщо
Потім подібну процедуру роблять з квадратичною формою 
і т. д. Якщо у квадратичній формі все але є 
то після попереднього перетворення справа зводиться до розглянутої процедури. Так, якщо, наприклад, то вважаємо 
Нормальний вигляд квадратичної форми:Нормальною квадратичною формою називається така канонічна квадратична форма, яка має всі коефіцієнти рівні +1 чи -1.
Ранг, індекс та сигнатура квадратичної форми:Рангом квадратичної форми Аназивається ранг матриці А. Ранг квадратичної форми не змінюється при невироджених перетворення невідомих.
Кількість негативних коефіцієнтів називається негативним індексом форми.
Число позитивних членів у канонічному вигляді називається позитивним індексом інерції квадратичної форми, число негативних членів – негативним індексом. Різниця між позитивним та негативним індексами називаєтьсясигнатурою квадратичної форми
Позитивно визначена квадратична форма:Речовинна квадратична форма 
називається позитивно визначеною (негативно визначеною), якщо за будь-яких не рівних одночасно нулю речових значень змінних
. (36)
В цьому випадку матриця також називається позитивно визначеною (негативно визначеною).
Клас позитивно визначених (негативно визначених) форм є частиною класу невід'ємних (відповідно непозитивних) форм.
Квадрики:Квадрик - n-мірна гіперповерхня в n+1-мірному просторі, задана як безліч нулів багаточлена другого ступеня. Якщо ввести координати ( x 1 , x 2 , x n+1) (в евклідовому або афінному просторі), загальне рівнянняквадрики має вигляд
Це рівняння можна переписати компактніше в матричних позначеннях:
де x = ( x 1 , x 2 , x n+1) - вектор-рядок, x T - транспонований вектор, Q- матриця розміру ( n+1)×( n+1) (передбачається, що хоча б один її елемент ненульовий), P- Вектор-рядок, а R- Константа. Найчастіше розглядають квадрики над дійсними чи комплексними числами. Визначення можна поширити на квадрики в проектному просторі, див.
Більше загально, безліч нулів системи поліноміальних рівнянь відомо як алгебраїчне різноманіття. Таким чином, квадрика є (афінним або проектним) алгебраїчним різноманіттям другого ступеня та корозмірності 1.
Перетворення площини та простору.
Визначення перетворення площини. Визначення руху. характеристики руху. Два види рухів: рух I роду та рух II роду. Приклади рухів. Аналітичний вираз руху. Класифікація рухів площини (залежно від наявності нерухомих точок та інваріантних прямих). Група рухів площині.
Визначення перетворення площини: Визначення.Перетворення площини зберігає відстань між точками називається рухом(або переміщенням) площини. Перетворення площини називається афінним, якщо воно будь-які три точки, що лежать на одній прямій, переводить у три точки, що також лежать на одній прямій і при цьому зберігає просте відношення трьох точок.
Визначення руху:це перетворення фігур, у якому зберігаються відстані між точками. Якщо дві фігури точно поєднати одна з одною у вигляді руху, ці фігури однакові, рівні.
Властивості руху:всяке рух площини, що зберігає орієнтацію, є або паралельним переносом, або поворотом, всяке змінює орієнтацію рух площини є або осьової симетрією, або ковзною симетрією. Крапки, що лежать на прямій, при русі переходять у точки, що лежать на прямій, і зберігається порядок їх взаємного розташування. Під час руху зберігаються кути між напівпрямими.
Два види рухів: рух I роду та рух II роду:Рухи першого роду – такі рухи, які зберігають орієнтацію базисів якоїсь фігури. Вони можуть бути реалізовані безперервними рухами.
Рухи другого роду – такі рухи, які змінюють орієнтацію базисів на протилежну. Вони можуть бути реалізовані безперервними рухами.
Прикладами рухів першого роду є перенесення та поворот навколо прямої, а рухами другого роду – центральна та дзеркальна симетрії.
Композицією будь-якої кількості рухів першого роду є рух першого роду.
Композиція парного числа рухів другого роду є рух 1 роду, а композиція непарного числа рухів 2 роду - рух 2 роду.
Приклади рухів:Паралельне перенесення. Нехай а – цей вектор. Паралельним перенесенням на вектор називається відображення площини на себе, при якому кожна точка М відображається в точку М 1 , що вектор MМ 1 дорівнює векторуа.
Паралельний перенесення є рухом, оскільки є відображенням площини на себе, що зберігає відстані. Наочно цей рух можна як зрушення всієї площині у бік даного вектора але в його довжину.
Поворот.Позначимо на площині точку О ( центр повороту) і задаємо кут α ( кут повороту). Поворотом площини навколо точки О на кут називається відображення площини на себе, при якому кожна точка М відображається в точку М 1 , що ОМ = ОМ 1 і кут MOМ 1 дорівнює α. При цьому точка О залишається на своєму місці, тобто відображається сама в себе, а всі інші точки повертаються навколо точки О в однаковому напрямку - за годинниковою стрілкою або проти годинникової стрілки (на малюнку зображено поворот проти годинникової стрілки).
Поворот є рухом, оскільки є відображенням площини на себе, при якому зберігаються відстані.
Аналітичний вираз руху:аналітичний зв'язок між координатами прообразу і образу точки має вигляд (1).
Класифікація рухів площини (залежно від наявності нерухомих точок та інваріантних прямих): Визначення:
Точка площини інваріантної (нерухомої), якщо при цьому перетворенні вона переходить у себе.
Приклад: При центральної симетріїІнваріантною є точка центру симетрії. При інваріантній повороті є точка центру повороту. При осьовий симетріїІнваріантною є пряма – вісь симетрії – це пряма інваріантна точка.
Теорема: Якщо рух не має жодної інваріантної точки, він має хоча б один інваріантний напрямок.
Приклад: Паралельне перенесення. Справді, прямі, паралельні цьому напряму інваріантних як фігура загалом, хоча складається з інваріантних точок.
Теорема: Якщо рухається якийсь промінь, промінь переводить у себе, це рух або тотожне перетворення, або симетрія щодо прямої містить даний промінь.
Тому за наявності інваріантних точок чи фігур можна провести класифікацію рухів.
| Назва руху | Інваріантні точки | Інваріантні прямі |
| Рух І роду. | ||
| 1. - повороту | (центр) – 0 | ні |
| 2. Тотожне перетворення | всі точки площини | всі прямі |
| 3. Центральна симетрія | точка 0 - центр | всі прямі, що проходять через точку 0 |
| 4. Паралельне перенесення | ні | всі прямі |
| Рух ІІ роду. | ||
| 5. Осьова симетрія. | безліч точок | вісь симетрії (пряма) всі прямі |
Група рухів площини:У геометрії важливу роль відіграють групи самосуміщень фігур. Якщо - деяка постать на площині (чи просторі), можна розглянути безліч всіх тих рухів площини (чи простору), у яких фігура перетворюється на.
Ця множина є групою. Наприклад, для рівностороннього трикутника група рухів площини, що переводять трикутник у себе, складається з 6 елементів: поворотів на кути навколо точки та симетрій щодо трьох прямих.
Вони зображені на рис. 1 червоними лініями. Елементи групи самосуміщень правильного трикутника можуть бути задані інакше. Щоб пояснити це, пронумеруємо вершини правильного трикутника числами 1, 2, 3. Будь-яке самосполучення трикутника переводить точки 1, 2, 3 у самі точки, але взяті у іншому порядку, тобто. може бути умовно вписано у вигляді однієї з таких дужок:
і т.д.
де числами 1, 2, 3 позначені номери тих вершин, які переходять вершини 1, 2, 3 в результаті аналізованого руху.
Проективні простори та їх моделі.
Поняття проективного простору та моделі проективного простору. Основні факти проектної геометрії. Зв'язка прямих із центром у точці O-модель проективної площини. Проектні точки. Розширена площина – модель проективної площини. Розширений тривимірний афінний або евклідовий простір - модель проективного простору. Зображення плоских та просторових фігур при паралельному проектуванні.
Поняття проективного простору та моделі проективного простору:
Проективний простір над полем - простір, що складається з прямих (одномірних підпросторів) деякого лінійного простору над полем. Прямі простори називаються точкамипроектного простору. Це визначення піддається узагальнення на довільне тіло
Якщо має розмірність , то розмірністю проективного простору називається число , а саме проективне простір позначається і називається асоційованим з (щоб це вказати прийнято позначення ).
Перехід від векторного простору розмірності до відповідного проектного простору називається проективізацієюпростору.
Крапки можна описувати за допомогою однорідних координат.
Основні факти проективної геометрії:Проективна геометрія - розділ геометрії, що вивчає проектні площини та простори. Головна особливістьПроективна геометрія полягає в принципі подвійності, який додає витончену симетрію в багато конструкцій. Проективна геометрія може вивчатися як з чисто геометричної точки зору, так з аналітичної (за допомогою однорідних координат) та салгебраїчної, розглядаючи проектну площину як структуру над полем. Часто, і історично, речова проектна площина сприймається як Евклідова площину з додаванням «прямий у нескінченності».
Тоді як властивості постатей, з якими має справу Евклідова геометрія, є метричними(конкретні величини кутів, відрізків, площ), а еквівалентність фігур рівнозначна їх конгруентності(тобто коли фігури можуть бути переведені одна в іншу за допомогою руху із збереженням метричних властивостей), існують більш "глибоко лежачі" властивості геометричних фігур, які зберігаються при перетвореннях більше загального типу, Чим рух. Проективна геометрія займається вивченням властивостей фігур, інваріатних при класі проективних перетворень, і навіть самих цих перетворень.
Проективна геометрія доповнює Евклідову, надаючи гарні та прості рішення для багатьох завдань, ускладнених присутністю паралельних прямих. Особливо проста і витончена проектна теорія конічних перерізів.
Існують три основні підходи до проективної геометрії: незалежна аксіоматизація, доповнення Евклідової геометрії, і структура над полем.
Аксіоматизація
Проективний простір можна визначити за допомогою різного набору аксіом.
Коксетер надає такі:
1. Існує пряма і точка не на ній.
2. На кожній прямій є принаймні три точки.
3. Через дві точки можна провести одну пряму.
4. Якщо A, B, C, і D— різні точки та ABі CDперетинаються, то ACі BDперетинаються.
5. Якщо ABC- площина, то існує принаймні одна точка не в площині ABC.
6. Дві різні площини перетинаються принаймні у двох точках.
7. Три діагональні точки повного чотирикутника не колінеарні.
8. Якщо три точки на прямій X X
Проективна площина (без третього виміру) визначається дещо іншими аксіомами:
1. Через дві точки можна провести одну пряму.
2. Будь-які дві прямі перетинаються.
3. Існує чотири точки, з яких немає трьох колінеарних.
4. Три діагональні точки повних чотирикутників не колінеарні.
5. Якщо три точки на прямій Xінваріантні по відношенню до проективності φ, то всі точки на Xінваріантні стосовно φ.
6. Теорема Дезарга: Якщо два трикутники перспективні крізь точку, вони перспективні крізь пряму.
За наявності третього виміру теорема Дезарга може бути доведена без введення ідеальних точки і прямої.
Розширена площина – модель проективної площини:візьмемо в афінному просторі A3 зв'язку прямих S(O) з центром у точці O та площину Π, що не проходить через центр зв'язки: O 6∈ Π. Зв'язка прямих у афінному просторі є моделлю проектної площини. Задамо відображення безлічі точок площини Π на безліч прямих зв'язки S (Бля, молись якщо дісталося це питання, вибач)
Розширений тривимірний афінний або евклідовий простір - модель проективного простору:
Для того, щоб зробити відображення сюр'єктивним, повторимо процес формального розширення афінної площини Π до площини проективної Π доповнюючи площину Π безліччю невласних точок (M∞) таким, що: ((M∞)) = P0(O). Оскільки у відображенні прообразом кожної площини зв'язки площин S(O) є пряма на площині d, то очевидно, що безліч усіх невласних точок розширеної площини: Π = Π ∩ (M∞), (M∞) являє собою невласну пряму d∞ розширеною плоскості, що є прообразом особливої площини Π0: (d∞) = P0(O) (= Π0). (I.23) Домовимося, що остання рівність P0(O) = Π0 тут і надалі ми розумітимемо в сенсі рівності множин точок, але наділених різною структурою. Доповнивши афінну площину невласної прямої, ми домоглися того, що відображення (I.21) стало бієктивним на безлічі всіх точок розширеної площини:
Зображення плоских та просторових фігур при паралельному проектуванні:
У стереометрії вивчаються просторові фігури, проте на кресленні вони зображуються як плоских фігур. Яким чином слід зображати просторову фігуру на площині? Зазвичай у геометрії при цьому використовується паралельне проектування. Нехай p - деяка площина, l- Пряма, що перетинає її (рис. 1). Через довільну точку A, що не належить прямої l, проведемо пряму, паралельну до прямої l. Точка перетину цієї прямої з площиною p називається паралельною проекцією точки Aна площину p у напрямі прямої l. Позначимо її A". Якщо точка Aналежить прямий l, то паралельною проекцією Aна площину p вважається точка перетину прямої lіз площиною p.
Таким чином, кожній точці Aпростору зіставляється її проекція A" на площину p. Ця відповідність називається паралельним проектуванням на площину p у напрямі прямої l.
Група проектних перетворень. Додаток до розв'язання задач.
Концепція проектного перетворення площини. Приклади проектних перетворень площини. Властивості проективних перетворень. Гомологія, властивості гомології. Група проектних перетворень.
Поняття проективного перетворення площини:Поняття проективного перетворення узагальнює поняття центральної проекції. Якщо виконати центральну проекцію площини α на деяку площину α 1 потім проекцію α 1 на α 2 , α 2 на α 3 , … і, нарешті, якийсь площині α nзнову на α 1 то композиція всіх цих проекцій і є проективне перетворення площини α; в такий ланцюжок можна включити і паралельні проекції.
Приклади проективних перетворень площини:Проективним перетворенням поповненої площини називається її взаємно-однозначне відображення на себе, при якому зберігається колінеарність точок, або, іншими словами, будь-який прямий є пряма. Будь-яке проектне перетворення є композиція ланцюжка центральних та паралельних проекцій. Афінне перетворення - це окремий випадок проективного, при якому нескінченно віддалена пряма переходить сама в себе.
Властивості проективних перетворень:
При проективному перетворенні три точки, що не лежать на прямій, переходять у три точки, що не лежать на прямій.
При проективному перетворенні репер перетворюється на репер.
При проективному перетворенні пряма перетворюється на пряму, пучок перетворюється на пучок.
Гомологія, властивості гомології:
Проективне перетворення площини, що має пряму інваріантну точку, а значить, і пучок інваріантних прямих називається гомологією.
1. Пряма, що проходить через відповідні точки гомології, що не збігаються, є інваріантною прямою;
2. Прямі, які проходять через відповідні точки гомології, що не збігаються, належать одному пучку, центр якого є інваріантною точкою.
3. Крапка, її образ та центр гомології лежать на одній прямій.
Група проективних перетворень:розглянемо проективне відображення проективної площини P 2 він, тобто проективне перетворення цієї площини (P 2 ' = P 2).
Як і раніше, композицією f проективних перетворень f 1 і f 2 проективної площини P 2 назвемо результат послідовного виконання перетворень f 1 і f 2: f = f 2 °f 1 .
Теорема 1: безліч Н всіх проективних перетворень проективної площини P 2 є групою щодо композиції проективних перетворень.