Görbék És Felületek Elemi Differenciálgeometriája

Grbk s felletek elemi
differencilgeometrija
Kozma Lszl Kovcs Zoltn
Lektorlta: dr. Hoffmann Mikls f oiskolai tanr
Eszterhzy Kroly F oiskola
Kszlt a TMOP 4.1.2-08/1/A Tananyagfejleszts s tartalomfejleszts
klns tekintettel a matematikai, termszettudomnyi, m uszaki s informatikai
(MTMI) kpzsekre plyzat keretben
A PROJEKTEK AZ EURPAI UNI TMOGATSVAL, AZ EURPAI SZOCILIS
ALAP TRSFINANSZROZSVAL VALSULNAK MEG
Debrecen Nyregyhza 2011.
Tartalomjegyzk
El osz 4
Jelmagyarzat 5
1. fejezet. Grbk differencilgeometrija 6
1.1. Parametrizlt grbk 6
1.2. Skgrbk Frenet-bzisa 11
1.3. A skgrbe meghatrozsa a grbletb ol 16
1.4. Skgrbk globlis elmlete I: a krljrsi ttel$ 18
1.5. Skgrbk globlis elmlete II: a ngy cscspont ttele$ 21
1.6. Trgrbk Frenet-bzisa 23
1.7. A grblet s a torzi tulajdonsgai, a grbeelmlet alapttele 26
2. fejezet. Felletek differencilgeometrija 31
2.1. Implicit felletek 31
2.2. Parametrizlt felletek 34
2.3. Felleti grbk 42
2.4. Mrs a felleten, a fellet els o alapmennyisgei 44
2.5. A fellet els o alapformja 49
2.6. Az oszkull paraboloid, a fellet msodik alapmennyisgei 50
2.7. A fellet msodik alapformja s a formaopertor 52
2.8. A fellet grblete 55
2.9. Gauss-grblet s Minkowski-grblet 58
2.10. A Gauss-egyenletek s a fellet kompatibilitsi egyenletei 59
2.11. Elemi felletek izometrikus lekpezsei$ 64
2.12. Prhuzamos eltols a felleten 67
2.13. Geodetikusok 72
2.14. A Gauss Bonnet-ttel$ 76
3. fejezet. Appendix 81
3.1. Bilineris s kvadratikus formk 81
3.2. Tbbvltozs, vektorrtk u fggvnyek differencilsa 82
4. fejezet. A feladatok megoldsai 84
5. fejezet. wxMaxima munkalapok 91
Irodalomjegyzk 92
3
EL
OSZ 4
El osz
A jegyzet matematika alapszakos hallgatknak kszlt a Differencilgeomet-
ria tantrgyhoz. Tematikjban lefedi a grbk s felletek elemi differencil-
geometrijt. Az anyag sszevlogatsban igyekeztnk mrtktartak lenni, az
anyag a jelenlegi formjt azutn nyerte el, miutn tbbszr is sikeresen feldol-
gozsra kerlt a Nyregyhzi F oiskoln heti kt rban nappali tagozaton illet-
ve a levelez o kpzsben. Bizonyos megszokott anyagrszek (hogy csak nhnyat
emltsnk a grbeelmletb ol: evolta, evolvens, grbesereg burkolja, vetlet a
ksr o trider skjaira) kimaradtak, a kiegszt o anyagba, vagy a feladatok kz
kerltek.
El oismeretek. Felttelezzk a Lineris algebra tantrgy biztos ismerett
(mtrixszmts, vektorterek, lineris lekpezsek, sajtrtk problma). Mag-
tl rt od o el oismeret mg az analzis tananyag a vals tbbvltozs fggvnyek
differencil- s integrlszmtsval bezrlag. A kvadratikus formkrl, vala-
mint a vektorvltozs, vektorrtk u fggvnyek differencilszmtsrl tanulta-
kat sszefoglaltuk az Appendixben.
Feladatok. Csaknem minden fejezet utn feladatok vannak, melyek megol-
dsa segtheti a tananyag megrtst. Az alapszakos kpzsben a Differencilgeo-
metria el oadshoz gyakorlat is tartozik, a gyakorlatokon feldolgozott feladatanyag
az ittenit ol b ovebb, s ehhez rendelkezsre is llnak klnbz o pldatrak. A jegy-
zet feladatai kiindulpontot jelenthetnek a gyakorlatokhoz, illetve a tananyag j-
raolvassakor adnak gyakorlsi lehet osget.
A wxMaxima hasznlata. A jegyzetben a szmtsi feladatok egy rszhez
wxMaxima tmogatst adunk. A munkalapok csak a szmolst, a kifejezsek
egyszer ubb alakra hozst knnytik meg. Szndkosan nem ksztettnk cso-
magot a differencilgeometriai mennyisgeket tartalmaz fggvnyekkel, teht
csak a Maxima ltalnosan hozzfrhet o fggvnyeit hasznltuk. Emellett sa-
jt munkalapok rsra btortjuk az olvast, akr a hzi feladatok ellen orzs-
re, akr a klnbz o grbk, felletek brzolsra. A munkalapok letlthet ok a
zeus.nyf.hu/kovacsz/DG_TAMOP/
cmr ol, vagy direkt linkkel pdf formban elrhet ok a jegyzetb ol.
Debrecen Nyregyhza, 2011. prilis
Kozma Lszl, Kovcs Zoltn
JELMAGYARZAT 5
Jelmagyarzat
Az albbi listban megadjuk a jegyzetben kln magyarzat nlkl hasznlt
fontosabb jellsek listjt.
R
nm
: az n m tpus vals mtrixok halmaza
GL(n) = A R
nn
[ det A ,= 0: az ltalnos lineris csoport
O(n) = A GL(n) [ A
1
= A
t
: 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
x, y): az x, y R
n
vektorok termszetes skalris szorzata, azaz
x, y) =
n
i=1
x
i
y
i
|x|: az x R
n
vektor normja, |x| =
_
x, x)
x y: az x, y R
3
vektorok vektorilis szorzata
$: kiegszt o anyag, nehz feladat
R
n
-t gyakran beazonostjuk R
n1
-el, anlkl, hogy erre kln felhvnnk a
gyelmet. gy pldul x R
n
s A R
nn
esetn Ax R
n
-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 leg-
egyszer ubb, ha az orig rgztse utn megadjuk helyzetvektort az id o fggv-
nyben. Ebb ol a helyzetvektor-id o fggvnyb ol a mozgs kinematikai jellemz oit
mr meg lehet adni, az els o derivltja (ha ltezik) a sebessg, a msodik derivltja
a gyorsuls. Parametrizlt grbe alatt egy ilyen helyzetvektor-id o fggvnyt fo-
gunk rteni. A mozg pont plyja egy ponthalmaz a skban vagy a trben ezt
egyszer uen grbnek nevezzk. Az elemi grbeelmlet egyik clja, hogy a para-
metrizlt grbe ismeretben a grbe, azaz a ponthalmaz geometriai jellemz oire
kvetkeztessen.
1.1. DEFINCI. Legyen I Resetleg elfajul, de nemegypont intervallum,
n = 2 vagy 3. Egy c: I R
n
differencilhat lekpezst regulris parametrizlt
grbnek, neveznk, ha minden t I-re teljesl a c
(t) ,= 0 regularitsi felttel.

Az I intervallumot paramtertartomnynak nevezzk. n = 2 esetn skgrbr ol,
n = 3 esetn trgrbr ol beszlnk. ltalnos rtelemben skgrbr ol beszlnk
akkor is, ha Imc-t R
3
egy skja (ktdimenzis lineris sokasga) tartalmazza.
1.2. PLDA (egyenletes krmozgs). Egy pont lland > 0 szgsebes-
sggel mozog egy a > 0 sugar, orig kzppont krn. Hatrozzuk meg a
helyzetvektor-id o lekpezst! A t = 0 id opontban a pont koordinti (a, 0).
A pont irnyszge t id opontban = t, gy koordinti(a cos(t), a sin(t)).
Teht a grbe paramteres el olltsa:
c: [0, ) R
2
, t c(t) = (a cos(t), a sin(t)).
A regularitsi felttel nyilvn teljesl:
c
(t) = (a sin(t), a cos(t)), |c
(t)| = a ,= 0.
A |c
(t)| = a sszefggs, mely a kerleti sebessg s a szgsebessg kzti

kapcsolatot adja meg, a kzpiskolai zikbl ismer os lehet.
A paramteres el olltsbl azonnal kvetkezik, hogy a mozgsra x
2
+y
2
= a
2
teljesl, ami a kr egyenlete (x = a cos(t), y = a sin(t)). Az a sugr a mozgs
geometriai jellemz oje, a mozgs zikai jellemz oje.
1.3. PLDA (hengeres csavarvonal). Egy a sugar egyenes forgshenger ten-
gelye 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-id o
fggvnyt. A t = 0 id opontban a pont koordinti (a, 0, 0).
6
1.1. PARAMETRIZLT GRBK 7
x
y
z
1.1. bra. Hengeres csavarvonal
A mozgs vetlete az xy skra egyenletes krmozgs, a z tengelyre pedig
egyenesvonal egyenletes mozgs. gy a paramteres el ollts:
c: [0, ) R
3
, t c(t) = (a cos(t), a sin(t), bt) (a, b > 0).
|c
(t)| =
a
2
2
+b
2
,= 0, azaz a regularitsi felttel teljesl. Imc-t hengeres
csavarvonalnak nevezzk (1.1. bra).
1.4. PLDA (nem regulris grbk). Ac(t) = (t
2
, t
3
), (t R) differencilhat
grbe (ld. 1.2. bra) nem regulris, mert t = 0-ban c
(0) = (2t, 3t
2
)
t=0
= (0, 0).
Ac(t) = (t
3
, t
3
) grbe kpe egyenes (egyenlete y = x), de a grbe az origban
nem regulris. Ugyanennek az egyenesnek regulris el olltsa pl. c(t) = (t, t).
1.5. DEFINCI. Legyen c: I R
n
parametrizlt grbe. A
v : I R, t v(t) = |c
(t)|
lekpezst plyasebessg fggvnynek (vagy plya menti sebessgnek), mg a
c
: I R
n
, t c
(t)
lekpezst sebessg-vektormez onek nevezzk. c
(t) a grbe t paramterrtk u

ponthoz tartoz sebessgvektora, mg a c(t) +L(c
(t)) egydimenzis lineris so-

kasg a t paramterrtk u ponthoz tartoz rint oegyenes.
A c: I R
n
parametrizlt grbt termszetes paramterezs unek, vagy v-
hossz paramterezs unek mondjuk, ha t I : v(t) = 1.
Legyen most I = [a, b]. (c) =
_
b
a
v() d a grbe vhossza, a
: [a, b] R, (t) =
_
t
a
v() d
fggvny pedig a grbe vhosszfggvnye.
1.6. MEGJEGYZS. Az vhossz geometriai bevezetsvel nem foglalkoztunk,
felttelezzk, hogy az olvas az analzis tanulmnyokbl ismeri a rektiklhat
grbk vhossznak dencijt s az vhossz kiszmtst a grbe differencilha-
tsgnak felttelezse mellett.
x
y
1.2. bra. Nem regulris grbe
1.7. TTEL. Legyen c: I R
n
parametrizlt grbe,

I R, I s

I vals
intervallumok. Ha :

I I diffeomorzmus s c = c, akkor c is parametrizlt
grbe.
BIZONYTS. A regularitsi felttelt kell ellen orizni c-re. A lncszablyt al-
kalmazva:
c
(t) = c
((t))
(t).
Mivel c regulris, ezrt a szorzat els o tnyez oje, mivel diffeomorzmus, ezrt a
szorzat msodik tnyez oje egyetlen paramterrtkre sem nulla.
1.8. DEFINCI. Legyenek c: I R
n
s c:

I R
n
parametrizlt grbk.
Ha ltezik olyan :

I I diffeomorzmus, hogy c = c , akkor c-t s c-t
ekvivalens grbknek nevezzk, -t pedig paramtertranszformcinak. Ha r-
adsul t

I-re
(t) > 0 is teljesl, akkor irnytstart vagy orientcitart

paramtertranszformcirl beszlnk.
1.9. TTEL. A parametrizlt grbk ekvivalencija ekvivalenciarelci.
1.10. TTEL. Ekvivalens grbk vhossza megegyezik.
BIZONYTS. Az 1.7. ttel jellseivel. Legyen : [a, b] [(a), (b)] szi-
goran monoton nveked o. Ekkor
_
b
a
| c
()| d =
_
b
a
|c
(())
()| d =
=
_
b
a
|c
(())|
() d =
_
(b)
(a)
|c
()| d
a vltoz helyettestsre vonatkoz ttel szerint.
1.11. TTEL. Minden parametrizlt grbe ekvivalens egy termszetes para-
mterezs u grbvel, azaz az vhossz mindig bevezethet o paramternek.
BIZONYTS. Legyen c: [a, b] R
n
parametrizlt grbe,
: [a, b] R, (t) =
_
t
a
v() d
az vhosszfggvny.
(t) = v(t) > 0, teht a fggvny szigoran monoton

nveked o, azaz invertlhat, teht diffeomorzmus. Az inverze:
1
: [0, (c)] [a, b].
Legyen c = c
1
: [0, (c)] R
n
. Szmtsuk ki c plyasebessg-fggvnyt,
azaz a
v(t) = |(c
1
)
(t)| = |(c
(
1
(t))
1
(t)| =
= [
1
(t)[ |c
(
1
(t))| = [
1
(t)[ v(
1
(t))
fggvnyt. Alkalmazva az inverz fggvny differencilsrl tanultakat (lsd
(3.2)):
v(t) =
1
[
(
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] R
3
, t c(t) = (a cos t, a sin t, b t), (a, b > 0)
hengeres csavarvonalon.
Az vhosszfggvny:
: [0, 2] R,
t (t) =
_
t
0
a
2
+b
2
d =
a
2
+b
2
_
t
0
=
a
2
+b
2
t.
Az vhosszfggvny inverze:
1
_
0, 2
a
2
+b
2
_
[0, 2], s
1
a
2
+b
2
s.
A ttel bizonytsa szerint a c = c
1
fggvny lesz a problma megoldsa,
teht:
c:
_
0, 2
a
2
+b
2
_
R
3
,
s c(s) =
_
a cos
s
a
2
+b
2
, a sin
s
a
2
+b
2
, b
s
a
2
+b
2
_
.
Ellen orizzk, hogy a plyasebessg fggvny tnyleg a konstans 1 fggvny!
Feladatok
1.1. FELADAT. Egy r sugar kr csszs nlkl grdl egy egyenes mentn.
rjuk fel a kr kzppontjtl d tvolsgra elhelyezked o, a krhz kpest rgztett
helyzet u pont plyjnak paramteres el olltst. (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 kezd opont
h flegyenesen (a kezd oponttl tvolodva), mikzben h lland szgsebessggel
forog az O krl. M plyjt archimdeszi spirlnak nevezzk. rjuk fel az archi-
mdeszi spirl egy paramteres el olltst!
1.3. FELADAT. Az O kezd opont h flegyenes egysgnyi szgsebessggel
forog O krl, ugyanakkor az M pont az OM tvolsggal arnyos sebessggel
mozog h-n.
a. A t = 0 id opontban M tvolsga O-tl b s M az O-hoz kzeledik. rjuk
fel M plyjnak egy paramteres el olltst. (Logaritmikus spirl.)
b. Bizonytsuk be, hogy (c-vel jellve a paramteres el olltst)
lim
t+
_
t
0
|c
(t))| dt
vges, (azaz a [0, ) intervallumon c vhossza vges).
1.4. FELADAT. Legyen c: (0, ) R
2
,
c(t) =
_
sin t, cos t + log tg
t
2
_
,
(traktrix).
a. Bizonytsuk be, hogy egyetlen olyan pont, ahol c nem regulris, a t = /2
paramterrtk u pont.
b. Bizonytsuk be, hogy a traktrix egy rint ojnek az rintsi pont s az y
tengely kz es o szakasza mindig 1 hosszsg.
1.5. FELADAT. Tekintsk egy skgrbe polrkoordints el olltst:
r : [a, b] R
2
, r();
azaz c() = (cos r(), sin r()).
a. Bizonytsuk be, hogy a grbe vhossza:
_
b
a
_
r()
2
+r
()
2
d.
b. Hatrozzuk meg ennek alapjn az r() = a archimdeszi spirl els o
menetnek az vhosszt!
1.2. SKGRBK FRENET-BZISA 11
1.2. Skgrbk Frenet-bzisa
2
parametrizlt skgrbe. Ekkor egyrtelm uen
lteznek olyan T, N: I R
2
differencilhat lekpezsek, hogy t I-re:
(i) (T(t), N(t)) pozitv ortonormlt bzis R
2
-ben;
(ii) T(t) a c
(t)-nek pozitv skalr szorosa.

BIZONYTS. Legyen T(t) = c
(t)/v(t). Ekkor T(t) nyilvn egysgvektor,

tovbb az (ii) felttel is teljesl.
Jelljk J-vel R
2
pozitv irny /2 mrtk u elforgatst, azaz
J : R
2
R
2
, (x, y) (y, x).
J lineris transzformci, teht differencilhat. Legyen N = J T, gy (i) telje-
sl. N differencilhat, mert differencilhat lekpezsek kompozcija.
Az egyrtelm usg onnan kvetkezik, hogy T(t)-t ortonormlt bziss ponto-
san ktflekppen lehet kiegszteni, nevezetesen /2 szg u elforgatsokkal, de
a /2 szg u elforgats negatv bzist adna.
1.14. DEFINCI. (Az el oz o ttel jellseivel.) T-t rint o egysgvektormez o-
nek, T(t)-t rint o egysgvektornak, N-t norml egysgvektormez onek, N(t)-t a t
paramterrtk u ponthoz tartoz normlis vektornak nevezzk. A (T, N) prt a
grbe Frenet-bzisnak nevezzk.
x
y
c(t)
T(t)
N(t)
1.3. bra. Frenet-bzis
2
parametrizlt skgrbe. Ekkor van olyan
: I R differencilhat fggvny, hogy
T
= N
N
= T.
BIZONYTS. Bontsuk fel a T
s N
vektorokat T-vel s N-nel prhuzamos

komponensekre:
T
= T
, T) T +T
, N) N
N
= N
, T) T +N
, N) N.
Derivlva a T, T) = 1 sszefggst: 2T
, T) = 0; hasonlan 2N
, N) = 0.
Most a T, N) = 0 sszefggst derivlva: T
, N) + T, N
) = 0. Teht =
T
, N) = N
, T) addik.
1.16. DEFINCI. Legyen c: I R
2
parametrizlt skgrbe. A
: I R, =
T
, N)
v
fggvnyt a c skgrbe grbletnek nevezzk.
1.17. KVETKEZMNY (Frenet-formulk, vagy derivcis formulk).
T
= vN
N
= vT.
Specilisan, termszetes paramterezs u skgrbkre:
T
= N
N
= T.
1.18. PLDA (a krvonal grblete). Legyen c: [0, 2] R
2
, t c(t) =
(Rcos t, Rsin t). Ekkor:
c
(t) = R(sin t, cos t), v(t) = R,

T(t) = (sin t, cos t), N(t) = (cos t, sin t),
T
(t) = (cos t, sin t).

Innen lthatjuk, hogy T
= N, teht az els o Frenet-formula szerint c grbleti

fggvnye konstans, = 1/R.
1.19. TTEL (a grblet kiszmtsa). (A korbbi felttelek mellett.)
=
c
, N)
v
2
.
BIZONYTS. A grbletet denil formult talaktjuk a derivcis formu-
la segtsgvel:
c
= vT
c
= v
T +vT
= v
T +v
2
N.
Ez utbbi sort N-el skalrisan szorozva c
, N) = v
2
addik, mert T N.
Innen leolvashat a bizonytand formula.
2
parametrizlt skgrbe, melynek grbleti
fggvnye . Legyen tovbb :

I I paramtertranszformci, c = c :

I
R
2
. c grbleti fggvnyt jellje . Ekkor = sgn
.
BIZONYTS. A grblet albbi kifejezst hasznljuk:
=
T
, N)
v
=
c
, N)
v
2
=
c
, J c
)
v
3
.
Teht:
c = c
c
= (c
, J c
(J c
), v = [
[ (v )
c
= (c
)
2
+ (c
.
Eszerint
=

2
(c
) +
(c
),
(J c
))
v
3
=
mivel c
J c
:
=

3
c
, J c
)
[
[
3
(v )
3
=
= sgn
.
1.21. KVETKEZMNY. Skgrbe grblete irnytstart paramtertransz-
formcival szemben invarins.
2
parametrizlt skgrbe, melynek grbleti
fggvnye . Legyen tovbb F : R
2
R
2
izometria, ennek lineris rsze f
O(2), tovbb c = F c: I R
2
. c grbleti fggvnyt jellje . Ekkor =
det f .
BIZONYTS. Knnyen ellen orizhet o, hogy J f = det f (f J). Tovbb
a lncszablyt alkalmazva:
c = F c
c
= (F
c) c
= f c
,

T =
f c
v
,

N =
J f c
v
,
c
= (f
) c
= f c
.
A grbletet kiszmtva, felhasznlva, hogy f ortogonlis transzformci, teht a
normt s a skalris szorzatot megtartja:
=
c
, J f c
)
v
3
=
f c
, det f (f J c
))
|f c
|
3
=
= det f
c
, J c
)
|c
|
3
= det f .
1.23. KVETKEZMNY. Skgrbe grblete irnytstart izometrival szem-
ben invarins.
A grblet geometriai jelentsre az albbi ttel kzvetlenl is rmutat.
1.24. TTEL. Legyen c: [a, b] R
2
termszetes paramterezs u parametri-
zlt skgrbe, tovbb valamilyen s [a, b]-re teljesljn, hogy c
(s) ,= 0. Ekkor
(1) s-nek van olyan I [a, b] krnyezete, hogy s
1
, s
2
, s
3
I-re
c(s
1
), c(s
2
), c(s
3
) nem egy egyenesre illeszkednek
(2) ha s
i
s (i = 1, 2, 3), akkor a c(s
i
) pontokra illeszked o kr tart egy
1/|c
(s)| = 1/[(s)[ sugar, c(s)-re illeszked o krhz.

A ttel 2. pontjban szerepl o krt a grbe c(s) ponthoz tartoz simulkrnek
nevezzk.
BIZONYTS$. c regulris, teht s valamely krnyezetben injektv, a bizo-
nyts sorn eleve ilyen krnyezetb ol indulunk ki.
A Cauchy-fle kzprtkttelb ol kvetkezik, hogy minden s
1
< s
2
-hz l-
tezik olyan s
1
< < s
2
, hogy c
() s c(s
2
) c(s
1
) egyirny. Legyen ugyanis
c(t) = (x(t), y(t)). Van olyan (s
1
, s
2
), hogy
(x(s
2
) x(s
1
))y
() = (y(s
2
) y(s
1
))x
()
(ez a Cauchy-fle kzprtkttel lltsa), gy a c(s
2
) c(s
1
) vektor /2 szg u
elforgatottja mer oleges c
()-re, azaz c(s

2
) c(s
1
) s c
() egyirnyak.
Az els o lltst indirekt bizonytssal ltjuk be. Legyen I [a, b] az s valamely
krnyezete s valamely s
1
, s
2
, s
3
I-re c(s
1
), c(s
2
), c(s
3
) illeszkedjenek az
egyenesre. Legyenek tovbb
1
(s
1
, s
2
),
2
(s
2
, s
3
) olyan paramterrtkek,
hogy c
(
1
)| s c
(
2
)| (1.4. bra). Most tekintsk a c
: I S
1
grbt, amely
x
y
c(s
1
)
c(s
2
)
c(s
1
)
c(
2
)
c(
1
)
1.4. bra.
teht az orig kzppont egysgkrbe kpez (S
1
= x R
2
[ |x| = 1). I-t
vlasszuk gy, hogy c
[
1
,
2
] ne legyen az egsz S
1
egysgkr. Tekintsk a c
ltal
lert krv egyik c
() ( (
1
,
2
)) vgpontjt. c
az tetsz oleges krnyezetben

nem injektv, gy c
() = 0 (ld. 1.5. bra).

A ttel msodik lltst bizonytjuk. A c(s
i
) pontokra (i = 1, 2, 3) illeszked o
kr kzppontjt jellje C(s
1
, s
2
, s
3
) s teljesljn, hogy s
1
< s
2
< s
3
. Tekintsk
x
y
c
(
1
) = c
(
2
)
c
()
1.5. bra.
az
r : t |c(t) C(s
1
, s
2
, s
3
)| = c(t) C(s
1
, s
2
, s
3
), c(t) C(s
1
, s
2
, s
3
))
fggvnyt. Mivel ennek a fggvnynek ugyanaz az rtke az s
1
, s
2
, s
3
helyeken
(ti. a krlrt kr sugr-ngyzete), ezrt a Rolle-fle kzprtkttel miatt vannak
olyan s
1
< q
1
< s
2
, s
2
< q
2
< s
3
rtkek, hogy r
(q
1
) = r
(q
2
) = 0:
(1.1) c
(q
i
), c(q
i
) C(s
1
, s
2
, s
3
)) = 0 i = 1, 2.
Ismt a Rolle-ttelt alkalmazva, van olyan q
1
< < q
2
rtk, hogy r
() = 0,
azaz
c
(), c() C(s

1
, s
2
, s
3
)) +c
(), c
()) = 0,
azaz
(1.2) c
(), c() C(s

1
, s
2
, s
3
)) = 1,
Tekintsk a C = c(s) +
1
c
(s)
2
c
(s) pontot. Mivel (c
(s), c
(s)) (az vhossz-

paramterezs miatt) mer olegesek, gy
c
(s), c(s) C) = 0
c
(s), c(s) C) = 1.
(1.3)
Figyelembe vve, hogy c
(q
i
) c
(s) s c
() c
(s) s sszehasonltva az (1.1)

