Görbék És Felületek

Grbk s felletek elemi
differencilgeometrija
Kozma Lszl Kovcs Zoltn
Lektorlta: dr. Hoffmann Mikls foiskolai tanr

Eszterhzy Kroly Foiskola
Kszlt a TMOP 4.1.2-08/1/A Tananyagfejleszts s tartalomfejleszts

klns tekintettel a matematikai, termszettudomnyi, muszaki s informatikai
(MTMI) kpzsekre plyzat keretben
A PROJEKTEK AZ E URPAI U NI TMOGATSVAL , AZ E URPAI S ZOCILIS

A LAP TRSFINANSZROZSVAL VALSULNAK MEG
Debrecen Nyregyhza 2011.
Tartalomjegyzk
Elosz
Jelmagyarzat
4
5
1. fejezet. Grbk differencilgeometrija

1.1. Parametrizlt grbk
1.2. Skgrbk Frenet-bzisa
1.3. A skgrbe meghatrozsa a grbletbol
1.4. Skgrbk globlis elmlete I: a krljrsi ttelI
1.5. Skgrbk globlis elmlete II: a ngy cscspont tteleI
1.6. Trgrbk Frenet-bzisa
1.7. A grblet s a torzi tulajdonsgai, a grbeelmlet alapttele
6
6
11
16
18
21
23
26
2. fejezet. Felletek differencilgeometrija

2.1. Implicit felletek
2.2. Parametrizlt felletek
2.3. Felleti grbk
2.4. Mrs a felleten, a fellet elso alapmennyisgei
2.5. A fellet elso alapformja
2.6. Az oszkull paraboloid, a fellet msodik alapmennyisgei
2.7. A fellet msodik alapformja s a formaopertor
2.8. A fellet grblete
2.9. Gauss-grblet s Minkowski-grblet
2.10. A Gauss-egyenletek s a fellet kompatibilitsi egyenletei
2.11. Elemi felletek izometrikus lekpezseiI
2.12. Prhuzamos eltols a felleten
2.13. Geodetikusok
2.14. A Gauss Bonnet-ttelI
31
31
34
42
44
49
50
52
55
58
59
64
67
72
76
3. fejezet. Appendix
3.1. Bilineris s kvadratikus formk
3.2. Tbbvltozs, vektorrtku fggvnyek differencilsa
81
81
82
4. fejezet. A feladatok megoldsai
84
5. fejezet. wxMaxima munkalapok
91
Irodalomjegyzk
92

ELOSZ
Elosz
A jegyzet matematika alapszakos hallgatknak kszlt a Differencilgeometria tantrgyhoz. Tematikjban lefedi a grbk s felletek elemi differencilgeometrijt. Az anyag sszevlogatsban igyekeztnk mrtktartak lenni, az
anyag a jelenlegi formjt azutn nyerte el, miutn tbbszr is sikeresen feldolgozsra kerlt a Nyregyhzi Foiskoln heti kt rban nappali tagozaton illetve a levelezo kpzsben. Bizonyos megszokott anyagrszek (hogy csak nhnyat
emltsnk a grbeelmletbol: evolta, evolvens, grbesereg burkolja, vetlet a
ksro trider skjaira) kimaradtak, a kiegszto anyagba, vagy a feladatok kz
kerltek.
Eloismeretek. Felttelezzk a Lineris algebra tantrgy biztos ismerett
(mtrixszmts, vektorterek, lineris lekpezsek, sajtrtk problma). Magtl rtodo eloismeret mg az analzis tananyag a vals tbbvltozs fggvnyek
differencil- s integrlszmtsval bezrlag. A kvadratikus formkrl, valamint a vektorvltozs, vektorrtku fggvnyek differencilszmtsrl tanultakat sszefoglaltuk az Appendixben.
Feladatok. Csaknem minden fejezet utn feladatok vannak, melyek megoldsa segtheti a tananyag megrtst. Az alapszakos kpzsben a Differencilgeometria eloadshoz gyakorlat is tartozik, a gyakorlatokon feldolgozott feladatanyag az ittenitol bovebb, s ehhez rendelkezsre is llnak klnbzo pldatrak. A
jegyzet feladatai kiindulpontot jelenthetnek a gyakorlatokhoz, illetve a tananyag
jraolvassakor adnak gyakorlsi lehetosget.
A wxMaxima hasznlata. A jegyzetben a szmtsi feladatok egy rszhez
wxMaxima tmogatst adunk. A munkalapok csak a szmolst, a kifejezsek
egyszerubb alakra hozst knnytik meg. Szndkosan nem ksztettnk csomagot a differencilgeometriai mennyisgeket tartalmaz fggvnyekkel, teht
csak a Maxima ltalnosan hozzfrheto fggvnyeit hasznltuk. Emellett sajt munkalapok rsra btortjuk az olvast, akr a hzi feladatok ellenorzsre, akr a klnbzo grbk, felletek brzolsra. A munkalapok letlthetok a
zeus.nyf.hu/kovacsz/DG_TAMOP/
cmrol, vagy direkt linkkel pdf formban elrhetok a jegyzetbol.
Debrecen Nyregyhza, 2011. prilis
Kozma Lszl, Kovcs Zoltn
JELMAGYARZAT
Jelmagyarzat
Az albbi listban megadjuk a jegyzetben kln magyarzat nlkl hasznlt
fontosabb jellsek listjt.
Rnm : az n m tpus vals mtrixok halmaza
GL(n) = {A Rnn | det A 6= 0}: az ltalnos lineris csoport
O(n) = {A GL(n) | A1 = At }: az ortogonlis csoport
SO(n) = {A O(n) | det A = 1}: a specilis ortogonlis csoport
L(x, y, . . .): az x, y, . . . vektorok ltal generlt altr
hx, yi: az x, y Rn vektorok termszetes skalris szorzata, azaz
n
X
hx, yi =
xi y i
i=1
p
kxk: az x Rn vektor normja, kxk = hx, xi
x y: az x, y R3 vektorok vektorilis szorzata
|x, y, z|: az x, y, z R3 vektorok vegyes szorzata
I: kiegszto anyag, nehz feladat
n
R -t gyakran beazonostjuk Rn1 -el, anlkl, hogy erre kln felhvnnk a
figyelmet. gy pldul x Rn s A Rnn esetn Ax Rn -t runk.
A jegyzetben a fggvnyekre akkor mondjuk, hogy differencilhatak, ha
C -osztlyak, azaz akrhnyszor differencilhatak.
1. FEJEZET
Grbk differencilgeometrija
1.1. Parametrizlt grbk
Ha egy anyagi pont mozgst a skban vagy a trben le akarjuk rni, akkor legegyszerubb, ha az orig rgztse utn megadjuk helyzetvektort az ido fggvnyben. Ebbol a helyzetvektor-ido fggvnybol a mozgs kinematikai jellemzoit
mr meg lehet adni, az elso derivltja (ha ltezik) a sebessg, a msodik derivltja
a gyorsuls. Parametrizlt grbe alatt egy ilyen helyzetvektor-ido fggvnyt fogunk rteni. A mozg pont plyja egy ponthalmaz a skban vagy a trben ezt
egyszeruen grbnek nevezzk. Az elemi grbeelmlet egyik clja, hogy a parametrizlt grbe ismeretben a grbe, azaz a ponthalmaz geometriai jellemzoire
kvetkeztessen.
1.1. Definci. Legyen I R esetleg elfajul, de nem egypont intervallum,
n = 2 vagy 3. Egy c : I Rn differencilhat lekpezst regulris parametrizlt
grbnek neveznk, ha minden t I-re teljesl a c0 (t) 6= 0 regularitsi felttel.
Az I intervallumot paramtertartomnynak nevezzk. n = 2 esetn skgrbrol,
n = 3 esetn trgrbrol beszlnk. ltalnos rtelemben skgrbrol beszlnk
akkor is, ha Im c-t R3 egy skja (ktdimenzis lineris sokasga) tartalmazza.
1.2. Plda (egyenletes krmozgs). Egy pont lland > 0 szgsebessggel mozog egy a > 0 sugar, orig kzppont krn. Hatrozzuk meg a helyzetvektorido lekpezst! A t = 0 idopontban a pont koordinti (a, 0).
A pont irnyszge t idopontban = t, gy koordinti(a cos(t), a sin(t)).
Teht a grbe paramteres elolltsa:
c : [0, ) R2 , t 7 c(t) = (a cos(t), a sin(t)).
A regularitsi felttel nyilvn teljesl:
c0 (t) = (a sin(t), a cos(t)), kc0 (t)k = a 6= 0.
A kc0 (t)k = a sszefggs, mely a kerleti sebessg s a szgsebessg kzti

kapcsolatot adja meg, a kzpiskolai fizikbl ismeros lehet.
A paramteres elolltsbl azonnal kvetkezik, hogy a mozgsra x2 +y 2 = a2
teljesl, ami a kr egyenlete (x = a cos(t), y = a sin(t)). Az a sugr a mozgs
geometriai jellemzoje, a mozgs fizikai jellemzoje.
1.3. Plda (hengeres csavarvonal). Egy a sugar egyenes forgshenger tengelye a
z tengely. Kivlasztjuk egy alkotjt, az alkotn egy pont (a hengerhez kpest) b >
0 sebessggel egyenletes mozgst vgez, mikzben a hengert a z tengely krl
szgsebessggel forgatjuk. Hatrozzuk meg a helyzetvektor-ido fggvnyt. A
t = 0 idopontban a pont koordinti (a, 0, 0).
6
1.1. PARAMETRIZLT GRBK
x
y
1.1. bra. Hengeres csavarvonal

A mozgs vetlete az xy skra egyenletes krmozgs, a z tengelyre pedig
egyenesvonal egyenletes mozgs. gy a paramteres elollts:
c : [0, ) R3 , t 7 c(t) = (a cos(t), a sin(t), bt) (a, b > 0).
kc0 (t)k = a2 2 + b2 6= 0, azaz a regularitsi felttel teljesl. Im c-t hengeres

csavarvonalnak nevezzk (1.1. bra).
1.4. Plda (nem regulris grbk). A c(t) = (t2 , t3 ), (t R) differencilhat
grbe (ld. 1.2. bra) nem regulris, mert t = 0-ban c0 (0) = (2t, 3t2 )t=0 = (0, 0).
A c(t) = (t3 , t3 ) grbe kpe egyenes (egyenlete y = x), de a grbe az origban
nem regulris. Ugyanennek az egyenesnek regulris elolltsa pl. c(t) = (t, t).
1.5. Definci. Legyen c : I Rn parametrizlt grbe. A
v : I R, t 7 v(t) = kc0 (t)k
lekpezst plyasebessg fggvnynek (vagy plya menti sebessgnek), mg a

c0 : I Rn , t 7 c0 (t)
lekpezst sebessg-vektormezonek nevezzk. c0 (t) a grbe t paramterrtku

ponthoz tartoz sebessgvektora, mg a c(t) + L(c0 (t)) egydimenzis lineris sokasg a t paramterrtku ponthoz tartoz rintoegyenes.
A c : I Rn parametrizlt grbt termszetes paramterezsunek, vagy vhossz paramterezsunek mondjuk, ha t I : v(t) = 1.
Rb
Legyen most I = [a, b]. (c) = a v( ) d a grbe vhossza, a
Z t
: [a, b] R, (t) =
v( ) d
a
fggvny pedig a grbe vhosszfggvnye.

1.6. Megjegyzs. Az vhossz geometriai bevezetsvel nem foglalkoztunk, felttelezzk, hogy az olvas az analzis tanulmnyokbl ismeri a rektifiklhat grbk
vhossznak defincijt s az vhossz kiszmtst a grbe differencilhatsgnak felttelezse mellett.
1.2. bra. Nem regulris grbe

1.7. Ttel. Legyen c : I Rn parametrizlt grbe, I R, I s I vals intervallumok. Ha : I I diffeomorfizmus s c = c , akkor c is parametrizlt
grbe.
B IZONYTS . A regularitsi felttelt kell ellenorizni c-re. A lncszablyt alkalmazva:
c0 (t) = c0 ((t)) 0 (t).
Mivel c regulris, ezrt a szorzat elso tnyezoje, mivel diffeomorfizmus, ezrt a
szorzat msodik tnyezoje egyetlen paramterrtkre sem nulla.

1.8. Definci. Legyenek c : I Rn s c: I Rn parametrizlt grbk. Ha
ltezik olyan : I I diffeomorfizmus, hogy c = c , akkor c-t s c-t ekvivalens grbknek nevezzk, -t pedig paramtertranszformcinak. Ha radsul
0 (t) > 0 is teljesl, akkor irnytstart vagy orientcitart paramt I-re
tertranszformcirl beszlnk.
1.9. Ttel. A parametrizlt grbk ekvivalencija ekvivalenciarelci.
1.10. Ttel. Ekvivalens grbk vhossza megegyezik.
B IZONYTS . Az 1.7. ttel jellseivel. Legyen : [a, b] [(a), (b)] szigoran monoton nvekedo. Ekkor
Z b
Z b
0
k
c ( )k d =
kc0 (( )) 0 ( )k d =
a
Z
=
a
b
0
kc (( ))k ( ) d =
(b)
(a)
kc0 ()k d
a vltoz helyettestsre vonatkoz ttel szerint.
1.11. Ttel. Minden parametrizlt grbe ekvivalens egy termszetes paramterezsu grbvel, azaz az vhossz mindig bevezetheto paramternek.
B IZONYTS . Legyen c : [a, b] Rn parametrizlt grbe,
Z t
: [a, b] R, (t) =
v( ) d
a
az vhosszfggvny. 0 (t) = v(t) > 0, teht a fggvny szigoran monoton

nvekedo, azaz invertlhat, teht diffeomorfizmus. Az inverze:
1 : [0, (c)] [a, b].
Legyen c = c 1 : [0, (c)] Rn . Szmtsuk ki c plyasebessg-fggvnyt,
azaz a
v(t) = k(c 1 )0 (t)k = k(c0 ( 1 (t)) 10 (t)k =
= | 10 (t)| kc0 ( 1 (t))k = | 10 (t)| v( 1 (t))
fggvnyt. Alkalmazva az inverz fggvny differencilsrl tanultakat (lsd

(3.2)):
v(t) =
1
| 0 ( 1 (t))|
v( 1 (t)) =
1
v( 1 (t))
v( 1 (t)) = 1.
1.12. Plda. Vezessk be az vhosszat paramternek a

c : [0, 2] R3 , t 7 c(t) = (a cos t, a sin t, b t), (a, b > 0)
hengeres csavarvonalon.
Az vhosszfggvny:
: [0, 2] R,
Z t
t
t 7 (t) =
a2 + b2 d = a2 + b2 0 = a2 + b2 t.
0
Az vhosszfggvny inverze:
i
h
1
s.
1 0, 2 a2 + b2 [0, 2], s 7
a2 + b 2
A ttel bizonytsa szerint a c = c 1 fggvny lesz a problma megoldsa,
teht:
h
i
c: 0, 2 a2 + b2 R3 ,

s
s
s
s 7 c(s) = a cos
, a sin
,b
.
a2 + b 2
a2 + b 2
a2 + b 2
Ellenorizzk, hogy a plyasebessg fggvny tnyleg a konstans 1 fggvny!
10
Feladatok
1.1. Feladat. Egy r sugar kr csszs nlkl grdl egy egyenes mentn. rjuk fel a kr kzppontjtl d tvolsgra elhelyezkedo, a krhz kpest rgztett
helyzetu pont plyjnak paramteres elolltst. (d = r esetn cikloisrl, d < r
esetn zsugortott cikloisrl, mg d > r esetn nyjtott cikloisrl beszlnk.) Vizsgljuk a grbe regularitst.
wxMaxima munkalap: PDF
1.2. Feladat. Az M pont egyenletes sebessggel halad az O kezdopont h flegyenesen (a kezdoponttl tvolodva), mikzben h lland szgsebessggel forog
az O krl. M plyjt archimdeszi spirlnak nevezzk. rjuk fel az archimdeszi spirl egy paramteres elolltst!
1.3. Feladat. Az O kezdopont h flegyenes egysgnyi szgsebessggel forog O
krl, ugyanakkor az M pont az OM tvolsggal arnyos sebessggel mozog h-n.
a. A t = 0 idopontban M tvolsga O-tl b s M az O-hoz kzeledik. rjuk
fel M plyjnak egy paramteres elolltst. (Logaritmikus spirl.)
b. Bizonytsuk be, hogy (c-vel jellve a paramteres elolltst)
Z t
lim
kc0 (t))k dt
t+
vges, (azaz a [0, ) intervallumon c vhossza vges).

1.4. Feladat. Legyen c : (0, ) R2 ,

t
c(t) = sin t, cos t + log tg
,
2
(traktrix).
a. Bizonytsuk be, hogy egyetlen olyan pont, ahol c nem regulris, a t = /2
paramterrtku pont.
b. Bizonytsuk be, hogy a traktrix egy rintojnek az rintsi pont s az y
tengely kz eso szakasza mindig 1 hosszsg.
1.5. Feladat. Tekintsk egy skgrbe polrkoordints elolltst:
r : [a, b] R2 , 7 r();
azaz c() = (cos r(), sin r()).
a. Bizonytsuk be, hogy a grbe vhossza:
Z bp
r()2 + r0 ()2 d.
a
b. Hatrozzuk meg ennek alapjn az r() = a archimdeszi spirl elso

menetnek az vhosszt!
1.2. SKGRBK FRENET-BZISA
11
1.2. Skgrbk Frenet-bzisa

1.13. Ttel. Legyen c : I R2 parametrizlt skgrbe. Ekkor egyrtelmuen lteznek olyan T, N : I R2 differencilhat lekpezsek, hogy t I-re:
(i) (T (t), N (t)) pozitv ortonormlt bzis R2 -ben;
(ii) T (t) a c0 (t)-nek pozitv skalr szorosa.
B IZONYTS . Legyen T (t) = c0 (t)/v(t). Ekkor T (t) nyilvn egysgvektor,
tovbb az (ii) felttel is teljesl.
Jelljk J-vel R2 pozitv irny /2 mrtku elforgatst, azaz
J : R2 R2 , (x, y) 7 (y, x).
J lineris transzformci, teht differencilhat. Legyen N = J T , gy (i) teljesl. N differencilhat, mert differencilhat lekpezsek kompozcija.
Az egyrtelmusg onnan kvetkezik, hogy T (t)-t ortonormlt bziss pontosan ktflekppen lehet kiegszteni, nevezetesen /2 szgu elforgatsokkal, de
a /2 szgu elforgats negatv bzist adna.

1.14. Definci. (Az elozo ttel jellseivel.) T -t rinto egysgvektormezonek,
T (t)-t rinto egysgvektornak, N -t norml egysgvektormezonek, N (t)-t a t paramterrtku ponthoz tartoz normlis vektornak nevezzk. A (T, N ) prt a grbe
Frenet-bzisnak nevezzk.
y
T (t)
c(t)
N (t)
x
1.3. bra. Frenet-bzis
1.15. Ttel. Legyen c : I R2 parametrizlt skgrbe. Ekkor van olyan : I

R differencilhat fggvny, hogy
T 0 = N
N 0 = T.
12
B IZONYTS . Bontsuk fel a T 0 s N 0 vektorokat T -vel s N -nel prhuzamos

komponensekre:
T 0 = hT 0 , T i T + hT 0 , N i N
N 0 = hN 0 , T i T + hN 0 , N i N.
Derivlva a hT, T i = 1 sszefggst: 2hT 0 , T i = 0; hasonlan 2hN 0 , N i = 0.

Most a hT, N i = 0 sszefggst derivlva: hT 0 , N i + hT, N 0 i = 0. Teht =
hT 0 , N i = hN 0 , T i addik.

1.16. Definci. Legyen c : I R2 parametrizlt skgrbe. A
hT 0 , N i
v
fggvnyt a c skgrbe grbletnek nevezzk.
: I R, =
1.17. Kvetkezmny (Frenet-formulk, vagy derivcis formulk).

T 0 = vN
N 0 = vT.
Specilisan, termszetes paramterezsu skgrbkre:
T 0 = N
N 0 = T.
1.18. Plda (a krvonal grblete). Legyen c : [0, 2] R2 , t 7 c(t) =
(R cos t, R sin t). Ekkor:
c0 (t) = R( sin t, cos t), v(t) = R,
T (t) = ( sin t, cos t), N (t) = ( cos t, sin t),
T 0 (t) = ( cos t, sin t).
Innen lthatjuk, hogy T 0 = N , teht az elso Frenet-formula szerint c grbleti

fggvnye konstans, = 1/R.
1.19. Ttel (a grblet kiszmtsa). (A korbbi felttelek mellett.)
hc00 , N i
.
=
v2
B IZONYTS . A grbletet definil formult talaktjuk a derivcis formula segtsgvel:
c0 = vT
c00 = v 0 T + vT 0 = v 0 T + v 2 N.
Ez utbbi sort N -el skalrisan szorozva hc00 , N i = v 2 addik, mert T N .
Innen leolvashat a bizonytand formula.

1.20. Ttel. Legyen c : I R2 parametrizlt skgrbe, melynek grbleti fggvnye . Legyen tovbb : I I paramtertranszformci, c = c : I R2 .
c grbleti fggvnyt jellje
e. Ekkor
e = sgn 0 .
13
B IZONYTS . A grblet albbi kifejezst hasznljuk:

=
hc00 , N i
hT 0 , N i
hc00 , J c0 i
=
=
.
v
v2
v3
Teht:
c = c
c0 = (c0 ) 0 , J c0 = 0 (J c0 ),
c00 = (c00 ) 02 + (c0 ) 00 .
v = |0 | (v )
Eszerint
h02 (c00 ) + 00 (c0 ), 0 (J c0 )i

=
v3
mivel c0 J c0 :
03 hc00 , J c0 i
=
|0 |3 (v )3
= sgn 0 .
1.21. Kvetkezmny. Skgrbe grblete irnytstart paramtertranszformcival szemben invarins.

1.22. Ttel. Legyen c : I R2 parametrizlt skgrbe, melynek grbleti fggvnye . Legyen tovbb F : R2 R2 izometria, ennek lineris rsze f O(2),
tovbb c = F c : I R2 . c grbleti fggvnyt jellje
e. Ekkor
e = det f .
B IZONYTS . Knnyen ellenorizheto, hogy J f = det f (f J). Tovbb
a lncszablyt alkalmazva:
c = F c
f c0 e
J f c0
c0 = (F 0 c) c0 = f c0 , Te =
, N=
,
v
v
c00 = (f 0 c0 ) c00 = f c00 .
A grbletet kiszmtva, felhasznlva, hogy f ortogonlis transzformci, teht a
normt s a skalris szorzatot megtartja:
h
c00 , J f c0 i
hf c00 , det f (f J c0 )i
=
=
v3
kf c0 k3
hc00 , J c0 i
= det f
= det f .
kc0 k3
1.23. Kvetkezmny. Skgrbe grblete irnytstart izometrival szemben invarins.

A grblet geometriai jelentsre az albbi ttel kzvetlenl is rmutat.
1.24. Ttel. Legyen c : [a, b] R2 termszetes paramterezsu parametrizlt skgrbe, tovbb valamilyen s [a, b]-re teljesljn, hogy c00 (s) 6= 0. Ekkor
14
(1) s-nek van olyan I [a, b] krnyezete, hogy s1 , s2 , s3 I-re

c(s1 ), c(s2 ), c(s3 ) nem egy egyenesre illeszkednek
(2) ha si s (i = 1, 2, 3), akkor a c(si ) pontokra illeszkedo kr tart egy
1/kc00 (s)k = 1/|(s)| sugar, c(s)-re illeszkedo krhz.
A ttel 2. pontjban szereplo krt a grbe c(s) ponthoz tartoz simulkrnek
nevezzk.
B IZONYTSI. c regulris, teht s valamely krnyezetben injektv, a bizonyts sorn eleve ilyen krnyezetbol indulunk ki.
A Cauchy-fle kzprtkttelbol kvetkezik, hogy minden s1 < s2 -hz ltezik olyan s1 < < s2 , hogy c0 () s c(s2 ) c(s1 ) egyirny. Legyen ugyanis
c(t) = (x(t), y(t)). Van olyan (s1 , s2 ), hogy
(x(s2 ) x(s1 ))y 0 () = (y(s2 ) y(s1 ))x0 ()
(ez a Cauchy-fle kzprtkttel lltsa), gy a c(s2 ) c(s1 ) vektor /2 szgu

