ВУЗ:
Составители:
Рубрика:
E
R dim E > 1 B(O, 1) ⊂ E S(O, 1)
O ∈ E
1 |xy| x y ∈ E
L[x, u) ⊂ E x u 6= x
Λ
R π : Λ → B(O, 1)
π
x y ∈ Λ ρ(x, y) ∈ R
ρ(x, x) = 0 x 6= y ρ(x, y) =
k
2
ln
|π(x)v||π(y)u|
|π(x)u||π(y)v|
,
v u L[π(x), π(y)) L[π(y), π(x))
S(O, 1) k > 0
E
dim Λ = dim E
Λ
Λ
B(O, 1) π
Λ B(O, 1)
π
Λ = B(O, 1) π = id
(Λ, ρ)
π
1. Îïðåäåëåíèå ïðîñòðàíñòâà Ëîáà÷åâñêîãî. Ìåòðèêà ïðîñòðàíñòâà Ëîáà÷åâñêîãî â ìîäåëè Áåëüòðàìè-Êëåéíà. Ïóñòü E ïîëíîå, ñåïàðàáåëüíîå åâêëèäîâî ïðîñòðàíñòâî íàä ïîëåì âåùåñòâåííûõ ÷èñåë R ðàçìåðíîñòè dim E > 1 è B(O, 1) ⊂ E ( S(O, 1)) îòêðûòûé øàð (ñôåðà) ñ öåíòðîì â ôèêñèðîâàííîé òî÷êå O ∈ E ðàäèóñà 1. Îáîçíà÷èì ÷åðåç |xy| ðàññòîÿíèå ìåæäó òî÷êàìè x, y ∈ E è ÷åðåç L[x, u) ⊂ E ëó÷ ñ íà÷àëîì â òî÷êå x, ñîäåðæàùèé òî÷êó u 6= x. Ìíîæåñòâî Λ íàçûâàåòñÿ ïðîñòðàíñòâîì Ëîáà÷åâñêîãî íàä ïîëåì R, åñëè ñóùåñòâóåò òàêîå îòîáðàæåíèå π : Λ → B(O, 1), ÷òî âûïîëíÿþòñÿ ñëåäóþùèå óñëîâèÿ (àêñèîìû) : 1. π áèåêöèÿ. 2. Ëþáîé ïàðå ýëåìåíòîâ x, y ∈ Λ ñîïîñòàâëÿåòñÿ ÷èñëî ρ(x, y) ∈ R òàêîå, ÷òî k |π(x)v||π(y)u| ρ(x, x) = 0 è ïðè x 6= y ρ(x, y) = ln , 2 |π(x)u||π(y)v| ãäå v (u) òî÷êà ïåðåñå÷åíèÿ ëó÷à L[π(x), π(y)) (L[π(y), π(x))) ñî ñôåðîé S(O, 1), k > 0 êîíñòàíòà. Ðàçìåðíîñòüþ ïðîñòðàíñòâà Ëîáà÷åâñêîãî íàçûâàåòñÿ ðàçìåðíîñòü E, ò.å. dim Λ = dim E. Ýëåìåíòû Λ íàçûâàþòñÿ òî÷êàìè èëè ë-òî÷êàìè, êîãäà íåîáõîäèìî îòëè÷àòü èõ îò òî÷åê åâêëèäîâà ïðîñòðàíñòâà. Îòðåçîê (ë-îòðåçîê) â Λ åñòü ïîëíûé ïðîîáðàç åâêëèäîâà îòðåçêà èç B(O, 1) ïðè îòîáðàæåíèè π . Ïðÿìàÿ (ë-ïðÿìàÿ) â Λ åñòü ïîëíûé ïðîîáðàç õîðäû èç B(O, 1) ïðè îòîáðàæåíèè π . Ïðè Λ = B(O, 1), π = id ìû ïîëó÷àåì òàê íàçûâàåìóþ ìîäåëü ÁåëüòðàìèÊëåéíà ïðîñòðàíñòâà Ëîáà÷åâñêîãî. Òåîðåìà 1. (Λ, ρ) ìåòðè÷åñêîå ïðîñòðàíñòâî, ãåîäåçè÷åñêèå ñåã- ìåíòû â êîòîðîì åñòü îòðåçêè. Äîñòàòî÷íî äîêàçàòü òåîðåìó â ìîäåëè ÁåëüòðàìèÊëåéíà. Äåéñòâè- òåëüíî, ïîñëå òàêîãî äîêàçàòåëüñòâà íóæíî èñïîëüçîâàòü π â êà÷åñòâå 3
Страницы
- « первая
- ‹ предыдущая
- …
- 2
- 3
- 4
- 5
- 6
- …
- следующая ›
- последняя »