Кіріспе

Гиперболалық еуропалық емес геометрияның жоғарғы жарты жазықтық моделі

Еуропалық емес геометрияда, Поинкаре жарты жазықтық моделі – бұл жоғарғы жарты жазықтық, төменде H деп белгіленеді, және оны екі өлшемді гиперболалық геометрияның моделі ететін метрика, Поинкаре метрикасы. Балама ретінде, Поинкаре жарты жазықтық моделі кейде қиял бөлігі (жоғарыда аталған y координатасы) оң болатын комплекс жазықтық ретінде сипатталады. Поинкаре жарты жазықтық моделі Анри Поинкаренің есімімен аталады, бірақ оны Эухенио Белтрами Клейн моделімен және Поинкаре дискі моделімен бірге гиперболалық геометрияның еуропалық геометриямен теңдәрежелі екенін көрсету үшін қолданған. Бұл модель конформды, яғни нүктеде өлшенген бұрыштар модельдегідей нақты гиперболалық жазықтықта да бірдей болады. Кейли түрлендіруі жарты жазықтық модельі мен Поинкаре дискі модельі арасындағы изометрияны қамтамасыз етеді. Бұл модельді n өлшемді еуропалық векторлық кеңістіктегі вектормен нақты сан x-ті алмастыру арқылы n өлшемді гиперболалық кеңістікті модельдеу үшін жалпылауға болады.

Компас және тік жиек конструкциялары

Мұнда модельдегі компас пен түзу сызғыш құрылыстарын гиперболалық жазықтықтағы негізгі құрылыстардың әсерін алу үшін қалай қолдануға болады. Мысалы, екі берілген нүкте арқылы гиперболалық жазықтықтағы түзуді модельдейтін Евклид жарты жазықтығындағы жарты шеңберді қалай салуға болады.

Екі бар нүкте арқылы сызықты құру

Екі нүктенің арасын қосатын сызық кесіндісін салыңыз. Сызық кесіндісінің орта перпендикулярын тұрғызыңыз. Оның x осімен қиылысқан нүктесін табыңыз. Берілген екі нүктеден өтетін, қиылысқан нүктесін орталық қабылдаған шеңберді салыңыз. X осінде немесе одан төмен жатқан бөлігін жойыңыз. Егер екі берілген нүкте тік сызықта орналасқан болса, онда сол тік сызықты екі нүкте арқылы салып, x осінде немесе одан төменгі бөлігін жойыңыз.

Берілген шеңбердің ортасын табу

Евклидтік ортадан х осіне перпендикуляр түсіріңіз, оны р деп белгілейік. Осы түзу мен х осінің қиылыс нүктесін q деп атайық. q нүктесі арқылы шеңберге жанасатын түзуді салыңыз. q орталығынан өтетін және жанасу түзуі мен шеңбердің қиылыс нүктесі арқылы өтетін h жарты шеңберін салыңыз. (Гиперболалық) орталық – h және p түзулерінің қиылыс нүктесі.

n өлшемді модель

Бұл модельді нақты сан x-ті n өлшемді Евклидтік векторлық кеңістіктегі вектормен алмастыру арқылы өлшемді гиперболалық кеңістікті модельдеуге обобщалағанға болады.