Инверсивті қашықтық - Inversive distance - Wikipedia

Жылы инверсивті геометрия, инверсивті қашықтық өлшеу тәсілі болып табылады »қашықтық «екеуінің арасында үйірмелер, шеңберлердің бір-бірімен қиылысуына, жанама немесе бір-бірінен бөлінуіне қарамастан.[1]

Қасиеттері

Егер шеңберлер болса, инверсивті арақашықтық өзгеріссіз қалады төңкерілген немесе а Мобиустың өзгеруі.[1][2][3] Бір жұп шеңберді екінші жұпқа Мобиус түрлендіруі арқылы өзгертуге болады, егер екі жұптың бірдей кері қашықтығы болса ғана.[1]

Аналогы Бекман - Кварлс теоремасы инверсивті қашықтық үшін дұрыс болады: егер а биекция инверсивті жазықтықтағы шеңберлер жиынтығының кейбір таңдалған белгіленген қашықтықтағы шеңберлер жұптары арасындағы инверсивті арақашықтық сақталады , демек, бұл барлық инверсивті арақашықтықтарды сақтайтын Мебиус түрлендіруі болуы керек.[3]

Қашықтық формуласы

Ішіндегі екі шеңбер үшін Евклидтік жазықтық радиусымен және және қашықтық олардың центрлері арасындағы инверсивті арақашықтықты формула бойынша анықтауға болады[1]

Бұл формула мыналарды береді:

  • екі бөлінбеген шеңбер үшін 1-ден үлкен мән,
  • бір-біріне жанама және екеуінің сыртында орналасқан екі шеңбер үшін 1 мәні,
  • қиылысатын екі шеңбер үшін −1 мен 1 арасындағы мән,
  • бір-біріне жанасатын екі шеңбер үшін one1 мәні, екіншісінің ішінде,
  • және бір шеңбер екіншісін қамтыған кезде −1-ден кем мән.

(Кейбір авторлар абсолютті инверсиялық қашықтықты инверсиялық қашықтықтың абсолюттік мәні ретінде анықтайды).

Кейбір авторлар бұл формуланы келесі қабылдау арқылы өзгертеді кері гиперболалық косинус мәннің орнына, жоғарыда келтірілген мәннің.[2][4] Яғни, нөмірді қолданғаннан гөрі инверсивті қашықтық ретінде, арақашықтық орнына сан ретінде анықталады теңдеуге бағыну

Инверсивті арақашықтықты осылай түрлендіру қашықтық формуласын күрделендіріп, оны шеңберлерді қиып өтуге жол бермейді, дегенмен оның артықшылығы бар (сызықтағы нүктелер үшін әдеттегі арақашықтық сияқты) қашықтық а шеңберлер үшін аддитивті болады шеңберлер қарындашы. Яғни, егер үш шеңбер жалпы қарындашқа жататын болса, онда (қолдану арқылы) орнына инверсивті қашықтық ретінде) олардың үш жұптық арақашықтықтарының бірі қалған екінің қосындысы болады.[2]

Басқа геометрияларда

Сонымен қатар а бойынша шеңберлер үшін инверсивті арақашықтықты анықтауға болады сфера, немесе шеңберлеріне арналған гиперболалық жазықтық.[1]

Қолданбалар

Штайнер тізбектері

A Штайнер тізбегі екі бөлінбеген шеңбер үшін қосымша шеңберлердің әрқайсысы берілген екі шеңберге және оның тізбектегі екі көршісіне жанама болатын ақырғы циклдік тізбегі болып табылады.Штайнер поризмінде, егер екі шеңберде Штайнер тізбегі болса, онда олардың тізбегі шексіз көп. .Тізбек екі шеңберді бірнеше рет орауға рұқсат етілген және оны рационалды санмен сипаттауға болады оның нумераторы - тізбектегі дөңгелектер саны, ал бөлгіш - айналу ретінің саны. Екі бірдей шеңбердің барлық тізбектерінің мәні бірдей . Егер екі шеңбердің арасындағы кері қашықтық (кері гиперболалық косинусты алғаннан кейін) болса , содан кейін формула бойынша табуға болады

