- •1 Множества и отношения. Примеры.
- •2. Математические структуры. Примеры
- •3.Модели. Примеры.
- •4.Изоморфизм. Примеры
- •5.Аксиоматические теории.Роль теории множеств.
- •6. Непротиворечивость
- •7.Независимость аксеом и полнота систем аксеом.
- •8. Аксиоматика Гильберта, I и II группы
- •10. Аксиоматика Погорелова I, II группы.
- •I Аксиомы принадлежности:
- •II Аксиомы порядка:
- •11.Аксиоматика Погорелова, 3,4 5,6 группы.Пространственные аксиомы.
- •3.Аксиомы длины отрезка и меры углов:
- •9.Аксиоматика Гильберта III, IV, V группы.
- •4.Аксиома откладывания треугольника.
- •5.Аксиома сущ.Отрезка данной длинны:
- •6.Аксиома параллельности:
- •12.Непротиворечивость аксиоматики Погорелова ӏ и Vӏ группы…
- •13.Непротиворечивость аксиоматики Погорелова 2-5 гр.
- •2 Гр. “между”
- •2 Каждая прямая разбивает плоскость на 2 части
- •3Гр. Длина отрезка [ab]
- •14. Роль симметрии в евклидовой геометрии
- •II. Аксиомы умножения вектора на число
- •III. Аксиомы размерности
- •IV. Аксиомы скалярного произведения векторов
- •V. Аксиомы откладывания векторов
- •18Прямые в аксиоматике Вейля
- •19. Непротиворечивость аксиоматики Вейля
- •20.”Начала ” Евклида,V постулат и эквивалентные ему утверждения
- •21. Геометрия Лобачевского. Сумма углов треугол.
- •22.Классические геометрии.
- •23. Угол параллельности.Взаимное расположение прямых на плоскости Лобачевского
- •24.Непротиворечивость геометрии Лобачевского. Модель Клейна.
- •25. Модель Клейна. Проверка аксиомы III(2-я аксиома), IV, V и VI групп. Неевклидовы симметрии в модели Клейна.
- •Iii2. Данное определение неевклидовой геометрии л2:
- •26.Элементы геометрии Лобачевского в модели Клейна
- •27 Модели Пуанкаре плоскости Лобачевского
Iii2. Данное определение неевклидовой геометрии л2:
Удобно определять неевклид движения через преобразования (проективные, гиперболические, гомологии).
F(A|→A) – l-ось гомологии, Р – центр. \
Строим образ.
Р€АА|, Р€BB|, ۷A,B Если точка М=АА ∩l, то (РМ,АА´)=1 ↔ f2=id или f=f-1, f – инволюция.
Гиперболические гомологии f2=id получаются, если l и Р – поляра и полюс относительно овала ξ. ABCD – полный 4-хугольник, вписанный в овал.
A,B,C,D - вершины
P,Q,R’ – диагональные точки
PR=l, (MN,RQ)=-1, (LL’,RQ)=-1
PL=m, PL’=m’ – касательные
PQR – автополярный треугольник, каждая сторона которого, явл полярой противоположной вершины.
Все неевклид движения 1-го рода явл композицией симметрий.
Sl=f
26.Элементы геометрии Лобачевского в модели Клейна
1.L-поляра Р
f=SL–неевклид.симметрия
f(А)= А1
А А1=m
Полюс m и точка Q L(по т.взаимости проект геометрии)
g=Sm (неевклидова симметрия)
то g(U)=U! =V
Cледовательно, <AO1 U<AO1 V ,AO1 m.Следов. g(О)=О! , по опр.меры углов, если одни перех. В другой, то неевклид.мера угла <AO1 U и<AO1 V равны,( они смежные), их сумма равна 180, тогда получается, что каждый из углов прямой.Следов, mперпендик.L
2.U1P,V1P-касательные кси. O1Р-биссектриса неевклидова.
Если О=О1, то евклидова и неевклидова биссектрисы совпадут,
И преобразуют один угол в другой и учитывая что касательные
переходят в касательные будет следов., что O1Р-неевкл.биссектриса.
3. Еслиf=SL-неевклид.симметрия,
R Cf(R)=R, f(М)= М! =N
(из св-в полного 4-х верш.И гомологии)
[MR][NR].Следов., неевклиддлинны этих отрезков равны,
R-неевклидова середина [MN].
4.Если треуг.АВС в модели Клейна продолжить
Сторону до пересечения с абсолютом и построим
биссектрисы углов А,В, С,тогда из т. Брианшона
следует,чтонеевклид.биссектриссы пересек
в одной точке
5.АР,ВР,СР перпенд.L.тогда все перпендикуляры к L
пересек.в полюсе Р.Следов, все перпенд между собой расх.
6.L1||L, mперпендик.L, L1 должна проходить через
Р и Q,т.е. mвключ в PQ(проект прямая). т.к.PQкасат.
к кси, то PQ в пересе с L2= пустое множество.
Следов., общего перпенд к 2-м параллельным
прямым нет.
7.L1иL-расход, пересек в точкеР, тогда общий перпенд .m к L1иL
должен принадлежать RQ.Следов.,онсущ и единств.,m пересек с L2.
8.1) если АВ и СD параллельны, то к ним общего перпенд нет.
2) если АВ и СD расход, то общий перпенд к ним только один.Или
АDперпенд. АВ, СД, или ВС перпенд АВ, СД.Следов.,4-ник не
Может быть прямоугольником, т.е. в плоскости Лобачевского
не существует прямоугольников.
27 Модели Пуанкаре плоскости Лобачевского
Рассматривается Е=С – плоскость комплексных чисел.
=С
=СP-1-
комплексная проективная прямая.На
каждая точка проходит через точку
и становится замкнутой как окружность.
Расширенные прямые
=l
и
окружности входят в один класс линий
окружности на
.
Модель Пуанкаре в круге.
ƺ-окружность.U- внутренность круга неевклид.прямые двух видов.
L1-диаметр ƺ.
L2=S
U,
где S
ƺ
Обе модели Пуанкаре явл. конформными,т.е. евклидовы и неевклидовы величины углов совпадают.
