logo
  1. Bosh sahifa
  2. Referatlar
  3. Algebra
  4. Гиперболик текисликнеинг кэли-клейн модели. Лобачевский аксиомалари системасининг зидсизлиги

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

Yuklangan vaqt:

12.09.2022

Ko'chirishlar soni:

0

Hajmi:

175.5 KB
Ko'chirib olish
Гиперболик текисликнеинг кэли-клейн модели. Лобачевский аксиомалари системасининг зидсизлиги Режа: 1. Гиперболик текисликнинг Кэли-Клейн модели. 2. Кэли-Клейн моделида тўғри чизиқ, нур, кесма, яримтекислик ва бурчаклар, кесма узунлиги. 3. Автополяр учучлик. 4. Лобачевский текислигида параллел ва узоқлашувчи тўғри чизиқларнинг баъзи хоссалари. 5. Текшириш учун савол ва топшириқлар. 6. Уйга вазифа. 1. Гиперболик текисликнинг Кэли-Клейн модели. Л 2 Лобачевский текислиги  * - мавҳум узунликка эга бўлган V 3 псевдоевклид вектор фазо (1 индексли) билан аниқланашини юқорида кўриб ўтдик. V 3 фазода векторларнинг скаляр кўпайтмаси) , ( x x g – 1 индексли айнимаган квадратик форма учун мос келадиган ) , ( x x g бичизиқли форма асосида аниқланади. Л 2 текисликнинг проектив моделини кўрамиз. V 3 вектор фазо билан аниқланадиган P 2 проектив текисликда ) , ( x x g квадратик форма Q:Ф(х)=0, х= ) , ( x x g , иккинчи тартибли чизиқни аниқлайди, бунда х нуқта x вектор билан аниқланган. Р 2 проктив текисликда ихтиёрий проектив алмаштиришлар эмас, балки V 3 псевдоевклид вектор фазонинг автоморфизмлари билан аниқланадиган алмаштиришларнигина қараймиз. Бундай проектив алмаштиришлар Q квадрикани ўзини – ўзига ўтказадиган H Q алмаштиришлар қисмгруппани ташкил қилади. Айтайлик ) , , ( 3 2 1 a a a B  - V 3 нинг ортонормал базиси бўлиб, бунда 3a - мавхум бирлик вектор бўлсин. Агар x вектор бу базисда ( x 1 , x 2 , x 3 ) координаталарга эга бўлса, у ҳолда 23 22 21 ) , ( x x x x x g    бўлади. В базис R =( A 1 , A 2 , A 3 , E ) проектив реперни аниқлайдики. Бу реперда Q иккинчи тартибли чизиқ 0 23 22 21    x x x тенглама билан аниқланади. Демак, Q – иккинчим тартибли оваль чизиғидир. Маълумки, М(m 1 ,m 2 ,m 3 ) нуқта Q овал чизиқнинг ички нуқтаси бўлиши учун 0 23 22 21    m m m бўлиши зарур ва етарлидир. Бу деган сўз М нуқта m мавҳум узунликка эга бўлган вектор билан аниқланади, яъни *   m дир. Шундай қилиб, 2 }0{\ (: P V   акслантиришда *) (  тўплам Q овал чизиқнинг ички нуқталари тўпламидан иборат бўлади.  акслантиришда  Л системанинг аксиомалари бажарилади, демак *) (  =Л 2 тўплам Q овал чизиқнинг ички нуқталари тўпламидан иборат бўлиб, бу тўплам Лобачевский текислигининг моделидан (Кэли-Клейн) иборат бўлади. Q иккинчи тартибли овал чизиқ Л 2 гиперболик текисликнинг абсолюти дейилади. Қурилган Q a Л C b Л d b a бу модель Л 2 гиперболик текисликнинг Кэли-Клейн модели дейилади. шунга ўхшаш Л 3 Лобачевский фазосининг проектив моделини қуриш мумкин. 2. Кэли – Клейн моделида тўғри чизиқ, кесма, нур, яримтекислик ва бурчаклар, кесма узунлиги. Айтайлик W – V 3 повдоевклид вектор фазонинг 2-ўлчовли қисм фазоси бўлсин ва  `=W  бўлсин. Бу ҳолда `) (  фигура Лобачевский текислигининг тўғри чизиғи дейилади. a W }0{\ (:  - проектив текислик Р 2 нинг тўғри чизиғидир. Демак, `) (  тўғри чизиқ Лобачевский тўғри чизиғи бўлиб, у Q овал чизиқ билан а тўғри чизиқнинг кесишувидан ҳосил бўлади. (1-чизма). 1-чизма а ва b проектив тўғри чизиқлари а Л ва b A Лобачевский тўғри чизиқларини аниқлайди. а Л ва b Л лар Q нинг ватарлари бўлиб, ватарларнинг учлари чиқариб ташланади. c ва d тўғри чизиқлари Л 2 нинг тўғри чизиқларини аниқлайди. Шундай қилиб, U проектив тўғри чизиқ Л 2 нинг U Л тўғри чизиғини аниқлаш учун U тўғри чизиғи Q абсолютни иккита U ва V ҳақиқий нуқталарда кесиб ўтиш U A  B  Vзарур ва етарли. Шуларни ҳисобга олиб, U Л тўғри чизиқни  V деб белгилаймиз. Л 2 текисликнинг ҳар қандай иккита А ва В нуқталари UV тўғри чизиқда ётса, у ҳолда А ва В нуқталар U,V нуқталар жуфтлигини гармоник ажратмайди, яъни (UV,AB)>0 (2-чизма). 2-чизма Энди Кэли-Клейн моделида тўғри чизиқнинг учта нуқталари учун “Орасида ётади” муносабатини киритамиз. Бунинг учун аввало қуйидаги теоремани исботлаймиз. 1-теорема. Айтайлик, А,В ва N – Л 2 текисликнинг UV тўғри чизиғида ётувчи учта нуқталари бўлсин. Агар (АВ, N U ) <0 бўлса, у ҳолда (АВ, N V ) <0 бўлади. Исбот. Теоремани исботлаш учун (AB, UV)  (AB, VN)  (AB, NU) =1 (2) тенгликдан фойдаланамиз. Бу тенглик ўринли эканлигини тушуниш учун UV тўғри чизиқда R 0 =(A,B,N) проектив репер олиб, унда U (U 1 :U 2 ) ва V(2 1:  ) бўлсин деб олайлик. А(1:0), В(0:1), N(1:1) эканлигидан тўрт нуқтанинг мураккаб мусбатини ҳисоблаш формуласидан фойдаланиб 2 1 1 2 1 2 1 2 ) , ( , ) , ( , ) , ( U U NU AB VN AB U U UV AB        тенгликларни оламиз. Бу тенгликлардан (2) тенглик келиб чиқади. Энди, теорема шартига кўра, (AB, NU)<0. Лекин, (AB, UV)>0 эканлигидан (2) тенгликка кўра (AB, NV)<0 бўлади. Теорема исботланди. Энди Л 2 текисликда UV тўғри чизиқнинг иккита А ва В нуқталарини олайлик. UV тўғри чизиқнинг N нуқтаси А ва В нуқталар орасида ётади дейилади, агар А, В жуфтли N,U (ёки N,V) нуқталар жуфтлигини гармоник ажратса яъни (АВ, NU)<0 (ёки (АВ, NV)<0) бўлса: A – N – В деб белгилаймиз. Бу таъриф А ва В нуқталарнинг танланишига боғлиқ эмас, чунки (АВ, WU)=(АВ, NU) -1 бўлиб, A – N – B бўлса, у ҳолда B – N – A бўлади. Одатдагидек, кесма, кўпбурчак, нур, бурчак ва ярим текислик тушунчалари киритилиши қийин эмас. Масалан, 3-чизмада АВ кесма, 0 бурчак,  V чегарали ярим текисликлардан бири бўяб кўрсатилган. 3-чизма Энди Кэли – Клейн моделида икки нуқта орасидаги масофа қандай аниқланишини кўриб ўтамиз. Бунинг учун  (x,y) масофани аниқлаш учун U A B 0 V y x yx r y x ch  ) , ((3) умумий формуладан фойдаланамиз. Айтайлик, х ва у лар Л 2 нинг иккита нуқталари бўлсин. ху тўғри чизиқнинг Q абсолют билан кесишув нуқталарини аниқловчи векторларни топамиз. Бунинг учун ху тўғри чизиқнинг параметрик тенгламаларини x(p 1 :p 2 ;p 3 ), у(q 1 :q 2 ;q 3 ) деб олиб х 1 =  p 1 +  q 1 , x 2 =  p 2 +  q 2 , x 3 =  p 3 +  q 3 кўринишда ёзамиз ва   (ёки   ) нисбатни A 11  2 +2A 12  +A 22  2 =0 тенгламадан топамиз. Бу тенгламанинг кўриниши қуйидагича бўлади: 0 2 2 2 2 2       y yx x (4) Бу (3) тенгликда x ва y векторлари х ва у нуқталарни аниқловчи векторлардир. x ва y векторлари мавҳум узунликка эга эканлигини ҳисобга олиб, 0 ,2 2 2    r r y x деб олишимиз мумкин. Бу ерда r-Л 2 текисликнинг эгрилик радиусидир. Охирги тенгликлардан ва (3) дан cht r yx 2  , ) , ( 1 y x r t   тенгликни ёзишимиз мумкин. (4) тенглама  2  2  cht+  2 =0 (5) кўринишга эга бўлади. Бунда 0yx бўлганда “+” ишора, 0 y x бўлганда “-” ишра олинади. Айтайлик 0 y x бўлсин. ) (2 1 t t e e cht    эканлигидан (5) тенгламадан te     1   ва te      2   қийматларни оламиз. Шундай қилиб, агар  ва V лар ху тўғри чизиқнинг Q абсолют билан кесишув нуқталари бўлса, бу нуқталарни аниқловчи U ва  векторлари y e x y e x U t t       , кўринишдаги векторлар бўлишини кўрамиз. Демак, (xy, UV)=e 2t бўлиб, ) , ln(2 1 V xy t   бўлади. t>0 эканлигидан, ) , ln( 2 1 V xy t   деб олинади. Шундай қилиб, х ва у нуқталар орасидаги масофа ) , , ln( 2 ) , ln( 2 ) , ( VUy x r UV xy r y x    (6) тенглик ёрдамида аниқланади. 0 y x бўлган ҳолда ҳам (6) формулаларни ҳосил қиламиз. 3. Автополяр учучлик. А 1 ва А 2 нуқталар Q овал чизиқда ётиб, А 1 А 2 ва А 2 А 3 тўғри чизиқлари Q чизиққа А 1 ва А 2 нуқталарда уринувчи тўғри чизиқлар бўлса, бу ҳолда А 1 А 2 А 3 учучлик иккинчи жинсли автополяр учучлик дейилади. Демак, А 1 А 3 – А 1 нинг поляраси, А 2 А 3 – А 2 нинг поляраси, А 1 А 2 эса А 3 нинг поляраси бўлади. Айтайлик А 1 А 2 А 3 учучлик Q овал чизиғи учун иккинчи жинсли автополяр учучлик бўлсин. Е  Q нуқтани олиб R =( A 1 , A 2 , A 3 , E ) проектив реперни қараймиз. Маълумки, бундай реперда Q овал чизиғи x 1 x 2 -( x 3 ) 2 =0 тенглама билан аниқланади. Р 2 проектив текисликдаги алмаштиришлар группасининг Н Q қисм группасини ажратиб оламизки, бу қисм группага тегишли f алмаштириш Q ни ўзгартирмайди ва унинг ички нуқталарини яна ички нуқталарга ўтади. Агар f  H Q бўлса, f алмаштириш Л 2 текисликда шундай f Л алмаштиришни ҳосил қилади. (6) формуладан кўринадики бундай f Л алмаштириш ихтиёрий икки нуқта орасидаги масофани ўзгартирмайди. Шунинг учун f Л алмаштириш Л 2 текисликнинг харакати дейилади. Л 2 текисликнинг барча ҳаракатлари тўплами группа ташкил қилади ва бу группа Н Q группадан индукцияланади. F ва F` фигуралар Л 2 га тегишли фигуралар бўлиб, улар H Q – эквивалент бўлсаар, бу ҳолда F ва F` фигуралар тенг (конгруэнт) дейилади. Ҳар қандай f  H Q алмаштириш Q абсолютга нисбатан ҳар қандай автополяр учучликни яна QW га нисбатан автополяр учучликка ўтказади. Шунинг учун f алмаштириш ёрдамида индукцияланадиган f Л ҳаракат R=(A 1 ,A 2 ,A 3 ,E) ва R`=(A 1 `,A 2 `,A 3 `,E`) проектив реперларнинг берилиши билан бир қийматли аниқланадики, бунда А 1 А 2 А 3 ва А 1 `А 2 `А 3 ` лар Q абсолют учун автополяр учучликлар бўлиб Е ва E`  Q дир. Аксинча R ва R` реперлар юқоридаги шартларни қаноатлантирувчи проектив репер бўлсин. Бу ҳолда R ни R` га ўтказадиган f проектив алмаштириш Н Q қисм группага тегишли бўлади ва шунинг учун қандайдик f Л ҳаракатни аниқлайди. Шундай қилиб, Q абсолют учун автополяр А 1 А 2 А 3 ва А 1 `А 2 `А 3 ` учучликлар бўлса, Е, Е`  Q бўлса, R=(А 1 ,А 2 ,А 3 ,Е) ва R`=(А 1 `,А 2 `,А 3 `,Е`) проектив реперлар қандай бўлганда ҳам f  H Q проектив алмаштириш билан индукцияланган ягона f Л ҳаракат мавжуд бўладики, бу ҳаракат R ва R` га алмаштиради. 4. Лобачевский текислигида параллел ва узоқлашувчи тўғри чизиқларнинг баъзи хоссалари. Л 2 гиперболик (Лобачевский) текислигининг  2Л аксиомалари системасининг барча интерпретациялари (моделлари) изоморфдир. Шунинг учун ) ( 2  Л Г геометрияни унинг ихтиёрий интерпретацияларидан бирида, масалан, Кэли-Клейн моделида ўрганиш мумкин. Л 2 текисликда UV тўғри чизиқ ва унда ётмайдиган А нуқта оламиз. (4-чизма). N U 1 M V` A Q U C D V 4-чизма А нуқта орқали U`V ва UV` тўғри чизиқларини ўтказамиз. UV` ва U`V тўғри чизиқларини қараймиз. Бу тўғри чизиқлари Л 2 Лобачевский текислигида кесишмайди. Лекин ихтиёрий C  UV нуқта учун САV бурчакнинг ички АD нур CV нурни кесиб ўтади. Демак, Л 2 текисликда параллел тўғри чизиқларнинг таърифига кўра U`V тўғри чизиқ UV тўғри чизиққ паралеллдир. Маълумки Л 2 текисликда ики тўғри чизиқнинг параллелик муносабати симметрикдир. Демак, UV тўғри чизиғи U`V тўғри чизиқлари V йўналишда, UV ва V`U тўғри чизиқлари эса U йўналишда параллел тўғри чизиқлар деб атаймиз. Шундай қилиб, Кэли-Клейн моделида умумий учга эга бўлган Q нинг ватарлари кўринишида тасвирланади. 4-чизмадаги UV ва MN тўғри чизиқлари узоқлашувчи тўғри чизиқлардир. Бундай тўғри чизиқлар Q абсолютга нисбатан ташқарида кесишувчи проектив тўғри чизиқларга тегишли ватарлар кўринишида тасвирланади. Параллел тўғри чизиқларнинг иккита хоссаларини Кэли- Клейн моделида кўриб ўтамиз. 2-теорема. Лобачевский текислигида бир хил йўналишда тўғри чизиқларнинг параллеллик муносабати транзитивдир. Исбот. Айтайлик Лобачевский текислигида UV ва U 1 V тўғри чизиқлари V йўналишда параллел бўлсин, U 1 V ва U 2 V тўғри чизиқлари устма – уст тушмасдан V йўналишда параллел бўлсин. UV  U 1 V бўлиб, улар умумий учга эга бўлган ватарлар шаклида тасвирланади. Шунингдек, U 1 V ва U 2 V тўғри чизиқлари ҳам, V учга эга бўлган ватарлардир. Демак, UV ва U 2 V ватарлар ҳам V умумий учга эга бўлган ватарлар бўлади ва Л 2 да бу тўғри чизиқлар ҳам V йўналишда параллелдир. Теорема исботланди. 3-теорема. Айтайлик Лобачевский текислигида икки жуфт параллел тўғри чизиқлар берилган бўлсин: UV, U 1 V лар V йўналишда параллел, U`V` ва U 1 `V` тўғри чизиқлари V` йўналишда параллел. Бу ҳолда биринчи паралле жуфтликни иккинчи параллел жуфтликка ўтказувчи ҳаракат мавжуд бўлади. Исбот. R=(U,V,A 3 ,V 1 ) ва R`=(U`,V`,A 3 `,V 1 `) проектив реперларни қараймиз, бунда UVA 3 , U`V`A 3 ` лар Q абсолют учун автополяр учучликлардир (6-чизма). Юқорида айтилганидек, R реперни R` реперга ўтказадиган ягона f Л ҳаракат мавжуд. бу ҳаракат UV, U 1 V тўғри чизиқлар жуфтлигини U`V`, U 1 `V` тўғри чизиқлар жуфтлигига ўтказади. Теорема исботланди. 6-чизма 4-теорема. Л 2 текисликда АВ ва CD тўғри чизиқлари перпендикуляр бўлишлари учун бу тўғри чизиқлар Q абсолютга нисбатан ҳар бир иккинчисининг қутбидан ўтадиган проектив тўғри чизиқларга тегишли ватарлар бўлиши зарур ва етарлидир. Исбот. Айтайлик АВ ва CD лар Л 2 нинг перпендикуляр тўғри чизиқлари бўлсин. 0 – уларнинг кесишув нуқтаси бўлсин. АВ проектив тўғри чизиқнинг қутби Е A 3 U U` V V` A 3 ` бўлса бу Е нуқта CD тўғри чизиқда (проектив) ёпишини исботлаймиз (7-чизма). 7-чизма  AOC=  AOD бўлиб, Л 2 текисликда f Л ҳаракат мавжудки, АО нур ўзи – ўзига ўтади, ОС нур эса OD нурга ўтади. Айтайлик f  Н Q бўлиб, у f Л ҳаракатни аниқласин. У ҳолда 0=f(0), A=f(A), D=f(c). Бундан B=f(B) бўлади, чунки АЕ=f(AE) ва BE=f(BE) бўлиб, бундан E=f(E). Демак f проектив алмаштириш Е марказли АВ ўқли гомологиядир. Шунинг учун Е нуқта DC тўғри чизиқ (проектив) да ётади. Аксинча, айтайлик АВ ва CD лар Q абсолютнинг ватарлари бўлиб, улар 0 нуқтада кесишсин ва CD проектив тўғри чизиқ, Е нуқтадан ўтсин ва E – AB проектив тўғри чизиқнинг қутби бўлсин. Кэли – Клейн моделида АВ ва CD перпендикуляр ватарлар шаклида тасвинланишини исботлаймиз. Е марказли АВ ўқли f гомологияни қараймизки, бунда С нуқта D нуқтага ўтсин. A=f(A), 0=f(0), B=f(B), D=f(C) эканлигидан f  H Q бўлади. Л 2 текисликда f гомология билан индукцияланган (аниқланган) f Л ҳаракат АОС бурчакни АОD бурчакка ўтказади.  АОС=  AOD эканлигидан АВ  CD. Теорема исботланди. Исботланган бу теоремадан фойдаланиб Л 2 текисликда UV тўғри чизиқ ва А нуқта берилса, А нуқтадан ўтиб АВ га перпендикуляр тўғри чизиқни ячаш учун Р 2 текисликда UV тўғри чизиқнинг Р қутби ясалади. Сўнгра АР проектив тўғри чизиқ E A C 0 Q B D ўтказамиз. Бу тўғри чизиқ Q абсолютни U 1 ва V 1 нуқталарда кесиб ўтади. 4-теоермага кўра U 1 V 1  V 1 бўлади Л 2 текисликда. (8-чизма). 8-чизма Юқорида айтилганидек, Кэли-Клейн моделида узоқлашувчи тўғри чизиқлар Q абсолютнинг шундай ватарларики, бу ватарлар Q абсолютнинг ташварисида кесишувчи проектив тўғри чизиқларда ётадилар. Юқорида исботландики, агар иккита тўғри чизиқ умумий перпендикулярга эга бўлса, улар узоқлашувчи тўғри чизиқлар бўлади. Энди тескари теоремани келтирамиз. 5-теоерма. Иккинчи UV ва U`V` узоқлашувчи тўғри чизиқлар ягона. Исбот. Айтайлик P ва P` лар UV ва U`V` проектив тўғри кесишув нуқтаси бўлсин. (9-чизма). C P V 1 A U 1 V U` V V 0 U 0 P P` V` U S 9-чизма PP` тўғри чизиғи UV ва U`V` тўғри чизиқларнинг қутблари орқали ўтади, шунинг учун UV ва U`V` тўғри чизиқлари ҳам PP` тўғри чизиқнинг қутбидан ўтади. Лекин UV  U`V`=S дир, демак S – нуқта PP` нинг қутби бўлади. Шартга кўра S нуқта Q абсолютнинг ташқи нуқтасидир, демак бу S нуқтанинг поляраси PP` тўғри чизиғи бўлиб, у Q абсолютни иккита U 0 ва V 0 нуқталарда кесиб ўтади. U 0 V 0 проектив тўғри чизиғи Р ва Р` қутблар орқали ўтади, шунинг учун 4-теоремага асосан U 0 V 0  UV ва U 0 V 0  U`V`, яъни U 0 V 0 Л 2 текисликда иккита UV ва U`V` узоқлашувчи тўғри чизиқларнинг умумий перпендикуляри бўлади. Бундай умумий перпендикуляр ягонадир, чунки Р ва Р` нуқталардан ягона проектив тўғри чизиқ ўтади. Теорема исботланди.

O'xshashlar

Гиперболик фазо ҳақида тушунча, гиперболик текислик аксиомалари системасининг зидсизлиги
Тўғри чизиқ ва текисликлар. Параллел тўғри чизиқлар
Гиперболик типдаги дифференциал тенглаламалар хакида
Бозор модели
Топология базаси. Ажралувчанлик аксиомалари