elforgatottja meroleges c0 ()-re, azaz c(s2 ) c(s1 ) s c0 () egyirnyak.
Az elso lltst indirekt bizonytssal ltjuk be. Legyen I [a, b] az s valamely
krnyezete s valamely s1 , s2 , s3 I-re c(s1 ), c(s2 ), c(s3 ) illeszkedjenek az `
egyenesre. Legyenek tovbb 1 (s1 , s2 ), 2 (s2 , s3 ) olyan paramterrtkek,
hogy c0 (1 )k` s c0 (2 )k` (1.4. bra). Most tekintsk a c0 : I S 1 grbt, amely
y
c(s1 )
c(2 )
c(s2 )
c(1 )
x
c(s1 )
1.4. bra.
teht az orig kzppont egysgkrbe kpez (S 1 = {x R2 | kxk = 1}). I-t
vlasszuk gy, hogy c0 [1 , 2 ] ne legyen az egsz S 1 egysgkr. Tekintsk a c0 ltal
lert krv egyik c0 () ( (1 , 2 )) vgpontjt. c0 az tetszoleges krnyezetben
nem injektv, gy c00 () = 0 (ld. 1.5. bra).
A ttel msodik lltst bizonytjuk. A c(si ) pontokra (i = 1, 2, 3) illeszkedo
kr kzppontjt jellje C(s1 , s2 , s3 ) s teljesljn, hogy s1 < s2 < s3 . Tekintsk
15
y
c0 (1 ) = c0 (2 )
c0 ()
x
1.5. bra.
az
r : t 7 kc(t) C(s1 , s2 , s3 )k2 = hc(t) C(s1 , s2 , s3 ), c(t) C(s1 , s2 , s3 )i
fggvnyt. Mivel ennek a fggvnynek ugyanaz az rtke az s1 , s2 , s3 helyeken
(ti. a krlrt kr sugr-ngyzete), ezrt a Rolle-fle kzprtkttel miatt vannak
olyan s1 < q1 < s2 , s2 < q2 < s3 rtkek, hogy r0 (q1 ) = r0 (q2 ) = 0:
(1.1)
hc0 (qi ), c(qi ) C(s1 , s2 , s3 )i = 0 i = 1, 2.
Ismt a Rolle-ttelt alkalmazva, van olyan q1 < ` < q2 rtk, hogy r00 (`) = 0,
azaz
hc00 (`), c(`) C(s1 , s2 , s3 )i + hc0 (`), c0 (`)i = 0,
gy
(1.2)
hc00 (`), c(`) C(s1 , s2 , s3 )i = 1.
1
00
0
00
Tekintsk a C = c(s) + kc00 (s)k
2 c (s) pontot. Mivel (c (s), c (s)) (az vhosszparamterezs miatt) merolegesek, gy
(1.3)
hc0 (s), c(s) Ci = 0
hc00 (s), c(s) Ci = 1.
Figyelembe vve, hogy c0 (qi ) c0 (s) s c00 (`) c00 (s) s sszehasonltva az (1.1)
s (1.2) relcikat az (1.3) egyenletekkel, C(s1 , s2 , s3 ) C kvetkezik.

Feladatok
1.6. Feladat. Szmtsuk ki a c : [0, 2] R2 , t 7 (t, sin t) szinuszgrbe grbleti fggvnyt!
1.7. Feladat. Bizonytsuk be, hogy a 7 r() polrkoordints alakban adott
grbe grblete:
2r02 rr00 + r2
=
.
(r02 + r2 )3/2
Hatrozzuk meg ennek alapjn az archimdeszi spirl s a logaritmikus spirl
grbleti fggvnyt.

1.3. A SKGRBE MEGHATROZSA A GRBLETBOL
16
1.8. Feladat. Legyen c : I R2 parametrizlt skgrbe, mely grbletrol

feltesszk, hogy egyetlen pontban sem nulla. A : I R2 ,
(t) = c(t) +
1
N (t)
(t)
grbt c evoltjnak nevezzk. Mutassuk meg, hogy az evolta t-beli rintoje

megegyezik az eredeti grbe t-beli normlisval.
1.9. Feladat. Bizonytsuk be, hogy az r() = c a logaritmikus spirl evoltja
logaritmikus spirl. Hatrozzuk meg az a paramtert gy, hogy a grbe nmaga
evoltja legyen.
1.10. Feladat. Ksztsnk wxMaxima munkalapot egy skgrbe evoltjnak szmtshoz.
1.3. A skgrbe meghatrozsa a grbletbol
1.25. Definci. Legyen c : [a, b] R2 parametrizlt skgrbe, az rintoegysgvektormezo T : [a, b] R2 , tovbb
: R R2 , t 7 (t) = (cos t, sin t).
Ekkor minden olyan : [a, b] R differencilhat fggvnyt, melyre T = ,

a c grbe hajlsszgfggvnynek nevezzk.
1.26. Megjegyzs. Ha ugyanazon grbnek s kt hajlsszgfggvnye, akkor
= k2 valamely k egsz szmra.
1.27. Ttel. A definci jellseivel, 0 = v, ahol v a plyasebessg.
B IZONYTS . T 0 = ( )0 = 0 (0 ) = 0 (J ) = 0 N . A Frenet
formulk alapjn: T 0 = vN , ahonnan az llts leolvashat.

1.28. Ttel (a grbeelmlet alapttele skban, ltezs). Legyen : I R adott
differencilhat fggvny. Ekkor ltezik olyan c : I R2 termszetes paramterezsu parametrizlt skgrbe, mely grbleti fggvnye ppen .
B IZONYTS . (A korbbi jellsekkel, jellje c a keresett grbt,
R a hajlsszg-fggvnyt.) A v = 1 felttelezs mellett 0 = , ahonnan =
+ 0 . A
0
c = differencilegyenlet megoldsa c = (x, y)-re:
Z

Z

(1.4)
x=
cos + x0 , y =
sin + y0 ,
ahol 0 , x0 , y0 tetszoleges konstansok. Egyszeru behelyettestssel ellenorizhetjk,
hogy c termszetes paramterezsu s grbleti fggvnye .

1.29. Ttel. Legyen a c skgrbe grbleti fggvnye . = 0 az (esetleg elfajul)
szakaszokat jellemzi.

1.3. A SKGRBE MEGHATROZSA A GRBLETBOL
17
B IZONYTS . A szakasz lineris elolltsbl lthat, hogy grblete nulla.

Megfordtva, mivel a grblet abszolt rtke paramtertranszformcival
szemben invarins, ezrt feltehetjk, hogy c termszetes paramterezsu. Alkalmazzuk az 1.27. Ttelt! = 0 = = 0 , gy (1.4)-be behelyettestve
c(t) = (t cos 0 + x0 , t sin 0 + y0 ) ,
ahol 0 , x0 , y0 konstansok. Ez valban egy egyenes paramteres elolltsa.
1.30. Ttel. A konstans, nem nulla grbletu skgrbk a krvek.

B IZONYTS . Feltehetjk, hogy a c skgrbe termszetes paramterezsu. Legyen = 1/R. Az integrcis konstansokat az egyszerusg kedvrt mindentt
nullnak vlasztva (t) = 1/R t,

Z
t
t
x(t) = cos
dt = R sin
;
R
R

Z
t
t
y(t) = sin
dt = R cos
.
R
R

1.31. Ttel (a grbeelmlet alapttele skban, egyrtelmusg). Legyenek
c1 , c2 : [a, b] R2
termszetes paramterezsu parametrizlt skgrbk, melyek grbleti fggvnyei
megegyeznek. Ekkor ltezik olyan F : R2 R2 irnytstart izometria, hogy
c2 = F c1 .
B IZONYTS . Jellje (Ti , Ni ) a ci grbe Frenet-bzist. Egyrtelmuen ltezik
olyan SO(2) elforgats, mely a (T1 (a), N1 (a)) bzist a (T2 (a), N2 (a)) bzisba viszi. Jellje : R2 R2 azt az eltolst, mely (c1 (a))-t c2 (a)-ba viszi.
Legyen F = . Beltjuk, hogy F c1 = c2 .
Definiljuk a kvetkezo differencilhat fggvnyt:
d : [a, b] R,
d(t) = kT2 (t) (T1 (t))k2 + kN2 (t) (N1 (t))k2 .
d-t derivlva s a Frenet-formulkat felhasznlva:

1 0
d = hT20 T10 , T2 T1 i + hN20 N10 , N2 N1 i =
2
= hN2 N1 , T2 T1 i + hT2 + T1 , N2 N1 i =
= hN2 , T1 i h N1 , T2 i + hT2 , N1 i + h T1 , N2 i = 0.
Ez azt jelenti, hogy d konstans. Mivel d(a) = 0, ezrt d = 0. Innen kvetkezik,
hogy T1 = T2 , azaz (F c1 c2 )0 = 0. F c1 c2 teht konstans.
Mivel (F c1 c2 )(a) = 0, ezrt F c1 = c2 .

1.32. Plda. A mellkelt wxMaxima munkalap az egzisztenciattelt illusztrlja.
1.4. A KRLJRSI TTEL
18
Feladatok
1.11. Feladat. Adjuk meg annak a skgrbnek a parametrizcijt, melynek grbleti fggvnye (s) = s1/2 .
1.4. Skgrbk globlis elmlete I: a krljrsi ttelI
Ebben a fejezetben zrt skgrbkrol lesz sz. A zrtsg azt jelenti, hogy a
grbe kezdo s vgpontja megegyezik. A 1.6. brn hrom zrt skgrbt ltunk.
Az elso ketto s a harmadik kztt jl rzkelheto klnbsg, hogy a harmadik
grbe kezdo s vgpontjban a sebessgvektorok nem ugyanazok, mg az elso kt
grbe esetben igen. Az elso kt grbe kztt szemmel lthat klnbsg nincs,
a paramteres elolltsuk c(t) = (cos(t), sin(t)) de a paramtertartomny megmutatja, hogy a msodik kr esetben a kzppontot ktszer jrtuk krl. Az elso
esetben t [0, 2], mg a msodik esetben t [0, 4].
c() = c(3)
c0 (a)
c(a) = c(b)
c0 (0) = c0 (2)
c(0) = c(2)
c(0) = c(2) = c(4)
c0 (b)
1.6. bra. Zrt skgrbk
1.33. Definci. Egy c : [a, b] R2 regulris parametrizlt skgrbt periodikusan zrtnak nevezzk, ha van olyan c: R R2 regulris parametrizlt skgrbe,
hogy
(i) c|[a,b] = c
(ii) t [a, b] : c(t + b a) = c(t).
Ha radsul
(iii) c : [a, b) R2 injektv, akkor egyszeru periodikusan zrt skgrbrol beszlnk.
1.34. Kvetkezmny. Egy c : [a, b] R2 periodikusan zrt skgrbre
c(k) (a) = c(k) (b), k = 0, 1, . . . .
1.35. Definci. c : [a, b] R2 periodikusan zrt skgrbe krljrsi szma

1
nc =
[(b) (a)]
2
ahol a grbe egy hajlsszgfggvnye.
1.4. A KRLJRSI TTEL
19
A krljrsi szm nem fgg a hajlsszgfggvny vlasztstl.

Pldul az 1.6. bra elso krnek krljrsi szma 1, a msodik kr pedig 2.
1.36. Ttel. A krljrsi szm mindig egsz szm.
B IZONYTS . Mivel T (b) = T (a), ezrt (b) (a) = k2 (k Z.)
1.37. Ttel. Legyen c : [a, b] R2 termszetes paramterezsu, periodikusan zrt

skgrbe, melynek grbleti fggvnyt jelli. Ekkor
Z b
1
(t)dt.
nc =
2 a
B IZONYTS . A grblet s a hajlsszgfggvny kztt fennll kapcsolat
= . gy
Z b
Z b
(t)dt =
0 (t)dt = [(t)]ba = (b) (a),
0
amibol az llts leolvashat.
1.38. Kvetkezmny. A grblet irnytstart paramtertranszformcival s

irnytstart izometrival szemben invarins, gy az elozo ttel alapjn a krljrsi szm a periodikusan zrt skgrbk geometriai jellemzoje.
1.39. Ttel (Hopf ttele). Egyszeru, periodikusan zrt skgrbe krljrsi szma
1.
B IZONYTS . A c : [0, L] R2 egyszeru, periodikusan zrt skgrbe legyen

termszetes paramterezsu. Izometrival vigyk t a grbt olyan helyzetbe,
hogy az x tengely tmaszegyenese legyen, az x tengelyt az origban rintse, s
a grbe az y 0 flskban legyen. Paramtertranszformcival rjk el azt is,
hogy a 0 paramterrtku pont az orig legyen. (Ehhez a paramtert csak el kell
tolni, gy a grbe termszetes paramterezsu marad.) Ha c0 (0) = (1, 0), akkor
kszen vagyunk, s az elozo kvetkezmny miatt a grbe krljrsi szma nem
vltozott. Ha c0 (0) = (1, 0), akkor mg a t 7 t paramtertranszformcit kell
vgrehajtani, amivel elrjk, hogy az j grbre T (0) = (1, 0), viszont a krljrsi szm most 1-szeresre vltozott. (Ld. 1.7. bra.)
Legyen = {(s1 , s2 ) R2 | 0 s1 s2 L}, s rtelmezzk -nak a kvetkezo lekpezst az S 1 egysgkrre: : S 1
c(s )c(s )
2
1
kc(s2 )c(s1 )k ha s1 6= s2
(s1 , s2 ) = T (s1 )
ha s1 = s2
T (0)
ha s1 = 0, s2 = L.
folytonos belsejn: az s1 6= s2 pontokra ez nyilvnval, az s1 = s2 felttelnek
eleget tevo pontokra pedig kvetkezik onnan, hogy
c(s2 ) c(s)
(s, s) = T (s) = lim
.
s2 s kc(s2 ) c(s)k
Ezrt ltezik olyan : R folytonos fggvny, hogy
(s1 , s2 ) = (cos (s1 , s2 ), sin (s1 , s2 )).
1.4. A KRLJRSI TTEL
20
c(s2 )
c(s1 )
c(0) = c(L) T (0) = T (L)x
1.7. bra.
c(s2 )
(0, s2 )
(0, L) c(0)
S1
1.8. bra.
csak k2 peridustl eltekintve egyrtelmu, ezrt elorhatjuk, hogy (0, L) =

. Mivel erre a fggvnyre (s, s) = T (s), teht : [0, L] R, (s) = (s, s) a
c grbe egy hajlsszgfggvnye. gy a krljrsi szm:
(L) (0) = (L, L) (0, 0) =
= ((L, L) (0, L)) + ((0, L) (0, 0)) =
= ((L, L) ) + ( (0, 0)) .
llaptsuk meg (0, 0) rtkt! Azt tudjuk, hogy (0, 0) = `2 valamely `

