Построение образов и прообразов точек при инволюции прямой.


Задача. Инволюция задана точками А ↔ А′ и В ↔ В′. Построить образ и прообраз произвольных точек.

Решение. Решение соответствует второму случаю (1 = ℓ2) отображения φ: А → А′,В → В′, А′ → А.

Построение:

1. S1 1 ,

2. 3 , такую, что S1 3 и 1 ≠ ℓ3 ,

3. А3 = ℓ3 (S1 А), В3 = ℓ3 (S1В), С3 = ℓ3 (S1 А′),

4. S2 ≠ S3 (АА3),

5. С0 =(S3С3)∩(S2А), В0 =(S3В3)∩(S2В′), А0 =(В0С0)∩(А′А3).

6. К К3 =ℓ3(S3 К), К0=(S3К3)∩(В0С0), К′=(S2К0)∩1 .

7. L 1, L0=(S2L3)∩(В0С0), L3=(S3L0)∩3, L=(S1L3)∩1.

8. Построение прообразов в обратном порядке (самостоятельно).

 

Задача. Дана гиперболическая инволюция и даны инвариантные точки М1 и М2 . Построить образ и прообраз произвольной точки А.

Решение. По свойству (4) → (АА′, М1М2)= - 1. Т.о. задача сводится к построению четвертой гармонической точки. Аналогично строится прообраз точки.

 

 

Задача. Даны точки А ↔ А′ и В ↔ В′ . Найти уравнение инволюции.

Решение. Пусть матрица инволюции М= , тогда формулы λ∙Х ′ = МХ и λ∙Х = МХ .

Подставим точки:

λ1∙А′=МА ,

λ2∙А=МА ,

λ3∙В′=МВ ,

λ4∙В=МВ .

.

Одно из решений а = 7, b= - 5, с= 2, М= .

Уравнение инволюции: λ∙Х ′ = Х.

Задача. Известны неподвижные точки инволюции - М1 и М2 , найти её уравнение.

Решение. Пусть матрица инволюции М= ,

тогда формулы преобразования λ∙Х′=МХ и λ∙Х=МХ, для инвариантных точек λ∙Х=МХ .

Подставим наши точки: λ1∙М1=ММ1, λ2∙М2=ММ2 .

.

Одно из решений а = -5, b= 3, с= - 8, М= .

Уравнение инволюции: λ∙Х ′ = Х .

Задача. Найти неподвижные точки инволюции .

Решение. Матрица инволюции М= .

Тогда характеристическое уравнение λ 2 - 92–(-8)∙7 = 0 λ 2= 25 λ = ± 5.

При λ1 = 5, = х1 = 2∙х2 , М1 = .

При λ 2 = -5 , = 7∙х1 = 4∙х2 , М2 = .

 

Коллинеация

Определение: Проективное преобразование плоскости называется коллинеацией, если образом точки будет точка, а образом прямой прямая.

Свойства:

1. Сохраняется инцидентность точек и прямых.

2. Сохраняется сложное отношение четырёх точек, лежащих на одной прямой и четырёх прямых пучка.

3. Композиция коллинеаций, есть коллинеация.

4. Множество коллинеаций образует подгруппу в группе проективных преобразований.

Доказательство. Самостоятельно.

Теорема 1. Пусть А1, В1, С1, D1 и А2, В2, С2, D2 - упорядоченные четверки точек, в каждой из которых никакие три не лежат на одной прямой. Тогда существует коллинеация φ на проективной плоскости такая, что: φ(А1) = А2, φ(В1) =В2, φ(С1) = С2, φ(D1) = D2.

Доказательство. По аналогии с проективным отображением прямой на прямую, преобразование плоскости можно разложить на композицию не более чем трёх перспектив. Доказательство осуществляется построением. □

Рассмотрим Р2 и два репера, тогда уравнение коллинеации, переводящее точки репера в точки репера единственное и задается формулами (**).

Пусть и ( и1 : и2 : и3 ) - прямая и∙Х = 0, её образ - f (и) = и ′ (и′1 : и′2 : и′3) → и′∙Х ′ = 0 .

и∙Х = и∙А-1 f (Х) = и∙А-1 Х ′ = 0 → и∙А-1 = λ∙и′ μ∙и = и′∙А.

Вывод:Формулы коллинеации имеют вид:

Для точек: λ∙Х ′=АХ и μ∙Х = А-1Х ′.

Для прямых: иА-1 = λ∙и′ μ∙и = и′∙А.

Замечание: Формулы очень похожи на формулы преобразования координат при переходе к другому реперу. Но там координаты одной и той же точки в разных реперах, здесь координаты разных точек (образа и прообраза) в одном репере.

 

Инварианты коллинеации

Определение: Точка называется неподвижной (инвариантной) точкой проективного преобразования, если она переходит сама в себя.

Определение: Прямая называется неподвижной (инвариантной) прямой проективного преобразования, если она переходит

сама в себя.

Определение: Прямая называется точечно неподвижной (точечно инвариантной) прямой проективного преобразования, если каждая точка этой прямой инвариантна.

Нахождение инвариантов коллинеации.

Так как для инвариантных точек λ∙Х = М∙Х , то они являются собственными векторами матрицы преобразования. Собственные значения находятся из характеристического уравнения

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С → ,

λ4D ′=AD → .

Одно из решений: а=1, b=0, с=3, d=2, f=1, g= -1, т=0, п=1, k= -2,

тогда А .

 

Гомология

Определение: Не тождественная коллинеация, для которой существует точечно неподвижная прямая называется гомологией.

По принципу двойственности у гомологии будет неподвижная точка.

Определение: Прямая называется осью гомологии. Точка называется центром гомологии.

Обозначение: Р – центр, р – ось.

Определение: Если Р р - гомология называется параболической, если Р р - гомология называется гиперболической.

Теорема. Любая прямая инцидентная центру гомологии является неподвижной.

Доказательство. (самостоятельно).

Свойства:

1. Точка и ее образ лежат на одной прямой с центром А А (АР).

2. Прямая и ее образ пересекаются на оси а а′ ∩ а = А0 р.

Теорема. Для любых точки Р, прямой р и пары точек А и А′, коллинеарных с точкой Р, существует единственная гомология с центром Р и осью р, переводящая А в А′.

(Сформулируйте теорему двойственную этой.)

Доказательство.

1 случай: Р р.

Пусть р ∩(АА′)=Х , возьмем ещё две точки U ≠ V р .

Рассмотрим две четвёрки точек: А, Р, U, V и А', Р, U, V – в каждой четвёрке точек никакие три не лежат на одной прямой. Тогда можно рассмотреть коллинеацию

φ: U→U, V→V, Р→Р, А→А′.

Так как U, V – неподвижные точки, тогда неподвижна вся прямая - р, а значит это гомология.

 

2 случай: Р р (самостоятельно). □

Вывод: Гомологию можно задать: осью, центром и парой точек, коллинеарных с центром. Гомологию можно задать: осью центром и парой прямых.

 



Дата добавления: 2022-02-05; просмотров: 646;


Поиск по сайту:

Воспользовавшись поиском можно найти нужную информацию на сайте.

Поделитесь с друзьями:

Считаете данную информацию полезной, тогда расскажите друзьям в соц. сетях.
Poznayka.org - Познайка.Орг - 2016-2024 год. Материал предоставляется для ознакомительных и учебных целей.
Генерация страницы за: 0.035 сек.