20
ROZDZIAŁ 2. TEORIA POWIERZCHNI
c) Niech v, w € Tr(n,i2) M, p = r(xi,x2).
(dnp(v),w) = — n(v, w) = — n(w,v) = (dnp(w),v) — (v,dnp(w)). □
Uwaga 2.4.15. a) Odwzorowanie Af: U —> K3 opisane w poprzednim twierdzeniu, nazywa się odwzorowaniem Weingartena.
b) Tradycyjnie przyjmuje się oznaczenia (pochodzą one od Gaussa): L = (Af, rXlXl), N = (AT,rXlX2), M = (Af,rx2X2). Przy powyższych oznaczeniach macierz drugiej
formy kwadratowej ma postać:
Definicja 2.4.16 (krzywizny, wektory i kierunki główne). Niech M powierzchnia, p € M. Liczby K\ = minyę.sTpM Ky, K2 — maxyęSTpM Ky nazywamy krzywiznami głównymi powierzchni M w punkcie p. Wektory Vi,v2 £ STpM takie, że Kv. = Ki nazywamy wektorami głównymi, a kierunki wyznaczone przez te wektory nazywamy kierunkami głównymi.
Definicja 2.4.17 (krzywizna średnia). Liczbę H = \{K\ + K2) nazywamy krzywizną średnią powierzchni M w punkcie p.
Twierdzenie 2.4.18. a) Krzywizny główne Ki i K2 są wartościami własnymi odwzorowania —dnp: TPM —» TPM, a wektory główne są unormowanymi wektorami własnymi.
b) Zachodzi równość Km{p) = K\K2.
c) Jeśli y £ STpM i układ y\,y2 jest bazą ortonormalną wektorów głównych, oraz p = <(y, yi), to: Ky = Ki cos2 p + K2 sin2 p.
Dowód. Niech Ai < A2 to wartości własne przekształcenia samosprzężonego —dnp, oraz yi, y2 wektory własne odpowiadające tym wartościom własnym. Ponieważ —dnp jest samosprzężone, więc yi, y2 są ortogonalne. Możemy więc zakładać, że są one ortonormalne. Niech y £ STPM, oraz a* = (y, t/j). Wtedy oczywiście y = aiyi+a2y2. Ponieważ y 6 STPM, mamy:
2
A stąd:
2
’-y = n(j/,J/) = n(aji/i + a2y2,aiyi + a2j/2) = Y <Ha,j(-dnpyi,Vj)
= Y Vi,Vi) = + °2A2-