egsz szmra. A (0, s2 ) vektor irnyszge folytonosan vltozik `2-tol -ig, mikzben a (0, s2 ) mindvgig az y 0 flskban marad, gy (0, 0) = 0 (1.8. bra).
Hasonl gondolatmenettel kvetkezik, hogy (L, L) = 2 ((1.9. bra), teht
(L) (0) = 2, a krljrsi szm pedig 1.
1.5. SKGRBK GLOBLIS ELMLETE II: A NGY CSCSPONT TTELEI
21
c(s1 )
c(L)
(0, L)
(s1 , L)
S1
1.9. bra.
1.40. Kvetkezmny. Egy c : [a, b] R2 termszetes paramterezsu, egyszeru
periodikusan zrt skgrbre
Z b
1
(t)dt = 1.
2 a
Szemlletesen fogalmazva: ha a grbt egy helyen laptjk, akkor mshol
cscsosodik.
1.5. Skgrbk globlis elmlete II: a ngy cscspont tteleI
1.41. Definci. Egy egyszeru, periodikusan zrt c : I R2 parametrizlt skgrbe konvex, ha t0 I-re a grbe a c(t0 )-ben hzott rinto egyenes ugyanazon
oldaln van (ld. 1.10. bra), azaz
t0 I, t I : hc(t) c(t0 ), N (t0 )i 0 vagy hc(t) c(t0 ), N (t0 )i 0.
A hc(t) c(t0 ), N (t0 )i skalris szorzatban a grbt a t0 -hoz tartoz msodik
Taylor polinomjval kzeltve:
c(t) c(t0 ) (t t0 )c0 (t0 ) +
(t t0 )2 00
c (t0 ) =
2
felhasznlva, hogy a grbe termszetes paramterezsu

= (t t0 )c0 (t0 ) +
(t t0 )2 0
T (t0 ) =
2
az elso Frenet-formult berva

= (t t0 )c0 (t0 ) +
(t t0 )2
(t0 )N (t0 ).
2
1.5. SKGRBK GLOBLIS ELMLETE II: A NGY CSCSPONT TTELEI
22
c(t)
N (t0 )
c(t0 )
1.10. bra. Konvex grbe

gy
(t t0 )2
(t0 ).
2
Ha |t t0 | elegendoen kicsi, akkor a harmad- s magasabb fok tagok a jobb oldal
elojelt nem befolysoljk, gy megllapthatjuk az albbi (preczen is bebizonythat) ttelt:
hc(t) c(t0 ), N (t0 )i =
1.42. Ttel. Egy egyszeru, periodikusan zrt skgrbe akkor s csakis akkor konvex, ha grbleti fggvnye nem elojelvlt.
1.43. Definci. Egy c : I R2 parametrizlt skgrbnek a t0 int I paramterrtknl cscspontja van, ha t0 a grbleti fggvny stacionrius pontja,
azaz 0 (t0 ) = 0. Akkor is cscspontokrl beszlnk, ha a paramtertartomny
egy [t1 , t2 ] rszintervallumn a grblet konstans, azaz 0 (t) = 0 teljesl minden
t1 t t2 esetn.
1.44. Ttel (a ngy cscspont ttele). Egy egyszeru, periodikusan zrt skgrbnek
legalbb ngy cscspontja van.
B IZONYTS . (Konvex grbkre.) Legyen pl. a grbleti fggvny nemnegatv: 0. : [0, L] R zrt intervallumon rtelmezett folytonos fggvny, gy flveszi minimumt s maximumt, teht legalbb kt cscspont van.
Az ltalnossg megszortsa nlkl fltehetjk, hogy (0) a minimum (eltols
paramtertranszformcival ez elrheto.) Jellje t1 [0, L] a maximumhelyet.
Ha t [0, t1 ], akkor 0 (t) 0, ha t [t1 , L], akkor 0 0.
Indirekt mdon, tegyk fel, hogy nincs tovbbi cscspont. Mozgassuk el a
grbt gy, hogy a c(0)c(t1 ) egyenes az x tengely legyen (1.11. bra). A konvexits miatt c(t0 ) s c(t1 ) pontokon kvl a grbnek nincs tbb kzs pontja az
x tengellyel. Az x tengely fltt s alatt a grblet derivltja lland elojelu, ellenkezo esetben jabb stacionrius pontot kapnnk. Legyen pl. az x tengely fltt
0 0, gy 0 y 0 mindentt teljesl.
1.6. TRGRBK FRENET-BZISA
23
c(t1 ) x
c(0)
1.11. bra. A ngy cscspont ttele
Legyen c(t) = (x(t), y(t)). A grbe termszetes paramterezsu, teht T 0 =

c00 = (x00 , y 00 ) = N = (y 0 , x0 ), azaz x00 = y 0 s y 00 = x0 . A parcilis
integrls szablya szerint:
Z L
Z L
Z L
L
L
0
0
0
y = [y]0
y =0+
x00 = [x0 ]0 = 0.
0
Azt kaptuk, hogy egy nemnegatv folytonos fggvny integrlja 0, ami csak gy
lenne lehetsges, ha 0 y = 0, ami ellentmonds. Van teht tovbbi cscspont is.
Hrom cscspont ltezsbol viszont kvetkezik a negyedik ltezse is, mert 0
nem rendelkezhet pratlan szm jelvltssal.
1.6. Trgrbk Frenet-bzisa

1.45. Definci. A c : I R3 parametrizlt trgrbt biregulrisnak nevezzk, ha t I-re c0 (t), c00 (t) linerisan fggetlen vektorok. Ekkor a c(t) +
L c0 (t), c00 (t) skot (ktdimenzis lineris sokasgot) a c grbe c(t) pontbeli simulskjnak nevezzk.
Emlkeztetnk arra, hogy kt bzist akkor neveznk azonos irnytsnak, ha
a bziscsere mtrixa pozitv determinns.
1.46. Ttel. Legyen c : I R3 parametrizlt biregulris trgrbe. Ekkor egyrtelmuen lteznek olyan
T, F, B : I R3
differencilhat lekpezsek, hogy t I-re:

(i) T (t), F (t), B(t) pozitv ortonormlt bzis;
(ii) T (t) a c(t) pozitv skalr szorosa,

(iii) T (t), F (t) s c0 (t), c00 (t) ugyanazt a skot generljk s irnytsuk
kzs skjukban megegyezik.
24
B IZONYTS . (T, F )-et (c0 , c00 )-bol a Gram Schmidt-eljrssal lehet megkonstrulni: azaz
c0
T = ,
v
F
F = hc00 , T iT + c00 , F =
.
kF k
A konstrukci pontonknt rvnyes, s a fenti transzformcis formulk garantljk a T s F lekpezsek differencilhatsgt. A jellseket egyszerustve:
T = a11 c0 (a11 > 0),
F = a12 c0 + a22 c00 (a22 > 0).
A (c0 , c00 ) (T, F ) bziscsere mtrixnak determinnsa pozitv:

a11 a12
det
= a11 a22 > 0,
0 a22
teht a kt bzis azonos irnyts. Vgezetl legyen B = T F (vektorilis
szorzat). Az egyrtelmusget a Gram Schmidt-eljrs garantlja: maga az ortogonalizls kt ortonormlt bzist is adna eredmnyl, de az egyik nem azonos
irnyts a (c0 , c00 ) bzissal. A megtallt kt vektort pozitv ortonormlt bziss
kiegszteni egyrtelmuen lehet.

1.47. Definci. (Az elozo ttel jellseivel.) T, F, B-t a c biregulris trgrbe
rinto egysgvektormezojnek, fonormlis vektormezojnek, binormlis vektormezojnek nevezzk, egyttesen a grbe Frenet-bzisnak.
1.48. Ttel.
c0
c0 c00
, B= 0
, F = B T.
v
kc c00 k
Termszetes paramterezs esetn
T =
F =
c00
.
kc00 k
B IZONYTS . Az elso hrom formula esetben nyilvn elegendo csak a Bre vonatkoz lltst beltni. B s c0 c00 egyarnt merolegesek a simulskra,
csak azt kell bizonytani, hogy egyms pozitv skalr szorosai. A Gram Schmidteljrs konstrukcijt hasznlva:
B = T F = (a11 c0 ) (a12 c0 + a22 c00 ) = a11 a22 (c0 c00 ),
s a11 a22 > 0.
A negyedik formulra ttrve, termszetes paramterezs esetn hc0 , c0 i = 1,
amely relcit derivlva:
hc00 , c0 i + hc0 , c00 i = 0 = 2 hc0 , c00 i = 0,
azaz vhossz-paramterezs esetn c0 c00 , amibol kvetkezik az llts.
25
1.49. Ttel (derivcis formulk). Legyen c : I R3 biregulris trgrbe. Lteznek olyan 1 , 2 : I R differencilhat fggvnyek, hogy
T0 =
1 F
F 0 = 1 T
+ 2 B
0
B =
2 F
B IZONYTS . rjuk fel T 0 , F 0 , B 0 Fourier elolltsait a (T, F, B) bzisban:

T 0 = hT 0 , T iT + hT 0 , F iF + hT 0 , BiB,
F 0 = hF 0 , T iT + hF 0 , F iF + hF 0 , BiB,
B 0 = hB 0 , T iT + hB 0 , F iF + hB 0 , BiB.
Legyen X s Y 6= X a T, F, B brmelyike. Ekkor derivlssal addik, hogy

hX, Xi = 1 = hX 0 , Xi = 0,
hX, Y i = 0 = hX 0 , Y i + hX, Y 0 i = 0.
Msrszt T L(c0 ) = T 0 L(c0 , c00 ) = hT 0 , Bi = 0, hB 0 , T i = 0. Teht

1 = hT 0 , F i, 2 = hF 0 , Bi a kvnt formulkat adja.
1.50. Definci. A c : I R3 biregulris trgrbe : I R grbleti- s : I

R torzifggvnyt az albbiak szerint definiljuk:
hT 0 , F i
hF 0 , Bi
=
, =
.
v
v
1.51. Kvetkezmny (Frenet-formulk trgrbkre).
T0 =
vF,
0
F = vT
+ vB,
0
B =
vF.
1.52. Ttel. Egy c : I R3 biregulris parametrizlt grbe akkor s csakis akkor

skgrbe, ha torzifggvnye zrus.
B IZONYTS . A harmadik Frenet-formula alapjn = 0 ekvivalens azzal,
hogy B konstans. Legyen
f : I R, t 7 f (t) = hB0 , c(t) c0 i,
ahol B0 , c0 valamely rgztett paramterrtkhez tartoznak. Mindkt oldal derivlva:

f 0 (t) = hB0 , c0 (t)i = hB(t), c0 (t)i = 0,
teht a grbe benne van a c0 -hoz tartoz simulskban.

Feladatok
1.12. Feladat. Legyen a hengeres csavarvonal paramterezse

s s
s
c(s) = a cos , a sin , b ,
c
c c
2
2
2
ahol c = a + b (azaz a grbe termszetes paramterezssel van adva). rjuk fel
a ksro trider vektorai ltal kifesztett skok egyenlett a grbe egy pontjban!
1.7. A GRBLET S A TORZI TULAJDONSGAI, A GRBEELMLET ALAPTTELE
26
1.13. Feladat. Legyen A, a > 0, (0, /2). A
c : R R3 , c(t) = (A exp(at) cos t, A exp(at) sin t, A exp(at) ctg , )
trgrbt kpos csavarvonalnak nevezzk. (A grbe nyilvnvalan illeszkedik az

x2 + y 2 = z 2 ctg2 egyenletu forgskpra, melynek tengelye a z-tengely s flnylsszge .) Lssuk be, hogy
a. a kpos csavarvonal rintoi lland szget zrnak be a kp tengelyvel;
b. a grbe valamely pontjtl a cscspontig befutott vg nlkli grbedarab
vhossza vges s arnyos a pontnak a cscstl mrt tvolsgval;
c. a z tengelyu, flnylsszgu forgskpon fut grbk kzl az alkotkon
kvl egyedl a kpos csavarvonalak rendelkeznek azzal a tulajdonsggal, hogy
rintoik lland hegyesszget kpeznek a kp tengelyvel.I
1.7. A grblet s a torzi tulajdonsgai, a grbeelmlet alapttele
1.53. Ttel. Parametrizlt biregulris trgrbe grbleti fggvnye mindig pozitv
rtku.
B IZONYTS . (T, F )-et a Gram Schmidt-eljrssal az albbiak szerint
konstrultuk meg:
T = a11 c0 s a11 > 0, = T 0 = a011 c0 + a11 c00 ;
F = a12 c0 + a22 c00 s a22 > 0.
Ennek alapjn:
hT 0 , F i = ha011 c0 + a11 c00 , F i = a11 hc00 , F i =
a11
a11
hF a21 c0 , F i =
> 0,
a22
a22
c0 s F merolegessgt ktszer is hasznlva.
1.54. Ttel. Ha a c : I R3 biregulris trgrbe termszetes paramterezsu,

akkor a grbleti s torzifggvnyre:
|c0 , c00 , c000 |
= kc00 k,
=
.
2
B IZONYTS . A termszetes paramterezs miatt: T = c0 . Az elso Frenetformula alapjn:
T 0 = c00 = F = kc00 k = || kF k =
hiszen kF k = 1 s > 0.
A torzi kiszmtshoz induljunk ki az F = c00 / formulbl, amelyet a
hnyadosfggvny derivlsi szablya szerint derivlunk:
c000 c00 0
.
F0 =
2
gy
c000 c00 0 0 c00
|c0 , c00 , c000 |
= hF 0 , Bi = h
,
c
i
=
,
2
2
felhasznlva, hogy c00 c0 c00 .
27
1.55. Plda. A hengeres csavarvonal grblete s torzija. Legyen a hengeres

csavarvonal paramteres elolltsa:

s
s
as
3
c : [0, 2] R , t 7 c(t) = R cos
, R sin
,
R 2 + a2
R 2 + a2
R 2 + a2
(R, a > 0).
Mint korbban mr lttuk, ekkor c termszetes paramterezsu.

1
s
s
0
T (s) = c (s) =
R sin
, R cos
,a
R 2 + a2
R 2 + a2
R 2 + a2

s
s
1
0
R cos
, R sin
,0
T (s) = 2
R + a2
R 2 + a2
R 2 + a2
R
= kT 0 (s)k = 2
.
R + a2

s
s
T 0 (s)
= cos
, sin
,0 ,
F (s) =
kT 0 (s)k
R 2 + a2
R 2 + a2

1
s
s
B(s) = T (s) F (s) =
a sin
, a cos
,R ,
R 2 + a2
R 2 + a2
R 2 + a2

1
s
s
0
B (s) = 2
, a sin
,0 .
a cos
R + a2
R 2 + a2
R 2 + a2
A Frenet-formulkbl tudjuk, hogy (vhossz-paramterezs esetn) B 0 = F ,
teht az elobbi kpletekbol a torzi leolvashat:
a
= 2
.
R + a2
A kvetkezo ttelben a grblet s torzi gyakran hasznlt kiszmtsi szablyt adjuk meg.
1.56. Ttel. Ha a c : I R3 biregulris trgrbe, akkor a grbleti s torzifggvnyre:
kc0 c00 k
|c0 , c00 , c000 |
=
,
=
.
v3
kc0 c00 k2
B IZONYTS . rjuk fl T 0 -t egyrszt a msodik Frenet-formula alapjn, msrszt a T = c0 /v kifejezst derivlva:
c00 v c0 v 0
(1.5)
T =
= vF.
v2
Vektorilisan szorozva c0 -vel:
c00 c0
= vF c0 .
v
Mindkt oldalnak a normjt vve, felhasznlva, hogy F c0 s kF k = 1:
0
kc00 c0 k
= v 2 ,
v
28
amibol a grbletre adott kifejezs rendezssel azonnal kvetkezik.

A torzi kiszmtshoz induljunk ki ismt az (1.5) sszefggsbol. Derivljunk mg egyszer:
(v 3 )0 F + v 3 F 0 = c000 v + c00 v 0 c00 v 0 c0 v 00 ,
majd szorozzuk be mindkt oldalt skalrisan B = (c0 c00 )/kc0 c00 k-vel! Felhasznlva, hogy az egymsra meroleges vektorok skalris szorzata zrus,
v 2 hF 0 , Bi =
azaz
hc000 , c0 c00 i
,
kc0 c00 k
|c0 , c00 , c000 |

.
kc0 c00 k
A grbletre mr megkapott kifejezsbol v 3 = kc0 c00 k, amit behelyettestve a
bizonytand lltst kapjuk.

v 3 =
1.57. Ttel. A biregulris trgrbk grblete izometrival s paramtertranszformcival szemben invarins. A biregulris trgrbk torzija irnytstart
izometrival s tetszoleges paramtertranszformcival szemben invarins, mg
irnytsvlt izometrinl elojelet vlt.
B IZONYTS . Az elobbi ttelben megadott kiszmtsi szablyokba behelyettestve, a skgrbknl megismert mdon kapjuk az lltst. (V.. a 1.22. s
1.20. ttelekkel!)

A grblet s torzifggvny jelentosge, hogy paramtertranszformcitl
s izometritl eltekintve egyrtelmuen meghatrozzk a parametrizlt trgrbt.
1.58. Ttel (A grbeelmlet alapttele.).
Unicits. Tegyk fel, hogy c1 , c2 : I R3 termszetes paramterezsu biregulris trgrbk, tovbb grblet s torzifggvnyk megegyezik. Ekkor ltezik
olyan : R3 R3 irnytstart izometria, mely egyiket a msikba viszi, azaz
c2 = c1 .
Egzisztencia. Tetszolegesen adott : [a, b] R pozitv, differencilhat s
: [a, b] R differencilhat fggvnyekhez ltezik olyan c : [a, b] R3 termszetes paramterezsu biregulris trgrbe, melynek grbleti s torzifggvnye
ppen s .
B IZONYTS . Egzisztencia (vzlat). A bizonyts technikailag sszetett, de
az tlete nagyon egyszeru: ha a grblet s a torzi ismert, akkor a Frenetformulk a Frenet-bzisra (pontosabban a 9 komponensfggvnyre) egy 9 egyenletbol ll kznsges differencilegyenlet-rendszert alkotnak, amelyre alkalmazhatjuk az analzisbol ismert egzisztencia s unicitsttelt (megfelelo kezdeti felttelek esetn). Miutn T -t meghatroztuk, c0 = T egy jabb kznsges
differencilegyenlet-rendszer (c hrom komponensfggvnyre), mely integrlssal megoldhat. Arrl kell mg meggyozodni, hogy az gy kapott grbe kielgti
az sszes felttelt.
Unicits. Jellje (T1 , F1 , B1 ) ill. (T2 , F2 , B2 ) a megfelelo Frenet-bzisokat.
29
A lineris kiterjeszts ttele miatt ltezik olyan L(R3 ; R3 ) pozitv ortogonlis transzformci, hogy
(T1 (a)) = T2 (a), (F1 (a)) = F2 (a), (B1 (a)) = B2 (a).
Ltezik tovbb olyan : R3 R3 transzlci, hogy
((c1 (a))) = c2 (a).
Azt lltjuk, hogy = a keresett izometria.

Definiljuk a d : I R fggvnyt a kvetkezokppen:
2d = k T1 T2 k2 + k F1 F2 k2 + k B1 B2 k2 .
Egyszeru, de kiss hosszadalmas szmolssal, a Frenet-formulkat alkalmazva

lthat, hogy d0 = 0. Ez azt jelenti, hogy d konstans fggvny, s [a, b]-re
d(s) = d(a) = 0. Innen az kvetkezik, hogy:
T1 = T2 , F1 = F2 , B1 = B2 .
Az elso relcit hasznlva: c01 = c02 = ( c1 )0 = c02 , azaz a c1 c2

lekpezs konstans:
s [a, b] : ( c1 c2 )(s) = ( c1 c2 )(0) = ( c1 )(0) c2 (0) = 0,
amivel az lltst igazoltuk.
1.59. Ttel. A konstans grbletu s torzij biregulris parametrizlt trgrbk

kphalmaza kr vagy hengeres csavarvonal.
B IZONYTS . Mivel a paramtertranszformci a kphalmazt nem vltoztatja
meg, felteheto, hogy termszetes paramterezsu biregulris trgrbkrol beszlnk.
Legyen eloszr a torzifggvny zrus. = 1/R > 0. A
s
s
c : I R3 , s 7 c(s) = (R cos , R sin , 0)
R
R
parametrizlt grbe grblete 1/R, a grbe termszetes paramterezsu s Im c
krvonal. Ha valamely c: I R3 zrus torzij biregulris parametrizlt grbe
grblete szintn 1/R, akkor ez a grbe mr a grbeelmlet alapttele szerint
egybevg c-vel. Azaz Im c s Im c egybevg krvonalak.
Ha a torzifggvny nem zrus felhasznlva a hengeres csavarvonal grbletre s torzijra korbban kapott eredmnyt , ugyanezt a gondolatmenetet
alkalmazhatjuk, de most c hengeres csavarvonal lesz. Teht adott konstans grblethez s konstans torzihoz konstrulunk egy termszetes parametrizls hengeres csavarvonalat, melynek grblete s torzija ppen ez a kt szm (azaz a
megfelelo rtkre belltjuk a henger sugart s az emelkeds sebessgt), s minden ms ugyanilyen grbletu s torzij, termszetes paramterezsu biregulris
parametrizlt trgrbe ettol mr csak izometriban klnbzik.

1.60. Megjegyzs. Az egyenes nem biregulris trgrbe, gy trgrbeknt sem
grblett, sem torzijt nem rtelmeztk. Ugyanakkor az egyenes, mint skgrbe
zrus grbletu s megllapodhatunk abban, hogy a nem biregulris skgrbk
torzijt is zrusnak tekintjk. gy az elozo llts felsorolst mg az egyenessel
30
is kiegszthetjk: az egyenes zr torzij s grbletu trgrbe. (Ugyanakkor

nem biregulris.)
Feladatok
1.14. Feladat. Egy biregulris skgrbre ktfle grblet rtelmezst is adtunk,
skgrbeknt (1.16. definci) s trgrbeknt (1.50. definci). Lssuk be, hogy a
kt grblet elojeltol eltekintve ugyanazt az rtket adja.
1.15. Feladat. Bizonytsuk be, hogy egy vhossz-paramterezsu c grbre c000 =
2 T + 0 F + B teljesl, a szoksos jellsekkel.
1.16. Feladat. Lssuk be, hogy a grbe egy rgztett simulskjra vonatkoz
meroleges vetlett a vetlet msodik Taylor-polinomjval kzeltve parabolt
kapunk, melynek tengelye a fonormlis; mg a rektifiklskra (azaz az rinto
s a binormlis ltal kifesztett skra) eso meroleges vetlett a vetlet harmadik
Taylor-polinomjval kzeltve harmadrendu parabolt kapunk.
2. FEJEZET
Felletek differencilgeometrija
2.1. Implicit felletek
A bennnket krlvevo vilgban rengeteg olyan objektum van, amelyre a fellet szt hasznljuk. Ezen felletek matematikai modelljnek megadsa szmos
gyakorlati szempontbl fontos lehet. (Fellet felsznnek meghatrozsa, komputergrafikai alkalmazsok, mrnki szmtsok.)
Kezdjk azzal a fellettel, amely taln a legegyszerubbnek tunik, a gmbfellettel.
Geometriai szempontbl a gmbfellet egy rgztett ponttl rgztett pozitv
tvolsgra elhelyezkedo pontok halmaza a trben. Descartes-koordintk hasznlatval az orig kzppont, R sugar gmb egyenlete
(2.1)
x2 + y 2 + z 2 = R 2 .
Sok, geometriailag knnyen definilhat fellet pontjai, s csakis azok elollthatk (2.1)-hez hasonlan egy (tbb ismeretlenes) egyenlet megoldshalmazaknt.
Pldul egy egyenes krhengert geometriailag gy definilhatunk, hogy egy
rgztett egyenestol rgztett pozitv tvolsgra elhelyezkedo pontok halmaza. Ha
ismt Descartes-koordintkat hasznlunk s a tengely a z tengely, a rgztett tvolsg pedig ismt R, akkor egy egyenes krhenger egyenlete
(2.2)
x2 + y 2 = R 2 .
A kvetkezo pldnk az egyenes krkp, amelyet geometriailag megkaphatunk gy, hogy egy egyenest megforgatunk egy o t metszo egyenes krl. Legyen
a forgstengely a z tengely, a forgatott egyenes pedig az xz sk x = a z egyenese.
Ekkor a kp egyenlete
(2.3)
x 2 + y 2 = a2 z 2 .
A (2.1)(2.3) egyenletekkel megadott felletek ltalnosan F (x, y, z) = 0

alakak, ahol F : R3 R differencilhat fggvny. (Az elobbi pldkban F
minden vltozban legfeljebb kvadratikus, teht differencilhat.) A felletek kztt azonban tbb eltrs van: a gmb kompakt, a tbbi plda nem is korltos.
A kpnak van egy specilis pontja, a cscspont, ahol a fellet nem sima. Hogyan ismerheto fl a kp cscspontja az egyenletbol? Lthat, hogy a cscspont,
(jelen esetben az orig) az F (x, y, z) = x2 + y 2 a2 z 2 fggvny kritikus pontja:
dF (x, y, z) = (2x, 2y, 2za2 ), dF (0, 0, 0) = (0, 0, 0),
mg a tbbi fellet egyetlen pontja sem kritikus pontja a megfelelo F -nek.

31
2.1. IMPLICIT FELLETEK
32
2.1. bra. Hrom ismeros fellet: gmb, henger s kp.
2.1. Definci. Legyen F : R3 R differencilhat fggvny. Azt mondjuk,

hogy az F (x, y, z) = 0 egyenlet egy regulris implicit egyenlet, ha teljesl, hogy
F (p) = 0 = dF (p) 6= 0
(p R3 ).
Egy trbeli ponthalmazt regulris implicit felletnek neveznk, ha elollthat egy

regulris implicit egyenlet megoldshalmazaknt.
Az eddigi pldkban szereplo implicit felletek mindegyikben F mindhrom
vltozjban legfeljebb kvadratikus volt. Az ilyen implicit felleteket nevezzk
ltalnosan msodrendu felleteknek.
2.2. Plda (msodrendu felletek). Legyen A R33 szimmetrikus nem zr
mtrix, a R3 , R.
F : R3 R, p 7 F (p) = hAp, pi + 2ha, pi + .
A {p R3 | F (p) = 0} halmazt msodrendu felletnek nevezzk.
Vizsgljuk meg, hogy a msodrendu felletnek van-e kritikus pontja!
dF (p) = 2Ap + 2a p R3 ,
azaz dF (p) = 0 Ap + a = 0. A msodrendu felletet msodrendu
kpnak nevezzk, ha van olyan p0 pontja, melyre Ap0 +a = 0. (p0 -t a msodrendu
kp cscspontjnak nevezzk.) Belthat (ld. 2.1. feladat), hogy a cscspont affin
invarins fogalom, teht msodrendu fellet cscspontjt affin transzformci az
affin transzformlt fellet cscspontjba viszi.
Vilgos, hogy ha egy msodrendu fellet nem msodrendu kp, akkor regulris implicit fellet.
Msodrendu felletet affin transzformci msodrendu felletbe visz t (ennek a lineris algebrbl ismert tnynek a bizonytsa kiolvashat a 2.1. feladat
megoldsbl is.) Belthat, hogy egybevgsgi transzformcival minden msodrendu fellet a 1. tblzatban szereplo msodrendu felletek valamelyikbe
viheto t, tovbb a tblzatban szereplo msodrendu felletek egymsba egybevgsgi transzformcival nem vihetok t.
2.1. IMPLICIT FELLETEK
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
33
vals ellipszoid
x2 /a2 + y 2 /b2 + z 2 /c2 = 1
kpzetes ellipszoid
x2 /a2 + y 2 /b2 + z 2 /c2 = 1
egykpenyu hiperboloid
x2 /a2 + y 2 /b2 z 2 /c2 = 1
ktkpenyu hiperboloid
x2 /a2 + y 2 /b2 z 2 /c2 = 1
vals msodrendu kp
x2 /a2 + y 2 /b2 z 2 /c2 = 0
kpzetes msodrendu kp
x2 /a2 + y 2 /b2 + z 2 /c2 = 0
elliptikus paraboloid
x2 /a2 + y 2 /b2 + 2z = 0
hiperbolikus paraboloid
x2 /a2 y 2 /b2 + 2z = 0
vals elliptikus henger
x2 /a2 + y 2 /b2 = 1
kpzetes elliptikus henger
x2 /a2 + y 2 /b2 = 1
hiperbolikus henger
x2 /a2 y 2 /b2 = 1
vals metszo skpr
x2 /a2 y 2 /b2 = 0
kpzetes metszo skpr
x2 /a2 + y 2 /b2 = 0
parabolikus henger
x2 + 2ry = 0
vals prhuzamos skpr
x 2 = a2
kpzetes prhuzamos skpr
x2 = a2
egybeeso skpr
x2 = 0
1. tblzat. A msodrendu felletek izometria osztlyai
2.2. bra. Trusz.
2.3. Plda (a trusz, mint regulris implicit fellet). Az xz sk (x a)2 + z 2 = b2

egyenletu krt megforgatjuk a z tengely krl. Ha a kr egyenletben x helyre
p
x2 + y 2 -t helyettestnk, akkor kapjuk a trusz egyenlett:
(2.4)
p
( x2 + y 2 a)2 + z 2 b2 = 0.
2.2. PARAMETRIZLT FELLETEK
34
p
Az F (x, y, z) = ( x2 + y 2 a)2 + z 2 b2 fggvny nem felel meg a defincink
kvetelmnynek, mert a z tengely mentn nem differencilhat:

p
p
2
2
2
2
2x
y + x a 2y
y +x a
p
p
dF (x, y, z) =
,
, 2z .
y 2 + x2
y 2 + x2
(2.4)-ben a ngyzetre emelst elvgezve, a ngyzetgyks kifejezst a jobb oldalra
rendezve, majd mindkt oldalt ngyzetre emelve:
p
x2 + y 2 + z 2 b2 + a2 = 2a y 2 + x2
(x2 + y 2 + z 2 b2 + a2 )2 = 4a2 (y 2 + x2 )
gy
F (x, y, z) = (x2 + y 2 + z 2 b2 + a2 )2 4a2 (y 2 + x2 )
esetn F minden vltozban polinomilis, gy differencilhat. Nem nehz elleno rizni, hogy a trusz egyetlen pontja sem kritikus pontja F -nek.
A felletek matematikai modellezsre sok ms megkzeltst is hasznlnak.
Jllehet a fejezetben szereplo implicit felletek egyenlett a geometriai szrmaztatsbl nagyon knnyu volt megadni, a tovbbiakban egy msik fajta megkzeltst
alkalmazunk, amely sok hasonlsgot mutat a parametrizlt grbkkel. A grbepont helyzetvektort egy paramter fggvnyeknt lltottuk elo, a felleti pont
helyzetvektort kt paramter differencilhat fggvnyeknt fogjuk elolltani:
gy jutunk a parametrizlt felletekhez. Az implicit felletek s a parametrizlt
felletek halmaza nem esik egybe, kapcsolatukkal a ksobbiekben foglalkozunk.
Feladatok
2.1. Feladat. Bizonytsuk be, hogy msodrendu fellet cscspontjt affin transzformci az affin transzformlt fellet cscspontjba viszi. (I)
2.2. Feladat. Bizonytsuk be, hogy az z = x y egyenletu msodrendu fellet (a
hiperbolikus paraboloid) regulris implicit fellet!
2.3. Feladat. Bizonytsuk be, hogy az x2 + y 2 z 2 = 1 egyenletu ktkpenyu
hiperboloid olyan regulris implicit fellet, amely nem sszefggo, azaz van a
felleten kt olyan pont, amelyet a felleten halad folytonos grbvel nem lehet
sszektni.
2.4. Feladat. Lssuk be, hogy az F (x, y, z) = x2 fggvnynek az orig kritikus pontja, ugyanakkor az x2 = 0 egyenletu ponthalmaz mgis regulris implicit
fellet.
2.2. Parametrizlt felletek
A tovbbiakban U R2 nem res nylt halmazt jell. Megllapodunk nhny
jellsben. Egy r : U R3 differencilhat lekpezsnl a vltozkat ltalban
u-val s v-vel, a komponensfggvnyeket x, y, z-vel jelljk, azaz
r(u, v) = (x(u, v), y(u, v), z(u, v)).
35
r elso s msodik vltoz szerinti parcilis derivltjait ru s rv jelli, teht

x y z
, ,
ru (p) =
u u u p

x y z
rv (p) =
, ,
, p = (u, v).
v v v p
Tovbb
x
dr(p) =
u
y
u
z
u
x
v
y
v
z
v
p
= (ru , rv )p = (ru (p), rv (p)) R32 .
Ha (e1 , e2 ) jelli R2 kanonikus bzist, akkor

dr(p)(e1 ) = ru (p), dr(p)(e2 ) = rv (p),
p U.
Ha nem forog fenn flrerts veszlye, akkor p U kirst mellozhetjk:

dr = (ru , rv ).
2.4. Definci. Legyen U R2 egy nem res nylt halmaz. Egy r : U R3 differencilhat lekpezst regulris parametrizlt felletnek (rviden parametrizlt
felletnek) neveznk, ha teljesl, hogy
(2.5)
p U : rang dr(p) = 2.
2.5. Megjegyzs. Az (2.5) felttel tbbflekppen is tfogalmazhat. A kvetkezo

lltsok ekvivalencija a (2.5) felttellel a lineris algebrbl ismert. p U-ra
(1) dr(p) : R2 R3 , R2 3 X 7 dr(p) X injektv lineris lekpezs
(2) dr(p) R32 bal invertlhat mtrix1
(3) (ru (p), rv (p)) linerisan fggetlen vektorrendszer
(4) dim L(ru (p), rv (p)) = 2
(5) ru rv 6= 0.
2.6. Plda (parametrizlt sk). A lineris algebrai tanulmnyokbl mr ismert,
hogy az r : R2 R3 , r(u, v) = r0 + ux + vy, (ahol (x, y) linerisan fggetlen
vektorrendszer R3 -ban, r0 tetszoleges vektor) parametrizlt fellet egy sk.
2
2.7. Plda (parametrizlt flgmb). A gmb x2 + yp
+ z 2 r2 = 0 egyenletbol
a z vltozt kifejezhetjk, ha z > 0, akkor z = r2 x2 y 2 , gy, ha U =
{(u, v) R2 | u2 + v 2 < 1}, akkor
r : U R3 , r(u, v) = (u, v, r2 u2 v 2 )
egy parametrizlt flgmb. A regularitsi felttel nyilvnvalan teljesl (ellenorizzk).

1
Emlkeztetnk arra, hogy egy A Rnm mtrix bal inverze egy olyan B Rmn mtrix,
melyre BA = 1m , ahol a jobb oldalon az m m-es egysgmtrix ll. Knnyen lthat, hogy
A Rnm akkor s csakis akkor bal invertlhat, ha rang A = m.
36
z
z
r(u, v) = P + v a
y
a
P = c(u)
2.3. bra. Parametrizlt hengerfellet

z
z
M
r(u, v) = v P + (1 v) M
y
x
x
P = c(u)
2.4. bra. Parametrizlt kpfellet
2.8. Plda (parametrizlt hengerfellet). Legyen c : I R3 regulris parametrizlt grbe, a R3 nemzr vektor, tovbb a sehol sem prhuzamos c0 -vel. A c
vezrgrbju a alkotirny hengerfellet paramteres elolltsa:
r : I R R3 , r(u, v) = c(u) + v a.
Mivel dr(u, v) = (c0 (u), a) s a felttel miatt rang(c0 (u), a) = 2, ezrt egy regulris parametrizlt felletet kaptunk.
2.9. Plda (parametrizlt kpfellet). Legyen c : I R3 regulris parametrizlt
grbe, M R3 egy pont. A c vezrgrbju M cscspont kpfellet paramteres
elolltsa
r : I R R3 , r(u, v) = v c(u) + (1 v) M.
37
y
x
2.5. bra. Parametrizlt forgsfellet

Mivel dr(u, v) = (vc0 (u), c(u)M ), ezrt rang dr(u, 0) = rang(0, c(u)M ) 6=
2, gy nem regulris parametrizlt felletet kapunk. Ha kiegsztjk a geometriai
feltteleket azzal, hogy c0 (u) 6 k c(u) M s a paramtertartomny U = I R+ ,
akkor mr regulris parametrizlt felletet kapunk.
2.10. Plda (parametrizlt forgsfellet). Legyen adva az xz skban a
c : I R3 , c(u) = (x(u), 0, z(u))
regulris parametrizlt grbe, melyet megforgatunk a z tengely krl. Ha a forgats szge v J R, akkor egy forgsfelletet kapunk:
(2.6)
r : I J R3 , r(u, v) = rotz (v)c(u).
Koordintkkal

x(u)
cos v sin v 0
r(u, v) = sin v cos v 0 0 ,
z(u)
0
0 1
azaz
r(u, v) = (x(u) cos v, x(u) sin v, z(u)).
Vizsgljuk meg a regularitsi felttelt!
0
t
x (u) cos v x0 (u) sin v z 0 (u)
dr(u, v) =
.
x(u) sin v x(u) cos v 0
Innen egyszeru szmts utn kru rv k2 = x(u)2 kc0 (u)k2 addik, azaz x(u) 6= 0
esetn a fellet regulris.
2.11. Plda (Parametrizlt gmbfellet). Egy olyan flkrt kell megforgatnunk a
z tengely krl, melynek tmroje a z tengelyen van. Az elozo pldt alkalmazva
38
c(u) = (R cos u, 0, R sin u) s u (/2, /2), gy

r(u, v) = (R cos u cos v, R cos u sin v, R sin u), (v R).
A teljes gmbfellet minden pontjt megkapjuk, ha [/2, /2] I 3 u, de

u = /2-re a regularitsi felttel nem teljesl. (A teljes gmbt nem tudjuk gy
tekinteni, mint regulris parametrizlt felletet.) A gmbnek ezt a paramterezst
hosszsgi kr-szlessgi kr paramterezsnek, rviden fldrajzi paramterezsnek nevezzk.
2.12. Plda (parametrizlt trusz). Ismt a 2.10 plda szerint jrunk el:
c(u) = (a + b cos u, 0, b sin u),
azaz az (a, 0, 0) kzppont, b sugar krt megforgatjuk a z krl (a, b > 0,
a > b). A kapott fellet paramteres elolltsa:

(2.7)
r(u, v) = (a + b cos u) cos v, (a + b cos u) sin v, b sin u .
A felttelek miatt a + b cos u > 0, gy a regularitsi felttel minden pontban teljesl.
2.13. Plda (vonalfellet). Legyen : I R3 egy regulris trgrbe, E : I R3
egysgvektor-mezo, azaz t I-re kE(t)k = 1. minden t paramterrtku
pontjban tekintnk egy E(t) irnyvektor egyenest. Ezek az egyenesek alkotjk
az (, E) ltal generlt vonalfelletet. Paramteres elolltsa
r : I R, (u, v) 7 r(u, v) = (u) + v E(u).
Vizsgljuk meg a regularitsi felttelt!
ru (u, v) = 0 (u) + v E 0 (u)
rv (u, v) = E(u).
Olyan paramterrtkeket keresnk, amelyekre ru rv = 0, ezekben a pontokban

nem teljesl a regularits.
kru rv k2 = kru k2 krv k2 hru , rv i2 = hru , ru ihrv , rv i hru , rv i2 .
Mivel hE, Ei = 1, gy hE, E 0 i = 0, teht hru , rv i = h0 (u), E(u)i, tovbb
hrv , rv i = 1 s
hru , ru i = h0 (u), 0 (u)i + 2vh0 (u), E 0 (u)i + v 2 hE 0 (u), E 0 (u)i.
gy
ahol
kru rv k = a(u)v 2 + b(u)v + c(u),
a(u) = kE(u)k2 , b(u) = h0 (u), E 0 (u)i, c(u) = k0 (u)k2 h0 (u), E(u)i2 .

Megllapthatjuk, hogy (u, v) pontosan akkor nem regulris hely, ha v a pu =
a(u)v 2 + b(u)v + c(u) (v-re msodfok) polinomnak zrushelye.
39
2.6. bra. Mbius-szalag
2.14. Plda (Mbius-szalag). Egy tglalap alak paprszalag rvidebbik oldalait

gy ragasztjuk ssze, hogy kzben a szalagot egyszer megtekerjk. (Lsd 2.6. bra.) Ennek az alakzatnak egy modelljt specilis vonalfelletknt kaphatjuk meg.
Az elozo pldban
(u) = (cos(u), sin(u), 0)
E(u) = roty (u/2)(0, 0, 1) = ( sin(u/2), 0, cos(u/2)).
Azaz az egysgvektor-mezot gy kapjuk, hogy az e3 = (0, 0, 1) vektort az u
paramterrtku pontnl u/2-vel megforgatjuk az y tengely krl. gy ha u
[0, 2], az e3 vektor pontosan egy flfordulatot tesz meg. A paramteres elollts r(u, v) = (cos(u) sin(u/2)v, sin(u), cos(u/2)v). A regularitsi felttelt
a 2.13. Feladatban vizsgljuk.
2.15. Plda (egyparamteres izometriacsoport ltal generlt fellet I). A forgsfelletek (2.6) elolltst ltalnostjuk. A rotz : R R33 , v 7 rotz (v)
lekpezsre teljesl, hogy:
(1) minden v-re rotz (v) izometria
(2) rotz (0) = 1 R33
(3) rotz (t + s) = rotz (t) rotz (s).
A fenti tulajdonsgokkal nem csak a z tengely krli elforgats rendelkezik.
Knnyu ltni, hogy a : v 7 (v) = rote (v) + va e (e R3 egysgvektor,
a R) lekpezs szintn ilyen tulajdonsg: minden v-re (v) csavarmozgs,
teht izometria, (0) = 1 R33 , tovbb
(t) (s)(x) = (t)(rote (s)x + sae) =
= rote (t) rote (s)x + rote (t)(sae) + tae =

= rote (t) rote (s)x + sa rote (t)(e) + tae
mivel rote (t)(e) = e,

= rote (t) rote (s)x + sae + tae = rote (t + s) + (t + s)ae.
gy is fogalmazhatunk, hogy {(v) | v R} izometrik egyparamteres csoportja. Belthat, hogy a trben minden egyparamteres izometriacsoportot (azaz
40
y
x
2.7. bra. Csavarfellet
az (1)(3) tulajdonsgot teljesto csoportot) az elobbi mdon lehet megadni, teht azonos irny csavarmozgsok alkotjk, ahol az elforgats szge s az eltols
mrtke arnyosak.
Legyen c : I R3 regulris parametrizlt grbe, {(v) | v R} izometrik
egyparamteres csoportja. Az ltaluk generlt fellet:
(2.8)
r : I R, (u, v) 7 r(u, v) = (v)(c(u)),
ha r regulris. (2.8) nem felttlenl regulris felletet ad, ezrt a regularitst kln
meg kell kvetelni. Minden forgsfellet ilyen tpus fellet. Nem forgsfellet a
csavarfellet, ahol c(u) = (u, 0, 0), e = e3 = (0, 0, 1), azaz
r(u, v) = rotz (v)c(u) + ave3 = (u cos v, u sin v, v).
Ennek regularitst a 2.11. feladatban vizsgljuk meg.
2.16. Definci. Legyen r : U R3 parametrizlt fellet. Az
L(ru (p), rv (p)) = Tp r R3
ktdimenzis alteret az r fellet p ponthoz tartoz rinto irnyskjnak, mg az

r(p) + Tp r skot r rintoskjnak nevezzk a p pontban. Az X Tp r vektort a
fellet p pontbeli rintovektornak neveznk. (A paramtertartomny p pontjra
gyakran a jellsben is utalunk: Xp Tp r.)
2.17. Ttel. Legyen r : U R3 parametrizlt fellet, p U. A fellet p ponthoz
tartoz rintoskjnak egyenlete
|X r(p), ru (p), rv (p)| = 0.
41
B IZONYTS . Az rintosk normlvektora ru (p)rv (p), azaz X R3 akkor

s csakis akkor illeszkedik az rintoskra, ha hX r(p), ru (p)rv (p)i = 0, ami
lltsunkat jelenti.

A tovbbiakban az rintosknak nem lesz jelentosge a trgyalsunkban, csak
az rinto irnysknak, gy kiss pontatlanul, a Tp r alteret fogjuk rintosknak nevezni.
Feladatok
2.5. Feladat. Hatrozzuk meg a fldrajzi paramterezsu gmbre az n = (ru
rv )/kru rv k vektort!
2.6. Feladat. Adjuk meg annak a hengerfelletnek a paramteres elolltst,
melynek vezrgrbje az xy sk orig kzppont egysgkre, alkotirnya pedig
a. (0, 0, 1)
b. (1, 1, 1).
2.7. Feladat. rjuk fel annak a hengernek a paramteres elolltst, amelynek
vezrgrbje az xy = 1, z = 0 hiperbola, alkotegyenesei pedig az
4z
x+1
= y =
3
2
egyenletrendszeru egyenessel prhuzamosak.
2.8. Feladat. Adjuk meg annak a kpfelletnek a paramteres elolltst s implicit egyenlett, amelynek vezrgrbje az x2 + y 2 = 4, z = 0 kr, cscspontja
pedig (0, 0, 1) R3 .
2.9. Feladat.
a. Az y 2 = ax, z = 0 parabolt megforgatjuk a tengelye krl. rjuk fl az
gy keletkezo forgsfellet paramteres elolltst s implicit egyenlett!
b. Ugyanezt a parabolt az y tengely krl is megforgatjuk. Bizonytsuk be,
hogy gy negyedrendu felletet kapunk.
2.3. FELLETI GRBK
42
2.10. Feladat. Hatrozzuk meg az r(u, v) = (u, v, u v) parametrizlt fellet

normlvektort az u = 1, v = 2 pontban!
2.11. Feladat. Bizonytsuk be, hogy az
r : R R R3 , (u, v) 7 r(u, v) = (u cos v, u sin v, v)
csavarfellet regulris fellet!
2.12. Feladat. Legyen c : I R3 biregulris trgrbe. Az
r : I R, (u, v) 7 r(u, v) = c(u) + c0 (u) v
felletet a grbe rintofelletnek nevezzk. Vizsgljuk a fellet regularitst!

2.13. Feladat. Vizsgljuk a Mbius-szalag regularitst!
2.3. Felleti grbk
2.18. Definci. Legyen r : U R3 parametrizlt fellet, c : I U regulris
parametrizlt grbe. A c = r c : I R3 parametrizlt grbt felleti grbnek
nevezzk.
c
>U
I
c =
r
c
>
R3
Specilisan, legyenek v0 , u0 konstansok,
c1 (t) = (t, v0 ), (t, v0 ) U,
illetve
c2 (t) = (u0 , t), (u0 , t) U,
(esetleg elfajul) szakaszok a paramtertartomnyban. A
cu (t) = r(t, v0 ) s cv (t) = r(u0 , t)
felleti grbket az r fellet paramtervonalainak nevezzk.
Hatrozzuk meg a paramtervonalak sebessgvektorait:
c0u (t) = dr(t, v0 ) e1 = ru (t, v0 )
c0v (t) = dr(u0 , t) e2 = rv (u0 , t).
A fenti relcik alapjn az ru (p), rv (p) (p U) vektorokat paramtervonal-rintoknek is szoks nevezni a p pontban.
2.3. FELLETI GRBK
43
2.8. bra. Paramtervonalak a gmbn

2.19. Plda. A gmb fldrajzi paramterezsnek (ld. 2.11. plda) u = u0 paramtervonalai a szlessgi krk (specilisan u0 = 0 az egyenlto):
cv (t) = r(u0 , t) = (R cos u0 cos t, R cos u0 sin t, R sin u0 ),
mg a v = v0 paramtervonalak a hosszsgi krk (specilisan v0 = 0 a greenwichi zr hosszsgi kr.):
cu (t) = r(t, v0 ) = (R cos t cos v0 , R cos t sin v0 , R sin t).
2.20. Ttel. Minden felleti grbe regulris.
B IZONYTS . Az elozo definci jellseivel:
(2.9)
c0 (t) = dr(c(t)) c0 (t).
A c regularitsa miatt c0 (t) 6= 0, a fellet regularitsa miatt Ker dr(c(t)) = {0},

gy c0 (t) 6= 0.

A (2.9) formula azt is mutatja, hogy c0 (t) Im dr(c(t)) = Tc(t) r, gy megfogalmazhatjuk az albbi ttelt:
2.21. Ttel. Egy parametrizlt fellet egy adott pontjn thalad felleti grbk
ezen pontbeli rintovektorai az adott pontbeli rintoskban vannak.
A (2.9) formult koordints alakban is kirjuk. Ha c(t) = (u(t), v(t)), akkor
(2.10)
c0 (t) = u0 (t)ru (c(t)) + v 0 (t)rv (c(t)),
vagy rviden c0 = u0 ru + v 0 rv , teht, ha rtelemszeru, hogy egy mennyisget a c

grbe mentn kell venni, akkor azt nem felttlenl jelljk a tovbbiakban.
2.22. Ttel. A fellet minden rintovektora valamely felleti grbe rintoje.
B IZONYTS . Legyen Xp = X1 ru (p)+ X2 rv (p) a fellet egy rintovektora
a p = (u0 , v0 ) pontban (X1 , X2 R). Tekintsk a paramtersk
c(t) = (X1 t + u0 , X2 t + v0 )
egyenest, azaz u(t) = X1 t + u0 , v(t) = X2 t + v0 . Ekkor c(0) = p s a 2.10

kifejezst alkalmazva, c0 (0) = Xp .
ALAPMENNYISGEI
2.4. MRS A FELLETEN, A FELLET ELSO
44
Feladatok
2.14. Feladat. Hatrozzuk meg a
a. trusz (2.7)
b. csavarfellet (2.11. feladat)
paramtervonalait.
2.4. Mrs a felleten, a fellet elso alapmennyisgei
A felleti mrs alapja az, hogy kiszmtjuk kt felleti rintovektor skalris
s vektorilis szorzatt. A skalris szorzatbl a felleti rintovektor hosszt s kt
felleti rintovektor szgt tudjuk kiszmtani, mg a vektorilis szorzat terlettel
kapcsolatos informcit ad.
Legyen adva az r : U R3 regulris parametrizlt fellet, p U. Kiszmtjuk
az Xp = x1 ru (p)+x2 rv (p) s az Yp = y1 ru (p)+y2 ru (p) felleti rintovektorok
skalris szorzatt:
(2.11)
hXp , Yp i = x1 y1 ru2 (p) + (x1 y2 + x2 y1 )hru (p), rv (p)i + x2 y2 rv2 (p).
A fenti sszefggsben szereplo skalris szorzatok a felleti mrssel kapcsolatos

alapveto informcikat adnak.
2.23. Definci. Legyen r : U R3 parametrizlt fellet, p U. Az
(2.12)
Ep = hru (p), ru (p)i, Fp = hru (p), rv (p)i, Gp = hrv (p), rv (p)i,
szmokat a fellet p pontbeli elso alapmennyisgeinek nevezzk. Gyakran elso

alapmennyisgeknek nevezzk az
E : U R, p 7 E(p) = Ep
F : U R, p
7 F (p) = Fp
G : U R, p
7 G(p) = Gp
differencilhat fggvnyeket is.
A (2.11) egyenlet a bevezetett j jellsekkel:

hXp , Yp i = x1 y1 Ep + (x1 y2 + x2 y1 )Fp + x2 y2 Gp =

Ep Fp
(2.13)
y1
= x1 x 2
.
Fp Gp
y2
Alkalmazsknt kiszmtjuk a felleti grbk vhosszt. Legyen r : U R3
parametrizlt fellet,
c : [a, b] U, c(t) = (u(t), v(t))
regulris parametrizlt grbe a paramtertartomnyban, c = r c : [a, b] R3

felleti grbe.

u0
0
0
c = (dr c) c = ru c rv c
= u0 ru c + v 0 rv c.
v0
gy
k
c0 k2 = u02 E c + 2u0 v 0 F c + v 02 G c,
ALAPMENNYISGEI
45
azaz a felleti grbe vhosszt a kvetkezokppen szmoljuk ki:

2.24. Ttel.
Z
(2.14)
c =
a
b
0
k
ck=
Z b
a
u02 E c + 2u0 v 0 F c + v 02 G c.
2.25. Plda (a fldrajzi paramterezsu egysggmb elso alapmennyisgei). A

gmb fldrajzi paramterezse:
r(u, v) = (cos u cos v, cos u sin v, sin u), u (/2, /2), v R.
A paramtervonal rintok:
ru (u, v) = ( sin u cos v, sin u sin v, cos u),
rv (u, v) = ( cos u sin v, cos u cos v, 0),
gy
E(u, v) = 1, F (u, v) = 0, G(u, v) = cos2 u.
2.26. Plda (mrs az egyenes krhengeren s a skon). Az egyenes krhenger
egy lehetsges elolltsa parametrizlt felletknt a kvetkezo:
r(u, v) = (cos u, sin u, v), u, v R.
A paramtervonal rintok
ru (u, v) = ( sin u, cos u, 0), rv (u, v) = (0, 0, 1),
ahonnan a parametrizlt krhenger elso alapmennyisgei:
E(u, v) = 1, F (u, v) = 0, G(u, v) = 1.
Az r(u, v) = (u, v, 0) (u, v R) parametrizlt sk elso alapmennyisgei ugyanezek a fggvnyek, gy a kzs paramtertartomnyban megadott tetszoleges grbnek megfelelo felleti grbk a hengeren illetve a skon ugyanolyan hosszak.
Szemlletesen fogalmazva: mikzben egy tglalap kt szemkzti oldalt sszeragasztva egyenes krhengert kapunk, a tglalapra rajzolt grbk vhossza nem
vltozik.
2.27. Ttel. A gmbfellet kt nem tellenes pontja kztt a legrvidebb felleti
grbe a kt pontra illeszkedo fokrv flkrvnl kisebb ve.
B IZONYTS . A gmbfellet fldrajzi paramterezsbol indulunk ki. Az ltalnossg megszortsa nlkl feltehetjk, hogy az egyik pont az szaki sark.
A msik ponthoz tartoz paramterrtkek legyenek (u1 , v1 ). Az szaki sark elso paramterrtke /2, mg a msodik nem egyrtelmuen meghatrozott, legyen pl. v1 A paramtersk ezen kt pontjt sszekto tetszoleges grbe legyen
c(t) = (u(t), v(t)) (t [a, b]). Teht
c(a) = (/2, v1 ), c(b) = (u1 , v1 ).
ALAPMENNYISGEI
46
A c = r c felleti grbe vhossza (2.14) szerint

Z bp
=
u02 (t) + cos2 (u(t))v 02 (t)dt
a
Z bp
Z b
02
|u0 (t)|dt
u (t)dt =
a

Za b

u0 (t)dt = |u(b) u(a)| = /2 u1 .

a
Az egyenlosg teljeslshez szksges, hogy v 0 (t) = 0 teljesljn, azaz v = v1

konstans. A felleti grbe teht hosszsgi krn van.

A paramtertartomny egy terlettel rendelkezo P U rszhalmaznak a kpe a felleten egy r(P ) felletdarab. Ennek felsznt akarjuk rtelmezni. Tegyk
fel, hogy P = [u, u + u] [v, v + v] egy tglalap. r(u + u, v + v)-t
elsofok Taylor polinommal kzeltve:
r(u + u, v + v) r(u, v) + ru (u, v)u + rv (u, v)v, , [0, 1].
A fenti relci bal oldaln r(P ), a jobb oldaln pedig egy paralelogramma (rintopikkely) van, melyet az ru (u, v)u s az rv (u, v)v vektorok fesztenek ki.
Ennek terletvel kzeltjk r(P ) felsznt. A paralelogramma terlete:
kru (u, v)urv (u, v)vk = kru (u, v)rv (u, v)k u v.
Kiszmtjuk a vektorilis szorzatot. A paramtervonal rintok szgt jellje .
kru rv k2 = kru k2 krv k2 sin2 =
= kru k2 krv k2 (1 cos2 ) =
(2.15)
= kru k2 krv k2 kru k2 krv k2

= kru k2 krv k2 hru , rv i2 =

E F
2
.
= E G F =
F G
hru , rv i2
=
kru k2 krv k2
A paramtertartomnyt tglalapokra bontva, a megfelelo rintopikkelyek terletnek sszege kzelti a fellet felsznt. A fentebbi gondolatmenet motivlja a
felszn defincijt.
2.28. Definci. Legyen r : U R3 parametrizlt fellet, P U terlettel rendelkezo rszhalmaz. r(P ) felszne alatt az
ZZ
(2.16)
A(P ) =
EG F 2
P
kettos integrlt rtjk.
ALAPMENNYISGEI
47
2.9. bra. Gmbt krllelo henger

2.29. Plda (a gmb felszne). Szmtsuk ki az egysg sugar gmb felsznt a
fldrajzi paramterezs alapjn. A gmb elso alapmennyisgeit mr meghatroztuk, (EG F 2 )(u, v) = cos2 (u), u [/2, /2].
!
Z 2 Z /2
Z 2
A=
cos u du dv =
2 dv = 4.
0
/2
2.30. Megjegyzs. A felsznt egy parametrizlt fellethez rendeltk hozz. Be

lehet ltni, hogy a felszn geometriai fogalom, azaz nem fgg a fellet paramterezstol.
A kvetkezo alkalmazshoz meg kell ismernnk a trkpszetben hasznlatos
cilindrikus vetts fogalmt. Tekintsnk egy orig kzppont egysggmbt s
az azt krllelo hengert: a henger vezrkre legyen a z = 1 sk (0, 0, 1) kzppont egysgkre, alkotirnya a z tengely, magassga magassga kt egysg
(2.9. bra). (Ez a henger az Egyenlto mentn rinti a gmbt.) Az szaki-sarktl
s a Dli-sarktl megfosztott gmb pontjait a z tengelyre meroleges vettssel kpezzk le a hengerre.
2.31. Ttel (Arkhimdsz srfelirata). A cilindrikus vetts felszntart.
B IZONYTS . A gmb fldrajzi paramterezst hasznlva EG F 2 =

cos u. A henger esetben a 2.8. pldtl (36. oldal) eltroen az
r(u, v) = (cos v, sin v, sin u), u (/2, /2), v R
paramterezst hasznljuk, gy a cilindrikus vettsnl az egymsnak megfelelo

pontok paramterei megegyeznek: a paramtersk egy darabjnak a kpe a gmbn s a hengeren pontosan a cilindrikus vettsben egymsnak megfelelo felletdarabokat ad. Az ilyen mdon parametrizlt henger elso alapmennyisgeit kiszmtva:
ru (u, v) = (0, 0, cos u)
rv (u, v) = ( sin v, cos v, 0),
ALAPMENNYISGEI
48
azaz
v) = cos2 u, F (u, v) = 0, G(u,
v) = 1.
E(u,
p
F 2 = cos u, csakgy, mint a gmb esetben.
gy E G
2.32. Kvetkezmny. A gmb azonos magassg gmbveinek felszne megegyezik.

B IZONYTS . Arkhimdsz srfelirata alapjn a gmbv felszne 2rm,
ahol r a gmb sugara, m a gmbv magassga.

Egyes forrsok szerint Arkhimdsz kvnsga az volt, hogy a srkvre egy
gmbt s a gmbt krllelo hengert vssenek. A felsznek arnyt Arkhimdsz tudta, s erre a jelek szerint nagyon bszke volt.
A cilindrikus vettst (kicsinytssel komponlva) a trkpszetben olyan trkpek ksztsre hasznljk, mely a terletek arnyt a valsgnak megfeleloen
adja vissza. Megjegyezzk, hogy a cilindrikus vetts elnevezst a trkpszetben a fentebb lertaktl ltalnosabb rtelemben hasznljk, a mi ltalunk trgyalt
specilis esetet pedig terlettart cilindrikus vettsnek nevezik.
2.33. Definci. Legyen r : U R3 parametrizlt fellet, X = r(U) s f : X
R folytonos fggvny. Az f fggvny felszn szerinti integrlja:
Z
Z
f dAr = (f r) EG F 2 du dv.
X
Feladatok
2.15. Feladat. Szmtsuk ki az albbi msodrendu felletek elso alapmennyisgeit:
a. r(u, v) = (au cos v, bu sin v, u2 ) (elliptikus paraboloid)
b. r(u, v) = (au cosh v, bu sinh v, u2 ) (hiperbolikus paraboloid)
c. r(u, v) = (a sinh u cos v, b sinh u sin v, c cosh u) (ktkpenyu hiperboloid).
2.16. Feladat. Szmtsuk ki a forgsfellet (2.10. plda) elso alapmennyisgeit!
2.17. Feladat. Legyen a forgsfellet generl grbje vhossz-paramterezsu,
(s) jellje az s paramteru pont tvolsgt a forgstengelytol (s [0, `]). Bizonytsuk be, hogy a forgsfellet felszne
Z `
2
(s) ds.
0
Szmtsuk ki a trusz felsznt ez alapjn!

2.18. Feladat. Szmtsuk ki a gmbi ktszg felsznt! A gmbi ktszget hatrol kt gmbi fokr szge legyen , a gmb sugara pedig egysgnyi.
2.19. Feladat. Hatrozzuk meg az egysggmb hosszsgi kreit lland hegyesszgben metszo felleti grbe (az n. loxodroma) paramteres elolltst!I
2.20. Feladat. Bizonytsuk be, hogy a loxodroma valamely vnek a hossza arnyos a vgpontok fldrajzi szlessgnek klnbsgvel.I
ALAPFORMJA
2.5. A FELLET ELSO
49
2.5. A fellet elso alapformja

2.34. Ttel. Legyen r : U R3 regulris parametrizlt fellet, p U. Az
p : Tp r Tp r R, (Xp , Yp ) 7 p (Xp , Yp ) = hXp , Yp i
lekpezs szimmetrikus bilineris forma, az
Ip : Tp r R, Ip (Xp ) = p (Xp , Xp )
lekpezs pozitv definit kvadratikus forma.
B IZONYTS . p tulajdonsgai kvetkeznek a tr kanonikus skalris szorzatnak megfelelo tulajdonsgaibl. Ip pozitv definitsge:
Ip (Xp ) = p (Xp , Xp ) = hXp , Xp i = kXp k2 0
s Ip (Xp ) = 0 kXp k = 0 Xp = 0.
2.35. Definci. Az
p : Tp r Tp r R, (Xp , Yp ) 7 p (Xp , Yp ) = hXp , Yp i
szimmetrikus bilineris formt a fellet p pontbeli elso alapformjnak, mg az

Ip : Tp r R, Ip (Xp ) = p (Xp , Xp )
pozitv definit kvadratikus formt a fellet p pontbeli elso kvadratikus alapformjnak nevezzk.
A defincibl rgtn kvetkezik az albbi ttel.
2.36. Ttel. A fellet elso alapformjnak (s gy az elso kvadratikus alapformjnak is) a mtrixa az (ru (p), rv (p)) bzisban

E(p) F (p)
.
F (p) G(p)
Az elso alapforma kiszmtsa az elobbi mtrixszal knnyen elvgezheto, v..
(2.13). Legyen Xp = x1 ru (p) + x2 rv (p), Yp = y1 ru (p) + y2 rv (p).
p (Xp , Yp ) = hXp , Yp i =
(2.17)
= x1 y1 E(p) + (x1 y2 + x2 y1 )F (p) + x2 y2 G(p) =

E(p) F (p)
y1
.
= x1 x2
F (p) G(p)
y2
Feladatok
2.21. Feladat. Egy parametrizlt felletet konform paramterezsunek mondunk,
ha elso alapformjnak mtrixa az (ru , rv ) bzisban

10
(u, v)
.
01
Bizonytsuk be, hogy konform paramterezs esetn az (x1 , y1 ) s (x2 , y2 ) vektorok szge (a paramterskon) ugyanaz, mint az
(x1 ru + y1 rv ), (x2 ru + y2 rv )
vektorok szge (az rintoskban).
2.6. AZ OSZKULL PARABOLOID . . .
50
2.22. Feladat. Bizonytsuk be, hogy ha az

1
(cos , sin , sinh )
cosh

paramterezsben elvgezzk a = v, = ln tg 4 + u2 , helyettestst, akkor
a gmb fldrajzi paramterezst kapjuk. (V. . a 2.19. feladattal! A loxodroma
egyenlete ebben a paramterezsben = tg + k, azaz a paramterskon a
loxodromk egyenes szakaszok lesznek.) Ezt a paramterezst nevezzk a gmb
n. Mercator paramterezsnek. Bizonytsuk be, hogy a Mercator paramterezs
konform paramterezs.
r(, ) =
2.6. Az oszkull paraboloid, a fellet msodik alapmennyisgei

Legyen r : U R3 regulris fellet, p0 = (u0 , v0 ) U. rjuk fl r Taylorsort a msodrendu tagokkal bezrlag!
(2.18)
r (u, v) = r(p0 ) + ru (p0 )(u u0 ) + rv (p0 )(v v0 )+

1
ruu (p0 )(u u0 )2 + 2ruv (p0 )(u u0 )(v v0 ) + rvv (p0 )(v v0 )2
+
2
r : U R3 maga is egy fellet, amelyet az r oszkull paraboloidjnak neveznk. u, v-ben (2.18) kvadratikus, gy az oszkull paraboloid egy msodrendu
fellet.
Most hatrozzuk meg r (p) elojeles tvolsgt az r(p0 )-beli rintosktl. Az

elojel rtelmezshez az rintosk
n(p0 ) =
(2.19)
ru (p0 )rv (p0 )

kru (p0 )rv (p0 )k
norml-egysgvektort kitntetjk, s egy trbeli x pont elojeles tvolsga az rintosktl pozitv, ha a pont az elobbi normlvektor ltal kitntetett fltrben van,
azaz hx r(p0 ), n(p0 )i > 0.
Felhasznlva, hogy hru (p0 ), n(p0 )i = 0 s hrv (p0 ), n(p0 )i = 0,
(2.20)
d(p) = hr (p) r(p0 ), n(p0 )i =

1
=
hruu (p0 ), n(p0 )i(u u0 )2 +
2

+2hruv (p0 ), n(p0 )i(u u0 )(v v0 ) + hrvv (p0 ), n(p0 )i(v v0 )2 .
A 2.20 kifejezsben szereplo konstansokat a fellet msodik alapmennyisgeinek
nevezzk.
2.37. Definci. Az r : U R3 parametrizlt fellet msodik alapmennyisgei a
p U pontban
Lp = hruu (p), n(p)i, Mp = hruv (p), n(p)i, Np = hrvv (p), n(p)i,
2.6. AZ OSZKULL PARABOLOID . . .
51
ahol
ru (p)rv (p)
.
kru (p)rv (p)k
Msodik alapmennyisgeknek nevezzk az
n(p) =
L : U R, p 7 L(p) = Lp
M : U R, p
7 M (p) = Mp
N : U R, p
7 N (p) = Np
differencilhat fggvnyeket is.
(2.20)
alapjn
az
oszkull
paraboloid
egyenlete
az
(r(p0 ), ru (p0 ), rv (p0 ), n(p0 )) affin koordinta-rendszerben a msodik alapmennyisgekkel kifejezve

1
(2.21)
=
L 2 + 2M + N 2 ,
2
ahol a koordintkat (, , ) jelli, s a msodik alapmennyisgek a p0 pontban
rtendok.
2.38. Definci. Ha az oszkull paraboloidnak az rintoskkal prhuzamos, attl
12 tvolsgra lvo skmetszeteit vesszk, akkor az n. Dupin-indikatrixot kapjuk.
A Dupin-indikatrix msodrendu grbe. Az rintoskra vonatkoz meroleges
vetletnek egyenlete az (r(p0 ), ru (p0 ), rv (p0 )) affin koordinta-rendszerben
1 = L 2 + 2M + N 2 .
(2.22)
A (2.22) msodrendu grbe affin osztlyt megllapthatjuk a magmtrix determinnsa alapjn:

2.39. Ttel. A Dupin-indikatrix
a. konjuglt hiperbolapr, ha LN M 2 < 0
b. prhuzamos egyenespr, ha LN M 2 = 0
c. ellipszis, ha LN M 2 > 0.
Aszerint, hogy az adott pontbeli Dupin-indikatrix milyen affin osztlyba tartozik, a felleti pontot hiperbolikusnak, parabolikusnak illetve elliptikusnak mondjuk.
Feladatok
2.23. Feladat. Bizonytsuk be, hogy
|ru , rv , ruu |
|ru , rv , ruv |
|ru , rv , rvv |
L=
, M=
, N=
.
EG F 2
EG F 2
EG F 2
2.24. Feladat. Hatrozzuk meg a forgsfellet (2.10. plda) msodik alapmennyisgeit, ahol a generl grbe vhossz-paramterezsu s x(s) > 0. (Ld. mg
a 2.16. feladatot.)
2.7. A FORMAOPERTOR . . .
52

s
, y(s) = 0,
2.25. Feladat. Legyen
a
trusz
generl
grbje
az
x(s)
=
a+b
cos
b

s
z(s) = b sin b vhossz-paramterezsu kr. Az elozo feladat alapjn szmtsuk
ki a trusz msodik alapmennyisgeit!
2.26. Feladat. Hatrozzuk meg az r(u, v) = (u, v, uv) nyeregfellet Dupinindikatrixt az origban.
2.7. A fellet msodik alapformja s a formaopertor
Legyen r : U R3 regulris parametrizlt fellet, R3 orig kzppont egysggmbjt jellje S 2 . Ekkor
n : U S 2 , p 7 n(p) =
ru (p)rv (p)
kru (p)rv (p)k
differencilhat lekpezs.
2.40. Ttel. A dn(p) : R2 R3 (p U) lekpezs kptere a fellet p ponthoz
tartoz rinto irnyskban van: Im dn(p) Tp R.
B IZONYTS . Im dn(p) = L(nu (p), nv (p)). Az hn(p), n(p)i = 1 egyenletet

differencilva:
hnu (p), n(p)i + hn(p), nu (p)i = 0 = hn(p), nu (p)i = 0,
hasonlan hn(p), nv (p)i = 0. Ez azt jelenti, hogy nu (p), nv (p) az rinto irnyskban vannak, ami a kt vektor ltal kifesztett altrre ugyanezt a tulajdonsgot
jelenti.

2.41. Definci. Legyen r : U R3 parametrizlt fellet. A
Wp : Tp r Tp r, Wp = dn(p) dr(p)1
lineris lekpezst a fellet p ponthoz tartoz formaopertornak vagy

Weingarten-lekpezsnek nevezzk, ahol dr(p)1 R23 a dr(p) mtrix egy balinverzt jelli.
A p : Tp r Tp r R, (Xp , Yp ) 7 p (Xp , Yp )
p (Xp , Yp ) = hWp (Xp ), Yp i = hdn(p) dr(p)1 (Xp ), Yp i
bilineris formt a fellet p ponthoz tartoz msodik alapformjnak nevezzk.

2.42. Megjegyzs. Korbban (ld. 2.5. Megjegyzs) mr utaltunk arra, hogy
dr(p) R32 balinvertlhat. A balinverz ltalban nem egyrtelmu, viszont ha
B Rmn s C Rmn balinverzei egy A Rnm mtrixnak, akkor X Im Ara BX = CX. gy a formaopertor defincija fggetlen dr(p) balinverznek vlasztstl s nem okoz flrertst, ha a balinverz jellsre dr(p)1 -t hasznljuk.
Szmolsban
(2.23)
dr(p)(e1 ) = ru (p) = dr(p)1 (ru (p)) = e1

dr(p)(e2 ) = rv (p) = dr(p)1 (rv (p)) = e2 .
53
2.43. Plda (a gmb formaopertora). Orig kzppont egysggmb esetben n(p) = r(p) (a fldrajzi paramterezsnl knnyen ellenorizheto), gy
dn(p) = dr(p). Jobbrl dr(p) balinverzvel szorozva kapjuk, hogy Wp = id,
teht p (Xp , Yp ) = hXp , Yp i.
2.44. Ttel. A fellet p pontbeli msodik alapformjnak mtrixa az

(ru (p), rv (p)) bzisban

Lp Mp
.
Mp Np
B IZONYTS . A (2.23) sszefggst s a msodik alapforma defincijt felhasznlva

p (ru (p), ru (p)) = hdn(p)e1 , ru (p)i = hnu (p), ru (p)i.
A szorzat differencilsra vonatkoz szablyt alkalmazva, mivel hn, ru i = 0,

ezrt hnu , ru i + hn, ruu i = 0, ezrt
p (ru (p), ru (p)) = hn(p), ruu (p)i = Lp .
Hasonlan, hn, rv i = 0 = hnu , rv i + hn, rvu i = hnu , rv i + hn, ruv i = 0,

teht
p (ru (p), rv (p)) = hdn(p)e1 , rv (p)i = hnu (p), rv (p)i = hn(p), ruv (p)i = Mp .
Analg szmolssal kapjuk, hogy
p (rv (p), ru (p)) = Mp s p (rv (p), rv (p)) = Np .
2.45. Kvetkezmny. A msodik alapforma szimmetrikus, azaz

Xp , Yp Tp r : (Xp , Yp ) = (Yp , Xp ).
B IZONYTS . Elegendo arra utalni, hogy a msodik alapforma mtrixa az
(ru (p), rv (p)) bzisban szimmetrikus.

Szimmetrikus bilineris forma kvadratikus formt szrmaztat:
2.46. Definci. Az r : U R3 parametrizlt fellet msodik kvadratikus alapformjn a p U pontban a
II : Tp r R, Xp 7 IIp (Xp ) = p (Xp , Yp )
kvadratikus formt rtjk.
2.47. Ttel. A formaopertor szimmetrikus, azaz

Xp , Yp Tp r : hWp (Xp ), Yp i = hXp , Wp (Yp )i.
B IZONYTS . A formaopertor defincijt s a 2.45. kvetkezmnyt felhasznlva:
hWp (Xp ), Yp i = (Xp , Yp ) = (Yp , Xp ) = hXp , Wp (Yp )i.
2.48. Ttel. A parametrizlt fellet p pontbeli formaopertornak mtrixa az

(ru (p), rv (p)) bzisban

1

Ep Fp
Lp Mp
.
Fp Gp
Mp Np
54
B IZONYTS . A formaopertor defincija szerint

Wp (ru (p)) = nu (p) s Wp (rv (p)) = nv (p).
Meg kell keresnnk Wp (ru (p)) = nu (p) s Wp (rv (p)) = nv (p) koordintit
az (ru (p), rv (p)) bzisban. Jelljk a koordintkat wij -vel:
nu (p) = w11 ru (p) + w21 rv (p)
(2.24)
nv (p) = w12 ru (p) + w22 rv (p).
(2.25)
A (2.24) egyenletet ru (p)-vel s rv (p)-vel skalrisan szorozva:

hnu (p), ru (p)i = w11 Ep + w21 Fp
hnu (p), rv (p)i = w11 Fp + w21 Gp .
A 2.44. ttel bizonytsban mr hasznltuk, hogy
hnu (p), ru (p)i = hn(p), ruu (p)i = Lp

hnu (p), rv (p)i = hn(p), ruv (p)i = Mp ,
azaz a keresett w11 , w21 egytthatkra az albbi lineris egyenletrendszert kapjuk:

Ep w11 + Fp w21 = Lp
Fp w11 + Gp w21 = Mp ,
vagy mtrix alakban:

Ep Fp
Fp Gp

w11
Lp
=
.
w21
Mp
Az egyenletrendszer alapmtrixa az elso alapforma mtrixa, ami regulris, gy

1
w11
Ep Fp
Lp
=
.
w21
Fp Gp
Mp
Hasonlan eljrva a (2.25) egyenlettel azt kapjuk, hogy:

1
w12
Ep Fp
Mp
=
,
w22
Fp Gp
Np
azaz

1

w11 w12
Ep Fp
Lp Mp
=
.
w21 w22
Fp Gp
Mp Np
A (2.24)(2.25) egyenletektol csak a bal oldal elojelben klnbzo

nu = a11 ru + a21 rv
(2.26)
nv = a12 ru + a22 rv
egyenleteket a fellet Weingarten-egyenleteinek nevezzk. Az elozo bizonyts
alapjn a Weingarten-egyenletekben szereplo aij egytthatk kifejezhetok a fellet elso s msodik alapmennyisgeivel:
F M GL
F N GM
a11 =
,
a
=
,
12
EG F 2
EG F 2
(2.27)
LF EM
F M EN
, a22 =
.
a21 =
2
EG F
EG F 2
2.8. A FELLET GRBLETE
55
Feladatok
2.27. Feladat. Tekintsk az r(u, v) = (cos u, sin u, v) egyenes krhengert. Hatrozzuk meg a dn lekpezs Jacobi-mtrixt! Mi a dn lekpezs kptere? A Jacobimtrixot felhasznlva, definci alapjn, teht a 2.48. Ttelre trtno hivatkozs
nlkl rjuk fl a formaopertor mtrixt a paramtervonal rintok alkotta bzisban!
2.28. Feladat. Tekintsk az
a. r(u, v) = (u, v, u2 v 2 ) nyeregfelletet
b. r(u, v) = (u, v, u2 + kv 2 ), (k > 0) paraboloidot.
Hatrozzuk meg a dn lekpezs Jacobi-mtrixt az origban! Ennek alapjn, a
definci szerint hatrozzuk meg a formaopertor mtrixt az origban a paramtervonal rintok alkotta bzisban!
2.8. A fellet grblete
rv
2.49. Ttel. Legyen r : U R3 regulris parametrizlt fellet, n = krruu
rv k a
felleti normlis. Legyen tovbb c : I U regulris parametrizlt grbe olyan
mdon, hogy a c = r c : I R3 felleti grbe biregulris s termszetes paramterezsu. Ennek Frenet-bzist jellje (T, F, B), grblett . Ekkor
IIp (
c0 (t)) = (t)hn(p), F (t)i, ahol p = c(t).

B IZONYTS . Vegyk figyelembe, hogy dr(p)1 c0 (t) = c0 (t), azaz

Wp (
c0 (t)) = dn(p) c0 (t) ,
(2.28)
gy
IIp (
c (t)) = p (
c0 (t), c0 (t)) = hdn(p)c0 (t), c0 (t)i = h(n c)0 (t), c0 (t)i.
Mivel hn c, c0 i = 0, ezrt a szorzat szably szerint differencilva:

h(n c)0 , c0 i + hn c, c00 i = 0,
gy
IIp (
c(t)) = hn(p), c00 (t)i = hn(p), T 0 (t)i = (t)hn(p), F (t)i,
az utols lpsben a T 0 = F Frenet-formult alkalmazva.
Az elozo llts kzvetlen kvetkezmnyeknt fogalmazhatjuk meg az albbi

ttelt.
2.50. Ttel (Meusnier-ttel). Jellje (t) [0, /2] a p-beli felleti normlis s a felleti grbe t paramterrtkhez tartoz simulskjnak szgt, azaz
= 2 ^(n, B). Ekkor
| II(
c0 (t))| = (t) cos (t).
Amennyiben (t) 6= /2, akkor

(t) =
56
| II(
c0 (t))|
.
cos (t)
(t) = 0 esetn a felleti grbe simulskja tartalmazza a fellet adott pontbeli

normlist s (t) = | II(
c0 (t))|.
2.51. Definci. Az r : U R3 parametrizlt fellet p U pontbeli Xp Tp r
(Xp 6= 0) irnyhoz tartoz normlgrbletn a
r (Xp ) = II(Xp0 ) =
szmot rtjk, ahol Xp0 = Xp /kXp k.
hWp (Xp ), Xp i
hXp , Xp i
A (nem zr) normlgrblet abszolt rtknek geometriai jelentst Meusnier ttele alapjn fogalmazhatjuk meg: az Xp rintovektor s az np felleti
normlis ltal kifesztett sk a felletbol egy felleti grbt metsz ki, melynek
grblete p-ben ppen a normlgrblet abszolt rtke (2.10. bra).
2.10. bra. A henger normlmetszetei

A normlgrblet defincijbl addan r (t Xp ) = r (Xp ), gy egy adott
irnyhoz tartoz normlgrblet megllaptshoz elegendo Xp -t az
Sp1 r = {Xp Tp r | kXp k = 1}
halmazbl (amely egy egysgkr) vlasztani. Az
Sp1 r R, Xp 7 r (Xp )
fggvny egy kompakt halmazon rtelmezett folytonos fggvny, amely flveszi

(esetleg egybeeso) maximumt s minimumt.
2.52. Definci. Az Sp1 r R, Xp 7 r (Xp ) fggvny maximumt s minimumt a fellet p ponthoz tartoz fogrbleteinek nevezzk, mg a hozzjuk tartoz
Xp irnyokat foirnyokknt emltjk.
57
2.53. Ttel (Rodriguez-ttel). A fellet egy p pontjhoz tartoz fogrbletek megegyeznek a p ponthoz tartoz formaopertor sajtrtkeivel, mg a foirnyok a
formaopertor sajtvektorai.
B IZONYTS . A foirny (mint szlsortkhely) a
r : Tp r R, Xp 7 r (Xp ) =
hWp (Xp ), Xp i
hXp , Xp i
lekpezs kritikus pontja, azaz az Xp szlsortkhelyen d r (Xp ) = 0.

d r (Xp ) =
2Wp (Xp )hXp , Xp i 2hWp (Xp ), Xp iXp

=
hXp , Xp i2
2Wp (Xp ) 2r (Xp )Xp
=
,
hXp , Xp i
a hnyados differencilsi szablyt s a 3.9. differencilsi szablyt alkalmazva.

A szmll zrus, gy
Wp (Xp ) = r (Xp ) Xp ,
amit bizonytani kellett.

Szimmetrikus opertor klnbzo sajtrtkeihez tartoz sajtvektorai egymsra merolegesek. Alkalmazva ezt az lltst a formaopertorra, megfogalmazhatjuk, hogy klnbzo fogrbletekhez tartoz foirnyok egymsra merolegesek. Ha a kt fogrblet azonos, akkor minden irny foirny, gy ismt vannak
egymsra meroleges foirnyok.
2.54. Kvetkezmny. A fellet brmely pontjban van kt egymsra meroleges
foirny.
A foirnyok s fogrbletek segtsgvel a fellet minden pontjban tetszoleges irnyban ki lehet a normlgrbletet szmtani:
2.55. Ttel (Euler). Legyen r : U R3 parametrizlt fellet. A p U pontban a
(V1 , V2 ) foirnyok alkossanak ortonormlt bzist. Legyenek a megfelelo fogrbletek 1 , 2 tovbb Xp = cos V1 + sin V2 Tp r egy felleti rintovektor.
Ekkor
r (Xp ) = 1 cos2 + 2 sin2 .
B IZONYTS . Xp egysgvektor, teht
r (Xp ) = hWp (Xp ), Xp i =
= hWp (cos V1 + sin V2 ), cos V1 + sin V2 i
a formaopertor linearitst valamint Rodriguez ttelt felhasznlva:

= hcos 1 V1 + sin 2 V2 , cos V1 + sin V2 i
a skalris szorzst tagonknt elvgezve s felhasznlva V1 s V2 ortogonalitst:
= 1 cos2 + 2 sin2 .
2.9. GAUSS-GRBLET S MINKOWSKI-GRBLET
58
Feladatok
2.29. Feladat (I). Lssuk be, hogy a Dupin-indikatrix (lsd (2.22)) fotengelyei a
foirnyok, s a grbe egyenlete a foirnyok alkotta bzisban
1 2 + 2 2 = 1.
2.9. Gauss-grblet s Minkowski-grblet
A fogrbletek a formaopertor sajtrtkei, gy a formaopertor karakterisztikus egyenletnek megoldsai. A formaopertor karakterisztikus polinomja egy
msodfok fopolinom. Ezt a polinomot a gykk ismeretben knnyen fel tudjuk
rni a gykk s egytthatk kztti sszefggs alapjn. Jellje a fogrbleteket
(egy adott pontban) 1 s 2 ! A karakterisztikus egyenlet:
f (x) = x2 (1 + 2 ) x + 1 2
Az egyenletben szereplo egytthatk kln nevet kaptak:
2.56. Definci. Jellje a fellet egy p U pontjban a fogrbleteket 1 (p)
s 2 (p). Ekkor K(p) = 1 (p) 2 (p) a fellet szorzatgrblete vagy Gauss2 (p)
grblete, mg H(p) = 1 (p)+
a fellet kzpgrblete vagy Minkowski2
grblete.
A definci jellseivel a p pontbeli formaopertor karakterisztikus polinomja
f (x) = x2 2H(p) x + K(p).
A karakterisztikus polinom egytthatit ltalnosan ismerjk: a lineris tag
egytthatja az opertor nyomnak mnusz egyszerese, a konstans tag pedig az
opertor determinnsa. gy a Gauss- s Minkowski-grbletet a fogrbletek
meghatrozsa nlkl is ki tudjuk szmtani:
2.57. Ttel. Jellje a fellet elso alapmennyisgeit E, F , G; a msodik alapmennyisgeit L, M , N .
"
1
#
LN M 2
EF
L M
K = det
=
,
F G
M N
EG F 2
"
2H = trace
1
EF
F G
L M
M N
#
=
LG 2M F + EN
EG F 2
B IZONYTS . Csak a Gauss- s Minkowski-grblet hnyadosknt trtno

felrsa szorul kln bizonytsra. Mivel

1

1
EF
G
F

=
,

F G
F E
E
F

F G
2.10. A GAUSS-EGYENLETEK S A FELLET KOMPATIBILITSI EGYENLETEI
59
ezrt

1
EF
det
F G

G F

F E
EG F 2
1
=
=
=
,
2
E F
(EG F 2 )2
EG F 2

F G
gy a determinnsok szorzsttelt alkalmazva mris kvetkezik a Gaussgrbletre vonatkoz llts.

A mtrix-szorzs elvgzsvel kapjuk a Minkowski-grbletre vonatkoz lltst.

A Gauss-grblet fenti kifejezsben a msodik alapmennyisgek determinnsa is szerepel. A klasszikus felletelmlet nevezetes ttele, hogy ez az elso
alapmennyisgekbol is kiszmthat:
2.58. Ttel (Theorema egregium Gauss). A msodik alapmennyisgek determinnsa, s gy a fellet Gauss grblete kifejezheto a fellet elso alapmennyisgeivel.
A ttel bizonytsra a kvetkezo fejezetben visszatrnk.
Feladatok
2.30. Feladat. Hatrozzuk meg a trusz (ld. 2.12. plda) Gauss- s Minkowskigrblett!
2.31. Feladat. Hatrozzuk meg a csavarfellet (ld. 2.11. feladat) Gauss- s
Minkowski-grblett!
2.32. Feladat. A 2.29. feladat alapjn lssuk be, hogy ha a fellet adott pontbeli Gauss-grblete negatv, akkor a Dupin-indikatrix konjuglt hiperbolapr, ha a
Gauss-grblet zr, akkor a Dupin-indikatrix prhuzamos egyenespr, mg pozitv Gauss-grblet esetn ellipszis.
2.33. Feladat. A tractrix (lsd. 1.4. Feladat) y-tengely krli megforgatsval kapott fellet a tractoid vagy mskppen pszeudoszfra (2.11. bra). Bizonytsuk be,
hogy a pszedoszfra konstans 1 Gauss-grbletu fellet.
2.10. A Gauss-egyenletek s a fellet kompatibilitsi egyenletei
A grbeelmlet Frenet-formuli a grbeponthoz hozzrendelt bzis vltozst
rtk le a paramter fggvnyben, gy jutottunk el a grbeelmlet kt alapveto
fogalmhoz, a grblethez s a torzihoz. A fellet egy pontjban vett (ru , rv , n)
bzis vltozst analg mdon vizsglhatjuk. Legyen r : U R3 parametrizlt
60
2.11. bra. A pszeudoszfra

fellet, minden p U pontban az nu , nv , ruu , ruv = rvu , rvv vektorokat linerisan
kombinljuk az (ru , rv , n)p bzist felhasznlva. Az
nu = a11 ru + a21 rv
nv = a12 ru + a22 rv
Weingarten-egyenleteket mr vizsgltuk a 2.7. fejezetben. A hinyz egyenletek:
ruu = 111 ru + 211 rv + 11 n
(2.29)
ruv = 112 ru + 212 rv + 12 n

rvu = 121 ru + 221 rv + 21 n
rvv = 122 ru + 222 rv + 22 n.
ruv = rvu miatt fennll, hogy

112 = 121 , 212 = 221 .
A 2.29 relcik mindegyikt n-nel skalrisan szorozva, a hru , ni = hrv , ni = 0 s
hn, ni = 1 relcikat felhasznlva rgtn kapjuk a ij egytthatkat:
11 = L, 12 = 21 = M, 22 = N,
ahol (L, M, N ) az r fellet msodik alapmennyisgei.
2.59. Definci. A (2.29) lineris kombincikban szereplo
ijk : U R
differencilhat fggvnyeket a fellet Christoffel-szimblumainak nevezzk,
mg a (2.29) egyenleteket Gauss-egyenleteknek.
2.60. Ttel. A fellet Christoffel-szimblumai kifejezhetok a fellet elso alapmennyisgeivel s azok derivltjaival.
B IZONYTS . A bizonytst rszleteiben csak 111 s 211 -re adjuk meg, a tbbi
Christoffel-szimblumra analg mdon trtnik.
61
A (2.29) Gauss-egyenleteket most ru -val s rv -vel szorozzuk skalrisan:

(2.30)
Ugyanakkor
tovbb
gy
hruu , ru i = 111 E + 211 F
hruu , rv i = 111 F + 211 G.
E = hru , ru i = Eu = 2hruu , ru i, Ev = 2hruv , ru i,

F = hru , rv i = Fu = hruu , rv i + hru , ruv i,
1
hruu , rv i = Fu hru , ruv i = Fu Ev
2
A kapott kifejezseket behelyettestve (2.30)-be az
1
Eu = 111 E + 211 F
2
(2.31)
1
Fu Ev = 111 F + 211 G.
2
inhomogn lineris egyenletrendszert kapjuk a (111 , 211 ), ismeretlenekre, melynek alapmtrixa

EF
,
F G
azaz az elso alapmennyisgek mtrixa, mely nem zr determinns. Az egyenletrendszert a Cramer-szabllyal megoldva:

1

E
F
u

2 1
Fu Ev G
GEu 2F Fu + F Ev
2
=
,
111 =
2
EG F
2(EG F 2 )

1

E
E
u
2

F Fu 1 Ev
2EFu EEv F Eu
2
2
11 =
=
.
EG F 2
2(EG F 2 )
A szmtst hasonlan vgezzk el a tbbi Christoffel-szimblumra. 112 s
212 meghatrozshoz az albbi egyenletrendszert kapjuk:
1
112 E + 212 F = Ev
2
1
112 F + 212 G = Gu ,
2
gy
GEv F Gu 2
EGu F Ev
112 =
, 12 =
.
2
2(EG F )
2(EG F 2 )
A hinyz 122 s 222 meghatrozshoz
1
122 E + 222 F = Fv Gu
2
1
122 F + 222 G = Gv ,
2
62
amibol
122 =
2GFv GGu F Gv 2
EGv 2F Fv + F Gu
, 22 =
.
2
2(EG F )
2(EG F 2 )
Az eredmny egyszerusdik az olyan felleteknl, ahol F = 0 (azaz meroleges paramterezsnl), ilyenkor:

Eu 2
Ev
111 =
, 11 = ,
2E
2G
Gu
Ev
(2.32)
, 212 =
,
112 =
2E
2G
Gv
Gu
.
122 = , 222 =
2E
2G
2.61. Plda (a gmb Christoffel-szimblumai). A 2.25. pldban mr meghatroztuk a gmb elso alapmennyisgeit (a fldrajzi paramterezsnl):
E(u, v) = 1, F (u, v) = 0, G(u, v) = cos2 u.
A (2.32) egyszerustett formulkat hasznlva
sin 2u 2
122 =
, 12 = tg u,
2
a gmb minden ms Christoffel-szimbluma zrus.
A tovbbiakban bebizonytjuk a Theorema egregiumot (2.58. ttel). A vegyes
parcilis derivltak felcserlhetosge alapjn felrhatjuk, hogy
(ruu )v (ruv )u = 0
(2.33)
(rvv )u (rvu )v = 0
nuv nvu = 0.
Ezeket az egyenleteket kompatibilitsi egyenleteknek nevezzk. Mindhrom

egyenlet bal oldaln ll vektor linerisan kombinlhat (s csakis trivilisan)
az (ru , rv , n) bzisban, s a Weingarten- s Gauss-egyenletek alapjn a kombincis egytthatkban a fellet elso, msodik alapmennyisgei s a Christoffelszimblumok szerepelnek. Tegyk meg ezt most az elso egyenlet esetben! A
Gauss-egyenletek alapjn:
(2.34) 111 ruv + 211 rvv + Lnv + (111 )v ru + (211 )v rv + Lv n =
= 112 ruu + 212 rvu + M nu + (112 )u ru + (212 )u rv + Mu n.
Ismt a Gauss-egyenleteket s a Weingarten-egyenleteket hasznlva, csak rv
egytthatit leolvasva mindkt oldalon:
111 212 + 211 222 + La22 + (211 )v = 112 211 + 212 212 + M a21 + (212 )u .
(2.27)-bol berva a12 s a22 rtkt:
(212 )u (211 )v + 112 211 + 212 212 111 212 211 222 =
= La22 M a21 = L
F M EN
LF EM
LN M 2
M
=
E
.
EG F 2
EG F 2
EG F 2
63
A vgeredmnyben a jobb oldal msodik tnyezoje pontosan a Gauss-grblet,

gy
(2.35)
EK = (212 )u (211 )v + 112 211 + 212 212 111 212 211 222 .
Mivel a Christoffel-szimblumok kifejezhetok az elso alapmennyisgekbol, gy

a fenti relci megadja, hogy a Gauss-grbletet hogyan kell kifejezni az elso
alapmennyisgekbol. Ezzel bebizonytottuk a Theorema egregiumot.
2.62. Kvetkezmny. Meroleges paramterezsnl (azaz F = 0 esetn)

1
Ev
Gu
(2.36)
K=
+
.
u
2 EG v
EG
EG
2.63. Megjegyzs (I). Trjnk vissza a (2.34) egyenletre s most n egytthatit
olvassuk le mindkt oldalon!
111 M + 211 N + Lv = 112 L + 212 M + Mu ,
vagy trendezve
(2.37)
Lv Mu = L112 + M (212 111 ) N 211 .
A msodik kompatibilitsi egyenletre (lsd (2.33)) ugyanezt az eljrst alkalmazzuk.

122 ru + 222 rv + N n =
121 ru + 221 rv + M n .
u
v
Majd a Gauss- illetve Weingarten-egyenletek alapjn:
(122 )u ru + (222 )u rv + (N )u n + 122 ruu + 222 rvu + N nu =
= (121 )v ru + (221 )v rv + (M )v n + 121 ruv + 221 rvv + N nv .
Ismt a Gauss-egyenleteket alkalmazva, majd leolvasva n egytthatit mindkt
oldalon, rendezs utn:
(2.38)
Mv Nu = L122 + M (222 121 ) 212 N.
a (2.37)-(2.38) egyenleteket Mainardi Codazzi-egyenleteknek nevezzk.

A grbeelmlet alapttele azt mondta ki, hogy a grblet s a torzi (irnytstart izometritl eltekintve) egyrtelmuen meghatrozza a grbt. Hasonl krdst a felletelmletben is flvethetnk. A Gauss- illetve Weingarten-egyenleteket
a Frenet-egyenletek analgijra kaptuk, gy a trgrbe grblethez s a torzijhoz analg mennyisgek a Christoffel-szimblumok, a msodik alapmennyisgek
s a Weingarten-egyenletekben szereplo aij egytthatk. Azonban e mennyisgek mindegyike kifejezheto az elso s msodik alapmennyisgekbol, gy a krdst gy is megfogalmazhatjuk, hogy tetszolegesen megadott E, F , G, L, M , N
fggvnyek mellett van-e olyan fellet, amelynek elso s msodik alapmennyisgei ppen ezek a fggvnyek. Ezt a problmt formaproblmnak nevezzk.
Nyilvnvalan a megadott fggvnyekre teljeslni kell az EG F 2 > 0 felttelnek. Tovbbi szksges feltteleket adhatunk a ltezshez, ilyen a (2.35) Theorema egregium egyenlete, illetve az elobbiekben levezetett Mainardi Codazziegyenletek. (Mindegyik egyenletben csak az elso s msodik alapmennyisgek s
2.11. ELEMI FELLETEK IZOMETRIKUS LEKPEZSEII
64
ezek derivltjai llnak.) A klasszikus felletelmlet nevezetes ttele, hogy ezek a

felttelek elegendoek is.
2.64. Ttel (a felletelmlet fottele, vagy Bonnet-ttel). Ha az adott E, F , G,
L, M , N differencilhat, ktvltozs fggvnyek eleget tesznek a Theorema
egregium lltsnak, a Mainardi Codazzi-egyenleteknek tovbb E > 0 s
EG F 2 > 0, akkor izometritl eltekintve pontosan egy olyan fellet ltezik,
amelynek elso illetve msodik alapmennyisgei a megadott fggvnyek.
A bizonyts lnyege az, hogy a differencilegyenletknt felfogott Gauss- s
Weingarten-egyenletek a megadott felttelek mellett integrlhatk.
Feladatok
2.34. Feladat. Lssuk be a (2.36) formult.
2.35. Feladat. Lssuk be, hogy

111 + 212 = ln EG F 2

u
112 + 222 = ln EG F 2 .
v
2.36. Feladat. Lssuk be, hogy a z = f (x, y) Euler Monge-alakban adott fellet
Christoffel-szimblumaira teljesl, hogy
kij =
ahol f1 =
f
,
x
f2 =
fij fk
,
1 + f12 + f22
f
.
y
2.37. Feladat. Szmtsuk ki az r(u, v) = (x(u) cos v, x(u) sin v, z(u)) parametrizlt forgsfellet Christoffel-szimblumait!
2.38. Feladat. Az elozo feladat alapjn hatrozzuk meg a trusz Christoffelszimblumait.
2.11. Elemi felletek izometrikus lekpezseiI
Ebben a fejezetben kt fellet egymsra trtno lekpezseivel foglalkozunk.
A jegyzetnkben kiptett eszkzrendszerrel ezt gy tudjuk megtenni, ha a felletekrol felttelezzk, hogy a paramtertartomny pontjai a fellet pontjaival klcsnsen egyrtelmuen vannak megfeleltetve s az inverz lekpezs is folytonos.
2.65. Definci. Az S R3 halmazt elemi felletnek nevezzk, ha van olyan
U R2 nylt halmaz s r : U S differencilhat lekpezs, hogy
1. rang dr(p) = 2 teljesl p U-ra
2. r homeomorfizmus, azaz invertlhat s az inverze is folytonos.
65
A parametrizlt fellet fogalmhoz kpest egy lnyegi s egy csupn technikai

klnbsg van: lnyeges plusz felttel a msodik felttel, technikai klnbsg az
r lekpezs clhalmaza, amely most nem R3 . Az elemi felletek mindig parametrizlt felletek is.
Elemi felletek esetben a paramtertartomnyok kztti lekpezs a felleti
pontok kztt ad lekpezst. Ugyanis, ha r1 : U1 S1 s r2 : U2 S2 kt elemi
fellet s : U1 U2 lekpezs, akkor = r2 r11 : S1 S2 a felletek
kztti megfeleltets:
S1
>
S2
r11
r2
U1
>
U2
A tovbbiakban felttelezzk, hogy diffeomorfizmus. Ha p U1 , akkor p-t s

p0 = (p)-t egymsnak megfelelo pontoknak mondjuk. Az egymsnak megfelelo
pontokban az rinto irnyterek kztt is knnyen tudunk lekpezst adni:
def
d(p)
= dr2 (p0 ) d(p) dr1 (p)1 : Tp r1 Tp0 r2 ,
ahol dr1 (p)1 a dr1 (p) mtrix egy balinverzt jelli, lsd mg a 2.42. megjegyzst.
d(p)
lineris, hiszen mtrixok szorzataknt van rtelmezve. Az elemi felletek
kztti lekpezs helyett elegendo lesz azonban a paramtertartomnyok kztti
lekpzssel foglalkozni, hiszen (mivel feltettk, hogy r1 homeomorfizmus)
mr egyrtelmuen kijelli a megfelelo felleti pontokat.
2.66. Definci. Az r1 : U1 S1 , r2 : U2 S2 elemi felleteket izometrikusaknak nevezzk, ha van olyan : U1 U2 diffeomorfizmus, hogy p U s
X R2 -re
I1 (dr1 (p)X) = I2 (dr2 (p0 )(X 0 )),
ahol p0 = (p), X 0 = d(p)(X), s I1 , I2 a megfelelo elso kvadratikus alapformkat jelli. -t ekkor loklis izometrinak nevezzk.
Izometrikus felletek esetn az elso alapformk is megegyeznek, pontosabban
teljesl, hogy p U s X, Y R2 -re
1 (dr1 (p)X, dr1 (p)Y ) = 2 (dr2 (p0 )(X 0 ), dr2 (p0 )(Y 0 )),
ahol p0 = (p), X 0 = d(p)(X), Y 0 = d(p)Y s 1 , 2 a megfelelo elso alapformkat jelli. gy az egymsnak megfelelo pontokban ugyanazok a fellet elso
66
alapmennyisgei, az egymsnak megfelelo grbk vhossza megegyezik, az egymsnak megfelelo felleti rintovektorok szge megegyezik, az egymsnak megfelelo (mrheto) felletdarabok felszne egyenlo, az egymsnak megfelelo pontokban pedig ugyanaz a Gauss-grblet (a Theorema egregium szerint a Gaussgrblet csak az elso alapmennyisgektol fgg). Ebbol mr kvetkezik a trkpszet egy alapveto tnye: a fldrol nem lehet olyan trkpet kszteni, amelyrol
minden tvolsgot helyesen lehet lemrni:
2.67. Ttel. A gmbnek nincs izometrikus lekpezse a skba.
Indoklsknt elegendo arra utalni, hogy az R sugar gmb Gauss-grblete
(minden pontban) 1/R2 , a sk pedig 0.
A loklis izometrihoz az elso alapmennyisgek megegyezse elegendo is.
2.68. Ttel. Legyen r1 : U S1 R3 s r2 : U S2 R3 kt elemi fellet ugyanazon a paramtertartomnyon rtelmezve. Ha az elso alapmennyisgek a paramtertartomny minden pontjban megegyeznek, azaz E1 (p) = E2 (p),
F1 (p) = F2 (p), G1 (p) = G2 (p), akkor = id loklis izometria a kt fellet
kztt.
B IZONYTS . Legyen X = (x, y)
(xriu (p), yriv (p)), (i = 1, 2), tovbb
R2 . Ekkor dri (p)X
Ii (dri (p)X) = Ei (p)x2 + 2Fi xy + Gi (p)y 2 ,

ahonnan a feltteleket figyelembe vve kvetkezik az llts.
2.69. Plda. (Lsd mg a 2.26. pldt is!) Legyen

r1 : I R R3 , (u, v) 7 r1 (u, v) = (x(u), y(u), v)
hengerfellet, ahol c : I R2 , u 7 c(u) = (x(u), y(u)) parametrizlt grbe, s c

injektv. Ha fltesszk, hogy x02 + y 02 = 1, akkor E1 = 1, s az elso alapmennyisgek megegyezse miatt a henger izometrikus az r2 : I R R3 , (u, v) 7
r1 (u, v) = (u, v, 0) skkal.
Mind a hengerfellet, mind a sk Gauss-grblete zr. Ez a tulajdonsg mr
jellemzi is a skkal izometrikus felleteket.
2.70. Ttel. Egy elemi felletet akkor s csakis akkor lehet izometrikusan lekpezni a skba, ha Gauss-grblete 0.
Megjegyezzk, hogy nem elemi felletek krben az llts mr nem igaz.
Feladatok
2.39. Feladat. Legyen
r(u, v) = (cos sinh v sin u + sin cosh v cos u,
cos sinh v cos u + sin cosh v sin u, u cos + v sin ),
(0 < u < 2, v R, R). r az paramter minden rtkre egy felletet ad. Lssuk be, hogy ezek a felletek izometrikusak. Specilisan = 0ra az r1 (u, v) = (sinh v sin u, sinh v cos u, u) a csavarfelletet, = /2-re az
2.12. PRHUZAMOS ELTOLS A FELLETEN
67
r2 (u, v) = (cosh v cos u, cosh v sin u, v) forgsfelletet, az n. katenoidot kapjuk.

(
v = sinh v helyettestssel kapjuk a csavarfellet szoksos elolltst. gy azt is
belttuk, hogy a katenoid s a csavarfellet izometrikusak, lsd a 2.12. brt.)
2.40.
p Feladat. Lssuk be azt a (szemlletesen nyilvnval) tnyt, hogy a z =
x2 + y 2 > 0 kpfellet loklis izometrival lekpezheto a skra.
2.12. Prhuzamos eltols a felleten
2.71. Definci. Legyen r : U R3 parametrizlt fellet, c : I U regulris grbe. Az X : I R3 differencilhat lekpezst felleti vektormezonek nevezzk a
c grbe mentn, ha t I : X(t) Tc(t) r.
2.72. Plda. Egy c = r c felleti grbe rintoi mindig az rintoskban vannak,
teht c0 felleti vektormezo c mentn, specilisan az ru , rv paramtervonal rintok
felleti vektormezok a paramtervonalak mentn, mg a felleti normlis egyetlen
grbe mentn sem felleti vektormezo.
Az X(t) Tc(t) r felttel azt jelenti, hogy X(t) linerisan kombinlhat a
paramtervonal rintokbol:
X = X1 ru + X2 rv ,
ahol X1 , X2 : I R differencilhat fggvnyeket a felleti vektormezo komponensfggvnyeinek nevezzk.
A felleti vektormezo a definci szerint egy trgrbe, gy derivltjt sebessgvektormezonek is hvhatjuk. A felleti vektormezo sebessg-vektormezoje mr
nem felttlenl felleti vektormezo, mert nem biztos, hogy egy adott paramterrtk mellett az rintoskban van. Kitntetett felleti vektormezok azok, amelyek
sebessg-vektormezoje mindig meroleges az adott pontbeli rintoskra.
2.73. Definci. A c : I U grbe menti X : I R3 felleti vektormezot prhuzamos vektormezonek nevezzk, ha t I-re X 0 (t) Tc(t) r.
A defincit tfogalmazhatjuk gy, hogy a sebessg-vektormezo rintoskra
vonatkoz meroleges vetlete zrus. A sebessg vektormezo rintoskra vonatkoz meroleges vetlett jellje X
, azaz
dt
X
= X 0 hX 0 , nin,
dt
ahol az egyszerusg kedvrt a jellsekben nem utaltunk a c grbre. Az X fel=0
leti vektormezo teht akkor s csakis akkor prhuzamos vektormezo, ha X
dt
teljesl.
(2.39)
2.74. Ttel. Legyen r parametrizlt fellet, az elso alapformjt jellje . Legyenek X, Y felleti vektormezok ugyanazon c grbe mentn. Ekkor

d
X
Y
(X, Y ) =
, Y + X,
dt
dt
dt
2.12. bra. A csavarfellet deformcija katenoidd
68
69
B IZONYTS .
d
d
(X, Y ) = hX, Y i = hX 0 , Y i + hX, Y 0 i =
dt
dt
a (2.39) defincit berva:
Y
X
+ hX 0 , nin, Y i + hX,
+ hY 0 , nini
dt
dt
mivel X s n valamint Y s n merolegesek:
=h
=h
X
Y
X
Y
,Y i + h
, Xi = (
, Y ) + (
, X).
dt
dt
dt
dt
2.75. Kvetkezmny. Ha X s Y prhuzamos vektormezok egy grbe mentn,

akkor (X, Y ) = konstans, azaz egy prhuzamos vektormezo azonos hosszsg
vektorokbl ll, tovbb prhuzamos vektormezok szge lland.
2.76. Plda (I). Legyen a szoksos jellsekkel p = ru / E, q = rv / G, s

tegyk fl, hogy hru , rv i = 0 (a fellet egy felleti ponton thalad kt paramtervonala egymsra meroleges); azaz (p, q) az rintotrben ortonormlt bzis s
n = pq.
Mivel hp, pi = hq, qi = 1, ezrt parcilis derivls utn azt kapjuk, hogy
(2.40)
hpu , pi = hpv , pi = hqu , qi = hqv , pi = 0,
illetve hp, qi = 0, amibol

(2.41)
hpu , qi + hp, qu i = 0, hpv , qi + hp, qv i = 0
kvetkezik. Ugyanakkor

ruu E ru 21E Eu ru rv
rv
ru
hpu , qi = h
, i=h
, i=
u
E
E
G
G
1
=
hruu , rv i.
EG
Felhasznlva, hogy Ev = 2hruv , ru i, s hru , rv i = 0 = hruu , rv i + hru , rvu i =
0, gy
Ev
hruu , rv i = hru , rvu i = ,
2
teht
Ev
(2.42)
hpu , qi =
.
2 EG
Hasonl mdon:
Gu
(2.43)
hpv , qi =
.
2 EG
Legyen c(t) = (u(t), v(t)) parametrizlt regulris grbe a paramterskban,
X(t) = cos (t) p(c(t)) + sin (t) q(c(t)),
70
rviden
X = cos p + sin q
felleti egysgvektor-mezo. Annak szksges s elgsges felttelt vizsgljuk,

hogy X prhuzamos vektormezo legyen c mentn, azaz az X 0 sebessg vektormezo rintoskra eso meroleges komponense 0 legyen. (X, nX) az rintosk ortonormlt bzisa (egy adott pontban). hX, Xi = 0 miatt hX 0 , Xi = 0. gy a vektormezo prhuzamossgnak szksges s elgsges felttele, hogy hX 0 , nXi = 0
teljesljn.
A sebessg-vektormezo:
X 0 = sin 0 p + cos (dp) c0 + cos 0 q + sin (dq) c0 =
= 0 ( sin p + cos q) +
+ cos (pu u0 + pv v 0 ) + sin (qu u0 + qv v 0 )
Msrszt a kifejtsi ttelt alkalmazva

nX = (pq)(cos p + sin q) = cos q sin p.
A (2.40) relcit felhasznlva:
hX 0 , nXi = 0 + cos2 u0 hpu , qi + cos2 v 0 hpv , qi
sin2 u0 hqu , pi sin2 v 0 hqv , pi
a (2.41) egyenlet miatt

= 0 + cos2 u0 hpu , qi + cos2 v 0 hpv , qi
+ sin2 u0 hq, pu i + sin2 v 0 hq, pv i
vgezetl a (2.42) s a (2.43) egyenleteket berva

Gu
Ev
= 0 cos2 u0
+ cos2 v 0
2 EG
2 EG
Ev
Gu
sin2 u0
+ sin2 v 0
2 EG
2 EG
Ev
Gu
= 0 u0
+ v0
.
2 EG
2 EG
Teht X akkor s csakis akkor prhuzamos vektormezo c mentn, ha
(2.44)
1
0 =
(u0 Ev v 0 Gu ) .
2 EG
Ha egy felleten egy adott grbe mentn egy X prhuzamos vektormezot keresnk, akkor a keresett vektormezonek az
(2.45)
X 0 = hX 0 , nin
felttelt kell kielgtenie. A (2.45) egyenlet egy kznsges differencilegyenlet

az X ismeretlen vektormezore. A kznsges differencilegyenletek elmletbol
ismert, hogy adott kezdeti felttel mellett ennek egyrtelmuen van megoldsa.
71
2.77. Ttel. Legyen r : U R3 parametrizlt fellet, c : [t0 , t1 ] U regulris parametrizlt grbe, melynek vgpontjait jellje p0 s p1 , azaz c(t0 ) = p0 s
c(t1 ) = p1 , valamint X0 Tp0 r.
(1) Egyrtelmuen ltezik olyan X : I R3 prhuzamos felleti vektormezo

a c grbe mentn, melyre X(t0 ) = X0 .
(2) A c : Tp0 r Tp1 r, X0 7 X(t1 ) lekpezs lineris izometria Tp0 r s
Tp1 r kztt. Az X(t1 ) vektort ilyenkor az X0 prhuzamos eltoltjnak nevezzk c mentn.
B IZONYTS . Az elso llts igazolsra mr az elozoekben utaltunk. A 2.74.

ttel kvetkezmnye szerint Tp0 r ortonormlt bzisnak kpe Tp1 r ortonormlt
bzisa, ahonnan a ttel msodik lltsa azonnal kvetkezik.

A 2.74. ttel kvetkezmnye szerint azt is megfogalmazhatjuk, hogy a grbe
menti prhuzamos eltols normatart s szgtart.
Specilisan a c : Tp0 r Tp1 r, X0 7 X(t1 ) lekpezsben lehetsges, hogy
p0 = p1 , s c zrt grbe (hurok), mely a p0 pontot nmagval kti ssze. Ilyenkor
X(t1 ) nem felttlenl egyezik meg X0 -al, sot az is elkpzelheto, hogy klnbzo
hurkok mentn ugyanannak a vektornak a prhuzamos eltoltja ms s ms vektor.
Az az irnytott szg, amellyel a c prhuzamos eltols elforgatja az X0 Tp0 r
vektort azonban jellemzo a grbre s nem fgg az rntoskban flvett X0 vektortl, hiszen a prhuzamos eltols szgtart.
2.78. Definci. (A 2.77. ttel jellseivel.) A
Hol(c) = ^(X0 , c (X0 ))
irnytott szget a c grbe holonmijnak nevezzk.
2.79. Plda (a holonmia kiszmtsa meroleges paramterezs esetnI).
A 2.76. plda feltteleivel a (2.44) egyenlet adja a prhuzamos vektormezo hajlsszgnek vltozst, melyet kiintegrlva kapjuk (hurokra) a holonmit:
Z
1
(2.46)
Hol(c) =
(Ev du Gu dv) .
c 2 EG
A holonmia s a fellet Gauss-grblete kztt sszefggs van. Ennek megvilgtshoz az integrlszmts Green-ttelre lesz szksgnk, amelyet rviden
sszefoglalunk. Egy c egyszeru, zrt skgrbe a skot kt rszre bontja, a grbe
klsejre s belsejre (ez a nevezetes Jordan-grbettel). Egy ilyen grbe pozitv irnyts, ha (szemlletesen fogalmazva) nvekvo paramterrtkek szerint a
grbn vgighaladva a grbe belseje bal kz felol esik. Green ttele szerint, ha f
s g sima fggvnyek a skon, akkor

Z
Z
g f
dA(u, v) = (f du + g dv),
u v
c
int c
ahol c pozitv irnyts, egyszeru, zrt skgrbe. (Megjegyezzk, hogy c-rol elegendo lenne feltenni, hogy szakaszonknt sima.)
2.13. GEODETIKUSOK
72
Tegyk fel, hogy r elemi fellet (lsd 2.65). Meroleges paramterezs esetn
a Theorema Egregium szerint (lsd (2.36))

1
Ev
Gu
(2.47)
K=
+
.
u
2 EG v
EG
EG
K r1 felszn szerinti integrljt (lsd 2.33) kpezve a c pozitv irnyts, egyszeru zrt grbre, r(int c)-t X-el jellve:
Z
(K r1 ) dAr =
X

Z
Ev
Gu
=
+
EG dA(u, v) =
v
u
EG
EG
int c 2 EG

Z
Ev
Gu
+
dA(u, v) =
=
v
u
EG
EG
int c 2
a Green-ttelt alkalmazva f = Ev / EG, g = Gu / EG-ra

Z
1
E
G
v du u dv
=
2 c EG
EG
Teht, ha a Green-ttel felttelei teljeslnek, akkor (2.46) s (2.47) sszehasonltsval:
Z
Hol(c) =
(K r1 ) dAr .
X
Ez utbbi formult (mely nemcsak meroleges paramterezsre igaz) holonmiattelnek nevezzk.

Feladatok
2.41. Feladat. Szmtsuk ki a szlessgi krk, specilisan az Egyenlto holonmijt a gmbn.
2.13. Geodetikusok
parametrizlt grbe. A c: I R3 felleti grbt affin geodetikusnak, rviden
geodetikusnak nevezzk, ha a sebessg-vektormezo prhuzamos vektormezo cmentn, azaz
c0
(2.48)
= c00 h
c00 , nin = 0.
dt
A sebessg-vektormezo prhuzamossgbl rgtn kvetkezik, hogy a sebessgvektor hossza konstans a geodetikus minden pontjban, gy a paramter az
vhosszal arnyos.
2.81. Plda. Skgrbkre h
c00 , ni = 0, ahol n a sk norml-egysgvektora, gy
c0
= c00 h
c00 , nin = c00 .
|
{z }
dt
0
2.13. GEODETIKUSOK
73
Teht c(t) = At + B (A, B R3 ), a sk geodetikusai az egyenesek. gy is fogalmazhatunk, hogy a geodetikus az egyenes fogalmnak ltalnostsa a felletre.
Minden linerisan paramterezett egyenes gyorsulsvektora zrusvektor, gy
a linerisan paramterezett szakaszok minden felleten geodetikusok.
2.82. Plda (a gmb geodetikusai). Tekintsk a gmb fldrajzi paramterezst:

r(u, v) = (cos u cos v, cos u sin v, sin u) (u, v) ( , ) R.
2 2
Legyen c hosszsgi kr, azaz u(t) = t, v(t) = v0 (konstans). Mivel ruu (u, v) =
r(u, v) = n, ezrt c0 = u0 ru
c0
= 0,
dt
gy a hosszsgi krk geodetikusok. Viszonylag nehezebb beltni azt, hogy a
gmb minden geodetikusa (konstans plyasebessgu) fokrv.
c00 = u00 ru + u02 ruu = u00 ru + u02 n = n =
Legyen c(t) = (u(t), v(t)) regulris parametrizlt grbe a paramterskban,

c = r c felleti grbe.
c0 = u0 ru + v 0 rv
c00 = u00 ru + u02 ruu + u0 v 0 ruv + v 00 rv + v 0 u0 rvu + v 02 rvv .
ruu , ruv = rvu s rvv rintoskkal prhuzamos komponenseit a Christoffelszimblumokkal fejezhetjk ki:
c0
= u00 + u02 111 + 2u0 v 0 112 + v 02 122 ru +
dt

+ v 00 + u02 211 + 2u0 v 0 212 + v 02 222 rv ,
ahol a Christoffel-szimblumokat, ru -t s rv -t rtelemszeruen a c grbe mentn
kell venni. gy a geodetikusok egyenletrendszere:
(2.49)
u00 + u02 111 + 2u0 v 0 112 + v 02 122 = 0

v 00 + u02 211 + 2u0 v 0 212 + v 02 222 = 0.
(2.49) msodrendu kznsges differencilegyenlet-rendszer az (u, v) ismeretlen

fggvnyekre. A differencilegyenletek elmletbol ismert egzisztencia s unicits ttelt alkalmazva megfogalmazhatjuk a kvetkezo ttelt:
2.83. Ttel. Legyen r : U R3 parametrizlt fellet, p U , X Tp r. Megfeleloen vlasztott > 0-ra egyrtelmuen ltezik a felletnek olyan c: (, ) R3
geodetikusa, melyre c(0) = r(p), c0 (0) = X.
gy is fogalmazhatunk, hogy a fellet minden pontjn, minden irnyban thalad geodetikus, s ez a geodetikus elegendoen kis intervallumon egyrtelmu is.
ltalban az egyrtelmusg nem teljesl, hiszen a geodetikust esetleg meg lehet
hosszabbtani, pldul az egyenlto egy pontjbl kiindul klnbzo hosszsg meridin vek mind geodetikusok.
2.13. GEODETIKUSOK
74
2.84. Ttel. Egy c konstans plyasebessgu, biregulris felleti grbe akkor s

csakis akkor geodetikus, ha az albbi, egymssal ekvivalens felttelek valamelyike
teljesl:
(1) tetszoleges pontjban a fonormlis prhuzamos a felleti normlissal
(2) tetszoleges pontban a simulsk tartalmazza a felleti normlist
(3) |
c0 , c00 , n c| = 0, ahol n a felleti normlis.
B IZONYTS . (T, F, B) jellje a grbe Frenet-bzist, v a konstans plyasebessget, a grbletet! Az elso Frenet-formula alapjn c0 = vT = c00 =
vT 0 = v 2 F , gy
c0
= c00 h
c00 , nin = v 2 F v 2 hF, nin,
dt
azaz c akkor s csakis akkor geodetikus, ha F = n.
Geodetikus esetn F kn, gy n biztosan a simulskban van, hiszen F is ott
van. Megfordtva, ha n a simulskban van, akkor T -re meroleges vektor rvn
csak a fonormlissal prhuzamos vektorrl lehet sz.
A harmadik llts annak szksges s elgsges felttele, hogy a felleti normlis a (
c0 , c00 ) vektorok ltal kifesztett skban legyen, ez a sk azonban a simulsk, mert L(
c0 , c00 ) = L(T, F ).

2.85. Plda (az egyenes krhenger geodetikusai). A linerisan paramterezett alkotk geodetikusok, a tovbbiakban csak a biregulris geodetikusokat keressk az
elozo ttel alapjn.
A geodetikust a paramterskban c(t) = (x(t), y(t)) alakban keressk. A henger parametrizlsa:
r(u, v) = (a cos u, a sin u, v),
a felleti normlis
n(u, v) = (cos u, sin u, 0)
(2.50)
a felleti grbe
(2.51)
c = (a cos x, a sin x, y)
c0 = (ax0 sin x, ax0 cos x, y 0 )
c00 = (ax00 sin x ax02 cos x, ax00 cos x ax02 sin x, y 00 )
(a grbe paramtert nem rtuk ki). A felleti grbe konstans plyasebessgu,

(2.52)
k
c0 k2 = a2 x02 + y 02 = konstans,
s F k
c00 A 2.84. ttelt alkalmazva s sszehasonltva a (2.50) egyenletet a (2.51)
egyenlettel, azt kapjuk, hogy y 00 = 0, teht y(t) = t + (, R). Mivel
y 0 = , gy a (2.52) egyenletbe behelyettestve azt kapjuk, hogy x0 is konstans,
azaz x(t) = t + (, R). Teht a henger geodetikusai:
(2.53)
c(t) = (a cos(t + ), a sin(t + ), t + ).
Geometriailag (2.53) hengeres csavarvonal ( 6= 0 s 6= 0) vagy kr ( = 0).

A kifejezs az 6= 0, = 0 esetben egybknt tartalmazza az alkotkat is, ezek
nem biregulris geodetikusok.
2.13. GEODETIKUSOK
75
A henger geodetikusai teht az alkotk, a keresztmetszetkrk vagy a hengeren fut hengeres csavarvonalak.
2.86. Plda. Ha egy felletnl E = 1, F = 0 s (kvetkezskppen) G > 0,
akkor az (s, v = konstans) paramtervonalak vhossz-paramterezsu geodetikusok. Valban, a fellet meroleges paramterezsu (F = 0), gy a Christoffelszimblumok (2.32) alapjn szmthatk, specilisan: 111 = 0, 211 = 0, 112 = 0.
Teht a geodetikusok egyenletrendszere (2.49) alapjn
u00 + 122 v 02 = 0
(2.54)
v 00 + 2u0 v 0 212 + 222 v 02 = 0.
Mivel a c(s) = (s, v0 ) grbre u00 = 0, v 0 = v 00 = 0, gy a grbe a geodetikusok

egyenletrendszert kielgti.
2.87. Definci. Azt mondjuk, hogy egy fellet geodetikus koordinta-rendszerrel
van adva, ha elso alapmennyisgeire E = 1, F = 0, G(u, v) > 0 teljesl.
Az elozo plda szerint a geodetikus koordinta-rendszerrel adott felleten a
v = konstans paramtervonalak vhossz-paramterezsu geodetikusok, az u =
konstans paramtervonalak (melyeket parallel grbknek is nevezik) ezeket merolegesen metszik. A (a, t) s (b, t) parallel grbk kztt az (s, v0 ) geodetikus
vhossza |a b|. Bizonyos rtelemben minden felleten bevezetheto geodetikus
koordinta-rendszer, mert minden felleti pont elegendoen szuk krnyezetben a
felletdarabot meg lehet adni geodetikus koordinta-rendszerrel. Ennek a tnynek
a trgyalsa kvl esik a jegyzet keretein. Geodetikus koordinta-rendszerrel adott
felletre plda a gmb fldrajzi paramterezse vagy a forgsfellet szoksos paramterezse, ha a generl grbe vhossz-paramterezsu (lsd 2.16. Feladat).
Az affin geodetikusok szoros kapcsolatban vannak az vhosszmrssel. Eloszr ezt egy nagyon knnyen belthat ttellel vilgtjuk meg.
2.88. Ttel. Legyen az r : U R3 fellet geodetikus koordinta-rendszerrel adva. Ekkor a
c(s) = r(s, v0 ), a s b
alakban adott geodetikus vhossza nem nagyobb, mint az P = r(a, v0 ), Q =
r(b, v0 ) pontokat sszekto tetszoleges felleti grbe hossza.
B IZONYTS . Legyen a kt felleti pontot sszekto msik felleti grbe

(t) = (u(t), v(t)), tovbb r((t0 )) = P s r((t1 )) = Q (t0 < t1 ). Az vhossz:
Z t1 p
Z t1
02
02
() =
u (t) + G(u(t), v(t))v (t) dt
|u0 (t)| dt
t0
t0
t1
t0
u0 (t) dt = u(t1 ) u(t0 ) = b a = (

c).
Az elozo ttel nem azt lltja, hogy egy tetszoleges geodetikus kt felleti
pont kztt a legrvidebb felleti grbe lenne. Egyrszt a ttel csak geodetikus
2.14. A GAUSSBONNET TTEL
76
koordinta-rendszerben adott felletrol szl, msrszt csak nagyon specilis formj geodetikusrl. Ha kt felleti pont kztt a legrvidebb felleti grbt keressk, akkor a
Z t1
`(u(t), v(t), u0 (t), v 0 (t)) dt,
(2.55) (c) =
t0
`(u, v, u0 , v 0 ) = Eu02 + 2F u0 v 0 + Gv 02
funkcionl szlsortkeire vagyunk kvncsiak, ahol c(t) = (u(t), v(t)). a kt
rgztett felleti pontot sszekto grbre megadja a grbe vhosszt. A variciszmts elmletbol ismert, hogy a szlsortket ad grbnek ki kell elgtenie
az n. EulerLagrange-egyenleteket:
`
d `
d `
`
= 0,
= 0.
0
u dt u
v dt v 0
Az EulerLagrange-egyenletrendszer megoldsait stacionrius grbknek szoks
nevezni. (A stacionrius grbe nem felttlenl megoldsa a szlsortk feladatnak.)
2.89. Ttel. Az EulerLagrange egyenletrendszer vhossz-paramterezsu megoldsai pontosan az vhossz-paramterezsu geodetikusok.
B IZONYTS . A bizonytst csak geodetikus
koordinta-rendszerrel adott
u02 + Gv 02 , a Christoffelfelletre vgezzk el. Ekkor `(u, v, u0 , v 0 ) =
szimblumokat pedig (2.32)-bol ismerjk.
d `
Gu v 02
d 2u0
Gu 02
`
=
v u00 = 122 v 02 u00
0
u dt u
2`
dt 2`
2
`
d `
Gv v 02
d 2v 0 G
Gv v 02
=
v 00 G v 0 (Gu u0 + Gv v 0 ) =
v dt v 0
2`
dt 2`
2