s (1.2) relcikat az (1.3) egyenletekkel, C(s
1
, s
2
, s
3
) C kvetkezik.
Feladatok
1.6. FELADAT. Szmtsuk ki a c: [0, 2] R
2
, t (t, sin t) szinuszgrbe
grbleti fggvnyt!
1.7. FELADAT. Bizonytsuk be, hogy a r() polrkoordints alakban
adott grbe grblete:
=
2r
2
rr
+r
2
(r
2
+r
2
)
3/2
.
Hatrozzuk meg ennek alapjn az archimdeszi spirl s a logaritmikus spirl
grbleti fggvnyt.
1.3. A SKGRBE MEGHATROZSA A GRBLETB
OL 16
1.8. FELADAT. Legyen c: I R
2
parametrizlt skgrbe, mely grblet-
r ol feltesszk, hogy egyetlen pontban sem nulla. A : I R
2
,
(t) = c(t) +
1
(t)
N(t)
grbt c evoltjnak nevezzk. Mutassuk meg, hogy az evolta t-beli rint oje
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 evoltj-
nak szmtshoz.
1.3. A skgrbe meghatrozsa a grbletb ol
1.25. DEFINCI. Legyen c: [a, b] R
2
parametrizlt skgrbe, az rint o-
vektormez o T : [a, b] R
2
, tovbb
: R R
2
, t (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 denci jellseivel,
= v, ahol v a plyasebessg.
BIZONYTS. T = ( )
) =
(J ) =
N. A Frenet
formulk alapjn: T
= vN, ahonnan az llts leolvashat.

1.28. TTEL (a grbeelmlet alapttele skban, ltezs). Legyen : I R
adott differencilhat fggvny. Ekkor ltezik olyan c: I R
2
termszetes para-
mterezs u parametrizlt skgrbe, mely grbleti fggvnye ppen .
BIZONYTS. (A korbbi jellsekkel, jellje c a keresett grbt, a hajls-
szg-fggvnyt.) A v = 1 felttelezs mellett
= , ahonnan =
__

_
+
0
. A
c
= differencilegyenlet megoldsa c = (x, y)-re:

(1.4) x =
__
cos
_
+x
0
, y =
__
sin
_
+y
0
,
ahol
0
, x
0
, y
0
tetsz oleges konstansok. Egyszer u behelyettestssel ellen orizhetjk,
hogy c termszetes paramterezs u s grbleti fggvnye .
1.29. TTEL. Legyen a c skgrbe grbleti fggvnye . = 0 az (esetleg
elfajul) szakaszokat jellemzi.
1.3. A SKGRBE MEGHATROZSA A GRBLETB
OL 17
BIZONYTS. A szakasz lineris el olltsbl lthat, hogy grblete nulla.
Megfordtva, mivel a grblet abszolt rtke paramtertranszformcival
szemben invarins, ezrt feltehetjk, hogy c termszetes paramterezs u. Alkal-
mazzuk az 1.27. Ttelt! = 0 = =
0
, gy (1.4)-be behelyettestve
c(t) = (t cos
0
+x
0
, t sin
0
+y
0
) ,
ahol
0
, x
0
, y
0
konstansok. Ez valban egy egyenes paramteres el olltsa.
1.30. TTEL. A konstans, nem nulla grblet u skgrbk a krvek.
BIZONYTS. Feltehetjk, hogy a c skgrbe termszetes paramterezs u. Le-
gyen = 1/R. Az integrcis konstansokat az egyszer usg kedvrt mindentt
nullnak vlasztva (t) = 1/R t,
x(t) =
_
cos
_
t
R
_
dt = R sin
_
t
R
_
;
y(t) =
_
sin
_
t
R
_
dt = R cos
_
t
R
_
.
1.31. TTEL (a grbeelmlet alapttele skban, egyrtelm usg). Legyenek

c
1
, c
2
: [a, b] R
2
termszetes paramterezs u parametrizlt skgrbk, melyek grbleti fggvnyei
megegyeznek. Ekkor ltezik olyan F : R
2
R
2
irnytstart izometria, hogy
c
2
= F c
1
.
BIZONYTS. Jellje (T
i
, N
i
) a c
i
grbe Frenet-bzist. Egyrtelm uen ltezik
olyan SO(2) elforgats, mely a (T
1
(a), N
1
(a)) bzist a (T
2
(a), N
2
(a)) b-
zisba viszi. Jellje : R
2
R
2
azt az eltolst, mely (c
1
(a))-t c
2
(a)-ba viszi.
Legyen F = . Beltjuk, hogy F c
1
= c
2
.
Deniljuk a kvetkez o differencilhat fggvnyt:
d: [a, b] R, d(t) = |T
2
(t) (T
1
(t))|
2
+|N
2
(t) (N
1
(t))|
2
.
d-t derivlva s a Frenet-formulkat felhasznlva:
1
2
d
= T
2
T
1
, T
2
T
1
) +N
2
N
1
, N
2
N
1
) =
= N
2
N
1
, T
2
T
1
) +T
2
+ T
1
, N
2
N
1
) =
= N
2
, T
1
) N
1
, T
2
) +T
2
, N
1
) + T
1
, N
2
) = 0.
Ez azt jelenti, hogy d konstans. Mivel d(a) = 0, ezrt d = 0. Innen kvetkezik,
hogy T
1
= T
2
, azaz (F c
1
c
2
)
= 0. F c
1
c
2
teht konstans.
Mivel (F c
1
c
2
)(a) = 0, ezrt F c
1
= c
2
.
1.32. PLDA. A mellkelt wxMaxima munkalap az egzisztenciattelt illuszt-
rlja.
1.4. A KRLJRSI TTEL 18
Feladatok
1.11. FELADAT. Adjuk meg annak a skgrbnek a parametrizcijt, mely-
nek grbleti fggvnye (s) = s
1/2
.
1.4. Skgrbk globlis elmlete I: a krljrsi ttel$
Ebben a fejezetben zrt skgrbkr ol lesz sz. A zrtsg azt jelenti, hogy a
grbe kezd o s vgpontja megegyezik. A 1.6. brn hrom zrt skgrbt ltunk.
Az els o kett o s a harmadik kztt jl rzkelhet o klnbsg, hogy a harmadik
grbe kezd o s vgpontjban a sebessgvektorok nem ugyanazok, mg az els o kt
grbe esetben igen. Az els o kt grbe kztt szemmel lthat klnbsg nincs,
a paramteres el olltsuk c(t) = (cos(t), sin(t)) de a paramtertartomny meg-
mutatja, hogy a msodik kr esetben a kzppontot ktszer jrtuk krl. Az els o
esetben t [0, 2], mg a msodik esetben t [0, 4].
c
(0) = c
(2)
c(0) = c(2) c(0) = c(2) = c(4)
c() = c(3)
c
(a)
c
(b)
c(a) = c(b)
1.6. bra. Zrt skgrbk
1.33. DEFINCI. Egy c: [a, b] R
2
regulris parametrizlt skgrbt pe-
riodikusan zrtnak nevezzk, ha van olyan c: R R
2
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) R
2
injektv, akkor egyszer u periodikusan zrt skgrbr ol besz-
lnk.
1.34. KVETKEZMNY. Egy c: [a, b] R
2
periodikusan zrt skgrbre
c
(k)
(a) = c
(k)
(b), k = 0, 1, . . . .
1.35. DEFINCI. c: [a, b] R
2
periodikusan zrt skgrbe krljrsi sz-
ma
n
c
=
1
2
[(b) (a)]
ahol a grbe egy hajlsszgfggvnye.
A krljrsi szm nem fgg a hajlsszgfggvny vlasztstl.
Pldul az 1.6. bra els o krnek krljrsi szma 1, a msodik kr pedig 2.
1.36. TTEL. A krljrsi szm mindig egsz szm.
BIZONYTS. Mivel T(b) = T(a), ezrt (b) (a) = k2 (k Z.)
1.37. TTEL. Legyen c: [a, b] R
2
termszetes paramterezs u, periodiku-
san zrt skgrbe, melynek grbleti fggvnyt jelli. Ekkor
n
c
=
1
2
_
b
a
(t)dt.
BIZONYTS. A grblet s a hajlsszgfggvny kztt fennll kapcsolat
= . gy
_
b
a
(t)dt =
_
b
a
(t)dt = [(t)]
b
a
= (b) (a),
amib ol az llts leolvashat.
1.38. KVETKEZMNY. A grblet irnytstart paramtertranszformci-
val s irnytstart izometrival szemben invarins, gy az el oz o ttel alapjn a
krljrsi szm a periodikusan zrt skgrbk geometriai jellemz oje.
1.39. TTEL (Hopf ttele). Egyszer u, periodikusan zrt skgrbe krljrsi
szma 1.
BIZONYTS. A c: [0, L] R
2
egyszer u, periodikusan zrt skgrbe legyen
termszetes paramterezs u. 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 paramterrtk u pont az orig legyen. (Ehhez a paramtert csak el kell
tolni, gy a grbe termszetes paramterezs u marad.) Ha c
(0) = (1, 0), akkor

kszen vagyunk, s az el oz o kvetkezmny miatt a grbe krljrsi szma nem
vltozott. Ha c
(0) = (1, 0), akkor mg a t t paramtertranszformcit kell

vgrehajtani, amivel elrjk, hogy az j grbre T(0) = (1, 0), viszont a krlj-
rsi szm most 1-szeresre vltozott. (Ld. 1.7. bra.)
Legyen = (s
1
, s
2
) R
2
[ 0 s
1
s
2
L, s rtelmezzk -nak a k-
vetkez o lekpezst az S
1
egysgkrre: : S
1
(s
1
, s
2
) =
_
_
c(s
2
)c(s
1
)
c(s
2
)c(s
1
)
ha s
1
,= s
2
T(s
1
) ha s
1
= s
2
T(0) ha s
1
= 0, s
2
= L.
folytonos belsejn: az s
1
,= s
2
pontokra ez nyilvnval, az s
1
= s
2
felttelnek
eleget tev o pontokra pedig kvetkezik onnan, hogy
(s, s) = T(s) = lim
s
2
s
c(s
2
) c(s)
|c(s
2
) c(s)|
.
Ezrt ltezik olyan : R folytonos fggvny, hogy
(s
1
, s
2
) = (cos (s
1
, s
2
), sin (s
1
, s
2
)).
x
c(0) = c(L) T(0) = T(L)
c(s
1
)
c(s
2
)
1.7. bra.
x
c(0)
c(s
2
)
(0, s
2
)
S
1
c(s
2
)
(0, L)
1.8. bra.
csak k2 peridustl eltekintve egyrtelm u, ezrt el orhatjuk, 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, s
2
) vektor irnyszge folytonosan vltozik 2-t ol -ig, mi-
kzben a (0, s
2
) mindvgig az y 0 flskban marad, gy (0, 0) = 0 (1.8. b-
ra).
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
x
c(L)
c(s
1
)
(s
1
, L)
S
1
(0, L)
1.9. bra.
1.40. KVETKEZMNY. Egy c: [a, b] R
2
termszetes paramterezs u,
egyszer u periodikusan zrt skgrbre
1
2
_
b
a
(t)dt = 1.
Szemlletesen fogalmazva: ha a grbt egy helyen laptjk, akkor mshol
cscsosodik.
1.5. Skgrbk globlis elmlete II: a ngy cscspont ttele$
1.41. DEFINCI. Egy egyszer u, periodikusan zrt c: I R
2
parametrizlt
skgrbe konvex, ha t
0
I-re a grbe a c(t
0
)-ben hzott rint o egyenes ugyan-
azon oldaln van (ld. 1.10. bra), azaz
t
0
I, t I : c(t) c(t
0
), N(t
0
)) 0 vagy c(t) c(t
0
), N(t
0
)) 0.
A c(t) c(t
0
), N(t
0
)) skalris szorzatban a grbt a t
0
-hoz tartoz msodik
Taylor polinomjval kzeltve:
c(t) c(t
0
) (t t
0
)c
(t
0
) +
(t t
0
)
2
2
c
(t
0
) =
felhasznlva, hogy a grbe termszetes paramterezs u
= (t t
0
)c
(t
0
) +
(t t
0
)
2
2
T
(t
0
) =
az els o Frenet-formult berva
= (t t
0
)c
(t
0
) +
(t t
0
)
2
2
(t
0
)N(t
0
).
1.5. SKGRBK GLOBLIS ELMLETE II: A NGY CSCSPONT TTELEI 22
c(t
0
)
c(t)
N(t
0
)
1.10. bra. Konvex grbe
gy
c(t) c(t
0
), N(t
0
)) =
(t t
0
)
2
2
(t
0
).
Ha [t t
0
[ elegend oen kicsi, akkor a harmad- s magasabb fok tagok a jobb oldal
el ojelt nem befolysoljk, gy megllapthatjuk az albbi (preczen is bebizonyt-
hat) ttelt:
1.42. TTEL. Egy egyszer u, periodikusan zrt skgrbe akkor s csakis akkor
konvex, ha grbleti fggvnye nem el ojelvlt.
1.43. DEFINCI. Egy c: I R
2
parametrizlt skgrbnek a t
0
int I
paramterrtknl cscspontja van, ha t
0
a grbleti fggvny stacionrius pontja,
azaz
(t
0
) = 0. Akkor is cscspontokrl beszlnk, ha a paramtertartomny
egy [t
1
, t
2
] rszintervallumn a grblet konstans, azaz
(t) = 0 teljesl minden

t
1
t t
2
esetn.
1.44. TTEL (a ngy cscspont ttele). Egy egyszer u, periodikusan zrt sk-
grbnek legalbb ngy cscspontja van.
BIZONYTS. (Konvex grbkre.) Legyen pl. a grbleti fggvny nemne-
gatv: 0. : [0, L] R zrt intervallumon rtelmezett folytonos fgg-
vny, gy flveszi minimumt s maximumt, teht legalbb kt cscspont van.
Az ltalnossg megszortsa nlkl fltehetjk, hogy (0) a minimum (eltols
paramtertranszformcival ez elrhet o.) Jellje t
1
[0, L] a maximumhelyet.
Ha t [0, t
1
], akkor
(t) 0, ha t [t
1
, L], akkor
0.
Indirekt mdon, tegyk fel, hogy nincs tovbbi cscspont. Mozgassuk el a
grbt gy, hogy a c(0)c(t
1
) egyenes az x tengely legyen (1.11. bra). A konve-
xits miatt c(t
0
) s c(t
1
) pontokon kvl a grbnek nincs tbb kzs pontja az
x tengellyel. Az x tengely fltt s alatt a grblet derivltja lland el ojel u, el-
lenkez o esetben jabb stacionrius pontot kapnnk. Legyen pl. az x tengely fltt
0, gy
y 0 mindentt teljesl.
1.6. TRGRBK FRENET-BZISA 23
c(0) c(t
1
)
x
y
1.11. bra. A ngy cscspont ttele
Legyen c(t) = (x(t), y(t)). A grbe termszetes paramterezs u, teht T
=
c
= (x
, y
) = N = (y
, x
), azaz x
= y
s y
= x
. A parcilis
integrls szablya szerint:
0
_
L
0
y = [y]
L
0

_
L
0
y
= 0 +
_
L
0
x
= [x
]
L
0
= 0.
Azt kaptuk, hogy egy nemnegatv folytonos fggvny integrlja 0, ami csak gy
lenne lehetsges, ha
y = 0, ami ellentmonds. Van teht tovbbi cscspont is.

Hrom cscspont ltezsb ol viszont kvetkezik a negyedik ltezse is, mert
nem rendelkezhet pratlan szm jelvltssal.

1.6. Trgrbk Frenet-bzisa
1.45. DEFINCI. A c: I R
3
parametrizlt trgrbt biregulrisnak ne-
vezzk, ha t I-re
_
c
(t), c
(t)
_
linerisan fggetlen vektorok. Ekkor a c(t) +
L
_
c
(t), c
(t)
_
skot (ktdimenzis lineris sokasgot) a c grbe c(t) pontbeli si-
mulskjnak nevezzk.
Emlkeztetnk arra, hogy kt bzist akkor neveznk azonos irnytsnak, ha
a bziscsere mtrixa pozitv determinns.
3
parametrizlt biregulris trgrbe. Ekkor
egyrtelm uen lteznek olyan
T, F, B: I R
3
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
_
c
(t), c
(t)
_
ugyanazt a skot generljk s irnytsuk
kzs skjukban megegyezik.
BIZONYTS. (T, F)-et (c
, c
)-b ol a Gram Schmidt-eljrssal lehet meg-

konstrulni: azaz
T =
c
v
,
F
= c
, T)T +c
, F =
F
|F
|
.
A konstrukci pontonknt rvnyes, s a fenti transzformcis formulk garantl-
jk a T s F lekpezsek differencilhatsgt. A jellseket egyszer ustve:
T = a
11
c
(a
11
> 0),
F = a
12
c
+a
22
c
(a
22
> 0).
A (c
, c
) (T, F) bziscsere mtrixnak determinnsa pozitv:

det
_
a
11
a
12
0 a
22
_
= a
11
a
22
> 0,
teht a kt bzis azonos irnyts. Vgezetl legyen B = T F (vektorilis
szorzat). Az egyrtelm usget a Gram Schmidt-eljrs garantlja: maga az orto-
gonalizls kt ortonormlt bzist is adna eredmnyl, de az egyik nem azonos
irnyts a (c
, c
) bzissal. A megtallt kt vektort pozitv bziss kiegszteni

egyrtelm uen lehet.
1.47. DEFINCI. (Az el oz o ttel jellseivel.) T, F, B-t a c biregulris trgr-
be rint o egysgvektormez ojnek, f onormlis vektormez ojnek, binormlis vektor-
mez ojnek nevezzk, egyttesen a grbe Frenet-bzisnak.
1.48. TTEL.
T =
c
v
, B =
c
|c
|
, F = B T.
Termszetes paramterezs esetn
F =
c
|c
|
.
BIZONYTS. Az els o hrom formula esetben nyilvn elegend o csak a B-
re vonatkoz lltst beltni. B s c
egyarnt mer olegesek a simulskra,

csak azt kell bizonytani, hogy egyms pozitv skalr szorosai. A Gram Schmidt-
eljrs konstrukcijt hasznlva:
B = T F = (a
11
c
) (a
12
c
+a
22
c
) = a
11
a
22
(c
),
s a
11
a
22
> 0.
A negyedik formulra ttrve, termszetes paramterezs esetn c
, c
) = 1,
amely relcit derivlva:
c
, c
) +c
, c
) = 0 = 2 c
, c
) = 0,
azaz vhossz-paramterezs esetn c
, amib ol kvetkezik az llts.

1.49. TTEL (derivcis formulk). Legyen c: I R
3
biregulris trgrbe.
Lteznek olyan
1
,
2
: I R differencilhat fggvnyek, hogy
T
=
1
F
F
=
1
T +
2
B
B
=
2
F
BIZONYTS. rjuk fel T
, F
, B
Fourier el olltsait a (T, F, B) bzisban:

T
= T
, T)T +T
, F)F +T
, B)B,
F
= F
, T)T +F
, F)F +F
, B)B,
B
= B
, T)T +B
, F)F +B
, B)B.
Legyen X s Y ,= X a T, F, B brmelyike. Ekkor derivlssal addik, hogy
X, X) = 1 = X
, X) = 0,
X, Y ) = 0 = X
, Y ) +X, Y
) = 0.
Msrszt T L(c
) = T
L(c
, c
) = T
, B) = 0, B
, T) = 0. Teht
1
= T
, F),
2
= F
, B) a kvnt formulkat adja.

1.50. DEFINCI. A c: I R
3
biregulris trgrbe : I R grbleti- s
: I R torzifggvnyt az albbiak szerint deniljuk:
=
T
, F)
v
, =
F
, B)
v
.
1.51. KVETKEZMNY (Frenet-formulk trgrbkre).
T
= vF,
F
= vT +vB,
B
= vF.
1.52. TTEL. Egy c: I R
3
biregulris parametrizlt grbe akkor s csakis
akkor skgrbe, ha torzifggvnye zrus.
BIZONYTS. A harmadik Frenet-formula alapjn = 0 ekvivalens azzal,
hogy B konstans. Legyen
f : I R, t f(t) = B
0
, c(t) c
0
),
ahol B
0
, c
0
valamely rgztett paramterrtkhez tartoznak. Mindkt oldal deri-
vlva:
f
(t) = B
0
, c
(t)) = B(t), c
(t)) = 0,
teht a grbe benne van a c
0
-hoz tartoz rint oskban.
Feladatok
1.12. FELADAT. Legyen a hengeres csavarvonal paramterezse
c(s) =
_
a cos
s
c
, a sin
s
c
, b
s
c
,
_
ahol c
2
= a
2
+ b
2
(azaz a grbe termszetes paramterezssel van adva). rjuk fel
a ksr o 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 R
3
, c(t) = (Aexp(at) cos t, Aexp(at) sin t, Aexp(at) ctg , )
trgrbt kpos csavarvonalnak nevezzk. (A grbe nyilvnvalan illeszkedik az
x
2
+ y
2
= z
2
ctg
2
egyenlet u forgskpra, melynek tengelye a z-tengely s fl-
nylsszge .) Lssuk be, hogy
a. a kpos csavarvonal rint oi 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 tengely u, flnylsszg u forgskpon fut grbk kzl az alkotkon
kvl egyedl a kpos csavarvonalak rendelkeznek azzal a tulajdonsggal, hogy
rint oik lland hegyesszget kpeznek a kp tengelyvel.$
1.7. A grblet s a torzi tulajdonsgai, a grbeelmlet alapttele
1.53. TTEL. Parametrizlt biregulris trgrbe grbleti fggvnye mindig
pozitv rtk u.
BIZONYTS. (T, F)-et a Gram Schmidt-eljrssal az albbiak szerint
konstrultuk meg:
T = a
11
c
s a
11
> 0, = T
= a
11
c
+a
11
c
;
F = a
12
c
+a
22
c
s a
22
> 0.
Ennek alapjn:
T
, F) = a
11
c
+ a
11
c
, F) = a
11
c
, F) =
a
11
a
22
F a
21
c
, F) =
a
11
a
22
> 0,
c
s F mer olegessgt ktszer is hasznlva.

