PH torn ф je lihel kladné jednotkové normâly s jednotkovym vektorem pôlové pHmky, orientovanym ve smyslu rostouciho kanonického parametru. Tecna polodie je orientovâna ve smyslu rostouciho kanonického parametru, normàla tak, ze (*x' "x) tvori prâvotocivy repér. Za tëchto predpokladù plati (l/r) — (l/r) = (1/2го), jsou-li r, r, Го orientované polomëry krivosti pevné a hybné polodie a kruznice vratu.
b ) E^ : Zavedme nejprve polârnî souradnice vztahy
Xi= —b + QchB, X2 = —a + QshS. Analogicky jako v prvém pripadë dostaneme
{ Rx , Rx} __ Q^ _ Q
<R'x + R^x, Rx> Q^ + д{-\-а' ch 9 -Ь' sh ^) g - x^chcp'
kde (p je pseudoeuklidovsky ûhel mezi normâlou a pôlovou pfimkou. Pribuznost ma tuto rovnici (znacîme-li opët g, ^ sour, bodu x a g\ 9' sour, bodu S^)
gg' = —d(g — g') , d = Xi chcp .
Pro isotropické smëry je S^^ = x, pro cast roviny danou polârnimi souradnicemi Xi = —b + gshS,X2= — a + ^ ch 5 je
gg' = d(g — ^'), d = Xishq).
Mnozina inflexnich bodu je dâna rovnici g — x^^chq) = 0, coz je pseudoeukli- dovskâ kruznice s prûmërem x^, tj. rovnoosâ hyperbola s osami délky x^, mûzeme ji tedy povazovat za kruznici „obratu". Podobnë se definuje i kruznice „vratu". Maji stejné vlastnosti, jako kruznice vratu a obratu v pripadë grupy E^.
4 . KlKEMATIKA GRUPY S^
S^ je algebra matic tvaru
/ 0 «3 -a2\ (-аз 0 аЛ, \ a2 -ai 0 /
pisme X = a^Xi + a^X^ + азХз. (X, X) = 4. Да,^, i[X, Y] = -X x Y, je-li X x Y obvykly vektorovy soucin. Ztotoznime-li centroeuklidovsky prostor, ve kterém se dëje pohyb, s algebrouS^ tak, ze ztotoznîme base tëchto prostorû, je RX = i[R, X]. Z toho plyne, ze struktura sférického pohybu je tâz jako struktura pohybu к nëmu adjungovaného. Budeme se tedy zabyvat pouze adjungovanym pohybem, coz ucinî-
196