= G v 00 2u0 v 0 212 2v 02 222 222 v 02 ,
azaz valban a (2.54) egyenleteket kapjuk.
Teht kt felleti pontot sszekto legrvidebb felleti grbe csak affin geodetikus lehet.
Feladatok
2.42. Feladat. Vezessk le az egyenes krhenger geodetikusait a geodetikusok
(2.49) egyenletrendszere alapjn is.
2.43. Feladat. Lssuk be, hogy geodetikus koordinta-rendszerrel adott fellet
Gauss-grbletre K = ( G)Guu .
2.14. A Gauss Bonnet-ttelI
A skgrbk geometriai jellemzsnek egyik fontos mennyisge a grblet
0
volt, melyet a = hT v,N i formulval rtelmeztnk, ahol (T, N ) a skgrbe Frenetbzisa, v a plyasebessg (lsd 1.16. definci). Ezt a fogalmat ltalnostjuk egy
77
felleti grbre. Egy felleti grbe ltalban trgrbe, s gy a T rintovektor derkszgu elforgatottjnak csak tengely krl van rtelme. Ha a tengelyt (s annak
irnyt) a felleti normlis jelli ki, akkor radsul T elforgatottja az adott pontbeli rintoskban van.
0
grbe, c = r c a megfelelo felleti grbe. Legyen v = k
c0 k, T = cv , n =
(ru rv )0 , s jellje az n krli /2 szgu elforgatst rotn !
1. N = rotn T , (T, N ) a felleti grbe Frenet-bzisa
i
2. g = h(T )/dt,N
a felleti grbe geodetikus grblete.
v
A definci szerint egy geodetikus vonal geodetikus grblete zrus. Megfordtva, ha egy grbe geodetikus grblete zrus, akkor tparamterezheto geodetikuss, amint azt rgtn beltjuk. Megjegyezzk, hogy
h(T )/dt, N i
hT 0 hT 0 , nin, N i
hT 0 , N i
(2.56)
g =
=
=
.
v
v
v
2.91. Ttel. Ha : I1 I paramtertranszformci s c1 = c , akkor a
0
c1 grbe geodetikus grbletre g1 = |0 | g , azaz a geodetikus grblet
irnytstart paramtertranszformcival szemben invarins, mg irnytsvlt
paramtertranszformcinl elojelet vlt.
B IZONYTS . (2.56) alapjn az llts rgtn kvetkezik abbl, hogy
T1 = T
N1 = N
T10 = T 0 0
v1 = |0 | v ,
ahol irnytstart paramtertranszformcinl a +, mg irnytsvlt paramtertranszformcinl a elojelek rtendok. A fenti relcikat felhasznlva
hT10 , N1 i
0 hT 0 , N i
= 0
.
v1
| |
v
2.92. Ttel. Legyen r parametrizlt fellet, c = r c regulris felleti grbe. Ha c

