Гиперболик фазо ҳақида тушунча, гиперболик текислик аксиомалари системасининг зидсизлиги

Yuklangan vaqt:

12.09.2022

Ko'chirishlar soni:

0

Hajmi:

196 KB

Ko'chirib olish

Гиперболик фазо ҳақида тушунча, гиперболик текислик аксиомалари системасининг зидсизлиги Режа: 1. Ноевклид геометриялар ҳақида тушунча. 2. Пидвоевклид вектор фазолар. 3. Гиперболик фазо аксиомалари системаси. 4. Гиперболик текислик аксиомалари системасининг зидсизлиги. 5. Текшириш учун савол ва топшириқлар. 6. Уйга вазифа.

1. Ноевклидей геометриялар ҳақида тушунча. Ноевклидий геометриялар деганда Н.И.Лобачевскийнинг гиперболик геомерияси, Б.Риманнинг элментик геометрияси ва сферик геометрияни тушунилади. Лобачевский геометриясининг энг содда тушунчалари билан биз илгари танишиб ўтган эдик. Гиперболик геометрияни ўрганишни векторлар асосида, яъни Г.Вейл схемасида давом эттирамиз. Бунинг учун аввало псевдоевклид фазоси ва ундаги векторларнинг баъзи хоссаларини баён қилиш зарур. 2. Псевдоевклид вектор фазолар. Одатдагидек, V n орқали n=2,3 деб тушуниб, уни n-ўлчовли вектор фазони белгилаймиз (R ҳақиқий сонлар майдонидаги). g:V n xV n  R бичизиқли формани белгилаймизки, бунда ) , ( ) ( x x g x  квадратик форма k индексли айнимаган квадратик форма бўлсин. R y x g ) , ( сонини x ва y векторларнинг скаляр кўпайтмаси деб атаймиз ва x y ёки x  y кўринишда белгилаймиз. 2 ) ( x x   сони x векторнинг узунлиги ёки нормаси дейилади. Кўриш мумкинки, агар 0 2 x бўлса, 0 2 x бўлиб, 0 2 x бўлганда 0 , 2   b bi x ва i 2 =-1 – мавҳум ирлик тушунчаларни келтиришимиз мумкин. Ана шундай ) , ( y x g бичизиқли форма ёрдамида x ва y векторларнинг скаляр кўпайтмаси аниқланган V n вектор фазо k индексли псевдоевклид вектор фазо дейилади. Кўрамизки, пседоевклид вектор фазода векторнинг 2x скаляр квадрати 0 x бўлган x векторлар учун мусбат, манфий ва нол сонига тенг бўлиши мумкин. Мисол. ) ... , ( 2 1 ne e e B  базисда ( n =2,3) ) (x  квадратик форманинг нормал шаклини

2 21 2 2 ) ( ... ) ( ) ...( `) ( ) ( n kn kn x x x x x        (1) кўринишда бўлсин. Бу ҳолда базис векторлари учун қуйидаги тенгликларни ёзишимиз мумкин: 1 ) ( ,...,1 ) ( ,1 ) ( ...,,1 ) ( ,1 ) ( 1 2 1          n kn kn e e e e e      Демак, ne e e ,..., , 2 1 векторларни мавҳум i узун – бирлик векторлар деб аталади. 0 x векторлари учун p<n-k, q>n-k бўлганда бундай векторлар изотроп векторлар бўлади, чунки (1) формулага асосан 0 1 1 ) (     q p e e  дир. Аналитик геометриядаги сингари пседоевклид фазода ҳам векторларнинг баъзи асосий хоссаларини келтирамиз. x ва y векторлари учун x y =0 бўлса , уларни ортогонал векторлар деб атаймиз. В базиснинг векторлари учун ) (x  квадратик форма (1) кўринишга эга бўлса, В базис векторлари жуфт – жуфти билан ортогонал векторлар бўлади, чунки бу векторлар ) , ( y x g бичизиқли формага нисбатан қўшма векторлардир. Бундай В базис ортонормал базис дейилади. Шундай қилиб В базис векторлари жуфти – жуфти билан қўшма бирлик ва мавхум бирлик векторларда ташкил топган. Айтайлик В – ортонормал базис бўлиб, x ва y векторлари (x i ) ва (y i ) координаталарга эга бўлсин. Бу ҳолда ii ii ey y ex x   , бўлиб, n n kn kn kn kn y x y x y x y x y x yx            ... ... 1 1 2 2 1 1 (2) скадяр кўпайтмага эга бўламиз. Қуйидаги теорема ўринлидир: Теорема. 1 индексли V n псевдоевклид вектор фазода ҳар қандай мавҳум узунликка эга бўлган иккита векторлари учун

2 2 2) ( y x yx тенгсизлиги ўринли бўлиб, тенглик белгиси фақат ва фақат каллинеар x ва y векторлари учун ўринли бўлади. Исбот. Айтайлик 0 2 2   r x бўлсин. ne e e B ... , ( 2 1  ) ортонормалланган базисни шундай тенглаймизки бунда r x en бўлсин, яъни ner x . Демак, В базисда x вектори ) ,...,0,0( r x координаталарга эга бўлади. В базисда y вектори (y 1 , y 2 , …, y n ) координаталарга эга бўлсин десак, у ҳолда (2) формулага кўра   2 2 2 ) ( , n n y r yx ry yx   . Иккинчи томондан 2 21 22 21 2 2 2 ) ( ) ( ... ) ( ) ( , n n y y y y y r x        . Шундай қилиб 2 2 21 2 22 2 21 2 2 ) ( ) ( ... ) ( ) ( ) ( n n y r y r y r y r y x        . 2 2 2 ) ( ) ( ny r y x   тенгликларни таққослаш кифоя. Агар x ва y векторлари коллиниар бўлсалар, у ҳолда y 1 =y 2 =…=y n-1 лардан камида биттаси нолдан фарқли бўлиб, 2 2 2, ) ( y x yx бўлади. Теорема исботланди. Натижа. 1 индекси псевдоевклид вектор фазода мавҳум узунликка эга бўлган ҳар қандай иккита x ва y векторлари учун 1 y x yx тенгсизлик ўринлидир. 3. Гиперболик фазо аксиомалари системаси. Юқоридагидек, V n – псевдоевклид вектор фазо бўлиб, бунда n=2,3 ва 1 индексга эга бўлсин ва унинг ўлчовини n+1 деб оламиз. ) , ( y x g - бичизиқли

форма бўлиб, унинг ёрдами билан V n фазода скаляр кўпайтма киритилган бўлсин. Биз келгусида V n фазонинг автоморфизмларини қараймиз, яъни векторларнинг скаляр кўпайтмасини ўзгартирмайдиган чизиқли алмаштиришларни қараймиз.  * орқали V n фазонинг мавҳум узунликка эга бўлган векторлари тўпламини белгилаймиз. Агар  - автоморфизм бўлса, у ҳолда  (  *)=  * бўлади. E  бўлган тўплам берилган бўлсин.  :  *  Е акслантириш берилган бўлиб, бу акслантириш қуйидаги аксиомаларни қаноатлантирса: 1)  - сперъектив; 2)) ( ) ( y x    тенглик фақат ва фақат x ва y векторлари коллинеар бўлгандагина ўринли; бундай ҳолда Е тўплам Лобачевскийнинг n-ўлчовли гиперболик фазоси дейилади ва Л n деб белгиланади (n=2,3) Лобачевский фазосининг 1-2 аксиомлари системасини келгусида  Л деб белгилаймиз. Е тўплам элементларини нуқталар деб атаймиз. Проектив фазо аксиомаларидаги сингари агар x=  ) (x бўлса, у ҳ олда х нуқта x вектор билан аниқланган дейилади. x ва y нуқталар орасидаги масофа қуйидагича аниқланади. Л n фазо учун r>0 сонини оламиз. Агар x ва y нуқталар * ,  y x векторлари билан аниқланган бўлса, у ҳолда бу нуқталар орасидаги масофа деб манфий бўлмаган  (x,y) сонига айтиладики, бу сон y x yx r y x ch  ) , ( (4)

тенгликни қаноатлантирсин. Бу ерда ) (2 1 t t e e cht    гиперболик косинус функцияси бўлиб, у t ҳақиқий ўзгарувчининг функцияси деб олинади. Маълумки, cht функцияси жуфт функция, -  <t<+  да аниқланган ва қийматлари тўплами [1,+  ) оралиқдан иборат. Шунинг учун (4) тенглик билан аниқланган масофа доимо мавжуд мусбат сон бўлади. r>0 сони Л n гиперболик фазонинг эгрилик радиуси дейилади. (4) тенгликнинг ўнг томонидан кўринадики,  (x,y) масофа X ва Y нуқталарни аниқловчи x ва y векторларнинг танланишига боғлиқ эмас. V n всевдоевклид фазода аниқланган ҳар қандай  автоморфизм Л n гиперболик фазода f алмаштиришни қуйидаги қоида бўйича аниқлайди: агар  ( x )= x `, у ҳолда f ( x )= x ` . (4) формуладан кўринадики, f алмаштириш Л n фазодаги ихтиёрий икки нуқта орасидаги масофани ўзгартирмайди. Шунинг учун f алмаштиришни Л n фазонинг ҳаракати дейилади. Л n фазонинг таърифидан кўринадики, Лобачевскийнинг бир хил ўлчамли Л n ва Л n ` гиперболик фазолари изоморфмдир. Демак,  Л аксиомалари системаси тўлиқ система бўлиб,  Л Г назария бир қийматли ва уни ихтиёрий интерпретацияда (моделда) ўрганиш мумкин. 4. Гиперболик текислик аксиомалари системасининг зидсизлиги. Маълумки, ҳар қандай аксиомалар системасининг зидсизлигини исботлаш учун бу системанинг қандайдир интерпретациясини (моделини қуриш) кифоя. Агар ҳақиқий сонлар арифметикаси зидсиз бўлса, у ҳолда  Л аксиомалари системасининг зидсиз эканлигини исботлаймиз. Бунинг учун R ҳақиқий сонлар тўпламидан фойдаланиб,  Л системанинг интерпретациясини қурамиз. Соддалик учун n=2 ўлчовли Л 2 фазо билан

чекланамиз, яъни Е тўплам Лобачевский текислиги бўлган ҳолни кўриб чиқамиз. 1 индексли V 3 псевдоевклид фазосининг вектори деб a 1 , a 2 , a 3 ихтиёрий ҳақифий сонлардан тузилган           3 2 1 a a a сонлар устунини қабул қиламиз. Векторларни қўшиш ва сонга кўпайтириш амалларини қуйидагича аниқлаймиз:                                                            3 2 1 3 2 1 3 2 1 3 2 1 3 2 1 3 2 1 ,      a a a a b b b a a a b b b a a a b a            3 2 1 a a a a ва            3 2 1 b b b b векторларнинг скаляр кўпайтмасини a 1 b 1 +a 2 b 2 -a 3 b 3 сонга тенг деб оламиз. Натижада 1 индексли n=3 ўлчовли V 3 псевдоевклид фазо моделини ҳосил қилдик.  * мавҳум узунлика эга бўлган векторлар фақат ва фақат 0 23 22 21    a a a шартни қаноатлантирувчи           3 2 1 a a a векторлардан иборат. Энди k  0 ихтиёрий ҳақиқий сони учун km 1 , km 2 , km 3 сонлар учлигини (бунда m 1 , m 2 , m 3 сонлари тайинланган ва бир вақтда нол бўлмаган ҳақиқий сонлар) <m 1 , m 2 , m 3 > кўринишда белгилаймиз. Е тўпламнинг нуқтаси деб 0 23 22 21    m m m шартни қаноатлантирувчи ихтиёрий <m 1 , m 2 , m 3 > тўпламни оламиз.  :  *  Е акслантиришни қуйидагича киритамиз:

$          3 2 1 a a a векторга ( a 1 , a 2 , a 3 )  <m 1 , m 2 , m 3 > шартни қаноатлантирувчи <m 1 , m 2 , m 3 > нуқтани мос қўямиз. Қурилган бу интерпретацияда  Л системанинг 1-2 аксиомаларининг бажарилишини текшириш қийин эмас (Уйга вазифа). Юқорида қурилган интерпретация ёрдамида Эвклид геометриясининг параллелик аксиомаси қолган аксиомаларга боғлиқ эмаслигини яна бир исботини келтириш мумкин. Маълумки евклид геометриясининг гильберт аксиомалари системаси I, II, III, IV ва V гуруҳ аксиомаларидан (20 та аксиома) иборат бўлиб, бунда V – паралеллик аксиомаси Эвклиднинг V постелатига тенг кучлидир. Биз юқорида, агар ҳақиқий сонлар арифметикаси зидсиз бўлса, у ҳолда  H аксиомалари системаси ҳам зидсиздир. Соддалик учун барча аксиомаларни текисликда қараб чиқамиз.   * \ * V V H     аксиомалари системасини тузайлик, бунда V * - Лобачевский аксиомасидир. Одатдагидек  Л орқали Л 2 – Лобачевский текислигининг юқорида киритилган 1-2 аксиомаси системасини белгилаймиз.  Л аксиомалари системаси зидсиз система эканлиги юқорида исботладик, шу билан бирга  Л системанинг барча интерпретациялари изоморфдир. Исботлаш мумкинки (етарли даражадаги узоқроқ мулоҳазалар ёрдамида)  * ва  Л аксиомалар системалари эквивалент (тенг кучлидир) дир. Демак,  * система учун, қурилган  Л нинг интерпретацияси ҳам яна бир интерпретация бўлади. Шунинг учун  * аксиомалари системаси зидсиз системадир. бу системанинг тузилишидан эса ўз навбатида V паралеллик аксиомаси евклид$ $геометриясининг қолган ( H \V) аксиомалари системасига боғлиқ эмас. Евклиднинг V постулати V паралеллик аксиомасига тенг кучли эканлигидан, V постулат  H аксиомалари системасига боғлиқ эмас, деган хулосага келамиз.$

O'xshashlar

Гиперболик текисликнеинг кэли-клейн модели. Лобачевский аксиомалари системасининг зидсизлиги

Гиперболик типдаги дифференциал тенглаламалар хакида

Тўғри чизиқ ва текисликлар. Параллел тўғри чизиқлар

Гиперболик типдаги бузиладиган биринчи тур тенглама учун коши масаласи

Икки тугри чизик орасидаги бурчак