Керісінше, осы формула а-ны беретін әрбір екі бөлінбеген шеңбер рационалды сан Штайнер тізбегін қолдайды. Жалпы алғанда, ерікті түрде бөлінген шеңберлерді Штайнер тізбегін қолдайтын жұп шеңберлер ерікті түрде жақындастыра алады. мәндер рационалды жуықтау берілген екі шеңбер үшін осы формуланың мәніне.[2]

Шеңбер орамдары

Инверсивті қашықтық инверсивті арақашықтық ұғымын анықтау үшін қолданылған дөңгелек орау: шеңберлердің көрсетілген жиынтығы (а шеттеріне сәйкес келетін шеңберлер жиынтығы) жазықтық график ) бір-біріне қатысты берілген кері арақашықтыққа ие. Бұл тұжырымдама сипатталған шеңбер орамдарын жалпылайды шеңбер орау теоремасы, онда көрсетілген жұп шеңберлер бір-біріне жанасады.[1][5] Тангенс шеңберлі орамаларға қарағанда инверсивті қашықтықтағы шеңбер орамдарының болуы туралы аз мәлімет болғанымен, олар болған кезде оларды белгілі бір түрде (Мобиус түрлендірулеріне дейін) анықтауға болатындығы белгілі. максималды жоспарлы график және эвклидтік немесе гиперболалық инверсивті арақашықтықтардың жиыны. Бұл қаттылық қасиеті үшбұрыш бойынша евклидтік немесе гиперболалық метрикаға дейін жалпылауға болады коллекторлар бірге бұрыштық ақаулар олардың шыңдарында.[6] Алайда, сфералық геометриялы коллекторлар үшін бұл орамдар енді ерекше болып табылмайды.[7] Өз кезегінде жуықтауды құру үшін шеңбердің инверсивті орамдары қолданылған конформды кескіндер.[1]

Әдебиеттер тізімі

  1. ^ а б c г. e f ж Бауэрс, Филипп Л .; Хурдал, Моника К. (2003), «Бөлшектелген жалпақ беттердің конформды жоспарлы кескіні», Хегеде, Ханс-Кристиан; Полтье, Конрад (ред.), Көрнекілік және математика III, Математика және көрнекілік, Шпрингер, 3–34 б., дои:10.1007/978-3-662-05105-4_1, МЫРЗА  2046999.
  2. ^ а б c г. Коксетер, H. S. M. (1966), «Инверсивті қашықтық», Annali di Matematica Pure ed Applicata, 71: 73–83, дои:10.1007 / BF02413734, МЫРЗА  0203568.
  3. ^ а б Лестер, Дж. А. (1991), «Бекман-Кварлс Коксердің инверсивті қашықтығы үшін теорема», Канадалық математикалық бюллетень, 34 (4): 492–498, дои:10.4153 / CMB-1991-079-6, МЫРЗА  1136651.
  4. ^ Коксетер, H.S.M.; Грейцер, С.Л. (1967), Геометрия қайта қаралды, Жаңа математикалық кітапхана, 19, Вашингтон, Колумбия округу: Американың математикалық қауымдастығы, 123–124 б., ISBN  978-0-88385-619-2, Zbl  0166.16402
  5. ^ Бауэрс, Филипп Л .; Стивенсон, Кеннет (2004), «8.2 Инверсивті арақашықтық орамдары», Дессиндер мен Белыĭ карталарын шеңберлі орау арқылы біркелкі ету, Американдық математикалық қоғам туралы естеліктер, 805, 78-82 б., дои:10.1090 / memo / 0805, МЫРЗА  2053391.
  6. ^ Луо, Фенг (2011), «Көп қабатты беттердің қаттылығы, III», Геометрия және топология, 15 (4): 2299–2319, arXiv:1010.3284, дои:10.2140 / гт.2011.15.2299 ж, МЫРЗА  2862158.
  7. ^ Ма, Джиминг; Шленкер, Жан-Марк (2012), «Сфералық инверсивті шеңберлі орамалардың қаттылығы», Дискретті есептеу. Геом., 47 (3): 610–617, arXiv:1105.1469, дои:10.1007 / s00454-012-9399-3, МЫРЗА  2891251.

Сыртқы сілтемелер