IV топ . Аксиомалар үздіксіздік.
IV 1 (Архимед аксиомасы). AB және CD болсын - кейбір сегменттер . Сонда AB түзуінде келесі шарттар орындалатындай A 1 , A 2 , ..., A p нүктелерінің ақырлы жиыны болады :
а) A - A 1 - - A 2, A 1 - A 2 - A 3 , ..., A n -2 - A n -1 - A p
б) AA 1 \u003d A 1 A 2 \u003d ... \u003d \u003d A p-1 A p \ u003d CD ;
в) A - B - A p .
IV 2 (Кантор аксиомасы). А 1 B 1 кесінділерінің шексіз тізбегі ерікті a түзуінде берілсін . A 2 B 2 , ..., оның әрбір келесісі алдыңғысының ішінде жатыр және қосымша кез келген CD сегменті үшін A p B p болатындай n натурал саны бар < CD . Сонда а түзуінде берілген тізбектің әрбір кесіндісіне жататын М нүктесі бар .
Мұндай М нүктесінің бірегей екені анық. Шынында да, егер М нүктесінен ерекшеленетін N нүктесі де берілген тізбектің кесінділерінің әрқайсысына жатады деп алсақ, онда A p B p аламыз. М.Н аксиомаға қайшы келетін кез келген n үшін.
I - IV топ аксиомаларының маңызды салдарларының қатарында кесінділер мен бұрыштарды өлшеу теориясы жатады .
Параллель түзулердің евклидтік теориясын негіздеу үшін Гильберт I - IV топтардың аксиомаларына параллель түзулердің тағы бір аксиомасын қосады .
Достарыңызбен бөлісу: |