Изометрик акслантиришлар - Геометрия - Рефераты

Изометрик акслантиришлар

Загружено в:

20.09.2019

Скачано:

0

Размер:

319.5 KB

Изометрик акслантиришлар Таъриф-1 . Регуляр Ф 1 ва Ф 2 сиртлар учун g:  1 2  силлиқ акслантириш берилган бўлиб, ҳар қандай 1 p нуқта учун dg p T T p gp ( ): ()   1 2  акслантириш скаляр кўпайтмани сақласа (яъни чизиқли изометрик акслантириш бўлса), g изометрик акслантириш дейилади. Демак, g изометрик акслантириш бўлса, ихтиёрий 1 p нуқта ва ихтиёрий a b Tp ,  1 векторлар учун I a b I dg p a dg p b 1 2 ( , ) ( ( )( ), ( )( ))  тенглик ўринли бўлади. бу ерда I 1 ва I 2 мос равишда Ф 1 ва Ф 2 сиртларнинг 1- квадратик формаларидир. Изометрик акслантиришлар ҳақида қуйидаги теоремаларни исботлаймиз. Теорема-7. Изометрик акслантириш диффеоморфизмдир. Исбот. Силлиқ g:  1 2  акслантириш учун тескари акслантириш g  1 2 1 :  мавжуд ва дифференциалланувчи бўлса, g диффеоморфизм дейилади. Демак изометрик g:  1 2  акслантиришнинг диффеомор физм эканлигини кўрсатиш учун g -1 нинг мавжуд ва дифференциалла нувчи эканлигини кўрсатиш керак. Фараз қилайлик, Ф 1 сирт ) , ( 1 1G f параметрлаш усули билан, Ф 2 сирт ) , ( 2 2G f параметрлаш усули билан берилган бўлсин. gФ Ф : 1 2  дифференциалланувчи акслантириш бўлганлиги учун, таърифга кўра 3 1 1: R G f g   дифференциалланувчидир. Биз 3 2 2 1 : R G f g   акслантириш нинг дифференциалланувчи эканлигини кўрсатишимиз керак. Акслан тириш g изометрик бўлганлиги учун унинг дифференциали dg чизиқли эркли векторларни чизиқли эркли векторларга ўтказади. Ҳақиқатан ҳам, Ф 1

сиртнинг р нуқтасидаги p ва q уринма векторлари чизиқли эркли бўлса, 1 |||| |),(|1  qp qp I   бўлади. Лекин I dg p dg q I p q 2 1 ( ( ), ( )) ( , ),      | | | ( )|,   p dg p  | | | ( )|   q dg q  бўлганлиги учун | ( ( ), ( ))| | ( )|| ( )| I dg p dg q dg p dg q 2 1      келиб чиқади. Бу эса dg p dg q ( ), ( )   векторларнинг чизиқли эркли эканлигига тенг кучлидир. Агар     p df a q df b   1 1 ( ), ( ) бўлса, dg p d g f a ( ) ( )( )     1 , dg q d g f b ( ) ( )( )     1 бўлади. Шунинг учун g f 1 акслантиришнинг ранги иккига тенгдир. ×унки g f 1 акслантиришнинг ранги иккидан кичик бўлса, d g f a d g f b ( )( ), ( )( )   1 1   векторлар чизиқли боғланишли бўлади. Шундай қилиб, G 1 соҳанинг ихтиёрий нуқтасида g f 1 акслан тириш ранги иккига тенг бўлади. Агар f g f  1 акслантириш x g u v y g u v z g u v   123( , ) ( , ) ( , ) (1) функциялар ёрдамида берилган бўлса, G 1 нинг ҳар бир нуқтасида rang g g g g g g u u u v v v 1 2 3 1 2 3 2     тенглик ўринли бўлади. Демак, (1) тенгламалар Ф 2 сиртнинг регуляр (f, 1 G ) параметрлаш усулини аниқлайди. Тескари функция ҳақидаги теоремага асосан ([2]га қаранг) 1 1) (  gf мавжуд. Демак, g f gf     1 1 1 1 ( ) ҳам мавжуд ва g1 нинг дифференциал - ланувчи эканлиги g f u v f u v   1 1 ( , ) ( , ) тенгликдан келиб чиқади. 

Берилган силлиқ gФ Ф : 1 2  акслантириш изометрия бўлишини текшириш учун қуйидаги теоремалардан фойдаланилади. Теорема-8. Силлиқ gФ Ф : 1 2  акслантириш изометрия бўлиши учун бу акслантиришда ихтиёрий чизиқлар ёйи узунлиги сақланиши зарур ва етарлидир. Исбот. Изометрик акслантириш 2 1 : Ф Ф g  ва 1 Ф да ётувчи  эгри чизиқ      ()t тенглама ёрдамида берилган бўлсин. Шунда бу чизиқ ёйи узунлиги   2 1 |)( | t t dt t  формула билан ҳисобланади. Агар g( ) чизиқнинг уринма вектори 1( )t бўлса, g изометрик бўлганлиги учун |)( ||)( | t t        тенглик ўринли. Демак,     2 1 2 1 |)( | |)( | 1 t t t t dt t dt t     . Аксинча, силлиқ gФ Ф : 1 2  акслантириш берилган бўлиб, у ихтиёрий чизиқ ёйи узунлигини сақласин. Ихтиёрий  p нуқта ва 1Ф T a p  векторни қарайлик. Ихтиёрий уринма вектор бирорта эгри чизиқнинг р нуқтасидаги уринма вектори бўлганлиги учун, шундай силлиқ  эгри чизиқ мавжудки, унинг р нуқтадаги уринма вектори a га тенг. Фараз қилайлик,  чизиқ      ()t тенглама билан берилган ва      ( )t a 0 бўлсин. Теорема шартига кўра      t t t t dt t ds s 0 0 , |)( | |)( |     (2) бу ерда ) ( ) (   g t   эгри чизиқнинг уринма вектори. Биз ( 2 ) тенгликнинг иккала томони t бўйича дифференциаллаймиз ва | ( )| | ( )|        t t 0 0 тенгликни ҳосил қиламиз. Демак дифференциал dg p( ) ихтиёрий a векторнинг узунлигини сақлайди, яъни | | | ( )( )|   a dg p a  . Энди ихтиёрий   a b, векторлар учун

)) )( ( ), )( ( ( )) ) ( ), )( ( ( )) )( ( ), )( ( ( )) )( ( ), )( ( ( ) , ( ) , ( ) , ( ) , ( 2 2 21 2 21 2 21 1 21 1 21 1 21 1 b p dg a p dg I b p dg b p dg I a p dg a p dg I b a p dg b a p dg I b a I a a I b a b a I b a I                   �              ни ҳосил қиламиз. Демак, dg p( ) скаляр кўпайтмани сақлайди.  Теорeма-9. Силлиқ gФ Ф : 1 2  акслантириш изометрия бўлиши учун Ф 1 га тегишли ихтиёрий р нуқтанинг атрофи учун Ф 1 нинг шундай (f,G) параметрлаш усули мавжуд бўлиб, Ф 1 ва Ф 2 сиртларнинг (f,G) ва   Gf g ,  параметрлаш усуллари учун ҳисобланган 1-квадрат формалари коэффициентларининг мос равишда тенг бўлиши зарур ва етарлидир. Исбот. Акслантириш gФ Ф : 1 2  -изометрия, 1 p ва р нинг атрофида Ф 1 сиртнинг (f,G) параметрлаш усули ) , ( v u r r  � тенглама ёрдамида берилган бўлсин. Биринчи теоремага кўра g- диффеоморфизм, ва   Gf g ,  - Ф 2 сиртнинг параметрлаш усули бўлади. Фараз қилайлик, Ф 2 нинг бу параметрлаш усули      ( , ) u v тенглама билан берилсин. Шунда ) )( ( ), )( ( v v u u r p dg r p dg         тенгликлардан g изометрия бўлганлиги учун 2 2 1 1 ) , ( ) , ( E I r r I E u u u u          2 2 1 1 ) , ( ) , ( F I r r I F v u v u          2 2 1 1 ) , ( ) , ( G I r r I G v v v v          тенгликлар келиб чиқади.

Энди, аксинча р нуқта атрофидан Ф 1 сиртнинг (f,G) параметрлаш усули ва Ф 2 сиртнинг g P( ) нуқта атрофидаги   Gf g ,  параметрлаш усуллари учун E u v E u v F u v F u v G u v G u v 1 2 1 2 1 2 ( , ) ( , ), ( , ) ( , ), ( , ) ( , )    тенгликлар ўринли бўлсин. Шунда, v v u u r p dg r p dg         ) )( ( , ) )( ( тенгликларни ҳисобга олиб, ) , ( ) , ( ) , ( ) , ( ), , ( ) , ( ) , ( ) , ( ), , ( ) , ( ) , ( ) , ( 2 2 1 1 2 2 1 1 2 2 1 1 v v v v v u v u u u u u I v u G v u G r r I I v u F v u F r r I I v u E v u E r r I                            тенгликларни ҳосил қиламиз. Демак, ) (p dg акслантириш v u r r   , векторларнинг скаляр кўпайтма ларини сақлайди. Дифференциал dg p( ) чизиқли акслантириш эканлигидан ва скаляр кўпайтманинг бичизиқлилигидан dg p( ) нинг скаляр кўпайтмани сақлаши келиб чиқади.

Похожие

Бонне теоремаси

Деривацион формулалар

Педагогик технология асосида дарс ўтиш методидан намуналар

Uch o’lchamli geometrik shakllardan tushgan soyalar

Sonlar bilan belgilangan proyeksiyalar