1.54. TTEL. Ha a c: I R
3
biregulris trgrbe termszetes paramtere-
zs u, akkor a grbleti s torzifggvnyre:
= |c
|, =
[c
, c
, c
2
.
BIZONYTS. A termszetes paramterezs miatt: T = c
. Az els o Frenet-
formula alapjn:
T
= c
= F = |c
| = [[ |F| =
hiszen |F| = 1 s > 0.
A torzi kiszmtshoz induljunk ki az F = c
/ formulbl, amelyet a
hnyadosfggvny derivlsi szablya szerint derivlunk:
F
=
c
2
.
gy
= F
, B) =
c
2
, c
) =
[c
, c
, c
2
,
felhasznlva, hogy c
.
1.55. PLDA. A hengeres csavarvonal grblete s torzija. Legyen a henge-
res csavarvonal paramteres el olltsa:
c: [0, 2] R
3
, t c(t) =
_
Rcos
s
R
2
+a
2
, Rsin
s
R
2
+a
2
,
as
R
2
+a
2
_
(R, a > 0).
Mint korbban mr lttuk, ekkor c termszetes paramterezs u.
T(s) = c
(s) =
1
R
2
+a
2
_
Rsin
s
R
2
+a
2
, Rcos
s
R
2
+a
2
, a
_
T
(s) =
1
R
2
+a
2
_
Rcos
s
R
2
+a
2
, Rsin
s
R
2
+a
2
, 0
_
= |T
(s)| =
R
R
2
+a
2
.
F(s) =
T
(s)
|T
(s)|
=
_
cos
s
R
2
+a
2
, sin
s
R
2
+a
2
, 0
_
,
B(s) = T(s) F(s) =
1
R
2
+a
2
_
a sin
s
R
2
+a
2
, a cos
s
R
2
+a
2
, R
_
,
B
(s) =
1
R
2
+a
2
_
a cos
s
R
2
+a
2
, a sin
s
R
2
+a
2
, 0
_
.
A Frenet-formulkbl tudjuk, hogy (vhossz-paramterezs esetn) B
= F,
teht az el obbi kpletekb ol a torzi leolvashat:
=
a
R
2
+a
2
.
A kvetkez o ttelben a grblet s torzi gyakran hasznlt kiszmtsi szab-
lyt adjuk meg.
1.56. TTEL. Ha a c: I R
3
biregulris trgrbe, akkor a grbleti s
torzifggvnyre:
=
|c
|
v
3
, =
[c
, c
, c
[
|c
|
2
.
BIZONYTS. rjuk fl T
-t egyrszt a msodik Frenet-formula alapjn, ms-

rszt a T = c
/v kifejezst derivlva:
(1.5) T
=
c
v c
v
2
= vF.
Vektorilisan szorozva c
-vel:
c
v
= vF c
.
Mindkt oldalnak a normjt vve, felhasznlva, hogy F c
s |F| = 1:
|c
|
v
= v
2
,
amib ol a grbletre adott kifejezs rendezssel azonnal kvetkezik.
A torzi kiszmtshoz induljunk ki ismt az (1.5) sszefggsb ol. Derivl-
junk mg egyszer:
(v
3
)
F +v
3
F
= c
v +c
,
majd szorozzuk be mindkt oldalt skalrisan B = (c
)/|c
|-vel! Fel-
hasznlva, hogy az egymsra mer oleges vektorok skalris szorzata zrus,
v
2
F
, B) =
c
, c
)
|c
|
,
azaz
v
3
=
[c
, c
, c
[
|c
|
.
A grbletre mr megkapott kifejezsb ol v
3
= |c
|, amit behelyettestve a
bizonytand lltst kapjuk.
1.57. TTEL. A biregulris trgrbk grblete izometrival s param-
tertranszformcival szemben invarins. A biregulris trgrbk torzija irny-
tstart izometrival s tetsz oleges paramtertranszformcival szemben invari-
ns, mg irnytsvlt izometrinl el ojelet vlt.
BIZONYTS. Az el obbi ttelben megadott kiszmtsi szablyokba behe-
lyettestve, a skgrbknl megismert mdon kapjuk az lltst. (V.. a 1.22. s
1.20. ttelekkel!)
A grblet s torzifggvny jelent osge, hogy paramtertranszformcitl
s izometritl eltekintve egyrtelm uen meghatrozzk a parametrizlt trgrbt.
1.58. TTEL (A grbeelmlet alapttele.).
Unicits. Tegyk fel, hogy c
1
, c
2
: I R
3
termszetes paramterezs u biregu-
lris trgrbk, tovbb grblet s torzifggvnyk megegyezik. Ekkor ltezik
olyan : R
3
R
3
irnytstart izometria, mely egyiket a msikba viszi, azaz
c
2
= c
1
.
Egzisztencia. Tetsz olegesen adott : [a, b] R pozitv, differencilhat s
: [a, b] R differencilhat fggvnyekhez ltezik olyan c: [a, b] R
3
term-
szetes paramterezs u biregulris trgrbe, melynek grbleti s torzifggvnye
ppen s .
BIZONYTS. Egzisztencia (vzlat). A bizonyts technikailag sszetett, de
az tlete nagyon egyszer u: ha a grblet s a torzi ismert, akkor a Frenet-
formulk a Frenet-bzisra (pontosabban a 9 komponensfggvnyre) egy 9 egyen-
letb ol ll kznsges differencilegyenlet-rendszert alkotnak, amelyre alkal-
mazhatjuk az analzisb ol ismert egzisztencia s unicitsttelt (megfelel o kezde-
ti felttelek esetn). Miutn T-t meghatroztuk, c
= T egy jabb kznsges

differencilegyenlet-rendszer (c hrom komponensfggvnyre), mely integrls-
sal megoldhat. Arrl kell mg meggy oz odni, hogy az gy kapott grbe kielgti
az sszes felttelt.
Unicits. Jellje (T
1
, F
1
, B
1
) ill. (T
2
, F
2
, B
2
) a megfelel o Frenet-bzisokat.
A lineris kiterjeszts ttele miatt ltezik olyan L(R
3
; R
3
) pozitv ortogo-
nlis transzformci, hogy
(T
1
(a)) = T
2
(a), (F
1
(a)) = F
2
(a), (B
1
(a)) = B
2
(a).
Ltezik tovbb olyan : R
3
R
3
transzlci, hogy
((c
1
(a))) = c
2
(a).
Azt lltjuk, hogy = a keresett izometria.
Deniljuk a d: I R fggvnyt a kvetkez okppen:
2d = | T
1
T
2
|
2
+| F
1
F
2
|
2
+| B
1
B
2
|
2
.
Egyszer u, de kiss hosszadalmas szmolssal, a Frenet-formulkat alkalmazva
lthat, hogy d
= 0. Ez azt jelenti, hogy d konstans fggvny, s [a, b]-re

d(s) = d(a) = 0. Innen az kvetkezik, hogy:
T
1
= T
2
, F
1
= F
2
, B
1
= B
2
.
Az els o relcit hasznlva: c
1
= c
2
= ( c
1
)
= c
2
, azaz a c
1
c
2
lekpezs konstans:
s [a, b] : ( c
1
c
2
)(s) = ( c
1
c
2
)(0) = ( c
1
)(0) c
2
(0) = 0,
amivel az lltst igazoltuk.
1.59. TTEL. A konstans grblet u s torzij biregulris parametrizlt tr-
grbk kphalmaza kr vagy hengeres csavarvonal.
BIZONYTS. Mivel a paramtertranszformci a kphalmazt nem vltoztatja
meg, feltehet o, hogy termszetes paramterezs u biregulris trgrbkr ol besz-
lnk.
Legyen el oszr a torzifggvny zrus. = 1/R > 0. A
c: I R
3
, s c(s) = (R cos
s
R
, R sin
s
R
, 0)
parametrizlt grbe grblete 1/R, a grbe termszetes paramterezs u s Imc
krvonal. Ha valamely c: I R
3
zrus torzij biregulris parametrizlt grbe
grblete szintn 1/R, akkor ez a grbe mr a grbeelmlet alapttele szerint
egybevg c-vel. Azaz Imc s Im c egybevg krvonalak.
Ha a torzifggvny nem zrus felhasznlva a hengeres csavarvonal gr-
bletre s torzijra korbban kapott eredmnyt , ugyanezt a gondolatmenetet
alkalmazhatjuk, de most c hengeres csavarvonal lesz. Teht adott konstans grb-
lethez s konstans torzihoz konstrulunk egy termszetes parametrizls hen-
geres csavarvonalat, melynek grblete s torzija ppen ez a kt szm (azaz a
megfelel o rtkre belltjuk a henger sugart s az emelkeds sebessgt), s min-
den ms ugyanilyen grblet u s torzij, termszetes paramterezs u biregulris
parametrizlt trgrbe ett ol mr csak izometriban klnbzik.
1.60. MEGJEGYZS. Az egyenes nem biregulris trgrbe, gy trgrbeknt
sem grblett, sem torzijt nem rtelmeztk. Ugyanakkor az egyenes, mint sk-
grbe zrus grblet u s megllapodhatunk abban, hogy a nem biregulris skgr-
bk torzijt is zrusnak tekintjk. gy az el oz o llts felsorolst mg az egye-
nessel is kiegszthetjk: az egyenes zr torzij s grblet u trgrbe. (Ugyan-
akkor nem biregulris.)
Feladatok
1.14. FELADAT. Egy biregulris skgrbre ktfle grblet rtelmezst is ad-
tunk, skgrbeknt (1.16. denci) s trgrbeknt (1.50. denci). Lssuk be,
hogy a kt grblet el ojelt ol eltekintve ugyanazt az rtket adja.
1.15. FELADAT. Bizonytsuk be, hogy egy vhossz-paramterezs u c grbre
c
=
2
T +
F +B teljesl, a szoksos jellsekkel.

1.16. FELADAT. Lssuk be, hogy a grbe egy rgztett simulskjra vonatko-
z mer oleges vetlett a vetlet msodik Taylor-polinomjval kzeltve parabolt
kapunk, melynek tengelye a f onormlis; mg a rektiklskra (azaz az rint o s
a f onormlis ltal kifesztett skra) es o mer oleges vetlett a vetlet harmadik
Taylor-polinomjval kzeltve harmadrend u parabolt kapunk.
2. FEJEZET
Felletek differencilgeometrija
2.1. Implicit felletek
A bennnket krlvev o vilgban rengeteg olyan objektum van, amelyre a fe-
llet szt hasznljuk. Ezen felletek matematikai modelljnek megadsa szmos
gyakorlati szempontbl fontos lehet. (Fellet felsznnek meghatrozsa, kompu-
tergrakai alkalmazsok, mrnki szmtsok.)
Kezdjk azzal a fellettel, amely taln a legegyszer ubbnek t unik, a gmbfel-
lettel.
Geometriai szempontbl a gmbfellet egy rgztett ponttl rgztett pozitv
tvolsgra elhelyezked o pontok halmaza a trben. Descartes-koordintk haszn-
latval az orig kzppont, R sugar gmb egyenlete
(2.1) x
2
+y
2
+z
2
= R
2
.
Sok, geometriailag knnyen denilhat fellet pontjai, s csakis azok el olltha-
tk (2.1)-hez hasonlan egy (tbb ismeretlenes) egyenlet megoldshalmazaknt.
Pldul egy egyenes krhengert geometriailag gy denilhatunk, hogy egy
rgztett egyenest ol rgztett pozitv tvolsgra elhelyezked o pontok halmaza. Ha
ismt Descartes-koordintkat hasznlunk s a tengely a z tengely, a rgztett t-
volsg pedig ismt R, akkor egy egyenes krhenger egyenlete
(2.2) x
2
+y
2
= R
2
.
A kvetkez o pldnk az egyenes krkp, amelyet geometriailag megkapha-
tunk gy, hogy egy egyenest megforgatunk egy ot metsz o 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
= a
2
z
2
.
A (2.1)(2.3) egyenletekkel megadott felletek ltalnosan F(x, y, z) = 0
alakak, ahol F : R
3
R differencilhat fggvny. (Az el obbi pldkban F
minden vltozban legfeljebb kvadratikus, teht differencilhat.) A felletek k-
ztt 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. Ho-
gyan ismerhet o fl a kp cscspontja az egyenletb ol? Lthat, hogy a cscspont,
(jelen esetben az orig) az F(x, y, z) = x
2
+y
2
a
2
z
2
fggvny kritikus pontja:
dF(x, y, z) = (2x, 2y, 2za
2
), dF(0, 0, 0) = (0, 0, 0),
mg a tbbi fellet egyetlen pontja sem kritikus pontja a megfelel o F-nek.
31
2.1. IMPLICIT FELLETEK 32
2.1. bra. Hrom ismer os fellet: gmb, henger s kp.
2.1. DEFINCI. Legyen F : R
3
R differencilhat fggvny. Azt mond-
juk, hogy az F(x, y, z) = 0 egyenlet egy regulris implicit egyenlet, ha teljesl,
hogy
F(p) = 0 = dF(p) ,= 0 (p R
3
).
Egy trbeli ponthalmazt regulris implicit felletnek neveznk, ha el ollthat egy
regulris implicit egyenlet megoldshalmazaknt.
Az eddigi pldkban szerepl o implicit felletek mindegyikben F mindhrom
vltozjban legfeljebb kvadratikus volt. Az ilyen implicit felleteket nevezzk
ltalnosan msodrend u felleteknek.
2.2. PLDA (msodrend u felletek). Legyen A R
33
szimmetrikus nem
zr mtrix, a R
3
, R.
F : R
3
R, p F(p) = Ap, p) + 2a, p) +.
A p R
3
[ F(p) = 0 halmazt msodrend u felletnek nevezzk.
Vizsgljuk meg, hogy a msodrend u felletnek van-e kritikus pontja!
dF(p) = 2Ap + 2a p R
3
,
azaz dF(p) = 0 Ap + a = 0. A msodrend u felletet msodrend u
kpnak nevezzk, ha van olyan p
0
pontja, melyre Ap
0
+a = 0. (p
0
-t a msodrend u
kp cscspontjnak nevezzk.) Belthat (ld. 2.1. feladat), hogy a cscspont afn
invarins fogalom, teht msodrend u fellet cscspontjt afn transzformci az
afn transzformlt fellet cscspontjba viszi.
Vilgos, hogy ha egy msodrend u fellet nem msodrend u kp, akkor regul-
ris implicit fellet.
Msodrend u felletet afn transzformci msodrend u felletbe visz t (en-
nek a lineris algebrbl ismert tnynek a bizonytsa kiolvashat a 2.1. feladat
megoldsbl is.) Belthat, hogy egybevgsgi transzformcival minden m-
sodrend u fellet a 1. tblzatban szerepl o msodrend u felletek valamelyikbe
vihet o t, tovbb a tblzatban szerepl o msodrend u felletek egymsba egybe-
vgsgi transzformcival nem vihet ok t.
2.1. IMPLICIT FELLETEK 33
1. vals ellipszoid x
2
/a
2
+y
2
/b
2
+z
2
/c
2
= 1
2. kpzetes ellipszoid x
2
/a
2
+y
2
/b
2
+z
2
/c
2
= 1
3. egykpeny u hiperboloid x
2
/a
2
+y
2
/b
2
z
2
/c
2
= 1
4. ktkpeny u hiperboloid x
2
/a
2
+y
2
/b
2
z
2
/c
2
= 1
5. vals msodrend u kp x
2
/a
2
+y
2
/b
2
z
2
/c
2
= 0
6. kpzetes msodrend u kp x
2
/a
2
+y
2
/b
2
+z
2
/c
2
= 0
7. elliptikus paraboloid x
2
/a
2
+y
2
/b
2
+ 2z = 0
8. hiperbolikus paraboloid x
2
/a
2
y
2
/b
2
+ 2z = 0
9. vals elliptikus henger x
2
/a
2
+y
2
/b
2
= 1
10. kpzetes elliptikus henger x
2
/a
2
+y
2
/b
2
= 1
11. hiperbolikus henger x
2
/a
2
y
2
/b
2
= 1
12. vals metsz o skpr x
2
/a
2
y
2
/b
2
= 0
13. kpzetes metsz o skpr x
2
/a
2
+y
2
/b
2
= 0
14. parabolikus henger x
2
+ 2ry = 0
15. vals prhuzamos skpr x
2
= a
2
16. kpzetes prhuzamos skpr x
2
= a
2
17. egybees o skpr x
2
= 0
1. tblzat. A msodrend u felletek izometria osztlyai
2.2. bra. Trusz.
2.3. PLDA (a trusz, mint regulris implicit fellet). Az xz sk (x a)
2
+
z
2
= b
2
egyenlet u krt megforgatjuk a z tengely krl. Ha a kr egyenletben x
helyre
_
x
2
+y
2
-t helyettestnk, akkor kapjuk a trusz egyenlett:
(2.4) (
_
x
2
+y
2
a)
2
+z
2
b
2
= 0.
2.2. PARAMETRIZLT FELLETEK 34
Az F(x, y, z) = (
_
x
2
+y
2
a)
2
+z
2
b
2
fggvny nem felel meg a dencink
kvetelmnynek, mert a z tengely mentn nem differencilhat:
dF(x, y, z) =
_
_
2x
_
_
y
2
+x
2
a
_
_
y
2
+x
2
,
2y
_
_
y
2
+x
2
a
_
_
y
2
+x
2
, 2z
_
_
.
(2.4)-ben a ngyzetre emelst elvgezve, a ngyzetgyks kifejezst a jobb oldalra
rendezve, majd mindkt oldalt ngyzetre emelve:
x
2
+y
2
+z
2
b
2
+a
2
= 2a
_
y
2
+x
2
(x
2
+y
2
+z
2
b
2
+a
2
)
2
= 4a
2
(y
2
+x
2
)
gy
F(x, y, z) = (x
2
+y
2
+z
2
b
2
+a
2
)
2
4a
2
(y
2
+x
2
)
esetn F minden vltozban polinomilis, gy differencilhat. Nem nehz ellen-
orizni, hogy a trusz egyetlen pontja sem kritikus pontja F-nek.
A felletek matematikai modellezsre sok ms megkzeltst is hasznlnak.
Jllehet a fejezetben szerepl o implicit felletek egyenlett a geometriai szrmazta-
tsbl nagyon knny u volt megadni, a tovbbiakban egy msik fajta megkzeltst
alkalmazunk, amely sok hasonlsgot mutat a parametrizlt grbkkel. A grbe-
pont helyzetvektort egy paramter fggvnyeknt lltottuk el o, a felleti pont
helyzetvektort kt paramter differencilhat fggvnyeknt fogjuk el olltani:
gy jutunk a parametrizlt felletekhez. Az implicit felletek s a parametrizlt
felletek halmaza nem esik egybe, kapcsolatukkal a ks obbiekben foglalkozunk.
Feladatok
2.1. FELADAT. Bizonytsuk be, hogy msodrend u fellet cscspontjt afn
transzformci az afn transzformlt fellet cscspontjba viszi. ($)
2.2. FELADAT. Bizonytsuk be, hogy az z = x y egyenlet u msodrend u
fellet (a hiperbolikus paraboloid) regulris implicit fellet!
2.3. FELADAT. Bizonytsuk be, hogy az x
2
+ y
2
z
2
= 1 egyenlet u kt-
kpeny u hiperboloid olyan regulris implicit fellet, amely nem sszefgg o, 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) = x
2
fggvnynek az orig kri-
tikus pontja, ugyanakkor az x
2
= 0 egyenlet u ponthalmaz mgis regulris implicit
fellet.
2.2. Parametrizlt felletek
A tovbbiakban U R
2
nem res nylt halmazt jell. Megllapodunk nhny
jellsben. Egy r : U R
3
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)).
r els o s msodik vltoz szerinti parcilis derivltjait r
u
s r
v
jelli, teht
r
u
(p) =
_
x
u
,
y
u
,
z
u
_
p
r
v
(p) =
_
x
v
,
y
v
,
z
v
_
p
, p = (u, v).
Tovbb
dr(p) =
_
_
_
x
u
x
v
y
u
y
v
z
u
z
v
_
_
_
p
= (r
u
, r
v
)
p
= (r
u
(p), r
v
(p)) R
32
.
Ha (e
1
, e
2
) jelli R
2
kanonikus bzist, akkor
dr(p)(e
1
) = r
u
(p), dr(p)(e
2
) = r
v
(p), p U.
Ha nem forog fenn flrerts veszlye, akkor p U kirst mell ozhetjk:
dr = (r
u
, r
v
).
2.4. DEFINCI. Legyen U R
2
egy nem res nylt halmaz. Egy r : U R
3
differencilhat lekpezst regulris parametrizlt felletnek (rviden parametri-
zlt felletnek) neveznk, ha teljesl, hogy
(2.5) p U : rang dr(p) = 2.
2.5. MEGJEGYZS. Az (2.5) felttel tbbflekppen is tfogalmazhat. A k-
vetkez o lltsok ekvivalencija a (2.5) felttellel a lineris algebrbl ismert.
p U-ra
(1) dr(p): R
2
R
3
, R
2
X dr(p) X injektv lineris lekpezs
(2) dr(p) R
32
bal invertlhat mtrix
1
(3) (r
u
(p), r
v
(p)) linerisan fggetlen vektorrendszer
(4) dimL(r
u
(p), r
v
(p)) = 2
(5) r
u
r
v
,= 0.
2.6. PLDA (parametrizlt sk). A lineris algebrai tanulmnyokbl mr is-
mert, hogy az r : R
2
R
3
, r(u, v) = r
0
+ ux + vy, (ahol (x, y) linerisan
fggetlen vektorrendszer R
3
-ban, r
0
tetsz oleges vektor) parametrizlt fellet egy
sk.
2.7. PLDA (parametrizlt flgmb). A gmb x
2
+ y
2
+ z
2
r
2
= 0 egyen-
letb ol a z vltozt kifejezhetjk, ha z > 0, akkor z =
_
r
2
x
2
y
2
, gy, ha
U = (u, v) R
2
[ u
2
+v
2
< 1, akkor
r : U R
3
, r(u, v) = (u, v,
r
2
u
2
v
2
)
egy parametrizlt flgmb. A regularitsi felttel nyilvnvalan teljesl (ellen oriz-
zk).
1
Emlkeztetnk arra, hogy egy A R
nm
mtrix bal inverze egy olyan B R
mn
mtrix,
melyre BA = 1
m
, ahol a jobb oldalon az m m-es egysgmtrix ll. Knnyen lthat, hogy
A R
nm
akkor s csakis akkor bal invertlhat, ha rang A = m.
x
y
z
a
r(u, v) = P+v a
P = c(u)
x
y
z
2.3. bra. Parametrizlt hengerfellet
x
y
z
M
P = c(u)
r(u, v) = v P+(1v) M
x
y
z
2.4. bra. Parametrizlt kpfellet
2.8. PLDA (parametrizlt hengerfellet). Legyen c: I R
3
regulris para-
metrizlt grbe, a R
3
nemzr vektor, tovbb a sehol sem prhuzamos c
-vel.
A c vezrgrbj u a alkotirny hengerfellet paramteres el olltsa:
r : I R R
3
, r(u, v) = c(u) +v a.
Mivel dr(u, v) = (c
(u), a) s a felttel miatt rang(c
(u), a) = 2, ezrt egy regu-

lris parametrizlt felletet kaptunk.
2.9. PLDA (parametrizlt kpfellet). Legyen c: I R
3
regulris para-
metrizlt grbe, M R
3
egy pont. A c vezrgrbj u M cscspont kpfellet
paramteres el olltsa
r : I R R
3
, r(u, v) = v c(u) + (1 v) M.
x
y
z
2.5. bra. Parametrizlt forgsfellet
Mivel dr(u, v) = (vc
(u), c(u)M), ezrt rang dr(u, 0) = rang(0, c(u)M) ,=

2, gy nem regulris parametrizlt felletet kapunk. Ha kiegsztjk a geometriai
feltteleket azzal, hogy c
(u) ,| 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 R
3
, c(u) = (x(u), 0, z(u))
regulris parametrizlt grbe, melyet megforgatunk a z tengely krl. Ha a forga-
ts szge v J R, akkor egy forgsfelletet kapunk:
(2.6) r : I J R
3
, r(u, v) = rot
z
(v)c(u).
Koordintkkal
r(u, v) =
_
_
cos v sin v 0
sin v cos v 0
0 0 1
_
_
_
_
x(u)
0
z(u)
_
_
,
azaz
r(u, v) = (x(u) cos v, x(u) sin v, z(u)).
Vizsgljuk meg a regularitsi felttelt!
dr(u, v) =
_
x
(u) cos v x
(u) sin v z
(u)
x(u) sin v x(u) cos v 0
_
t
.
Innen egyszer u szmts utn |r
u
r
v
|
2
= x(u)
2
|c
(u)|
2
addik, azaz x(u) ,= 0
esetn a fellet regulris.
2.11. PLDA (Parametrizlt gmbfellet). Egy olyan flkrt kell megforgat-
nunk a z tengely krl, melynek tmr oje a z tengelyen van. Az el oz o pldt
alkalmazva c(u) = (Rcos u, 0, Rsin u) s u (/2, /2), gy
r(u, v) = (Rcos ucos v, Rcos usin v, Rsin u), (v R).
A teljes gmbfellet minden pontjt megkapjuk, ha [/2, /2] I u, de
u = /2-re a regularitsi felttel nem teljesl. (A teljes gmbt nem tudjuk gy
tekinteni, mint regulris parametrizlt felletet.) Agmbnek ezt a paramterezst
hosszsgi kr-szlessgi kr paramterezsnek, rviden fldrajzi paramterezs-
nek 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 el olltsa:
(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 telje-
sl.
2.13. PLDA (vonalfellet). Legyen : I R
3
egy regulris trgrbe,
E: I R
3
egysgvektor-mez o, azaz t I-re |E(t)| = 1. minden t param-
terrtk u pontjban tekintnk egy E(t) irnyvektor egyenest. Ezek az egyenesek
alkotjk az (, E) ltal generlt vonalfelletet. Paramteres el olltsa
r : I R, (u, v) r(u, v) = (u) +v E(u).
Vizsgljuk meg a regularitsi felttelt!
r
u
(u, v) =
(u) +v E
(u)
r
v
(u, v) = E(u).
Olyan paramterrtkeket keresnk, amelyekre r
u
r
v
= 0, ezekben a pontokban
nem teljesl a regularits.
|r
u
r
v
|
2
= |r
u
|
2
|r
v
|
2
r
u
, r
v
)
2
= r
u
, r
u
)r
v
, r
v
) r
u
, r
v
)
2
.
Mivel E, E) = 1, gy E, E
) = 0, teht r
u
, r
v
) =
(u), E(u)), tovbb

