Квадріка

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до навігації Перейти до пошуку

Квадріка — n-мірна гіперповерхня в n+1-мірному просторі, задана як множина нулів многочлена другого степеня. Якщо ввести координати {x1, x2, ..., xn+1} (в евклідовому або афінному просторі), загальне рівняння квадріка має вигляд[1]

Це рівняння можна переписати більш компактно в матричних позначеннях:

де x = {x1, x2, ..., xn+1} — вектор-рядок, xT — транспонований вектор, Q — матриця розміру (n+1)×(n+1) (передбачається, що хоча б один її елемент ненульовий), P — вектор-рядок, а R — константа. Найбільш часто розглядають квадріки над дійсними або комплексними числами. Визначення можна поширити на квадріка в проективному просторі.

Більш загально, множину нулів системи поліноміальних рівнянь можна розглядати як алгебраїчний многовид. Таким чином, квадріка є (аффінним або проективним) алгебраїчним многовидом другого ступеня і ковимірності 1.

Квадріка в евклідовому просторі[ред. | ред. код]

Квадріка на евклідовій площині відповідає випадку n = 1, тобто є кривими. Зазвичай їх називають не квадріками, а коніками або конічними перетинами.

Еліпс (e = 1/2), парабола (e=1) і гіпербола (e = 2) з фіксованим фокусом F та директрисою.

Квадріки в (тривимірному дійсному) евклідовому просторі мають розмірність n = 2 і називаються поверхнями другого порядку. Провівши ортогональну заміну базису, будь-яку квадріка в евклідовому просторі можна привести до нормальної форми. У тривимірному евклідовому просторі існує 17 таких форм.[2] З них 5 є невиродженими (тобто відповідна їм білінійна форма Q є невиродженою). Вироджені форми включають в себе площині, прямі, точки і навіть квадріку без дійсних точок.[3]

Невироджені дійсні квадріки в евклідовому просторі
    Еліпсоїд Ellipsoid Quadric.png
    Сфероїд (спеціальна форма еліпсоїда) Oblate Spheroid Quadric.pngProlate Spheroid Quadric.png
    Сфера (спеціальна форма сфероїда) Sphere Quadric.png
    Еліптичний параболоїд Paraboloid Quadric.Png
    Круговий параболоїд (спеціальна форма еліптичного параболоїда) Circular Paraboloid Quadric.png
    Гіперболічний параболоїд Hyperbolic Paraboloid Quadric.png
    Однопорожнинний гіперболоїд Hyperboloid Of One Sheet Quadric.png
    Двопорожнинний гіперболоїд Hyperboloid Of Two Sheets Quadric.png
Вироджені квадріка в евклідовому просторі
    Еліптичний конус Elliptical Cone Quadric.Png
    Круговий конус (спеціальна форма еліптичного конуса) Circular Cone Quadric.png
    Еліптичний циліндр Elliptic Cylinder Quadric.png
    Круговий циліндр (спеціальна форма еліптичного циліндру) Circular Cylinder Quadric.png
    Гіперболічний циліндр Hyperbolic Cylinder Quadric.png
    Параболічний циліндр Parabolic Cylinder Quadric.png

Афінний та проективний простір[ред. | ред. код]

Класифікація квадрік в тривимірному афінному просторі збігається з класифікацією квадрік в евклідовому просторі.[4] Різниця полягає в тому, що будь-які дві квадріка з одного класу можна перевести один в одного афінним перетворенням, тоді як відповідне ортогональне перетворення існує не завжди (наприклад, еліпсоїд неможливо перевести рухом в еліпсоїд ).

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

Без обмеження спільності можна вважати, що матриця симетрична, тобто Проективна квадрика називається невиродженою, якщо відповідна їй квадратична форма невирождена.

У дійсному проективному просторі, відповідно до закону інерції, будь-яку невироджену квадратну форму можна привести (проективним перетворенням) до вигляду

Оскільки сигнатура квадратичної форми є її інваріантом, в розмірності n = 2 існує рівно три класи еквівалентності:

Еліпсоїд, еліптичний параболоїд і двопорожнинний гіперболоїд належать другому класу, а гіперболічний параболоїд і однопорожнинний гіперболоїд — третьому (останні дві квадріка є прикладами лінійчатих поверхонь). Жодна квадрика в дійсному проективному просторі не належить першому класу, тому що відповідне рівняння визначає точку, а не поверхню. У комплексному проективному просторі все невироджені квадріка еквівалентні.

Імовірність і статистика[ред. | ред. код]

Еліптичний розподіл, узагальнює багатовимірний нормальний розподіл і використовується в галузі фінансів, може бути визначеним з точки зору його функцій щільності. Коли він існує, функції щільності F мають структуру:

де це масштабний коефіцієнт, це -мірний випадковий вектор-рядок з середнім вектором , це позитивна матриця, яка пропорційна коваріаційній матриці, якщо остання існує, та є функцією, що відображає від невід'ємних до невід'ємних чисел кінцеву площу під кривою.[5] Багатовимірний нормальний розподіл є окремим випадком, в якому для квадратичної форми .

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

Примітки[ред. | ред. код]

  1. Silvio Levy. Quadrics. Geometry Formulas and Facts, excerpted from 30th Edition of the CRC Standard Mathematical Tables and Formulas (CRC Press) (en). Процитовано 2013-07-30. 
  2. Sameen Ahmed Khan. Quadratic Surfaces in Science and Engineering (en). Bulletin of the IAPT, 2(11), 327—330 (November 2010). (Publication of the Indian Association of Physics Teachers). Архів оригіналу за 2013-08-13. Процитовано 2013-07-30. 
  3. Stewart Venit, Wayne Bishop, Elementary Linear Algebra (fourth edition), International Thompson Publishing, 1996.
  4. П. С. Александров. Курс аналитической геометрии и линейной алгебры. С.275.
  5. Frahm, G., Junker, M., & Szimayer, A. (2003). Elliptical copulas: applicability and limitations. Statistics & Probability Letters, 63(3), 275—286.