Уч ўлчовли евклид фазосининг вейль аксиомалари системаси - Algebra - Referatlar

Уч ўлчовли евклид фазосининг вейль аксиомалари системаси

Yuklangan vaqt:

11.09.2022

Ko'chirishlar soni:

0

Hajmi:

155 KB

Ko'chirib olish

Уч ўлчовли евклид фазосининг вейль аксиомалари системаси Режа: 1. Е 3 фазонинг Вейль аксиомалари. 2. Вейль аксиомалари системасининг зиддиятсизлиги. 3. Вейль аксиомалари системасининг Гильберт аксиомалари системасига тенг қучлилиги ҳакида. 4. Уйга вазифа.

1 . Илгаригидек, V 3 оркали R ҳакикий сонлар майдонидаги уч ўлчовли вектор фазони белгилаймиз. Е эса бўш бўлмаган тўплам бўлиб, унинг элементларини нуқталар деб атаймиз. Фараз қиламиз, бизга  :ЕХЕ  V 3 акслантириш берилган бўлиб,  (А, В) векторни AB деб белгилаймиз. Бўлардан ташкари g акслантиришлар тўплами берилган бўлиб, бу тўпламга тегишли ҳар бир акслантириш V 3 Х V 3  R кўринишга эга бўлсин. Агар қуйидаги аксиомалар ўринли бўлса: 1) Ҳар бир А  Е нуқта ва иҳтиёрий 3V p вектор учун p AX  шартни қаноатлантирувчи ягона Х нуқта мавжуд, 2) Ҳар кандай А, В ва С нуқталар учун AC BC AB   тенглик бажарилади, 3) g акслантиришлар тўплами мусбат аниқланган бу чизиқли формалар тўплами бўлиб, бунда    R , ) , (  g y x g бучизиқли форма ва мусбат  сони учун  g g   , у ҳолда, Е тўплам Е 3 уч ўлчовли ҳакикий Евклид фазоси дейилади. Кўриш мумкинки, 1-2 аксиомалар уч ўлчовли ҳакикий А 3 аффин фазоси структурасини аниқлайди. (бунда V 3 вектор фазо А 3 нинг элтувчисидир.) Шундай қилиб, Е 3 Евклид фазоси структурасининг базаси Е,V 3 ,R учта тўпламлар системасидан иборатки, бунда Е-нуқталар тўплами, V 3 -уч ўлчовли вектор фазо, R-ҳақиқий сонлар майдони. Е 3 фазо структураси Вейлнинг 1-3 аксиомалар системаси билан аниқланади.Бу аксиомалар системасини  W деб белгилаймиз. Шуни айтиш керакки, биз аналитик геометрияда n- ўлчовли Евқилид фазосининг Вейль аксиомалари системасини келтирган эдик. N=3 бўлганда Е 3 фазо аксиомалари системасини ҳосил қиламиз. Бу ерда келтирилган аксиомалар системаси олдинги системадан қисман шаклининг ўзгарганлиги Билан фарқ қилади. Бу ерда келтирилган 3-аксиома Вейль аксиомалар

системасининг E 3 фазосининг бошқа аксиомалари системасига тенг қучли бўлишини таъминлайди. (Хусусан, Гильберт аксиоматикаси билан). 2. Энди  W системанинг зиддиятсизлигини исботлаймиз. Бунинг учун R ҳақиқий сонлар тўпламидан фойдаланиб Ушбу аксиомалар системасининг интерпретациясини кўрамиз. Ихтиерий а 1 ,а 2 ,а 3  R сонлари учун       321 aaa кўринишдаги вектор деб атаймиз. Векторларни қўшиш ва сонга кўпайтириш одатдагидек қуйидагича аниқлаймиз:       321 aaa +       321 ввв =        3 3 2 2 1 1 в а в а в a ва       321 ааа  =       321 ааа  Бу холда V 3 вектор фазонинг илгари кўриб ўтилган I 1 -I 8 аксиомалари бажарилишини текшириш қийин эмас. Ноль 0 вектор вазифасини       000 устун, базис векторлари сифатида       001 ,       110 ва       100 векторларни олиш мумкин . Мусбат аниқланган `g бу чизиқли формалар синфини қуйидагича аниқлаймиз:        321 xxx x ,        321 yyy y векторлари учун g 0 ( y x  , )=x 1 y 1 +x 2 y 2 +x 3 y 3 учун } { 0g g   ,( 0  ) синфни тўзамиз. Бу холда Вейлнинг юқоридаги 3-аксиомаси бажарилади. Ихтиерий m 1 , m 2 , m 3 ҳақиқий сонлари учун ( m 1 , m 2 , m 3 ) кўринишдаги ихтиерий сатрни нуқта деб атаймиз.  : ЕхЕ  V 3 акслантиришни  ((m 1 ,m 2 ,m 3 ),(n 1 ,n 2 ,n 3 ))=        3 3 2 2 1 1 m n m n m n кўринишда аниқлаймиз. Ана шундай кесишувлар қилинса, Вейлнинг 1-2 аксиомалари хам бажарилади. Хакикатдан хам, текшириб кўрайлик.

1-аксиома. А=(а 1 ,а 2 ,а 3 ) ихтиерий нуқта ,        321 ррр р ихтиёрий вектор бўлсин. р Х А  �   тенгликни қаноатлантирадиган Х=(х 1 ,х 2 ,х 3 ) ягона нуқта мавжудлигини кўрсатиш керак. Х 1 -а 1 =р 1 , х 2 -а 2 =р 2 , х 3 -а 3 =р 3 тенгликларни қаноатлантирадиган ягона Х(х 1 ,х 2 ,х 3 ) нуқта мавжуд. 2-аксиома. А=(а 1, а 2 ,а 3 ), В=(в 1 ,в 2 ,в 3 ) ,С=(с 1 ,с 2 ,с 3 ) ихтиерий учта нуқталар учун         3 3 2 2 1 1 а в а в а в В А  ,         3 3 2 2 1 1 в с в с в с С В  ,         3 3 2 2 1 1 а с а с а с С А  Векторлари учун СА СВ ВА      тенглик бажарилади. Шундай қилиб, қуйидаги теорема исботланди. 1-теорема. Агар ҳақиқий сонлар арифметикаси зидсиз б ўлса , у холда Вейлнинг 1-3 аксиомалари системаси хам зидсиз системадир. Биз аналитик геометрияда V 3 вектор фазода вектор кординаталари тушунчасини ва Е 3 фазода нуқта кординаталари тушунчасини киритган эдик. ВЕКТОР. Элементар геометрия кўрсидан маьлумки: Кесма-тўғри чизиқнинг икки томондан икки нуқта билан чегараланган бўлагидир. Кесмани характерловчи катталик унинг узунлигидир. Берилган узун кесмани малум бирлик билан улчашимиз билан биз доимо мусбат сон оламиз. Агар бизга ВА  ва ` FЕ  кесмалари берилган бўлса, FE  кесмани BA  кесмага қуйганимизда FE  кесма BA  кесмага бир неча марта жойлашади. У холда FE  кесма BA  кесмага тула  сон марта жойлашиши мумкин. Бу ердаги  сони натурал сон чикиши мумкин, рационал сон чикиши еки иррационал сон чикиш мумкин. Агар FE  кесманинг m марта

BA  кесмага қуйсак BA  кесмага Тула m марта жойлашса FE  кесма, у холда биз  = m натурал сонига эга бўламиз, m марта қуйиб BA  кесмадан озгина ортиб колса, m +1 марта қуйсак FE  кесма BA  кесманинг охири B нуқтадан ката бўлиб кетса ( B нуқта FE  кесмани ички ну қтаси бил у тма уст тушса) у холда  = q р ратционал ёки  иррационал сон ҳосил бўлади. Агар FE  кесманинг узунлиги 1 га тенг бўлса, бу холда  BA  кесманинг узунлиги бўлади. Умуман  BA  ва FE  кесмалар узунликларининг нисбатини билдирувчи сондир.  =1 бўлса, кесмалар тенг (конурент) бўлади.Демак кесмани факат унинг узунлиги билан характерлаш мумкин. Энди фазода ихтиерий иккита А ва В нуқта малум бир олдиндан тайинланган тартибда берилган бўлса, масалан, А биринчи нуқта, В эса иккинчи деб берилган бўлса, бу нуқталар бизга йуналиши буйича (А дан В га йуналишда) берилган кесма бўлади еки йуналган кесма бўладики бошлангич нуқтаси А ва охирги нуқтаси В. Худи шу йуналган кесма кискача вектор дейилади. Бошлангич нуқтаси А охирги нуқтаси В бўлган вектор BA  кўринишда белгиланади. Агар векторнинг бошлангич ва охирги нуқталари устма-уст тушса, бундай вектор нулевой вектор дейилади ва A A  =0 кўринишда езилади. Вектор узунлигини АВ кўринишда еки (АВ) белгилаймиз ва уни базан векторнинг абсалют киймати еки модули деб аташади. Векторнинг ўзини, масалан BA  кўринишда еки йугон бита харф Билан  кўринишда белгилаймиз. Агар икки BA  ва D C  векторлари бир тўғри чизиқка қуйилган бўлса, ва уларнинг узунликлари тенг ( BA  ва D C  кесмалари тенг ) ва йуналишлари бир хил бўлса бу векторлар ўзаро тенг векторлардир. Уша ерда кўрилган интерпретация билан юқорида кўрилган интерпретация изоморфдир. Демак  w аксиомалар системасининг хар

кандай иккита интерпретациялари изаморфдир. Бундан кўринадики, Вейлнинг 1-3 аксиомалари системаси тулик системани ташқил қилади.  W аксиомалар системасидан фойдаланиб , уч ўлчовли Е 3 фазода мавжуд бўлган барча тушунчаларни келтириш мумкин.

O'xshashlar

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

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

Метрик фазолар

Ўлчовли тўпламлар. Ўлчовли функциялар

Евклид фазоси