r
v
, r
v
) = 1 s
r
u
, r
u
) =
(u),
(u)) + 2v
(u), E
(u)) +v
2
E
(u), E
(u)).
gy
|r
u
r
v
| = a(u)v
2
+b(u)v +c(u),
ahol
a(u) = |E(u)|
2
, b(u) =
(u), E
(u)), c(u) = |
(u)|
2
(u), E(u))
2
.
Megllapthatjuk, hogy (u, v) pontosan akkor nem regulris hely, ha v a p
u
=
a(u)v
2
+b(u)v +c(u) (v-re msodfok) polinomnak zrushelye.
2.6. bra. Mbius-szalag
2.14. PLDA (Mbius-szalag). Egy tglalap alak paprszalag rvidebbik ol-
dalait gy ragasztjuk ssze, hogy kzben a szalagot egyszer megtekerjk. (Lsd
2.6. bra.) Ennek az alakzatnak egy modelljt specilis vonalfelletknt kaphatjuk
meg. Az el oz o pldban
(u) = (cos(u), sin(u), 0)
E(u) = rot
y
(u/2)(0, 0, 1) = (sin(u/2), 0, cos(u/2)).
Azaz az egysgvektor-mez ot gy kapjuk, hogy az e
3
= (0, 0, 1) vektort az u
paramterrtk u pontnl u/2-vel megforgatjuk az y tengely krl. gy ha u
[0, 2], az e
3
vektor pontosan egy flfordulatot tesz meg. A paramteres el ol-
lts 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 $). A
forgsfelletek (2.6) el olltst ltalnostjuk. A rot
z
: R R
33
, v rot
z
(v)
lekpezsre teljesl, hogy:
(1) minden v-re rot
z
(v) izometria
(2) rot
z
(0) = 1 R
33
(3) rot
z
(t +s) = rot
z
(t) rot
z
(s).
A fenti tulajdonsgokkal nem csak a z tengely krli elforgats rendelkezik.
Knny u ltni, hogy a : v (v) = rot
e
(v) + va e (e R
3
egysgvektor,
a R) lekpezs szintn ilyen tulajdonsg: minden v-re (v) csavarmozgs,
teht izometria, (0) = 1 R
33
, tovbb
(t) (s)(x) = (t)(rot
e
(s)x +sae) =
= rot
e
(t) rot
e
(s)x + rot
e
(t)(sae) +tae =
= rot
e
(t) rot
e
(s)x +sa rot
e
(t)(e) +tae
mivel rot
e
(t)(e) = e,
= rot
e
(t) rot
e
(s)x +sae +tae = rot
e
(t +s) + (t +s)ae.
gy is fogalmazhatunk, hogy (v) [ v R izometrik egyparamteres cso-
portja. Belthat, hogy a trben minden egyparamteres izometriacsoportot (azaz
x
y
z
2.7. bra. Csavarfellet
az (1)(3) tulajdonsgot teljest o csoportot) az el obbi mdon lehet megadni, te-
ht azonos irny csavarmozgsok alkotjk, ahol az elforgats szge s az eltols
mrtke arnyosak.
Legyen c: I R
3
regulris parametrizlt grbe, (v) [ v R izometrik
egyparamteres csoportja. Az ltaluk generlt fellet:
(2.8) r : I R, (u, v) 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 = e
3
= (0, 0, 1), azaz
r(u, v) = rot
z
(v)c(u) +ave
3
= (ucos v, usin v, v).
Ennek regularitst a 2.11. feladatban vizsgljuk meg.
2.16. DEFINCI. Legyen r : U R
3
parametrizlt fellet. Az
L(r
u
(p), r
v
(p)) = T
p
r R
3
ktdimenzis alteret az r fellet p ponthoz tartoz rint o irnyskjnak, mg az
r(p) + T
p
r skot r rint oskjnak nevezzk a p pontban. Az X T
p
r vektort a
fellet p pontbeli rint ovektornak neveznk. (A paramtertartomny p pontjra
gyakran a jellsben is utalunk: X
p
T
p
r.)
2.17. TTEL. Legyen r : U R
3
parametrizlt fellet, p U. A fellet p
ponthoz tartoz rint oskjnak egyenlete
[X r(p), r
u
(p), r
v
(p)[ = 0.
BIZONYTS. Az rint osk normlvektora r
u
(p)r
v
(p), azaz X R
3
akkor
s csakis akkor illeszkedik az rint oskra, ha X r(p), r
u
(p)r
v
(p)) = 0, ami
lltsunkat jelenti.
A tovbbiakban az rint osknak nem lesz jelent osge a trgyalsunkban, csak
az rint o irnysknak, gy kiss pontatlanul, a T
p
r alteret fogjuk rint osknak ne-
vezni.
Feladatok
2.5. FELADAT. Hatrozzuk meg a fldrajzi paramterezs u gmbre az n =
(r
u
r
v
)/|r
u
r
v
| vektort!
2.6. FELADAT. Adjuk meg annak a hengerfelletnek a paramteres el ollt-
st, 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 el olltst, amely-
nek vezrgrbje az xy = 1, z = 0 hiperbola, alkotegyenesei pedig az
x + 1
3
= y =
4 z
2
egyenletrendszer u egyenessel prhuzamosak.
2.8. FELADAT. Adjuk meg annak a kpfelletnek a paramteres el olltst s
implicit egyenlett, amelynek vezrgrbje az x
2
+y
2
= 4, z = 0 kr, cscspontja
pedig (0, 0, 1) R
3
.
2.9. FELADAT.
a. Az y
2
= ax, z = 0 parabolt megforgatjuk a tengelye krl. rjuk fl az
gy keletkez o forgsfellet paramteres el olltst s implicit egyenlett!
b. Ugyanezt a parabolt az y tengely krl is megforgatjuk. Bizonytsuk be,
hogy gy negyedrend u felletet kapunk.
2.3. FELLETI GRBK 42
2.10. FELADAT. Hatrozzuk meg az r(u, v) = (u, v, uv) parametrizlt fellet
normlvektort az u = 1, v = 2 pontban!
2.11. FELADAT. Bizonytsuk be, hogy az
r : R R R
3
, (u, v) r(u, v) = (ucos v, usin v, v)
csavarfellet regulris fellet!
2.12. FELADAT. Legyen c: I R
3
biregulris trgrbe. Az
r : I R, (u, v) r(u, v) = c(u) +c
(u) v
felletet a grbe rint ofelletnek nevezzk. Vizsgljuk a fellet regularitst!
2.13. FELADAT. Vizsgljuk a Mbius-szalag regularitst!
2.3. Felleti grbk
3
parametrizlt fellet, c: I U re-
gulris parametrizlt grbe. A c = r c: I R
3
parametrizlt grbt felleti
grbnek nevezzk.
I
c
>
U
R
3
r
c
=
r
c
>
Specilisan, legyenek v
0
, u
0
konstansok,
c
1
(t) = (t, v
0
), (t, v
0
) U,
illetve
c
2
(t) = (u
0
, t), (u
0
, t) U,
(esetleg elfajul) szakaszok a paramtertartomnyban. A
c
u
(t) = r(t, v
0
) s c
v
(t) = r(u
0
, t)
felleti grbket az r fellet paramtervonalainak nevezzk.
Hatrozzuk meg a paramtervonalak sebessgvektorait:
c
u
(t) = dr(t, v
0
) e
1
= r
u
(t, v
0
)
c
v
(t) = dr(u
0
, t) e
2
= r
v
(u
0
, t).
A fenti relcik alapjn az r
u
(p), r
v
(p) (p U) vektorokat paramtervonal-rin-
t oknek 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 = u
0
paramtervonalai a szlessgi krk (specilisan u
0
= 0 az egyenlt o):
c
v
(t) = r(u
0
, t) = (Rcos u
0
cos t, Rcos u
0
sin t, Rsin u
0
),
mg a v = v
0
paramtervonalak a hosszsgi krk (specilisan v
0
= 0 a green-
wichi zr hosszsgi kr.):
c
u
(t) = r(t, v
0
) = (Rcos t cos v
0
, Rcos t sin v
0
, Rsin t).
2.20. TTEL. Minden felleti grbe regulris.
BIZONYTS. Az el oz o denci jellseivel:
(2.9) c
(t) = dr(c(t)) c
(t).
A c regularitsa miatt c
(t) ,= 0, a fellet regularitsa miatt Ker dr(c(t)) = 0,

gy c
(t) ,= 0.
A (2.9) formula azt is mutatja, hogy c
(t) Im dr(c(t)) = T
c(t)
r, gy megfo-
galmazhatjuk az albbi ttelt:
2.21. TTEL. Egy parametrizlt fellet egy adott pontjn thalad felleti
grbk ezen pontbeli rint ovektorai az adott pontbeli rint oskban vannak.
A (2.9) formult koordints alakban is kirjuk. Ha c(t) = (u(t), v(t)), akkor
(2.10) c
(t) = u
(t)r
u
(c(t)) +v
(t)r
v
(c(t)),
vagy rviden c
= u
r
u
+ v
r
v
, teht, ha rtelemszer u, hogy egy mennyisget a c
grbe mentn kell venni, akkor azt nem felttlenl jelljk a tovbbiakban.
2.22. TTEL. A fellet minden rint ovektora valamely felleti grbe rint oje.
BIZONYTS. Legyen X
p
= X
1
r
u
(p)+X
2
r
v
(p) a fellet egy rint ovektora
a p = (u
0
, v
0
) pontban (X
1
, X
2
R). Tekintsk a paramtersk
c(t) = (X
1
t +u
0
, X
2
t +v
0
)
egyenest, azaz u(t) = X
1
t + u
0
, v(t) = X
2
t + v
0
. Ekkor c(0) = p s a 2.10
kifejezst alkalmazva, c
(0) = X
p
.
2.4. MRS A FELLETEN, A FELLET ELS
O ALAPMENNYISGEI 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 els o alapmennyisgei
A felleti mrs alapja az, hogy kiszmtjuk kt felleti rint ovektor skalris
s vektorilis szorzatt. A skalris szorzatbl a felleti rint ovektor hosszt s kt
felleti rint ovektor szgt tudjuk kiszmtani, mg a vektorilis szorzat terlettel
kapcsolatos informcit ad.
Legyen adva az r : U R
3
regulris parametrizlt fellet, p U. Kiszmtjuk
az X
p
= x
1
r
u
(p)+x
2
r
v
(p) s az Y
p
= y
1
r
u
(p)+y
2
r
u
(p) felleti rint ovektorok
skalris szorzatt:
(2.11) X
p
, Y
p
) = x
1
y
1
r
2
u
(p) + (x
1
y
2
+x
2
y
1
)r
u
(p), r
v
(p)) +x
2
y
2
r
2
v
(p).
A fenti sszefggsben szerepl o skalris szorzatok a felleti mrssel kapcsolatos
alapvet o informcikat adnak.
3
parametrizlt fellet, p U. Az
(2.12) E
p
= r
u
(p), r
u
(p)), F
p
= r
u
(p), r
v
(p)), G
p
= r
v
(p), r
v
(p)),
szmokat a fellet p pontbeli els o alapmennyisgeinek nevezzk. Gyakran els o
alapmennyisgeknek nevezzk az
E: U R, p E(p) = E
p
F : U R, p F(p) = F
p
G: U R, p G(p) = G
p
differencilhat fggvnyeket is.
A (2.11) egyenlet a bevezetett j jellsekkel:
X
p
, Y
p
) = x
1
y
1
E
p
+ (x
1
y
2
+x
2
y
1
)F
p
+x
2
y
2
G
p
=
=
_
x
1
x
2
_
_
E
p
F
p
F
p
G
p
__
y
1
y
2
_
.
(2.13)
Alkalmazsknt kiszmtjuk a felleti grbk vhosszt. Legyen r : U R
3
parametrizlt fellet,
c: [a, b] U, c(t) = (u(t), v(t))
regulris parametrizlt grbe a paramtertartomnyban, c = r c: [a, b] R
3
felleti grbe.
c
= (dr c) c
=
_
r
u
c r
v
c
_
_
u
_
= u
r
u
c +v
r
v
c.
gy
| c
|
2
= u
2
E c + 2u
F c +v
2
G c,
O ALAPMENNYISGEI 45
azaz a felleti grbe vhosszt a kvetkez okppen szmoljuk ki:
2.24. TTEL.
(2.14)
c
=
_
b
a
| c
| =
_
b
a
u
2
E c + 2u
F c +v
2
G c.
2.25. PLDA (a fldrajzi paramterezs u egysggmb els o alapmennyisgei).
A gmb fldrajzi paramterezse:
r(u, v) = (cos ucos v, cos usin v, sin u), u (/2, /2), v R.
A paramtervonal rint ok:
r
u
(u, v) = (sin ucos v, sin usin v, cos u),
r
v
(u, v) = (cos usin v, cos ucos v, 0),
gy
E(u, v) = 1, F(u, v) = 0, G(u, v) = cos
2
u.
2.26. PLDA (mrs az egyenes krhengeren s a skon). Az egyenes krhen-
ger egy lehetsges el olltsa parametrizlt felletknt a kvetkez o:
r(u, v) = (cos u, sin u, v), u, v R.
A paramtervonal rint ok
r
u
(u, v) = (sin u, cos u, 0), r
v
(u, v) = (0, 0, 1),
ahonnan a parametrizlt krhenger els o 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 els o alapmennyisgei ugyan-
ezek a fggvnyek, gy a kzs paramtertartomnyban megadott tetsz oleges gr-
bnek megfelel o felleti grbk a hengeren illetve a skon ugyanolyan hosszak.
Szemlletesen fogalmazva: mikzben egy tglalap kt szemkzti oldalt ssze-
ragasztva 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 illeszked o f okrv flkrvnl kisebb ve.
BIZONYTS. A gmbfellet fldrajzi paramterezsb ol indulunk ki. Az l-
talnossg megszortsa nlkl feltehetjk, hogy az egyik pont az szaki sark.
A msik ponthoz tartoz paramterrtkek legyenek (u
1
, v
1
). Az szaki sark el-
s o paramterrtke /2, mg a msodik nem egyrtelm uen meghatrozott, le-
gyen pl. v
1
A paramtersk ezen kt pontjt sszekt o tetsz oleges grbe legyen
c(t) = (u(t), v(t)) (t [a, b]). Teht
c(a) = (/2, v
1
), c(b) = (u
1
, v
1
).
O ALAPMENNYISGEI 46
A c = r c felleti grbe vhossza (2.14) szerint
=
_
b
a
_
u
2
(t) + cos
2
(u(t))v
2
(t)dt
_
b
a
_
u
2
(t)dt =
_
b
a
[u
(t)[dt
_
b
a
u
(t)dt
= [u(b) u(a)[ = /2 u
1
.
Az egyenl osg teljeslshez szksges, hogy v
(t) = 0 teljesljn, azaz v = v

1
konstans. A felleti grbe teht hosszsgi krn van.
A paramtertartomny egy terlettel rendelkez o P U rszhalmaznak a k-
pe 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
els ofok Taylor polinommal kzeltve:
r(u +u, v +v) r(u, v) +r
u
(u, v)u +r
v
(u, v)v, , [0, 1].
A fenti relci bal oldaln r(P), a jobb oldaln pedig egy paralelogramma (rin-
t opikkely) van, melyet az r
u
(u, v)u s az r
v
(u, v)v vektorok fesztenek ki.
Ennek terletvel kzeltjk r(P) felsznt. A paralelogramma terlete:
|r
u
(u, v)ur
v
(u, v)v| = |r
u
(u, v)r
v
(u, v)| u v.
Kiszmtjuk a vektorilis szorzatot. A paramtervonal rint ok szgt jellje .
|r
u
r
v
|
2
= |r
u
|
2
|r
v
|
2
sin
2
=
= |r
u
|
2
|r
v
|
2
(1 cos
2
) =
= |r
u
|
2
|r
v
|
2
|r
u
|
2
|r
v
|
2
r
u
, r
v
)
2
|r
u
|
2
|r
v
|
2
=
= |r
u
|
2
|r
v
|
2
r
u
, r
v
)
2
=
= E GF
2
=
E F
F G
.
(2.15)
A paramtertartomnyt tglalapokra bontva, a megfelel o rint opikkelyek terle-
tnek sszege kzelti a fellet felsznt. A fentebbi gondolatmenet motivlja a
felszn dencijt.
3
parametrizlt fellet, P U terlettel
rendelkez o rszhalmaz. r(P) felszne alatt az
(2.16) A(P) =
__
P
EGF
2
kett os integrlt rtjk.
O ALAPMENNYISGEI 47
2.9. bra. Gmbt krllel o henger
2.29. PLDA (a gmb felszne). Szmtsuk ki az egysg sugar gmb felsz-
nt a fldrajzi paramterezs alapjn. A gmb els o alapmennyisgeit mr megha-
troztuk, (EGF
2
)(u, v) = cos
2
(u), u [/2, /2].
A =
_
2
0
_
_
/2
/2
cos u du
_
dv =
_
2
0
2 dv = 4.
2.30. MEGJEGYZS. A felsznt egy parametrizlt fellethez rendeltk hozz.
Be lehet ltni, hogy a felszn geometriai fogalom, azaz nem fgg a fellet para-
mterezst ol.
A kvetkez o alkalmazshoz meg kell ismernnk a trkpszetben hasznlatos
cilindrikus vetts fogalmt. Tekintsnk egy orig kzppont egysggmbt s
az azt krllel o hengert: a henger vezrkre legyen a z = 1 sk (0, 0, 1) k-
zppont egysgkre, alkotirnya a z tengely, magassga magassga kt egysg
(2.9. bra). (Ez a henger az Egyenlt o mentn rinti a gmbt.) Az szaki-sarktl
s a Dli-sarktl megfosztott gmb pontjait a z tengelyre mer oleges vettssel k-
pezzk le a hengerre.
2.31. TTEL (Arkhimdsz srfelirata). A cilindrikus vetts felszntart.
BIZONYTS. A gmb fldrajzi paramterezst hasznlva

EGF
2
=
cos u. A henger esetben a 2.8. pldtl (36. oldal) eltr oen az
r(u, v) = (cos v, sin v, sin u), u (/2, /2), v R
paramterezst hasznljuk, gy a cilindrikus vettsnl az egymsnak megfelel o
pontok paramterei megegyeznek: a paramtersk egy darabjnak a kpe a gm-
bn s a hengeren pontosan a cilindrikus vettsben egymsnak megfelel o fellet-
darabokat ad. Az ilyen mdon parametrizlt henger els o alapmennyisgeit kisz-
mtva:
r
u
(u, v) = (0, 0, cos u)
r
v
(u, v) = (sin v, cos v, 0),
O ALAPMENNYISGEI 48
azaz
E(u, v) = cos
2
u,

F(u, v) = 0,

G(u, v) = 1.
gy
_
E

G

F
2
= cos u, csakgy, mint a gmb esetben.
2.32. KVETKEZMNY. A gmb azonos magassg gmbveinek felszne
megegyezik.
BIZONYTS. 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 krllel o hengert vssenek. A trfogatok arnyt Arkhim-
dsz tudta, s erre a jelek szerint nagyon bszke volt.
A cilindrikus vettst (kicsinytssel komponlva) a trkpszetben olyan tr-
kpek ksztsre hasznljk, mely a terletek arnyt a valsgnak megfelel oen
adja vissza. Megjegyezzk, hogy a cilindrikus vetts elnevezst a trkpszet-
ben a fentebb lertaktl ltalnosabb rtelemben hasznljk, a mi ltalunk trgyalt
specilis esetet pedig terlettart cilindrikus vettsnek nevezik.
3
parametrizlt fellet, X = r(U) s
f : X R folytonos fggvny. Az f fggvny felszn szerinti integrlja:
_
X
f dA
r
=
_
U
(f r)
EGF
2
dA(u, v).
Feladatok
2.15. FELADAT. Szmtsuk ki az albbi msodrend u felletek els o alap-
mennyisgeit:
a. r(u, v) = (aucos v, busin v, u
2
) (elliptikus paraboloid)
b. r(u, v) = (aucosh v, businh v, u
2
) (hiperbolikus paraboloid)
c. r(u, v) = (a sinh ucos v, b sinh usin v, c cosh u) (ktkpeny u hiperboloid).
2.16. FELADAT. Szmtsuk ki a forgsfellet (2.10. plda) els o alapmennyi-
sgeit!
2.17. FELADAT. Legyen a forgsfellet generl grbje vhossz-
paramterezs u, (s) jellje az s paramter u pont tvolsgt a forgstengelyt ol
(s [0, ]). Bizonytsuk be, hogy a forgsfellet felszne
2
_

0
(s) ds.
Szmtsuk ki a trusz felsznt ez alapjn!
2.18. FELADAT. Szmtsuk ki a gmbi ktszg felsznt! A gmbi ktszget
hatrol kt gmbi f okr szge legyen , a gmb sugara pedig egysgnyi.
2.19. FELADAT. Hatrozzuk meg az egysggmb hosszsgi kreit lland
hegyesszgben metsz o felleti grbe (az n. loxodroma) paramteres el ollt-
st!$
2.20. FELADAT. Bizonytsuk be, hogy a loxodroma valamely vnek a hossza
arnyos a vgpontok fldrajzi szlessgnek klnbsgvel.$
2.5. A FELLET ELS
O ALAPFORMJA 49
2.5. A fellet els o alapformja
3
regulris parametrizlt fellet, p U. Az
p
: T
p
r T
p
r R, (X
p
, Y
p
)
p
(X
p
, Y
p
) = X
p
, Y
p
)
lekpezs szimmetrikus bilineris forma, az
I
p
: T
p
r R, I
p
(X
p
) =
p
(X
p
, X
p
)
lekpezs pozitv denit kvadratikus forma.
BIZONYTS.
p
tulajdonsgai kvetkeznek a tr kanonikus skalris szorza-
tnak megfelel o tulajdonsgaibl. I
p
pozitv denitsge:
I
p
(X
p
) =
p
(X
p
, X
p
) = X
p
, X
p
) = |X
p
|
2
0
s I
p
(X
p
) = 0 |X
p
| = 0 X
p
= 0.
2.35. DEFINCI. Az
p
: T
p
r T
p
r R, (X
p
, Y
p
)
p
(X
p
, Y
p
) = X
p
, Y
p
)
szimmetrikus bilineris formt a fellet p pontbeli els o alapformjnak, mg az
I
p
: T
p
r R, I
p
(X
p
) =
p
(X
p
, X
p
)
pozitv denit kvadratikus formt a fellet p pontbeli els o kvadratikus alapform-
jnak nevezzk.
A dencibl rgtn kvetkezik az albbi ttel.
2.36. TTEL. A fellet els o alapformjnak (s gy az els o kvadratikus alap-
formjnak is) a mtrixa az (r
u
(p), r
v
(p)) bzisban
_
E(p) F(p)
F(p) G(p)
_
.
Az els o alapforma kiszmtsa az el obbi mtrixszal knnyen elvgezhet o, v..
(2.13). Legyen X
p
= x
1
r
u
(p) +x
2
r
v
(p), Y
p
= y
1
r
u
(p) +y
2
r
v
(p).
p
(X
p
, Y
p
) = X
p
, Y
p
) =
= x
1
y
1
E(p) + (x
1
y
2
+x
2
y
1
)F(p) +x
2
y
2
G(p) =
=
_
x
1
x
2
_
_
E(p) F(p)
F(p) G(p)
__
y
1
y
2
_
.
(2.17)
Feladatok
2.21. FELADAT. Egy parametrizlt felletet konform paramterezs unek
mondunk, ha els o alapformjnak mtrixa az (r
u
, r
v
) bzisban
(u, v)
_
1 0
0 1
_
.
Bizonytsuk be, hogy konform paramterezs esetn az (x
1
, y
1
) s (x
2
, y
2
) vekto-
rok szge (a paramterskon) ugyanaz, mint az
(x
1
r
u
+y
1
r
v
), (x
2
r
u
+y
2
r
v
)
vektorok szge (az rint oskban).
2.6. AZ OSZKULL PARABOLOID . . . 50
2.22. FELADAT. Bizonytsuk be, hogy ha az
r(, ) =
1
cosh
(cos , sin , sinh )
paramterezsben elvgezzk a = v, = ln tg
_
4
+
u
2
_
, 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.
2.6. Az oszkull paraboloid, a fellet msodik alapmennyisgei
Legyen r : U R
3
regulris fellet, p
0
= (u
0
, v
0
) U. rjuk fl r Taylor-
sort a msodrend u tagokkal bezrlag!
(2.18)