geodetikus grblete zrus s olyan paramtertranszformci, hogy c1 = c
termszetes paramterezsu, akkor c1 geodetikus.
B IZONYTS . Ha c1 termszetes paramterezsu, akkor
meroleges T1 = c1 -re, gy a Fourier elolltst vve
c01
dt
= c001 h
c001 , nin
c01
c0
= h 1 , N1 iN1 = g1 N1 .
dt
dt
Ha c geodetikus grblete zrus, akkor az elozo ttel miatt c1 = c geodetikus
grblete is zrus, azaz c1 valban geodetikus.

A fejezet tovbbi rszben csak geodetikus koordinta-rendszerrel adott felletekrol lesz sz, azaz E = 1, F = 0, G > 0. (Korbban mr emltettk,
78
hogy ez nem jelent lnyeges megszortst, lsd a 2.87. Defincit kveto megjegyzst.) Ekkor E1 = ru , E2 = rvG ortonormlt bzis a fellet minden pontjban. Erre a bzisra vonatkozan csakgy, mint a skgrbk esetben tettk, lsd
az 1.25. Defincit, be lehet vezetni egy felleti grbe hajlsszgfggvnyt.
2.93. Definci. Legyen r geodetikus koordinta-rendszerrel adott fellet, c =
r c : I R3 termszetes paramterezsu felleti grbe, (T, N ) a Frenet-bzisa.
A : I R differencilhat fggvnyt a c felleti grbe hajlsszgfggvnynek
nevezzk, ha
(2.57)
T (t) = cos (t) E1 (c(t)) + sin (t) E2 (c(t))
teljesl.
A skgrbk elmletben tbbszr hasznltuk a hajlsszgfggvny s a grblet kztt fennll sszefggst, lsd 1.27. Ennek ltalnostst mondjuk ki
felleti grbkre.
2.94. Ttel. A 2.93. Definci jellseivel. A felleti grbe geodetikus grbletre
(2.58)
g = 0 + ( G)u v 0 ,
ahol c(t) = (u(t), v(t)).
B IZONYTS . (2.57) alapjn
T 0 = 0 sin E1 c + sin (E1 c)0 + 0 cos E2 c + sin (E2 c)0 ,
illetve
N = sin E1 c + cos E2 c.
Felhasznlva, hogy hEi c, Ei ci = 1 (i = 1, 2), azt kapjuk, hogy

