Аффинная классификация кривых второго порядка

Концепция аффинной эквивалентности

Две кривые второго порядка называются аффинно эквивалентными, если существует такое невырожденное аффинное преобразование плоскости, которое переводит одну кривую точно в другую. С алгебраической точки зрения это означает существование замены координат вида X = a11*x + a12*y + b1, Y = a21*x + a22*y + b2, при которой уравнение первой кривой тождественно превращается в уравнение второй. Из этого немедленно следует, что любая окружность аффинно эквивалентна любому эллипсу: достаточно просто сжать эллипс вдоль его большой полуоси до размеров малой. Точно так же все параболы мира аффинно эквивалентны между собой, так как масштаб параболы (ее фокальный параметр) можно легко изменить простым изотропным растяжением координатной плоскости.

Девять фундаментальных аффинных классов

Математический анализ инвариантов квадратичных форм доказывает, что абсолютно любое уравнение второй степени от двух переменных можно аффинным преобразованием свести к одному из девяти канонических видов. Невырожденные кривые образуют три класса: эллипсы (X^2 + Y^2 = 1), гиперболы (X^2 - Y^2 = 1) и параболы (Y^2 = 2X). Вырожденные кривые распадаются на шесть классов: пара пересекающихся прямых (X^2 - Y^2 = 0), пара мнимых пересекающихся прямых (точка, X^2 + Y^2 = 0), пара параллельных прямых (X^2 - 1 = 0), пара мнимых параллельных прямых (X^2 + 1 = 0), пара совпадающих прямых (X^2 = 0) и, наконец, полностью мнимый эллипс (X^2 + Y^2 = -1), который не имеет ни одной действительной точки. Эта строгая алгебраическая классификация исчерпывает все возможные геометрические ситуации на двумерной плоскости.

Устранение метрических параметров (полуосей)

В классическом евклидовом каноническом уравнении эллипса присутствуют параметры a и b (длины полуосей), которые определяют его конкретные метрические габариты. В аффинной геометрии эти параметры считаются несущественными, так как метрика (измерение длин) отключена. Сделав замену переменных x' = x/a и y' = y/b, мы применяем аффинное сжатие вдоль координатных осей. Уравнение эллипса x^2/a^2 + y^2/b^2 = 1 мгновенно превращается в аффинный канонический вид x'^2 + y'^2 = 1 (уравнение единичной окружности). Таким образом, в аффинном пространстве эллипс и окружность — это абсолютно один и тот же алгебраический объект. Это радикально упрощает доказательства многих теорем: достаточно доказать свойство для простой окружности, и оно автоматически станет истинным для любого произвольного эллипса, если это свойство формулируется в терминах аффинных инвариантов (например, пересечение прямых или деление отрезков пополам).

Центр и асимптоты как аффинные инварианты

Хотя фокусы и директрисы кривых при аффинных преобразованиях безвозвратно теряются (они зависят от евклидовой метрики), некоторые ключевые элементы остаются непоколебимыми. Центр симметрии кривой является абсолютным аффинным инвариантом. Если точка O была центром симметрии эллипса или гиперболы, то после любого скоса или растяжения плоскости новая точка O' останется центром симметрии новой трансформированной кривой. Аналогично ведут себя асимптоты гиперболы. Асимптота — это прямая, к которой ветвь гиперболы приближается бесконечно близко. Поскольку аффинное преобразование переводит прямые в прямые и сохраняет предел касания на бесконечности, асимптоты старой гиперболы строго переходят в асимптоты новой гиперболы. Это гарантирует сохранение топологического каркаса гиперболического пространства при любых деформациях системы отсчета.