r (u, v) = r(p
0
) +r
u
(p
0
)(u u
0
) +r
v
(p
0
)(v v
0
)+
+
1
2
_
r
uu
(p
0
)(u u
0
)
2
+ 2r
uv
(p
0
)(u u
0
)(v v
0
) +r
vv
(p
0
)(v v
0
)
2
_
r : U R
3
maga is egy fellet, amelyet az r oszkull paraboloidjnak neve-
znk. u, v-ben (2.18) kvadratikus, gy az oszkull paraboloid egy msodrend u
fellet.
Most hatrozzuk meg

r (p) el ojeles tvolsgt az r(p
0
)-beli rint osktl. Az
el ojel rtelmezshez az rint osk
(2.19) n(p
0
) =
r
u
(p
0
)r
v
(p
0
)
|r
u
(p
0
)r
v
(p
0
)|
norml-egysgvektort kitntetjk, s egy trbeli x pont el ojeles tvolsga az rin-
t osktl pozitv, ha a pont az el obbi normlvektor ltal kitntetett fltrben van,
azaz x r(p
0
), n(p
0
)) > 0.
Felhasznlva, hogy r
u
(p
0
), n(p
0
)) = 0 s r
v
(p
0
), n(p
0
)) = 0,
d(p) =
r (p) r(p
0
), n(p
0
)) =
=
1
2
_
r
uu
(p
0
), n(p
0
))(u u
0
)
2
+
+2r
uv
(p
0
), n(p
0
))(u u
0
)(v v
0
) +r
vv
(p
0
), n(p
0
))(v v
0
)
2
_
.
(2.20)
A 2.20 kifejezsben szerepl o konstansokat a fellet msodik alapmennyisgeinek
nevezzk.
2.37. DEFINCI. Az r : U R
3
parametrizlt fellet msodik alapmennyi-
sgei a p U pontban
L
p
= r
uu
(p), n(p)), M
p
= r
uv
(p), n(p)), N
p
= r
vv
(p), n(p)),
2.6. AZ OSZKULL PARABOLOID . . . 51
ahol
n(p) =
r
u
(p)r
v
(p)
|r
u
(p)r
v
(p)|
.
Msodik alapmennyisgeknek nevezzk az
L: U R, p L(p) = L
p
M: U R, p M(p) = M
p
N: U R, p N(p) = N
p
differencilhat fggvnyeket is.
(2.20) alapjn az oszkull paraboloid egyenlete az
(r(p
0
), r
u
(p
0
), r
v
(p
0
), n(p
0
)) afn koordinta-rendszerben a msodik alap-
mennyisgekkel kifejezve
(2.21) =
1
2
_
L
2
+ 2M +N
2
_
,
ahol a koordintkat (, , ) jelli, s a msodik alapmennyisgek a p
0
pontban
rtend ok.
2.38. DEFINCI. Ha az oszkull paraboloidnak az rint oskkal prhuzamos,
attl
1
2
tvolsgra lv o skmetszeteit vesszk, akkor az n. Dupin-indikatrixot
kapjuk.
A Dupin-indikatrix msodrend u grbe. Az rint oskra vonatkoz mer oleges
vetletnek egyenlete az (r(p
0
), r
u
(p
0
), r
v
(p
0
)) afn koordinta-rendszerben
(2.22) 1 = L
2
+ 2M +N
2
.
A (2.22) msodrend u grbe afn osztlyt megllapthatjuk a magmtrix determi-
nnsa 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 afn osztlyba tarto-
zik, a felleti pontot hiperbolikusnak, parabolikusnak illetve elliptikusnak mond-
juk.
Feladatok
2.23. FELADAT. Bizonytsuk be, hogy
L =
[r
u
, r
v
, r
uu
[
EGF
2
, M =
[r
u
, r
v
, r
uv
[
EGF
2
, N =
[r
u
, r
v
, r
vv
[
EGF
2
.
2.24. FELADAT. Hatrozzuk meg a forgsfellet (2.10. plda) msodik alap-
mennyisgeit, ahol a generl grbe vhossz-paramterezs u s x(s) > 0.
(Ld. mg a 2.16. feladatot.)
2.7. A FORMAOPERTOR . . . 52
2.25. FELADAT. Legyen a trusz generl grbje az x(s) = a + b cos
_
s
b
_
,
y(s) = 0, z(s) = b sin
_
s
b
_
vhossz-paramterezs u kr. Az el oz o feladat alapjn
szmtsuk ki a trusz msodik alapmennyisgeit!
2.26. FELADAT. Hatrozzuk meg az r(u, v) = (u, v, uv) nyeregfellet Dupin-
indikatrixt az origban.
2.7. A fellet msodik alapformja s a formaopertor
Legyen r : U R
3
regulris parametrizlt fellet, R
3
orig kzppont egy-
sggmbjt jellje S
2
. Ekkor
n: U S
2
, p n(p) =
r
u
(p)r
v
(p)
|r
u
(p)r
v
(p)|
differencilhat lekpezs.
2.40. TTEL. A dn(p): R
2
R
3
(p U) lekpezs kptere a fellet p pont-
hoz tartoz rint o irnyskban van: Imdn(p) T
p
R.
BIZONYTS. Imdn(p) = L(n
u
(p), n
v
(p)). Az n(p), n(p)) = 1 egyenletet
differencilva:
n
u
(p), n(p)) +n(p), n
u
(p)) = 0 = n(p), n
u
(p)) = 0,
hasonlan n(p), n
v
(p)) = 0. Ez azt jelenti, hogy n
u
(p), n
v
(p) az rint o irny-
skban vannak, ami a kt vektor ltal kifesztett altrre ugyanezt a tulajdonsgot
jelenti.
3
parametrizlt fellet. A
W
p
: T
p
r T
p
r, W
p
= dn(p) dr(p)
1
lineris lekpezst a fellet p ponthoz tartoz formaopertornak vagy
Weingarten-lekpezsnek nevezzk, ahol dr(p)
1
R
23
a dr(p) mtrix egy ba-
linverzt jelli.
A
p
: T
p
r T
p
r R, (X
p
, Y
p
)
p
(X
p
, Y
p
)
p
(X
p
, Y
p
) = W
p
(X
p
), Y
p
) = dn(p) dr(p)
1
(X
p
), Y
p
)
bilineris formt a fellet p ponthoz tartoz msodik alapformjnak nevezzk.
2.42. MEGJEGYZS. Korbban (ld. 2.5. Megjegyzs) mr utaltunk arra, hogy
dr(p) R
32
balinvertlhat. A balinverz ltalban nem egyrtelm u, viszont ha
B R
mn
s C R
mn
balinverzei egy A R
nm
mtrixnak, akkor X ImA-
ra BX = CX. gy a formaopertor dencija fggetlen dr(p) balinverznek v-
lasztstl s nem okoz flrertst, ha a balinverz jellsre dr(p)
1
-t hasznljuk.
Szmolsban
dr(p)(e
1
) = r
u
(p) = dr(p)
1
(r
u
(p)) = e
1
dr(p)(e
2
) = r
v
(p) = dr(p)
1
(r
v
(p)) = e
2
.
(2.23)
2.43. PLDA (a gmb formaopertora). Orig kzppont egysggmb ese-
tben n(p) = r(p) (a fldrajzi paramterezsnl knnyen ellen orizhet o), gy
dn(p) = dr(p). Jobbrl dr(p) balinverzvel szorozva kapjuk, hogy W
p
= id,
teht
p
(X
p
, Y
p
) = X
p
, Y
p
).
2.44. TTEL. A fellet p pontbeli msodik alapformjnak mtrixa az
(r
u
(p), r
v
(p)) bzisban
_
L
p
M
p
M
p
N
p
_
.
BIZONYTS. A (2.23) sszefggst s a msodik alapforma dencijt fel-
hasznlva
p
(r
u
(p), r
u
(p)) = dn(p)e
1
, r
u
(p)) = n
u
(p), r
u
(p)).
A szorzat differencilsra vonatkoz szablyt alkalmazva, mivel n, r
u
) = 0,
ezrt n
u
, r
u
) +n, r
uu
) = 0, ezrt
p
(r
u
(p), r
u
(p)) = n(p), r
uu
(p)) = L
p
.
Hasonlan, n, r
v
) = 0 = n
u
, r
v
) + n, r
vu
) = n
u
, r
v
) + n, r
uv
) = 0,
teht
p
(r
u
(p), r
v
(p)) = dn(p)e
1
, r
v
(p)) = n
u
(p), r
v
(p)) = n(p), r
uv
(p)) = M
p
.
Analg szmolssal kapjuk, hogy
p
(r
v
(p), r
u
(p)) = M
p
s
p
(r
v
(p), r
v
(p)) = N
p
.
2.45. KVETKEZMNY. A msodik alapforma szimmetrikus, azaz
X
p
, Y
p
T
p
r : (X
p
, Y
p
) = (Y
p
, X
p
).
BIZONYTS. Elegend o arra utalni, hogy a msodik alapforma mtrixa az
(r
u
(p), r
v
(p)) bzisban szimmetrikus.
Szimmetrikus bilineris forma kvadratikus formt szrmaztat:
3
parametrizlt fellet msodik kvadratikus
alapformjn a p U pontban a
II : T
p
r R, X
p
II
p
(X
p
) =
p
(X
p
, Y
p
)
kvadratikus formt rtjk.
2.47. TTEL. A formaopertor szimmetrikus, azaz
X
p
, Y
p
T
p
r : W
p
(X
p
), Y
p
) = X
p
, W
p
(Y
p
)).
BIZONYTS. A formaopertor dencijt s a 2.45. kvetkezmnyt felhasz-
nlva:
W
p
(X
p
), Y
p
) = (X
p
, Y
p
) = (Y
p
, X
p
) = X
p
, W
p
(Y
p
)).
2.48. TTEL. A parametrizlt fellet p pontbeli formaopertornak mtrixa
az (r
u
(p), r
v
(p)) bzisban
_
E
p
F
p
F
p
G
p
_
1
_
L
p
M
p
M
p
N
p
_
.
BIZONYTS. A formaopertor dencija szerint
W
p
(r
u
(p)) = n
u
(p) s W
p
(r
v
(p)) = n
v
(p).
Meg kell keresnnk W
p
(r
u
(p)) = n
u
(p) s W
p
(r
v
(p)) = n
v
(p) koordintit
az (r
u
(p), r
v
(p)) bzisban. Jelljk a koordintkat w
ij
-vel:
n
u
(p) = w
11
r
u
(p) +w
21
r
v
(p) (2.24)
n
v
(p) = w
12
r
u
(p) +w
22
r
v
(p). (2.25)
A (2.24) egyenletet r
u
(p)-vel s r
v
(p)-vel skalrisan szorozva:
n
u
(p), r
u
(p)) = w
11
E
p
+w
21
F
p
n
u
(p), r
v
(p)) = w
11
F
p
+w
21
G
p
.
A 2.44. ttel bizonytsban mr hasznltuk, hogy
n
u
(p), r
u
(p)) = n(p), r
uu
(p)) = L
p
n
u
(p), r
v
(p)) = n(p), r
uv
(p)) = M
p
,
azaz a keresett w
11
, w
21
egytthatkra az albbi lineris egyenletrendszert kapjuk:
E
p
w
11
+F
p
w
21
= L
p
F
p
w
11
+G
p
w
21
= M
p
,
vagy mtrix alakban:
_
E
p
F
p
F
p
G
p
__
w
11
w
21
_
=
_
L
p
M
p
_
.
Az egyenletrendszer alapmtrixa az els o alapforma mtrixa, ami regulris, gy
_
w
11
w
21
_
=
_
E
p
F
p
F
p
G
p
_
1
_
L
p
M
p
_
.
Hasonlan eljrva a (2.25) egyenlettel azt kapjuk, hogy:
_
w
12
w
22
_
=
_
E
p
F
p
F
p
G
p
_
1
_
M
p
N
p
_
,
azaz
_
w
11
w
12
w
21
w
22
_
=
_
E
p
F
p
F
p
G
p
_
1
_
L
p
M
p
M
p
N
p
_
.
A (2.24)(2.25) egyenletekt ol csak a bal oldal el ojelben klnbz o
n
u
= a
11
r
u
+a
21
r
v
n
v
= a
12
r
u
+a
22
r
v
(2.26)
egyenleteket a fellet Weingarten-egyenleteinek nevezzk. Az el oz o bizonyts
alapjn a Weingarten-egyenletekben szerepl o a
ij
egytthatk kifejezhet ok a fel-
let els o s msodik alapmennyisgeivel:
a
11
=
FM GL
EGF
2
, a
12
=
FN GM
EGF
2
,
a
21
=
LF EM
EGF
2
, a
22
=
FM EN
EGF
2
.
(2.27)
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
Jacobi-mtrixot felhasznlva, denci alapjn, teht a 2.48. Ttelre trtn o hivat-
kozs nlkl rjuk fl a formaopertor mtrixt a paramtervonal rint ok alkotta
bzisban!
2.28. FELADAT. Tekintsk az
a. r(u, v) = (u, v, u
2
v
2
) nyeregfelletet
b. r(u, v) = (u, v, u
2
+kv
2
), (k > 0) paraboloidot.
Hatrozzuk meg a dn lekpezs Jacobi-mtrixt az origban! Ennek alapjn, a
denci szerint hatrozzuk meg a formaopertor mtrixt az origban a param-
tervonal rint ok alkotta bzisban!
2.8. A fellet grblete
3
regulris parametrizlt fellet, n =
r
u
r
v
r
u
r
v
a felleti normlis. Legyen tovbb c: I U regulris parametrizlt grbe olyan

mdon, hogy a c = r c: I R
3
felleti grbe biregulris s termszetes para-
mterezs u. Ennek Frenet-bzist jellje (T, F, B), grblett . Ekkor
(2.28) II
p
( c
(t)) = (t)n(p), F(t)), ahol p = c(t).

BIZONYTS. Vegyk gyelembe, hogy dr(p)
1
_
c
(t)
_
= c
(t), azaz
W
p
( c
(t)) = dn(p)
_
c
(t)
_
,
gy
II
p
( c (t)) =
p
( c
(t), c
(t)) = dn(p)c
(t), c
(t)) = (n c)
(t), c
(t)).
Mivel n c, c
) = 0, ezrt a szorzat szably szerint differencilva:

(n c)
, c
) +n c, c
) = 0,
gy
II
p
( c(t)) = n(p), c
(t)) = n(p), T
(t)) = (t)n(p), F(t)),

az utols lpsben a T
= F Frenet-formult alkalmazva.
Az el oz o llts kzvetlen kvetkezmnyeknt fogalmazhatjuk meg az albbi
ttelt.
2.50. TTEL (Meusnier-ttel). Jellje (t) [0, /2] a p-beli felleti nor-
mlis s a felleti grbe t paramterrtkhez tartoz simulskjnak szgt, azaz
= (n, B). Ekkor
[ II( c
(t))[ = (t) cos (t).

Amennyiben (t) ,= /2, akkor
(t) =
[ II( c
(t))[
cos (t)
.
(t) = 0 esetn a felleti grbe simulskja tartalmazza a fellet adott pontbeli
normlist s (t) = [ II( c
(t))[.
3
parametrizlt fellet p U pontbeli X
p

T
p
r (X
p
,= 0) irnyhoz tartoz normlgrbletn a
r
(X
p
) = II(X
0
p
) =
W
p
(X
p
), X
p
)
X
p
, X
p
)
szmot rtjk, ahol X
0
p
= X
p
/|X
p
|.
A (nem zr) normlgrblet abszolt rtknek geometriai jelentst Me-
usnier ttele alapjn fogalmazhatjuk meg: az X
p
rint ovektor s az n
p
felleti
normlis ltal kifesztett sk a felletb ol egy felleti grbt metsz ki, melynek
grblete p-ben ppen a normlgrblet abszolt rtke (2.10. bra).
n
2.10. bra. A henger normlmetszetei
A normlgrblet dencijbl addan
r
(t X
p
) =
r
(X
p
), gy egy adott
irnyhoz tartoz normlgrblet megllaptshoz elegend o X
p
-t az
S
1
p
r = X
p
T
p
r [ |X
p
| = 1
halmazbl (amely egy egysgkr) vlasztani. Az
S
1
p
r R, X
p

r
(X
p
)
fggvny egy kompakt halmazon rtelmezett folytonos fggvny, amely flveszi
(esetleg egybees o) maximumt s minimumt.
2.52. DEFINCI. Az S
1
p
r R, X
p

r
(X
p
) fggvny maximumt s
minimumt a fellet p ponthoz tartoz f ogrbleteinek nevezzk, mg a hozzjuk
tartoz X
p
irnyokat f oirnyokknt emltjk.
2.53. TTEL (Rodriguez-ttel). A fellet egy p pontjhoz tartoz f ogrbletek
megegyeznek a p ponthoz tartoz formaopertor sajtrtkeivel, mg a f oirnyok
a formaopertor sajtvektorai.
BIZONYTS. A f oirny (mint szls ortkhely) a
r
: T
p
r R, X
p

r
(X
p
) =
W
p
(X
p
), X
p
)
X
p
, X
p
)
lekpezs kritikus pontja, azaz az X
p
szls ortkhelyen d
r
(X
p
) = 0.
d
r
(X
p
) =
2W
p
(X
p
)X
p
, X
p
) 2W
p
(X
p
), X
p
)X
p
X
p
, X
p
)
2
=
=
2W
p
(X
p
) 2
r
(X
p
)X
p
X
p
, X
p
)
,
a hnyados differencilsi szablyt s a 3.9. differencilsi szablyt alkalmazva.
A szmll zrus, gy
W
p
(X
p
) =
r
(X
p
) X
p
,
amit bizonytani kellett.
Szimmetrikus opertor klnbz o sajtrtkeihez tartoz sajtvektorai egy-
msra mer olegesek. Alkalmazva ezt az lltst a formaopertorra, megfogalmaz-
hatjuk, hogy klnbz o f ogrbletekhez tartoz f oirnyok egymsra mer olege-
sek. Ha a kt f ogrblet azonos, akkor minden irny f oirny, gy ismt vannak
egymsra mer oleges f oirnyok.
2.54. KVETKEZMNY. A fellet brmely pontjban van kt egymsra me-
r oleges f oirny.
A f oirnyok s f ogrbletek segtsgvel a fellet minden pontjban tetsz ole-
ges irnyban ki lehet a normlgrbletet szmtani:
2.55. TTEL (Euler). Legyen r : U R
3
parametrizlt fellet. A p U
pontban a (V
1
, V
2
) f oirnyok alkossanak ortonormlt bzist. Legyenek a megfe-
lel o f ogrbletek
1
,
2
tovbb X
p
= cos V
1
+ sin V
2
T
p
r egy felleti
rint ovektor. Ekkor
r
(X
p
) =
1
cos
2
+
2
sin
2
.
BIZONYTS. X
p
egysgvektor, teht
r
(X
p
) = W
p
(X
p
), X
p
) =
= W
p
(cos V
1
+ sin V
2
), cos V
1
+ sin V
2
)
a formaopertor linearitst valamint Rodriguez ttelt felhasznlva:
= cos
1
V
1
+ sin
2
V
2
, cos V
1
+ sin V
2
)
a skalris szorzst tagonknt elvgezve s felhasznlva V
1
s V
2
ortogonalitst:
=
1
cos
2
+
2
sin
2
.
2.9. GAUSS-GRBLET S MINKOWSKI-GRBLET 58
Feladatok
2.29. FELADAT ($). Lssuk be, hogy a Dupin-indikatrix (lsd (2.22)) f oten-
gelyei a f oirnyok, s a grbe egyenlete a f oirnyok alkotta bzisban
2
+
2
2
= 1.
2.9. Gauss-grblet s Minkowski-grblet
A f ogrbletek a formaopertor sajtrtkei, gy a formaopertor karakterisz-
tikus egyenletnek megoldsai. A formaopertor karakterisztikus polinomja egy
msodfok f opolinom. Ezt a polinomot a gykk ismeretben knnyen fel tudjuk
rni a gykk s egytthatk kztti sszefggs alapjn. Jellje a f ogrbleteket
(egy adott pontban)
1
s
2
! A karakterisztikus egyenlet:
f(x) = x
2
(
1
+
2
) x +
1

2
Az egyenletben szerepl o egytthatk kln nevet kaptak:
2.56. DEFINCI. Jellje a fellet egy p Upontjban a f ogrbleteket
1
(p)
s
2
(p). Ekkor K(p) =
1
(p)
2
(p) a fellet szorzatgrblete vagy Gauss-
grblete, mg H(p) =