hEi c, (Ei c)0 i = 0,
tovbb hE1 c, E2 ci = 0-bl az kvetkezik, hogy
h(E1 c)0 , E2 ci + hE1 c, (E2 c)0 i = 0.
Ezeket a relcikat hasznlva:

g = hT 0 , N i = 0 + h(E1 c)0 , E2 ci =
1
= 0 + h(ru c)0 , rv ci =
G
1
= 0 + (u0 hruu c, rv ci + v 0 hruv c, rv ci) =
G

1
= 0 + u0 211 G + v 0 212 G .
G
Geodetikus koordinta-rendszerben 211 = 0, 212 =
llts mr kvetkezik.
Gu
2G
( G)u
,
G
ahonnan az
79
Vzlatosan megmutatjuk, hogy a (2.58) formult alkalmazva hogyan juthatunk el a Hopf-ttel (1.39) ltalnostshoz felletre. Kpezzk a geodetikus grblet grbe menti integrljt egy c pozitv irnyts egyszeru, zrt skgrbre!
A (2.58) relcit s a 2.79. pldban megismert mdszer szerint a Green-ttelt
alkalmazva:
Z
Z
Z
Z
Z
0
0
g = +
K r1 ,
G=
c
ahol r(int c)-t X-el jelltk. trendezve,

