Инварианты коллинеации
Определение: Точка называется неподвижной (инвариантной) точкой проективного преобразования, если она переходит сама в себя.
Определение: Прямая называется неподвижной (инвариантной) прямой проективного преобразования, если она переходит
сама в себя.
Определение: Прямая называется точечно неподвижной (точечно инвариантной) прямой проективного преобразования, если каждая точка этой прямой инвариантна.
Нахождение инвариантов коллинеации.
Так как для инвариантных точек λ∙Х = М∙Х , то они являются собственными векторами матрицы преобразования. Собственные значения находятся из характеристического уравнения
det | М – λ ∙Е | = 0.
Матрица коллинеации - третьего порядка, а значит, характеристическое уравнение будет кубическим. При решении кубического уравнения возможны случаи:
-
1 случай. λ1 , λ2 – комплексные, λ3 – действительные корни.
λ3 – дает одну инвариантную точку и в силу принципа двойственности будет одна инвариантная прямая.
-
2 случай. λ1 , λ2 , λ3 – различные действительные корни.
Тогда собственные вектора линейно независимы, а значит, существует три инвариантные точки, причем эти точки различны и не лежат на одной прямой. Эти три точки образуют три неподвижные прямые.
-
3 случай. λ1 = λ2 ≠ λ3 – действительные корни.
Пусть r = rang (М – λ1∙Е), тогда число линейно независимых векторов в подпространстве решений равно 3 – r .
а) λ1 = λ2 - дают один линейно независимый вектор (r = 2). Тогда будет одна инвариантная точка при λ1 и λ3 – даст вторую инвариантную точку. Таким образом, всего две неподвижные точки, которые образуют неподвижную прямую.
б) λ1 = λ2 - дают два линейно независимых вектора, которые образуют двумерное подпространство решений (r = 1), которое в свою очередь порождает точечно неподвижную прямую. λ3 – дает инвариантную точку не принадлежащую точечно неподвижной прямой.
-
4 случай. λ1 = λ2 = λ3 – действительные корни.
а) r = 1 один линейно независимый вектор, а значит одна инвариантная точка;
б) r = 2 два линейно независимых вектора, а значит две инвариантные точки, которые определяют точечно неподвижную прямую;
в) r = 3 - не может быть (почему?).
Собственные вектора находятся из решения системы: (М – λ∙Е)·Х = О
Для нахождения инвариантных прямых характеристическое уравнение будет - det | λ ∙Е – М | = 0, а значит собственные значения те же самые. Собственные вектора находятся из решения системы: и∙(М – λ∙Е) = о.
Задача. Найти инвариантные точки коллинеаций:
а) Уравнение коллинеации
Решение. Матрица коллинеации .
Характеристическое уравнение: = 0
( 1 - λ)2 ∙(- 1 – λ) = 0, λ1 = λ2 = 1, λ3 = - 1.
При λ1 = 1 ∙=
х1 = 2∙х3 , М1 = и М2 =.
При λ1 = 1, rang= 1 коллинеация имеет точечно неподвижную прямую, проходящую через точки М1 и М2 , это прямая - х1 - 2∙х3 = 0.
При λ3 = -1 ∙= М3=.
Кроме того инвариантными будут прямые проходящие через точку М3 и любую точку прямой х1 - 2∙х3 = 0.
det |λ∙Е–М|=0 =0 λ1 = λ2 = 1, λ3 = - 1.
При λ1 = 1 (и1 : и2 : и3 )∙=( 0 : 0 : 0 )
и ( 1 : 0 : 0 ) и v ( 0 : 1 : 0 ) имеем пучок инвариантных прямых (центр пучка - точка М3): λ∙и + μ∙v
При λ3 = - 1 ( и1 : и2 : и3 )∙=(0 : 0 : 0 )
и ( 1 : 0 : -2 ) х1 - 2∙х3 = 0 - точечно неподвижная прямая..
б) Матрица коллинеации .
Решение.
Характеристическое уравнение =0
( λ2 - 2λ + 1)∙(- 2 – λ) = 0, λ1 = λ2 = 1, λ3 = - 2.
При λ1= 1, ∙=
М1 = .
При λ3 = - 2, ∙= М3=.
Задача. Составить уравнение коллинеации, заданной четверками точек
А , В , С , D и А′ , В′ , С′ , D′ .
Решение. Формулы коллинеации имеют вид: λ∙Х ′=A∙Х.
Пусть матрица коллинеации А , тогда
λ1∙А ′=A∙А → ,
λ2∙В ′=A∙В → ,
λ3∙С′=A∙С → ,
λ4∙D ′=A∙D → .
→ →
Одно из решений: а=1, b=0, с=3, d=2, f=1, g= -1, т=0, п=1, k= -2,
тогда А .
- Аналитическое представление проективных преобразований 71
- Дополнительная литература 91 введение
- Структурно-логическая схема курса «проективная геометрия»
- Исторические сведения
- Проективное пространство
- Аксиомы проективного пространства
- Модели проективной прямой, проективной плоскости
- Изоморфизм моделей
- Проективная система координат
- Проективный репер
- Координаты точки на прямой (плоскости)
- Принадлежность трёх точек одной прямой
- Однородные проективные координаты
- Уравнение прямой. Координаты прямой
- Взаимное расположение двух прямых
- Принадлежность трёх прямых одному пучку
- Координаты точки и уравнение прямой в пространстве
- Преобразование координат
- Принцип двойственности
- Теорема Дезарга
- Простое отношение
- Сложное отношение
- Гармонизм
- Гармонические свойства полного четырехвершинника
- Квадрики на проективной плоскости
- Классификация кривых второго порядка на проективной плоскости.
- Взаимное расположение прямой и квадрики
- Уравнение касательной
- Полюс и поляра
- Теорема Штейнера
- Теорема Паскаля и ее предельные случаи
- Задачи на построение, связанные с овалом
- Прямые и квадрики на расширенной евклидовой плоскости
- Проективные преобразования
- Проективные преобразования плоскости
- Аналитическое представление проективных преобразований
- Перспектива
- Отображение пучка в пучок
- Инволюция
- Коллинеация
- Инварианты коллинеации
- Гомология
- Гомологии на расширенной плоскости
- Дополнительная литература