1
(p)+
2
(p)
2
a fellet kzpgrblete vagy Minkowski-
grblete.
A denci jellseivel a p pontbeli formaopertor karakterisztikus polinomja
f(x) = x
2
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 f ogrbletek
meghatrozsa nlkl is ki tudjuk szmtani:
2.57. TTEL. Jellje a fellet els o alapmennyisgeit E, F, G; a msodik alap-
mennyisgeit L, M, N.
K = det
_
_
E F
F G
_
1
_
L M
M N
_
_
=
LN M
2
EGF
2
,
2H = trace
_
_
E F
F G
_
1
_
L M
M N
_
_
=
LG2MF +EN
EGF
2
BIZONYTS. Csak a Gauss- s Minkowski-grblet hnyadosknt trtn o
felrsa szorul kln bizonytsra. Mivel
_
E F
F G
_
1
=
1
E F
F G
_
G F
F E
_
,
2.10. A GAUSS-EGYENLETEK S A FELLET KOMPATIBILITSI EGYENLETEI 59
ezrt
det
_
E F
F G
_
1
=
G F
F E
E F
F G
2
=
EGF
2
(EGF
2
)
2
=
1
EGF
2
,
gy a determinnsok szorzsttelt alkalmazva mris kvetkezik a Gauss-
grbletre vonatkoz llts.
A mtrix-szorzs elvgzsvel kapjuk a Minkowski-grbletre vonatkoz l-
ltst.
A Gauss-grblet fenti kifejezsben a msodik alapmennyisgek determi-
nnsa is szerepel. A klasszikus felletelmlet nevezetes ttele, hogy ez az els o
alapmennyisgekb ol is kiszmthat:
2.58. TTEL (Theorema egregium Gauss). A msodik alapmennyisgek de-
terminnsa, s gy a fellet Gauss grblete kifejezhet o a fellet els o alapmennyi-
sgeivel.
A ttel bizonytsra a kvetkez o fejezetben visszatrnk.
Feladatok
2.30. FELADAT. Hatrozzuk meg a trusz (ld. 2.12. plda) Gauss- s
Minkowski-grblett!
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 hiperbola-
pr, 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 megforgats-
val kapott fellet a tractoid vagy mskppen pszeudoszfra (2.11. bra). Bizonyt-
suk be, hogy a pszedoszfra konstans 1 Gauss-grblet u 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 alapvet o
fogalmhoz, a grblethez s a torzihoz. A fellet egy pontjban vett (r
u
, r
v
, n)
bzis vltozst analg mdon vizsglhatjuk. Legyen r : U R
3
parametrizlt
2.11. bra. A pszeudoszfra
fellet, minden p U pontban az n
u
, n
v
, r
uu
, r
uv
= r
vu
, r
vv
vektorokat linerisan
kombinljuk az (r
u
, r
v
, n)
p
bzist felhasznlva. Az
n
u
= a
11
r
u
+a
21
r
v
n
v
= a
12
r
u
+a
22
r
v
Weingarten-egyenleteket mr vizsgltuk a 2.7. fejezetben. A hinyz egyenletek:
r
uu
=
1
11
r
u
+
2
11
r
v
+
11
n
r
uv
=
1
12
r
u
+
2
12
r
v
+
12
n
r
vu
=
1
21
r
u
+
2
21
r
v
+
21
n
r
vv
=
1
22
r
u
+
2
22
r
v
+
22
n.
(2.29)
r
uv
= r
vu
miatt fennll, hogy
1
12
=
1
21
,
2
12
=
2
21
.
A 2.29 relcik mindegyikt n-nel skalrisan szorozva, a r
u
, n) = r
v
, n) = 0 s
n, n) = 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 szerepl o
i
jk
: U R
differencilhat fggvnyeket a fellet Christoffel-szimblumainak nevezzk,
mg a (2.29) egyenleteket Gauss-egyenleteknek.
2.60. TTEL. A fellet Christoffel-szimblumai kifejezhet ok a fellet els o
alapmennyisgeivel s azok derivltjaival.
BIZONYTS. Abizonytst rszleteiben csak
1
11
s
2
11
-re adjuk meg, a tbbi
Christoffel-szimblumra analg mdon trtnik.
A (2.29) Gauss-egyenleteket most r
u
-val s r
v
-vel szorozzuk skalrisan:
r
uu
, r
u
) =
1
11
E +
2
11
F
r
uu
, r
v
) =
1
11
F +
2
11
G.
(2.30)
Ugyanakkor
E = r
u
, r
u
) = E
u
= 2r
uu
, r
u
), E
v
= 2r
uv
, r
u
),
tovbb
F = r
u
, r
v
) = F
u
= r
uu
, r
v
) +r
u
, r
uv
),
gy
r
uu
, r
v
) = F
u
r
u
, r
uv
) = F
u
1
2
E
v
A kapott kifejezseket behelyettestve (2.30)-be az
1
2
E
u
=
1
11
E +
2
11
F
F
u
1
2
E
v
=
1
11
F +
2
11
G.
(2.31)
inhomogn lineris egyenletrendszert kapjuk a (
1
11
,
2
11
), ismeretlenekre, mely-
nek alapmtrixa
_
E F
F G
_
,
azaz az els o alapmennyisgek mtrixa, mely nem zr determinns. Az egyen-
letrendszert a Cramer-szabllyal megoldva:
1
11
=
1
2
E
u
F
F
u
1
2
E
v
G
EGF
2
=
GE
u
2FF
u
+FE
v
2(EGF
2
)
,
2
11
=
E
1
2
E
u
F F
u
1
2
E
v
EGF
2
=
2EF
u
EE
v
FE
u
2(EGF
2
)
.
A szmtst hasonlan vgezzk el a tbbi Christoffel-szimblumra.
1
12
s
2
12
meghatrozshoz az albbi egyenletrendszert kapjuk:
1
12
E +
2
12
F =
1
2
E
v
1
12
F +
2
12
G =
1
2
G
u
,
gy
1
12
=
GE
v
FG
u
2(EGF
2
)
,
2
12
=
EG
u
FE
v
2(EGF
2
)
.
A hinyz
1
22
s
2
22
meghatrozshoz
1
22
E +
2
22
F = F
v
1
2
G
u
1
22
F +
2
22
G =
1
2
G
v
,
amib ol
1
22
=
2GF
v
GG
u
FG
v
2(EGF
2
)
,
2
22
=
EG
v
2FF
v
+FG
u
2(EGF
2
)
.
Az eredmny egyszer usdik az olyan felleteknl, ahol F = 0 (azaz mer ole-
ges paramterezsnl), ilyenkor:
1
11
=
E
u
2E
,
2
11
=
E
v
2G
,
1
12
=
E
v
2E
,
2
12
=
G
u
2G
,
1
22
=
G
u
2E
,
2
22
=
G
v
2G
.
(2.32)
2.61. PLDA (a gmb Christoffel-szimblumai). A 2.25. pldban mr meg-
hatroztuk a gmb els o alapmennyisgeit (a fldrajzi paramterezsnl):
E(u, v) = 1, F(u, v) = 0, G(u, v) = cos
2
u.
A (2.32) egyszer ustett formulkat hasznlva
1
22
=
sin 2u
2
,
2
12
= tg u,
a gmb minden ms Christoffel-szimbluma zrus.
A tovbbiakban bebizonytjuk a Theorema egregiumot (2.58. ttel). A vegyes
parcilis derivltak felcserlhet osge alapjn felrhatjuk, hogy
(r
uu
)
v
(r
uv
)
u
= 0
(r
vv
)
u
(r
vu
)
v
= 0
n
uv
n
vu
= 0.
(2.33)
Ezeket az egyenleteket kompatibilitsi egyenleteknek nevezzk. Mindhrom
egyenlet bal oldaln ll vektor linerisan kombinlhat (s csakis trivilisan)
az (r
u
, r
v
, n) bzisban, s a Weingarten- s Gauss-egyenletek alapjn a kombi-
ncis egytthatkban a fellet els o, msodik alapmennyisgei s a Christoffel-
szimblumok szerepelnek. Tegyk meg ezt most az els o egyenlet esetben! A
Gauss-egyenletek alapjn:
(2.34)
1
11
r
uv
+
2
11
r
vv
+Ln
v
+ (
1
11
)
v
r
u
+ (
2
11
)
v
r
v
+L
v
n =
=
1
12
r
uu
+
2
12
r
vu
+Mn
u
+ (
1
12
)
u
r
u
+ (
2
12
)
u
r
v
+M
u
n.
Ismt a Gauss-egyenleteket s a Weingarten-egyenleteket hasznlva, csak r
v
egytthatit leolvasva mindkt oldalon:
1
11
2
12
+
2
11
2
22
+La
22
+ (
2
11
)
v
=
1
12
2
11
+
2
12
2
12
+Ma
21
+ (
2
12
)
u
.
(2.27)-b ol berva a
12
s a
22
rtkt:
(
2
12
)
u
(
2
11
)
v
+
1
12
2
11
+
2
12
2
12
1
11
2
12
2
11
2
22
=
= La
22
Ma
21
= L
FM EN
EGF
2
M
LF EM
EGF
2
= E
LN M
2
EGF
2
.
A vgeredmnyben a jobb oldal msodik tnyez oje pontosan a Gauss-grblet,
gy
(2.35) EK = (
2
12
)
u
(
2
11
)
v
+
1
12
2
11
+
2
12
2
12
1
11
2
12
2
11
2
22
.
Mivel a Christoffel-szimblumok kifejezhet ok az els o alapmennyisgekb ol, gy
a fenti relci megadja, hogy a Gauss-grbletet hogyan kell kifejezni az els o
alapmennyisgekb ol. Ezzel bebizonytottuk a Theorema egregiumot.
2.62. KVETKEZMNY. Mer oleges paramterezsnl (azaz F = 0 esetn)
(2.36) K =
1
2
EG
_

v
_
E
v
EG
_
+

u
_
G
u
EG
__
.
2.63. MEGJEGYZS ($). Trjnk vissza a (2.34) egyenletre s most n egytt-
hatit olvassuk le mindkt oldalon!
1
11
M +
2
11
N +L
v
=
1
12
L +
2
12
M +M
u
,
vagy trendezve
(2.37) L
v
M
u
= L
1
12
+M(
2
12
1
11
) N
2
11
.
A msodik kompatibilitsi egyenletre (lsd (2.33)) ugyanezt az eljrst alkalmaz-
zuk.
u
_
1
22
r
u
+
2
22
r
v
+Nn
_
=

v
_
1
21
r
u
+
2
21
r
v
+Mn
_
.
Majd a Gauss- illetve Weingarten-egyenletek alapjn:
(
1
22
)
u
r
u
+ (
2
22
)
u
r
v
+ (N)
u
n +
1
22
r
uu
+
2
22
r
vu
+Nn
u
=
= (
1
21
)
v
r
u
+ (
2
21
)
v
r
v
+ (M)
v
n +
1
21
r
uv
+
2
21
r
vv
+Nn
v
.
Ismt a Gauss-egyenleteket alkalmazva, majd leolvasva n egytthatit mindkt
oldalon, rendezs utn:
(2.38) M
v
N
u
= L
1
22
+M(
2
22
1
21
)
2
12
N.
a (2.37)-(2.38) egyenleteket Mainardi Codazzi-egyenleteknek nevezzk.
A grbeelmlet alapttele azt mondta ki, hogy a grblet s a torzi (irnyts-
tart izometritl eltekintve) egyrtelm uen meghatrozza a grbt. Hasonl kr-
dst a felletelmletben is flvethetnk. A Gauss- illetve Weingarten-egyenleteket
a Frenet-egyenletek analgijra kaptuk, gy a trgrbe grblethez s a torzij-
hoz analg mennyisgek a Christoffel-szimblumok, a msodik alapmennyisgek
s a Weingarten-egyenletekben szerepl o a
ij
egytthatk. Azonban e mennyis-
gek mindegyike kifejezhet o az els o s msodik alapmennyisgekb ol, gy a kr-
dst gy is megfogalmazhatjuk, hogy tetsz olegesen megadott E, F, G, L, M, N
fggvnyek mellett van-e olyan fellet, amelynek els o s msodik alapmennyi-
sgei ppen ezek a fggvnyek. Ezt a problmt formaproblmnak nevezzk.
Nyilvnvalan a megadott fggvnyekre teljeslni kell az EG F
2
> 0 felt-
telnek. Tovbbi szksges feltteleket adhatunk a ltezshez, ilyen a (2.35) The-
orema egregium egyenlete, illetve az el obbiekben levezetett Mainardi Codazzi-
egyenletek. (Mindegyik egyenletben csak az els o s msodik alapmennyisgek s
2.11. ELEMI FELLETEK IZOMETRIKUS LEKPEZSEII 64
ezek derivltjai llnak.) A klasszikus felletelmlet nevezetes ttele, hogy ezek a
felttelek elegend oek is.
2.64. TTEL (a felletelmlet f ottele, 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 EG F
2
>
0, akkor izometritl eltekintve pontosan egy olyan fellet ltezik, amelynek els o
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
1
11
+
2
12
=
_
ln
EGF
2
_
u
1
12
+
2
22
=
_
ln
EGF
2
_
v
.
2.36. FELADAT. Lssuk be, hogy a z = f(x, y) Euler Monge-alakban adott
fellet Christoffel-szimblumaira teljesl, hogy
k
ij
=
f
ij
f
k
1 +f
2
1
+f
2
2
,
ahol f
1
=
f
x
, f
2
=
f
y
.
2.37. FELADAT. Szmtsuk ki az r(u, v) = (x(u) cos v, x(u) sin v, z(u)) pa-
rametrizlt forgsfellet Christoffel-szimblumait!
2.38. FELADAT. Az el oz o feladat alapjn hatrozzuk meg a trusz Christoffel-
szimblumait.
2.11. Elemi felletek izometrikus lekpezsei$
Ebben a fejezetben kt fellet egymsra trtn o lekpezseivel foglalkozunk.
A jegyzetnkben kiptett eszkzrendszerrel ezt gy tudjuk megtenni, ha a fel-
letekr ol felttelezzk, hogy a paramtertartomny pontjai a fellet pontjaival kl-
csnsen egyrtelm uen vannak megfeleltetve s az inverz lekpezs is folytonos.
2.65. DEFINCI. Az S R
3
halmazt elemi felletnek nevezzk, ha van
olyan U R
2
nylt halmaz s r : U S differencilhat lekpezs, hogy
1. rang dr(p) = 2 teljesl p U-ra
2. r homeomorzmus, azaz invertlhat s az inverze is folytonos.
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 R
3
. Az elemi felletek mindig paramet-
rizlt felletek is.
Elemi felletek esetben a paramtertartomnyok kztti lekpezs a felleti
pontok kztt ad lekpezst. Ugyanis, ha r
1
: U
1
S
1
s r
2
: U
2
S
2
kt elemi
fellet s : U
1
U
2
lekpezs, akkor

= r
2
r
1
1
: S
1
S
2
a felletek
kztti megfeleltets:
S
1
>
S
2
U
1
r
1
1
>
U
2
r
2
A tovbbiakban felttelezzk, hogy diffeomorzmus. Ha p U

1
, akkor p-t s
p
= (p)-t egymsnak megfelel o pontoknak mondjuk. Az egymsnak megfelel o

pontokban az rint o irnyterek kztt is knnyen tudunk lekpezst adni:
d
(p)
def
= dr
2
(p
) d(p) dr
1
(p)
1
: T
p
r
1
T
p
r
2
,
ahol dr
1
(p)
1
a dr
1
(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 elegend o lesz azonban a paramtertartomnyok kztti
lekpzssel foglalkozni, hiszen (mivel feltettk, hogy r
1
homeomorzmus)
mr egyrtelm uen kijelli a megfelel o felleti pontokat.
2.66. DEFINCI. Az r
1
: U
1
S
1
, r
2
: U
2
S
2
elemi felleteket izometri-
kusaknak nevezzk, ha van olyan : U
1
U
2
diffeomorzmus, hogy p U s
X R
2
-re
I
1
(dr
1
(p)X) = I
2
(dr
2
(p
)(X
)),
ahol p
= (p), X
= d(p)(X), s I
1
, I
2
a megfelel o els o kvadratikus alapfor-
mkat jelli. -t ekkor loklis izometrinak nevezzk.
Izometrikus felletek esetn az els o alapformk is megegyeznek, pontosabban
teljesl, hogy p U s X, Y R
2
-re
1
(dr
1
(p)X, dr
1
(p)Y ) =
2
(dr
2
(p
)(X
), dr
2
(p
)(Y
)),
ahol p
= (p), X
= d(p)(X), Y
= d(p)Y s
1
,
2
a megfelel o els o alap-
formkat jelli. gy az egymsnak megfelel o pontokban ugyanazok a fellet els o
alapmennyisgei, az egymsnak megfelel o grbk vhossza megegyezik, az egy-
msnak megfelel o felleti rint ovektorok szge megegyezik, az egymsnak meg-
felel o (mrhet o) felletdarabok felszne egyenl o, az egymsnak megfelel o pon-
tokban pedig ugyanaz a Gauss-grblet (a Theorema egregium szerint a Gauss-
grblet csak az els o alapmennyisgekt ol fgg). Ebb ol mr kvetkezik a trk-
pszet egy alapvet o tnye: a fldr ol nem lehet olyan trkpet kszteni, amelyr ol
minden tvolsgot helyesen lehet lemrni:
2.67. TTEL. A gmbnek nincs izometrikus lekpezse a skba.
Indoklsknt elegend o arra utalni, hogy az R sugar gmb Gauss-grblete
(minden pontban) 1/R
2
, a sk pedig 0.
A loklis izometrihoz az els o alapmennyisgek megegyezse elegend o is.
2.68. TTEL. Legyen r
1
: U S
1
R
3
s r
2
: U S
2
R
3
kt elemi
fellet ugyanazon a paramtertartomnyon rtelmezve. Ha az els o alapmennyis-
gek a paramtertartomny minden pontjban megegyeznek, azaz E
1
(p) = E
2
(p),
F
1
(p) = F
2
(p), G
1
(p) = G
2
(p), akkor = id loklis izometria a kt fellet
kztt.
BIZONYTS. Legyen X = (x, y) R
2
. Ekkor dr
i
(p)X =
(xr
iu
(p), yr
iv
(p)), (i = 1, 2), tovbb
I
i
(dr
i
(p)X) = E
i
(p)x
2
+ 2F
i
xy +G
i
(p)y
2
,
ahonnan a feltteleket gyelembe vve kvetkezik az llts.
2.69. PLDA. (Lsd mg a 2.26. pldt is!) Legyen
r
1
: I R R
3
, (u, v) r
1
(u, v) = (x(u), y(u), v)
hengerfellet, ahol c: I R
2
, u c(u) = (x(u), y(u)) parametrizlt grbe, s c
injektv. Ha fltesszk, hogy x
2
+y
2
= 1, akkor E
1
= 1, s az els o alapmennyi-
sgek megegyezse miatt a henger izometrikus az r
2
: I R R
3
, (u, v)
r
1
(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, ucos +v sin ),
(0 < u < 2, v R, R). r az paramter minden rtkre egy fel-
letet ad. Lssuk be, hogy ezek a felletek izometrikusak. Specilisan = 0-
ra az r
1
(u, v) = (sinh v sin u, sinh v cos u, u) a csavarfelletet, = /2-re az
2.12. PRHUZAMOS ELTOLS A FELLETEN 67
r
2
(u, v) = (cosh v cos u, cosh v sin u, v) forgsfelletet, az n. katenoidot kapjuk.
( v = sinh v helyettestssel kapjuk a csavarfellet szoksos el olltst. gy azt is
belttuk, hogy a katenoid s a csavarfellet izometrikusak, lsd a 2.12. brt.)
2.40. FELADAT. Lssuk be azt a (szemlletesen nyilvnval) tnyt, hogy a
z =
_
x
2
+y
2
> 0 kpfellet loklis izometrival lekpezhet o a skra.
2.12. Prhuzamos eltols a felleten
3
gulris grbe. Az X: I R
3
differencilhat lekpezst felleti vektormez onek
nevezzk a c grbe mentn, ha t I : X(t) T
c(t)
r.
2.72. PLDA. Egy c = r c felleti grbe rint oi mindig az rint oskban
vannak, teht c
felleti vektormez o c mentn, specilisan az r

u
, r
v
paramtervonal
rint ok felleti vektormez ok a paramtervonalak mentn, mg a felleti normlis
egyetlen grbe mentn sem felleti vektormez o.
Az X(t) T
c(t)
r felttel azt jelenti, hogy X(t) linerisan kombinlhat a
paramtervonal rint okb ol:
X = X
1
r
u
+X
2
r
v
,
ahol X
1
, X
2
: I R differencilhat fggvnyeket a felleti vektormez o kompo-
nensfggvnyeinek nevezzk.
Afelleti vektormez o a denci szerint egy trgrbe, gy derivltjt sebessg-
vektormez onek is hvhatjuk. A felleti vektormez o sebessg-vektormez oje mr
nem felttlenl felleti vektormez o, mert nem biztos, hogy egy adott paramter-
rtk mellett az rint oskban van. Kitntetett felleti vektormez ok azok, amelyek
sebessg-vektormez oje mindig mer oleges az adott pontbeli rint oskra.
2.73. DEFINCI. A c: I U grbe menti X: I R
3
felleti vektormez ot
prhuzamos vektormez onek nevezzk, ha t I-re X
(t) T
c(t)
r.
A dencit tfogalmazhatjuk gy, hogy a sebessg-vektormez o rint oskra
vonatkoz mer oleges vetlete zrus. A sebessg vektormez o rint oskra vonatko-
z mer oleges vetlett jellje
X
dt
, azaz
(2.39)
X
dt
= X
, n)n,
ahol az egyszer usg kedvrt a jellsekben nem utaltunk a c grbre. Az X fel-
leti vektormez o teht akkor s csakis akkor prhuzamos vektormez o, ha
X
dt
= 0
teljesl.
2.74. TTEL. Legyen r parametrizlt fellet, az els o alapformjt jellje .
Legyenek X, Y felleti vektormez ok ugyanazon c grbe mentn. Ekkor
d
dt
(X, Y ) =
_
X
dt
, Y
_
+
_
X,
Y
dt
_
2.12. bra. A csavarfellet deformcija katenoidd
BIZONYTS.
d
dt
(X, Y ) =
d
dt
X, Y ) = X
, Y ) +X, Y
) =
a (2.39) dencit berva:
=
X
dt
+X
, n)n, Y ) +X,
Y
dt
+Y
, n)n)
mivel X s n valamint Y s n mer olegesek:
=
X
dt
, Y ) +
Y
dt
, X) = (
X
dt
, Y ) +(
Y
dt
, X).
2.75. KVETKEZMNY. Ha X s Y prhuzamos vektormez ok egy grbe

mentn, akkor (X, Y ) = konstans, azaz egy prhuzamos vektormez o azonos
hosszsg vektorokbl ll, tovbb prhuzamos vektormez ok szge lland.
2.76. PLDA ($). Legyen a szoksos jellsekkel p = r
u
/
E, q = r
v
/
G,
s tegyk fl, hogy r
u
, r
v
) = 0 (a fellet egy felleti ponton thalad kt para-
mtervonala egymsra mer oleges); azaz (p, q) az rint otrben ortonormlt bzis
s n = pq.
Mivel p, p) = q, q) = 1, ezrt parcilis derivls utn azt kapjuk, hogy
(2.40) p
u
, p) = p
v
, p) = q
u
, q) = q
v
, p) = 0,
illetve p, q) = 0, amib ol
(2.41) p
u
, q) +p, q
u
) = 0, p
v
, q) +p, q
v
) = 0
kvetkezik. Ugyanakkor
p
u
, q) =

u
_
r
u
E
_
,
r
v
G
) =
r
uu
E r
u
1
2
E
E
u
r
u
E
,
r
v
G
) =
=
1
EG
r
uu
, r
v
).
Felhasznlva, hogy E
v
= 2r
uv
, r
u
), s r
u
, r
v
) = 0 = r
uu
, r
v
) +r
u
, r
vu
) =
0, gy
r
uu
, r
v
) = r
u
, r
vu
) =
E
v
2
,
teht
(2.42) p
u
, q) =
E
v
2
EG
.
Hasonl mdon:
(2.43) p
v
, q) =
G
u
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)),
rviden
X = cos p + sin q
felleti egysgvektor-mez o. Annak szksges s elgsges felttelt vizsgljuk,
hogy X prhuzamos vektormez o legyen c mentn, azaz az X
sebessg vektorme-
z o rint oskra es o mer oleges komponense 0 legyen. (X, nX) az rint osk orto-
normlt bzisa (egy adott pontban). X, X) = 0 miatt X
, X) = 0. gy a vektor-
mez o prhuzamossgnak szksges s elgsges felttele, hogy X
, nX) = 0
teljesljn.
A sebessg-vektormez o:
X
= sin
p + cos (dp) c
+ cos
q + sin (dq) c
=
=
(sin p + cos q) +
+ cos (p
u
u
+p
v
v
) + sin (q
u
u
+q
v
v
)
Msrszt a kifejtsi ttelt alkalmazva
nX = (pq)(cos p + sin q) = cos q sin p.
A (2.40) relcit felhasznlva:
X
, nX) =
+ cos
2
u
p
u
, q) + cos
2
v
p
v
, q)
sin
2
u
q
u
, p) sin
2
v
q
v
, p)
a (2.41) egyenlet miatt
=
+ cos
2
u
p
u
, q) + cos
2
v
p
v
, q)
+ sin
2
u
q, p
u
) + sin
2
v
q, p
v
)
vgezetl a (2.42) s a (2.43) egyenleteket berva
=
cos
2
u
E
v
2
EG
+ cos
2
v
G
u
2
EG
sin
2
u
E
v
2
EG
+ sin
2
v
G
u
2
EG
=
E
v
2
EG
+v
G
u
2
EG
.
Teht X akkor s csakis akkor prhuzamos vektormez o c mentn, ha
(2.44)
=
1
2
EG
(u
E
v
v
G
u
) .
Ha egy felleten egy adott grbe mentn egy X prhuzamos vektormez ot ke-
resnk, akkor a keresett vektormez onek az
(2.45) X
= X
, n)n
felttelt kell kielgtenie. A (2.45) egyenlet egy kznsges differencilegyenlet
az X ismeretlen vektormez ore. A kznsges differencilegyenletek elmletb ol
ismert, hogy adott kezdeti felttel mellett ennek egyrtelm uen van megoldsa.
3
parametrizlt fellet, c: [t
0
, t
1
] U regu-
lris parametrizlt grbe, melynek vgpontjait jellje p
0
s p
1
, azaz c(t
0
) = p
0
s
c(t
1
) = p
1
, valamint X
0
T
p
0
r.
(1) Egyrtelm uen ltezik olyan X: I R
3
prhuzamos felleti vektormez o
a c grbe mentn, melyre X(t
0
) = X
0
.
(2) A
c
: T
p
0
r T
p
1
r, X
0
X(t
1
) lekpezs lineris izometria T
p
0
r s
T
p
1
r kztt. Az X(t
1
) vektort ilyenkor az X
0
prhuzamos eltoltjnak ne-
vezzk c mentn.
BIZONYTS. Az els o llts igazolsra mr az el oz oekben utaltunk. A 2.74.
ttel kvetkezmnye szerint T
p
0
r ortonormlt bzisnak kpe T
p
1
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
: T
p
0
r T
p
1
r, X
0
X(t
1
) lekpezsben lehetsges, hogy
p
0
= p
1
, s c zrt grbe (hurok), mely a p
0
pontot nmagval kti ssze. Ilyenkor
X(t
1
) nem felttlenl egyezik meg X
0
-al, s ot az is elkpzelhet o, hogy klnbz o
hurkok mentn ugyanannak a vektornak a prhuzamos eltoltja ms s ms vektor.
Az az irnytott szg, amellyel a
c
prhuzamos eltols elforgatja az X
0
T
p
0
r
vektort azonban jellemz o a grbre s nem fgg az rnt oskban flvett X
0
vek-
tortl, hiszen a prhuzamos eltols szgtart.
2.78. DEFINCI. (A 2.77. ttel jellseivel.) A
Hol(c) = (X
0
,
c
(X
0
))
irnytott szget a c grbe holonmijnak nevezzk.
2.79. PLDA (a holonmia kiszmtsa mer oleges paramterezs esetn$).
A 2.76. plda feltteleivel a (2.44) egyenlet adja a prhuzamos vektormez o haj-
lsszgnek vltozst, melyet kiintegrlva kapjuk (hurokra) a holonmit:
(2.46) Hol(c) =
_
c
1
2
EG
(E
v
du G
u
dv) .
A holonmia s a fellet Gauss-grblete kztt sszefggs van. Ennek meg-
vilgtshoz az integrlszmts Green-ttelre lesz szksgnk, amelyet rviden
sszefoglalunk. Egy c egyszer u, zrt skgrbe a skot kt rszre bontja, a grbe
klsejre s belsejre (ez a nevezetes Jordan-grbettel). Egy ilyen grbe pozi-
tv irnyts, ha (szemlletesen fogalmazva) nvekv o paramterrtkek szerint a
grbn vgighaladva a grbe belseje bal kz fel ol esik. Green ttele szerint, ha f
s g sima fggvnyek a skon, akkor
_
int c
_
g
u