Z
Z
Z
1
K r + g = 0 .
X
c
R c0
Ha c egyszeru, periodikusan zrt, akkor c = k2 (k Z), hiszen az rintovektor a grbe kezdopontjban s vgpontjban ugyanaz. Skon Hopf ttele szerint
pozitv irnyts grbre 2-t kapunk, ez nyilvn igaz lesz minden olyan felletre, amely a skkal izometrikus, ehhez geodetikus koordinta-rendszerrel adott felletnl elegendo, hogy G = 1. Ha olyan felleteket vizsglunk, melyre (geodetiR
kus koordinta-rendszerben) G() = +(1)G ( [0, 1]), akkor () = c
rtke mindig k2 (valamely k egszre), folytonos, ugyanakkor = 1-re (Hopf
ttele szerint) (1) = 2. gy () = 2. Ezzel a Hopf-ttel egy ltalnostst
kaptuk felletekre.
2.95. Ttel. Ha az r : U R3 fellet megadhat geodetikus koordintarendszerrel, c : I U pedig pozitv irnyts, egyszeru, periodikusan zrt grbe,
X = r(int c), akkor
Z
Z
X
K r1 +
g = 2.
c
Ha a felleti grbe csak szakaszonknt sima regulris grbe, pontosabban

megegyezik a paramtertartomny egy egyszeru poligonjnak diffeomorf kpvel, akkor a grbe (felleti poligon) trspontjaiban (cscspontjaiban) az rintovektor = ^(
c0be , c0ki ) szggel vltozik, ahol cbe a cscspontba befut, mg cki
a cscspontbl kifut grbe, az szg a felleti poligon klso szge a cscspontban. Ennek az irnytott szgnek az rtke a (, ) intervallumban van. (A
fordulpontot, azaz ahol a klso szg , kizrjuk.)
2.96. Ttel (loklis Gauss Bonnet-ttel). Tegyk fel, hogy az r : U R3 fellet megadhat geodetikus koordinta-rendszerrel, P egy egyszeru poligonlemez a
paramterskban, mely hatrgrbjt P jelli. D : P X legyen diffeomorfizmus P -rol az X r(U) halmazra. X pozitv irnytssal vett hatrgrbjnek
geodetikus grblett jellje g , X klso szgeit pedig 1 , . . . , n . Ekkor
Z
Z
n
X
1
K r +
g +
i = 2.
X
i=1
Ha a felleti poligon geodetikus poligon, azaz oldalai geodetikusok, akkor az

oldalak geodetikus grblete zrus. i = i -vel jellve a geodetikus poligon
belso szgt, megfogalmazhatjuk a Gauss Bonnet-ttel egyszeru kvetkezmnyt:
80
2.97. Kvetkezmny. (A 2.96. Ttel feltteleivel.) Egy X geodetikus poligonra

Z
n
X
K r1 .
i (n 2) =
i=1
Az elobbi lltst specilisan gmbre alkalmazva kapjuk a gmbhromszgek

szgsszegre vonatkoz, elemi ton is bizonythat sszefggst:
(2.59)
r2 ( + + ) = A,
ahol , , a gmbhromszg belso szgeit, A pedig a terlett jelli. A formula beltshoz elegendo csak arra hivatkozni, hogy a gmb Gauss-grblete
1/r2 , ahol r jelli a gmb sugart. (2.59) nyilvnval kvetkezmnye, hogy egy
gmbhromszg szgsszege -tol nagyobb.
3. FEJEZET
Appendix
3.1. Bilineris s kvadratikus formk
3.1. Definci. Legyen V vals vektortr. A B : V V R lekpezst bilineris
formnak nevezzk, ha x, y, z V s , R esetn teljesl, hogy
B(x + y, z) = B(x, z) + B(y, z)
B(x, y + z) = B(x, y) + B(x, z),
azaz B mindkt vltozban lineris.

A B bilineris forma szimmetrikus, ha
x, y : B(x, y) = B(y, x).
A B szimmetrikus bilineris forma egy
Q : V R, x 7 Q(x) = B(x, x)
lekpezst szrmaztat, melyet B polris formj kvadratikus formnak neveznk.

3.2. Ttel. Kvadratikus forma polris formja egyrtelmu.
B IZONYTS . A definci jellseivel, B bilinearitst s szimmetrijt hasznlva:
Q(x + y) = B(x + y, x + y) = B(x, x) + 2B(x, y) + B(y, y) =
= Q(x) + 2B(x, y) + Q(y),
ahonnan
Q(x + y) Q(x) Q(y)

,
2
azaz a Q egyrtelmuen meghatrozza a polris formjt.
B(x, y) =
3.3. Definci. Egy Q : V R kvadratikus formt pozitv definitnek neveznk,

ha
x V : Q(x) 0 s Q(x) = 0 x = 0.
3.4. Plda. A h, i : Rn Rn R kanonikus skalris szorzat szimmetrikus bilineris forma, mely polris formja az x 7 kxk2 (x Rn ) fggvny, s ez pozitv
definit.
3.5. Definci. Legyen B = (b1 , . . . , bn ) a V vektortr egy bzisa. A B : V
V R bilineris forma B-re vonatkoz mtrixt a bij = B(bi , bj ) sszefggssel
rtelmezzk. Egy kvadratikus forma adott bzisra vonatkoz mtrixn a polris
formjnak ugyanerre a bzisra vonatkoz mtrixt rtjk.
81
FGGVNYEK DIFFERENCILSA
3.2. TBBVLTOZS, VEKTORRTKU
82
3.2. Tbbvltozs, vektorrtku fggvnyek differencilsa

Vzlatosan ttekintjk a tbbvltozs, vektor rtku fggvnyek differencilsrl tanultakat. A vals rtku (akr tbbvltozs) fggvnyek differencilszmtsra, gy pldul a parcilis derivlt fogalmra, nem trnk ki.
3.6. Definci. Legyen U Rn nem res nylt halmaz, s tekintsnk egy f : U
Rm lekpezst. Legyen x U . Ha ltezik olyan : Rn Rm lineris lekpezs,
hogy
kf (x + h) f (x) (h)k
lim
= 0, (x + h U ),
h0
khk
akkor azt mondjuk, hogy f differencilhat az x pontban. f -et differencilhatnak
mondjuk U -n, ha annak minden pontjban differencilhat. -nek az Rn s Rm
vektorterek kanonikus bzisaira vonatkoz mtrixt az f lekpezs x-beli Jacobimtrixnak nevezzk s df (x)-el jelljk.
Ha a definciban szereplo lineris lekpezs ltezik, akkor egyrtelmu. A
derivlt lineris lekpezs jellsre tbb konvenci is szoksos az irodalomban,
pl. f 0 (x) = , df (x) = . A tovbbiakban az f 0 (x) jellst csak az egyvltozs
fggvnyekre hasznljuk, a szoksos rtelemben.
Jelljk f komponensfggvnyeit (f1 , . . . , fm )-el. Meg lehet mutatni, hogy f
akkor s csakis akkor differencilhat egy x pontban, ha komponensfggvnyeinek mindegyike differencilhat x-ben, s ekkor f Jacobi mtrixa:

fj
df (x) =
(x) Rmn (j = 1 . . . m, i = 1 . . . n.)
xi
Megjegyezzk, hogy pusztn a parcilis derivltak ltezsbol a differencilhatsg nem kvetkezik, ehhez a parcilis derivltak folytonossga is kell.
3.7. Plda. Legyen : Rn Rm lineris lekpezs. Ekkor x Rn -re differencilhat, s 0 (x) = .
Valban:
(x + h) (x) (h) = (x) + (h) (x) (h) = 0,
teht a vizsglt hatrrtkben a szmll zrus.
3.8. Plda. Legyen F : Rn Rn affin lekpezs, a csatolt lineris lekpezse

GL(n). (Azaz x Rn -re F (x) = (x) + x0 teljesl valamely rgztett x0
vektorra.) Ekkor x Rn -re F differencilhat, s F 0 (x) = .
Valban:
F (x + h) F (x) (h) = (x + h) + x0 ((x) + x0 ) (h) =
a szmll ismt nulla.
= (x) + (h) + x0 (x) x0 (h) = 0,
3.9. Plda. Legyen A Rnn szimmetrikus mtrix, s
f : Rn R, f (x) = hAx, xi.
Ekkor f differencilhat, s f 0 (x)(y) = 2hAx, yi.
FGGVNYEK DIFFERENCILSA
3.2. TBBVLTOZS, VEKTORRTKU
83
|hA(x + h), x + hi hAx, xi 2hAx, hi|

|f (x + h) f (x) 2hAx, hi|
=
=
khk
khk
|hAh, hi|
kAhk khk
=
= kAhk,
khk
khk
a Cauchy-Schwarz egyenlotlensget hasznlva. Ha h 0, akkor Ah 0, gy az
lltst belttuk.
3.10. Ttel (lncszably). Tegyk fel, hogy E Rn nylt halmaz, f : E Rm ,
f differencilhat x E-ben; g egy f (E)-t tartalmaz nylt halmazt Rk -ba kpez, s g differencilhat f (x)-ben. Ekkor az F = g f : E Rk lekpezs is
differencilhat x-ben s
(3.1)
F 0 (x) = g 0 (f (x)) f 0 (x).
Ha (3.1) minden x-re teljesl, azt a kvetkezokppen is rhatjuk:

F 0 = (g 0 f ) f 0 .
3.11. Definci. Ha az f : U Rm lekpezs minden komponensfggvnynek

valamennyi rendu parcilis derivltja ltezik s folytonos U -n, akkor azt mondjuk,
hogy az f lekpezs C -osztly U -n.
A jegyzetben a fggvnyekre akkor mondjuk, hogy differencilhatak, ha
C -osztlyak (azaz akrhnyszor differencilhatak), ellenttben a vals analzissel, ahol a differencilhatsg egyszeri differencilhatsgot jelent. Remljk,
ez nem okoz flrertst.
3.12. Definci. f : U V diffeomorfizmusa U -nak egy V Rn nylt halmazra,
ha differencilhat, bijektv s az inverze is differencilhat lekpezs.
A lncszably alkalmazsval knnyen igazolhatunk egy fontos sszefggst, nevezetesen, hogy diffeomorfizmus derivltja sohasem lehet zrus. Legyen
f : R R diffeomorfizmus. Ekkor f 1 f = id. Derivljuk ezt az sszefggst
valamely x pontban! A lncszablyt alkalmazva s felhasznlva, hogy az identitsnak, mint lineris transzformcinak a derivltja nmaga, tovbb id(1) = 1:

f 10 f (x) f 0 (x) = 1.
Innen leolvashat, hogy az f 0 (x) 6= 0.

Ha most az f f 1 = id sszefggsbol indulunk ki, akkor ismt a lncszablyt alkalmazva f 0 f 1 (x) f 10 (x) = 1. Ha f 0 6= 0 teljesl az rtelmezsi
tartomny pontjaira, kapjuk az inverz fggvny derivlsi szablyt:
1
(3.2)
f 10 (x) = 0 1
.
f (f (x))
4. FEJEZET
A feladatok megoldsai
1.3. a. A felttelek szerint a mozgst a h flegyenesen r0 = ar (a < 0) adja meg,
ahol r = d(O, M ), a kezdeti felttel r(0) = b. Ennek a kezdeti rtk problmnak
a megoldsa r(t) = b exp(at), azaz a paramteres elollts
c(t) = (b cos(t) exp(at), b sin(t) exp(at)) .
b. kc0 (t)k = b2 (1 + a2 ) exp(2at), tovbb
t

Z
1
1
exp(2at) = .
exp(2at)dt = lim
t 2a
2a
0
0
0
0
1.5. c0 () = ( sin()r()
p+ cos()r (), cos()r() + sin()r ()), gy a plyasebessg fggvny: v = r()2 + r0 ()2 .
1.6. Az 1.19. Ttel alapjn:

c : t 7 (t, sin t),
c : t 7 (1, cos t), v(t) = 1 + cos2 t, T =

cos t 1
N =J T =
,
v v
c00 : t 7 (0, sin t);
0
1 cos t
,
v v

,
azaz
(t) =
hc00 (t), N (t)i

sin t
sin t
= 3 =
.
2
v (t)
v
(1 + cos2 t)3/2
1.13. c. A grbe paramtere legyen a grbepont xy skra vonatkoz meroleges

vetletnek irnyszge, azaz a grbe paramteres elolltst az albbi alakban
keressk:
c(t) = ((t) cos t, (t) sin t, (t) ctg ).
gy az rinto (a (t) rdiuszvektor paramterfggst az egyszerusg kedvrt
nem kirva )
c0 (t) = (0 cos t sin t, 0 sin t + cos t, 0 ctg ),
illetve a plyasebessg
p
v = 02 + 2 + 02 ctg2 =
84
p
02 + 2 sin2
.
sin
4. A FELADATOK MEGOLDSAI
85
Teht az rinto s a (0, 0, 1) vektor szgnek koszinusza, azaz

0
cos
0 cos
0 ctg
q
=p
=
02
v
2
02 + 2 sin2
2 + sin
lland, gy azonban
0
= A = lland.
Az elozo sszefggst mint a fggvnyre vonatkoz differencilegyenletet tekintve, a megoldsok (t) = A exp(at) alakak.
1.14. Jelljk a c biregulris skgrbe skgrbeknt definilt grblett 2 -vel, a
biregulris trgrbeknt definilt grblett pedig -val, (c0 , c00 ) = .
hc00 , J c0 i
kc0 k kc00 k cos( + /2)
kc0 k kc00 k sin
=
=
=
v3
v3
v3
kc0 c00 k
= .
=
v3
1.15. vhossz-paramterezsben
2 =
c0 = T
c00 = F
c000 = 0 F + F 0 = 0 F + (T + B)
= 2 T + 0 F + B.
1.16. A c grbe s0 -hoz tartoz harmadik Taylor-polinomja az 1.15. feladat alapjn:

1
1
p(s) = c(s0 ) + c0 (s0 )(s s0 ) + c00 (s0 )(s s0 )2 + c000 (s0 )(s s0 )3
2
6
1
= c(s0 ) + (s s0 )T0 + (s0 )(s s0 )2 F0 +
2
1
+ (s s0 )3 (2 (s0 )T0 + 0 (s0 )F0 + (s0 ) (s0 )B0 ) =
6

1 2
3
= c(s0 ) + (s s0 ) (s0 )(s s0 ) T0 +
6

1
1 0
1
2
3
3
+ (s0 )(s s0 ) + (s0 )(s s0 ) F0 + (s s0 ) (s0 ) (s0 ) B0
2
6
6
A simulskra vonatkoz meroleges vetlet msodik Taylor-polinomja:
c(s0 ) + X(s)T0 + Y (s)F0 ,
ahol
1
X(s) = (s s0 ), Y (s) = (s0 )(s s0 )2 ,
2
azaz a vetlet msodik Taylor-polinomjnak egyenlete a (c(s0 ), T0 , F0 ) affin
koordinta-rendszerben
1
Y = (s0 )X 2 .
2
86
Hasonlan, a rektifiklskra vonatkoz meroleges vetlet harmadik Taylorpolinomjnak egyenlete a (c(s0 ), T0 , B0 ) affin koordinta-rendszerben
1
Z = (s0 ) (s0 )X 3 .
6
2.1. Legyen
: R3 R3 , p 7 (p) = M p + c (M GL(3), c R3 )
affin transzformci, a q msodrendu fellet egyenlete F (p) = 0, ahol

F : R3 R, p 7 F (p) = hAp, pi + 2ha, pi + .
p q 0 1 (p) = M 1 (p c) q, azaz M 1 (p c) kielgti q egyenlett:

hAM 1 (p c), M 1 (p c)i + 2ha, M 1 (p c)i + = 0.
A skalris szorzsok bilinearitst felhasznlva kapjuk, hogy
hAM 1 p, M 1 pi hAM 1 c, M 1 pi hAM 1 p, M 1 ci+
+ hAM 1 c, M 1 ci + 2ha, M 1 pi 2ha, M 1 ci + = 0,
azaz
hM 1t AM 1 p, pi hM 1t AM 1 c, pi hp, M 1t At M 1 ci+
+ hAM 1 c, M 1 ci + 2hM 1t a, pi 2ha, M 1 ci + = 0.
Felhasznlva, hogy At = A, a konstansokat 0 -vel jellve:
hM 1t AM 1 p, pi 2hM 1t AM 1 c, pi + 2hM 1t a, pi + 0 = 0,
gy q 0 egyenlete
ahol
hA0 p, pi + 2ha0 , pi + 0 = 0,
A0 = M 1t AM 1 , a0 = M 1t a M 1t AM 1 c.
Legyen p0 a q cscspontja, azaz F (p) = 0 s Ap0 + a = 0. Ekkor (p0 ) a q 0
cscspontja, ugyanis
A0 p00 + a0 = M 1t AM 1 (M p0 + c) + M 1t a M 1t AM 1 c =
= M 1t Ap0 + M 1t AM 1 c + M 1t a M 1t AM 1 c =
= M 1t (Ap0 + a) = 0.
2.2. F (x, y, z) = x y z, dF (x, y, z) = (y, x, 1). dF a tr egyetlen pontjban
sem zrusvektor, akkor a fellet pontjaiban sem lehet az.
2.3. F (x, y, z) = x2 + y 2 z 2 + 1, dF (x, y, z) = (2x, 2y, 2z), amely vektor
csak az origban nullvektor. Az orig azonban a felletnek nem pontja.
A (0, 0, 1) illetve (0, 0, 1) pontok illeszkednek a felletre. Az elso pontra
z > 0, a msodikra z < 0, gy a kt pontot sszekto folytonos grbnek van
olyan pontja, amelyre z = 0. Ez ellentmonds, mert a felleten ilyen pont nincs.
2.4. Ugyanennek a ponthalmaznak msik egyenlete x = 0, amely mr regulris
elolltst ad.
2.5. n(u, v) = (cos u cos v, cos u sin v, sin u).
87
2.10. (2, 1, 1)
2.12. ru (u, v) = c0 (u) + vc00 (u), rv (u, v) = c0 (u). gy
ru (u, v) rv (u, v) = v(c00 (u) c0 (u)).
Ha v 6= 0, akkor a fellet regulris.

2.16. A forgsfellet paramterezse
r(u, v) = (x(u) cos v, x(u) sin v, z(u)), (u I, v R),
ahol c(u) = (x(u), 0, z(u)) a generl grbe s a forgstengely a z tengely.

ru (u, v) = (x0 (u) cos v, x0 (u) sin v, z 0 (u))
rv (u, v) = (x(u) sin v, x(u) cos v, 0),
gy E(u, v) = x0 (u)2 + z 0 (u)2 , F (u, v) = 0, G(u, v) = x(u)2 .
2.17. A 2.16. feladatban kiszmtottuk a forgsfellet elso alapmennyisgeit. Mivel most a generl grbe vhossz-paramterezsu, E = 1, gy
p
EG F 2 = x2 (s) = |x(s)| = (s).

Alkalmazva a felszn (2.16) defincijt:
Z `
Z 2 Z `
(s) ds.
(s) ds dv = 2
A=
0
A trusz esetn a generl grbe paramteres elolltsa, paramternek az vhosszat vlasztva, (a + b cos(s/b), 0, b sin(s/b)), azaz (s) = a + b cos(s/b). gy
Z 2b
2
a + b cos(s/b) ds = 4 2 ab + b [sin(s/b)]2
A = 2
0 = 4 ab.
0
2.18. Az ltalnossg megszortsa nlkl felttelezhetjk, hogy a gmbi ktszg

kt cscsa az szaki-, illetve Dli-plus. A cilindrikus vettsben a gmbi ktszgnek megfelelo hengerdarabot a skra kitertve olyan tglalapot kapunk, amelynek
egyik oldala 2, a msik oldala . gy a keresett terlet 2.
2.19. Legyen a keresett grbe a paramterskban c(u) = (u, v(u)), gy a felleten
c0 (u) = ru (c(u)) + v 0 (u)rv (c(u)), rviden c0 = ru + v 0 rv . A fldrajzi paramterezsnl
E = hru , ru i = 1, F = hru , rv i = 0, G = hrv , rv i = cos2 u, gy
k
c0 k = 1 + v 02 G, teht
cos =
hru , c0 i
hru , ru i + v 0 hru , rv i
1
p
=
=
.
0
kru k k
ck
1 + v 02 cos2 u
hru , ru i 1 + v 02 G
Ngyzetre emels utn rendezve:
tg2
cos2 u
Mivel hegyesszg, a fenti kifejezsbol v 0 6= 0, azaz v 0 lland elojelu. A keresett
fggvnyre teht
Z
tg
1
0
v =
= v = tg
du.
cos u
cos u
v 02 =
88
Az integrlt kiszmolva

u
(4.1)
v(u) = tg ln tg
+
+C , u ,
.
4 2
2 2
(A + jel vlasztsakor a grbe keletre, a vlasztsnl nyugatra csavarodik.)
A (4.1) egyenletet tanulmnyozva a v(u) fggvny rtkkszlete R. A v paramter
a gmb forgsfelletknt val szrmaztatsnl a z tengely krli forgats szgt
jelentette, gy megllapthatjuk, hogy a loxodroma a gmbn vgtelen sokszor
csavarodik.

4.1. bra. A loxodroma (az brn pirossal) a hosszsgi krket lland szgben
metszi.
2.20. Az vhossz
Z u2
=
1 + v 02 cos2 u du =
u1
a 2.19. feladat alapjn

Z u2 p
Z u2
Z u2 r
tg2
1
2
2
cos u du =
=
1+
1 + tg du =
du =
cos2 u
cos u1
u1
u1
1
=
(u2 u1 ).
cos
2.23. Elegendo arra utalni, hogy knk2 = kru rv k2 = EG F 2 , ld. (2.15).
2.24.

x0 (s) cos v x0 (s) sin v z 0 (s)

|ru rv , ruu | = x(s) sin v x(s) cos v 0 = x(s)(z 00 (s)x0 (s) z 0 (s)x00 (s)).
x00 (s) cos v x00 (s) sin v z 00 (s)
x>0
A forgsfelletnl EG F 2 = |x(s)| = x(s) (2.16. feladat), gy
L(s, v) = z 00 (s)x0 (s) z 0 (s)x00 (s).
Hasonlan, M = 0, N (s, v) = z 0 (s)x(s).

2.25. L = 1/b, M = 0, N = a cos(s/b) + b cos2 (s/b).
2.26. A Dupin-indikatrix egyenlete 1 = 2. Mivel az origban ru = (1, 0, 0),
rv = (0, 1, 0), ezrt az egyenletbol rgtn leolvashat, hogy konjuglt hiperbolaprrl van sz.
89
2.27. n(u, v) = (cos u, sin u, 0), gy
sin u 0

dn(u, v) = cos u 0 = ru (u, v) 0 .
0 0
dn kptere megegyezik L(ru )-val.
W (ru ) = ru , W (rv ) = 0, gy a formaopertor mtrixa a fellet mindegyik
pontjban

1 0
.
0 0

2 0
2 0
2.28. a.
. b.
.
0 2
0 2k
2.29. Az (ru , rv ) bzisban a Dupin-indikatrix magmtrixa

L M
Q=
.
M N
Jellje (V1 , V2 ) a foirnyok alkotta bzis. Az (ru , rv ) (V1 , V2 ) bziscsere mtrixa legyen S, azaz
V1 = s11 ru + s21 rv
V2 = s12 ru + s22 rv .

1 0
t
A feladat lltsa azt jelenti, hogy S QS =
. (4.2) egyenleteit skalrisan
0 2
szorozva ru -val s rv -vel:
(
(
hV1 , ru i = s11 E + s21 F
hV1 , rv i = s11 F + s21 G
.
hV2 , ru i = s12 E + s22 F
hV2 , rv i = s12 F + s22 G
(4.2)
ru s rv Fourier-elolltst vve a (V1 , V2 ) ortonormlt bzisban:

ru = (s11 E + s21 F )V1 + (s12 E + s22 F )V2
rv = (s11 F + s21 G)V1 + (s12 F + s22 G)V2 ,

1
1
t E F
t
1 E F
azaz S = S
= S = S
. A formaopertor mtrixt
F G
F G
ismerjk mind az (ru , rv ) bzisban (2.48. Ttel), mind a (V1 , V2 ) bzisban. gy a
mtrix transzformcis trvnyt felrva azt kapjuk, hogy

1

L M
1 0
1 E F
S
S=
,
F G
M N
0 2
gy valban,
S
L M
M N

S=

1 0
.
0 2
90
2.37. A 2.16. feladatban meghatroztuk az elso alapmennyisgeket:

E = x02 + z 02 , F = 0, G = x2 .
gy Eu = 2(x0 x00 + z 0 z 00 ), Ev = 0, Fu = 0, Fv = 0, Gu = 2xx0 , Gv = 0.
Behelyettestve a (2.32)-be:
x0 x00 + z 0 z 00 2
1
11 =
, 11 = 0,
x02 + z 02
x0
112 = 0, 212 =
x
0
xx
122 = 02
, 222 = 0.
02
x +z
2.41. Legyen a c szlessgi kr latitudja u, a gmb sugara egysgnyi. A szlessgi kr ltal hatrolt gmbsveg felszne (Arkhimdsz srfelrata alapjn)
2 cos u(1 sin u), az egysggmb Gauss-grblete K = 1, gy a holonmiattel
szerint Hol(c) = 2 cos u(1 sin u). Az Egyenltore u = 0, gy az Egyenlto
holonmija 2, azaz az Egyenlto mentn eltolt felleti rintovektor prhuzamos
eltolskor nmagba kerl vissza. Ms szlessgi krkre ez a tulajdonsg nem
igaz.
2.43. A 2.36 alapjn geodetikus koordinta-rendszerben

1
G2
Gu
1
Guu
G2u
Guu
K=
u2 ,
=
=
2G
4G
2 G u
G
2 G
G 2G G
ami pontosan a megadott kifejezssel egyenlo.
5. FEJEZET
wxMaxima munkalapok
Az albbiakban megtalljuk a jegyzetben kidolgozott wxMaxima munkalapok
jegyzkt. A felsorolsban flkvren szedett sz adja meg a fjl nevt. A fjlmellkletben mindegyik fjl pdf vagy wxm kiterjesztssel szerepel. Az elso fjl
tartalmazza a munkalap nyomtatott kpt, a msodik a wxMaxima munkalapot.
ciklois: cikloisok
tractrix: a traktrix
sin_gorbulet: skgrbe grblete
evoluta: parametrizlt skgrbe evoltja
fundamental_2: a grbeelmlet alapttele skban (egzisztencia)
kuposcsavar: a kpos csavarvonal
parabola_forgatasa: a parabola megforgatsa
feluleti_normalis: a felleti normlis kiszmtsa
egyparam: egyparamteres izometriacsoport ltal generlt fellet
mobius: a Mbius-szalag
mercator: a Mercator-trkp
formaop_nyereg: a nyeregfellet formaopertora
formaop_paraboloid: a paraboloid formaopertora
torus_gorbulet: a trusz grblete
helicoid: a csavarfellet grblete
tractoid: a pszeudoszfra grblete
torus_christoffel: a trusz Christoffel-szimblumai
katenoid: a katenoid deformcija csavarfellett
91
Irodalomjegyzk
[1] Manfredo P. do Carmo. Differential geometry of curves and surfaces. Prentice-Hall Inc., Englewood Cliffs, N.J., 1976.
[2] Wilhelm Klingenberg. A course in differential geometry. Springer-Verlag, New York, 1978.
[3] Kurusa rpd. Bevezets a differencilgeometriba. Polygon, Szeged, 1999.
[4] Michael Spivak. A comprehensive introduction to differential geometry. Vol. II. III. Publish or
Perish Inc., Wilmington, Del., second edition, 1979.
[5] Szilasi Jzsef. Bevezets a differencilgeometriba. Kossuth Egyetemi Kiad, Debrecen,
1998.
[6] Szokefalvi-Nagy Gyula, Gehr Lszl, Nagy Pter. Differencilgeometria. Muszaki Knyvkiad, Budapest, 1979.
[7] V. T. Vodnyev. Differencilgeometriai feladatgyujtemny. Muszaki Knyvkiad, Budapest,
1974.
92

Görbék És Felületek

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Görbék És Felületek

Uploaded by

Copyright:

Available Formats

Grbk s felletek elemi

Lektorlta: dr. Hoffmann Mikls foiskolai tanr

Kszlt a TMOP 4.1.2-08/1/A Tananyagfejleszts s tartalomfejleszts

A PROJEKTEK AZ E URPAI U NI TMOGATSVAL , AZ E URPAI S ZOCILIS

1. fejezet. Grbk differencilgeometrija

2. fejezet. Felletek differencilgeometrija

4. fejezet. A feladatok megoldsai

5. fejezet. wxMaxima munkalapok

C -osztlyak, azaz akrhnyszor differencilhatak.

A regularitsi felttel nyilvn teljesl:

c0 (t) = (a sin(t), a cos(t)), kc0 (t)k = a 6= 0.

A kc0 (t)k = a sszefggs, mely a kerleti sebessg s a szgsebessg kzti

1.1. PARAMETRIZLT GRBK

1.1. bra. Hengeres csavarvonal

kc0 (t)k = a2 2 + b2 6= 0, azaz a regularitsi felttel teljesl. Im c-t hengeres

lekpezst plyasebessg fggvnynek (vagy plya menti sebessgnek), mg a

lekpezst sebessg-vektormezonek nevezzk. c0 (t) a grbe t paramterrtku

fggvny pedig a grbe vhosszfggvnye.

1.1. PARAMETRIZLT GRBK

1.2. bra. Nem regulris grbe

1.1. PARAMETRIZLT GRBK

a vltoz helyettestsre vonatkoz ttel szerint.

az vhosszfggvny. 0 (t) = v(t) > 0, teht a fggvny szigoran monoton

= | 10 (t)| kc0 ( 1 (t))k = | 10 (t)| v( 1 (t))

fggvnyt. Alkalmazva az inverz fggvny differencilsrl tanultakat (lsd

1.12. Plda. Vezessk be az vhosszat paramternek a

1.1. PARAMETRIZLT GRBK

vges, (azaz a [0, ) intervallumon c vhossza vges).

b. Hatrozzuk meg ennek alapjn az r() = a archimdeszi spirl elso

1.2. SKGRBK FRENET-BZISA

1.2. Skgrbk Frenet-bzisa

1.3. bra. Frenet-bzis

1.15. Ttel. Legyen c : I R2 parametrizlt skgrbe. Ekkor van olyan : I

1.2. SKGRBK FRENET-BZISA

B IZONYTS . Bontsuk fel a T 0 s N 0 vektorokat T -vel s N -nel prhuzamos

Derivlva a hT, T i = 1 sszefggst: 2hT 0 , T i = 0; hasonlan 2hN 0 , N i = 0.

1.17. Kvetkezmny (Frenet-formulk, vagy derivcis formulk).

Innen lthatjuk, hogy T 0 = N , teht az elso Frenet-formula szerint c grbleti

1.2. SKGRBK FRENET-BZISA

B IZONYTS . A grblet albbi kifejezst hasznljuk:

h02 (c00 ) + 00 (c0 ), 0 (J c0 )i

1.21. Kvetkezmny. Skgrbe grblete irnytstart paramtertranszformcival szemben invarins.

1.23. Kvetkezmny. Skgrbe grblete irnytstart izometrival szemben invarins.

1.2. SKGRBK FRENET-BZISA

(1) s-nek van olyan I [a, b] krnyezete, hogy s1 , s2 , s3 I-re

(ez a Cauchy-fle kzprtkttel lltsa), gy a c(s2 ) c(s1 ) vektor /2 szgu

1.2. SKGRBK FRENET-BZISA

hc0 (qi ), c(qi ) C(s1 , s2 , s3 )i = 0 i = 1, 2.

hc00 (`), c(`) C(s1 , s2 , s3 )i = 1.

hc0 (s), c(s) Ci = 0

hc00 (s), c(s) Ci = 1.

1.8. Feladat. Legyen c : I R2 parametrizlt skgrbe, mely grbletrol

grbt c evoltjnak nevezzk. Mutassuk meg, hogy az evolta t-beli rintoje

Ekkor minden olyan : [a, b] R differencilhat fggvnyt, melyre T = ,

B IZONYTS . A szakasz lineris elolltsbl lthat, hogy grblete nulla.

1.30. Ttel. A konstans, nem nulla grbletu skgrbk a krvek.

d(t) = kT2 (t) (T1 (t))k2 + kN2 (t) (N1 (t))k2 .

d-t derivlva s a Frenet-formulkat felhasznlva:

1.4. A KRLJRSI TTEL

c(0) = c(2) = c(4)

1.6. bra. Zrt skgrbk

1.35. Definci. c : [a, b] R2 periodikusan zrt skgrbe krljrsi szma

1.4. A KRLJRSI TTEL