Documente Academic
Documente Profesional
Documente Cultură
Curs Geom Dif Gherghe
Curs Geom Dif Gherghe
Parametrizări
canonice
Ce este geometria diferenţială?
figura geometrică
(curbă din plan sau
spaţiu sau suprafaţă din
spaţiu)
punct
Folosim analiza ı̂n loc de ecuaţie
coordonate matematică (calcu- descriem figuri-
ecuaţie (Descartes) lul diferenţial) ile cu ajutorul
metoda analitică funcţiilor
(algebrică)
1
Planul cursului
2
Bibliografie
3. John Oprea, Differential Geometry and its Applications, The Math. As-
soc. of America, 2007
4. Andrew Pressley, Elementary Differential Geometry, Springer 2001
5. Liviu Nicolescu şi Gabriel Pripoae, Culegere de probleme de geometrie
diferenţială, Editura Universităţii Bucuresţi, 1982.
3
Curbe parametrizate ı̂n plan (R2 ) şi ı̂n spaţiu (R3 )
a t0 b
I=(a,b)
c : (a, b) → R3 (sau R2 )
=
diferenţiabilă, unde (a,b) = I este un interval deschis, posibil infinit, adică putem
avea şi a = −∞ şi/sau b = ∞.
Observaţia 1. Ce ı̂nseamnă diferenţiabilă (ştim de la analiză)?
Cele trei(sau două) coordonate definesc trei(două) funcţii reale
x(t)
t → y(t)
z(t)
Notaţii
dc
c0 (t) = (x0 (t), y 0 (t), z 0 (t))(= ċ(t) = ···)
dt
c00 (t) = c̈(t)etc.
Definiţia 2.
c0 (t)
se numeşte vectorul tangent (ı̂n c(t)) (sau vectorul viteză).
4
Exemplul 1. Elicea circulară dreaptă
α : R → R2 α(t) = (t3 , t2 )
(ecuaţii parametrice)
√
3
x2 = y 3 , y = x2 (ecuaţie carteziană)
y
x
0
y 3 − t2 · y 2 = 0 =⇒ (0, 0) şi y = t2 =⇒ x = t3
5
Exemplul 3. Foliul lui Descartes (folium ı̂n latină ı̂nseamnă frunză)
x3 + y 3 − 3xy = 0
y
−1 < t < 0
x
0
t < −1
Este o curbă propusă de Descartes ı̂n 1638 cu care ı̂l provoacă pe Fermat
să găsească dreapta tangentă ı̂ntr-un punct la o curbă → a condus la dez-
voltarea analizei matematice. Acum panta tangentei se poate găsi uşor folosind
diferenţierea implicită.
O parametrizare se găseşte ca mai sus, adică intersectăm curba cu drepte de
ecuaţie y = tx.
x3 + t3 x3 − 3tx2 = 0 =⇒ x2 (x + t3 x − 3t) = 0
3t 3t2
=⇒ x = 3
şi y = t ∈ R \ {−1}
1+t 1 + 3t3
t < −1 corespunde la x > 0 şi y < 0
−1 < t < 0 corespunde la x < 0 şi y > 0
t > 0 corespunde la x > 0 şi y > 0(bucla)
3t(1 + t)
lim (x + y) = lim = 1 =⇒ x + y = 1 este asimptotă
t→−1 t→−1 (1 + t)(t2 − t + 1)
lim x(t), y(t) = 0
t→∞
x
0
6
Exemplul 5. Considerăm două parametrizări ale cercului unitate x2 + y 2 = 1
(Cele două parametrizări au aceaşi imagine!)
α(t) = (cos t, sin t) cu t ∈ (0 − , 2π + ) > 0
β(t) = (cos 2t, sin 2t)
Q: Care este diferenţa dintre ele?
A: Viteza cu care ”parcurgem” curba!
y
β 0 (t)
α0 (t)
π
β( ) = α(π)
2
α0 (t) = (− sin t, cos t)
β 0 (t) = (−2 sin 2t, 2 cos 2t)
=⇒ ||α0 (t)|| = 1 şi ||β 0 (t)|| = 2
7
Definiţia 4. Fie α : I → R3 o curbă regulată şi t0 ∈ I. Lungimea arcului (de
curbă) de la (care pleacă din) punctul α(t0 ) este
Z t
s(t) = ||α0 (u)||du
t0
1
unde ||α0 (u)|| = (x0 (u))2 + (y 0 (u))2 + (z 0 (u))2 2
p
Dacă υ = (x, y, z) atunci ||υ|| = x2 + y 2 + z 2 este “norma” lui υ
ds
Observaţia 2. Cum α0 (t) 6= 0 =⇒ s e funcţie diferenţiabilă şi s0 (t) = =
0 0
dt
||α (t)|| =⇒ se justifică denumirea de viteză pentru ||α (t)|| = rata de schimbare
a distanţei ı̂n lungul curbei.
Exemplul 6.
α : R → R2 , α(t) = (et cos t, et sin t)
Spirala logaritmică (pleacă “aproape” din origine şi se duce la infinit).
y
Vrem o parametrizare cât mai ”bună”. ”Proprietăţile” curbei sunt mai uşor
de observat dacă ne ”deplasăm” pe traiectorie cu o viteză constantă şi egală cu
1!
Definiţia 5. Spunem că o curbă α : I− > R3 este parametrizată canonic (sau
prin lungimea arcului) dacă ||α0 (s)|| = 1, ∀ s ∈ I. s se numeşte parametru
canonic.
8
Observaţia 3. De ce se numeşte ”prin lungimea arcului”?
Z t Z t
s(t) = ||α0 (s)||ds = 1ds = t − t0
t0 t0
Demonstraţie
Fixăm un t0 ∈ (a, b) şi ne uităm la funcţia “lungime a arcului”
Z t
s : (a, b) → R definită prin s(t) = ||α0 (u)||du
t0
Cum α e regulată:
ϕ α
(a, b)
Definim ᾱ : (d, e) → R3 prin ᾱ = α ◦ ϕ
Evident ϕ e difeomorfism. Aceasta e definiţia reparametrizării!
1
Dar ᾱ0 (s) = α0 (ϕ(s)) · ϕ0 (s) = α0 (ϕ(s)) 0
s (ϕ(s))
0 0 1 0 1
=⇒ ||ᾱ (s)|| = ||α (ϕ(s))|| 0 = ||α (ϕ(s))|| · 0
=1
s (ϕ(s)) ||α (ϕ(s))||
Adică ᾱ este parametrizare canonică.
9
Exemplul 7. √ c : R → R3 , c(t) = (cos t, sin t, t), c0 (t) = (− sin t, cos t, 1)
0
=⇒ ||c (t)|| = 2
Z t√ √ s
Alegem t0 = 0 şi avem s(t) = 2du = 2t =⇒ ϕ(s) = √
0 2
s s s
=⇒ c̄(s) = (c ◦ ϕ)(s) = cos √ , sin √ , √ este o reparametrizare
2 2 2
canonică a elicei circulare drepte.
Exemplul 8. Deşi există, nu putem găsi mereu parametrizarea canonică!
α : R → R3 , α(t) = (t, t2 , t3 ), α0 (t) = (1, 2t, 3t2 ),
p Z tp
||α0 (t)|| = 1 + 4t2 + 9t4 > 0, s(t) = 1 + 4t2 + 9t4 du
0
dar integrala nu se poate calcula prin mijloace elementare(integrală eliptică)
10
Cursul 2. Curbura şi torsiunea unei curbe. Reperul
Frenet. Formulele Frenet
Curbura
Vrem să găsim o funcţie care să măsoare cât de mult se “curbează” (diferă
faţă de o dreaptă = tangenta) o curbă ı̂ntr-un punct.
M
M
M0 M0
Un candidat? Dacă vrem să studiem cum variază vectorul tangent α0 (s), o
idee ar fi să ne uităm la α00 (s) (derivata vectorului tangent) şi să ı̂i calculăm
mărimea (norma ||α00 (s)||).
Vom considera pentru ı̂nceput doar curbe canonic parametrizate.
Exemplul 1. 1. Dreapta α(s) = u0 + sv, ||v|| = 1, v = ct
α̈(s) = 0, ||α̈(s)|| = 0, ∀ s
2. cerc de rază R s s
α(s) = R cos , R sin , 0
R R
s s
α̇(s) = − sin , cos , 0 , ||α̇(s)|| = 1
R R
1 s 1 s 1
α̈(s) = − cos , − sin , 0 =⇒ ||α̈(s)|| = = ct
R R R R R
k(s) = ||α̈(s)||.
1
Observaţia 1. (exerciţiu seminar)
α̇(s0 )
α̇(s)
M0
α̇(s0 )
M
t
Z t
s(t) = ||α0 (u)||du, ϕ = s−1
t0
¨ (s)||.
Definim atunci k(t) = ||ᾱ
Dar nu mereu putem determina o reparametrizare canonică (deşi există!).
Ar fi bine să avem o formulă ”directă”!
Propoziţia 1. Fie α o curbă regulată in R3 , Atunci curbura ei este dată de
formula:
||α0 (t) × α00 (t)||
k(t) =
||α0 (t)||3
Demonstraţie. ᾱ(s) ˙ = α0 (ϕ(s)) · ϕ0 (s)
¨ (s) = α (ϕ(s)) · (ϕ (s))2 + α0 (ϕ(s)) · ϕ00 (s)
ᾱ 00 0
˙ 2 ˙ ᾱ˙ >
Pe de altă parte, ||ᾱ(s)|| = 1 =< ᾱ,
=⇒ 0 = 2 < ᾱ ¨ , ᾱ˙ > =⇒ ᾱ ¨ ⊥ ᾱ˙
Atunci ||ᾱ˙ × ᾱ
¨ || = ||ᾱ|| ¨ ||sin (ᾱ,
˙ · ||ᾱ ˙ ᾱ¨ ) = ||ᾱ
¨ ||
=
1 1
¨ (s)|| = ||ᾱ(s)
Deci k(t) = ||ᾱ ˙ ¨ (s)|| = ||α0 (t) × α00 (t)|| · (ϕ0 (s))3
× ᾱ
1 1 1
Dar ϕ0 (s) = 0 = =
s (ϕ(s)) ||α0 (ϕ(s))|| ||α0 (t)||
2
||α0 (t) × α00 (t)||
Deci k(t) = qed.
||α0 (t)||3
Exemplul 2. α : R → R3 , α(t) = (a cos t, a sin t, bt), a, b > 0
(elicea circulară dreaptă)
p 2
α0 (t) = (−a sin t, a cos t, b) =⇒ ||α0 (t)||2 = a2 + b2
α00 (t) = (−a cos t, −a sin t, 0) p p
α0 × α00 = (ab sin t, −ab cos t, a2 ) =⇒ ||α0 × α00 || = a2 b2 + a4 = a a2 + b2
a(a2 + b2 )1/2 a
=⇒ k(t) = = 2 = constantă
(a2 + b2 )3/2 a + b2
Torsiunea
n
Demonstraţie. t
< b, b >= 1 =⇒ < ḃ, b >= 0 =⇒ ḃ ⊥ b
Într-adevăr, =⇒ ḃ e paralel cu n
ḃ = ṫ × n + t × ṅ =⇒ ḃ ⊥ t
ṫ × n = kn × n = 0
3
Deci ḃ = −τ n
(am notat cu −τ coeficientul lui n iar alegerea semnului e doar o convenţie)
Definiţia 2. Fie α : (a, b) → R3 o curbă parametrizată canonic. τ (s) se
numeşte torsiunea curbei ı̂n punctul α(s).
Am văzut că ṫ = k · n, ḃ = −τ · n (din definiţia lui n si τ ). Vrem o expresie
şi pentru ṅ
b = t × n =⇒ t = n × b =⇒ n = b × t
Deci ṅ = ḃ × t + b × ṫ = −τ (n × t) + k(b × n) = −kt + τ b.
=
−b −t
Am obţinut astfel:
Teorema 1. (Formulele lui Frenet)
Fie α : (a, b) → R3 o curbă canonic parametrizată cu k(s) 6= 0, ∀ s. Atunci
( ṫ = kn
ṫ 0 k 0 t
ṅ = −kt + τ b sau matriceal ṅ = −k 0 τ n
ḃ = −τ n ḃ 0 −τ 0 b
=
matrice antisimetrică
Observaţia 7. Reperul Frenet este un reper mobil (ı̂n lungul curbei) care ne
ajută să studiem proprietăţile curbei. De aceea studiem cum se modifică vectorii
reperului prin derivatele lor.
Definiţia 3. (Triedrul lui Frenet) Fie α : (a, b) → R3 o curbă parametrizată
canonic cu k(s) 6= 0, ∀ s ∈ (a, b). Fie s0 ∈ (a, b) şi c(s0 ) = (x(s0 ), y(s0 ), z(s0 )).
planul normal
n(s0 )
planul osculator
c(s0 ) t(s0 )
{t(s0 ), n(s0 ), b(s0 )} reperul Frenet ı̂n punctul c(s0 ).
Ecuaţii
4
• planul osculator ı̂n c(s0 )
5
Demonstraţie. ᾱ(s) = α(ϕ(s))
=
t
ᾱ˙ = α0 (t) · ϕ0 = α0 (ϕ(s)) · ϕ0 = α0 · ϕ0
¨ = α00 · (ϕ0 )2 + α0 · ϕ00
ᾱ
...
ᾱ = α000 · (ϕ0 )3 + 2α00 · ϕ0 · ϕ00 + α00 · ϕ0 · ϕ00 + α0 · ϕ000 =
= α000 · (ϕ0 )3 + 3α00 · ϕ0 · ϕ00 + α0 · ϕ000
˙ ¨ 0 00 0 3 ¨ ||2 = ||α0 × α00 || · (ϕ0 )6
... ᾱ × ᾱ = (α000× α0 ) · (ϕ
Atunci ) =⇒ ||ᾱ˙ × ᾱ
00 0 6
=⇒ h ᾱ, ᾱ˙ × ᾱ¨ i =< α , α × α > ·(ϕ ) de unde rezultă formula dorită. qed
6
Cursul 3. Curbe plane
Pentru curbe plane putem să ”rafinăm” noţiunea de curbură. În plan vom
putea să definim curbura cu semn.
Curbura fără semn (definită pentru curbele ı̂n R3 nu
va putea ”distinge” ı̂ntre un arc de parabolă şi simetricul
său faţă de tangenta ı̂n vârful ei.
Fie α : (a, b) → R3 o curbă plană parametrizată
canonic (||α̇|| = 1).
Fie t(s) = α̇(s) vectorul tangent (unitar) ı̂n α(s).
Definim normala (unitară) la curbă ı̂n α(s) astfel ca {t,n} să fie un reper (mobil)
ortonormat pozitiv orientat. (n se obţine rotind pe t ı̂n sens direct cu un unghi
π
)
2
Cum ||t|| = 1 =⇒ < t, t >= 1 =⇒ 2 < ṫ, t >= 0 =⇒ ṫ ⊥ t deci ṫ este
coliniar cu n. Definim k, curbura curbei α ı̂n punctul α(s), prin:
ṫ(s) = k(s)n(s)
Demonstraţie
1
Fie a vectorul (unitar) fixat şi b vectorul (unitar) per-
π
pendicular pe a (face cu a unghiul direct)
2
=⇒ t(s) = a cos ϕ + b sin ϕ şi deci
dϕ
ṫ(s) = (−a sin ϕ + b cos ϕ)
ds
dϕ
=⇒ < ṫ, a >= − sin ϕ (1)
ds
Dar ṫ = kn =⇒ < ṫ, a >=< kn, a >= k < n, a >
π π
Dar ^(a, n) = ϕ + =⇒ < n, a >= ||n|| · ||a|| cos (ϕ + ) = − sin ϕ
2 2
dϕ
Înlocuind ı̂n (1) obţinem k(s) = qed.
ds
Observaţia 2. Curbura k este o ”măsură” a rotaţiei vectorului tangent.
Curbura k este pozitivă sau negativă după cum t se roteşte ı̂n sens direct sau
ı̂n sensul acelor de ceasornic.
Vrem să scriem şi acum formulele lui Frenet, adică să scriem derivatele vec-
torilor din reperul Frenet {t,n} ı̂n funcţie de t şi n.
Avem deja formula ṫ = kn
ṅ = a1 t + b1 n, b1 =< ṅ, n >= 0 (||n|| = 1 şi derivăm)
iar a1 =< ṅ, t >= − < n, ṫ >= − < n, kn >= −k (< n, t >= 0 şi derivăm)
=⇒ ṅ = −kt
Propoziţia 2. (definiţie)
{t,n} s.n. reperul Frenet asociat curbei parametrizate α iar
ṫ = kn
sunt formulele lui Frenet
ṅ = −kt
Vrem acum o formulă a curburii unei curbe plane
Propoziţia 3. ( formulă pentru curbura unei curbe plane)
Fie α : (a, b) → R2 o curbă plană regulată. Atunci:
2
Demonstraţie
Demonstrăm mai ı̂ntâi pentru o curbă canonic parametrizată α(s) = (x(s), y(s)).
˙ 0 0
ᾱ(s) = α (t) · ϕ (s)
¨ (s) = α00 (t) · (ϕ0 (s))2 + α0 (t) · ϕ00 (s)
ᾱ
det{(α0 , α00 )}
k = det{(ᾱ, ¨ )} = (det{(α0 , α00 )}) · (ϕ0 (s))3 =
˙ ᾱ qed.
||α0 ||3
Observaţia 3. Semnul curburii graficului unei funcţii diferenţiabile (privit ca
o curbă plană) are legătură cu convexitatea funcţiei.
Fie f : (a, b) → R o funcţie diferenţiabilă. Graficul ei are parametrizarea
Atunci α0 (t) = (1, f 0 ), α00 (t) = (0, f 00 ) şi deci curbura este dată de formula
f 00 (t)
k(t) = .
(1 + (f 0 )2 )3/2
Atunci obţinem că k > 0 dacă şi numai dacă f 00 (t) > 0, adică funcţia este
convexă.
Cercul osculator
Vrem să găsim coordonatele centrului cercului osculator precum şi raza sa.
3
Fie ω0 (a, b) centrul cercului şi R raza sa. Ecuaţia cer-
cului este:
< ω − ω0 , ω − ω0 >= R2 .
Ne uităm la intersecţia dintre cerc şi curbă
t − t0 0 (t − t0 )2 00 (t − t0 )3 000
α(t) = α(t0 ) + α (t0 ) + α (t0 ) + α (t0 ) + ...
1! 2! 3!
Înlocuim ı̂n (2) şi grupăm după puterile lui (t−t0 ) după ce desfacem produsul
scalar.
< α0 − ω0 , α0 − ω0 >= R2
(
< α0 − ω0 , α00 >= 0
< α0 , α00 > + < α0 − ω0 , α000 >= 0
0
Dacă notăm cu α(t) = (x(t), y(t)), ı̂n coordonate vom avea (ultimele două
ecuaţii):
(x0 − a)x00 + (y0 − b)y00 = 0
Rezolvăm sistemul:
∆ = x00 y000 − x000 y00
0 y00
∆x = = y00 (x02 02
0 + y0 )
−(x02
0 + y0 ) y000
02
y00 (x02 02
0 + y0 )
=⇒ a = x0 −
x0 y0 − x0 y00
0 00 00
x00 0 0 02 02
∆y = 02 = −x0 (x0 + y0 )
x000 −(x02
0 + y0 )
x00 (x020 + y0 )
02
=⇒ b = y0 +
x00 y000 − x000 y00
4
Raza se calculează din prima relaţie:
(x02 02 2 02
0 + y0 ) (x0 + y0 )
02
R2 = (x0 − a)2 + (y0 − b)2 = 0 00 00 0 2
(x0 y0 − x0 y0 )
(x02 02 3/2
0 + y0 ) 1
=⇒ R(t0 ) = 0 00 00 0 =
|x0 y0 − x0 y0 | |k(t0 )|
α(t0 ) = (x0 , y0 )
n(t0 ) = (−y00 , x00 ) este coliniar cu (x0 − a, y0 − b)
=⇒ centrul cercului se află pe normala (principală). Se numeşte centru de
curbură.
Definiţia 2. Fie α : (a, b) → R2 o curbă regulată cu k(t) 6= 0. Fie Γ : (a, b) →
R2 curba parametrizată Γ(t) = (a(t), b(t)) (curba centrelor cercurilor osculatoare
adică centrelor de curbură)
Curba Γ se numeşte evoluta curbei α.
Definiţia 3. S.n. ı̂nfăşurătoarea unei familii de curbe o curbă tangentă la
fiecare curbă din familie.
Observaţia 5. Înfăşurătoarea normalelor unei curbe plane este evoluta curbei
5
Teorema fundamentală a teoriei (locale a) curbelor din R3
Observaţia 1. Am văzut că putem caracteriza diferite tipuri de curbe cu ajutorul curburii k
şi a torsiunii τ :
Există numeroase alte tipuri de rezultate ı̂n care curbura şi torsiunea joacă un rol important
ı̂n descrierea proprietăţilor geometrice ale curbei. Acest lucru nu este ı̂ntâmplător. Teorema
fundamentală a teoriei curbelor din R3 ne spune că dacă k > 0, funcţiile k şi τ (derivabile
indefinit) descriu complet geometria curbei, exceptând poziţia sa ı̂n spaţiu. ”Filozofic” aceasta
este la fel cu a spune de exemplu că două unghiuri şi o latură determină un triunghi ı̂n plan,
sau că raza descrie un cerc.
Teorema 1. Date funcţiile diferenţiabile k, τ : I → R cu k(s) > 0 pentru orice s ∈ I (I este
un interval deschis), există o curbă canonic parametrizată c : I → R3 astfel ı̂ncât k(s) şi τ (s)
sunt curbura şi respectiv, torsiunea curbei ı̂n punctul c(s). Mai mult, orice altă curbă canonic
parametrizată c ce satisface aceleaşi condiţii, diferă de prima printr-o izometrie proprie a lui
R3 , adică există o transformare liniară ortogonală p a lui R3 cu determinant pozitiv şi există
un vector a astfel ı̂ncât c = p ◦ c + a.
Considerăm mai ı̂ntâi următorul sistem de ecuaţii (diferenţiale liniare de ordinul I şi omo-
gene). Notăm cu (X, Y, Z) o soluţie a sa. Funcţiile a, b, c sunt continue pe un interval I cu
0 ∈ I. Remarcăm asemănarea dintre acest sistem şi Formulele lui Frenet.
dX
ds = aY + bZ
dY
(*) ds = −aX + cZ
dZ
= −bX − cY
ds
1
De la cursul de ecuaţii diferenţiale ”aflăm” că sistemul (*) admite o soluţie unică (Teorema
de existenţă şi unicitate a soluţiilor unui sistem de ecuaţii diferenţiale ordinare).
X 2 + Y 2 + Z 2 = constant.
X1 X2 + Y1 Y2 + Z1 Z2 = constant.
d dX dY dZ
(X 2 + Y 2 + Z 2 ) = 2X + 2Y + 2Z =
ds ds ds ds
= 2X(aY + bZ) + 2Y (−aX + cZ) + 2Z(−bX − cY ) = 0.
d
(X1 X2 + Y1 Y2 + Z1 Z2 ) = (aY1 + bZ1 )X2 + X1 (aY2 + bZ2 )+
ds
+(−aX1 + cZ1 )Y2 + Y1 (−aX2 + cZ2 ) + (−bX1 − cY1 )Z2 + Z1 (−bX2 − cY2 ) = 0.
Observaţia 2. Fie acum trei soluţii ale sistemului (*) (Xi , Yi , Zi ), i = 1, 2, 3, corespunzătoare
condiţiilor iniţiale Xi (0) = Xi0 , Yi (0) = Yi0 , Zi (0) = Zi0 . Alegem condiţiile iniţiale astfel ı̂ncât
pentru i = 1, 2, 3 şi
Xi0 Xj0 + Yi0 Yj0 + Zi0 Zj0 = 0,
pentru 1 ≤ i < j ≤ 3.
Pentru aceasta este suficient să alegem (Xi0 , Yi0 , Zi0 ) ca fiind componentele a trei vectori
dintr-un sistem ortonormat de vectori din R3 .
Din lema precedentă rezultă că soluţiile (Xi , Yi , Zi ) verifică
pentru i = 1, 2, 3 şi
Xi Xj + Yi Yj + Zi Zj = 0,
pentru 1 ≤ i < j ≤ 3.
2
Revenim la demonstraţia teoremei:
dt
ds = k(s)n(s)
dn
(1) ds = −k(s)t(s) +τ (s)b(s)
db
= −τ (s)n(s)
ds
dti
ds = k(s)ni (s)
dni
(1) ds = −k(s)ti (s) +τ (s)bi (s)
dbi
= −τ (s)ni (s)
ds
pentru i = 1, 2, 3, şi
ti tj + ni nj + bi bj = 0,
pentru 1 ≤ i < j ≤ 3.
Din proprietăţile impuse celor trei soluţii ale sistemului (1) este clar că vectorii ui , i = 1, 2, 3,
sunt ortonormaţi. Deci avem următoarele egalităţi matriceale:
t 1 n 1 b1 t1 t2 t3
A · At = t2 n2 b2 · n1 n2 n3 = I3 .
t3 n3 b3 b1 b2 b3
3
t1 t2 t3 t1 n1 b1 ktk ht, ni ht, bi
At · A = n 1 n2 n3 · t2 n2 b2 = hn, ti knk hn, bi = I3 ,
b1 b2 b3 t3 n3 b3 hb, ti hb, ni kbk
adică şi reperul {t, n, b} este ortonormat.
Alegem {t0 = t(0), n0 = n(0), b0 = b(0)} (poziţia iniţială a lui {t, n, b}) astfel ı̂ncât det A > 0,
adică reperul {t0 , n0 , b0 } este pozitiv orientat. Cum soluţia {u1 , u2 , u3 } a sistemului (1) este
continuă, rezultă că {t, n, b} sunt funcţii continue şi deci funcţia s → det A este continuă.
De aici rezultă că reperul {t, n, b} nu ı̂şi schimbă orientarea. Am obţinut o familie de repere
ortonormate ı̂n R3 .
Din ecuaţia (2), prin integrare avem:
Z s
c(s) = c(0) + t(x) dx.
0
Este clar că c este diferenţiabilă şi c (s) = t(s) 6= 0. Mai mult, kc0 (s)k = kt(s)k = 1, adică c
0
Unicitatea Începem prin a observa că lungimea arcului, curbura şi torsiunea sun invariante
la izometrii proprii. Acest lucru este intuitiv clar pentru că aceste concepte sunt definite cu
ajutorul produselor scalare si al priduselor vectoriale ale unor derivate (derivatele sunt invariante
la translatii iar produsul scalar cât şi cel vectorial sunt exprimate prin intermediul lungimii
vectorilor şi al unghiurilor dintre vectori, care sunt invariante la izometrii proprii).
Presupunem acum că există două curbe c şi c, parametrizate canonic şi care satisfac condiţiile
k(s) = k(s) şi τ (s) = τ (s) pentru orice s ∈ I.
Fie {t0 , n0 , b0 } şi {t0 , n0 , b0 } reperele Frenet asociate curbelor c şi c ı̂n punctele c(0) şi
respectiv c(0). Ştim că sunt pozitiv orientate şi atunci va exista o izometrie proprie F care
duce pe c(0) ı̂n c(0) şi reperul {t0 , n0 , b0 } ı̂n {t0 , n0 , b0 }.
Aplicăm pe F curbei c(0) şi obţinem o nouă curbă dar pe care (pentru a nu complica
notaţiile) o vom nota tot cu c = F ◦ c. Evident c(0) = c(0) şi vrem să arătăm că c(s) = c(s)
pentru orice s ∈ I.
Notăm tot cu {t, n, b} reperul Frenet asociat curbei c. Evident sunt satisfăcute formulele lui
Frenet:
t0 = kn, n0 = −kt + τ b, b0 = −τ n
şi
0 0
t = kn, n0 = −kt + τ b, b = −τ n.
Arătăm că reperele Frenet coincid in fiecare punct.
Considerăm funcţia
1
kt − tk2 + kn − nk2 + kb − bk2 .
f (s) =
2
4
Calculăm derivata lui f :
0 0
f 0 (s) = ht − t, t0 − t i + hn − n, n0 − n0 i + hb − b, b0 − b i =
kht − t, n − ni − khn − n, t − ti + τ hn − n, b − bi − τ hb − b, n − ni = 0.
Deci funcţia f este constantă. În particular f (s) = f (0) = 0 pentru orice s ∈ I. Dar atunci
t(s) = t(s) pentru orice s ∈ I.
Deoarece
dc dc
= t(s) = t(s) = ,
ds ds
rezultă
dc
(c − c) = 0,
ds
adică
c(s) = c + v0 ,
unde v0 este un vector constant. Dar c(0) = c(0) şi deci v0 = 0, adică c(s) = c(s) pentru orice
s ∈ I.
5
Teorema fundamentală a teoriei curbelor plane
(exerciţiul 5 cursul 3)
Fie k : (a, b) → R o funcţie diferenţiabilă. Demonstraţi că există o curbă canonic parametrizată
α : (a, b) → R2 care are curbura (cu semn) k.
În plus, dacă α : (a, b) → R2 este o altă curbă plană cu aceleaşi proprietăţi, atunci există o
izometrie f a lui R2 astfel ı̂ncât
α(s) = f (α(s))
pentru orice s ∈ (a, b).
1
Pentru unicitate, fie ϕ(s) unghiul făcut de axa Ox cu vectorul (unitar) α̇ tangent la α.
Atunci
α̇ = (cos ϕ(s), sin ϕ(s)),
iar s
Z Zs
α(s) = cos ϕ(t) dt, sin ϕ(t) dt + α(s0 ). (1)
s0 s0
Înlocuind aceasta ı̂n relaţia (1) şi notând cu v vectorul constant α(s0 ) şi cu θ constanta
ϕ(s0 ), obţinem s
Z Zs
α(s) = Tv cos(ϕ(t) + θ) dt, sin(ϕ(t) + θ) dt =
s0 s0
Zs Zs Zs Zs
Tv cos θ cos ϕ(t) dt − sin θ sin ϕ(t) dt, sin θ cos ϕ(t) dt + cos θ sin ϕ(t) dt =
s0 s0 s0 s0
s
Z Zs
= Tv ◦ Rθ cos ϕ(t) dt, sin ϕ(t) dt =
s0 s0
= Tv ◦ Rθ (α(s)) = f (α(s)).
2
Cursul 5. Inegalitatea izoperimetrică
Definiţii. 1. f : [a, b] −→ R (funcţie definită pe un interval ı̂nchis) este
diferenţiabilă dacă este restricţia unei funcţii diferenţiabile definită pe un
interval deschis care ı̂l conţine pe [a, b].
2. O curbă parametrizată regulată α : [a, b] → R2 plană se numeşte curbă ı̂nchisă
dacă α(a) = α(b) şi α(n) (a) = α(n) (b) ∀n ≥ 1 (derivatele de ordin n)
4. Vom presupune că o curbă simplă ı̂nchisă α ı̂n plan mărgineşte o regiune
a planului numită interiorul lui α (teorema Jordan)
1
Formulă pentru aria unei curbe simple ı̂nchise
Fie α : [a, b] −→ R2 , α(t) = (x(t), y(t)) o curbă plană simplă, ı̂nchisă, orientată
pozitiv. Atunci avem următoarea formulă pentru aria A a lui α:
Z b
A=− y(t)x0 (t)dt
a
Z b
= x(t)y 0 (t)dt
a
Z b
1
= (x(t)y 0 (t) − y(t)x0 (t))dt
2 a
Pentru a demonstra prima egalitate luăm cazul unei curbe din figura:
2
Acest lucru este posibil dacă există o dreaptă ı̂n plan astfel ca distanţa ρ(t) de
la α(t) la această dreaptă să fie o funcţie cu un număr finit de puncte critice
(adică ρ0 (t) = 0)
Teorema (inegalitatea izoperimetrică). Fie c o curbă plană simplă ı̂nchisă re-
gulată de lungime L şi fie A aria regiunii mărginite de c. Atunci:
L2 − 4πA ≥ 0
• ı̂n 1939 E. Schmidt dă o demonstraţie directă, cea pe care o vom prezenta
aici.
3
Figure 1: Prinţesa Dido cumpără de la Jarbas pamânt cât poate cuprinde cu
pielea unei vaci. Matthus Merian the Elder (1593-1650), Johann Ludwig Got-
tfried, Historical Chronica
4
Demonstraţie.
Fie l1 şi l2 două drepte paralele, tangente la curba c astfel că aceasta se află
ı̂n ı̂ntregime ı̂ntre cele două drepte.
Fie γ un cerc tangent la l1 şi l2 , care nu intersectează pe c şi fie r raza sa.
Alegem sistemul de coordonate astfel ca originea să fie ı̂n centrul cercului, axa
Ox perpendiculară pe l1 şi axa Oy paralelă cu l1 .
Fie A = c(0) şi C = c(s1 ) punctele de tangenţă cu l1 şi respectiv l2 . Ideea
este să comparăm aria regiunii mărginite de c cu aria cercului γ.
Deoarece lungimea curbei c şi aria regiunii mărginite de aceasta nu depind
de parametrizare presupunem că c este parametrizată canonic:
5
În funcţie de parametrizarea lui c putem parametriza cercul γ.
6
Atunci avem:
Z L Z L Z L
A + πr2 = (xy 0 − wx0 )ds ≤ |xy 0 − wx0 |ds = |h(x0 , y 0 ), (−w, x)i|ds
0
|{z} 0 0
(∗)
Revenind, avem:
Z L
2
A + πr ≤ rdS = rL
0
Dar
√ A + πr2 rL
Aπr2 ≤ ≤
|{z} 2 2
(1)
r 2 L2
=⇒ Aπr2 ≤
4
=⇒ L2 ≥ 4πA adică inegalitatea căutată.
Studiem acum cazul de egalitate. Presupunem că L = 4πA şi vom arăta mai
ı̂ntâi că x = ry 0
Va trebui să ”forţăm” egalităţile ı̂n şirul de inegalităţi.
Egalitatea ı̂n (1) =⇒ A = πr2
Egalitatea ı̂n (2) (i.e. inegalitatea Cauchy-Schwarz) =⇒ (−w, x) = λ(x0 , y 0 )
cu λ ∈ R. Trecând la norme obţinem:
p p
w2 + x2 = |λ| x02 + y 02 = |λ| =⇒ λ = ±r
Dar λ = h(x0 , y 0 ), (−w, x)i şi din (*) =⇒ λ > 0 =⇒ λ = r şi ı̂n particular
x = ry 0
Pe de altă parte, egalitatea A = πr2 ne spune că r depinde de A şi nu de
alegerea dreptelor l1 şi l2 . Deci dacă folosim dreptele l3 şi l4 perpendiculare pe
l1 şi l2 , vom avea un cerc γ de rază r tangent la l3 şi l4 . Considerând acum
sistemul de coordonate (x, y) având originea ı̂n centrul acestui nou cerc γ, vom
obţine x = ry 0 ı̂n mod analog.
Deoarece axa y este paralelă (şi ı̂n acelaşi sens) cu axa x iar axa x este
paralelă (şi ı̂n acelaşi sens) cu axa y există constantele d şi e astfel ı̂ncât x = y−d
şi y = e − x
Atunci
y − d = x = ry 0 = −rx0
şi
x2 + (y − d)2 = (ry 0 )2 + (−rx0 )2 = r2 (x02 + y 02 ) = r2
Deci c este un cerc de rază r cu centrul ı̂n punctul (0,d) raportat la sistemul
de axe (x,y).
7
Teorema celor patru vârfuri
Definiţie 1. O curbă regulată plană (nu neapărat ı̂nchisă) α : [a, b] −→ R2
este convexă dacă, pentru orice t ∈ [a, b], imaginea curbei α([a, b]) se află ı̂n
ı̂ntregime ı̂ntr-unul dintre semiplanele ı̂nchise determinate de tangenta la curbă
ı̂n α(t).
Curbe convexe
1
Curbe neconvexe
2
Parabola are un vârf
Teoremă (Teorema celor patru vârfuri). O curbă plană simplă, ı̂nchisă şi
convexă are cel puţin patru vârfuri.
Atunci:
Z L
L
k 0 (s) ds = k 0
=0
0
Z L Z L Z L
L L
xk 0 (s) ds = xk 0
− kx0 ds = − y 00 ds = −y 0 0
=0
0 0 0
Z L Z L Z L
yk 0 (s) ds = − ky 0 ds = x00 ds = 0
0 0 0
Am folosit formulele lui Frenet t0 (s) = k(s)n(s) cu t0 (s) = (x00 (s), y 00 (s)) şi
n(s) = (−y 0 (s), x0 (s)) adică x00 = −ky 0 şi y 00 = kx0 .
3
Demonstraţie (a teoremei). Presupunem curba α : [0, L] → R2 parametrizată
canonic, adică kα̇(s)k = 1. Deoarece funcţia k = k(s) este continuă şi definită
pe un interval ı̂nchis [0, L], este mărginită şi atinge un maxim şi un minim pe
[0, L]. Deci α are cel puţin două vârfuri α(s1 ) = p şi α(s2 ) = q.
Fie d dreapta ce trece prin p şi q. Fie β şi γ cele două arce ale curbei c
determinate de punctele p şi q.
Cele două arce de curbă se află de o parte şi de alta a dreptei d. Dacă nu se
ı̂ntâmplă aşa ar mai intersecta dreapta d ı̂ntr-un punct r distinct de p şi q.
Din convexitate, deoarece punctele p, q şi r sunt distincte pe c, dreapta tangentă
ı̂n punctul din mijloc (să zicem q) ar trebui să coincidă cu d (altfel r şi p ar fi
de o parte şi de alta a tangentei)
Din nou din convexitate, rezultă că d este tangentă la c ı̂n cele trei puncte p, q
şi r. Dar atunci tangenta ı̂ntr-un punct apropiat de q (punctul intermediar) va
separa punctele p şi q cu excepţia cazului când ı̂ntregul segment pq se află pe c.
Dar atunci rezultă că k = 0 ı̂n punctele p şi q. Dar acestea sunt puncte de
maxim şi minim ale curburii şi deci k ≡ 0 pe c adică c este dreaptă sau segment
de dreaptă (contradicţie).
4
Fie acum Ax + By + C = 0 ecuaţia dreptei d. Dacă nu mai există alte
vârfuri va rezulta că k 0 va avea semn constant pe fiecare dintre arcele β şi γ
(altfel, deoarece k 0 e continuă, ar mai exista un punct ı̂n care k 0 este zero). În
acest caz putem alege coeficienţii A, B şi C astfel ca
Z L
(Ax(s) + By(s) + C)k 0 (s) ds să fie strict pozitivă
0
Dar, din lemă, integrala este nulă (contradicţie). Deci mai există un al treilea
vârf şi deci k 0 ı̂şi schimbă semnul pe β sau γ (presupunem că pe β)
s 0 sM L
k0 0 + 0 - 0 + 0 0
k p q
|{z} |{z}
min max
Astfel se poate reformula teorema prin: funcţia curbură a unei curbe ı̂nchise
convexe este nenegativă şi ori este constantă ori are cel puţin două maxime şi
două minime.
5
Suprafeţe regulate ı̂n R3
Definiţia 1. S ⊂ R3 se numeşte suprafaţă regulată dacă pentru orice punct
p ∈ S, există o vecinătate (deschisă) V a lui p ı̂n R3 şi o aplicaţie
f : U −→ V ∩ S
3. ∀q ∈ U , diferenţiala dfq : R2 −→ R3 este injectivă sau echivalent, {fu1 (q), fu2 (q)}
sunt vectori liniar independenţi ( ⇐⇒ fu1 (q) × fu2 (q) 6= 0).
∂f
Aici fui = fi = , i = 1, 2.
∂ui
1
Observaţii. • Local S ”arată” ca un deschis din R2 (i.e. un ”obiect” 2-
dimensional)
• f se numeşte parametrizare sau sistem (local) de coordonate (ı̂n vecinătatea
lui p)
3. ne asigură existenţa planului tangent ı̂n fiecare punct iar {fui (q)}i=1,2 este
bază ı̂n planul tangent ı̂n punctul q la S.
2
Exemplu.
Sfera
S 2 (1) = {(x, y, z) ∈ R3 | x2 + y 2 + z 2 = 1}
Uz = {(x, y) ∈ R2 | x2 + y 2 < 1}
unde R2 ' {(x, y, 0) ∈ R3 | z = 0} (se identifică)
fz+ : Uz −→ S 2 p
fz+ (x, y) = (x, y, + 1 − x2 − y 2 )
V ∩ S 2 = {(x, y, z) ∈ R3 | z > 0} semisfera deasupra planului xOy
3
Planul tangent (ı̂ntr-un punct p la o suprafaţă S)
Fie f : U −→ S o parametrizare ı̂n jurul lui p =⇒ {fu1 , fu2 } este bază ı̂n Tp M
(vectori tangenţi la curbele coordonate ı̂n fiecare punct p = f (q)).
Fie α(t) = f (u1 (t), u2 (t)) o parametrizare a curbei α (ı̂n vecinătatea punctului
∂f ∂f
p) =⇒ α0 (t) = · u0 + · u0
∂u1 1 ∂u2 2
∂f ∂f
=⇒ α0 (t) este combinaţie liniară de { , } (q)
∂u1 ∂u2
Reciproc. Fie v = afu1 + bfu2 , p = f (uo1 , uo2 ). Definim curba
4
Forma I fundamentală (prima formă fundamentală)
Exemplu. (a) (planul) f (u1 , u2 ) = p0 +u1 v +u2 w astfel ı̂ncât kvk = kwk = 1
şi v ⊥ w
f1 = v, f2 = w =⇒ g11 = g22 = 1 şi g12 = 0
(b) (cilindrul fără generatoare) f (u1 , u2 ) = (cos u1 , sin u1 , u2 )
U = {(u1 , u2 ) ∈ R2 |u1 ∈ (0, 2π), u2 ∈ R}
f1 = (− sin u1 , cos u1 , 0) f2 = (0, 0, 1)
g11 = g22 = 1 şi g12 = 0
Oare este ı̂ntâmplător că cele două suprafeţe au aceeaşi coeficienţi ai formelor
I fundamentale? Nu!
5
Lungimea unui arc de curbă de pe o suprafaţă
Fie α : I −→ S o curbă regulată pe suprafaţa S. Presupunem că α(I) ”stă”
ı̂ntr-o vecinătate de coordonate. Atunci
α(t) = f (u1 (t), u2 (t))vα0 (t) = u01 f1 + u02 f2
Z t Z tu 2
0
uX
s(t) = kα (t)kdt = t gij (α(t))u0i (t)u0j (t)dt
0 0 i,j=1
2
notaţie ds = g11 du21 + 2g12 du1 du2 + g22 du22
Definiţia 3.
ZZ
aria(R) = kf1 × f2 kdu1 du2 unde Q = f −1 (R) (aria lui R)
Q
6
Normala Gauss
f1 (q) × f2 (q)
N (p) = , unde q = f −1 (p)
kf1 (q) × f2 (q)k
7
Aplicaţia Gauss
Fie S ⊂ R3 o suprafaţă regulată şi fie f : U ⊂ R2 −→ S o parametrizare
(ı̂n jurul unui punct p ∈ f (U )). Am văzut ca putem defini un vector normal
(perpendicular pe planul tangent) unitar ı̂n fiecare punct din f (U ) (normala
Gauss):
f1 × f2 ∂f
q ∈ f (U ), N (q) = (q), unde fi = fui = , i = 1, 2.
k f1 × f2 k ∂ui
Avem astfel un câmp de vectori normali unitari pe f (U ) (este o aplicaţie
diferenţiabilă):
N : f (U ) −→ R3 , q −→ N (q).
Presupunem că putem defini (mai general) N : S −→ R3 o aplicaţie diferenţială
care asociază fiecărui punct p ∈ S un vector normal unitar (perpendicular pe
planul tangent Tp S). O astfel de suprafaţă se numeşte orientabilă. Alegerea
unui astfel de câmp se numeşte orientare a lui S.
Observaţie. Banda lui Mobius este neorientabilă, sfera este orientabilă. De
ce?
Orice suprafaţă regulată este local orientabilă. De ce?
Definiţie 1. Fie S ⊂ R3 o suprafaţă şi fie N o orientare a sa. Aplicaţia
N : S −→ S 2 (1) (sfera unitate)
p N (p) ∈ S 2 (1)
se numeşte aplicaţia Gauss.
1
Fie curba N (t) = N (α(t)) (curbă pe S 2 (1); este restricţia lui N la curba α(t)).
Atunci dNp (v) = N 0 (0) (vectorul tangent la curba N(t) ı̂n punctul N(p).
Observaţie. dNp măsoară cât de mult se schimbă N ı̂ntr-o vecinătate a lui p;
cât de mult se curbează S ı̂ntr-o vecinătate a lui p. În cazul curbelor măsura
curbării era dată de un număr (curbura ı̂n punctul p). La suprafeţe este dată
de o aplicaţie liniară (diferenţiala aplicaţiei Gauss dNp ).
Exemple (seminar). 1. Pentru un plan π, normala Gauss este o aplicaţie
constantă, deci dNp = 0, ∀p ∈ π (nu se curbează).
2. Pentru sfera unitate S 2 (1), dNp (v) = v (am ales pe N ı̂ndreptat către
exteriorul sferei), pentru orice p ∈ S 2 (1) şi v ∈ Tp S 2 (1) (sfera se curbează
la fel ı̂n orice direcţie)
3. Pentru cilindrul C (alegem din nou pe N ı̂ndreptat către axa cilindrului),
dNp (w) = −w. pentru orice w ∈ Tp C paralel cu planul xOy şi dNp (v) =
0 · v = 0, pentru orice v ∈ Tp C paralel cu axa cilindrului. Avem w ⊥ v.
Anticipăm: v şi w sunt vectori proprii asociaţi valorilor proprii 0 şi −1 ale
aplicaţiei liniare dNp .
4. Fie paraboloidul hiperbolic dat de ecuaţia z = y 2 − x2 . Alegem N dat
de parametrizarea Monge (f (x, y) = (x, y, y 2 − x2 )). Dacă v = (1, 0, 0)
şi w = (0, 1, 0) atunci dNp (v) = 2v şi dNp (w) = −2w. (Ce ı̂nseamnă
geometric acest lucru?)
Propoziţie. Diferenţiala dNp : Tp S −→ Tp S a aplicaţiei Gauss este autoadjunctă
(endomorfism simetric).
Demonstraţie. Deoarece dNp este liniară va fi suficient să verificăm că
Fie f (u1 , u2 ) o parametrizare a lui S ı̂n jurul punctului p şi {f1 , f2 } baza asociată
ı̂n Tp S.
Fie α(t) = f (u1 (t), u2 (t)) o curbă parametrizată ı̂n f (U ) cu α(0) = p. Avem:
dNp (α0 (0)) = dNp (fu1 · u01 (0) + fu2 · u02 (0))
d
= N (u1 (t), u2 (t)) t=0
dt
= Nu1 · u01 (0) + Nu2 · u02 (0)
ı̂n particular, dNp (fu1 ) = Nu1 şi dNp (fu2 ) = Nu2 =⇒ va fi suficient să arătăm
că:
hNu1 , fu2 i = hfu1 , Nu2 i
Pentru a arăta acest lucru derivăm egalităţile hN, fu1 i = 0 şi hN, fu2 i = 0
ı̂n raport cu u2 şi respectiv u1 şi obţinem:
2
hNu2 , fu1 i + hN, fu1 u2 i = 0
hNu1 , fu2 i + hN, fu2 u1 i = 0
=⇒ hNu1 , fu2 i = −hN, fu1 u2 i = −hN, fu2 u1 i = hNu2 , fu1 i
Definiţie 2. Forma pătratică IIp : Tp S −→ R definită prin:
IIp (v) = −hdNp (v), vi (vom explica mai târziu de ce am pus -1)
Atunci:
IIp (α0 (0)) = −hdNp (α0 (0)), α0 (0)i
= −hN 0 (0), α0 (0)i
= hN (0), α00 (0)i
= hN, kni(p)
= kn (p)
Cu alte cuvinte, IIp (v), pentru v ∈ Tp S vector unitar este egală cu curbura
normală a unei curbe care trece prin p şi este tangentă la v. În particular am
obţinut:
3
Propoziţie (Meusnier). Toate curbele de pe S care au ı̂n p ∈ S aceeaşi tangentă
au ı̂n acest punct aceleaşi curburi normale.
Observaţie. Propoziţia anterioară ne permite să vorbim despre curbura nor-
mală ı̂n lungul unei direcţii date ı̂n punctul p.
Ne ”uităm” la secţiunea normală a lui S ı̂n punctul p ı̂n lungul lui v ∈ Tp S (v
vector unitar) =⇒ n = ±Np (sau zero) =⇒ k = |kn |.
Observaţie.
kn : {v ∈ Tp S | kvk = 1} −→ R
este o funcţie continuă pe un compact (cercul unitate din planul tangent) =⇒
ı̂şi atinge marginile. Fie k1 şi k2 curburile normale extreme (maximă şi minimă).
Acestea se numesc curburile principale.
Teoremă 1. Valorile extreme k1 şi k2 ale curburii normale sunt valorile proprii
ale operatorului Weingarten. Dacă k1 = k2 = k atunci L(u) = ku pentru orice
u ∈ Tp S cu kuk = 1.
Demonstraţie. Fie e1 ∈ Tp S, ke1 k = 1, cu kn (e1 ) = k1 = maxim. Fie e2 , ke2 k =
1, e2 ⊥ e1 =⇒ {e1 , e2 } reper ortonormat ı̂n Tp S. Atunci avem
4
Arătăm că {ei }i=1,2 sunt vectori proprii ai lui Lp .
Fie
f : [0, 2π] −→ {v ∈ Tp S | kvk = 1},
aplicaţia dată de
f (θ) = cos θe1 + sin θe2 (parametrizarea cercului unitate din Tp S).
dkn dkn
Dar k1 = maxim şi kn (e1 ) = kn (0) = k1 =⇒ = 0 =⇒ (0) =
dθ θ=0 dθ
π
2hL(e1 ), e2 i = 0 =⇒ L(e1 ) = hL(e1 ), e1 )ie1 = k1 e1 şi L(e2 ) = kn ( )e2 .
2
π
Arătăm că kn ( ) = k2
2
Avem kn (θ) = k1 cos2 θ + k2 sin2 θ
kn0 (θ) = 2 sin θ cos θ(k2 − k1 ) k1 este valoarea maximă a lui kn (θ)
| {z }
≤0
π 3π
θ 0 π 2π
2 2
kn0 0 - 0 + 0 - 0 + 0
kn k2 k1 k2
=⇒ k2 = k2 = valoarea minimă
Corolar (Euler). Dacă up ∈ Tp S, up = cos θe1 + sin θe2 =⇒
det(Lp ) = k1 k2
T r(Lp ) = k1 + k2
Observaţie. La schimbarea orientării suprafeţei determinantului nu se schimbă
(dim(Tp S) = 2 este esenţială!) dar urma ı̂şi schimbă semnul.
5
1
Definiţie 5. det(Lp ) = K(p) se numeşte curbura Gauss a lui S ı̂n p, iar T r(Lp )
2
= H(p) se numeşte curbura medie a lui S ı̂n p.
K = k1 k2
k1 + k2
H=
2
Definiţie 6. Fie p ∈ S un punct pe o suprafaţă regulată. Punctul p se numeşte:
6
Aplicaţia Gauss ı̂n coordonate locale. Operatorul
Weingarten
Fie f : U −→ S ⊂ R3 o parametrizare locală.
f1 × f2
N= este normala Gauss.
kf1 × f2 k
gij = hfi , fj i sunt coeficienţii primei forme fundamentale.
Am văzut că Lp (= −dNp ) : Tp S −→ Tp S, p ∈ f (U ) este endomorfism simetric.
Atunci lui i se poate asocia o formă biliniară simetrică bp : Tp S × Tp S −→ R
prin
bp (v, w) = hLp (v), wi = g(Lp (v), w)
pe care o vom numi (tot) forma a doua fundamentală pentru că
2
X
Fie Lp (fi ) = Lki fk , (Lki )i,k=1,2 matricea operatorului Weingarten.
k=1
Avem
bij = g(Lp (fi ), fi )
2
X
= g( Lki fk , fj )
k=1
2
X
= Lki g(fk , fj )
k=1
2
X
= Lki gkj | · g js
k=1
2
X 2
X
=⇒ bij g js = Lki δks = Lsi (∗),
j=1 k=1
1
unde (g ij )i,j=1,2 este matricea inversă lui g = (gij )i,j=1,2 . Matriceal egalitatea
(*) se scrie
L = b · g −1
det(b) b11 b22 − b212
Atunci K = det(L) = det b · g −1
= = 2 = K, unde
det(g) g11 g22 − g12
gij = hfi , fj i şi bij = hN, fij i
2
Cursul 10
Interpretarea geometrică a curburii Gauss
Fie S o suprafaţă regulată şi p0 ∈ S astfel ı̂ncât K(p0 ) > 0. Fie f : U → S o parametrizare ı̂n
jurul punctului p0 cu f (u0 ) = p0 . Fie V ⊂ f (U) ∩ S o vecinătate a lui p0 ı̂n S şi N : V → S2 (1)
restricţia aplicaţiei Gauss la V . Atunci
aria(N(V ))
lim = K(p0 )
V →p0 aria(V )
• arătăm că h1 si h2 sunt vectori liniari independenţi ı̂n orice punct din U ⇐⇒ h1 × h2 6= 0
j j
demonstraţie h1 × h2 = N1 × N2 = (−L1i fi ) × (−L2 f j ) = L1i L2 ( fi × f j ) = L11 · L22 ( f1 × f2 ) + L12 ·
L21 ( f2 × f1 ) = (L11 · L22 − L12 · L21 )( f1 × f2 ) = (det L) f1 × f2 = K(p) f1 × f2
Cum K(p0 ) > 0, prin continuitate, curbura rămâne strict pozitivă pe o vecinătate suficient
de mică V 0 ⊆ V a lui p0 . Dar f1 × f2 6= 0 pe U ⇒ h1 × h2 6= 0 pe U 0 = f −1 (V 0 ) ⊂ U.
Avem acum
ZZ ZZ
0
p
aria(N(V )) = Kk f1 × f2 k = K det g.
U0 U0
Aplicăm o teoremă de medie: ∃ u ∈ U 0 astfel ı̂ncât:
1
Observaţie: Dacă aria(V 0 ) → 0, V 0 rămânând tot timpul vecinătate pentru p0 , atunci u şi v
tind să coincidă şi deci f (u) → p0 ← f (v) (u, v → u0 ).
În particular, datorită continuităţii, K(u) → K(u0 ) = K(p0 ) şi deci
A(N(V 0 ))
lim = K(p0 ), p0 ∈ V
A(V 0 )→0,p0 ∈V 0 A(V 0 )
Observaţie: Demonstraţia funcţionează şi pentru K(p0 ) < 0, dar atunci obţinem o inter-
pretare pentru |K(p0 )|.
2
Teoremă (Gauss-Egregium, 1828) Curbura Gauss depinde doar de coeficienţii primei
forme fundamentale (este o noţiune ”intrinsecă”).
Vrem o expresie a coeficienţilor Γkij (simbolurile lui Christoffel; 1869-profesor al lui Levi-
Civita) ı̂n funcţie de gi j . Plecăm de la gi j =< hi , h j >. Derivăm şi permutăm circular indicii:
∂ gi j
(i j k) =< hik , h j > + < hi , h jk >= Γsik gs j + Γsjk gsi (1)
∂ uk
∂ g jk
( j k i) =< h ji , hk > + < h j , hki >= Γsji gsk + Γski gs j (2)
∂ ui
∂ gki
(k i j) =< hk j , hi > + < hk , hi j >= Γsk j gsi + Γsij gsk (3)
∂uj
∂ gi j ∂ g jk
Facem (1) − (2) + (3) ⇒ ∂ uk − ∂ ui + ∂∂gukij = 2Γsjk gsi . (∗)
Aici am folosit simetria simbolurilor Γk12 = Γk21 (h12 = h21 ⇒ b12 = b21 )
j
Notăm cu gi j (indicii sus) elementele matricei inverse lui g = (gi j )i, j , adică gik · gk j = δi pentru
orice i, j = 1, 2 (avem sumare!). Înmulţim ı̂n (∗) cu inversa matricei g, adică ı̂nmulţim cu git şi
facem sumarea după i obţinând:
t 1 ti ∂ gi j ∂ g jk ∂ gki
Γ jk = g − + .
2 ∂ uk ∂ ui ∂uj
j
Dacă L e operatorul Weingarten notăm cu Li elementele matricei sale in raport cu {h1 , h2 }
j
(bază ı̂n planul tangent) şi vom avea L(hi ) = Li h j . Avem:
j
Ni = −Li h j , formula Weingarten.
Demonstaţie (teoremă)
Derivăm ı̂n formula Gauss.
k
∂ h i j ∂ Γi j ∂ bi j
= hk + Γkij hks + N + bi j Ns =
∂ us ∂ us ∂ us
=
=
3
!
∂ Γli j
∂ bi j
= + Γkij Γlks − bi j Lsl k
hl + Γi j bks + N
∂ us ∂ us
Permutăm j ↔ s şi obţinem şi relaţia:
l
∂ his ∂ Γis k l l k ∂ bis
= + Γis Γk j − bis L j hl + Γis bk j + N.
∂uj ∂uj ∂uj
∂ hi j ∂ his
Cum h e de clasă C∞ ⇒ ∂ us = ∂uj , egalăm coeficienţii lui hl şi N şi obţinem:
∂ Γli j ∂ Γlis
− + Γkij Γlks − Γkis Γlk j = bi j Lsl − bis Llj (∗∗)
∂ us ∂uj
şi
∂ bis ∂ bi j
Γkij bks − Γkis bk j = − , ecuaţiile Codazzi − Mainardi
∂uj ∂ us
Corolar Două suprafeţe local izometrice (am arătat că au aceeaşi formă I fundamentală) au
aceeasi curbură Gauss. (K este invariant intrinsec al suprafeţei.)
4
Cursul 11. Reperul Darboux
Observaţia 1 Este un reper ortonormat şi pozitiv orientat. Studiul acestui reper ne va permite
să introducem diferite curbe pe suprafaţă.
În mod similar cu reperul Frenet ne propunem să studiem variaţia reperului Darboux.
• t 0 (s) = a1t + a2 Ng + a3 N
a1 =< t 0 ,t >= 0 (curba c este canonic parametrizată).
a2 =< t 0 , Ng >=< c00 , Ng >=< (. . . )hk , Ng > (căci Ng ⊥ N).
d 2 ui
2
0 dui 00 dui du j d uk dui du j k dui du j
c = hi ⇒ c = 2 hi + hi j = 2
+ · Γi j hk + · bi j N.
ds ds ds ds ds ds ds ds ds
Notăm cu kg =< t 0 , Ng > şi o numim curbură geodezică.
0 00 dui du j dui du j
a3 =< t , N >=< c , N >= bi j N, N = bi j = kn (este chiar curbura
ds ds ds ds
normală).
Am obţinut formula
t 0 = kg Ng + kn N (1).
• Ng0 = b1t + b2 Ng + b3 N
b2 =< Ng0 , Ng >= 0 (kNg k = 1)
b1 =< Ng0 ,t >= − < Ng ,t 0 >= −kg
b3 =< Ng0 , N >= τg şi o numim torsiune geodezică
Am obţinut formula
Ng0 = −kgt + τg N (2).
1
• N 0 = c1t + c2 Ng + c3 N
c3 =< N 0 , N >= 0
c1 =< N 0 ,t >= − < N,t 0 >= −kn
c2 =< N 0 , Ng >= − < N, Ng0 >= −τg .
Am obţinut formula
N 0 = −knt − τg Ng (3).
Definiţia 2 Relaţiile (1), (2) şi (3) sunt formulele lui Darboux.
dui du j
g1i g2 j
1 ds ds
τg = √ ,
det g dui du j
b1i b2 j
ds ds
unde gi j şi bi j sunt coeficienţii formelor I şi a II-a fundamentale.
Definiţia 3 O curbă c (canonic parametrizată) se numeşte geodezică dacă {ui }i=1,2 sunt soluţii
ale sistemului de ecuaţii diferenţiale:
d 2 uk dui du j
2
+ Γkij = 0, k = 1, 2,
ds ds ds
unde Γkij sunt simbolurile Christoffel:
1 ks ∂ gsi ∂ gi j ∂ g js
Γkij = g − + .
2 ∂uj ∂ us ∂ ui
2
Exemplul 1
d 2 uk k dui du j
+ Γ ij = 0, k = 1, 2,
ds2 ds ds
unde Γkij sunt simbolurile Christoffel:
k 1 ks ∂ gsi ∂ gi j ∂ g js
Γi j = g − + .
2 ∂uj ∂ us ∂ ui
Deoarece h1 = (0, 0, 1) şi h2 = (−R sin u2 , R cos u2 , 0), coeficienţii primei forme fundamentale
sunt g11 = 1, g12 = g21 = 0 şi g22 = R2 . Atunci Γkij = 0 pentru orice i, j, k ∈ 1, 2.
d 2 uk
Sistemul de ecuaţii devine: ds2
= 0 pentru orice k ∈ 1, 2. Deci
• c 6= 0 şi a = 0, adică c este un cerc sau un arc de cerc (ı̂ntr-un plan paralel cu planul xOy);
unde am notat cu Span(N,t) planul generat de N şi t. Dar v ∈ Span(h1 , h2 ) ⇒ v⊥N ⇒ v = λt,
unde λ este o funcţie diferenţiabilă.
3
Dar 0 =< t,t 0 >=< t, v >=< t, λt >= λ . Deci v = (. . . )hk = 0. Cum {h1 , h2 } sunt liniar
independenţi rezultă că sunt satisfăcute cele 2 ecuaţii diferenţiale din definiţia geodezicelor
deci c este geodezică .
(a ⇒ c) Din prima formulă Darboux ⇒ t 0 = kn N. Pe de altă parte, din prima formulă Frenet
t 0 = kn ⇒ kn = kn N. Din k 6= 0 ⇒ n e coliniar cu N.
(c ⇒ a) Dacă n = aN, unde a este o funcţie diferenţiabilă, avem t 0 = kn = akN şi facem
produsul scalar cu Ng ⇒ kg =< t 0 , Ng >= ak < N, Ng >= 0 q.e.d.
Exemplul 2 Să găsim geodezicele sferei unitate. Fie c(s) o geodezică (canonic parametrizată)
pe sfera unitate S2 (1). Este clar că N(s) = ±c(s), unde N(s) este normala Gauss ı̂n lungul
curbei c.
Dar t(s) = c0 (s) ⇒ t 0 (s) = k(s)n(s) (Frenet) ⇒ n coliniar cu t 0 .
Dacă c este geodezică, atunci n (normala principală) este coliniară cu N (normala Gauss)
ı̂n lungul curbei c.
Deci vrem să găsim curbele (de pe sferă) pentru care t 0 şi c sunt coliniari. Dar atunci avem:
t 0 × c = 0 ⇒ c00 × c = 0 ⇒ ds d 0
(c × c) = 0 ⇒ c0 × c = v0 = ct ⇒ vectorul c(s) (cu originea in
O) rămâne perpendicular pe v0 (vector constant) şi deci imaginea curbei c este inclusă ı̂ntr-un
plan (care trece prin origine) şi deci c descrie un cerc mare sau arc de cerc mare.
duk duk
Lik hk du k dui 0
ds = kn ds hk ⇒ Li ds = kn ds ⇒ c (s) este vector propriu al operatorului Weingarten.
i
Exemplul 3 (interpretare geometrică) Dacă o geodezică c (canonic parametrizată) este şi linie
de curbură atunci este curbă plană.
Exemplul 4 Dacă o suprafaţă de rotaţie nu are puncte ombilicale atunci liniile de curbură
(τg = 0) sunt liniile de coordonate.
Demonstraţie
h1 = (ϕ 0 cos, ϕ 0 sin, ψ 0 ) h2 = (−ϕ sin, ϕ cos, 0) ⇒ g12 = g21 = 0 b12 = b21 =< h12 , N >
h12 = (−ϕ 0 sin, ϕ 0 cos, 0), N e = (−ψ 0 ϕ cos, −ψ 0 ϕ sin, ϕϕ 0 ) ⇒ b12 = b21 = 0
g11 g22 du1 du2
ecuaţiile liniilor de curbură devin = 0. Cum S nu are puncte ombilicale ⇒
b11 b22 ds ds
g nu e proporţional cu b şi deci determinantul din stânga nu este nul. Atunci du 1
ds = 0 sau
du2
ds = 0 ⇒ u1 = ct sau u2 = ct.
4
Definiţia 5 Fie c o curbă regulată pe suprafaţa S. Curba c se numeşte linie asimptotică dacă
c0 (t) este direcţie asimptotică (adică b(c0 (t), c0 (t)) = 0).
Exemplul 6 (interpretare geometrică) Dacă o geodezică c este şi linie asimptotică atunci este
dreaptă sau segment de dreaptă.
5
Cursul 12. Suprafeţe minimale
• 1762: Lagrange caută printre suprafeţele Monge z = h(x, y), care au o frontieră netedă
ı̂nchisă fixată, pe cele care minimizează (local) aria . Găseşte ecuaţia diferenţială (Euler-
Lagrange): ! !
∂ hx ∂ hy
p + p = 0,
∂x 1 + hx + hy ∂y 1 + hx + hy
dar, ı̂ncercând să o rezolve, descoperă doar planul.
• 1776: Meusnier arată că ecuaţia descoperită de Lagrange este legată de anularea curburii
medii H = 0 şi arată că elicoidul şi catenoidul verifică această condiţie.
Monge şi Legendre obţin formule de reprezentare a soluţiilor ecuaţiei care ne dau suprafeţele
minimale.
• 1834: Trec aproape 50 de ani pentru ca Scherk să descopere o altă suprafaţă mini-
mală (Pringles), rezolvând ecuaţia ı̂n cazul când h(x, y) = f (x) + g(y), obţinând h(x, y) =
ln cos x
cos y . Cu toate acestea, ecuaţia descoperită de Meusnier era considerată ı̂ncă de ”nere-
zolvat”.
• 1842: Catalan arată că singura suprafaţă minimală netrivială riglată este elicoidul.
• 1865, 1867: Schwarz rezolvă problema lui Plateau (problema găsirii unor suprafeţe mini-
male având frontiera un contur dat) pentru patrulatere, folosind tehnici de numere com-
plexe.
• 1860, 1864: Weierstrass şi Enneper obţin formule de reprezentare a suprafeţelor mini-
male demonstrând legătura dintre teoria suprafeţelor minimale pe de o parte şi analiza
complexă şi teoria funcţiilor armonice pe de alta. Alte nume importante care au contribuit
la acest fapt sunt Beltrami, Bonnet, Darboux, Lie, Riemann, Serret and Weingarten.
Enneper descoperă o nouă suprafaţă minimală.
• 1930, 1931: Douglas (primeşte Medalia Fields) şi Radó rezolvă problema Plateau.
1
• 1950: Osserman are contribuţii importante ı̂n teoria suprafeţelor minimale.
• 1982: Costa descoperă o nouă suprafaţă care infirmă o conjectură ce afirma că planul,
catenoidul şi elicoidul sunt singurele suprafeţe cu anumite proprietăţi.
Vrem să arătăm că suprafeţele minimale sunt ”puncte critice” ale funcţionalei arie. Fie
h : U ⊂ R2 → R3 o parametrizare (locală). Alegem D ⊂ U un domeniu mărginit (deschis, conex
ı̂n S cu frontiera imaginea printr-un homeomorfism diferenţiabil a unui cerc). Fie f : D → R o
funcţie diferenţiabilă, D = D ∪ ∂ D. Definim variaţia normală a lui h(D) prin ht : D → R3
Observaţia 1 Vrem să studiem cum se modifică aria la ”perturbaţii” mici ale lui S = h(D).
Reamintim că ZZ p
t
A(t) = aria(h (D)) = det g(t) du1 du2 ,
D
unde det g(t) = gt11 gt22 − (gt12 )2 , iar gti j =< hti , htj
>.
t
hi = hi + t fi N + t f Ni (hi , fi , Ni sunt derivatele parţiale ı̂n raport cu ui ).
gti j = gi j − 2t f bi j + o(t 2 ).
Atunci
det(g(t)) = (g11 − 2t f b11 + o(t 2 ))(g22 − 2t f b22 + o(t 2 )) − (g12 − 2t f b12 + o(t 2 ))2 =
unde H este curbura medie (vezi cursul despre curburi). Am obţinut astfel că pentru ε (deci şi t)
mic, ht este parametrizare regulată iar funcţionala arie are expresia
ZZ q p
A(t) = 1 − 4t f H + o(t 2 ) det g du1 du2 .
D
2
Derivând şi calculând valoarea derivatei ı̂n t = 0 obţinem formula primei variaţii:
ZZ
0
p
A (0) = − 2fH det g du1 du2 .
D
Demonstraţie
Dacă H ≡ 0 (pentru h) ⇒ A0 (0) = 0.
Reciproc, presupunem A0 (0) = 0 şi că există q ∈ D astfel ı̂ncât H(q) 6= 0. Alegem
f : D → R astfel ca f (q) = H(q), iar f este identic nulă ı̂n exteriorul unei vecinătăţi mici a lui
q (pe care f 6= 0).
3
Cursul 13. Teorema Gauss-Bonnet (varianta globală)
Definiţia 2 Fie S o suprafaţă regulată. O regiune R ⊂ S se numeşte regulată dacă R este com-
pactă şi dacă frontiera sa ∂ R este o reuniune finită de curbe simple, regulate pe poţiuni, care
nu se intersectează.
Prin convenţie o suprafaţă compactă este o regiune regulată a cărei frontieră este vidă. O
regiune simplă care are doar trei vârfuri având unghiurile exterioare εi 6= 0, i = 1, 2, 3 se numeşte
triunghi.
Dată o triangulare T a unei regiuni regulate R ⊂ S a unei suprafeţe, vom nota cu F numărul
de trunghiuri (feţe), cu E numărul de laturi şi cu V numărul de vârfuri ale triangulării. Numărul
χ = F − E +V
se numeşte caracteristica Euler-Ponincaré a triangulării.
1
Exemplul 1 1. Dacă S2 este sferă atunci χ(S2 ) = 2. Pentru triangularea sferei considerăm
un tetraedru ABCD ı̂nscris ı̂n sferă astfel ı̂ncât centrul sferei să fie ı̂n interiorul tetrae-
drului. Proiectăm tetraedrul radial (din centru) pe sferă şi obţinem o triangulare a sferei.
Este clar că χ(S2 ) = F − E +V = 4 − 6 + 4 = 2.
2. Dacă T 2 este tor atunci χ(T 2 ) = 0. Pentru tor, considerăm o ”cutie” ı̂nchisă cu o gaură
ı̂n mijloc. Evident aceasta poate fi deformată la un tor. În acest caz avem χ(T 2 ) =
16 − 32 + 16 = 0. Sau privim torul ca un dreptunghi in care se identifică laturile opuse.
În acest caz avem χ(T 2 ) = 1 − 2 + 1 = 0.
Prezentăm acum, fără demonstraţie, câteva rezultate de topologie utile ı̂n varianta globală a
teoremei Gauss-Bonnet.
1. Orice regiune regulată a unei suprafeţe regulate admite o triangulare.
2. Fie S o suprafaţă orientată şi {xα }α∈A o familie de parametrizări compatibile cu orien-
tarea lui S. Fie R ⊂ S o regiune regulată. Atunci există o triangulare T a lui R astfel ı̂ncât
orice triunghi T ∈ T este conţinut ı̂ntr-o vecinătate de coordonate a familiei {xα }. Mai mult,
2
dacă frontiera fiecărui triunghi din T este pozitiv orientată, triunghiurile adiacente determină
orientări opuse pe laturile comune.
4. Fie S ⊂ R3 o suprafaţă compactă şi conexă. Atunci χ(S) are una din valorile 2, 0, −2, . . . ,
. . . , −2n, . . . . Mai mult, dacă S0 ⊂ R3 este o altă suprafaţă compactă astfel ı̂ncât χ(S) = χ(S0 )
atunci S şi S0 sunt homeomorfe. Cu alte cuvinte orice suprafaţă compactă şi conexă S ⊂ R3 este
homeomorfă cu o sferă având un anumit număr g de ”mânere”. Numărul
2 − χ(S)
g=
2
se numeşte genul suprafeţei S.
5. Fie R ⊂ S o regiune regulată a unei suprafeţe orientate S şi T o triangulare a lui R astfel
ı̂ncât orice triunghi Ti ∈ T , i = 1, n este conţinut ı̂ntr-o vecinătate de coordonate x j (U j ) a unei
familii de parametrizări {xα }α∈A compatibilă cu orientarea lui S. Următoarea proprietate ne
arată că are sens să vorbim despre integrala unei funcţii diferenţiabile f pe regiunea R. Suma
n Z Z p
∑ f (ui1 , ui2 ) det gi dui1 dui2
i=1
xi−1 (Ti )
nu
RR
depinde de triangularea T sau de familia de parametrizări {xi }. Această sumă va fi notată
f dσ şi se numeşte integrala lui f pe regiunea R.
R
3
Teorema 1 (Teorema Gauss-Bonnet, varianta globală) Fie R ⊂ S o regiune regulată a unei
suprafeţe orientate şi c1 , . . . , cn curbe simple, ı̂nchise, regulate pe porţiuni care formează fron-
tiera ∂ R lui R. Presupunem că fiecare c j este pozitiv orientată şi fie θi , i = 1, p unghiurile
exterioare ale curbelor c1 , . . . , cn . Atunci:
n Z Z Z p
∑ kg (s)ds + K dσ + ∑ θi = 2π χ(R),
i=1 c R i=1
i
unde s este lungimea arcului lui ci , iar integrala pe ci ı̂nseamnă suma integralelor pe fiecare
arc regulat al lui ci .
Cum caracteristica Euler-Poincaré a unei regiuni simple este evindent egală cu 1 obţinem
următorul corolar.
Ţinând seama că o suprafaţă compactă poate fi privită ca o regiune fără frontieră obţinem:
Observaţia 1 Corolarul 2 este foarte interesant. E suficient să ne gândim la diferitele forme
ale unei suprafeţe homeomorfe cu o sferă şiR să R
vedem că, surprinzător, funcţia curbură este
distribuită astfel ı̂ncât curbura totală (adică K dσ ) este aceeaşi ı̂n toate cazurile.
Corolarul 3 Orice suprafaţă compactă cu curbura Gauss strict pozitivă este homeomorfă cu o
sferă.
Într-adevăr, deoarece S are curbura strict pozitivă rezultă că χ(S) > 0 şi deci χ(S) = 2, dar
numai sfera are această proprietate.
Observaţia 2 Fie S o suprafaţă orientată, şi T un triunghi geodezic (linie poligonală simplă
formată din trei arce de geodezice) pe S. Fie θ1 , θ2 , θ3 unghiurile exterioare ale lui T iar
ϕi = π − θi unghiurile interioare. Din teorema Gauss-Bonnet avem:
Z Z 3
K dσ + ∑ θi = 2π
T i=1
4
3
Deci dacă K ≡ 0 atunci ∑ ϕi = π.
i=1
3
Dacă K ≡ 1 atunci ∑ ϕi = π+ aria(T ). Acesta este , de exemplu, cazul sferei S2 şi formula
i=1
obţinută ne dă suma unghiurilor unui triunghi sferic (laturile sale sunt arce de cercuri mari).
3
Dacă K ≡ −1 atunci ∑ ϕi = π− aria(T ). Acesta este , de exemplu, cazul pseudosferei.
i=1
Demonstraţie Fie T o triangulare a regiunii R astfel ı̂ncât fiecare triunghi Ti este conţinut
ı̂ntr-o vecinătate de coordonate a unei familii de parametrizări ortogonale, compatibile cu ori-
entarea lui S. O astfel de triangulare există datorită observaţiei 2 de mai sus. Mai mult dacă
frontiera fiecărui triunghi al lui T este pozitiv orientată, obţinem orientări opuse pe laturile
comune triunghiurilor adiacente.
Aplicând fiecărui triunghi teorema Gauss-Bonnet (varianta locală) şi adunând rezultatele,
obţinem (folosind observaţia 5 de mai sus şi faptul că fiecare latură ”interioară” este parcursă
de două ori ı̂n sensuri diferite):
Z Z Z F,3
∑ kg (s)ds + K dσ + ∑ θ jk = 2πF,
i c j,k=1
i R
unde F este numărul triunghiurilor lui T iar θ j1 , θ j2 , θ j3 sunt unghiurile exterioare triunghi-
urilor T j .
Definim acum unghiurile interioare ale triunghiului T j prin ϕ jk = π − θ jk . Atunci avem
∑ θ jk = ∑ π − ∑ ϕ jk = 3π F − ∑ ϕ jk .
j,k j,k j,k j,k
∑ θ jk = 2πEi + πEe − ∑ ϕ jk .
j,k j,k
5
Să remarcăm acum că vârfurile exterioare pot fi vârfuri ale unei curbe ci sau vârfuri date
de triangulare. Punem Ve = Vec + Vet , unde Vec este numărul vârfurilor curbelor ci şi Vet este
numărul vârfurilor exterioare ale triangulării care nu sunt vârfuri ale unei curbe ci . Cum suma
unghiurilor ı̂n jurul fiecărui vârf interior este 2π obţinem:
Adunând şi scăzând πEe ı̂n expresia de mai sus, şi ţinând cont că Ee = Ve , obţinem:
p
∑ θ jk = 2πEi + 2πEe − 2πVi − πVe − πVet − πVec + ∑ θi =
j,k i=1
p
= 2πE − 2πV + ∑ θi .
i=1