f
v
_
dA(u, v) =
_
c
(f du +g dv),
ahol c pozitv irnyts, egyszer u, zrt skgrbe. (Megjegyezzk, hogy c-r ol ele-
gend o lenne feltenni, hogy szakaszonknt sima.)
2.13. GEODETIKUSOK 72
Tegyk fel, hogy r elemi fellet (lsd 2.65). Mer oleges paramterezs esetn
a Theorema Egregium szerint (lsd (2.36))
(2.47) K =
1
2
EG
_

v
_
E
v
EG
_
+

u
_
G
u
EG
__
.
K r
1
felszn szerinti integrljt (lsd 2.33) kpezve a c pozitv irnyts, egy-
szer u zrt grbre, r(int c)-t X-el jellve:
_
X
(K r
1
) dA
r
=
=
_
int c
1
2
EG
_

v
_
E
v
EG
_
+

u
_
G
u
EG
__
EG dA(u, v) =
=
_
int c
1
2
_

v
_
E
v
EG
_
+

u
_
G
u
EG
__
dA(u, v) =
a Green-ttelt alkalmazva f = E
v
/
EG, g = G
u
/
EG-ra
=
1
2
_
c
E
v
EG
du
G
u
EG
dv
Teht, ha a Green-ttel felttelei teljeslnek, akkor (2.46) s (2.47) sszehasonl-
tsval:
Hol(c) =
_
X
(K r
1
) dA
r
.
Ez utbbi formult (mely nemcsak mer oleges paramterezsre igaz) holonmia-
ttelnek nevezzk.
Feladatok
2.41. FELADAT. Szmtsuk ki a szlessgi krk, specilisan az Egyenlt o
holonmijt a gmbn.
2.13. Geodetikusok
3
parametrizlt fellet, c: I U regul-
ris parametrizlt grbe. A c: I R
3
felleti grbt afn geodetikusnak, rviden
geodetikusnak nevezzk, ha a sebessg-vektormez o prhuzamos vektormez o c-
mentn, azaz
(2.48)
c
dt
= c
, n)n = 0.
A sebessg-vektormez o prhuzamossgbl rgtn kvetkezik, hogy a sebes-
sgvektor hossza konstans a geodetikus minden pontjban, gy a paramter az
vhosszal arnyos.
2.81. PLDA. Skgrbkre c
, n) = 0, ahol n a sk norml-egysgvektora,
gy
c
dt
= c
, n)n
. .
0
= c
.
Teht c(t) = At +B (A, B R
3
), a sk geodetikusai az egyenesek. gy is fogal-
mazhatunk, 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 paramtere-
zst:
r(u, v) = (cos ucos v, cos usin v, sin u) (u, v) (
2
,

2
) R.
Legyen c hosszsgi kr, azaz u(t) = t, v(t) = v
0
(konstans). Mivel r
uu
(u, v) =
r(u, v) = n, ezrt c
= u
r
u
c
= u
r
u
+u
2
r
uu
= u
r
u
+u
2
n = n =
c
dt
= 0,
gy a hosszsgi krk geodetikusok. Viszonylag nehezebb beltni azt, hogy a
gmb minden geodetikusa (konstans plyasebessg u) f okrv.
Legyen c(t) = (u(t), v(t)) regulris parametrizlt grbe a paramterskban,
c = r c felleti grbe.
c
= u
r
u
+v
r
v
c
= u
r
u
+u
2
r
uu
+u
r
uv
+v
r
v
+v
r
vu
+v
2
r
vv
.
r
uu
, r
uv
= r
vu
s r
vv
rint oskkal prhuzamos komponenseit a Christoffel-
szimblumokkal fejezhetjk ki:
c
dt
=
_
u
+u
2
1
11
+ 2u
1
12
+v
2
1
22
_
r
u
+
+
_
v
+u
2
2
11
+ 2u
2
12
+v
2
2
22
_
r
v
,
ahol a Christoffel-szimblumokat, r
u
-t s r
v
-t rtelemszer uen a c grbe mentn
kell venni. gy a geodetikusok egyenletrendszere:
u
+u
2
1
11
+ 2u
1
12
+v
2
1
22
= 0
v
+u
2
2
11
+ 2u
2
12
+v
2
2
22
= 0.
(2.49)
(2.49) msodrend u kznsges differencilegyenlet-rendszer az (u, v) ismeretlen
fggvnyekre. A differencilegyenletek elmletb ol ismert egzisztencia s unici-
ts ttelt alkalmazva megfogalmazhatjuk a kvetkez o ttelt:
3
parametrizlt fellet, p U, X
T
p
r. Megfelel oen vlasztott > 0-ra egyrtelm uen ltezik a felletnek olyan
c: (, ) R
3
geodetikusa, melyre c(0) = p, c
(0) = X.
gy is fogalmazhatunk, hogy a fellet minden pontjn, minden irnyban t-
halad geodetikus, s ez a geodetikus elegend oen kis intervallumon egyrtelm u is.
ltalban az egyrtelm usg nem teljesl, hiszen a geodetikust esetleg meg lehet
hosszabbtani, pldul az egyenlt o egy pontjbl kiindul klnbz o hosszs-
g meridin vek mind geodetikusok.
2.84. TTEL. Egy c konstans plyasebessg u, biregulris felleti grbe akkor
s csakis akkor geodetikus, ha az albbi, egymssal ekvivalens felttelek valame-
lyike teljesl:
(1) tetsz oleges pontjban a f onormlis prhuzamos a felleti normlissal
(2) tetsz oleges pontban a simulsk tartalmazza a felleti normlist
(3) [ c
, c
, n c[ = 0, ahol n a felleti normlis.

BIZONYTS. (T, F, B) jellje a grbe Frenet-bzist, v a konstans plyase-
bessget, a grbletet! Az els o Frenet-formula alapjn c
= vT = c
=
vT
= v
2
F, gy
c
dt
= c
, n)n = v
2
F v
2
F, n)n,
azaz c akkor s csakis akkor geodetikus, ha F = n.
Geodetikus esetn F|n, gy n biztosan a simulskban van, hiszen F is ott
van. Megfordtva, ha n a simulskban van, akkor T-re mer oleges vektor rvn
csak a f onormlissal prhuzamos vektorrl lehet sz.
A harmadik llts annak szksges s elgsges felttele, hogy a felleti nor-
mlis a ( c
, c
) vektorok ltal kifesztett skban legyen, ez a sk azonban a simul-

sk, mert L( c
, c
) = L(T, F).
2.85. PLDA (az egyenes krhenger geodetikusai). A linerisan paramtere-
zett alkotk geodetikusok, a tovbbiakban csak a biregulris geodetikusokat ke-
ressk az el oz o ttel alapjn.
A geodetikust a paramterskban c(t) = (x(t), y(t)) alakban keressk. A hen-
ger parametrizlsa:
r(u, v) = (a cos u, a sin u, v),
a felleti normlis
(2.50) n(u, v) = (cos u, sin u, 0)
a felleti grbe
c = (a cos x, a sin x, y)
c
= (ax
sin x, ax
cos x, y
)
c
= (ax
sin x ax
2
cos x, ax
cos x ax
2
sin x, y
) (2.51)
(a grbe paramtert nem rtuk ki). A felleti grbe konstans plyasebessg u,
(2.52) | c
|
2
= a
2
x
2
+y
2
= konstans,
s F| c
A 2.84. ttelt alkalmazva s sszehasonltva a (2.50) egyenletet a (2.51)

egyenlettel, azt kapjuk, hogy y
= 0, teht y(t) = t + (, R). Mivel

y
= , gy a (2.52) egyenletbe behelyettestve azt kapjuk, hogy x
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 ( ,= 0 s ,= 0) vagy kr ( = 0).
A kifejezs az ,= 0, = 0 esetben egybknt tartalmazza az alkotkat is, ezek
nem biregulris geodetikusok.
A henger geodetikusai teht az alkotk, a keresztmetszetkrk vagy a henge-
ren fut hengeres csavarvonalak.
2.86. PLDA. Ha egy felletnl E = 1, F = 0 s (kvetkezskppen) G > 0,
akkor az (s, v = konstans) paramtervonalak vhossz-paramterezs u geodeti-
kusok. Valban, a fellet mer oleges paramterezs u (F = 0), gy a Christoffel-
szimblumok (2.32) alapjn szmthatk, specilisan:
1
11
= 0,
2
11
= 0,
1
12
= 0.
Teht a geodetikusok egyenletrendszere (2.49) alapjn
u
+
1
22
v
2
= 0
v
+ 2u
2
12
+
2
22
v
2
= 0.
(2.54)
Mivel a c(s) = (s, v
0
) grbre u
= 0, v
= v
= 0, gy a grbe a geodetikusok
egyenletrendszert kielgti.
2.87. DEFINCI. Azt mondjuk, hogy egy fellet geodetikus koordinta-
rendszerrel van adva, ha els o alapmennyisgeire E = 1, F = 0, G(u, v) > 0
teljesl.
Az el oz o plda szerint a geodetikus koordinta-rendszerrel adott felleten a
v = konstans paramtervonalak vhossz-paramterezs u geodetikusok, az u =
konstans paramtervonalak (melyeket parallel grbknek is nevezik) ezeket me-
r olegesen metszik. A (a, t) s (b, t) parallel grbk kztt az (s, v
0
) geodetikus
vhossza [a b[. Bizonyos rtelemben minden felleten bevezethet o geodetikus
koordinta-rendszer, mert minden felleti pont elegend oen sz uk 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 pa-
ramterezse, ha a generl grbe vhossz-paramterezs u (lsd 2.16. Feladat).
Az afn geodetikusok szoros kapcsolatban vannak az vhosszmrssel. El o-
szr ezt egy nagyon knnyen belthat ttellel vilgtjuk meg.
2.88. TTEL. Legyen az r : U R
3
fellet geodetikus koordinta-rendszerrel
adva. Ekkor a
c(s) = r(s, v
0
), a s b
alakban adott geodetikus vhossza nem nagyobb, mint az P = r(a, v
0
), Q =
r(b, v
0
) pontokat sszekt o tetsz oleges felleti grbe hossza.
BIZONYTS. Legyen a kt felleti pontot sszekt o msik felleti grbe
(t) = (u(t), v(t)), tovbb r((t
0
)) = P s r((t
1
)) = Q (t
0
< t
1
). Az v-
hossz:
() =
_
t
1
t
0
_
u
2
(t) +G(u(t), v(t))v
2
(t) dt
_
t
1
t
0
[u
(t)[ dt
_
t
1
t
0
u
(t) dt = u(t
1
) u(t
0
) = b a = ( c).
Az el oz o ttel nem azt lltja, hogy egy tetsz oleges geodetikus kt felleti
pont kztt a legrvidebb felleti grbe lenne. Egyrszt a ttel csak geodetikus
2.14. A GAUSSBONNET TTEL 76
koordinta-rendszerben adott felletr ol szl, msrszt csak nagyon specilis for-
mj geodetikusrl. Ha kt felleti pont kztt a legrvidebb felleti grbt ke-
ressk, akkor a
(2.55) (c) =
_
t
1
t
0
(u(t), v(t), u
(t), v
(t)) dt,
(u, v, u
, v
) =
Eu
2
+ 2Fu
+Gv
2
funkcionl szls ortkeire vagyunk kvncsiak, ahol c(t) = (u(t), v(t)). a kt
rgztett felleti pontot sszekt o grbre megadja a grbe vhosszt. A varici-
szmts elmletb ol ismert, hogy a szls ortket ad grbnek ki kell elgtenie
az n. EulerLagrange-egyenleteket:
u

d
dt
= 0,

v

d
dt
= 0.
Az EulerLagrange-egyenletrendszer megoldsait stacionrius grbknek szoks
nevezni. (A stacionrius grbe nem felttlenl megoldsa a szls ortk feladat-
nak.)
2.89. TTEL. Az EulerLagrange egyenlet vhossz-paramterezs u megold-
sai pontosan az vhossz-paramterezs u geodetikusok.
BIZONYTS. A bizonytst csak geodetikus koordinta-rendszerrel adott
felletre vgezzk el. Ekkor (u, v, u
, v
) =
u
2
+Gv
2
, a Christoffel-
szimblumokat pedig (2.32)-b ol ismerjk.
u

d
dt
=
G
u
v
2
2

d
dt
2u
2
=
G
u
2
v
2
u
=
1
22
v
2
u
v

d
dt
=
G
v
v
2
2

d
dt
2v
G
2
=
G
v
v
2
2
v
Gv
(G
u
u
+G
v
v
) =
= G
_
v
2u
2
12
2v
2
2
22
2
22
v
2
_
,
azaz valban a (2.54) egyenleteket kapjuk.
Teht kt felleti pontot sszekt o legrvidebb felleti grbe csak afn geo-
detikus lehet.
Feladatok
2.42. FELADAT. Vezessk le az egyenes krhenger geodetikusait a geodeti-
kusok (2.49) egyenletrendszere alapjn is.
2.43. FELADAT. Lssuk be, hogy geodetikus koordinta-rendszerrel adott fe-
llet Gauss-grbletre K =
(
G)
uu
G
.
2.14. A Gauss Bonnet-ttel$
A skgrbk geometriai jellemzsnek egyik fontos mennyisge a grblet
volt, melyet a =
T
,N
v
formulval rtelmeztnk, ahol (T, N) a skgrbe Frenet-
bzisa, v a plyasebessg (lsd 1.16. denci). Ezt a fogalmat ltalnostjuk egy
felleti grbre. Egy felleti grbe ltalban trgrbe, s gy a T rint ovektor de-
rkszg u elforgatottjnak csak tengely krl van rtelme. Ha a tengelyt (s annak
irnyt) a felleti normlis jelli ki, akkor radsul T elforgatottja az adott pont-
beli rint oskban van.
3
gulris grbe, c = r c a megfelel o felleti grbe. Legyen v = | c
|, T =
c
v
,
n = (r
u
r
v
)
0
, s jellje az n krli /2 szg u elforgatst rot
n
!
1. N = rot
n
T, (T, N) a felleti grbe Frenet-bzisa
2.
g
=
(T)/dt,N
v
a felleti grbe geodetikus grblete.
A denci szerint egy geodetikus vonal geodetikus grblete zrus. Megfor-
dtva, ha egy grbe geodetikus grblete zrus, akkor tparamterezhet o geodeti-
kuss, amint azt rgtn beltjuk. Megjegyezzk, hogy
(2.56)
g
=
(T)/dt, N)
v
=
T
, n)n, N)
v
=
T
, N)
v
.
2.91. TTEL. Ha : I
1
I paramtertranszformci s c
1
= c , akkor
a c
1
grbe geodetikus grbletre
g1
=

g
, azaz a geodetikus grblet
irnytstart paramtertranszformcival szemben invarins, mg irnytsvlt
paramtertranszformcinl el ojelet vlt.
BIZONYTS. (2.56) alapjn az llts rgtn kvetkezik abbl, hogy
T
1
= T
N
1
= N
T
1
= T
v
1
= [
[ v ,
ahol irnytstart paramtertranszformcinl a +, mg irnytsvlt param-
tertranszformcinl a el ojelek rtend ok. A fenti relcikat felhasznlva
T
1
, N
1
)
v
1
=

[

T
, N )
v
.
2.92. TTEL. Legyen r parametrizlt fellet, c = rc regulris felleti grbe.
Ha c geodetikus grblete zrus s olyan paramtertranszformci, hogy c
1
=
c termszetes paramterezs u, akkor c
1
geodetikus.
BIZONYTS. Ha c
1
termszetes paramterezs u, akkor
c
1
dt
= c
1
c
1
, n)n
mer oleges T
1
= c
1
-re, gy a Fourier el olltst vve
c
1
dt
=
c
1
dt
, N
1
)N
1
=
g1
N
1
.
Ha c geodetikus grblete zrus, akkor az el oz o ttel miatt c
1
= c geodetikus
grblete is zrus, azaz c
1
valban geodetikus.
A fejezet tovbbi rszben csak geodetikus koordinta-rendszerrel adott fe-
lletekr ol lesz sz, azaz E = 1, F = 0, G > 0. (Korbban mr emltettk,
hogy ez nem jelent lnyeges megszortst, lsd a 2.87. Dencit kvet o meg-
jegyzst.) Ekkor E
1
= r
u
, E
2
=
r
v
G
ortonormlt bzis a fellet minden pontj-
ban. Erre a bzisra vonatkozan csakgy, mint a skgrbk esetben tettk, lsd
az 1.25. Dencit, be lehet vezetni egy felleti grbe hajlsszgfggvnyt.
2.93. DEFINCI. Legyen r geodetikus koordinta-rendszerrel adott fellet,
c = r c: I R
3
termszetes paramterezs u felleti grbe, (T, N) a Frenet-
bzisa. A : I R differencilhat fggvnyt a c felleti grbe hajlsszgfgg-
vnynek nevezzk, ha
(2.57) T(t) = cos (t) E
1
(c(t)) + sin (t) E
2
(c(t))
teljesl.
A skgrbk elmletben tbbszr hasznltuk a hajlsszgfggvny s a gr-
blet kztt fennll sszefggst, lsd 1.27. Ennek ltalnostst mondjuk ki
felleti grbkre.
2.94. TTEL. A 2.93. Denci jellseivel. A felleti grbe geodetikus gr-
bletre
(2.58)
g
=
+ (
G)
u
v
,
ahol c(t) = (u(t), v(t)).
BIZONYTS. (2.57) alapjn
T
sin E
1
c + sin (E
1
c)
cos E
2
c + sin (E
2
c)
,
illetve
N = sin E
1
c + cos E
2
c.
Felhasznlva, hogy E
i
c, E
i
c) = 1 (i = 1, 2), azt kapjuk, hogy
E
i
c, (E
i
c)
) = 0,
tovbb E
1
c, E
2
c) = 0-bl az kvetkezik, hogy
(E
1
c)
, E
2
c) +E
1
c, (E
2
c)
) = 0.
Ezeket a relcikat hasznlva:
g
= T
, N) =
+(E
1
c)
, E
2
c) =
=
+
1
G
(r
u
c)
, r
v
c) =
=
+
1
G
(u
r
uu
c, r
v
c) +v
r
uv
c, r
v
c)) =
=
+
1
G
_
u
2
11
G+v
2
12
G
_
.
Geodetikus koordinta-rendszerben
2
11
= 0,
2
12
=
G
u
2G
=
(
G)
u
G
, ahonnan az
llts mr kvetkezik.
Vzlatosan megmutatjuk, hogy a (2.58) formult alkalmazva hogyan jutha-
tunk el a Hopf-ttel (1.39) ltalnostshoz felletre. Kpezzk a geodetikus gr-
blet grbe menti integrljt egy c pozitv irnyts egyszer u, zrt skgrbre!
A (2.58) relcit s a 2.79. pldban megismert mdszer szerint a Green-ttelt
alkalmazva:
_
c
g
=
_
c
+
_
c
G =
_
c
_
X
K r
1
,
ahol r(int c)-t X-el jelltk. trendezve,
_
X
K r
1
+
_
c
g
=
_
c
.
Ha c egyszer u, periodikusan zrt, akkor
_
c
= k2 (k Z), hiszen az rint ovek-

tor a grbe kezd opontjban s vgpontjban ugyanaz. Skon Hopf ttele szerint
pozitv irnyts grbre 2-t kapunk, ez nyilvn igaz lesz minden olyan fellet-
re, amely a skkal izometrikus, ehhez geodetikus koordinta-rendszerrel adott fe-
lletnl elegend o, hogy G = 1. Ha olyan felleteket vizsglunk, melyre (geodeti-
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 R
3
fellet megadhat geodetikus koordinta-
rendszerrel, c: I Upedig pozitv irnyts, egyszer u, periodikusan zrt grbe,
X = r(int c), akkor
_
X
K r
1
+
_
c
g
= 2.
Ha a felleti grbe csak szakaszonknt sima regulris grbe, pontosabban
megegyezik a paramtertartomny egy egyszer u poligonjnak diffeomorf kp-
vel, akkor a grbe (felleti poligon) trspontjaiban (cscspontjaiban) az rint o-
vektor = ( c
be
, c
ki
) szggel vltozik, ahol c
be
a cscspontba befut, mg c
ki
a cscspontbl kifut grbe, az szg a felleti poligon kls o szge a cscs-
pontban. Ennek az irnytott szgnek az rtke a (, ) intervallumban van. (A
fordulpontot, azaz ahol a kls o szg , kizrjuk.)
2.96. TTEL (loklis Gauss Bonnet-ttel). Tegyk fel, hogy az r : U R
3
fellet megadhat geodetikus koordinta-rendszerrel, P egy egyszer u poligonle-
mez a paramterskban, mely hatrgrbjt P jelli. D: P X legyen diffeo-
morzmus P-r ol az X r(U) halmazra. X pozitv irnytssal vett hatrgrb-
jnek geodetikus grblett jellje
g
, X kls o szgeit pedig
1
, . . . ,
n
. Ekkor
_
X
K r
1
+
_
P
g
+
n
i=1
i
= 2.
Ha a felleti poligon geodetikus poligon, azaz oldalai geodetikusok, akkor az
oldalak geodetikus grblete zrus.
i
=
i
-vel jellve a geodetikus poligon
bels o szgt, megfogalmazhatjuk a Gauss Bonnet-ttel egyszer u kvetkezm-
nyt:
2.97. KVETKEZMNY. (A 2.96. Ttel feltteleivel.) Egy X geodetikus poli-
gonra
n
i=1
i
(n 2) =
_
X
K r
1
.
Az el obbi lltst specilisan gmbre alkalmazva kapjuk a gmbhromszgek
szgsszegre vonatkoz, elemi ton is bizonythat sszefggst:
(2.59) r
2
( + + ) = A,
ahol , , a gmbhromszg bels o szgeit, A pedig a terlett jelli. A for-
mula beltshoz elegend o csak arra hivatkozni, hogy a gmb Gauss-grblete
1/r
2
, ahol r jelli a gmb sugart. (2.59) nyilvnval kvetkezmnye, hogy egy
gmbhromszg szgsszege -t ol 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 Q(x) = B(x, x)
lekpezst szrmaztat, melyet B polris formj kvadratikus formnak neveznk.
3.2. TTEL. Kvadratikus forma polris formja egyrtelm u.
BIZONYTS. A denci jellseivel, B bilinearitst s szimmetrijt hasz-
nlva:
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
B(x, y) =
Q(x +y) Q(x) Q(y)
2
,
azaz a Q egyrtelm uen meghatrozza a polris formjt.
3.3. DEFINCI. Egy Q: V R kvadratikus formt pozitv denitnek neve-
znk, ha
x V : Q(x) 0 s Q(x) = 0 x = 0.
3.4. PLDA. A , ): R
n
R
n
R kanonikus skalris szorzat szimmetrikus
bilineris forma, mely polris formja az x |x|
2
(x R
n
) fggvny, s ez
pozitv denit.
3.5. DEFINCI. Legyen B = (b
1
, . . . , b
n
) a V vektortr egy bzisa. AB: V
V R bilineris forma B-re vonatkoz mtrixt a b
ij
= B(b
i
, b
j
) sszefggssel
rtelmezzk. Egy kvadratikus forma adott bzisra vonatkoz mtrixn a polris
formjnak ugyanerre a bzisra vonatkoz mtrixt rtjk.
81
3.2. TBBVLTOZS, VEKTORRTK
U FGGVNYEK DIFFERENCILSA 82
3.2. Tbbvltozs, vektorrtk u fggvnyek differencilsa
Vzlatosan ttekintjk a tbbvltozs, vektor rtk u fggvnyek differenci-
lsrl tanultakat. A vals rtk u (akr tbbvltozs) fggvnyek differencilsz-
mtsra, gy pldul a parcilis derivlt fogalmra, nem trnk ki.
3.6. DEFINCI. Legyen U R
n
nem res nylt halmaz, s tekintsnk egy
f : U R
m
lekpezst. Legyen x U. Ha ltezik olyan : R
n
R
m
lineris
lekpezs, hogy
lim
h0
|f(x +h) f(x) (h)|
|h|
= 0, (x +h U),
akkor azt mondjuk, hogy f differencilhat az x pontban. f-et differencilhatnak
mondjuk U-n, ha annak minden pontjban differencilhat. -nek az R
n
s R
m
vektorterek kanonikus bzisaira vonatkoz mtrixt az f lekpezs x-beli Jacobi-
mtrixnak nevezzk s df(x)-el jelljk.
Ha a denciban szerepl o lineris lekpezs ltezik, akkor egyrtelm u. A
derivlt lineris lekpezs jellsre tbb konvenci is szoksos az irodalomban,
pl. f
(x) = , df(x) = . A tovbbiakban az f
(x) jellst csak az egyvltozs

fggvnyekre hasznljuk, a szoksos rtelemben.
Jelljk f komponensfggvnyeit (f
1
, . . . , f
m
)-el. Meg lehet mutatni, hogy f
akkor s csakis akkor differencilhat egy x pontban, ha komponensfggvnyei-
nek mindegyike differencilhat x-ben, s ekkor f Jacobi mtrixa:
df(x) =
_
f
j
x
i
(x)
_
R
mn
(j = 1 . . . m, i = 1 . . . n.)
Megjegyezzk, hogy pusztn a parcilis derivltak ltezsb ol a differencilhat-
sg nem kvetkezik, ehhez a parcilis derivltak folytonossga is kell.
3.7. PLDA. Legyen : R
n
R
m
lineris lekpezs. Ekkor x R
n
-re
differencilhat, s
(x) = .
Valban:
(x +h) (x) (h) = (x) +(h) (x) (h) = 0,
teht a vizsglt hatrrtkben a szmll zrus.
3.8. PLDA. Legyen F : R
n
R
n
afn lekpezs, a csatolt lineris lekpe-
zse GL(n). (Azaz x R
n
-re F(x) = (x) +x
0
teljesl valamely rgztett
x
0
vektorra.) Ekkor x R
n
-re F differencilhat, s F
(x) = .
Valban:
F(x +h) F(x) (h) = (x +h) +x
0
((x) +x
0
) (h) =
= (x) +(h) +x
0
(x) x
0
(h) = 0,
a szmll ismt nulla.
3.9. PLDA. Legyen A R
nn
szimmetrikus mtrix, s
f : R
n
R, f(x) = Ax, x).
3.2. TBBVLTOZS, VEKTORRTK
U FGGVNYEK DIFFERENCILSA 83
Ekkor f differencilhat, s f
(x)(y) = 2Ax, y).

[f(x +h) f(x) 2Ax, h)[
|h|
=
[A(x +h), x +h) Ax, x) 2Ax, h)[
|h|
=
=
[Ah, h)[
|h|

|Ah| |h|
|h|
= |Ah|,
a Cauchy-Schwarz egyenl otlensget hasznlva. Ha h 0, akkor Ah 0, gy az
lltst belttuk.
3.10. TTEL (lncszably). Tegyk fel, hogy E R
n
nylt halmaz, f : E
R
m
, f differencilhat x E-ben; g egy f(E)-t tartalmaz nylt halmazt R
k
-ba
kpez, s g differencilhat f(x)-ben. Ekkor az F = g f : E R
k
lekpezs is
differencilhat x-ben s
(3.1) F
(x) = g
(f(x)) f
(x).
Ha (3.1) minden x-re teljesl, azt a kvetkez okppen is rhatjuk:
F
= (g
f) f
.
3.11. DEFINCI. Ha az f : U R
m
lekpezs minden komponensfggv-
nynek valamennyi rend u 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 anal-

zissel, ahol a differencilhatsg egyszeri differencilhatsgot jelent. Remljk,
ez nem okoz flrertst.
3.12. DEFINCI. f : U V diffeomorzmusa U-nak egy V R
n
nylt
halmazra, ha differencilhat, bijektv s az inverze is differencilhat lekpezs.
A lncszably alkalmazsval knnyen igazolhatunk egy fontos sszefg-
gst, nevezetesen, hogy diffeomorzmus derivltja sohasem lehet zrus. Legyen
f : R R diffeomorzmus. Ekkor f
1
f = id. Derivljuk ezt az sszefggst
valamely x pontban! A lncszablyt alkalmazva s felhasznlva, hogy az identi-
tsnak, mint lineris transzformcinak a derivltja nmaga, tovbb id(1) = 1:
f
1
_
f(x)
_
f
(x) = 1.
Innen leolvashat, hogy az f
(x) ,= 0.
Ha most az f f
1
= id sszefggsb ol indulunk ki, akkor ismt a lncsza-
blyt alkalmazva f
_
f
1
(x)
_
f
1
(x) = 1. Ha f
,= 0 teljesl az rtelmezsi
tartomny pontjaira, kapjuk az inverz fggvny derivlsi szablyt:
(3.2) f
1
(x) =
1
f
(f
1
(x))
.
4. FEJEZET
A feladatok megoldsai
1.3. a. A felttelek szerint a mozgst a h flegyenesen r
= 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 el ollts
c(t) = (b cos(t) exp(at), b sin(t) exp(at)) .
b. |c
(t)| = b
2
(1 +a
2
) exp(2at), tovbb
_

0
exp(2at)dt = lim
t
_
1
2a
exp(2at)
_
t
0
=
1
2a
.
1.5. c
() = (sin()r() + cos()r
(), cos()r() + sin()r
()), gy a plya-
sebessg fggvny: v =
_
r()
2
+r
()
2
.
1.6. Az 1.19. Ttel alapjn:
c: t (t, sin t),
c
: t (1, cos t), v(t) =
1 + cos
2
t, T =
_
1
v
,
cos t
v
_
,
N = J T =
_
cos t
v
,
1
v
_
c
: t (0, sin t);

azaz
(t) =
c
(t), N(t))
v
2
(t)
=
sin t
v
3
=
sin t
(1 + cos
2
t)
3/2
.
1.13. c. A grbe paramtere legyen a grbepont xy skra vonatkoz mer oleges
vetletnek irnyszge, azaz a grbe paramteres el olltst az albbi alakban
keressk:
c(t) = ((t) cos t, (t) sin t, (t) ctg ).
gy az rint o (a (t) rdiuszvektor paramterfggst az egyszer usg kedvrt
nem kirva )
c
(t) = (
cos t sin t,
sin t + cos t,
ctg ),
illetve a plyasebessg
v =
_
2
+
2
+
2
ctg
2
=
_
2
+
2
sin
2
sin
.
84
4. A FELADATOK MEGOLDSAI 85
Teht az rint o s a (0, 0, 1) vektor szgnek koszinusza, azaz
ctg
v
=

cos
_
2
+
2
sin
2
cos
_
2
+ sin
2
lland, gy azonban
= A = lland.
Az el oz o sszefggst mint a fggvnyre vonatkoz differencilegyenletet te-
kintve, a megoldsok (t) = Aexp(at) alakak.
1.14. Jelljk a c biregulris skgrbe skgrbeknt denilt grblett
2
-vel, a
biregulris trgrbeknt denilt grblett pedig -val, (c
, c
) = .
2
=
c
, J c
)
v
3
=
|c
| |c
| cos( +/2)
v
3
=
|c
| |c
| sin
v
3
=
=
|c
|
v
3
= .
1.15. vhossz-paramterezsben
c
= T
c
= F
c
F +F
F +(T +B)
=
2
T +
F +B.
1.16. Ac grbe s
0
-hoz tartoz harmadik Taylor-polinomja az 1.15. feladat alapjn:
p(s) = c(s
0
) +c
(s
0
)(s s
0
) +
1
2
c
(s
0
)(s s
0
)
2
+
1
6
c
(s
0
)(s s
0
)
3
= c(s
0
) + (s s
0
)T
0
+
1
2
(s
0
)(s s
0
)
2
F
0
+
+
1
6
(s s
0
)
3
(
2
(s
0
)T
0
+
(s
0
)F
0
+(s
0
)(s
0
)B
0
) =
= c(s
0
) +
_
(s s
0
)
1
6
2
(s
0
)(s s
0
)
3
_
T
0
+
+
_
1
2
(s
0
)(s s
0
)
2
+
1
6
(s
0
)(s s
0
)
3
_
F
0
+
_
1
6
(s s
0
)
3
(s
0
)(s
0
)
_
B
0
A simulskra vonatkoz mer oleges vetlet msodik Taylor-polinomja:
c(s
0
) +X(s)T
0
+Y (s)F
0
,
ahol
X(s) = (s s
0
), Y (s) =
1
2
(s
0
)(s s
0
)
2
,
azaz a vetlet msodik Taylor-polinomjnak egyenlete a (c(s
0
), T
0
, F
0
) afn
koordinta-rendszerben
Y =
1
2
(s
0
)X
2
.
Hasonlan, a rektiklskra vonatkoz mer oleges vetlet harmadik Taylor-
polinomjnak egyenlete a (c(s
0
), T
0
, B
0
) afn koordinta-rendszerben
Z =
1
6
(s
0
)(s
0
)X
3
.
2.1. Legyen
: R
3
R
3
, p (p) = Mp +c (M GL(3), c R
3
)
afn transzformci, a q msodrend u fellet egyenlete F(p) = 0, ahol
F : R
3
R, p F(p) = Ap, p) + 2a, p) +.
p q

1
(p) = M
1
(p c) q, azaz M
1
(p c) kielgti q egyenlett:
AM
1
(p c), M
1
(p c)) + 2a, M
1
(p c)) + = 0.
A skalris szorzsok bilinearitst felhasznlva kapjuk, hogy
AM
1
p, M
1
p) AM
1
c, M
1
p) AM
1
p, M
1
c)+
+AM
1
c, M
1
c) + 2a, M
1
p) 2a, M
1
c) + = 0,
azaz
M
1t
AM
1
p, p) M
1t
AM
1
c, p) p, M
1t
A
t
M
1
c)+
+AM
1
c, M
1
c) + 2M
1t
a, p) 2a, M
1
c) + = 0.
Felhasznlva, hogy A
t
= A, a konstansokat
-vel jellve:
M
1t
AM
1
p, p) 2M
1t
AM
1
c, p) + 2M
1t
a, p) +
= 0,
gy q
egyenlete
A
p, p) + 2a
, p) +
= 0,
ahol
A
= M
1t
AM
1
, a
= M
1t
a M
1t
AM
1
c.
Legyen p
0
a q cscspontja, azaz F(p) = 0 s Ap
0
+ a = 0. Ekkor (p
0
) a q
cscspontja, ugyanis
A
0
+a
= M
1t
AM
1
(Mp
0
+c) +M
1t
a M
1t
AM
1
c =
= M
1t
Ap
0
+M
1t
AM
1
c +M
1t
a M
1t
AM
1
c =
= M
1t
(Ap
0
+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) = x
2
+ 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 els o pontra
z > 0, a msodikra z < 0, gy a kt pontot sszekt o 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
el olltst ad.
2.5. n(u, v) = (cos ucos v, cos usin v, sin u).
2.10. (2, 1, 1)
2.12. r
u
(u, v) = c
(u) +vc
(u), r
v
(u, v) = c
(u). gy
r
u
(u, v) r
v
(u, v) = v(c
(u) c
(u)).
Ha v ,= 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.
r
u
(u, v) = (x
(u) cos v, x
(u) sin v, z
(u))
r
v
(u, v) = (x(u) sin v, x(u) cos v, 0),
gy E(u, v) = x
(u)
2
+z
(u)
2
, F(u, v) = 0, G(u, v) = x(u)
2
.
2.17. A 2.16. feladatban kiszmtottuk a forgsfellet els o alapmennyisgeit. Mi-
vel most a generl grbe vhossz-paramterezs u, E = 1, gy
EGF
2
=
_
x
2
(s) = [x(s)[ = (s).
Alkalmazva a felszn (2.16) dencijt:
A =
_
2
0
_

0
(s) ds dv = 2
_

0
(s) ds.
A trusz esetn a generl grbe paramteres el olltsa, paramternek az v-
hosszat vlasztva, (a +b cos(s/b), 0, b sin(s/b)), azaz (s) = a +b cos(s/b). gy
A = 2
_
2b
0
a +b cos(s/b) ds = 4
2
ab +b [sin(s/b)]
2
0
= 4
2
ab.
2.18. Az ltalnossg megszortsa nlkl felttelezhetjk, hogy a gmbi ktszg
kt cscsa az szaki-, illetve Dli-plus. Acilindrikus vettsben a gmbi ktszg-
nek megfelel o 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
c
(u) = r
u
(c(u)) + v
(u)r
v
(c(u)), rviden c
= r
u
+ v
r
v
. A fldrajzi param-
terezsnl E = r
u
, r
u
) = 1, F = r
u
, r
v
) = 0, G = r
v
, r
v
) = cos
2
u, gy
| c
| =
1 +v
2
G, teht
cos =
r
u
, c
)
|r
u
| | c
|
=
r
u
, r
u
) +v
r
u
, r
v
)
_
r
u
, r
u
)
1 +v
2
G
=
1
1 +v
2
cos
2
u
.
Ngyzetre emels utn rendezve:
v
2
=
tg
2
cos
2
u
Mivel hegyesszg, a fenti kifejezsb ol v
,= 0, azaz v
lland el ojel u. A keresett

fggvnyre teht
v
=
tg
cos u
= v = tg
_
1
cos u
du.
Az integrlt kiszmolva
(4.1) v(u) = tg
_
ln tg
_
4
+
u
2
_
+C
_
, u
_
2
,

2
_
.
(A + jel vlasztsakor a grbe keletre, a vlasztsnl nyugatra csavarodik.)
A (4.1) egyenletet tanulmnyozva a v(u) fggvny rtkkszlete R. Av 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
=
_
u
2
u
1
1 +v
2
cos
2
u du =
a 2.19. feladat alapjn
=
_
u
2
u
1
_
1 +
tg
2
cos
2
u
cos
2
u du =
_
u
2
u
1
_
1 + tg
2
du =
1
cos
_
u
2
u
1
du =
=
1
cos
(u
2
u
1
).
2.23. Elegend o arra utalni, hogy |n|
2
= |r
u
r
v
|
2
= EGF
2
, ld. (2.15).
2.24.
[r
u
r
v
, r
uu
[ =
(s) cos v x
(s) sin v z
(s)
x(s) sin v x(s) cos v 0
x
(s) cos v x
(s) sin v z
(s)
= x(s)(z
(s)x
(s) z
(s)x
(s)).
A forgsfelletnl
EGF
2
= [x(s)[
x>0
= x(s) (2.16. feladat), gy
L(s, v) = z
(s)x
(s) z
(s)x
(s).
Hasonlan, M = 0, N(s, v) = z
(s)x(s).
2.25. L = 1/b, M = 0, N = a cos(s/b) +b cos
2
(s/b).
2.26. A Dupin-indikatrix egyenlete 1 = 2. Mivel az origban r
u
= (1, 0, 0),
r
v
= (0, 1, 0), ezrt az egyenletb ol rgtn leolvashat, hogy konjuglt hiperbola-
prrl van sz.
2.27. n(u, v) = (cos u, sin u, 0), gy
dn(u, v) =
_
_
sin u 0
cos u 0
0 0
_
_
=
_
r
u
(u, v) 0
_
.
dn kptere megegyezik L(r
u
)-val.
W(r
u
) = r
u
, W(r
v
) = 0, gy a formaopertor mtrixa a fellet mindegyik
pontjban
_
1 0
0 0
_
.
2.28. a.
_
2 0
0 2
_
. b.
_
2 0
0 2k
_
.
2.29. Az (r
u
, r
v
) bzisban a Dupin-indikatrix magmtrixa
Q =
_
L M
M N
_
.
Jellje (V
1
, V
2
) a f oirnyok alkotta bzis. Az (r
u
, r
v
) (V
1
, V
2
) bziscsere mt-
rixa legyen S, azaz
V
1
= s
11
r
u
+s
21
r
v
V
2
= s
12
r
u
+s
22
r
v
.
(4.2)
A feladat lltsa azt jelenti, hogy S
t
QS =
_
1
0
0
2
_
. (4.2) egyenleteit skalrisan
szorozva r
u
-val s r
v
-vel:
_
V
1
, r
u
) = s
11
E +s
21
F
V
2
, r
u
) = s
12
E +s
22
F
_
V
1
, r
v
) = s
11
F +s
21
G
V
2
, r
v
) = s
12
F +s
22
G
.
r
u
s r
v
Fourier-el olltst vve a (V
1
, V
2
) ortonormlt bzisban:
r
u
= (s
11
E +s
21
F)V
1
+ (s
12
E +s
22
F)V
2
r
v
= (s
11
F +s
21
G)V
1
+ (s
12
F +s
22
G)V
2
,
azaz S
1
= S
t
_
E F
F G
_
= S
t
= S
1
_
E F
F G
_
1
. A formaopertor mtrixt
ismerjk mind az (r
u
, r
v
) bzisban (2.48. Ttel), mind a (V
1
, V
2
) bzisban. gy a
mtrix transzformcis trvnyt felrva azt kapjuk, hogy
S
1
_
E F
F G
_
1
_
L M
M N
_
S =
_
1
0
0
2
_
,
gy valban,
S
t
_
L M
M N
_
S =
_
1
0
0
2
_
.
2.37. A 2.16. feladatban meghatroztuk az els o alapmennyisgeket:
E = x
2
+z
2
, F = 0, G = x
2
.
gy E
u
= 2(x
+ z
), E
v
= 0, F
u
= 0, F
v
= 0, G
u
= 2xx
, G
v
= 0.
Behelyettestve a (2.32)-be:
1
11
=
x
+z
x
2
+z
2
,
2
11
= 0,
1
12
= 0,
2
12
=
x
1
22
=
xx
x
2
+z
2
,
2
22
= 0.
2.41. Legyen a c szlessgi kr latitudja u, a gmb sugara egysgnyi. A sz-
lessgi kr ltal hatrolt gmbsveg felszne (Arkhimdsz srfelrata alapjn)
2 cos u(1sin u), az egysggmb Gauss-grblete K = 1, gy a holonmiattel
szerint Hol(c) = 2 cos u(1 sin u). Az Egyenlt ore u = 0, gy az Egyenlt o
holonmija 2, azaz az Egyenlt o mentn eltolt felleti rint ovektor prhuzamos
eltolskor nmagba kerl vissza. Ms szlessgi krkre ez a tulajdonsg nem
igaz.
2.43. A 2.36 alapjn geodetikus koordinta-rendszerben
K =
1
2
u
_
G
u
G
_
=
1
2
G
_
G
uu
G
2
u
2G
G
_
=
G
uu
2G

G
2
u
4G
2
,
ami pontosan a megadott kifejezssel egyenl o.
5. FEJEZET
wxMaxima munkalapok
Az albbiakban megtalljuk a jegyzetben kidolgozott wxMaxima munkalapok
jegyzkt. A felsorolsban flkvren szedett sz adja meg a fjl nevt. A fjl-
mellkletben mindegyik fjl pdf vagy wxm kiterjesztssel szerepel. Az els o 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., Eng-
lewood 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] Sz okefalvi-Nagy Gyula, Gehr Lszl, Nagy Pter. Differencilgeometria. M uszaki Knyvki-
ad, Budapest, 1979.
[7] V. T. Vodnyev. Differencilgeometriai feladatgy ujtemny. M uszaki Knyvkiad, Budapest,
1974.
92

Görbék És Felületek Elemi Differenciálgeometriája

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 Elemi Differenciálgeometriája

Uploaded by

Copyright:

Available Formats

Grbk s felletek elemi

-osztlyak, azaz akrhnyszor differencilhatak.

(t) ,= 0 regularitsi felttel.

(t) = (a sin(t), a cos(t)), |c

(t)| = a sszefggs, mely a kerleti sebessg s a szgsebessg kzti

(t) a grbe t paramterrtk u

(t)) egydimenzis lineris so-

(t) > 0 is teljesl, akkor irnytstart vagy orientcitart

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

(t)-nek pozitv skalr szorosa.

(t)/v(t). Ekkor T(t) nyilvn egysgvektor,

vektorokat T-vel s N-nel prhuzamos

(t) = R(sin t, cos t), v(t) = R,

(t) = (cos t, sin t).

= N, teht az els o Frenet-formula szerint c grbleti

(s)| = 1/[(s)[ sugar, c(s)-re illeszked o krhz.

()-re, azaz c(s

az tetsz oleges krnyezetben

() = 0 (ld. 1.5. bra).

(), c() C(s

(), c() C(s

(s) pontot. Mivel (c

(s)) (az vhossz-

(s) s sszehasonltva az (1.1)

= k2 valamely k egsz szmra.

= vN, ahonnan az llts leolvashat.

= differencilegyenlet megoldsa c = (x, y)-re:

1.31. TTEL (a grbeelmlet alapttele skban, egyrtelm usg). Legyenek

(0) = (1, 0), akkor

(0) = (1, 0), akkor mg a t t paramtertranszformcit kell

(t) = 0 teljesl minden

y = 0, ami ellentmonds. Van teht tovbbi cscspont is.

nem rendelkezhet pratlan szm jelvltssal.

)-b ol a Gram Schmidt-eljrssal lehet meg-

) (T, F) bziscsere mtrixnak determinnsa pozitv:

) bzissal. A megtallt kt vektort pozitv bziss kiegszteni

egyarnt mer olegesek a simulskra,

, amib ol kvetkezik az llts.

Fourier el olltsait a (T, F, B) bzisban:

, B) a kvnt formulkat adja.

s F mer olegessgt ktszer is hasznlva.

-t egyrszt a msodik Frenet-formula alapjn, ms-

= T egy jabb kznsges

= 0. Ez azt jelenti, hogy d konstans fggvny, s [a, b]-re

F +B teljesl, a szoksos jellsekkel.

(u), a) s a felttel miatt rang(c

(u), a) = 2, ezrt egy regu-

(u), c(u)M), ezrt rang dr(u, 0) = rang(0, c(u)M) ,=

(u) ,| c(u) M s a paramtertartomny U = I R

(u), E(u)), tovbb

(t) ,= 0, a fellet regularitsa miatt Ker dr(c(t)) = 0,

(t) = 0 teljesljn, azaz v = v

a felleti normlis. Legyen tovbb c: I U regulris parametrizlt grbe olyan

(t)) = (t)n(p), F(t)), ahol p = c(t).

) = 0, ezrt a szorzat szably szerint differencilva:

(t)) = (t)n(p), F(t)),

(t))[ = (t) cos (t).

A tovbbiakban felttelezzk, hogy diffeomorzmus. Ha p U

= (p)-t egymsnak megfelel o pontoknak mondjuk. Az egymsnak megfelel o

(p) lineris, hiszen mtrixok szorzataknt van rtelmezve. Az elemi felletek

felleti vektormez o c mentn, specilisan az r

2.75. KVETKEZMNY. Ha X s Y prhuzamos vektormez ok egy grbe

, n c[ = 0, ahol n a felleti normlis.