Documente Academic
Documente Profesional
Documente Cultură
• CATEGORII
• SUPRAFEŢE
RIEMANNIENE
Coperta şi supracoperta de EUGEN S T O I A N
CABIRIA ANDREIAN-CAZACU, ARISTIDE DELEANU
şi MARTIN IURCHESCU
TOPOLOGIE
CATEGORII
SUPRAFEŢE
RIEMANNIENE
Profesorului nostru
S. S T O I L O W
AUTORII
C U P R I N S
PARTEA TNTÎI
TEORIA DIMENSIUNII
Pas.
§ 1. Proprietăţi generale 13
§ 2. Teorema sumei 17
§ 3. Aplicaţii în sfere 25
§ 4. Spaţii euclidiene 38
§ 5. Teorema de separare a lui Jordan 54
§ 6. Dimensiunea in sensul lui Lebesgue 58
Anexe 70
PARTEA A DOUA
TEORIA CATEGORIILOR
§ 1. Univers 75
§ 2. Categorii . 77
§ 3. Functori 82
§ 4. Morfisme stricte 87
§ 5. Functori reprezentabili 91
§ 6. Functori adjuncţi 96
§ 7. Limite proiective şi inductive 102
§ 8. Proprietăţi de comutativitate ale limitelor proiective
şi inductive 110
§ 9. Teoreme de existenţă pentru limite proiective şi
inductive 115
§ 10. Exactitate 123
§ 11. Categorii aditive 132
§ 12. Categorii abeliene 139
§ 13. Categorii cantoriene şi functori de completare . . 145
8
Pag.
§ 1. Prefascicule 153
§ 2. Fascicule 155
§ 3. Fibre 158
§ 4. Imagini directe . . . . : 162
§ 5. T - morfisme 165
§ 6. Imagini inverse 168
§ 7. Punctul R° 174
§ 8. Module pe un spaţiu inelat 179
§ 9. Fascicule induse 183
PARTEA A TREIA
SUPRAFEŢE RIEMANNIENE
Introducere 243
§ 1. Definiţii 277
§ 2. Acoperiri 280
§ 3. Grupuri Fuchs 284
§ 4. Reprezentarea unei suprafeţe riemanniene închise cu
ajutorul unui poligon fundamental 300
9
Pag.
Teoria dimensiunii
de
Aristide Deleanu
Teoria dimensiunii
§ 1. Proprietäfi generale
şi A[ şi A2 sînt deschise în X — B.
Dacă Ai şi A2 sînt separate de mulţimea vidă, se spune că Аг şi A%
sînt separate în X.
PROPOZIŢIA 1 . 1 . Un spaţiu nevid X G Ê ARE dimensiunea 0 dacă şi
numai dacă orice punct p şi orice submulţime închisă G care nu conţine
pe p pot fi separate.
Demonstraţie. Să presupunem că dim X = 0. Atunci există o mulţime
simultan închisă şi deschisă V astfel încît
pe F e l - C.
Este suficient să punem Аг = V şi A2 = X — V pentru a ne con-
vinge că p şi С sînt separate. Eeciproca se demonstrează în mod similar.
COROLARUL 1 . 1 . Un spaţiu conex X de dimensiune 0 este format
dintr-un singur punct.
Demonstraţie. Să presupunem că X conţine două puncte distincte p
şi q. Conform propoziţiei 1.1, p şi q pot fi separate, deci X ar fi neconex.
LEMA 1 . 1 . Fie X un spaţiu compact, С o submulţime închisă a lui X
şi p un punct al lui X. Dacă p şi fiecare punct al lui G pot fi separate, atunci
p şi С pot fi separate.
Demonstraţie. Pentru orice q € O, există două mulţimi disjuncte
simultan închise şi deschise Uq şi VQ astfel încît p Ç Uq şi q € Vq.
Există însă un număr finit de puncte qXJ ..., qh € G astfel încît
CC U
4 i
i-1 1
Atunci p € Uj G CZ V çi U şi V sînt simultan închise şi deschige,
deci p şi С eînt separate.
Proprietăţile generale 15
*) A se vedea Anexa I.
Proprietăţi generale 17
§ 2. Teorema sumei
Vi П Vf = 0 dacă г ^ j şi X = ţ j
<=i
De asemenea, pentru orice i cel puţin una din următoarele relaţii
are loc :
F, П O = 0, F, П К = 0.
Să punem :
•18 Teoria dimensiunii
Atunci, С' şi K' sînt deschise şi în baza celor de mai sus putem scrie :
X = С' и K'9 С n -К" = 0.
{ С n К) и (К' n С) = 0/1
Bezultă că
с cz С' şi к cz к',
deci mulţimile С' şi realizează separarea căutată.
TEOREMA 2.1. (Teorema sumei pentru dimensiunea zero). Fie X Ç Ê
şi ( 2 , . . . o familie numârabilâ de submulţimi închise ale lui X ast-
oo
fel încît X = ( J A{ si dim A{ = O (i = 1, 2, . . . ). JJtmci dim X = 0.
»=1
Demonstraţie. Fie К şi L două submulţimi închise disjuncte ale lui
X . Este suficient, avînd în vedere propoziţia 1.1, să arătăm că К şi L
pot fi separate.
Întrucît К f\ Аг şi L Аг sînt mulţimi închise disjuncte ale spa-
ţiului Аг de dimensiune 0, există, în baza lemei 2.1, două submulţimi Bx
şi Cx ale lui A±, închise în A19 deci în X, astfel încît
К П лг CZ B19 L П лг cz c19
Bl U Cx = An Bx^cx = 0.
Avem
(B U BJ n (L и Сг) = 0.
X fiind metrizabil, este şi normal, prin urmare există două submulţimi
deschise ale lui X, Ог şi Нг, astfel încît
К и Вг cz G19 L и Сг CZ И19 Gx n Hx = 0.
î n consecinţă, avem
A1ŒG1\J H19
к a e19 LŒ.E19
G± n Hi = 0.]
Eepetăm această construcţie, luînd în locul lui К şi L pe Gx şi
iar în locul lui Аг pe A2.
Obţinem mulţimi deschise G2 şi И2 astfel încît
A2 CZ G2 (J B2,
Gi CZ G2, H i CZ B2,
G 2 П H 2 = 0.
Teorema sumei 19
1CZ H^i d
G{ П H, = 0.
Să notăm
G = (JGI9 E=(JEI.
i=1 i=l
G şi E sînt mulţimi deschise disjuncte. î n plus,
i=l
К (ZG, LŒE.
Eezultă că G şi E realizează separarea căutată a lui if şi L.
LEMA 2.2. Dacă A GÊ şi -В G Ê SÎ^ subspaţii ale unui spaţiu
X g 6, a^em
dim ( J. U -В) < 1 + dim JL + dim В.
Demonstraţia se face prin inducţie dublă asupra dimensiunilor lui
A şi B. Propoziţia este evidentă pentru
dim A = dim В = — 1.
Să presupunem că ea este adevărată pentru cazurile :
(1) dim A <; m, dim В <; n — 1
(2) dim ^ m — 1, dim В < w,
şi fie acum dim A = m, dim Б
= Fie Y G Л (J Б, de exemplu p Ç .Ay
şi fie TJ o vecinătate a lui p în X. î n virtutea propoziţiei 1.2, există о
mulţime deschisă V astfel încît
p 6 У CZ TJ şi dim ((V - V) f| m - 1).
Avem de asemenea
dim ((V - V) П £)< n.
Din ipotezele (1) şi (2) ale inducţiei rezultă
dim ((V - 7 ) n ( i U 5 ) ) < w + n.
•20 Teoria dimensiunii
= LM,.
i=l
Atunci
oo
dim X = sup dim А{.
i=1
Demonstraţie. Ţinînd seamă de teorema 1.3, este clar că teorema
sumei este echivalentă cu afirmaţia
( Z J F i e X Ç ê şi i e2 o familie numărabilă de submulţimi
oo
închise ale lui X astfel încît X = { j A{. Dacă dim A{ <; n (i = 1, 2, . . . ) ,
i= l
atunci dim X ^ п.
Este de asemenea clar că ( £ J este echivalentă la rîndul ei cu afir-
maţia că orice spaţiu din ê care este o reuniune numărabilă de mulţimi
Fa fiecare de dimensiune < щ are dimensiunea <[ n.
Vom demonstra afirmaţia (£ n ).
Demonstraţia se face prin inducţie. (Z-i) es ^e banală. (Zo) es ^e echi-
valentă cu teorema 2.1. Să presupunem că (Zi) este adevărată pentru
toţi indicii i <; n — 1.
Arătăm mai întîi că ( Z w - i ) implică afirmaţia :
( AJ Orice spaţiu X £ ê avînd dimensiune < n este reuniunea
unui subspaţiu de dimensiune n — 1 şi a unui subspaţiu de dimensiu-
ne < 0 .
într-adevăr, să presupunem că dim X <; п. î n virtutea observaţiei
1.1, există o bază a lui X formată din mulţimi deschise ale căror frontiere
au dimensiune n — 1. Cum X are bază numărabilă, se vede uşor că
există o bază numărabilă a lui X, ( Î7i)i=it 2 formată din mulţimi
deschise astfel încît dim Cft Ui <; n — 1 (г = i , 2, . . . ) .
Din (Z*-i) rezultă că
в = и (ţt Ui
ъ=1
l
) Reamintim că se numeşte mulţime Fa o reuniune numărabilă de mulţimi închise.
Teorema sumei 21
(4) П Кj = 0 dacă i ^ j.
i-1
Întrucît X are bază numărabilă, se vede imediat că mulţimea X — {J A ^
?=1
este o mulţime Fa, deci şi ÜL4 este o mulţime -F0 în X.
Cum Ki Œ A avem dim K% n, ceea ce ne permite ca, ţinînd
cont de (AJ, să scriem pe K% sub forma
K< = Ж4 U ЛГ4,
dim Ж4 < n — 1, dim < 0.
oo oo
Să notăm ( J Ж4 = Ж, ( J .Ж4 = Din (1) deducem
i=l i=l
X ж и A7.
Din Ж4 CI ÜL4 şi din relaţia (4) deducem
Ж4 = Ж4 n = Jf|j n i i - I R î i ,
A (J В — В = ( j Ft,
i=1
Fb fiind închise în A U В. Cum Fi d A, avem dim Fi <; n (i = 1, 2, . . . ).
Din relaţia
A{JB = B(J\jFi
i= 1
si din teorema 2.2 deducem
dim ( 1 U £ ) < п.
COROLARUL 2 . 2 . Dimensiunea unui spaţiu nevid nu poate fi mărită
<prin adăugirea unui singur punct.
Demonstraţia rezultă imediat din corolarul 2.1.
TEOREMA 2.3. (Teorema de descompunere pentru dimensiunea n).
Un spaţiu metrizabil separabil are dimensiunea ^ n (n finit) dacă şi numai
daca el este reuniunea a n + 1 subspaţii de dimensiune 0.
Demonstraţia rezultă prin aplicarea repetată a propoziţiei ( An)
demonstrată în cursul demonstraţiei teoremei 2.2, şi a lemei 2.2.
TEOREMA 2.4. (Teorema produsului). Fie X şi Y două spaţii din Ë
din care cel puţin unul nu este vid. Atunci
dim (X X Y) < dim X + dim Г.
Demonstraţia se face prin inducţie dublă. Teorema este evidentă
dacă dim X = — 1 sau dim Y = — 1. Să presupunem că ea este adevă-
rată pentru cazurile :
(5) dim X <; m, dim Y <; n — 1,
(6) dim X < m — 1, dim Y < n
şi f i e acum dim X = m, dim Y = п.
Orice punct p = (x, y) g X x Y are vecinătăţi arbitrar de mici
de forma U x V, unde U şi V sînt vecinătăţi ale lui x, resp. y, satisfăcînd
condiţiile :
din Cfx U < m — 1, din
Avem k
1
A se vedea anexa I.
•24 Teoria dimensiunii
p € U', x - и а v,
cu TJ' şi V' deschise în X — В şi prin urmare în X. TJ' e o vecinătate a
lui p şi avem
TJ' с и, c£t TJ' а в.
î n virtutea teoremei 1.3, conchidem că dim Qit TJ' < n — 1. Eezultă
că dim X <] п.
PROPOZIŢIA 2.2. Fie X G Ê un spaţiu astfel încît dim X <; n —
şi /ie Ci7 C'i \i = 1, ..., n) n perechi de submulţimi închise ale lui X,
astfel încît Ci П C'% = 0« Atunci există n mulţimi închise B{ astfel încît
Bi separă pe Ci şi C'i şi
B1 П B2 П ... П Bn = 0.
§ 3. Aplicaţii în sfere
dacă
ft (*> = - S m -
d(x, Ci ) + ă(x, Bi)
g. (x) = 0 dacă x g Вг.
S s
— de / ( # ) ; dacă d (/(ж), / ' (со)) < — p u n e m g (x) = f (x). Aplicaţia g
2 2
astfel obţinută satisface condiţiile din enunţ.
DEFINIŢIA 3 . 2 . Fie JR" spaţiul Hilbert al şirurilor de numere reale
x = (x19 x2J . . . ) astfel încît seria
|*il2 + |я212 + ...
este convergentă. P e JB® se consideră metrica definită de norma
X{\2 (X G 2?<°).
- W
Notăm prin I м , cwbwZ im Hilbert, submulţimea lui formată din
punctele a? = a?2, . . . ) care satisfac condiţiile
K K - (< = 1, 2, . . . ) .
г
Să notăm prin submulţimea lui I м formată din punctele care au
toate coordonatele iraţionale, prin MZ submulţimea lui 2" formată din
punctele care au cel mult m coordonate raţionale şi prin submulţimea
lui I м formată din punctele care au exact m coordonate raţionale.
PROPOZIŢIA 3 . 1 . d i m 71^ = 0.
Demonstraţie. Fie a = a2,...) un punct arbitrar în Ie0 şi 8e (a)
e0
bila din 2 de centru a şi de rază s > 0. Arătăm că pentru orice г > 0
există un număr natural n şi numere reale pi9 qc (i = 1, ..., n) astfel
încît Pi < ab < qt şi astfel încît mulţimea deschisă V a punctelor x =
= (x19 x2, ... ) din Iе0 definite prin
(13) Pi<^i<qi (i = 1,
să fie conţinută în >S>e (a).
Pentru aceasta, alegem pe n astfel încît
oo 1 x
У 4 2 < — s2
•ti i 8
şi un S > 0 astfel încît
n%2 < 1 e2e
2
Dacă 3» — < S pentru i < n, avem pentru orice x € I" care
satisface la (13) :
2
•28 Teoria dimensiunii
У$9(Х).
e0
Fie ê ( X , I ) spaţiul metric al tuturor aplicaţiilor continue ale lui X
în cubul lui Hilbert 1*°, metrica fiind definită prin
d (/, g) = sup d ( / (x), g (x)) (/, g € й (X, I«)).
F=RIG(PI).
i=l
î n baza teoremei de scufundare a lui Urysohn (teorema 6.4), ê (X, I")
conţine o mulţime G8 densă ale cărei elemente sînt injecţii topologice.
Fie Л această mulţime.
Se poate arăta uşor că spaţiul metric ê (X, 1°) este complet. Se
poate deci aplica teorema lui Baire în ê (X, Ie0). î n virtutea acestei teoreme,
mulţimea
Я'=ЯППв(1\)
i—l
este densă în 6 (X, I"), ca intersecţie numărabilă de mulţimi <rs dense ;
în particular H' =f= 0. Există deci o injecţie topologică Ь a lui X în Ж2Г1.
Dar, în baza propoziţiei 3.2, dim JïllT1 < n — 1, deci dim Ь (X) <; n — 1,
ceea ce contrazice ipoteza că dim X^> п.
n
PROPOZIŢIA 3 . 3 . Fie f o aplicaţie continuă a lui X Ç Ê în I şi
n
fie y € / ( X ) un punct interior al lui I . Punctul y este valoarea instabilă a
lui f dacă şi numai dacă pentru orice vecinătate U a lui y există o aplicaţie
continuă g a lui X în In satisfăcînd condiţiile :
(15) g(x) = f ( x ) dacă / И $ U,
(16) g (x) g U dacă / (x) ç TJ,
(И) У
•30 Teoria dimensiunii
d (/(*), flf(®))<diam U,
deci y este valoare instabilă.
Pentru a demonstra necesitatea, fie S > 0. Fără a restringe genera-
litatea, putem presupune că y e originea şi TJ este bila cu centrul în ori-
gine şi raza 8. Există atunci o aplicaţie continuă g' a lui X în astfel
încît, în notaţie vectorială,
De aici urmează
(23) 0 < \g(x) \ < 8.
Datorită lui (18), (19), (20), inegalitatea (23) este valabilă şi pentru
ceea ce demonstrează relaţiile (16) şi (17).
2
PROPOZIŢIA 3 . 4 . Fie X un spaţiu din Ê . Fie С o submulţime închisă a
lui X şi f o aplicaţie continuă a lui С în In (în 1"). Atunci f poate fi extinsă
la o aplicaţie continuă a lui X în In (în I**).
Demonstraţie. Este suficient să se aplice teorema lui Tietze la fiecare
coordonată a lui f (x).
Aplicaţii în sfere 31
/ £ (F{ (x)) ».
i=1
TEOREMA 3 . 3 . Un spaţiu X E Ê are dimensiunea <; n dacă şi
numai dacă pentru orice submulţime închisă С a lui X şi orice aplicaţie
continuă f a lui С în Sn există o extensie F a lui f pe întreg X.
Demonstraţie. î n loc de 8n luăm, în raţionamente, frontiera lui I w + 1 ,
cu care 8 n este omeomorfă. / devine atunci o aplicaţie continuă a lui С
în I n + 1 . Pentru a demonstra necesitatea condiţiei, considerăm o aplicaţie
continuă F' a lui X în In+1 care este o extensie a lui / şi care există dato-
rită propoziţiei 3.4.
întrucît dim X <; n, conform teoremei 3.1 originea nu este valoarea
stabilă pentru F'. Propoziţia 3.3 asigură existenţa unei aplicaţii continue
F" a lui X în In+1 astfel încît originea nu este conţinută în F" (X) şi F"(x) =
= F' (x) pentru toate punctele x pentru care F' (x) nu este în interiorul
lui I n + 1 . î n particular
F"(x) =F'(x) = f ( x ) pentru # g <7.
Dacă notăm prin F(x) proiecţia punctului F"(x) din origine pe
frontiera lui In+1, F este aplicaţia căutată.
Sn este mulţimea punctelor ..x n + 1 ) din spaţiul euclidian cu (л + 1)dimensiuni
дп-fi c a r e satisfac condiţia : x* -f . . . -f- = 1.
•32 Teoria dimensiunii
Definim
G(x)=H*(x, 1) (xţX).
Este clar că G extinde pe g şi că F şi G sînt omotope, căci
H*(x, 0) =F(x) (xţX),
H*(x, 1) =G(x) (xţX).
PROPOZIŢIA 3 . 5 . Fie X Ç Ê şi f şi g două aplicaţii continue ale lui
X în Sn, astfel încît punctele x ÇX pentru care f (x) ф g (x) formează о
submulţime D de dimensiune n — 1. Atunci f şi g sînt omotope.
Demonstraţie. Este clar că D e deschisă. Considerăm submulţimea
închisă D* a lui X x I definită prin
D* ={(х, 0)| x£X}\J{(x, 1)| xţX} U {(x,t)\xţX -D,tţl}.
n
Definim o aplicaţie continuă F : D* -> 8 precum urmează
F(x,t) =f(x)=g(x) (xţX-D),
F(x,0) = f ( x ) , F(x,l) =g(x) (xţX).
Avem :
X x l — D*CLDXI
şi, prin aplicarea teoremei 2.4 şi a faptului, evident, că dim 1 = 1 :
dim (D x I) < п.
î n virtutea corolarului 3.1, putem extinde aplicaţia F la o aplicaţie
continuă a lui X x J. în 8U, care realizează omotopia lui / şi g.
PROPOZIŢIA 3 . 7 . Fie X £ Ê şi Сг şi C2 două mulţimi închise ale
lui X astfel încît X = (J C2. Fie /1? f2 aplicaţii continue ale lui C1? res-
pectiv C2, în 8n.
Dacă punctele х£СгГI С2 pentru care fx(x) =f= f2(x) formează o
mulţime de dimensiune n — 1, atunci fx poate fi extinsă la întreg X.
Demonstraţie. Restricţiile / х | Cx f| C2 şi f2\ Cx f| 02 diferă numai
pe o mulţime de dimensiune << n — 1, deci sînt omotope, în virtutea pro-
poziţiei 3.6. întrucît f21 Cx fi Q2 are o extindere la_mulţimea 0 2 , anume
/ 2 , rezultă din teorema 3.4 că există o extindere f x a lui Cx f| 0 2 la
mulţimea C2. Este suficient să punem
f(x)^f1(x) (x g C2)
pentru a obţine extinderea căutată.
Aplicaţii în sfere 35
dim, / = dim, ( Г 1 ( / И ) .
§ 4. Spafii euclidiene
\ > 0 (i = 0, 1, . . . , r ) ,
se numeşte simplex euclidian r-dimensional.
Vom scrie 8 = [p0J ..., pr]. Punctele p0J ..., pr se numesc vîrfurile
simplexului 8. Se vede uşor că punctul x determină unic numerele ...
. . . , Xr care se numesc coordonatele baricentrice ale lui x.
Submulţimea lui 8 formată din punctele pentru care > 0 (i =
= 0, . . . , r) se numeşte simplex r-dimensional deschis şi se notează
(Po, . ..jPT).
DEFINIŢIA 4 . 2 . Se numeşte complex simplicial abstract (finit) o
mulţime finită К, împreună cu o familie Ф de submulţimi ale lui К satis-
făcînd următoarele condiţii :
a) sţK implică {s} g Ф.
b) 8 g Ф şi T CZ 8 implică T € Ф.
Elementele lui К se numesc vîrfuri, iar cele ale lui Ф simplexe.
Se numeşte dimensiune a unui simplex numărul elementelor sale mic-
şorate cu o unitate, iar dimensiunea complexului К , dimensiunea maximă a
simplexelor sale.
O aplicaţie f a unui complex К într-un complex K' se numeşte sim-
plicialâj dacă imaginea oricărui simplex al lui К este un simplex al lui K'.
î n cazul particular cînd/este biunivocă, se obţine noţiunea de subcomplex.
DEFINIŢIA 4 . 3 . Fie К un complex simplicial abstract şi [ 0 , 1 ] * pro-
dusul topologic а К spaţii identice cu segmentul [0, 1]. Se numeşte
complex simplicial topologic de schemă К submulţimea К a lui [0,1 ]K
formată din punctele satisfăcînd următoarele condiţii :
1°. Mulţimea acelor indici Ic £ К astfel încît =f= 0 este un simplex
al lui К ;
*) Adică astfel încît nici un plan de dimensiune < r - 1 nu conţine punctele p 0 , . . . , pr.
**) Pentru orice x £ Rn şi a număr real, notăm prin a x punctul care are drept coor-
donate coordonatele lui x multiplicate prin a.
Spatii euclidiene 39
de simplexe distincte ale lui J5L, este evident că centrele de greutate ale
simplexelor $ 0 , . . . , 8q sînt toate conţinute în Sq şi sînt independente.
•40 Teoria dimensiunii
m
VI < diam . . . , pra).
m + 1
De aici deducem
i
\b-b'\<\b-Pi\ = (3>o + + Vk) - Pi
fc + i
1
h + 1
<
deci, în definitiv,
p= G (mod 2),
adică p este impar.
COROLARUL 4 . 1 . Fie К simplexul euclidian din enunţul teoremei 4.1
şi (A^o^i^n o familie de submulţimi închise ale lui К astfel încît pentru
orice submulţime {г0, .. ., ik} a lui {0, . . ., n} avem
[?«., . . M ^ c ^ U ••• I U V
v (î) = 4-
Avem deci ер»(Г) (q) 6 Av(q) şi, în plus, proprietatea ( A ) din enunţul
teoremei 4.1 este satisfăcută. Există prin urmare un simplex Si{r) =
= [ffoj • • 2J] al lui K i(r) astfel încît
vm = j и = o, ...,n).
Avem deci <pi(f) (<#) S Aju
Întrucît К este un spaţiu compact, putem presupune că şirul
este
(?<(r) ( î o ) ) r - i , 2convergent. Fie
a = lim 9i(n(2o)-
r-foo
0 0 fi fi
pentru orice x g
Demonstraţie. Să presupunem că ar exista f : Bn S71"1 astfel
n x n
încît f (x) = x, (x£S ~ ). Întrucît B este omeomorfă cu un simplex
euclidian n-dimensional, aplicaţia continuă cp : Bn Bn definită prin
9 { X ) = - f(x) (Xţ Bn)
are cel puţin un punct fix x0 g datorită teoremei 4.2 :
^o — 9 Ю = —o)-
D e aici deducem
I я01 = | - / ( ® o ) l =
deci g ceea ce ar' contrazice ipoteza că f (x) = x pentru orice
x g S"'1.
n n
COROLARUL 4 . 3 . Dacă S este sfera unitate în spaţiul B , atunci nu
există nici o aplicaţie continuă F a lui Sn X [0,1] în Sn astfel încît
F (x, 0) = x, F {x, 1) = constant (x g Sn).
Demonstraţie. Să presupunem că ar exista F : 8n x [0,1] Sn
astfel încît
F {x, 0) = x, F (x, 1) = a?o (x € •
Fiecare punct y al lui Б л + 1 , diferit de origine, se poate scrie unic
sub forma
y = tx c u x g 8п~г, 0 < t < 1.
•46 Teoria dimensiunii
Aceasta implică că
d (х0,В<) = 0, (i = 1, 2,
Prin urmare
n ... П
TEOREMA 4 . 3 . Spaţiul euclidian cu n dimensiuni
R* are dimen-
siunea n.
Demonstraţie. Să presupunem că dim I я <; n — 1. Conform pro-
poziţiei 2.2, există atunci n mulţimi închise B{ astfel încît fiecare dintre
ele separă o pereche de feţe opuse ale cubului şi
B1 П .. - П Bn = 0.
Spatii euclidiene 47
Г - D = Г - D
й
rezultă că şi I — D este conexă.
•52 Teoria dimensiunii
(G1 П Л П (02 n V) = 0
a, n уф®, g2 n уф®,
şi П У Şi G2 H V sînt deschise în Y — A.
Eezultă că V — A nu este conexă, ceea ce este absurd. Deducem
că TJ — A este conexă, deci A este nicăieri disconectantă în X.
TEOREMA 4 . 6 . Fie A o submulţime închisă a spaţiului Bn. O condiţie
suficientă ca A să fie nicăieri disconectantă în Bn este ca dim A <; n — 2.
Demonstraţie. Pentru orice p g Bn, luăm ca sistem fundamental
de vecinătăţi <VP mulţimea bilelor deschise cu centrul în p. Fiecare
Vţ(Vp este omeomorf cu Bn, deci, în conformitate cu teorema 4.5, mul-
ţimea V — A este conexă. Pe de altă parte, din teorema 4.4 rezultă că
Int A == 0. Putem deci aplica lema 4.6 pentru a conchide că mulţimea A
este nicăieri disconectantă în Bn.
Spatii euclidiene 53
K° = n
i=1
este o aplicaţie a lui (0) pe frontiera sa Sn"1 care menţine punctele lui
n 1
S ~ fixe, ceea ce contrazice corolarul 4.2.
TEOREMA 5.1. Fie С o submulţime compactă a lui Rn (n 2).
Două puncte p şi q care nu aparţin lui G1 sînt separate de С dacă şi numai
dacă aplicaţiile TZV\ С şi -:q\ С nu sînt omotope.
Demonstraţie. Să presupunem că p şi q sînt separate ele C, adică
există două mulţimi TJ şi V deschise in Rn — (7, deci şi în Rn, astfel încît
E* _ с = и и У, и П V = 0
P € и, q g У.
Una din mulţimile U şi У este mărginită. într-adevăr, fie K n un
cub de dimensiune n astfel încît С CZ Kn ; întrucît Rn — Kn este o sub-
mulţime conexă a lui Rn — O, ea trebuie să fie conţinută în una din mul-
ţimile U şi У, de exemplu în У. Urmează că U D ÜLw, adică TJ E mărginită.
Aplicaţia TZQ \ С poate fi extinsă la Rn — {#}, care conţine pe U U C.
Cum Cft TJ CZ С, în conformitate cu propoziţia 5.2, TZV\ С nu poate fi
extinsă la U U G. î n baza teoremei 3.1, aplicaţiile TZP | С şi TZQ \ С nu sînt
omotope.
Eeciproc, să presupunem că p şi q nu sînt separate de C. Atunci,
datorită unei proprietăţi binecunoscute a spaţiilor euclidiene, putem
uni punctele p şi q printr-un arc situat în Rn — (7, adică putem găsi o
aplicaţie continuă / a lui I in Rn — С astfel încît
f(0)=p, f ( l ) = q.
Aplicaţia conrinuă h : С X I —> S71'1 definită prin
h (x, t) = 7zm) {x), x g С, 0< t< 1
realizează omotopia între TZp\ С şi -Kq \ С.
n
TEOREMA 5 . 2 . Fie X o submulţime compactă a lui R şi С o sub-
mulţime închisă a lui X. Condiţia necesară şi suficientă ca să existe o apli-
caţie continuă f o. lui С în ßn~x care să nu poată fi extinsă la întreg X este
să existe o submulţime deschisă nevidă G a lui Rn astfel încît
G cz X - С şi (Jt G CZ C.
Demonstraţie. Condiţia este necesară. Fie / o aplicaţie continuă a
lui С hi 8н~г care nu poate fi extinsă la X. Datorită propoziţiei 5.1, există o
submulţime închisă К a lui X avînd următoarele proprietăţi :
1° / nu poate fi extinsă la mulţimea С (J K.
2° Dacă K f este o submulţime închisă proprie a lui ÜL, atunci /
poate fi extinsă la С U K'.
Din 1° deducem
К - С =f=<2.
Teorema de separare a lui Tordan 57
De asemenea
A ' - C c I - G.
Să arătăm acum că К — С este deschisă. Conform propoziţiei 4.5,
este suficient să demonstrăm că, dacă^ s g К — (7, atunci pentru orice
vecinătate U a lui s in Bn astfel încît U f] G = 0, se poate defini o apli-
caţie continuă
9 : ÜL — O — TJ -> &""1
care nu poate fi extinsă la К — G. întrucît К — TJ ф К, din 2° deducem
că există o extindere F a l u i / l a mulţimea G (J (K — TJ) = (C U K) — TJ.
Restricţia
9 = F\K - G- U
nu poate fi extinsă la К — O. căci dacă ф ar fi o astfel de extindere, apli-
caţia continuă H definită prin
н(х) = х^к - с
H(œ)=F(œ), xţC
ar fi o extindere a lui / 1 а С U К, ceea ce ar contrazice condiţia 1°. Eezultă
că К — С este deschisă.
Eelaţia
C?t(K - С) С С
x = (j и
i=1
Ordinul acoperirii este cel mai mare întreg n astfel încît există n + 1
mulţimi Î7i care au intersecţie nevidă.
O acoperire (U{) a spaţiului metric X se numeşte o s-acoperire, e
fiind un număr real pozitiv, dacă diametrul fiecărei mulţimi U{ este < e.
O acoperire ß = (F3-) se zice că este o rafinare a unei acoperiri a =
— ( Ui) dacă fiecare Vf este conţinut într-un U { .
L E M A 6 . 1 . Fie X Ç Ё şi Mo submulţime a lui X de dimensiune 0.
Fie U± şi U2 două submulţimi deschise ale lui X, astfel încît M d U± U U2.
Atunci există două submulţimi deschise V± şi V2 ale lui X astfel încît
M(ZV1 U r „ Fx n F-, = 0,
v1 CZ uly v2 d u2.
Demonstraţie. Dacă dim M — — 1, adică M = 0, lema este evi-
dentă. Să presupunem că dim M — 0. Putem presupune că
X = Ut U Ut
Dimensiunea în sensul lui Lebesgue 59
сГС:Г19 C2ŒV2.
M A V ± U V 2 .
l e u uf.
i=1
J F C J J F , , V I C U T (I = L,2, . . . , r )
Punem :
Уг-i = n F;-!, vr - ira n
Este acum suficient să luăm acoperirea {F1? . . . , F r _ 9 , Trr_1? Уг}
a lui M.
TEOREMA 6.1. Fie X g <§ un spaţiu de dimensiune n şi A o aco-
perire a lui X. Atunci există o rafinare ß a lui a avînd ordinul <! n.
Demonstraţie. Teorema este evident ă pentru n = oo. Să presupunem
că n e finit. Datorită teoremei 2.3,
X = л и ... и An+1,
unde dim Аь - < 0 (г = 1, . . ., n + 1). Întrucît a este o acoperire pentru
orice Ai7 lema 6.2, ne permite să obţinem n + 1 familii de mulţimi deschise
astfel încît ß' este o acoperire a lui fiecare element al lui ß* este con-
ţinut într-un element al lui a, şi
V) П У к = 0 dacă j ф fc.
Să considerăm acoperirea lui X
ß = (Vj)
i = l, + l
j = 1,
Se vede imediat că orice subfamilie de w + 2 elemente ale lui ß
conţine două elemente ale uneia din familiile ß", deci au intersecţie
vidă. Aceasta înseamnă că ß are ordinul <>i. Pe de altă parte, ß este
o rafinare a lui a.
COROLARUL 6 . 1 . Fie X un spaţiu metric compact de dimensiune n.
Atunci pentru orice г > 0, există o z-acoperire a lui X avînd ordinul^ n.
Demonstraţie. Să considerăm familia tuturor bilelor deschise din
spaţiul X de rază — . X fiind compact, putem extrage o subfamilie finită
2
care este o acoperire a lui X. Este suficient acum să aplicăm teorema 6.1
acestei acoperiri.
DEFINIŢIA 6 . 2 . Fie X un spaţiu metric compact şi Г un număr real
pozitiv. O aplicaţie continuă g a lui X într-un spaţiu topologic Y se nu-
meşte z-aplicatie dacă pentru orice y g g (X) avem
diam (g-1 (y)) < г.
LEMA 6 . 3 . Fie X un spaţiu metric compact. Dacă g este о — - apli-
i
caiie a lui X într-un spaţiu separat Y pentru orice număr natural г, atunci
g e o injecţie topologică a lui X în Y, si reciproc.
Dimensiunea în sensul lui Lebesgue 61
d(/,3)< V
z
aparţine lui G ( г). într-adevăr, dacă x şi x' sînt astfel încît f (x) = f (x')9
atunci d (g (x), g (x')) < rl9 ceea ce implică că d (x, x') < e.
PROPOZIŢIA 6.1. Fie X un spaţiu metric compact, astfel încît d i m X < ;
n (n finit). Pentru orice număr pozitiv s, fie G ( z) mulţimea s-apli-
caţiilor lui X în I2n+1. Atunci G ( s) este densă în spaţiul & (X,I 2 W + 1 ).
Demonstraţie. F i e / £ ê ( X , I2"^1) si 7) > 0. Yom construi o aplicaţie
g S ê (X, I 2 n + 1 ) astfel încît
d ( / , 9) < v).
Avem :
w{ (x) > O dacă xţU,
Wi (x) =-o dacă x$
Din cauză că (£7*) este o acoperire a lui X, avem, pentru orice
xţX:
w
i (x) + • • • + wr ix) > 0-
Să definim o aplicaţie continuă g : X-> I 2W+1 prin *)
/ ч W1(x) Wr(x)
g(x) = r Vl + ... + r Prj
£ w
i(v) S wi{x)
i=1 i=1
Să arătăm că d (/, g) < vj. Presupunem că sînt astfel numerotaţi
încît xţ Ui pentru i = 1,2, . . . , # şi я $ pentru г = s + 1, s + 2, . . . , г.
Atunci Wj ( > 0 pentru i <; s şi w{ ( x) = 0 pentru г > s deci,
în expresia lui g (x), apar numai ^ . .
Din (28), (29) şi o? Ç Î7< (г < s) deducem
à(PiJ(x)) < т) (i О )
4 <P —
У
Pentru y g Y, fie S y bila cu centrul în y de diametru — . Se vede
3
uşor că
diam д(П(8у)) < у 6 Y
aşa încît f"1 (Ä„) este conţinut într-un element al lui a. Conchidem că f
este o a - aplicaţie.
PROPOZIŢIA 6 . 5 . Fie X un spaţiu metric separabil astfel încît
dim X <; n (n finit) şi OL o acoperire a lui X. Fie G (OL) mulţimea tuturor
OL-aplicaţiilor lui X în I2n+1. Atunci G (OL) este densă în spaţiul Й (X, I2n+1).
Demonstraţie. Fie / 6 & (X, I 2 n + 1 ) şi rj > 0. Vom construi u n
2Ä+1
g 6 в (X, I ) astfel încît
a (/, sr) < Tj
Sf 6 0 ( a ) .
Dimensiunea în sensul lui Lebesgue 67
71
Fiind compact, I 2 n + 1 posedă o S-acoperire <j, uncie S < —. Fie т
2
acoperirea lui X definită astfel :
diam (i = l , ...,»•).
j-t
i=1
Conform propoziţiei 6.3, fiecare element al lui H e o injecţie topo-
logică, iar în baza lemei 6.6 fiecare G (a*) e deschis în ê (X, I2W+1). în
fine, în virtutea propoziţiei 6.5, fiecare G (a4) este densă în ë (X, I 2 n + 1 ).
Avînd în vedere lema 6.4, putem aplica teorema lui Baire *) în spaţiul
ë (X, I 2 n + 1 ). Eezultă că Я este o mulţime Gs densă în ё (X, I 2 n + 1 ).
unde rv . . .,r n + 1 sînt numere raţionale (aici trebuie luate tcate familiile
de cite n + 1 numere naturale cuprinse între 1 şi 2n + 1 şi toate fami-
liile de n + 1 numere raţionale). Dimensiunea fiecăruia din aceste hiper-
plane este 2n -f 1 — (n -f 1) = n. î n baza teoremei 6.3, există o mulţime
G8 densă în (2 (X, I 2 n + 1 ), H, formată din injecţii topologice ale lui X în
I 2 / i + 1 . Fie
H' = H П П G (PJ .
i= l
A n e x e
O С n Dn, S± CZ U n Dl.
Eezultă că (pn) este un şir Cauchy ; fie p limita acestui şir. Din(*)
rezultă că p Ç TJ П D, ceea ce demonstrează că D este densă.
Din teorema lui Baire rezultă :
într-un spaţiu metric complet, orice intersecţie numărabilă de
mulţimi G8 dense este o mulţime G$ densă.
Anexe 71
Teoria categoriilor
de
Martin Jurchescu
Capitolul I
Categorii şi functori
§ 1. U n i v e r s
§ 2. C a t e g o r i i
Amintim că o aplicaţie de mulţimi / : X -> Y se zice injectivă cînd
f ( x ' ) = f (x") implică x' = surjectivă cînd, pentru orice y ţ Y ,
există ж Ç X astfel încît f (x) = y, şi bijectivă cînd este simultan injectivă
şi surjectivă.
O aplicaţie de mulţimi f : X Y se mai notează ж ~->f(x).
DEFINIŢIE. O categorie <2 constă din următoarele date :
1) o mulţime Ob (в) ale cărei elemente se numesc obiectele lui £ ;
2) pentru orice cuplu de obiecte А, В Ç Ob (@), o mulţime
Honig (J., В) ale cărei elemente se numesc morfisme (sau săgeţi) de la
1 în Б sau de sursă A şi capăt В ;
3) pentru orice triplet de obiecte А, В, С Ç Ob (в), o aplicaţie
Hom<o(J., В) x Hom<o(B, С) -> Hom^J., С),
numită compunerea morfismelor, care asociază cu orice cuplu de morfisme
^ € H o m e ( J . , B) şi ^ € H o m e ( B , (7), un morfism vu £ Hom e ( J., C), notat
uneori şi 1?0 и ;
78 Teoria categoriilor
§ 3. Functori
\G{U)
F(B)^IG{B)
i.e. f(B) F (и) = G (и) f (A). Yom scrie uneori fA în loc de f (A). Morfis-
m e l e / (A) : F (A) -> G (JL) se numesc componentele morfismului functorial/.
Morfismele functoriale se compun pe componente : dacă F, G, R
sînt trei functori de la в în şi dacă f : F-> G şi g : G H sînt morfisme
Categorii «şi functori 85
D(«)J |D ( 8)
D[Y)
D ( l ) —>D(2)
iar dacă I este astfel încît л = [x, orice diagramă D : I - > в este comu-
tativă.
După procedeul precedent se pot construi diagrame de diferite
tipuri, comutative sau nu, tipul fiind dat de categoria I. Astfel de tipuri
de diagrame vor fi considerate în cele ce urmează.
Întrucît diagramele sînt functori, putem vorbi de categoria tuturor
diagramelor în в de un anume tip I.
De exemplu, diagramele în (2 de tipul 0 - > 1 se identifică cu mor-
fismele lui (2. De aceea categoria tuturor diagramelor de tipul 0 - > 1 se
notează tot FI (в) ca şi mulţimea săgeţilor lui <2.
w ur
După definiţia morfismelor functoriale, dacă A —> В şi A' —> B'
sînt morfisme în (2, un morfism X : и -> и' este un cuplu X = ( X0, \ )
de morfisme X0 : A-> A' şi \ : B-> B' astfel încît diagrama următoare
să fie comutativă
A-^B
u'
A! — B'
»
§ 4. Morfisme stricte
U V
A-+B G
cu p epimorfism. Întrucît v este monomorfism strict, există \ : Y В
astfel încît wX0 = h^p. Apoi, întrucît и este monomorfism strict, există
h : Y A astfel încît X0 = hp.
3) Să presupunem că vu este monomorfism strict şi să considerăm o
diagramă comutativă
X—> Y
и
A—>B
cu p epimorfism. Atunci avem diagrama comutativă
x-A •Y
vu
A — » •с
Întrucît vu este monomorfism strict, există h : Y A astfel încît X0 = hp,
ceea ce termină demonstraţia teoremei.
Fie A un obiect în 6. Yom spune că două monomorfisme stricte
Ax—-+A şi А2—Ч>А de capăt A sînt echivalente sau canonic izomorfe dacă
există un izomorfism 0 : Ax A2 astfel încît diagrama următoare să
fie comutativă
A1 * A2
Categorii «şi functori 89
i A I
1г—> в
Eszultă că există 0 : 1 - > I ± astfel încît ax = Oa şi ß = ßx0. Din prima
egalitate rezultă că 0 este epimorfism, iar din a doua că 0 este monomorfism
strict. Din teorema 4.1 rezultă că 0 este izomorfism etc.
Din definiţie rezultă că orice monomorfism strict este un morfism
strict. Din propoziţia precedentă rezultă că invers, dacă и : A - > В este
un morfism strict şi un monomorfism, atunci и este un monomorfism
strict. Similar pentru epimorfisme stricte.
Categorii «şi functori 91
A —H» Coim и
* 1
Im и —> В
unde i este incluziunea imaginii, q epimorfismul canonic al coimaginii,
iar p un epimorfism şi j un monomorfism satisfăcînd и = ip = jq. Eezultă
că există şi este unic un morfism
и : Coim u - > Im и
satisfăcînd p = uq şi j = iu ; în particular u este bijecţie şi и = iuq.
ii se numeşte morfism canonic sau bijecţie canonică de la Coim и în
Im u, iar egalitatea
и = iuq
care determină în mod univoc pe и se numeşte factorizare canonică a lui и.
PROPOZIŢIA 4 . 3 . Froprietăţile următoare ale unui morfism u\A-> В
sînt echivalente :
i) и este un morfism strict.
ii) Im и şi Coim и există şi й : Coim u-> Im и este izomorfism.
Demonstraţie, i) => ii). Dacă и = ßa cu ß monomorfism strict şi a
epimorfism strict atunci ß este o imagine a lui и iar a o coimagine a lui щ
deci factorizarea canonică и = iuq există. Apoi, din propoziţia prece-
dentă, rezultă că uq este epimorfism strict, deci и este o bijecţie strictă,
deci un izomorfism.
ii) => i). Factorizarea canonică и = iuq există şi и este izomorfism,
deci и == i (uq) este strict.
§ 5. Functori reprezentabili
= ß(5) (X) ( l x ) = F ( 1 X ) ( Z ) = 1 M ) ( 5 ) = Ç
i.e. aß = 1.
Să arătăm, în sfîrşit, că ßa = 1, deci că, pentru orice morfism
functorial v : hx-> F,
ß(a(t?)) = t?,
deci că
^ (/)(?) = f ? U ) ( / )
pentru orice / : l - > I î n (2.
Or, întrucît г? : F este un morfism functorial şi / : -A X un
morfism în в, avem diagrama comutativă
r(A)
Hom ( i , J ) A J ( 4 )
Нош(/, X)^ jW)
Н о т (X, X ) ^ > F { X )
din care rezultă, luînd imaginea lui lx pe cele două drumuri, că F ( / ) ( Ç) ==
=z v (A) (/), ceea ce termină demonstraţia teoremei.
Vom scrie uneori v„F şi ß^ în loc de a şi ß.
Observaţie. Se poate vedea uşor că bijecţia a (deci şi ß) este func-
torială în X şi F.
Să considerăm cazul particular F = hyj unde Y £ Ob ((2). î n acest
caz, pentru orice cuplu de obiecte X, Y în (2, aplicaţia
ß : Н о т (X, Y) Н о т (й х , ЛГ)
este aplicaţia indusă de functorul h. într-adevăr, pentru orice
A 6 Ob ((2) şi orice f:A-+ X in в,
ß(E) (A)(f) = hx(f)(ţ) = If,
i.e. ß (H) (J.) este compunerea cu Ç la stingă ca şi (J.).
Cum aplicaţia ß ( Ç) (J.) este bijectivă, avem următorul
A
COROLAR. Functorul h : (2 (2 ESTE deplin fidel.
DEFINIŢIE. Cînd F : (2° -> U-Ens este un functor contravariant,
vom spune că un cuplu (X, £) cu X 6 Ob (в) şi IţF (X) reprezintă pe
F dacă morfismul functorial
Categorii «şi functori 95
ßß(4> (x) v
Н о т (X, Y) - — * G (X)
Luînd imaginea lui l x pe cele două drumuri, obţinem egalitatea
u(X)(l)=G(f)(rl)
care reprezintă un alt mod de a defini pe f (întrucît aplicaţia g G{g) (73)
este bijectivă).
DEFINIŢIE. î n situaţia descrisă mai sus vom spune că f : X -> Y
reprezintă morfismul functorial u:F ->G.
î n particular, dacă F = <?, morfismul / : X Y care reprezintă
pe I*. este un izomorfism (în virtutea propoziţiei 3.1) şi satisface
ţ = F ( f ) ( 7]).
96 Teoria categoriilor
o o o
deci h x = Н о т (X,.), hf (A) = compunerea cu / la dreapta, iar (gr) =
= compunerea cu g la stingă.
Eezultă că duala teoremei 5.1 este
TEOREMA 5 . 1 ' . Pentru orice functor covariant F : (2 U-Ens şi
orice obiect X în (2, aplicaţia
a : Horn (hX9 F)^F (X)
o o
definită prin a (v) = я (X) ( l x ) este bijectivă şi are drept inversă aplicaţia ß
o
definită prin ß (E) (A) (/) = F ( / ) (£) pentru orice A g Ob ((2) şi
f t i x { A ) = Н о т (X, Л).
Yom spune despre un cuplu (X,£) cu X g Ob (в) şi ţ Ç F (X) că re-
prezintă un functor covariant F : в U-Ens dacă morfismul functorial
ß(5): t^J»
este un izomorfism, i. e. dacă, pentru orice A g Ob (в), aplicaţia
ß ( I) (A) : Н о т (X, A) F {A)
definită prin
/ F ( f ) ( E)
este bijectivă.
Yom spune că un functor covariant F : (2 -> U-Ens este repre-
zentabil dacă există un cuplu (X, £) care-1 reprezintă. Aceasta înseamnă că
există un izomorfism functorial
v:hx^ F
iar ţ = v(X) ( l z ) , deci f> = ß(£).
§ 6. Functori adjuncţi
• y Y
ij(X) X
î n particular, cînd ţ x este izomorfism (monomorfism etc.), atunci
£ x este izomorfism (monomorfism etc.).
Astfel, cuplul care reprezintă pe hx i° este unic determinat pînă la
izomoifisme canonice. De aceea, dacă adjunctul la dreapta al lui i este
definit în X, se alege un cuplu bine determinat (j (X), Zx) care repiezintă
pe Jixi°.
Să observăm că Px = hx i° este un functor în X. Anume, dac?
/ : X - > Y este un morfism în 6, avem un morfism functo.
P, : PT - Pv
98 Teoria categoriilor
ij (X) — * X
ij{f)
l if
ij(Y)—> Y
i.e. dacă riT, este unicul morfism astfel încît diagrama următoare este
comutativă
7i(;\
iji(T') ^i(T')
o
atunci cuplul (i(T'), riT,) reprezintă functorul covariant hT,j (deci i
este un adjunct la stînga al lui j), iar bijecţiile
Şi P(r jr ,)(-T),
i.e. bijecţiile
/ г (/) şi g j (g) riT,
sînt inverse una alteia.
PROPOZIŢIA 6 . 2 . Condiţiile următoare pentru un cuplu de functori
i : <2' -> <2 şi j : (2 (2' satisfăcînd ij — 1 sînt echivalente :
1) j este un adjunct la dreapta al lui i.
2) pentru orice T' g Ob ((2') şi orice X g Ob ((2), aplicaţia
Horn (T'j j {X) Horn (i(T'), X)
indusă de i [i.e. definită prin / i (/)] este bijectivă.
Demonstraţie. 1) =>2). Pentru orice T' g Ob (<2'), aplicaţia
Horn (T',j (X)) -> Horn (i (T'), X)
definită prin (/) este bijectivă. î n particular, pentru T'= j (X),
rezultă că există un morfism 0 astfel încît Ex i (6) = 1, deci ţx : X -> X
este epimorfism strict.
fl
Apoi, fie T — ţ X o diagramă astfel încît l x f ± = Întrucît
и
Л = У (Л) Şi /2 = ij (/2) şi intru cît aplicaţia / i (/) este bijectivă,
rezultă că avem j (/x) == j (/ 2 ), deci = / 2 , i.e. este monomorfism.
Astfel este o bijecţie strictă, deci un izomorfism etc.
2) =>1). Condiţia 2) spune că j este un adjunct la dreapta al lui i
cu == lx pentru orice X g Ob ((2) ; în particular, j este deplin fidel.
Dacă j este un adjunct 1a dreapta al lui i şi satisface ji = 1, atunci j°
este un adjunct la stînga al lui i° şi satisface j°i° = 1. Bezultă că duala
propoziţiei precedente este
PROPOZIŢIA 6 . 2 / Condiţiile următoare pentru un cuplu de functori
i : 6' -> (2 si j : <2 S' - satisfăcînd ji == 1 echivalente
1) j este un adjunct la dreapta al lui i.
2) Pentru orice T' g Ob (в') si orice X g Ob (в), aplicaţia
Н о т (г (Г'), X) -> Н о т (T', j (X))
Categorii «şi functori 101
i г2 .. . гп_г j
i.e. г şi j pot fi unite printr-un şir finit de săgeţi în Z.
LEMA 7 . 1 . Cînd I este conexă, functorul с : <2 в1 este deplin
fidel.
Demonstraţie. Fie u: cA-> cB un morfism functorial. Avem de
arătat că există / : A P astfel încît и = cf sau,, echivalent, că и (i) = и ( j)
pentru orice cuplu de obiecte i, j în Z. Dacă există un morfism i j sau
un morfism j i, atunci, întrucît и este morfism functorial, avem o
diagramă comutativă
A
Categorii «şi functori 103
deci и (г) = и (j). întrucît I este conexă, avem prin recurenţă и (г) —
s= и ( j ) în general.
DEFINIŢIE. Se numeşte componentă conexă a unei categorii nevide
I o subcategorie plină conexă Ix cu proprietatea că oriee subcategorie
plina conexă a lui I care conţine pe I± este egală cu Iv
Pentru orice i 6 Ob (I) există, evident, o componentă conexă şi
numai una care conţine pe i.
Următoarele trei cazuri particulare pentru I vor avea o mare impor-
tanţă in cele ce urmează.
Cazul 1). I este o categorie discretă : componentele conexe ale lui 1
sînt punctuale (i.e. orice morfism în Zeste o unitate). Categoria vidă se
consideră discretă.
Orice categorie discretă Z va fi identificată cu mulţimea Ob (Z).
Dacă Z este discretă, un obiect în (2 r este o familie F = (A^i^i de
obiecte în (2, iar un morfism în (21 este o familie (A. -> B^i^i de mor-
fisme în <2.
Cazul 2). I este categoria 0 =t 1 cu două obiecte 0 şi 1 şi două
morfisme de la 0 în 1 (plus identităţile lui 0 şi 1).
î n acest caz un obiect oarecare în в1 este o diagramă în (2 de forma
F : A z£ В
i.e. este un cuplu de săgeţi cu aceeaşi sursă şi acelaşi capăt.
î n particular, pentru orice obiect X în в, cx este diagrama
ix
z z ţ z
iz
Un morfism \ : F' F în & este un cuplu X = (X0, XJ de morfisme
X0 : A' A şi \ : В' В astfel încît diagrama următoare este comutativă
ot'
A' zt B'
4 a
lXi
A zt В
3
i.e. astfel încît aX0 = Xxa' şi ßX0 = X1ß/.
Două morfisme X, [JL g Horn (Z7', F) se zic omotope (resp* coomotope)
dacă există un morfism h : В' A astfel încît X0 = şi [x0 = 7ф',
sau X0 = Äß' şi [Xq = fea' (resp. Xx = a h şi fxx = ßA, sau \ = (37? şi == a h).
Cazul 3). I este categoria
F ( i )
sînt comutative pentru toţi i £ Ob (I), unde Ç 4 = Çj. (г) sînt componentele
morfismului functorial cF.
Întrucît cuplul (A, cF) care reprezintă functorul PF = JiF c° (dacă
există) este determinat numai pînă la un izomorfism canonic, vom vorbi
despre o limită proiectivă a lui F ( = un cuplu reprezentant al functorului
PF) şi despre limita proiectivă sau limita proiectivă aleasă a lui F (= cuplul
reprezentant ales al functorului PF).
Dacă (J, cF) este limita proiectivă aleasă a lui F, se notează A =
= lim F sau A = lim F [suprimarea parantezelor este aici abuzivă, corect
i
ar fi A = lim (.F)], iar cF se cheamă morfismul canonic al limitei proiective a
lui F. Prin abuz vom spune că A este limita proiectivă a lui F.
Dacă A = lim F şi В = lim G şi dacă и : F -> G este un morfism
functorial, atunci, după paragiaful precedent, f = lim и este unicul
morfism care face comutativă diagrama
C a X F
f i Iй
unde Ep Şi sînt morfismele canonice ale limitelor proiective.
Notăm că dacă с este deplin fidel (de exemplu dacă I este conexă),
pentru orice obiect A în в, (A, lcA) este o limită proiectivă a lui cA şi se
ia, prin definiţie, ca fiind limita proiectivă aleasă a lui cA.
In particular, cînd с este deplin fidel şi cînd lim este definit peste
tot, atunci lim о с = 1 (aici lim о с înseamnă compunerea functorului lim
cu functorul c).
Vom considera acum cele trei cazuri particulare importante pentrr
categoria I.
Cazul 1). î n acest caz functorul lim se numeşte produs direct şi se
i
notează ГГ.
i
Ştim că, în acest caz, un obiect în в1 este o familie F = (-Ai);çr de
obiecte în 6. indexată pe mulţimea I. Dacă A = TTF = TT Ai (ultima
I
106 Teoria categoriilor
A A{
sînt comutative pentru toţi г Ç I.
Cazul 2). î n acest caz, limita proiectivă se numeşte nucleu, iar
functorul lim se notează Ker.
Mai precis, fiind dată o diagramă
a
F : A ZZţ В
ß
şi un obiect X, în <2, un morfism p : cx F este unic determinat de com-
ponenta sa p0 : X -> A satisfăcînd ap0 = ßp0 (componenta px : X -> В
se defineşte prin p± = ap0 = ßp0). De aceea vom spune că un cuplu (К, z)
este un nucleu al diagramei F dacă :
1° as = ße,
2° pentru orice morfism gr de capăt A satisfăcînd a g = există
şi este unic un morfism / de capăt К astfel încît g = zf.
Aceasta revine evident la aceea că, pentru p : cK -> F de compo-
nente p0 = e şi px = а г = ß г, cuplul (К, p) este o limită proiectivă а
lui F.
Alegerea nucleelor se va face în acord cu alegerea subobiectelor.
într-adevăr, avem
LEMA 7 . 2 . Cînd ( К , z) este un nucleu al unei diagrame F, г : К A
este un monomorfism strict.
Demonstraţie. Din condiţia 2° (unicitatea) rezultă imediat că s este
monomorfism.
Pe de altă parte, fie
p
Y—>X
•I I'
K-^A
Categorii «şi functori 107
F:
x - U r
BxAAf^Af
-l и
J/
В * А
şi în acest caz valoarea lui j în (A',f) este (В x a A ' , pr^ iar morfismul
cononic este pr2 : (В x ЛА'У и pr^ -> (A',f).
Se mai poate observa că produsul fibrat în в al diagramei
A'
A'—>A A—>A"
: :
I" I' *
V'
i' v"
['
B ' — * В В — > £ "
astfel încît „sursa" lui TU" coincide cu „capătul" lui тг', se notează TU" TT'
pătratul comutativ
A' '—>A"
"ï V , r
V r
I'"
B'—>B"
К
r
! , ix° ix<
K'-^A'^B'
are linii exacte, i.e. s = Ker F şi s' — Ker F\ deci y = Ker X, şi dacă \ este
monomorfism, atunci pătratul din stînga este cartezian.
Noţiunile duale sînt : limită inductivă, sumă directă, conucleu, sumă
fibrată sau sumă amalgamată, pătrat cocartezian etc.
De exemplu, dacă F : I -> в este un functor, se consideră functorul
jp7° : 1° -» <2° şi se defineşte lim JT prin egalitatea
lim F = Inn
Dacă f :F ->G este un morfism în categoria (21, se consideră morfismul
functorial / ° :G° -+F° obţinut prin inversarea săgeţilor. Dacă lim F° şi
lim G° există, atunci avem un morfism u° = lim
: lim G° -> lim F°
110 Teoria categoriilor
î n enunţ ani scris prin abuz ßJ7 în loc de ß-F1? deci ßJ7 (i) = ß (.F (г)) şi
ßj7 (X) = ß (F (X)) pentru orice obiect i şi orice morfism X în I. De ase-
menea, vom scrie aßJ7 în loc de aßZ^.
După definiţia adjunctului, pentru orice obiect X în avem un
cuplu (ß (X), lx), cu ß (X) obiect în <2' şi : aß (X) X morfism în <2,
avînd proprietatea că, pentru orice obiect T' în aplicaţia
(1). Horn ( T, ß(X)) -> Horn ( a ( T'), X)
care asociază cu orice morfism
/ : T'-> ß(X)
(în €') morfismul compus
a (Tf) ——> aß ( Z ) 4 l
(în (2) este bijectivă.
Ştim, de asemenea, din teoria functorilor adjuncţi, că morfismul
ţx este functorial în X, i.e. că pentru orice morfism 6 : X -> Y în (21?
diagrama următoare este comutativă
aß(X)-^>X
(2) a ß( 6)| je
aß(Y)-^> Y
Yom defini atunci un morfism functorial
aßjF7 -> F
punînd
lw (i) = : «ß (F (i)) -> F (i)
pentru orice i g Ob (I). Pentru a arăta că acest este într-adevăr un
morfism functorial, să considerăm un morfism X : i - > j în categoria I*
112 Teoria categoriilor
ceea ce exprimă faptul că morfismele ui : F' (i) -> $F (i) reprezintă com-
ponentele unui morfism functorial и : F' -> ß_F.
Considerind bijecţia (1) pentru X = F ( j ) şi T = F' (i), totul revine
la a arăta că
Над а (Щ F' (X)) = EW)a (£F (X) uh)
deci că
E W ) a (Щ) olF" (X) = H F ( ; ) aß F (X) а (щ).
iar din bijecţia (1) rezultă imediat trecînd la componente că и este unic
determinat prin această egalitate. Lema 8.1 este astfel complet de-
monstrată.
COROLAR. Dacă adjunctul la dreapta ß al lui A este definit peste tot,
atunci adjunctul la dreapta al lui a* este definit peste tot şi este egal cu ß*.
PROPOZIŢIA 8.1. Fie I, J şi (2trei categorii şi t : J -> G1 un functor
astfel încît lim (pr4 t) există pentru toţi i g Ob (I). Atunci lim t există şi
J J
se calculează pe componente, i.e.
рг-j |Ит «j = Пт (pr< t).
X (еу
unde а* este compunerea la stînga cu а = с, iar 0 este izomorfismul ca-
nonic din corolarul la lema 5.1.
Fie s = 0 (t), deci 8t = pr, t. Ipoteza din enunţ asupra lui t spune
că ß este definit în s. pentru toţi i g Ob (I). Din lema precedentă rezultă
că adjunctul la dreapta al lui a* este definit în s şi egal cu ßs. Cum 0
114 Teoria categoriilor
(O'J
a*» gJ
•î
(2'
î-
i.e. a cJf = ca(2v) şi ac f , = c a ( / / ) pentru orice T' g Ob (&') şi / ' g Fl ((2').
Din lema 7.1 rezultă că adjunctul la dreapta al lui a* este definit
în F şi egal cu ßj7. Din propoziţia 6.3 rezultă că lim ßJ7 există <=> adjunc-
tul la dreapta al lui с a = a*'c este definit în -F<=> ß este definit în
lim F, şi atunci avem lim ß F = ß (lim F).
>0
"'j j"
и
В — > J.
F.A =ţ Б
V
i
u'
A—îAxB
D : TT F (i) TT F (capăt и)
iCOb(J) ß uÇFl(J)
în care a şi ß sînt morfismele de componente
i.e.
Scapàt и — Pcapăt и ŞÎ ^fcapït и — F (и) _Psursă и
unde
Pi : TT F ( j ) -> F (i) şi gCaPät и -П F (capăt и) -> F (capăt и)
sînt proiecţiile canonice ale produselor directe.
Beamintim ca, pentru orice X € Ob ((2), un morfism functorial
v : cx -> F
este o familie v = (^)г£оь(«л de morfisme
Vi : X -> F (i)
astfel încît, pentru orice morfism и în J, diagrama următoare este comu-
tativă
y
sursaw / \ ycapătг
F(u)
F ( sursă и) —*F ( capăt и )
Avem o aplicaţie
Horn (cXj F) Horn (X, TT F (i))
118 Teoria categoriilor
F: A В
V
n categoria U-Ens. Fie
A' = {a Ç A \ и (a) = v (a)}
şi fie
г: A' -> A
incluziunea lui A'. Atunci A' £ U şi evident z este un nucleu al diagramei
F în U-Ens.
Dacă A şi В sînt grupuri abeliene, iar и şi v omomorfisme de grupuri,
atunci A' este un subgrup al lui A si evident г este un nucleu al lui F
în U-Ab.
Evident, proprietatea lui y din enunţ este adevărată pentru produse
directe şi nuclee.
Teorema este complet demonstrată.
Similar se poate arăta că U-limitele proiective există în categoriile
U-M, U-G, U-A. Mai precis, dacă 6 este una din aceste categorii,
y : (2 U-Ens functorul de supraiacenţă, J o U-categorie mică şi F : J ->é
120 Teoria categoriilor
X—^X\B
\Y/
i.e. astfel încît / = gp ; anume dacă 2 Ç X/JS, atunci # (2) = f (00), unde ж
este un element arbitrar în p~1 (2).
După această paranteză, să considerăm o diagramă
j В
în categoria U-Ens. Fie В relaţia de echivalenţă pe В generată de pere-
chile (u (a), v (a)) cu a g A. Vom arăta că diagrama
A В -> В/В
V
§ 10. Exactitate
и
Fiind dat un morfism A В într-o categorie <2 putem considera
(dacă există) diagrama carteziană
AА
x BA Л Л
—• A
4 и
J,*
A >B
DEFINIŢIE. Se spune că и este un epimorfism efectiv dacă produsul
fibrat A x BA există şi diagrama
А X BA A -Ji» В
Po
В ==5 А - l * B.
ß
Demonstraţie. Numai suficienţa cere demonstraţie. Vom presupune
ca diagrama exactă din enunţ există. întrucît £ are produse fibrate,
diagrama
A x BA A В
Pi
există. întrucît иa = ^ß, există 0 : В -> A x BA astfel încît a = ргЬ
şi ß = p 2 6. Se deduce imediat că diagrama precedentă este exactă.
DEFINIŢIE. Un functor F : € -> <2' se zice exact la dreapta dacă
pentru orice epimorfism efectiv A -> В diagrama
F(A x BA) =t F (A) -> F (В)
este exactă. Noţiunea duală : functor exact la stînga. Un functor se zice
exact dacă este simultan exact la dreapta şi la stînga.
Din propoziţia 10.1 rezultă imediat următorul
COROLAR. Cînd are produse fibrate şi F : £ este exact la
dreapta, F (epimorfism efectiv) = epimorfism efectiv.
Exactitatea la stînga înseamnă comutativitate cu nucleul pentiu o
clasă specială de diagrame.
O condiţie mai tare decît exactitatea la stînga este, deci, comuta-
tivitatea cu limitele proiective finite.
Orice functor care are un adjunct la stînga comută cu limitele pro-
iective arbitrare în virtutea corolarului la propcziţia 8.3 şi dual. î n par-
ticular, dacă J-limitele inductive există în (2 functorul lim comută cu li-
j
mitele inductive. Vom arăta că există o clasă importantă de categorii J
care au proprietatea că lim comută cu limitele proiective finite (şi în par-
j>
ticular este un functor exact) pentru в = ll-Ens sau lt-Ab.
DEFINIŢIE. O categorie I se zice pseudofiltranfă dacă satisface
axiomele următoare :
PS1) Orice diagramă
Categorii «şi functori 125
v*
./
«
Y3
Demonstraţie. Numai necesitatea cere demonstraţie. î n realitate
vom folosi numai conexiunea şi o formă mai slabă a lui PS1).
întrucît I este conexă există o diagramă
FOL LCA . . . LCN
. . / Wi
i = i0 1
Y г =].
п
./ Y /
г
Y
h j
Din PSI) rezultă că există o diagramă
Ic
h к * к2
126 Teoria categoriilor
г
/ \ 3
cu n = 1, ceea ce termină demonstraţia lemei.
LEMA 1 0 . 2 . Fie J o U-categorie mică pseudofiltrantă conexăy
F :J -> U-Ens un functor, A = lim F şi В mulţimea perechilor (xx-)
cu x% g F (г), xj g F ( j ) şi cu proprietatea că există o diagramă
г
3
în J astfel încît F (и) (х{) = F (v) (xy). Atunci :
1) В este un graf de echivalenţă pe mulţimea X = И F (i) şi
iÇOb(J)
А = X'jB.
2) Dacă x, x' g A, atunci x şi x' au reprezentanţi de acelaşi indice,
г.е. există le g Ob ( J), un reprezentant xkţ F (Тс) al lui x şi un reprezentant
x'k£F (Je) al lui x'.
3) xi şi x[ g F (i) reprezintă acelaşi element în A dacă şi numai
dacă există и : i -> j în J astfel încît F (и) (х{) = F (и) (х[).
Demonstraţie. 1) Fie В' graful de echivalenţă pe X generat de pe-
rechile (x i9 xk) cu Xi g F (i) şi cu proprietatea că există и : i -> Ic în J
astfel încît xk = F (и) (х^. Din demonstraţia teoremei 9.2 ştim că
А = Х\В'
Vom arăta că, în condiţiile actuale, JB = Bf. Evident, В conţine generatorii
lui B' şi В d B\ Eămîne de arătat că В este un graf de echivalenţă.
Evident В satisface primele două axiome ale unui graf de echivalenţă.
Faptul că В satisface şi a treia axiomă rezultă imediat din PS1).
2) Fie Xi g F (i) un reprezentant al lui x şi Xj g F ( j ) un reprezentant
al lui x'. Există o diagramă
г
3
în J. Fie хк = F (и) (х4) şi хк = F (v) (х}). Atunci хк reprezintă pe x şi
xk reprezintă pe x'.
Categorii «şi functori 127
•i i*
în ( U - E n s ) A p l i c î n d functorul lim, obţinem o diagramă comutativă
j
P-^H
a?
în U-Ens. Avem de arătat că această ultimă diagramă este carteziană.
128
Teoria categoriilor
G(i)^F(i)
4 _ j*.
G — ^ t
pentru toţi г £ Ob ( J), unde & sînt componentele lui g, iar Ег- şi ти compo-
nentele morfismelor canonice, deci (х{) = clasa lui x etc. O definiţie
similară pentru h, a, ß.
Fie (y, z)£G x H astfel încît g (y) = h (z) = a? (să zicem). Fie
Vi 6 O (i) un reprezentant al lui у, i.e. un element astfel încît rJţ. = у,
şi fie z/ţ Л ( j ) un reprezentant al lui Din definiţia lui g rezultă că x{ =
= gt (у{) reprezintă pe ^ = g (y). Tot astfel = Л,- (г?) reprezintă pe x -=
= h (z). Există deci o diagramă
G(i)^>F(i)
G{k)-^>F(k)
P (k)-^H (k)
4 j"'
G(k)-^F(k)
Categorii «şi functori 129
P(1c)-^G(h)
l h
P G
de unde rezultă с ă ă ( i ) = y. Similar ß (J) = г.
Fie acum t, t' ţ P astfel încît a (t) = a (f ) = у şi ß (t) = ß (Г) = г.
Există г g Ob (jj, un reprezentant ti g P (г) pentru г şi un reprezentant
« g P ( i ) pentru t'. Fie = a, (t4j, y,' - a, («0, ^ = ß, (*,), *f' = ß, (t[).
Atunci y{ şi y[ reprezintă ре y, iar ^ şi pe z. După lema 10.2 există
X : г -> j şi [x : г -> & în J astfel încît О (X) (t/^) = G (X) (?/•) şi .ff (jx) (z{) =
= Я ((л) (г-). Din PSI) rezultă că există o diagramă comutativă
л , 3 \ X'
h
f
deci X' X — [i [x = a (să zicem). Eezultă G (и) (у{) = G (и) [y[) = yb (să
zicem) şi H (и) (zt) = H (и) (z[) = zk (să zicem).
Fie tk = P (u) (ti) şi tk = P (u) (t'{). Atunci tk reprezintă pe t şi tk pe
V. Avem diagrama comutativă
F(i)^F(k)
4 h-
G(u)
G (г) —>G (к)
de unde rezultă că «, (tk) = = ak (t'k). Similar, (tk) ß t (<;.).
Dar diagrama
F(k)-^H(k)
astfel încît
F (и') (х<) - F (vf) (x,) şi F (и") (у,) - F (v") (Vj).
Din PSI) rezultă că există o diagramă comutativă
Din PS2) rezultă că există ß : l -> h astfel încît ßocV = ßa'V' = v (să
zicem). Fie и = ß a V = ßoc'V. Avem
F (и) (Xi) = F (v) (x,) şi F (и) (Vi) = F (v) (y4)
Întrucît F (u) şi F (v) sînt omomorfisme de grupuri, rezultă
F(u)(xt +Vi) =F(v)(xj + yJ),
ceea ce atestă că adunarea este inambiguă.
Evident, această adunare defineşte o structură de grup abelian pe A
şi evident ^ : F ( i ) A sînt omomorfisme de grupuri.
Vom arăta că (A, E) este o limită inductivă a lui F în U-Ab. Fie В
un grup abelian şi f :F ^ cB un morfism functorial cu componente
Categorii «şi functori 131
este exact.
DEFINIŢIE. Fie (2 o categorie. Vom spune că J-limitele inductive în в
există şi comută cu limitele proiective finite dacă functorul
lim : & -> <2
j
este definit peste tot şi comută cu limitele proiective finite. Yom spune că
U-limitele inductive pseudofiltrante conexe există şi comută cu limitele
proiective finite dacă, pentru orice U-categorie mică pseudofiltrantă
conexă J, functorul lim este definit peste tot şi comută cu limitele proiec-
tive finite.
Astfel, din cele prccedente rezultă că U-limitele proiective pseudo-
filtrante conexe în categoriile U-Ens şi U-Ab comută cu limitele proiec-
tive finite.
Similar se poate vedea că U-limitcle inductive pseudofiltiante conexe
în U-M, U-G, U-A există şi comută cu limitele proiective finite.
P R O P O Z I Ţ I A 1 0 . 2 Dacă (2 este o categorie cu limite proiective finite
si dacă J-limitele inductive în (2 există şi comută cu limitele proiective finite,
atunci, pentru orice categorie 7, J-limitele inductive în & există şi comută
ca limitele proiective finite.
Demonstraţie. Avem de arătat numai că. în ipotezele propoziţiei,
functorul
lim : ((2*)J -> (21
j
comută cu obiectul final şi prcdusele fibrate.
132 Teoria categoriilor
este obiect final în в pentru orice i g Ob (I), deci lim t este obiect final
J
în
Similar se demonstrează comutativitatea cu produsul fibrat.
Din cele precedente rezultă că, pentru orice categorie I, U-limitele
inductive pseudofiltrante conexe în (U-Ens)1 şi (U-Ab)1 comută cu
limitele proiective finite.
este biliniară, i.e. и (v1 + v2) = гiv± + iiv2 şi (% + u2) v = uxv + ti2v.
2) в are un obiect 0 astfel încît Horn (0, 0) este grupul zero.
3) Pentru orice cuplu (A, B) de obiecte în e, produsul direct
A x В există.
Dacă в este o categorie preaditivă, vom nota ambiguu prin 0 ele-
mentul zero în oricare din grupurile abeliene Н о т (A, B). Eezultă că
vu = 0 cînd и — 0 sau cînd v = 0.
Din 2) rezultă că 1 0 == 0. Apoi dacă и este un morfism de sursă 0,
atunci и = 1 0 и = Ou = 0, deci pentru orice obiect X în (2, Н о т (X, 0)
este grupul zero, i.e. 0 este un obiect final în (2. Similar, 0 este un obiect
iniţial în (2. Astfel 0 este un obiect zero în (2. î n particular, 0 este unic de-
terminat pînă la un izomorfism.
Evident, noţiunea de categorie preaditivă este autoduală : (2 este
preaditivă dacă şi numai dacă (2° este preaditivă.
Categorii «şi functori 133
(2° x (2 U-Ab
Hom
\ /
U-Ens
unde y este functorul de supraiacenţă
PROPOZIŢIA 1 1 . 1 . într-o categorie preaditivă, condiţiile următoare
sînt echivalente :
1) Tripletul (A, p1: A -> A19 p2: A A2) este un produs direct al
cuplului (Aly A2).
2) Există morfisme i± : A± A şi i2 : A2 A astfel încît = Ia,,
p2 i2 == şi + i2 p2 — (m acest caz avem în plus p1i2 = 0 si
i>2 <i = 0).
Demonstraţie. Să demonstrăm mai întîi paranteza din 2). Din pri-
mele două egalităţi din 2) rezultă că p± şi p2 sînt epimorfisme (chiar stricte)
Apoi
Pi = Pi (h Pi + ЧР2) = Pi + Р1ЧР2,
deci p±i2P2 = 0, deci = 0 (întrucît p2 este epimorfism). Similar
Р2Ч = 0.
1) =>2). Yom admite 1). Fie ix : А г -> A morfismul de componente
0 (i.e. unicul morfism satisfăcînd = 1Л1 şi jp^ = 0) şi г2 : A 2 A
morfismul de componente 0, lAz (i.e. unicul morfism satisfăcînd рг i2 = 0
şi Р2Ч = 1а2)' Atunci i±p± + i2p2 6 Horn (JL, JL) şi componentele sale
sînt
Pi (hPi + ЧР2) = 2>i Şi P2(iiPi + ЧР2) =
egale cu componentele lui 1 4 , deci + i2p2 =
2) H> 1). Yom admite 2). Fie : X -> şi f2 : X -> A2. Yom arăta
că există şi este unic un morfism / : X -> A astfel încît p j = fx şi p2f = /2-
Definim f = i±f± + i 2 / 2 . Eezultă p j = fx şi p2f = f2. Invers, dacă f este
astfel încît pi/ = şi = f2 ,atunci
hfi + 4Î2 = hPlf + 4P2Î = (hPi + ЧР2) f = f ,
ceea ce termină demonstraţia.
Propoziţia duală este
PROPOZIŢIA 1 1 . 1 ' într-o categorie preaditivă, condiţiile următoare sînt
echivalente :
1) Tripletul (В, : A1 -> _B, j2 : A2 -> B) este o sumă directă a
cuplului (A19 A2).
134 Teoria categoriilor
A' A = V= l В
Categorii «şi functori 135
este o reprezentare a lui A ca sumă directă a (sau ca produs direct al) cuplu-
lui (A', A").
Noţiunea de şir despicat este autoduală.
PROPOZIŢIA 1 1 . 2 . într-o categorie aditivă, condiţiile următoare despre
un şir sînt echivalente :
1) Şirul despică.
2) Şirul este exact şi i are un invers la stînga.
3) Şirul este exact şi q are un invers la dreapta.
Demonstraţie. Evident 1)=>2).
2) => 1). Avem (1 — ip)i = i — i(pi) = i — % = 0, deci există j
astfel încît 1 = ip + jq. Avem qjq = q (1 — ip) = q — (qi) p = 0 întrucît
qi = 0, deci qj = 1 întrucît q este epimorfism.
136 Teoria categoriilor
А'
U
А
Categorii «şi functori 137
este exact. Cum z are un invers la stînga, din propoziţia 11.2 rezultă
că acest şir este direct, dcci există 0 : B' A' astfel încît
e's + 6w' = 1 şi tt'0 = 1.
De aici rezultă că
a 0w' = a ( l — Z's) = a — OLZ'S = a — £.9 = fu' ?
deci
a6 =f
întrucît w' este epimorfism.
Astfel este stabilită existenţa Iui 0 în cazul particular cînd g = 1B,9
In demonstraţia acestui caz particular am folosit numai condiţia 1) si
faptul că u' este epimorfism efectiv.
Trecem la cazul general.
Întrucît u' este epimorfism efectiv universal, există un pătrat
cartezian
u"
A" —» B"
h If и' I»
A —» B'
cu u" epimorfism efectiv. Utilizînd propoziţia 7.1 se vede imediat că
u" este epimorfism efectiv universal. î n particular, u" este quarabil,
i.e. pentru orice morfism X —> B", produsul cartezian A" x в- л. există.
Să luăm în particular X = 0. Avem un pătrat cartezian
K" —> 0
•'4 u"
I
A" B"
Folosind proprietatea universală a produsului cartezian, se verifică ime-
diat că s" este un nucleu al lui u". (Am arătat astfel că, într-o categorie
aditivă, orice morfism quarabil are un nucleu). Din propoziţia 11.4
rezultă imediat că hz" este un nucleu al lui u\ deci este canonic izomorf
cu s'. De aceea putem presupune că avem К" = К şi hz" = s'.
Astfel avem o diagramă comutativă.
7 I" I8"
Ti e w
Categorii «şi functori 139
BxaA' A'
В — A
A"
este exact. Din 1) rezultă că F(i) este un nucleu al lui F(p) şi că F( s)
este un monomorfism. Se deduce că F(i) este un nucleu al lui F(u).
2) => 3). Aceasta rezultă din construcţia produsului fibrat d^tă
în demonstraţia lemei 9.1.
3) => 1). Aceasta rezultă din construcţia nucleului cu ajutorul pro-
dusului fibrat dată în demonstraţia lemei 9.1.
î n cele ce urmează vom stabili trei lerne de exactitate,
JVe vom situa într-o categorie abeliană dată.
LEMA 1 2 . 1 . Dacă în diagrama comutativă
А' X B' X С'
J» l-t
A -i В X с
pătratul din stînga este cartezian, linia de jos exactă şi y monomorfism,
atunci linia de şus este exactă,
Demonstraţie. Fie К' Л. B' nucleul lui v' şi К Л- В nucleul lui v.
Există în mod unic morfisme A' ^ K' şi i i i astfel încît u' = z'p'
şi и = zp \ în plus p este epimorfism întrucît şirul А Л В \ С este
exact.
Apoi există şi este unic un morfism K' -U К astfel încît diagrama
următoare să fie comutativă
A' X к' X В' X с
A x к x В л с
După propoziţia 7.2, pătratul de la mijloc este cartezian (întrucît
y este monomorfism) iar după propoziţia 7.1 pătratul din stînga este
cartezian. Din propoziţia precedentă rezultă că p' este epimorfism, deci
z = Im и', i.e. şirul А' ^ В' ^ C' este exact.
Categorii «şi functori 143
0 0 0
i Ф Ф
0 -»- A' X в' X С' -> 0
j«- \f
0 - > A Л В л с -> 0
K I*1
0 A" X B" X С" 0
1 \ ф
0 0 0
cu toate liniile şi primele două coloane exacte. Atunci ultima coloană este
exactă.
Demonstraţie. Întrucît Coker este exact la dreapta, şirul
С' X С X С" -> 0 este exact. De aceea totul se reduce la a arăta că, în
condiţiile lemei, y' este monomorfism.
144 Teoria categoriilor
B' с
je- jг
V
В с
este cocartezian, iar din propoziţia 12.2 rezultă că y' este monomorfism
(întrucît ß' este monomorfism).
Să revenim la cazul general. Fie В ^ D un eonucleu al lui и ol' =
= ß V . Avem diagrama comutativă
0 00
uf ф
0 A' В' X С'
13'
m а'
0 -»- A' в л D
l 1г U
0 0 -s- В"
ф
0 0 0
unde ultima coloană este o coloană de nuclee, deci j este unicul morfism
satisfăcînd <pß' = jv' şi q unicul morfism satisfăcînd ß" = q<ş. î n această
diagramă toate liniile şi primele două coloane sînt exacte. Din observaţia
precedentă rezultă că şirul
0 С' Л D Л В" 0
este exact.
Schimbînd liniile cu coloanele, rezultă că avem de asemenea şirul
exact.
v"
ir
B" — C" »
este cartezian, iar din propoziţia 11.4 rezultă că y' = Ker y", ceea ce
termină demonstraţia.
Observaţie. Demonstraţia precedentă a lemei 12.3 se extinde ime-
diat la orice categorie aditivă <B satisfăcînd axioma ABl) şi axioma urmă-
toare (mai slabă ca AB2) ) : orice epimorfism efectiv este universal, şi
dual. Asemenea categorii se pot numi categorii preabeliene. Ca exemple de
categorii preabeliene semnalăm : categoria modulelor filtrate (peste un
inel filtrat), categoria modulelor topologice (peste un inel topologic),
categoria spaţiilor vectoriale topologice local convexe (peste un corp
valuat complet nediscret) şi altele.
В = ţ В +A В
Fireşte, aici a şi ß sînt injecţiile canonice ale sumei fibrate, deci avem
diagrama cocarteziană
и
A — В
Jß
в А в+Ав
Avem ai = ßi. Apoi întrucît olu = ßw, din definiţia nucleului re-
zultă că există şi este unic un morfism p : A -> B' astfel încît и = ip.
Yom arăta că p este epimorfism.
Fie X un obiect în в şi /, gr 6 Н о т (Б', X) astfel încît f p =gp.
Avem de arătat cä f = g. Fie К e> B' nucleul diagramei
9
B' z z | X
1
B В+A В
Categorii «şi functori 147
vi si
m ^ G'U) ^ G(j)
F'(i) - G'(i)
F(i) G(i)
148 Teoria categoriilor
-J \
<2' —> в
Dacă lim F' există, atunci din corolarul la propoziţia 8.3 rezultă că lim F
există şi avem egalitatea din enunţ (din nou fără ipoteza Ti = 1). Mai
rămîne să arătăm că dacă lim F există, atunci lim F' există (în ipoteza
Ti = 1). * —
Vom presupune că в' este o subcategorie a lui € şi г incluziunea
lui в'. Fie A = lim .F şi p : cA F morfismul canonic de componente
9i:A-+F(j). <—
Pentru orice j g Ob(J), F(j) = F'(j) este un obiect în (2', deci există
şi este unic un morfism : T(A) ->F ( j ) astfel încît diagrama următoare
să fie comutativă
71
A
A -4 T(A)
\ hF'(j)
150 Teoria categoriilor
\
A —
и
»
IВ
Categorii «şi functori 151
nI NI NI
i(A) С ~^>i(B)
în care cele două pătrate adiacente sînt carteziene. Eezultă că p' este
epimorfism efectiv şi z monomorfism efectiv în (2, deci T(p') este epi-
morfism efectiv şi T( z) monomorfism efectiv în (2'.
Apoi diagrama
Tiz')
T(C') B'
T(G)
I T(z)
В
i
este carteziană şi T( z) monomorfism efectiv. Dar и = T( z)T(p) este
epimorfism efectiv prin ipoteză, deci T(z) este o bijecţie efectivă, deci
un izomorfism. Eezultă că T( z') este izomorfism, deci T( z) T(p ) este
epimorfism efectiv.
î n sfîrşit, diagrama
T(D') B'
I
A " В
I
este carteziană, deci este izomorfă cu diagrama carteziană considerată
iniţial, deci u' este epimorfism efectiv ca şi T( z')T(p').
Astfel toate epimorfismele în в' sînt efective universale. Dual,
toate monomorfismele în в' sînt efective universale.
COROLARUL 1 . Dacă в este o categorie abeliană şi T : (2^(2' un functor
de completare care comută cu produsul fibrat, atunci в' este o categorie
abeliană.
Demonstraţie. Introducem pe (2' unica structură de categorie preadi-
tivă care face din i un functor aditiv. Existenţa obiectului zero este
asigurată atunci de CI). Eestul rezultă din teorema precedentă.
COROLARUL 2. în condiţiile teoremei 1 3 . 2 (în particular în condiţiile
corolarului precedent), functorul T comută cu functorii Im şi Coim.
Demonstraţie. Se ţine seama că (2 şi (2' sînt cantoriene şi se aplică
propoziţiile 13.1 şi 13.2.
PROPOZIŢIA 1 3 . 3 . Fie T : un functor de completare care comută
cu limitele proiective finite. Pentru J o categorie dată, dacă в are proprie-
152 Teoria categoriilor
i i
F —> G
1
o diagramă carteziană în в' . Întrucît i* ( = compunerea cu i la stînga)
este un adjunct la dreapta al lui T* ( = compunerea cu T la stînga),
diagrama
iF' —> iG'
i i
iF —> iG
este carteziană în £ J . Din ipoteza asupra lui (2 rezultă că diagrama
lim iF' —> lim iG'
Л
T(lim iF) —> T(lim iG)
este carteziană în в'. Întrucît Ti = 1, din propoziţia 13.2 rezultă că dia-
grama precedentă coincide cu diagrama
lim F' —> lim G'
1 1
lim F —> lim G
§ 1. Prefascicule
F'( U)—>F( U)
F'(V)-%>F(V)
i.e.
e v9uv =
întrucît t ( X ) este o U-categorie mică şi 6 o U-categorie, â (X, в)
este o U-categorie.
Fie F un prefascicul pe X şi TJ o mulţime deschisă în X. Yom defini
un prefascicul G pe TJ astfel :
G (V) = F (TJ)
Teoria fasciculelor 155
pentru orice mulţime deschisă V d TJ. Apoi dacă V' Œ V d TJ, mor-
fismul de restricţie de la V la V' al lui G este egal cu morfismul de restricţie
de la. V la V' al lui F. Acest prefascicul G se numeşte restricţia lui F la TJ
şi se notează G = F j TJ.
Să presupunem acum că € este una din categoriile U-Ens, U-Ab,
U-A.Din capitolul 1 rezultă că U-limitele proiective există în 2 (X, в) =
= Horn ( T (X)°, (2) ; în plus, pentru orice U-categorie mică J, orice functor
F : J S (X, в)
şi orice mulţime deschisă TJ în X,
(lim F) (TJ) = lim J7 ( 17)
§ 2. Fascicule
Ф morfismul de componente
§ 3. Fibre
cu proprietatea că
P? = ?l 9Uv
pentru orice cuplu ( TJ, V) de mulţimi U, V Ç astfel încît V С TJ,
iar 0a. : ./'". px este unicul morfism care face comutative diagramele
P'(U)^P'X
6t7 Qx
4< ç% l
P(U)-> Px
pentru toţi и £ ° ? я .
DEFINIŢIE. Fie P u n prefascicul pe X cu valori în (2. Se numeşte
suport al lui P mulţimea
Supp P == {xţ X\ Px nu este obiect final în £).
î n general, mulţimea Supp P nu este închisă.
DEFINIŢIE. Fie P un prefascicul (pe X cu valori în (2). Dacă (2
este una din categoiiile U-Ens, IX-Ab, IX-A etc., elementele lui P {TJ)
se numesc secţiuni ale lui P peste TJ iar elementele lui Px se numesc
germeni ai lui P în x.
î n condiţiile din definiţie, dacă s ţ P {TJ) şi V CI TJ, vom scrie
uneori s\ V în loc de p^ (s) şi vom numi s | V restricţia lui s la V. Dacă
s g P {TJ) şi x g TJ, vom scrie uneori sx în loc de (s) şi vom numi sx
germenul definit de s în x.
î n sfîrşit, dacă 0 : P ' -> P este un morfism de prefascicule, vom
scrie uneori 0 (s) în loc de (s) şi 0 (g) în loc de 6X (g) pentru orice sec-
ţiune s g P' ( TJ) şi orice germen g g PJ.
PROPOZIŢIA 3 . 1 . Fie (2 una din categoriile U-Ens, U-Ab, U-A, xţX,
P un prefascicul pe X cu valori în (2 şi s, t g P ( X) astfel încît sx = tx.
Atunci există o vecinătate deschisă TJ a lui x astfel încît
*| TJ =^t\U.
Demonstraţie. După tema 1.10.2 *)
COROLAR. Fie в una din categoriile U-Ens, U-Ab, U-A, 0 : P' - » P
un morfism de prefascicule (pe X cu valori în в), X şi s, tţP' (X)
astfel încît Qx (sx) = 0X (tx). Atunci există o vecinătate deschisă TJ a lui x
astfel încît
e r ( * | C ) = e„(t| u).
*) Prin lema 1.10.2 se înţelege lema 10.2 din Сар. I.
160 Teoria categoriilor
Demonstraţie. Avem
е
M O = ( M « ) ) , Şi Л У = (ел*))«-
Din ipoteza corolarului şi din pi opoziţia 3.1 rezultă că există o vecinătate
deschisă Z7 a lui # astfel încît
M*)! 6 x ( i ) | 17.
Dar avem
6 x(*)\ U = %(s I Ü) şi Qx(t) I Z7 = 0^*1 TJ),
ceea ce termină demonstraţia corolarului.
PROPOZIŢIA 3 . 2 . Fie в una din categoriile it-Ens, IX-Ab, U-A, F
un fascicul pe X cu valori în в, TJ o mulţime deschisă în X şi s, t^F(TJ)
astfel încît sx = tx pentru orice x g TJ. Atunci s = t.
Demonstraţie. Din pi opoziţia precedentă rezultă că există o aco-
perire deschisă (TJ^içi a lui U astfel încît s\ TJ{ = t\ U{ pentru toţi i g I.
întrucît F este fascicul, din corolarul 2 la propoziţia 2.2 rezultă că s =t.
TEOREMA 3 . 1 . Fie В una din categoriile U-Ens, U-Ab, U-A, P
un prefascicul, F un fascicul (pe X cu valori în 8) şi o familie de
morfisme (în S)
§ 4. Imagini directe
\
^ F
J
- X
*
eile comutativă, i.e. astfel încît
à 0V = гФ"1«^).
• X к у Г x
De exemplu, cînd <2 este una din categoriile U-Ens, U-Ab, U-A,
din diagrama precedentă rezultă că, pentru orice s g F (ф""1 (F)), aven
Фа Ю = «s
pentru у = i> (x).
164 Teoria categoriilor
I I Ф(в)у I ex
Ф pv Ф f v
ф (F)(V)-Xô(F)y-^Fx
Din definiţia lui o ( 0)y rezultă că pătratul din stînga este comutativ. Din
cele precedente şi din definiţia lui 0Ж rezultă că dreptunghiul este comu-
tativ. Urmează că avem
Ф, Ф(0), = 0Ж Фаг P£
pentru orice de unde
Ф * Ф ( 0 ) , = 0,
întrucît sînt morfismele canonice ale limitei inductive.
Notăm că, în general, фл nu este nici .monomorfism, nici epimorfism.
Dar cînd ф este monomorfism strict, ox este izomorfism. într-adevăr, se
vede uşor că ф este monomorfism strict în U-Top dacă şi numai dacă apli-
caţia X -> Ф (X) indusă de ф este omeomorfism. Eezultă că, dacă ф este
monomorfism strict, mulţimile ф"1 (F) cu V Ç °fy formează un sistem
fundamental de vecinătăţi ale lui x. Din acestă ultimă proprietate rezultă
imediat că avem
Fx = Пт^(ф-1(Л)
ТёЧТ
cu morfisme canonice
0ф-1(Г) _ л, 0v
P« — Vv Py?
deci Фа este în mod necesar izomorfism.
PROPOZIŢIA 4 . 1 . Fie в una din categoriile U-Ens, U-M, U-G, U-Ab,
U-A. Atunci, pentru orice fascicul F pe X,
Supp 4 ( F ) c y (S),
unde
S = Supp F.
Demonstraţie. Să observăm mai întîi că, în condiţiile din enunţ,
dacă U este o mulţime deschisă în X astfel încît F este obiect final în 6
Teoria fasciculelor 165
pentru orice x £ TJ, atunci F ( TJ) este obiect final în (2. într-adevăr, <2
fiind una din categoriile considerate în enunţ, un obiect e în <2 este final
dacă şi numai dacă mulţimea subiacentă lui e conţine un singur element.
Eezultă că, dacă Fx este obiect final în <2 pentru orice xţ TJ şi dacă
s, t£F(U), atunci sx = tx pentru orice x £ U, deci s = t în virtutea pro-
poziţiei 3.1.
Fie acum y Ç Y — ф (8). Există F Ç astfel încît
V П Ф (8) = 0
deci
Ф'ЧЛ n =
Din observaţia precedentă rezultă că, pentru orice F' g % astfel încît
F ' c F , Ф(Л(Л este obiect final în (2, deci ф (F)y este
obiect final în (2, i.e. y nu aparţine mulţimii Supp ф (F), ceea ce termină
demonstraţia propoziţiei 4.1.
§ 5. ф-morfisme
G(V)^F(r4V))
H
G(V>)^*F( ф-W'))
i.e. ^
(1) = 0F<p£,
Pentru orice cuplu (TJ, V) astfel încît TJ £ т (X), FÇT(Y) şi
Ф (TJ) a F, avem atunci un morfism
(2) = ?pV)Qv
deci
Dacă ( TJ, V) şi ( TJ', V') sînt două astfel de cupluri şi dacă TJ' D TJ
şi V CZ V, atunci, evident, diagrama următoare este comutativă
Р и
ф-1(Г') V
v рф-1(Г) *
JEL^F(U')
Din (1) şi (2) rezultă că diagrama următoare este comutativă
G(V) JÎE£* _F(17)
J,
0(7') P(Ï7')
i.e.
(3) Çu' 6[7,F — 0£7'. V &y" '
Este uşor de văzut că aplicaţia
0 * (0C7,f)
definită prin formulele (2) este o bijecţie între mulţimea ф-morfismelor 0
de la G în F şi mulţimea familiilor ( 0^,^) de morfisme 0^tF : G(V) -+F(U)
satisfăcînd condiţiile (3) ; inversa acestei aplicaţii se obţine prin formulele
0 F — 0^—i(F). v»
F(U) *FX
depinde numai de Tr. Apoi este clar eă, pentiu V' CZ Г, avem
E R - E R
ev I I Bx
F(!ri(V))J!-+Fa
pentru toate vecinătăţile deschise V ale lui ф (x).
Pe de altă parte, pentru orice cuplu ( TJ, V) astfel încît U Ç т (X),
F £ T ( Y) şi Ф (TJ) CZ V, diagrama
G(V)^F(^(V))^^F(U)
I pf1(F) U
GY O (F)Y FX
= ijx еФ(*>?
i.e. 63. este morfismul compus
168 Teoria categoriilor
§ 6. Imagini inverse
Ф(м#)
/
ф (F)
deci astfel încît
и = ф .
De exemplu, dacă e este un obiect final în (2, ф"1 este definit în ce.
î n acest caz vom lua ф - 1 (ce) = ce şi ECe = 1
Dacă functorul i - 1 este definit în (?, vom spune că Ф -1 ((?) este
imaginea inversă a lui G prin ф şi că este morfismul canonic al imaginii
inverse.
Teoria fasciculelor 169
еЛф(т))
ej^ ^ФсФ-Мб))
G2-% ф ( ф -1 {Q%))
Să presupunem că (2 este astfel încît ф"1 (G) este definit pentru
orice prefascicul G pe Y. Din teoria functorilor adjuncţi rezultă atunci că
aplicaţia bijectivă
Horn (o- 1 (G), F) Horn (G, ф (F))
definită prin v ~ 6 (v) este functorială şi în G şi că inversa ei
este aplicaţia
и — > vfî = t)F ф - 1 (и),
unde
^f : Ф"1 ( Ф (F)) -> F
este morfismul
t
if = (^ф^))* ?
i.e. riF este unicul morfism astfel încît
Ф (%) = W>-
Să mai observăm că imaginea inversă de prefascicule este tranzitivă.
într-adevăr, fie ф' : Y Z o altă aplicaţie continuă de spaţii topologice
şi Я un prefascicul pe Z astfel încît functorul ф'"1 este definit în H. Din
propoziţia 1.6.3 rezultă atunci că functorul (ф' ф) -1 este definit în H dacă
şi numai dacă functorul ф - 1 este definit în ф' - 1 (H) şi în acest caz avem
(ф' ф)- 1 (Я) = ф- 1 (ф'"1 (H)).
TEOREMA 6.1. Cînd <S este una din categoriile U-Ens, U-Ab, U-A
functorul ф"1 este definit peste tot, i.e. orice prefascicul G pe Y are o imagine
inversă.
Demonstraţie. Fie G un prefascicul pe Y. Yom defini fasciculul
G' = ф"1 (G)
după cum urmează. Pentru orice mulţime deschisă TJ în X, G' ( U) este
mulţimea aplicaţiilor
: U -> U AW
xÇU
cu proprietatea că există o acoperire (ТГа)а£л a lui TJ şi pentru orice
a 6 A o mulţime deschisă F a 3 Ф(ТГа) şi o secţiune saţG(Va) astfel
încît
S (x) = (s а)ф(х}
170 Teoria categoriilor
G { V i ) ^ G ' { i r i ( V l ))
ï Ef i f ' ( H ( r , ) )
G(V2) A
I
care arată că familia
£ — ( ?f)FÇt(D
este un ф moifism.
Teoria fasciculelor 171
W r
-i w lKx
G'(W)—UO'x
rezultă că
(9) = 9
ceea ce atestă că aplicaţia Ex este surjectivă.
Rămîne să stabilim proprietatea universală a cuplului ((?', E). Fie
F un fascicul şi и : G -> ф (JF) un ф-morfism. Trebuie să arătăm că există
şi este unic un morfism 0 = :<?'-> F astfel încît diagrama următoare
să fie comutativă
(1) t^ у4(в)
Ф(Л
Mai întîi unicitatea lui 0. Dacă diagrama precedentă este comu-
tativă, atunci
e
«x = * Ъл
G(V)^G'(r4V))
MF
\ 1вф_1(Г)
F(^(V))
Fie * g G (F), s' = Ef (s) 6 G' (ф"1 (F)) şi t = ur (s). Din definiţia lui
rezultă că avem
0, (O = ta
1
pentru toţi x ţ Ф" (F), i.e.
i i
Q —» P
174 Teoria categoriilor
I 1
Qv —> P y
pentru toţi y g Y. Din propoziţia precedentă rezultă că pătratele
R W , — »
! i
rm—• «rm
sînt carteziene în в pentru toţi x £ X. Se va arăta mai jos (propoziţia
7.2) că în aceste condiţii pătratul
Г Ч Я ' ) —» Г ( - Р ' )
I i
tf-HQ) —> Ф'Ч-Р)
este cartezian în categoria & (X, S), ceea ce va termina demonstiaţia
corolarului.
Notăm că ф- 1 , fiind un adjunct la stînga, comută cu U-limitele
inductive. î n particular Ф " 1 este un functor exact.
§ 7. Functorul R°
F
"\i h
Dacă R° este definit în P şi în P ' şi dacă 0 : P' -> P este un morfism
de prefascicule, atunci R° ( 0) este unicul morfism care face comutativă
diagrama următoare
P' -A R°(P)
e| ^ J*(e>
P R°(P)
Functorul R° este totdeauna definit în F pentru F fascicul. într-adevăr,
în acest caz se poate lua şi se va lua R° (F) = F şi ţF = 1 F . Deci compu-
nerea R°i are sens şi avem R°i = 1.
Eezultă că, dacă R este definit peste tot pe categoria S (X, (2),
atunci R° este un functor de completare. î n virtutea teoremei 6.1, acesta
este cazul cînd (2 este una din categoriile U-Ens, U-Ab, U-A.
Din propoziţia 1.13.2 rezultă nemijlocit
PROPOZIŢIA 7 . 1 . Fie (2 O U-categorie astfel încît functorul R° este
definit peste tot şi J o categorie.
1) Dacă T : J S (X, (2) este un functor astfel încît lim XY există,
ox
atunci lim R ¥ există şi avem —>
lim RoxF = R° (lim Y)
i.e. R° comută cu limita inductivă.
2) Pentru Ф : J -> W (X, (2) un f unctor, lim Ф există dacă şi numai
dacă lim i Ф există şi atunci avem <—
i (lim Ф) = lim i Ф.
S (X, (2), atunci P în general nu este fascicul, dar, duj>ä 1), avem R° (P) =
— lim Ф în 9 (X, (2).
ß J U
4 l-
O
Eezultă că există şi este unic un morfism 6 : G' -> G xfF' astfel încît
ß = Pi 9 şi W = p2 6.
Întrucît condiţia din enunţ este necesară, pentru orice x£X,
pătratul
(GxFF')xJ?±*F'x
Gx — F x
este caitezian, deci 0;c este izomorfism. Din corolarul 2 la teorema 3.1
rezultă că 0 este izomorfism.
Cu această lemă demonstraţia corolarului la propoziţia 6.1 este com-
pletă. î n particular, pentru (2 = U-Ens sau (2 = U-Ab, functorul de com-
pletare R° : â (X, <2) -> & (X, в) comută cu limitele proiective finite. Din
teoria functorilor de completare rezultă că are loc
TEOREMA 7 . 1 . Categoria IF (X, в) este cantoriană pentru (2 = U-Ens
şi abeliană pentru (2 = U-Ab. în ambele cazuri VL-limitele proiective şi
178 Teoria categoriilor
Dx : .F, = 5 G.e,V
X
P B°(P)
/•*
F
Din definiţia structurii de Modul pe X a lui B°(P) rezultă imediat că
u#- este un morfism de Module pe X.
Astfel avem un functor
B° : U-Premod X -> U-Mod X
U-Premod X U-Mod Y
i . i-
a (X, U-Ab) 9 (X, U-Ab)
§ 9. Fascicule induse
deci
e jf :F(M) ->G(M).
Reamintim că 0|JI = ijj (6) este unicul morfism care face comutativă
diagrama
P-i» iM (F I M)
G-^iM (G|Jf)
întrucît i~u{X) = M, rezultă în particular că diagrama următoare este
comutativă P?f
F(X) F('M)— >
ex I 103/
Nr px v
t\M, =
pentru toţi i ţ i .
Fie xţX. întrucît mulţimile Mi sînt închise şi formează o acoperire
local finită a lui X, există o vecinătate deschisă U a lui x şi un număr
finit de indici i19..., ipÇI astfel încît :
1) U Ci Mi = 0 pentru i ф i19..., ip9
2) x ţ M i x П . . . n J f i p .
Din definiţia secţiunilor peste o mulţime arbitrară rezultă că există o
vecinătate deschisă WCZÜ a lui x şi secţiuni t17..., ^ÇP(TF) astfel încît
*< = Pe £П U{ П Uf,
i.e.
(Si)x = (*l)a
pentru orice tfgSfl П Există o acoperire deschisă ( Г Д ^ а lui X
astfel încît ViŒTJi pentru orice i g l . Fie M mulţimea tuturor punctelor
xţX cu proprietatea că, pentru orice cuplu (г, j)gl x I astfel încît xţVi f| V,- ?
(*i)x = (si)x-
o
Evident, 8(ZM, dar vom arăta că SczM.
Teoria fasciculelor 187
i.e. xţM.
Astfel 8 d M.
Din definiţia lui M rezultă că, pentru orice cuplu (г, j ) £ i X i ,
= *, pe 3 / f | Vi П V,-,
şi, în particular,
«« = pe Mn^n^.
Întrucît (ЖП^г)^/ este o acoperire deschisă a lui J i şi întrncît F este
o
fascicul, există o secţiune tţF (M) astfel încît
o
i.e. astfel încît tx = (8^я pentru orice xţMf|particular
t\8 = s
o
ceea ce atestă că concluzia teoremei este adevărată pentru U = Л/.
- lim
э
Aceasta mai înseamnă că, dacă J este injectiv, orice şir exact
este direct. '
Dual avem noţiunea de obiect proiectiv. Un obiect P în (2 se zice
proiectiv dacă P este obiect injectiv în categoria duală (2°, i.e. dacă func-
torul covariant
Horn (P, .) : S U-Ab
este exact, i.e. dacă pentru orice epimorfism v : A-+A" şi orice morfism
f" :P->A" există un morfism / :P-+A astfel încît diagrama următoare
>este comutativă
Л- V
A * A"
Notăm că obiectul 0 este injectiv şi proiectiv.
DEFINIŢIE. O categorie abeliană (2 se numeşte categorie cu suficiente
(obiecte) injective dacă, pentru orice obiect A în <2, există un monomorfism
A -> J cu J injectiv.
Dual, o categorie abeliană (2 se zice categorie cu suficiente (obiecte)
proiective dacă, pentru orice obiect A în (2, există un epimorfism P-+A
cu P proiectiv.
Să observăm că noţiunile de obiect injectiv şi categorie cu suficiente
injective şi dualele lor nu depind de alegerea universului U astfel încît
(2 este o U-categorie. Aceasta rezultă imediat din faptul că, dacă U şi
SS sînt două universuri astfel încît <2 este o U-categorie şi o 33-categorie,
atunci <2 este o U f| 33-categorie, şi din faptul că dacă U şi 33 sînt două
universuri astfel încît U С 33, atunci functorul de incluziune
U-Ab -> 33-Ab
este exact şi deplin fidel.
Astfel, putem vorbi de obiecte injective (proiective) într-o categorie
abeliană в fără nici o referire la universul în care ne găsim.
PROPOZIŢIA 1 . 1 . Fie в o categorie abeliană
si X = TT in (2.
iţi
Obiectul X este injectiv dacă şi numai dacă toate obiectele Xi sînt injective.
Coomologie 191
Demonstraţie. Vom demonstra mai mult că, dacă <2 este o categorie
aditivă, atunci, pentrn orice morfism и : A' -> A în (2, aplicaţia
Н о т (А, X) -> Н о т (А', X) (1)
este surjectivă dacă şi numai dacă toate aplicaţiile
Horn (A, X H o r n (J.', X j (2)
sînt surjective.
Să presupunem mai întîi că aplicaţiile (2) sînt surjective. Fie
/ ' : A' - > X un morfism. Există morfisme ft :А~>Хг astfel încît fiU = pj',
pentru toţi i £ Z, unde р% :X sînt proiecţiile canonice. Fie / : A -> X
morfismul de componente / i ? deci Pif = fi pentru toţi г £7. Atunci,
pju = pj' pentru toţi i g / , de unde fu=f'. Această parte a demonstraţiei
este adevărată pentru categorii arbitrare.
Să presupunem invers că aplicaţia (1) este surjectivă. Fie i0 g I şi
fie g' : A'-+A{ un morfism. Fie / ' : A' -+X astfel încît ptf' = 0 pentru i=t=\
şi g' pentru i = i0. Există f:A—>X astfel încît fu = f . Fie g = p{ fm
Avem gu — ViJu — ViJ' — Я' ? c e e a c e termină demonstiaţia.
PROPOZIŢIA 1 . 2 . Cînd (2 este o categorie abeliană cit suficiente in-
jective, condiţiile următoare sînt echivalente :
1) J este injectiv.
2) Orice şir exact 0 J JL JL" 0 este direct.
Demonstraţie. Ştim că 1) implică 2) fără condiţia că (2 are suficiente
injective.
Să presupunem acum că (2 are suficiente injective şi că J satisface
condiţia 2). Fie и : A' >A un monomorfism ş i / ' :A' J un morfism în в.
Întrucît в are suficiente injective, există un monomorfism г : J —>J' cu J'
injectiv. Eezultă că există un morfism f : A -+J' astfel încît diagrama
următoare este comutativă
и
A' — > A
v -
este comutativă, ceea ce termină demonstraţia.
2 192 Teoria categoriilor
ß' [ Jß J,ß"
г/ jp//
0-* J'-> J J"-*Q
cu linii exacte şi ß', ß" monomorfisme. Din propoziţia 1 . 7 . 2 , rezultă
că primul pătrat al acestei diagrame este cartezian, iar din propoziţia
1.11.4 rezultă că ß este monomorfism.
Fie a un eonucleu al lui ß. întrucît ß este monomorfism, şirul
3 a
este exact. Morfismele Ж' -> Ж şi Ж -> JST" se obţin
prin comutativitate, iar şirul 0->N' -> Ж -> Ж" -> 0 este exact în virtutea
lemei 1.12.3. Astfel propoziţia este complet demonstrată.
Să observăm că, dacă (3 este o categorie abeliană cu suficiente in-
jective, atunci există o funcţie F care asociază cu orice obiect A în в
un şir exact
EA:0 -+A-+J ->Ж ->0
cu J injectiv.
Coomologie 193
Fs = E A
se-s
unde A s = A pentru orice s£8. Un element x£Fs este o familie x = (X,)s€<s
cu Xsg A şi Xs = 0 aproape peste tot, i.e. cu excepţia unui număr finit de
elemente s g 8.
Avem o aplicaţie
x \ i (s)
s£S 8
(suma din dreapta există întrucît X, = 0 aproape peste tot). Această
reprezentare a lui x este unică : dacă x se reprezintă prin formula pre-
cëdentâ, atunci x == (l 8 ) 3 çs-
PROPOZIŢIA 2 . 1 . Pentru orice A-modul A (nu neapărat obiect în
U-mod A) şi orice aplicaţie f : 8 A există şi este unică o aplicaţie
A -liniară g astfel încît diagrama următoare este comutativă
\J'
Demonstraţie. Pentru orice element x = (X#)sçs din FSJ deci
® = s£S
S \ia(*),
definim
9(*>) = s£S
S \ №
(suma din dreapta există întrucît \ = 0 aproape peste tot). Evident,
aplicaţia g : Fs -> A astfel definită este A-liniară şi satisface gis = / , şi,
evident, g este unica aplicaţie cu aceste proprietăţi.
î n particular, dacă g19 g2ţ Hom A (F8, A) şi g 1 i 8 = 9 2 4 y atunci д г =д 2 *
Observaţie. Din propoziţia precedentă rezultă că functorul
F : U-Ens U mod A
definit prin 8 * Fs şi / Ff, unde pentru orice aplicaţie f : 8 8',Ff
este unica aplicaţie A-liniară care face comutativă diagrama
'I , I"
este un adjunct la stînga al functorului de supraiacenţă
U-mod A -> U-Ens.
DEFINIŢIE. Un obiect F în U-mod A se zice liber dacă există O
mulţime 8 6 U astfel încît F « .
Coomologie 195
unde 6 este un izomorfism. Fie S' = 0 (is(8)). Atunci $'£25, iar din pro-
poziţia 2.1 rezultă că Fs да Fs*, deci F ^ Fg.
COROLARUL 1 . Orice A-modul liber F este proiectiv în orice categorie
U-mod A care conţine pe F.
Demonstraţie. Este suficient să demonstrăm că, pentru orice mul-
ţime 8 6 U, Fs este proiectiv.
Fie v : A A" un epimorfism de A-module. Atunci v este o apli-
caţie surjectivă, deci există o aplicaţie w : A" -> A astfel încît vw = 1
(în general w nu este A-liniară).
F i e / " : Fs A" o aplicaţie A-liniară. Avem o aplicaţie wf" is : S-+A.
Din propoziţia 2.1 rezultă că există o aplicaţie A-liniară / : Fs -> A astfel
încît fis = wf" i8. Atunci vf şi / " sînt aplicaţii A-liniare de la Fs în A"
şi vfis = vwf" is = f"is, deci vf = / " , i.e. ал^ет o diagramă comutativă
A A
ceea ce termină demonstraţia corolarului.
COROLARUL 2. Pentru orice obiect A în categoria U-mod A există un
epimorfism, F A m U-mod A cu F liber. în particular, categoria U-modA
are suficiente proiective.
Demonstraţie. Pentru 8 = A, considerăm ^.-modulul liber Fs = FA
care este un obiect în U-mod A. Din propoziţia 2.1 rezultă că există o
aplicaţie A-liniară и : FA-+ A astfel încît diagrama următoare este comu-
tativă
§ 3. Module injective
definită prin
•I Is
N-^if
2) Pentru orice A-modul M, î ^ = IA.
M M
3) Cînd T satisface condiţiile 1 ) şi 2) din lema 1, iM este monomorfism.
4) Cînd T este Z-injectiv şi и : M -> N monomorfism, $ este epimor-
fism.
5) Daca T este Z-injectiv şi dacă M este A°-proiectvV, atunci M este
A-irtjectiv.
Demonstraţie. Pentru 1) şi 2) este o simplă verificare.
3) Fie ж ^ О în i f . Trebuie să arătăm că în Ж. Fie
ér CI Jf grupul abelian ciclic generat de elementul ж. întrucît T satisface
condiţia 2) din lema 1, există un omomorfism nenul g : G ^ T ; în parti-
cular, gr (л?) ф 0. Întrucît T satisface condiţia 1) din lema 1, există un omor-
morfism de grupuri / : M -> T astfel încît g =f\G. Avem iM(x) ( / ) =
= f(x)=g(x)фO.
4) Cînd T este Z-injectiv, functorul contravariant Homz (., T) este
Z-exact, în particular duce monomorfisme de grupuri abeliene în epimor-
fisme de grupuri abeliene.
5) Fie U un univers astfel încît ZÇU şi astfel încît M este un
obiect proiectiv în U-mod A°. Evident, M este un obiect în U-mod A.
Să considerăm o diagramă
и
X'^X
'1A
M
în categoria U-mod A cu и monomorfism. Evident, X şi X' sînt obiecte
în U-mod A°. Întrucît T este Z-injectiv, û este epimorfism. Întrucît
M este A°-proiectiv, există o aplicaţie A°-liniară g :M -> X astfel încît
diagrama următoare să fie comutativă
A û A
X'^-X
j.
^ iM , ,
M <—M
2 200 Teoria categoriilor
i ' Â i
1*.
ÎI^M
în U-mod Л. Pe de altă parte, întrucît iM este functorial în il/, avem
diagrama comutativă
M^-X'-^X
«I l*" J>
l i i ' Â I
Eezultă că
g ixu = g uix, = îM f ix' = îM i A / = / ,
deci diagrama
în U-mod 6X cu Г injectiv.
Coomologie 201
4j* 1-
Pentru orice mulţime deschisă U CZ X, există şi este unică o aplicaţie
äx ( TJ)--liniară
gv:31(U)->J(U)
astfel încît, pentru orice sţ3I(TJ),
9u(s) = (f (**))*eu.
Este evident că familia
9 = (9u )U£T(X)
este un morfism de Module pe X şi se verifică uşor că diagrama
и
M' »M
V
este comutativă, ceea ce termină demonstraţia corolaiului.
î n particular, categoria 9 (X, U-Ab) are suficiente injective, întru-
cît este izomorfă cu categoria U-Mod X pentru 6X = Z.
Demonstraţia teoremei 3.1 ca şi demonstaţia corolaiului sînt făcute
după R. Godement [5].
2 202 Teoria categoriilor
§ 4. d-functori
Fie (2 şi в' două categorii abeliene. Yom nota Fonct (в, subca-
tegoria plină a lui Horn (S, (2') formată din functorii aditivi.
n
DEFINIŢIE. Se numeşte d-functor de la (2 în <2' orice şir T == (T )n^o
de functori aditivi T n : (2 -> (2', înzestrat cu o funcţie care asociază cu
orice şir exact a : 0 -> A' -> A -> A" -> 0 un morfism
dnT (a) : Tn [A") -> (J/)
astfel încît să fie îndeplinite condiţiile următoare :
1) pentru orice şir exact 0 A' A A" 0 în (2, şirul
n n n+1
... -> T ( J.) -> T [A") -> T (A') -> ... (w > 0)
este un complex ;
2) pentru orice diagramă comutativă cu linii exacte (în (2)
0 -> A' -> A -> A" -> 0
nI N[
o _> В' -> Б -> Б" -> 0
diagramele următoare sînt comutative
dŞ, («) n+1
Tn{A") »T (A')
TN (/") I I îTn+1 (/')
Tn(B") * Т П + 1 (Б')
Dacă T = {T n ) n > o este un d-functor, vom spune că functorul T n
este componenta de grad n a lui T. Morfismele (a) se numesc morfisme
bord ale lui T ; prin abuz vom scrie sau dn sau simplu д în loc de (а).
Dacă T = (T'n)n>0 şi T = (Tn)n>0 sînt d-functori de la (2 în (2', un
morfism de d-functori / : T' -> T este o familie f = (fn)n>0 de morfisme
functoriale fn : T'n -> Tn care comută cu morfismele bord, i.e. au proprie-
tatea că, pentru orice şir exact 0 A' -> A -> A" 0 în (2, diagramele
următoare sînt comutative
n
dn
T' [A") —T'n+1(A')
n
f U") I I fn+1 U')
Ф дп Ф
Tn{A") Tn+1{A')
pentru toţi n > 0 ; vom spune că fn este componenta de grad n a lui /.
Morfismele de d-functori se compun şi se adună pe componente, şi
se vede uşor că d-functorii de la (2 în (2' şi morfismele de d-functori for-
Coomologie 203
§ 5. Criteriu de universalitate
î n acest paragraf vom demonstra teorema următoare :
TEOREMA 5 . 1 . Fie в o categorie abeliană cu suficiente injective, 6
o categorie abeliană oarecare şi TJ un d-functor de la в în 6' avînd proprie-
tatea următoare :
pentru orice şir exact 0 A J N 0 cu J injectiv şi orice întreg
n 0, şirul
Vn (J) -> TJn (N) Л U^1 (A) 0
este exact.
Atunci TJ este universal.
Demonstraţie. Fie T un d-functor şi cp : U° T° un morfism functo-
rial. Avem de arătat că există şi este unic un şir (f)i^o de morfisme func-
toriale f : TJ1 -> Tl -> cu f° = cp şi satisfăcînd condiţiile de comutativitate
cu д enunţate în paragraful precedent.
Avem gata construit primul termen al acestui şir, anume f° = cp.
Fie n > 0. Yom presupune, prin ipoteza inducţiei, că există şi este unic
şirul (p)o^i^n cu f° = cp şi satisfacînd condiţiile de comutativitate cu
morfismele д pînă la indicele n inclusiv. Totul se reduce atunci la a
arăta că există şi este unic un morfism functorial / î ? + 1 : TJn+1 -> Tn+1
care satisface condiţia de comutativitate cu morfismele д.
Pentru orice obiect A în <2, alegem un şir exact
Ел = 0 -> A J N 0
cu J injectiv. Atunci, pentru orice Aţ Ob ((2), avem o diagramă comutativă
cu J' injectiv, asociat cu A'. Întrucît J este injectiv, există morfisme J' ->J
şi N' ->N astfel încît diagrama următoare să fie comutativă
0 -> A' -> J' N' -> 0
\ Ф Ф
0 -> A ->J ->0
Eezultă imediat că avem un morfism de diagrame DA> ->DA. Se vede
atunci imediat că acest morfism este indus de un morfism de diagrame
DA, -> DA . î n particular, diagrama următoare este comutativă
Vn^(A')-> Z7W+1(A)
J, I
Tn+1(A') -> Tn+1{A)
Un(A")^> Vn+1(A')
n
f U")\ U')
î n acest scop vom considera şirul exact EA.. întrucît J' este injectiv,
g h
există morfisme A-+J' şi A"-+N' astfel încît să avem diagrama
comutativă
0 A' A A" -> 0
>i vL NL
0 -> A' -> J'->N' ->0
2 206 Teoria categoriilor
Tn (h)
Tn(A") *Tn{N')
0-> J ^ N ^ O
•I
0 -+A -
cu linii exacte şi cu J injectiv. Există morfisme g :J±->J şi h : N1->2f
care scufundă ' diagrama precedentă într-o diagramă comutativă, i.e.
д$г = $u şi = agr; evident Л este unic determinat de alegerea lui g.
Coomologie 207
F
F(J) -^>F(N)
deci există un morfism Q(u): Coker F ( ax) Coker F (OL) astfel încît
diagrama următoare să fie comutativă
Ker F(OL1)-^F(J1)
6'(«>J ^F(g)
Ker F (л) -^F(J)
unde s şi e1 sînt incluziuni (i.e. morfisme canonice de nuclee).
Această construcţie a morfismelor 0(w) şi 6' (t/) se face pentru orice
morfism и : A1 -> A menţinînd fixe liniile exacte 0 -> A± -> J± -> N± 0
şi 0 - > l - > J cu J injectiv.
LEMA 6 . 1 . Morfismele %(u) şi 0' (u) nu depind de alegerea lui g
şi Ti şi avem + = e(%) + Ş* + = + & (Щ)
pentru orice cuplu de morfisme u17 u2 g Horn (Av A).
__ Demonstraţie. Dacă (g, h) este alt cuplu de morfisme g : J1->J şi
h : N1 -> N astfel încît
g = ßu şi h = ад,
atunci (g— g) ßx = 0, deci există (şi este unic) un morfism s : astfel
încît
g = g + s ocj.
Avem
(h 4- <*s) aj = Haj + as аг = Ь аг + a (g — g) = agi,
de unde
h = h + as,
2 208 Teoria categoriilor
deci
F(h) = F (h) + F (OL) F (8).
Eezultă că
pF(h) = pF(h)
întrucît p F (OL) =0j deci morfismul §(u)p1 nu depinde de alegerea
lui g şi h, deci Q(u) nu depinde de alegerea lui g şi h (întrucît p± este
epimorfism).
î n mod similar se vede că §'(u) nu depinde de alegerea lui g şi h.
Fie acum ux şi u2 două morfisme de la A1 în A şi и = % + u2.
Dacă (gi9 /&.), i = 1, 2, este un cuplu de morfisme satisfăcînd condiţiile
de comutativitate pentru (i.e. gt ßx = şi lii ax = ctg), atunci cuplu]
(9i + 9 21 \ + satisface condiţiile de comutativitate pentru и = щ + u2.
Din cele precedente rezultă că putem calcula 0(wx), 0(^2) Şi folosind
cuplurile (g19 hL) (g2, Л2) şi (gfx + i/2, Ai + Ä2) respectiv. Eezultă că
0(W) = e ( ^ ) + e(u 2 ). Similar avem"6'(u) = Ъ (u±) + Q'(u2).
COROLAR.Pentru A1 = A,J1 = J şi Ж1 = JV, 0 (1 л ) = 1 şi 6' (1Л) = 1.
Să considerăm acum un al treilea şir exact
0 -> A2 -> J2 -> N2 -> 0
cu J2 injectiv, şi fie v : A -> un morfism.
LEMA 6 . 2 . 6(T?W) = 6(T?) Q(u) şi W(vu) = 6 (Г?) 0(М).
Demonstraţia este imediată.
COROLAR. Cînd J± este injectiv şi и izomorfism, 0(W) şi 0'(W)
izomorfisme.
Demonstraţie. Yom demonstra corolarul pentru 0(w). Există v : A->Aj
astfel încît vu = lAl şi uv = 1A. Întrucît J1 este injectiv, 0(v) este definit.
Dinlema precedentă rezultă că 0(v) 0(м) = 0(гж)=1. Similar 0(w) Q(v)=l.
TEOREMA 6 . 1 . Fie <2 o categorie abeliană cu suficiente injective şi
(2' o categorie abeliană oarecare. Functorul S este definit în F pentru
orice obiect F în Fonct ((2, (2').
Demonstraţie (după H. Cartanşi S. Eilenberg [3]). Fie F un functor
aditiv. Avem de arătat că există un d-functor universal 8(F) = (8n F)n>0
cu 8° F = F.
Pentru orice obiect A în (2, alegem un şir exact
EA:0 ^ A->J ^ 0
cu J injectiv. Această alegere fiind făcută, vom defini functorul aditiv
8XF : <2 -> S'
în modul următor. Pentru orice obiect A în <2, vom considera şirul
exact EA şi vom pune
8XF (A) = Coker F (OL).
Coomologie 209
ij J* lh
3' a'
F (A) -^*F(A")
^(g)J^ ^F(h)
F(J') F(N')-^-*SLF(A')
unde 8'° este epimorfismul canonic al conucleului. Din lema 6.1 rezultă că
morfismul §'°F(h) nu depinde de alegerea lui g şi Ji.
Yom defini morfismul bcrd
d° : F (A")PF (A')
prin
d° = *'°F(h),
2 210 Teoria categoriilor
deci avem
d°F(v) = 8,0F(h)F(v) = 8'0F(oi')F(g) =0.
n
înlocuind F cn 8 F, obţinem, prin iterare, pentrn orice întreg
n !> 0, morfisme bord
dn :8nF(A") 8n+1F(A')
definite prin formulele
dn = 8>n S n F
\f ;/ \t»
cu linii exacte. Avem de arătat că, pentru orice întreg n ;> 0, diagrama
următoare este comutativă
8«F(A")-?L 8n+1F(A')
8nF(B")-^8n+1F(B')
unde dn este morfismul bord asociat şirului exact 0 -> В' -> В -> В" 0.
Ţinînd seama de modul în care am definit functorii SnF şi morfismele
bord, este suficient să demonstrăm comutativitatea acestei diagrame în
cazul n = 0. Fie
Ев* : 0 - > j B ' - > J - > N - > 0
Coomologie 211
0 A'^ A -+A" — 0
i*
0 J' — N' 0
i"
0 B' J -*• N — 0
Din^ lema 6.2 rezultă imediat, ţinînd seama de definiţia morfismelor
д°, d° şi Я ^ Ч Я , că avem
d°F(f") =S1F(f')d°
ceea ce reprezintă comutativitatea diagramei noastre în cazul n = 0.
Vom arăta acum că, pentru orice şir exact 0 -> A' ->A A" ->0, şirul
F(u) Fiv) d° SVFftt) S*F(v)
F (A') —^F(A) —4 F (A") —» SXF {A') &F(A) ...
1
este un complex. Întrucît vu = 0, avem F(v)F(u)= 0 şi №F (v) S F(u) = 0.
Ştim că d°F(v)= 0. Folosind iterarea este suficient să mai arătăm că
81F(u) d°=0. Or, morfismul 8^(и)о° se obţine cu ajutorul lemei 6.2 din
diagrama următoare
0 — А' А Л A" — 0
I1
0 — A' J' — N' — 0
J.
o- 1 1 , / Д j
unde linia a doua este E A ,, iar linia a treia este Е л . Eezultă că pentru
a calcula morfismul 8гЕ{и) putem folosi diagrama comutativă
I« |S |.O
()-* А Л J Л ж o
şi deci S^iu) <>° _ 0. Astfel S(F) este un д-functor.
2 212 Teoria categoriilor
Mai departe, pentru orice şir exact ales E A avem un şir exact
SNF{ A) 8N
8aF(J) » SnF(N) Sn+1JP(A) 0.
unde 8n este morfismul bord de grad n asociat şirului exact EA. Apoi
8nF(J) = 0 pentru 1 (după corolarul precedent) şi TJ este izomorf
cu 8(F) etc.
Coomologie 213
§ 7. d-functori exacţi
0 ->J'
1 1
0 ->N->N"
i- Ф 1
0 0 0
cu linii exacte şi cu J', J, J" obiecte injective. întrucît Jf este injectiv,
linia de la mijloc este directă. După observaţia de mai sus, putem pre-
supune că funcţia de alegere E este astfel încît şirurile alese EA,, EA şi
EA" coincid cu coloanele diagramei precedente.
întrucît functorul aditiv F este semiexact şi întrucît şirul
O J' J -> J" este direct, avem diagrama comutativă cu linii exacte :
F(J') ->F(J) ->F(J")->0
I Ф Ф
F(N')->F(N)->F{N')
Din definiţia lui 8XF şi din duala lemei 1.12.2, rezultă că şirul următor
este exact
8lF(A') 8lF(A) -> 81F(A"),
i.e. 8XF este semiexact.
Pasul 2. Şirul F (А") ^ 8ХЕ{А') 8XF(A) este exact.
Să considerăm şirul exact ales EA : 0-> A ~>J ->N-> 0 cu J injectiv.
Construim o diagramă comutativă
Q —*• A JX
t N•
I1
0— A"^ f i N
Coomologie 215
i ' ^ i
И . I-
J' M
2 216 Teoria categoriilor
ß'l j. |i
o - + J ' Л Jf Л A" o
a'l |r
N' X N'
1 4
0 0
î n plus linia de la mijloc este directă întrucît J' este injectiv.
Eezultă că avem o diagramă comutativă cu linii exacte
unde 8' este conucleul lui F(OL')9 deci este morfismul bcrd de grad
0 asociat cu şirul exact FA,. Deci există şi este unic un morfism
0 : F(A,,)->S1F(AF) care înserat în diagrama precedentă o lasă comu-
tativă, i.e.
QF(q) = 8 'F(r).
î n plus 0 depinde functorial de şirul exact a : 0 -> A' -> A -> A " -> 0.
Din duala propoziţiei 1.7.2, rezultă că al doilea pătrat al dia-
gramei precedente este cocartezian, Astfel avem diagrama comutativă
F (S) F (R)
Fx(A) —» F {M) —» F(N')
8
| ^ j™ j'
F (A)
în care linia de sus este exactă (întrucît F este semixeact) iar pătratul
din dreapta este cocartezian. Din duala lemei 1.12.1, rezultă că şirul
Să presupunem mai intîi că şirul a : 0 - > A ' - > A ~ > A " coincide
cu şirul ales Е'л> : 0->A'->J'->N'->0. î n acest caz avem de arătat că
0 = ' —- 8', deci că 8'F(q + r) = 0.
întrucît ß' = и şi oc' = v, rezultă că (e — i) и = 0, deci există
s : N' -> M astfel încît
e — i = sv.
Avem qsv = q(z — i) = qz — qi = v, deci gs = 1 (întrucît v este epimor-
fism). Similar, rsv = r ( z — i) = r £ — ri = — a' = — deci r* == — 1.
Eezultă că M este o sumă directă a cuplului ( J', JV) cu injecţii
canonice i, deci F (Ut) este o sumă directă a cuplului ( F ( J ' ) , F(N')
cu injecţii canonice JF (г), JF (s). De aceea, pentruaarăta că 8 'F(q + r ) = 0 ,
este suficient să arătăm că 8'F(q + r) F(i)=0 şi 8'F(q + r) F(s) = 0. Or,
S'F(q+r)F(i)=b'F(qi+ri)=VF(aL')=0 şi 8'F(q + r) F(s) = 8F(qs+rs) =
= 8F(0) = 0. Astfel, în cazul particular considerat, 0 = — 8'.
î n cazul general, avem o diagramă comutativă
ij
ß' а'
0 0
deci un morfism de diagrame (1, </, h) : a->EA. Întrucît 0 depinde func-
torial de şirul exact a, rezultă o diagramă comutativă
F(Af,)-UsiF(A')
# j1
F(N') -A^(A')
i.e.
в = — 8'F(h) = - d°,
ceea ce termină demonstraţia teoremei.
§ 8. Functorul R°
avem un cuplu (R°F, pF) cu B°F obiect în Se (6, (2') şi pF : F -> R°F
morfism functorial, avînd următoarea proprietate universală : pentru
orice obiect в în Se ((2, (2') şi orice morfism functorial 9 : F->G există
şi este unic un morfism functorial 9 : R°F -> G astfel încît diagrama
următoare să fie comutativă
F —R°F
F'—> R°F'
Ф
F p 1
—R°F
Evident, R° este definit în F pentru orice obiect F în Se (<3, &'). î n
acest caz se ia R°F = F şi pF = 1F. Cu această alegere avem
R°i = 1.
Bezultă că dacă R° este definit peste tot pe categoria Fonct (S, S'),
atunci este un functor de completare.
TEOREMA 8 . 1 . Dacă (2 are suficiente injective, ESTE definit peste
tot pe categoria Fonct ((2, (2') şi este un functor exact.
Demonstraţie. Vom considera o funcţie E care alege, pentru orice
obiect A în (2, un şir exact Е л : 0 -> A -> J - > Ж -> 0 cu J injectiv. Presu-
punem, în plus, că, pentru orice obiect injectiv J în (2, Ej este şirul
0 -+A M 0
4 *
0 -*• A N — 0
unde linia de sus este EAl, iar linia de jos EA. Folosind această diagramă,
putem defini Q'(u) şi 0'(1). Evident, 0'(w) este monomorfism.
Din definiţia lui F 1 ' (u) şi din lema 6.2 rezultă că
F+(u) = 6'(tt)6'(l)
iar din corolarul la lema 6.2 rezultă că 0'(1) este izomorfism. Astfel F+ (u)
-este monomorfism, deci F este separat.
Pasul 3. Dacă F este separat, F+ este exact la stînga.
Fie 0 -> А' Л А Л A" -> 0 un şir exact în (2. După propoziţia 1.3,
avem o diagramă comutativă
0 0 0
1 i i
A' -*• J' -*• N' — 0
i i _ i
A J N —0
\r i i
A' 0
i i
0 0 0
în care toate liniile şi toate coloanele_sînt exacte, prima linie este E A f , a
triea linie este EA", iar obiectele J', J, J" sînt injective.
Eezultă o diagramă comutativă
0 0 0
1 1 1
0-*F+(A') ->F(J')-+F(N')
6' (u) I J, I
0 —Ker^(ă)— FÇ3) F(N)
Q-+ A j N 0
4 1 1
0 — ^1" -+N" — 0
unde linia a treia este EA. Folosind această diagramă, definim peO'(w),
0'(1) şi 0'(г>). Din definiţia lui F+(u) şi F+(v) şi din lema 6.2 rezultă că
F+(u) = 0'(1) Q'(u) şi Q'(v) = F+(v) 0'(1),
iar din corolarul la lema 6.2, că 0'(1) este izomorfism. Astfel şirul
jP-f- (u) JP+(U)
0 -*F+{A') —-*F+(A) *F+{A")
este de asemenea exact.
Pasul 4. Avem un morfism functorial p : F ->F+.
0 a
într-adevăr, să considerăm şirul exact ales EA
Avem JP(a) F($)=0, deci există şi este unic un morfism p(A): F(A)->F+ (A)
astfel încît să avem
F(ß) = ep(A),
unde г : F+(A)-> F(J)
и este monomorfismul canonic.
Fie acum A un morfism în (2. Considerăm şirul exact ales EAl
şi avem, ca mai sus,
F(M = ^(AJ.
Apoi avem o diagramă
F (A,) (AJ^Ffa)
unde g : J1->J este astfel încît g ßx = ßw. Pătratul din dreapta este comu-
tativ după definiţia lui F^ (u). Dreptunghiul este comutativ întrucît
s p (A) = F (ß), гг p (Ai) = F (ßj) şi întrucît F este functor. Eezultă că pătratul
din stînga este comutativ (se ţine seama că г este monomorfism), i.e.
p este morfism functorial.
Pasul 5. Pentru orice obiect G în categoria Se ((2, €') şi orice morfism
functorial cp : F -> G există şi este unic un morfism functorial o^ : F+ -> G
cu proprietatea că diagrama următoare este comutativă
F-Ï—+F+
\ R
G
într-adevăr, să considerăm, pentru orice obiect A în (2, şirul exact
ales EA . Avem o diagramă comutativă
1
F (A) (A) F(J) —>F(N)
j/C?(J) N|;
CPUV)
0 _ ö (A) ™ -, G(J)^G(N)
cu linia de jos exactă (întrucît G este exact la stînga). Vom nota această
diagramă prin D(A). Eezultă că există şi este unic un morfism
<p+ (J.) :F+ (J.) -> G (A) care inserat în diagrama precedentă o lasă comu-
tativă. într-adevăr, mai întîi există şi este unic <p+(A) astfel încît
G(ß) (A) = 9(J) s.
Întrucît G(ß) este monomorfism, se vede că avem de asemenea
7 (A) = c p + ( l ) p ( i ) .
и
Dacă avem un morfism A ^ A, atunci considerăm şirurile exacte
alese EAX şi EA şi avem un morfism de diagrame
(u, g, h) : EAX -> EA
саге arată că <p+ este un morfism functorial. Din cele precedente rezultă că
9 = 9+p.
-+A
n
0 -*J
—J J o ->0
în care linia de sus este EÂ, iar linia de jos Ej. Rezultă că diagrama urmă-
toare este comutativă
F+(A) ^F(J)F-^F(N)
J,™ I1 I
F+(J)=F(J) F(J) *0
i.e. e = . F + ( ß ) .
Pe de altă parte, întrucît ф este functorial, avem diagrama comu-
tativă
F+(A) F+(J) =F(J)
<J/(J) = ф(«7)
в (А) G(J)
Eezultă că
0(Р)ф(А) = 9 ( J )
deci
ф (A) = 9 +(A)
+
după definiţia lui 9 (A).
Pasul 6. Definiţia lui B°F.
Yom defini B°F cum urmează. Cînd F este exact la stînga, B°F =
= F. Cînd F este separat, fără a fi exact la stînga, B°F = F+. î n rest
vom pune R°F = (F+)+. Evident, functorul F (F+)+ este izomorf
cu functorul R°.
Pasul 7. Functorul B° este exact.
Fie 0 ->F' ->F ->F" un şir exact în categoria Fonct ((2, (2'). Pentru
orice obiect A în (2, considerăm şirul exact ales E A şi avem diagrama
comutativă
0 ->F'(J) -+F(J) ->F"{J)
FR (A)^ N[/
JP(A)
J/^" (A)
§ 9. Functori derivaţi
'i î*
Se ((2, (2')
Beamintim că 8 este un adjunct la stînga al lui satisfăcînd
ti0 8 = 1, iar B° un adjunct la stînga al lui i satisfăcînd B°i = 1.
DEFINIŢIE. Dacă (2 şi (2' sînt astfel încît functorii B° şi 8 există,
vom defini functorul
В : Fonct ((2, (2') -> Э-Fonct ((2, (2')
prin egalitatea
В = Si B°
şi vom spune că В există.
Mai general, dacă F : <2->(2' este un functor aditiv astfel încît B°F
şi S(F) există, atunci definim 3-functorul B(F) de la (2 în (2r prin
egalitatea
B(F) = S(B°F).
2 224 Teoria categoriilor
0 ->Hom5 (A, B') -> Honi£ (А, В) - > Н о т е (А, В") Л E x t | (A, B') -> . . .
este exact.
Coomologie 225
şi
RqF (A) « Ker F(dq) / Im F(d^1)
pentru q 1.
Demonstraţie. Pentru orice q >- 0, fie ß9 : Zq -> Xй un nucleu al
lui dq ; pentru q = 0, vom lua Z° = A şi ß° = s. Pentru q ;> 1, avem
dq d4"1 = 0, deci există şi este unic un morfism a4"1 : Xя"1 -> Z4 astfel
încît
= ß« a«"1.
Întrucît F este exact la stînga, pentru orice q >« 0 avem un şir
exact
F(&q) F(dq)
0 ->F(Zq) —-*F(Xq) » F(Xя+1)
i.e. F (Zq) este canonic izomorf cu Ker F (dq). î n particular avem concluzia
teoremei pentru q = 0.
Mai departe, pentru q > 1, F^'1) = F (ß*) F(a*"1), i.e. diagrama
următoare este comutativă
F (Zq)
г \
F^-1) / \F(bq)
/ \
/ F((lq-1, N
F{Xq-x) + F(Xq)
de unde rezultă că
Im F (d4'1) x Im F (OL^1),
deci concluzia teoremei pentru q >- 1 revine la aserţiunea că există un
morfism F(Zq) -> RqF(A) astfel încît să avem un şir exact
F(Xя-1) -> F (Zq) -> RqF(A) -^0.
Dar avem şirul exact
o _> Z"'1 ——> Xя-1 —* Zq -> 0.
Întrucît R (F) este un д-functor coomologic şi întrucît Xq i
este F-aciclic,
rezultă că avem un şir exact
q q
F ( X ~ F ( Z ) -> R1F(Zq~1) -> 0.
Astfel totul se reduce la a arăta că
RqF(A)œ R1F(Zq~1).
Or, pentru orice întreg p >- 0, şirul următor este exact
ßP cxP
o zp —> xp —> Zp+1 -> 0.
Coomologie 22?
şi avem izomorfisme
R°F (А) ж Ker F(d°) şi W ( A ) ж Ker / Im ^ ( й ^ 1 )
pentru 1.
Demonstraţie. Fie A un obiect în Întrucît (2 are suficiente injec-
tive, există un şir exact
о -+Z1 j1 iz2->o
cu J 1 injectiv, şi aşa mai departe. Ca rezultat obţinem o rezoluţie injectivă
cu d° = ß1 a°, . . .
După observaţia de la sfîrşitul § 8 avem R°F (Jq) = F(Jq) şi
R°F (dq) = F(dq) pentru toţi q>0. Apoi întrucît R°F este exact la
stînga, avem un şir exact
Din teorema 9.2 rezultă că, pentru orice spaţiu inelat X, Э-func-
torul He (X,.) = (He (X, are proprietăţile următoare :
i) H°e (X, F) = F (X) pentru orice Modul JP pe X,
ii) Я£> (X, JP) = 0 cînd JP este injectiv şi q > 1,
iii) Я а (X, .) este un д-functor coomologic, i.e. pentru orice şir
exact 0 ->F' F -+F" 0 în categoria (2 = U-Mod X, şirul
u(sf) = (t1-t0)\V0nV1.
Pe de altă parte, F este flasc, deci există s[ g F' (Fx) astfel încît
s'i\ y0nyi = s'.
2 234 Teoria categoriilor
Atunci
h + и (si) e F ( V v ( t , + w (s[)) = s" i V,
Şi
(t1 + u(s[))\ У0ПУг = г0\ F0n^i-
Astfel, înlocuind la nevoie ^ cu -f и (s[), putem presupune că t± =
pe F 0 ^n
întrucît F este fascicul, există tţF(V) astfel încît
t1 = t\V1 şi t0 = t\V0,
unde F = F 0 (J V1. Cum V conţine strict pe F 0 , elementul (F 0 , f0) nu
este maximal în a, ceea ce este o contradicţie.
Astfel, pentru orice mulţime deschisă TJ în X, şiiul
0 ->F'(U) ->F(TJ) ->F"(U) ->0
este exact.
Pînă aici s-a folosit doar faptul că şirul 0 -> F' -> F -> F" -> 0 este
exact şi că fasciculul F' este flasc. Să presupunem acum că şi F este flasc.
Atunci, pentru orice mulţime deschisă TJ în X, avem o diagramă co-
mutativă
0 ->F'(X) ->F(X) ->F"(X) ->0
i i i '
0 ->F'(U) ->F(U) ->F"(V) ->0
cu linii exacte şi săgeata verticală de la mijloc epimorfism. Eezultă că
ultima săgeată verticală este epimorfism, i.e. F " este flasc, ceea ce termină
demonstraţia teoremei.
COROLARUL 1. Module flasce pe X sînt Г x -aciclice si, pentru orice
Modul F pe X, modulele de coomologic H% (X, F) se pot calcula cu ajutorul
unei rezoluţii flasce.
Demonstraţie. După teoremele 10.3 şi 10.1.
COROLARUL 2. Pentru orice Modul F pe X,
q q
H e(X,F) = H (X, F)
pentru structurile de grup abelian.
Demonstraţie. într-adevăr, un Modul G pe X este flasc dacă şi numai
dacă fasciculul de grupuri abeliene subiacent lui G este flasc. Dacă F este
un Modul oarecare pe X, avem o rezoluţie flască
0 -> F Л G° -> G1 -> . . .
Aceasta este în particular o rezoluţie flască pentru structura subiacentă
<le fascicul de grupuri abeliene etc.
Coomologie 235
este surjectivă.
Dacă F este un fascicul de grupuri abeliene sau de inele pe X, sau
un Modul pe un spaţiu inelat X cu spaţiu topologic subiacent paracompact,
vom spune că iveşte moale dacă fasciculul de mulţimi subiacent lui F este
moale.
X fiind presupus mereu paracompact, din teorema II.9.1 rezultă
că orice fascicul flasc este moale. De asemenea, dacă F este un fascicul
moale pe X şi dacă 8 este un subspaţiu închis al lui X, atunci fasciculul
indus FI 8 este moale.
Yom arăta că noţiunea de fascicul moale are caracter local.
PROPOZIŢIA 1 3 . 1 . Fie F an fascicul de mulţimi pe un spaţiu para-
compact X avînd proprietatea că există o acoperire deschisă (UJ&j a lui X
astfel încît, pentru orice i g I şi orice mulţime închisă M CZ Г*, aplicaţia
fijiFm-^FiM)
este surjectivă. Atunci F este moale.
Demonstraţie. întrucît X este paracompact, putem presupune că
acoperirea ( CJ^j este local finită. Fie (FJ^j o altă acoperire deschisă a
lui X astfel încît V^ CZ TJI pentru orice i g 1.
Fie 8 o mulţime închisă în X şi s £F (S). Pentru orice submulţime
J a lui I, vom pune
Sj= и v,.
deci (8jJ) < (s', J'). Cum J =j= J', elementul (s, J) nu este maximal în a,
ceea ce este o contradicţie.
Să presupunem acum că şi F este moale. Atunci, pentru orice mul-
ţime închisă 8 în X , avem diagrama comutativă
F(X) ^>F"(X)
i . i
F (8) -UF"(S)
o R л Q° Л а 1 Л . . .
a
= s ai,i dz
4 A • • • Л dzhi A л . . . Л dZiq,
i, j
iar d"oc se defineşte prin
d a =
" S d"au A dzi, Л ... Л dzip д dz h Д . . . Д d z k ,
г, j
unde
d
" да. .
S
k — l dzk
O formă diferenţială ag Lp,q(X) se zice A"-închisă dacă d"oc = О
şi d ''-exactă dacă g > 1 şi dacă există ß £ QP*«-1 ( X ) astfel încît a = d"ß.
Este valabil atunci un analog al teoremei lui Poincaré, datorit lui Grothen-
dieck, din care rezultă în particular că avem un şir exact de Module pe X
e d" d"
0 <9 —> —> L0'1 —> . . .
unde s este incluziunea.
Din corolarul precedent şi teorema 10.1 rezultă că este adevărată
TEOREMA LUI DOLBEAULT. Fie X o varietate analitică complexă para-
compactă. Pentru q >-1, grupul Hf (X, Ô) este izomorf cu grupul cît at
grupului formelor diferenţiale <i"~închise de tip (0, q) prin subgrupul for-
melor diferenţiale d"-exacte.
2 240 Teoria categoriilor
Bibliografie
Suprafeţe riemanniene
de
Cabiria Andreian Cazacu
Introducere
§ 1. Grupul fundamental
Se verifică uşor :
PROPOZIŢIA 1 . 3 . Clasele de drumuri închise cu originea în punctul
p, omotope între ele, formează un grup faţă de următoarea lege de compunere
WP [ß]„ = [aß]*,
unde OL şi $ sînt drumuri închise cu originea p.
Acest grup va fi notat TZx (X, p) şi se numeşte grupul fundamental
(grupul lui Poincarê) al lui X relativ la p.
3. Spaţiul topologic X se numeşte conex prin arce (liniar conex),
dacă oricare ar fi două puncte p şi q din X, ele se pot uni printr-un drum
pe X (i. e. există aplicaţia continuă / : I -> X, cu / (0) = p şi / (1) = q).
Aceste spaţii constituie un cadru natural de aplicaţie pentru propoziţiile
ce urmează în acest paragraf.
PROPOZIŢIA 1 . 4 . Dacă p şi q sînt două puncte din spaţiul topologic X,
care se pot uni printr-un drum pe X, atunci щ (X, p) şi % (X, q) sînt izo-
morfe. în particular, dacă X este liniar conex, oricare ar f i p ş i q din X,
proprietatea are loc.
într-adevăr, fie y un drum pe X cu originea q şi extremitatea
Aplicaţia со, care asociază fiecărei clase [a] p clasa [y a y - 1 ] a , este un
izomorfism al lui i ( X , p) pe ^ (X, g).
Un izomorfism со al grupului т^ (X, p) pe grupul тсг ( X , g) se numeşte
permis, dacă există un drum y cu originea q şi extremitatea p, astfel încît r
(!>]*) = Cî a Y"1]«?
oricare ar fi drumul închis a cu originea p.
PROPOZIŢIA 1 . 5 . Orice automorfism interior al grupului izx (X, p)
este izomorfism permis şi reciproc orice automorfism permis al lui izx (X, p)
este interior.
Cu ajutorul izomorfismelor permise se introduce următoarea echiva-
lenţă între omomorfismele grupurilor fundamentale a două spaţii topologice
X 1şi X' :
Fie X : Щ (X, P) -> TZx (X', p') şi [л : ^ (X, g) -> ^ (X', g'), două omo-
morfisme ale grupurilor fundamentale indicate, p, q, p' şi q' fiind puncte
arbitrare din X respectiv X'. Se spune că X şi ^ sînt echivalente, dacă
există izomorfismele permise со şi со', astfel încît următoarea diagramă să
fie comutativă :
тих (X, p ) — ( X ' , p ' )
(1.1) со j l »>
щ(Х, q) _ ! U TÜ! ( X ' , G')
Fie X liniar conex. Aceste grupuri sînt izomorfe între ele prin izo-
morfisme permise, deci definesc un grup abstract, pe care îl vom nota cu
TZx ( X ) şi îl vom numi grupul fundamental al lui X. Evident, (X) este un
invariant topologic asociat spaţiului X.
Dacă TZx (X) se reduce la elementul unitate, spaţiul X se numeşte
(omotop) simplu conex ([46], p. 230 ; [26], p. 62). Pentru ca X să fie simplu
conex, este necesar şi suficient ca orice două drumuri din X cu aceleaşi
extremităţi să fie omotope. Condiţia este evident suficientă, astfel încît
schiţăm numai demonstraţia necesităţii ei : Fie a' şi a" două drumuri cu
aceleaşi extremităţi. Drumul a' a " - 1 este un drum închis de p e X , deci
estenul-omotop. Atunci (a' a""1) a" este omotop cu a" şi cum a' ( a " - 1 a")
este omotop cu a', rezultă că a' este omotop cu a".
Un spaţiu contractibil este evident omotop simplu conex.
Să alegem un punct Pq Ç X, un izomorfism iPo : 7^ (X, p0) —> 7^ (X)
şi pentru fiecare punct p ţ X u n izomorfism permis u>PPo : щ (X, (X, p 0 ).
Să notăm cu ip = iPo ° O> : TZ± (X, p) ->
PPO (X). Se verifică imediat
PROPOZIŢIA 1 . 6 . Orice izomorfism permis СО : 7^ ( X , p) 7^ ( X , q)
induce un automorfism interior £} = iQ° ip1 : щ (X) n± (X) şi reci-
proc, dacă O este un automorfism interior : 7^ (X) щ (X), atunci СО =
= i" 1 о О о ip este un izomorfism permis.
Fie X' un alt spaţiu topologic liniar conex şi izomorfismele
i'v, : 7ti (X', p') (X'), p' Ç X', definite ca mai sus.
PROPOZIŢIA 1 . 7 . Orice omomorfism X : щ ( X , p) - > щ ( X ' , p') induce
un omomorfism A = ip, o \ O {-1 : щ (X) -> щ (X').
Evident, înlocuind izomorfismele ip respectiv i'v, prin alte izomor-
fisme jp respectiv j^,, astfel încît j'1 o iv şi j'^1 o i'v, să fie izomorfisme
permise, transformăm Л într-un omomorfism M : т:г (X) -> 7г1(Х/), dedus
din Л printr-un automorfism interior al lui щ (X').
PROPOZIŢIA 1 . 8 . Dacă X : 7^ ( X , p) - > ( X ' , p') şi TZ ( X , q) ->
X
d-1') Û j J o'
M
7Г, (X) > 7Ü! (X')
unde Й = o w o i" 1 şi £}' = i'qt о со' o i",1, sînt simultan comutative sau
nu, iar û şi Û' sînt automorfisme interioare.
5 . TEOREMA 1.1. Fie X şi X două spaţii topologice, p un punct
arbitrar dar fixat din X, f o aplicaţie continuă a lui X în X şi p = / (p).
Elemente din teoria omotopiei 251*
<1.2) / » № ) F= [ / ( a ) b ) .
Această definiţie are sens : dacă 3 g [a]*> deci a şi ß sînt omotope, atunci
/ ( a ) Şi / (3) sînt de asemenea omotope. Se verifică imediat că aplicaţia
f t : Tz-L (X, p) 7Ü! (X, p) este un omomorfism. Nucleul acestui omo-
morfism este dat de subgrupul claselor , pentru care / (a) este nul-
omotop. _
2°. Fie y un drum arbitrar pe X, unind q cu p, / (y) drumul imagine
pe X şi w respectiv со izomorfismele permise corespunzătoare lui Y Şi
f (Y). Dacă este o clasă arbitrară din щ (X, p) şi q = f (q), atunci
^ ( / o / î p - C ^ C T U ! (X, p).
§ 2. Acoperiri
4
) Dacă f nu este surjectiv, poate să nu fie izomorfism. De exemplu : X — co-
roana circulară гг < | p | < r2 ; X — planul ; f — aplicaţia de incluziune f : p = p ; p 0 £ X ;
a — drumul obţinut descriind o dată în sens direct | p ! = | p 0 | şi ß — drumul nul cu origi-
nea p 0 б;atunci [a], 0 fß] 5e , dar [f (cc)b0 = [f (ß)] po •
) Teorema 1.1, observaţia 1.2 şi propoziţia 1.9 pun în evidenţă un functor covariant
Cf de la categoria ale cărei obiecte sînt perechi ( X , p) cu X-spaţiu topologic şi p punct din X
şi ale cărei morfisme (X, p) (X, p) sînt aplicaţii continue f: X X cu f (p) = p, în cate-
goria grupurilor cu morfisme-omomorfismele : Cf [(X, p)] = tzx (X, p) şi ( f ( f ) = •
Elemente din teoria omotopiei 253*
(2.1)
X
Opera lui S. Stoilow a contribuit hotărîtor la dezvoltarea teoriei
acoperirilor. Lui i se datoreşte noţiunea de accperire riemanniană (numită
clasic suprafaţă riemanniană de acoperire) : acoperire (X, /, X), unde X
este o suprafaţă riemanniană, X este o suprafaţă, iar / o transformare
interioară (continuă, deschisă şi O-dimensională) ( [41] ; [40], Cap. VII).
Un rol deosebit în cele ce urmează îl au acoperirile neramificate —
numite şi etalări — acoperiri (X, /, X) pentru care f este un omeomorfism
local (orice punct p € X are o vecinătate 7 ) v9 care este reprezentată
omeomorf de f pe un deschis v din X). Evident, / este o transformare
interioară :
a) Prin definiţie, f este continuă.
b) Fie Ö o mulţime deschisă din X şi p un punct din O. Prin ipoteză,
există vecinătatea v reprezentată topologic de f pe imaginea sajy, vecină-
tatea lui p = f(p). Cum p ţ f ( 0 П 5) C / ( 0 ) , rezultă că f(O) este un
deschis din X şi f este deschisă. _
c) Oricare ar fi punctul p ţ f ( X ) şi pţf^ip), există vecinătatea
v a lui p din X, astfel încît {p} = v f| / _ 1 (p)- Pri n urmare, dacă p g X
sau / _ 1 (p) == 0 sau / _ 1 (p) este o mulţime de puncte izolate, iar / este
O-dimensională (i.e. nu transformă nici un continuu nedegenerat într-un
punct). Dacă X este spaţiu separat, sau mai general satisface axioma T1
de separaţie, fibra / _ 1 (p) nu are punct de acumulare în X.
2.1. Fie ( X , / , X) o acoperire neramificată, X un drum pe X, definit
de 9 : 1 X, cu originea p = 9 (0) şi p un punct d i n / - 1 (p). A transporta
(sau ridica) drumul X pe X în punctul p înseamnă a da un drum X pe X
cu originea p, astfel încît / (X) = X.
Transportul unui drum se poate realiza printr-un procedeu analog
cu prelungirea analitică în lungul unui drum ([39], p. 115). Fie v o veci-
nătate a lui p, reprezentată topologic de / pe vecinătatea v a lui p. Dacă
X C V, atunci X = (/|p) _1 (X), unde ( / b ) - 1 este omeomorfismu] invers
6
) Acoperirile unui spaţiu X sînt obiectele unei categorii, a căror morfisme (Хг, , X)
(X2, f 2 , X) sînt aplicaţii continue cp : Хг X 2 , ce fac comutativă diagrama (2.1). Egali-
tatea acoperirilor definită mai sus este izomorfismul a două obiecte din această categorie.
7
) Prin vecinătate a unui punct convenim să înţelegem un deschis, care conţine punctul,
exceptînd cazul cînd vom indica contrariul.
254 Suprafeţe riemanniene
ridicăm toate drumurile ale căror clase de omotopie aparţin lui din
orice punct al fibrei f'1 (p). Drumurile transportate vor fi toate închise,
atunci şi numai atunci cînd este divizor normal în т^ (X, p).
O acoperire (X, /, X) neramificată, far a frontieră cu transport unic,
spaţiile X şi X fiind liniar conexe, se numeşte regulată, dacă este divizor
normal în (X, p), pentru p ţ X şi p = f (p) n).
Teorema 2.1 şi consecinţa 2.3 permit să completăm teorema 1.1' în
modul următor :
TEOREMA 2 . 1 ' . Fie ( X , / , X ) o acoperire neramificată cu transport
posibil şi unic, iar X şi X spaţii liniar conexe. _
1°. Aplicaţia f induce un izomorfism F : TUJ (X) —> (X) determinat
pînă la un automorfism interior al lui т:1 (X) şi pune în evidenţă clasa de
subgrupuri conjugate cu ß = F [пг (X)] din щ (X).
2° Bacă ß este divizor norm,al, drumurile închise de pe X, corespunzînd
la clase din se ridică în drumuri închise pe X.
3.5. Am văzut că oricărei acoperiri ( X , / , X) îi putem asocia pentru
fiecare punct p g X un subgrup ^ СI ~ i ( X , / ( p ) ) . Vom demonstra o
reciprocă a acestei proprietăţi :
PROPOZIŢIA 2 . 7 . Fie X un spaţiu topologic liniar conex şi local
simplu conex. Oricare ar fi punctul pţX şi subgrupul ß d щ (X, p),
există o acoperire neramificată, fără frontieră, cu transport unic (X, /, X)
şi ww punct p g X, astfel încît = ( Spaţiul X rezultă liniar conex
şi local simplu conex).
Considerăm pentru fiecare punct q g X mulţimea drumurilor X cu
originea p şi extremitatea g şi le grupăm în clase notate {X}, prin urmă-
toarea relaţie de echivalenţă : X' g {X}, dacă şi numai dacă [X' X"1]^ g
(Dacă q = aceste clase coincid cu clasele alătuiate lui ^ în ^ ( X , p)).
Notăm X mulţimea acestor clase şi / aplicaţia X X, care asociază fie-
cărei clase q = {X}, definită de drumul X cu extremitatea g, punctul g.
OrganizămX ca spaţiu topologic, luînd drept vecinătăţi ale lui g g X mul-
ţimile u-, construite în modul următor, plecînd de la mulţimile uq din X
deschise, simplu conexe, ce conţin q: Fie q* un punct arbitrar din uq,
X* un drum din uq cu originea q şi extremitatea g*, iar X un drum din clasa g.
Drumul XX* defineşte clasa g*, iar и- este mulţimea claselor g*, cînd g*
descrie ^ . Se verifică imediat că : X este spaţiu topologic este omeo-
morfism local : ü~—> uQ ; ridicarea drumurilor e totdeauna posibilă univoc ;
~ pe
X e liniar conex şi local simplu conex. Din propoziţia 2.6 rezultă că acope-
rirea ( X , / , X) este neramificată, fără frontieră, iar din teorema 2.1, 2°,
u
) Am folosit denumirile de acoperire neramificată, neramificată fără frontieră, regu-
lată date de R. Nevanlinna [311 ; în monografia [7], aceste noţiuni sînt numite respectiv aco-
perire netedă, regulată, normală.
260 Suprafeţe riemanniene
(2.2)
§ Л Acoperirea universală
după teorema 3.2. Proiecţia acestei acoperiri a fost notată cu П^, deoarece
după observaţiile 3.3 şi 3.4, grupul G fiind tranzitiv, relaţiile de echiva-
lenţă (3.2) şi (3.3) definite de proiecţie respectiv de grupul G coincid,
iar X este omeomorf cu X/G. Acoperirea ( X , IIG, X) SAe numeşte universală,
fiindcă după teorema 2.2, oricare ar fi acoperirea ( X , / , X) neramificată
cu transport posibil şi unic, există o acoperire ( X , / , X) astfel încît UG =
= f of. Tot din teorema 2.2 rezultă că acoperirea ( X , n G , X) este inde-
pendentă de p, pînă la o egalitate de acoperiri.
Conform teoremei 2.1,1°, grupul p) se reduce la elementul
neutru, fiindcă Пв>з este un izomorfism. Prin urmare, spaţiul X este omotop
simplu conex. (După propoziţia 2.7, ştiam că X este liniar conex şi local
simplu conex.)
Teorema 2.1, 3°, arată că numărul foilor acoperirii universale este
egal cu ordinul lui тих(Х, p).
2. Vom aprofunda acum izomorfismul : G -> щ ( X , p), pe care îl
vom nota A e Beamintim din demonstraţia teoremei 3.2, definiţia
lui AGtî> : ^ a
1° Fiind dat unim p cu T(p) printr-un drum v cu proiecţia
П в (y) = Y; atunci A G t b { T ) = [y] p .
2°. Eeciproc, luînd [y] v 6 щ (X, p), transportăm Y din p prin drumul
y ; atunci A-_i([Y]j>) = transformarea de acoperire pentru care Ty(p)
este extremitatea lui y-
PROPOZIŢIA 4 . 1 . Fie X : G-^G un automorfism, <O : щ(Х, p) -> ТИХ (X, q)
un izomorfism, p 6 П^1 (p) şiqţ Uq1 (q). Dacă următoarea diagramă
G - M
(4.1) j w j Agj
TU г (х,р)—*щ(Х,а)
este comutativă, X este automorfism interior atunci şi numai atunci cînd
со este izomorfism permis.
Verificarea este imediată : Fie <o izomorfismul permis definit de
drumul Y c u originea q şi extremitatea p. Notăm cu Y transportatul
T
lui Y din g, cu pi extremitatea lui Y Şi transformarea din G, pentru
care t(p) = px. Dacă TÇ G şi а = П 0 (а), unde à este un drum unind p
cu T(p), pentru a obţine Тг=ЦТ) = A~i([yay-^]q) transportăm y" 1 din
T[T(p)] şi obţinem Y f l c u extremitatea T±(q). Evident, YI = ^I(y)' d e c i
т[Т(р)] = T X [ T ( P ) J sau T± = Ю Г О Т " 1 ; prin urmare X este automor-
fismul interior determinat de т. Eeciproca se stabileşte urmărind raţiona-
mentul în sens invers.
Observaţia 4.1. Propoziţiile 1.6 şi 4.1 arată că automorfismele
X : G-+G şi Ù = i^cooi'1 : ъг(Х)-+ кг(Х) sînt simultan interioare sau nu.
Elemente din teoria omotopiei 265*
§ 5. Aplicaţii omotope
A T A
(5.1) П,|
X - ^ X '
să fie comutativă sau
(6.1') f o U G = U G f o f .
(5.2) T j _ j X .(T)
A / A
oricare ar fi T £ G, i.e.
(5.2') foT=Xf(T)of.
Omomorfismul yf face comutativă diagrama
G U—» G'
(5.3) Авл j j Ло-.i'.
266 Suprafeţe riemanniene
sau
a a
(5.3') Xf = Gh ° f p° GJ
si verifică relaţia
(5.4) (T) = Т[оХ7 (Т)ОТ;-1
ne, [/(T(g))] = / [ п в ( Г ( $ ) ) ] = / [ n e ( a ) ] ,
putem scrie
Пв,о(/оТ) = / о П в
şi conform punctului 1°, există T' € G' astfel încît
foT = Го/.
Am stabilit astfel o aplicaţie xj ' care depinde numai de / şi aso-
ciază lui T transformarea T' =
Se verifică imediat relaţia (5.3) : Dacă a este un drum ce uneşte
p şi T(p), atunci A G 3 ( T ) = |>] p cu a = П в (а). Prin definiţie, / p ([a] p ) =
= [/(a)]î>'- Fiindcă /(a) este transportatul drumului / ( a ) în punctul p',
л
ё,в;([/(а)] р ,) este transformarea ce duce p în / [T(p)], extremitatea
lui /(à), adică tocmai X/(T). De aici rezultă că X/ este un omomorfism
şi că este unic determinat de / 15 ).
14
) Punctul 2° se poate enunţa şi sub forma : aplicaţia f induce un omomorfism X : G-»G',
determinat pînă la un automorfism interior al lui G
15
) Evident, Ker x- e s t e intersecţia lui G cu grupul transformărilor de acoperire cores-
A A A f
punzătoare lui (X, f , X').
Elemente din teoria omotopiei 267*
f * T\
si
(5-6) Eelaţia (5.5) se obţine imediat
*/,<> =din/comutativitatea diagramei
х Ж х г Ж х 2
M ,4 f l1^
şi din condiţia (/ 2 o/ 1 )(p) =(f2of1)(p). Cum (/2<>£), = ( / 2 ) P i o ( / ^ (după
§ 1.5, formula (1.4)), relaţia (5.6) se deduce aplicînd (5.3').
Revenind la punctul 3° din teorema 5.1, să presupunem că f este
un omeomorfism surjectiv şi să n o t ă m / - 1 omeomorfismul invers : X ' ^ X .
/4 * A A
După punctul 1° din această teoremă, lui f~l îi corespunde f : X ' ^ X ,
unic determinat prin condiţia de a transforma p' în p şi după propozi-
ziţia 5.1,
/ - 1 o / = ÎX = l i ,
268 Suprafeţe riemanniene
A
unde am notat 1^, l £ omeomorfismul identic al lui X, respectiv X, pe el
A
însuşi şi lx (p) = p. Prin urmare
/N
1 1
(5.7) f = Г
(5.9) Xu = Xr1.
,şi definim univoc/(p) = p'. Cum HG şi TlG, sînt omeomorfisme locale, / este
continuă. Afirmaţia 3° este astfel complet demonstrată, iar 2° rezultă
din teorema 5.1, 2°.
Condiţia 4° este necesară după observaţia 3.1. Ea este şi suficientă,
deoarece oricare ar fi p £ X, dacă G d (?", mulţimea {/ [ П ^ ) ] } se
reduce la un punct. Notînd p' acest punct, definim/(p) = p'.
PROPOZIŢIA 5 . 2 . Păstrînd notaţiile de mai sus, /IE / : X ^ X ' O apli-
caţie continuă, care induce aplicaţia f : X^X' şi omomorfismul x; : G-+G'.
1°. Dacă f este aplicaţie surjectivă, atunci f are aceeaşi proprietate,
dar yj poate să nu fie surjectiv.
2°. Daca / este aplicaţie injectivă, // este injectiv, dar proprietatea
nu este adevărată pentru f .
Fie / surjectivă şi Atunci există p € (П^, °/) _ 1 (p') şinotînd
HG (?>) = P £ X , avem / ( p ) = p'. Dacă / este injectivă, x; a r e aceeaşi
proprietate după cum rezultă din (5.2').
Celelalte două afirmaţii ale propoziţiei 5.2 sînt ilustrate prin urmă-
torul exemplu : Fie X = X' = X = U semiplanul superior, X' torul cu
două găuri, iar / = П 0 aplicaţia identică. Atunci / = П^,, iar x; este apli-
caţia lui G în subgrupul unitate al lui G'. Omeomorfismul surjectiv / _ 1
nu induce aplicaţii X'-^X sau G'-+G.
PROPOZIŢIA 5 . 3 . Condiţia necesară şi suficientă pentru ca omeomor-
Jismul surjectiv f să inducă un omeomorfism (surjectiv) f este ca G' =
= / < ? / - ! 16).
î n adevăr, pentru ca / să inducă un omeomorfism / este necesar şi
suficient ca atît / cît ş i / " 1 să inducă o aplicaţie X - > X ' respectiv X'->X.
Conform teoremei 5.2, 4°, pentru aceasta este necesar şi suficient ca
G CZ / - 1 G ' / , grupul transformărilor acoperirii (X, UG,°f, X') şi G' CZ fGf
grupul transformărilor acoperirii (X х , I l G o / - 1 , X), de unde rezultă propo-
ziţia 5.3 17).
3. Din rezultatele stabilite vom deduce acum o primă proprietate
a claselor de aplicaţii continue omotope între două spaţii topologice X
şi X', liniar conexe şi local simplu conexe.
13
) Am notat f G f - 1 grupul transformărilor f o To f-1, pentru T g G.
17
A
) Propoziţia 5.3 se poate demonstra şi folosind teorema 5.2, 3° : Dacă f induce cmeo-
A A A A
morfismul surjectiv f , atunci f induce Xy Şi relaţia (5.2) implică f G /'~ 1 CI G' ; cum f~x induc©
A A A
f - 1 , putem scrie şi incluziunea contrară. Invers, dacă f G f - 1 = G', atunci/* induce y- definit
A A A
prin relaţia y-{T) = f o T o f-1, oricare ar fi T £ G ; prin urmare f induce o aplicaţie continuă f.
Raţionînd analog asupra lui f-1, deducem că f este omeomorfism surjectiv.
270 Suprafeţe riemanniene
Să formăm diagrama
Xo
G- G'
/
v
e',/o <г>
MS
XI
G G'
Ле /
у/ ^G'Jvib)
XV.
V)
pentru p g Uq г(р) şi <ùk(Jc = 1, 2, 3, 4), aplicaţii ce vor fi definite mai jos-
Faţa superioară şi cea inferioară sînt comutative, conform relaţiei (5.3').
1°. Să presupunem că există A'gCr', astfel încît
X^T) =A'oX0(T)oA-*
oricare ar fi T € G. Yom alege şi <o2 transformarea identică, <o3 auto-
morfismul interior al lui G' determinat de A' şi <o4 = Л е , ^ о садоЛ^,1
Deducem
°/OP ~ fip ° Şi cum, din propoziţia 4.1, rezultă că şi
6>4 sînt izomorfisme permise, prin definiţie fov şi flv sînt echivalente.
2° Eeciproc, să presupunem fkv echivalente şi să alegem şi <o4
izomorfismele permise, corespunzătoare acestei echivalenţe. Propoziţia
4.1 asigipă că <o2 = Л^.з o ^ o AG ь şi co3 = AG\ o <o4 o sînt
automorfisme interioare. Fie AţG şi A'ÇG' elementele ce determină
aceste automorfisme. Deducem Xi ° = ^з ° Xo s a u ? pentru orice T € Gr
A' o X0(T) o A'"* = A'1) = U) ^i(^)" 1 ;
deci, notînd В' = ^(J.)" 1 o A', obţinem
f l
ЩТ) = B'oX0( T)oB .
Ţinînd seama de teorema 5.4, putem scrie :
TEOREMA 6 . 3 " . JDacă aplicaţiile continue fk X -> X', îc = 0, 1, sînt
omotope, omomorfismele fkp : p) Tz-iiX'j fk(p)) sînt echivalente, ori-
care ar fi p g X.
272 Suprafeţe riemanniene
a* din K* cn preimaginea 'cr* şi omeomorfismul cp* : 'cr* -> a*. Fie A trans-
formarea afină 'GT—G* determinată de corespondenţa vîrfurilor din schemă.
Luînd / = 9*oJ.oçp~ 1 pentrn pnnctele lui a, se arată că / este un omeomor-
fism al lui К pe К*. Vom spune că f reprezintă liniar a pe f(cr).
PROPOZIŢIA 5 . 6 . Orice complex simplicial n-dimensional К se repre-
zintă topologic pe un complex simplicial liniar (i.e. format din simplexe
liniare) K* din E2n+i9 astfel încît fiecare dintre simplexele lui К să fie
reprezentat liniar pe simplexul imagine.
Pentru a stabili propoziţia 5.6, să observăm că o mulţime cel mult
numărabilă Ж", în care s-au fixat anumite submulţimi distinse, constituie
schema unui w-complex simplicial K* (i.e. există o corespondenţă biuni-
vocă între elementele lui M şi vîrfurile lui К*, prin care submulţimile
distinse din M trec în vîrfurile simplexelor lui К*), atunci şi numai
atunci cînd sînt îndeplinite următoarele condiţii :
1° Orice submulţime distinsă are cel mult n + 1 elemente (dar există
cel puţin o submulţime cu n + 1 elemente).
2° Orice submulţime a unei submulţimi distinse este de asemenea
submulţime distinsă.
3° Orice element din M este cuprins numai într-un număr finit de
submulţimi distinse.
Aceste condiţii sînt evident necesare, după cum rezultă din definiţia
n-complexelor. Suficienţa lor se obţine prin următoarea construcţie :
Alegem în -E72n+i mulţimea de puncte Pi în corespondenţă biunivocă cu
elementele din M şi astfel încît
a) {PJ să nu aibă nici un punct de acumulare.
b) Pentru Tc < 2n + 1, orice mulţime de Ic + 1 puncte din {PJ
determină un spaţiu liniar ^-dimensional.
Alegerea punctelor Pi se face inductiv. Luate punctele P 1 ? . . . , Pr7
se alege P r ^ astfel încît coordonata sa х г să fie cu cel puţin o unitate
mai mare decît coordonatele x x ale punctelor P 1 ? . . . , P r (ceea ce asigură
condiţia a)) şi P r + 1 să nu aparţină nici unui spaţiu liniar determinat de
Tc dintre punctele P 1 ? . . . , P r (Ic < 2n + 1) (aceasta este posibil, fiindcă
spaţiile liniare, care nu trebuie să includă punctul Pr+1 sînt în număr
finit şi au dimensiunea <; 2n ; se realizează astfel condiţia b)). Se asociază
fiecărei submulţimi distinse de Тс + 1 elemente din Ж, Tc simplexul liniar
cu vîrfurile în punctele P i corespunzătoare şi se verifică cu ajutorul
propoziţiei 5.4 că mulţimea K* formată de aceste simplexe este un
w-complex simplicial. Fie or' şi or" două simplexe diferite din K* de dimensiuni
Tc' respectiv Tc" ; numărul Tc + 1 al tuturor vîrfurilor lui or' şi or" este
<; (Tc' + 1) -fr (Tc" + 1) < 2n + 2, deci aceste vîrfuri întind un Ä;-simplex
liniar cr, care cuprinde ca feţe or' şi or" (eventual or ar putea coincide cu
or' sau cu or") ; se deduce de aici condiţia 3° din propoziţia 5.4. Pe de altă
parte, dacă Q şi r > 0, numai un număr finit de puncte P{ pot
aparţine bulei BT(Q), datorită ipotezei relative la х г (PJ ; deci numai un
Elemente din teoria omotopiei 275*
23
) Aceasta este posibil după propoziţia 5.8, preimaginile interioarelor stelelor de sim-
plexe din ф' formînd o acoperire deschisă a lui Kn.
Capitolul II
Suprafeţe riemanniene
§ 1. Definiţii
*) In cele ce urmează vom considera vecinătăţi deschise şi coaexe, afară de cazul cînd
vom face explicit alte ipoteze.
278 Suprafeţe riemanniene
2
) Vom considera numai reprezentări conforme care păstrează orientarea, exceptînd
cazul cînd vom menţiona contrariul.
Suprafeţe riusmanniene 279
3
) în lucrările clasice relative la suprafeţele riemanniene cuvîntul compact este folosit
In sensul lui Alexandroff şi Hopf : orice mulţime infinită de puncte ale spaţiului are cel puţin
un punct de acumulare în el ([47], p. 2 5 ; [40], p. 194; [31], p. 50). Pentru suprafeţele
triangulabile, care sînt caracterizate de verificarea unei axiome de numărabilitate ([41], p. 9 8 ;
[31] p. 57), noţiunea de compact dată mai sus echivalează cu aceea dată în [15], p. 100 —
satisfacerea axiomei Borel-Lebesgue — şi numită bicompacitate de Alexandroff şi Hopf ([8]
p. 382, teorema 1). O suprafaţă compactă în sensul verificării axiomei Borel-Lebesgue este
triangulabilă.
280 Suprafeţe riemanniene
§ 2. Acoperiri
§ 3. Grupuri Fuchs
(3.1)
У
şi vom nota distanţa neeuclidiană între două puncte zx, z2 g U cu
zx—h z2—U
(3.2) d (ZlJ 4) = In (fc, *v> Ä) = In
Ъ—Тс z2—h
unde h şi ~k sînt punctele în care dreapta neeuclidiană prin z1 şi (cercul
euclidian ortogonal axei reale, care trece prin z1 şi z2) intersectează
3z = 0, notate astfel încît se află între z1 şi h ([39], p. 79—81). Semi-
planul înzestrat cu această metrică constituie un model de geometrie
Lobacevski. Diferitele noţiuni geometrice, care vor fi folosite în para-
graful de faţă : distanţă, dreaptă, cerc etc. vor fi luate în sensul acestei
geometrii, afară de cazul cînd se va specifica contrariul, iar pentru pre-
scurtarea expunerii, vom suprima în general adjectivul neeuclidiam
Grupul H al reprezentărilor conforme ale semiplanului TJ pe el
însuşi constă din transformările liniare reale cu determinant pozitiv,
(2.2). Ele invariază metrica dcrz şi constituie deplasările neenclidiene
corespunzătoare acestei geometrii.
Să notăm cu U grnpul omeomorfismelor TJ U, cu subgrupul
omeomorfismelor din U , care păstrează orientarea, şi_cu subgrupul
celor care se prelungesc la omeomorfisme ale lui U pe el însuşi (U
fiind închiderea lui O în planul complex). Evident, H d f|
2. î n cele ce urmează vom aprofunda proprietăţile subgrupurilor
lui Л, discontinue, formate din transformări fără punct fix, pe care
le-am numit, în § 2, pct. 2, grupuri Fuchs.
Fie G un grup Fuchs. El introduce în TJ relaţia de echivalenţă :
(3.3) <«> z2 = T{zx) pentru un T Ç 6 .
PBOPOZIŢIA 3.1. Spaţiul topologic cît UJG se organizează ca supra-
faţă riemanniană, astfel încît aplicaţia canonică Пв : TJ -> U/G să fie
olomorfă.
Vom nota UjG = В ; evident, ( U, П0, В) este acoperirea univer-
sală a lui B. Pentru aţTJ şi r > 0 , fie
Cf(a) - {zeU, d (z, a) < r}.
Suprafeţe riusmanniene 285
9
) In enunţul propoziţiei 3.8 se puteau presupune distincte doar punctele A şi В, deoarece
atunci rezultă că toate cele patru puncte A, B, A' şi B' sînt diferite între ele. Dacă am avea
de exemplu A' — В, atunci В ' ф A. în ipoteza că arcele a' şi b limitează un domeniu jor-
danian £>, după cum P (Z D sau P C£ D se arată succesiv că Pk d D, к > 0 respectiv < 0,
ţinînd seama că T păstrează orientarea. Prin urmare l
arcele a' şi b au cel puţin un punct de
intersecţie С4diferit de A' şi B'y iar С = T~ (C')ţa şi este diferit de A şi B. Putem
aplica propoziţia 3.8 punctelor А, С şi A \ С' şi contrazicem punctul 3°.
Suprafeţe riusmanniene 291
10
) Alte cazuri sînt tratate în [31], p. 257.
u
) Această notaţie îşi găseşte justificare în considerarea suprafeţei UjG, în care se iden-
tifică laturile echivalente din P, luate cu orientări opuse.
294 Suprafeţe riemanniene
0 .—.
1
determinat de T : Z = şi verificînd că С = T ° С ° T
este
у
de tip parabolic. Cum С g G, contrazicem propoziţia 3.11.
9. Am văznt la pct. 6 că orice grup Fuchs are un poligon funda-
mental. Yom încheia acest paragraf analizînd un exemplu, care se înca-
drează în problema inversă : fiind dat un poligon în U, să se stabilească
condiţiile în care el este poligonul fundamental al unui grup Fuchs.
1°. Există în TJ un poligon regulat neeuclidian P cu 4g laturi (#>1)
şi suma unghiurilor 2 iz.
Printr-o reprezentare conformă a lui TJ pe cercul unitate, ne putem
limita să construim în acest cerc un poligon P cu centrul originea sau
să înscriem într-un unghi, cu vîrful în origine si deschiderea —, un
2g
triunghi cu laturi egale pe cele două laturi ale unghiului şi cu o a treia
latură, dreaptă neeuclidiană, triunghiul avînd suma unghiurilor — 7Г 13).
9
2°. Să notăm cu 1, 2, . . . 4g vîrfurile unui poligon regulat P din
TJ cu suma unghiurilor 2 iz şi g > 1, în ordinea determinată prin alegerea
vîrfului 1 şi orientarea lui ЭР; fie a2, af 1 , а71, . . . , a2g, a2g\i, a2g,
a2g_x laturile lui P în ordinea corespunzătoare, a2 avînd originea în
punctul 1 şi Wj transformarea din JET, care duce aô în aj1 cu orientări
opuse.
Transformările cT; generează un grup Fuchs G.
Yom deduce aceasta din următoarea formă particulară a unui
rezultat datorit lui Poincaré ([33]; [10], Cap. XIY, p. 125) privitor la
construcţia grupurilor Fuchs, cînd se dă un poligon fundamental.
PROPOZIŢIA 3.14. Fie P 0 un poligon din TJ cu un număr finit, par
de laturi — segmente de drepte neeuclidiene, grupate în perechi echivalente,
cu proprietăţile :
a) Două laturi echivalente sînt congruente în geometria neeuclidiană,
deci există o transformare liniară T g И, care le transformă una în alta
cu orientări opuse (ca în propoziţia 3.6). Vom numi fundamentale aceste
transformări şi vom nota cu G subgrupul lui H generat de ele.
b) Vîrfurile echivalente cu un vîrf z0 g P 0 formează un ciclu, suma
unghiurilor respective fiind 2тг (ca în propoziţia 3.4 şi consecinţa 3.2).
în aceste condiţii, G este un grup Fuchs, iar P 0 un poligon funda-
mental corespunzător lui G.
Aplicînd lui P 0 transformările T g G, vom obţine o mulţime de
poligoane P = T (P 0 ), pe care le considerăm ca imagini ale lui P 0 prin
T : în cele ce urmează vom spune că poligoanele P = T (P 0 ) şi P* = T* (P 0 )
13
) Un calcul elementar dă raza cercului, care constituie dreapta neeuclidiană a triun-
ghiului : R = sin — / l / c o s — , iar distanta de la 0 la centru este +Я2.
I V 2-9
298 Suprafeţe riemanniene
17
) Se verifica imediat că omotopia combinatorică este o relaţie de echivalenţă. Se de-
fineşte pentru fiecare vîrf P ţ R, analog cu TZ1 (R, p), grupul claselor de drumuri poligonale
închise cu originea p, combinatorie omotope : 7гьс (R, p) şi, pe baza unui izomorfism permis
realizat prin drumuri poligonale, grupul fundamental combinatorie тгЬ(. (R). Propoziţiile 5.1
şi 5.2 arată că 7rbc (R, p) şi 7z1 (R, p) sînt izomorfe (clasei de drumuri combinatorie omotope cu
un drum poligonal închis Z cu originea p, i se asociază clasa [Z]P). Grupul 7RLTC (R. p) poate fi
folosit pentru a calcula grupul тгг (R, p).
306 Suprafeţe riemanniene
II. Cazul în care <Ţ>" se obţine din <P' prin operaţia II : suprimarea
unui vîrf, comun numai la două laturi b şi с şi înlocuirea drumului bc
din <p' prin latura a = bc în <p".
1° Fie V un drum poligonal din <p' cu extremităţi vîrfuri din ф".
Dacă în V intră drumurile bb~\ cc"1, b'1 b sau с'1 c, cu ajutorul opera-
ţiei (a) le suprimăm. Fie l[ drumul astfel obţinut.
Dacă în l[ intră latura b (sau b"1), ea este urmată (precedată) de
fiecare dată de с (respectiv c"1) şi înlocuim drumul bc cu a (respectiv
c"1 b c u a"1). Prin această operaţie, l[ = Z", drum poligonal din <Ţ>",
deoarece с sau с~г nu mai intervin. Aceeaşi concluzie : l[ = Z" are loc,
dacă în l[ nu intră b sau b - 1 .
2° Procedînd ca în cazul I, fie Z", . . , Vr = 1 drumuri ce se deduc
fiecare din precedentul aplicînd o operaţie (a) sau (ß) în <Ţ>'. Asociem
fiecărui drum Ц un drum poligonal V/ din ф", înlocuind latura b cu a
şi latura с cu drumul nul, ori de cîte ori intervin. Verificăm apoi că V/+1
se deduce din V/ prin deformări combinatorice din <Ţ>" (eventual reduse
la identitate) iar Z" = 1.
Consecinţa 5.1. Fie <Ţ> o descompunere poligonală a suprafeţei В
dedusă din triangular ea ^C.
1° Orice drum poligonal din TJ cu extremităţi vîrfuri ale lui <Ţ> se
deformează combinatorie în TJ într-un drum poligonal din <Ţ>.
2° Orice drum poligonal din <Ţ> nul-omotop combinatorie în TJ este
nul-omotop combinatorie în <Ţ>.
1.4. Cu ajutorul propoziţiilor de mai sus, putem demonstra teorema
5.1 relativă la grupul fundamental al unei suprafeţe В triangulabile,
orientabile şi închise, de gen 1. Fie P un poligon normal corespun-
zător suprafeţei В, cu vîrfurile echivalente cu un punct p g В şi laturile
două cîte două echivalente notate a3 respectiv aŢ1 (consecinţa 4.3).
Presupunem laturile numeroatate astfel încît să avem drumul frontieră
al lui P :
(5.2) dP = a2 ar1 aô1 аг . . . a2g a.7gh a7gx a2g_x.
Considerăm o triangulare TJ a lui В, care să fie totodată triangulare a
lui P (fig. 1, § 4) ; prin urmare P constituie o descompunere poligonală
a lui В dedusă din TJ. Conform propoziţiei 5.1 şi consecinţei 5.1.1°, orice
drum închis cu originea p de pe В se deformează continuu într-un drum
poligonal din P. Prin urmare, щ (В, p) este generat de clasele
pe care, pentru prescurtare, le vom nota tot a^
Evident, între generatori are loc relaţia (5.1), deoarece drumul
dP, (5.2), este nul-omotop. Să arătăm că aceasta este singura relaţie,
i.e. orice relaţie (a ; ) = 1 se reduce la identitate, aplicînd relaţia (5.1)
şi relaţiile banale
(5.3) a} а~г = 1, aŢ1 aj = 1.
Suprafeţe riusmanniene 309
N
cu a® şi scriem a 1 = X1 + £ a) + a 1 + (— X1), ceea ce trebuia demon-
ii m
strat. La o notare convenabilă a 1-simplexelor a 1 = £ <î).
J=I
2.3. Yom arăta acum tot în ipoteza X liniar conex că nucleul
omomorfismului ф este 6 (X, p), subgrupul comutatorial al lui тих (ЛГ, p).
Evident, Ker ф!Эё (X, p), deoarece Ж1 (X) e comutativ.
Incluziunea contrară se demonstrează în următoarele etape :
1) Dacă drumului X îi corespunde un l-ciclu X1 omolog cu 0, atunci
X este omotop cu un drum fx, căruia îi corespunde fx1 = 0.
n
într-adevăr, există un 2-lanţ a2 = £ Jcv a* cu да2 = X1. Alegem
V= 1
în fiecare a2 un vîrf pv şi unim p (originea lui X) cu pv printr-un drum Zv.
Notăm sv drumul format de da* c u originea pv şi orientarea indusă de
<j2. Drumul Zv sv este omotop cu zero, deci drumul
[X - X(Z 1 ^ 1 ZF 1 )- F C L . . . (lnsnl~Tkn
este omotop cu jx, iar (x1 = 0.
2) Fie deci X un drum pentru care X1 = 0. Drumul X are o descom-
punere sub forma de produs de drumuri
X = Xj^Xg. . . Xw,
astfel încît oricare Xk are în produs suma exponenţilor 0. Vom arăta
că X este omotop cu
X* = Xx X, . . . хш,
unde Xfc sînt drumuri închise cu originea p şi intră în produs cu suma
exponenţilor 0.
î n acest scop unim p cu originea lui a1c printr-un drum A/c, conve-
nind că A1 este drumul nul şi că Ak = AhJ dacă Xfc şi \ h au aceeaşi
origine. Evident, X este omotop cu
X* = (Х1Л,71)(Л2Х2Л3-1)... (A,/TXJ.
deci X este prin definiţie omolog simplu conex. Această acoperire a fost
introdusă de H. Weyl ([47], p. 74) în cazul X = В suprafaţă riemanniană,
iar R a fost numită suprafaţa de acoperire a funcţiilor integrale.
Capitolul III
Clase de aplicaţii omotope ale suprafeţelor riemanniene
A
După discuţia din Cap. II, § 2, pct. 2, R este planul euclidian sau semi-
planul, deci pe R avem o metrică euclidiană respectiv neeuclidiană (for-
mula (3.1) din Cap. II). Transformările grupului G' invariază această
metrică şi dreptele (euclidiene sau neeuclidiene) corespunzătoare.
Fie p un punct din R. Definim ft(p), J£(0,1), ca fiind punctul de
pe segmentul de dreaptă ce uneşte f0(p) cu/ 1 (p), care împarte acest seg-
ment în raportul t : 1 — t. Aplicaţia ft:R->R este continuă şi, cînd t
descrie I, dă o deformare continuă a lui / 0 în
Vom verifica relaţia
ft [T(P)] =X0(T) [ f t (p)l (1.1)
oricare ar fi T£G. Pentru t = 0 sau 1, egalitatea (1.1) este adevărată
prin ipoteză. Transformarea X0( T) duce segmentul de dreaptă G : F0(P) /i(p)
în segmentul de dreaptă X0(T)(G) : / 0 [ T ( p ) ] Ea transformă
punctul ft(p)j care divide g în raportul t :1 — t, în punctul X0(T) [ f t (p)],
care divide 7.0(T)(G) în acelaşi raport, deci X0(T) [ft(p)] coincide cu
ft [T(p)l
Fiecare aplicaţie ft induce omomorfismul Y.jt = /C0, prin urmare
induce o aplicaţie continuă ft : R -> Rastfel încît
Л ° П в = UGfo /V
Cînd t descrie I, aplicaţiile ft definesc o deformare continuă a lui f0 în
fx (continuitatea lui ft(p) în raport cu ambele variabile t şi p, rezultînd din
continuitatea lui f t (p) şi din faptul că I1G şi П 0 , sînt omeomorfisme locale).
Consecinţa 1.1. Aplicaţia Г este injectivă, dacă R' nu este conform
echivalentă cu sfera.
Dacă aplicaţiile continue fk : R RJc = 1, 2, induc omomor-
fismele Fk : n^R) -> л: 1 (R f ) din aceeaşi clasă, atunci după propoziţia
1.8 din Cap. I, oricare ar fi p Ç R, omomorfismele fkP sînt echivalente.
Prin urmare, din teorema 5.4, Cap. I şi teorema 1.1 de mai sus, rezultă
că f k sînt omotope x).
Observaţia 1.1. Dacă R' este conform echivalentă cu sfera, teorema
1.1. nu mai este adevărată, după cum arată următorul exemplu : R şi R'
sfere. f0 omeomorfism şi aplicaţia constantă. După teorema 3.1, con-
secinţa 2.2 şi propoziţia 2.4, care vor fi demonstrate în acest capitol, f0
nu se deformează continuu în / 1? dar G = {1} astfel încît =X le
Observaţia 1.2. Fie R şi R' două suprafeţe riemanniene, R echiva-
lentă, iar R' neechivalentă conform cu sfera. Orice aplicaţie continuă R -> R'
este omotopă cu o aplicaţie constantă.
f:B-+ В', teorema 1.2 arată că orice omomorfism Fx = A' o F este indus
de o aplicaţie continuă ft :B B' şi din teorema 1.1 rezultă fx omotop
cu / , (evident, presupunînd satisfăcute condiţiile relative la В şi B' de
aplicare a acestor teoreme).
Observaţia 1.4. Teoremele 1.1 şi 1.2 arată că clasele de aplicaţii
omotope ale unei suprafeţe riemanniene compacte В în suprafaţa riema-
nniană compactă B' de gen g' > - 1 sînt caracterizate prin clasele de omo-
morfisme ale grupurilor fundamentale induse de aceste aplicaţii. î n cazul
cînd g' — 0, caracterizarea acestor clase a fost dată de L. J. Brouwer,
şi va fi prezentată în §3, teoremele 3.1 şi 3.2, folosind în acest scop
noţiunea de grad, pe care o vom defini în §2.
4. Consecinţa 1.2. Aplicînd din nou teorema lui S. Stoilow de ca-
racterizare topologică a suprafeţelor riemanniene, rezultatele din acest pa-
ragraf iau forma următoare :
Fie В şi B' suprafeţe triangulabile şi orientabile. Fiecărei clase de
aplicaţii continue omotope f :B -> B' i se asociază clasa de omomorfisme
ce se obţin dintr-un omomorfism F : щ{В) -> it^B'), indus de f după
teorema 1.1', Cap. I, prin automorfisme interioare ale grupului -x^B').
Această corespondenţă, pe care o notăm Г, este injectivă dacă B' nu
este omeomorfă cu sfera şi surjectivă, dacă В şi B' sînt compacte.
Teorema 1.1 rămîne adevărată în ipoteza : В şi B' suprafeţe tri-
angulabile şi orientabile, B' neomomorfă cu o sferă.
Teorema 1.2 (Hopf) se păstrează pentru В şi B' suprafeţe triangula-
bile, orientabile, compacte. Analog se extind şi celelalte observaţii.
mează în general o triangulare a lui В', dar cum laturile lor sînt geode-
zice, au un număr finit de puncte de intersecţie şi la o subdiviziune
convenabilă a acestor triunghiuri în triunghiuri a'ß'y'? putem construi
o triangulare a lui В', în care a'ß'y' să fie triunghiuri. Transportăm
această diviziune prin ф pe В, deoarece ф este un omeomorfism al
fiecărui triunghi abc pe a'b'c' şi obţinem o triangulare a lui В, astfel
încît fiecare triunghi aßy al ei este reprezentat topologic de ф pe un
triunghi a'ß'y' al triangulării lui Bf.
2. Gradul unei aplicaţii continue. Fie В şi B' suprafeţe triangulabile
şi orientabile, compacte, iar / o aplicaţie continuă a lui В în B'. Conform
teoremei 5.5 din Cap. I, / induce un omomorfism între grupurile de omo-
logie 2-dimensionale :
Ф2 : 7ö2 (В) -> 762 (B'),
iar după teorema 5.2 din Cap. I, grupurile 762{B) şi 762 (Bf) sînt ciclice
libere, generate de exemplu de y2 respectiv y'2, unde y2 şi y'2 sînt 2-ciclele
formate de triunghiurile unei triangulări a lui В respectiv В', orientate
coerent. Alegînd o orientare pe В şi В', să presupunem triunghiurile din
y 2 şi y'2 orientate cu orientarea indusă. Omomorfismul cp2 determină
atunci univoc şi este complet determinat de întregul с pentru care :
2
(2.1) Ф (у2) = с у'2
întreg numit gradul aplicaţiei f (Brouwer [16]).
Din teorema 5.6, Cap. I, rezultă
Consecinţa 2.1. Două aplicaţii continue omotope : В -> В' au acelaşi
grad.
Observaţia 2.2. î n cazul cînd / este o aplicaţie simplicială, gradul
с primeşte următoarea interpretare : Deoarece 2-lanţurile de 2-simplexe
ale unei triangulări a unei suprafeţe sînt omologe, atunci şi numai atunci
cînd coincid (singurul 2-ciclu frontieră fiind ciclul nul), relaţia (2.1) devine,
cu notaţia de la teorema 5.5, Cap. I,
(2.2) Ф2 (у2) = с у'2.
într-un 2-simplex G 2 din y'2 se transformă c+ 2-simplexe din y2 cu păstrarea
şi c_ 2-simplexe cu schimbarea orientării şi avem :
(2.3) с = c+ — c_.
Eezultatul se păstrează în cazul cînd / determină o acoperire trian-
gulară : Ф2(у2) este acum un 2-ciclu singular, dar peste fiecare a'2 se proiec-
tează topologic c+ respectiv simplexe a2 din y2 cu păstrarea respectiv
schimbarea orientării. Aceste simplexe /(a 2 ) nu mai sînt în genere egale
cu±(7 /2 , dar sînt omologe singular cu el astfel încît с y'2 este omolog
singular cu un lanţ al triangulării lui В î n care a'2 intră cu coeficientul
c+—c_ ; cele două lanţuri sînt omologe şi în triangularea lui Вdeci ca
mai sus с = c+ —
Clase de aplicaţii omotope ale suprafeţelor riemanniene 319
vîrfurile din U'), orice triunghi din T,' este acoperit de n triunghiuri cu
aceeaşi orientare din 'C, astfel încît după formula (2.3) avem
|c| — n.
Pe de altă parte, formula lui Hurwitz ([40], p. 216) ne dă
p = np' + r,
si с =f= 0, unde p şi p' sînt caracteristicile lui R şi R', iar с gradul lui
/ , se poate deforma într-o aplicaţie, care realizează o acoperire neramificată.
Dacă p' = — 2, egalitatea (4.4) şi ipoteza с =f= 0 implică p = — 2
şi с = ± 1 ; prin urmare, f este o aplicaţie continuă a sferei în sferă cu
gradul с = ± 1 , iar după teorema 3.1 (Brouwer) şi consecinţa 2.2, ea se
poate deforma într-un omeomorfism. Acelaşi caz apare, dacă p = — 2.
Eămîne deci să demonstrăm teorema pentru p şi p' >- 0.
Conform propoziţiei 2.2, putem presupune că (JS, / , R') este o
acoperire triangulară. Dacă această acoperire nu prezintă cute, ea este
neramificată, deoarece pentru acoperirile de tipul II inegalitatea (4.1')
este strictă. Vom considera deci cazul în care (JS, / , Rf) prezintă cute.
Prin deformare vom înlătura aceste cute şi vom obţine o acoperire trian-
gulară fără cute, care satisface (4.4), deci o acoperire neramificată.
a) Dacă A'B'C' este un triunghi din R' şi peste А'В' se proiectează
o cută AB de tipul 1) din demonstraţia teoremei 4.1, comună triunghiu-
rilor ABC+ şi ABC_, delimităm pe R o bandă îngustă adiacentă la drumul
format de laturile AC+ şi 0+ В şi una adiacentă la drumul format de
BC_ şi C_A .Deformînd ABC+ respectiv ABC_ în banda corespunzătoare
(astfel încît mijlocul M al lui AB să fie aşezat peste C' la sfîrşitul defor-
mării, fig. 2) obţinem o acoperire pentru care suprafaţa de acoperire are
două triunghiuri mai puţin.
Fig. 2
330 Suprafeţe riusmanniene 330
С С
Fig. 3
С
Fig. 4
să fie comutativă. Prin ipoteză fp(a) = a*, iar din această diagramă
rezultă fp(a) = со* о с о - 1 (a) = со х (а), unde am notat cu cox izomorfismul
permis generat de drumul y*(p)p y pp . Prin urmare, S fiind o clasă de
descompuneri canonice echivalente pe P, lui (P, 8) îi putem asocia
univoc (P, а), а fiind clasa sistemului canonic de generatori corespunzător
unei descompuneri din 8.
2'°. Eeciproc, în orice clasă а există un sistem canonic de genera-
tori а determinat printr-o descompunere canonică : Fie d o descompunere
canonică arbitrară a lui R şi ă = (a1?. . ., ă2g) sistemul canonic de genera-
tori ai lui тт^Р, p) corespunzător. Dacă а* = (а*, . . ., a*lg) este un
sistem canonic de generatori din clasa a, avem automorfismul 9 al lui
тг^Р, p) determinat prin condiţia : <р(а) = a*. După teorema 5.1 există
omeomorfismul Ф al lui P pe el însuşi, astfel încît Фр să fie echivalent
cu cp. Să notăm cu d descompunerea canonică dedusă din d prin Ф.
Sistemul canonic de generatori а corespunzător lui d aparţine clasei а.
2 //0 . Fie а şi a* două sisteme canonice echivalente, care corespund
la descompunerile canonice d respectiv d*, cu poligoane normale P şi
P*. Există izomorfismul permis со : ^ ( P , p) -кг (P, q) cu proprietatea
co(a) = a*. Construim un omeomorfism surjectiv : dP -> 3P*, care duce
fiecare aîn со (%) astfel încît puncte echivalente de pe dP să se trans-
forme în puncte echivalente de pe ЭР*. Prelungim acest omeomorfism
la omeomorfism surjectiv : P -> P,* care induce prin identificarea punc-
telor echivalente un omeomorfism surjectiv / : P P. Deoarece fp = со,
Clase de aplicaţii omotope ale suprafeţelor riemanniene 335
tc^PJ-^TU^/IP)]
ти^Д, g)
să fie comutativă. Mai mult, în demonstraţia pe care am dat-o punc-
tului 2° din teorema 1.1, <o poate fi ales orice izomorfism permis :
n^Rj p)->n1(R, q). Luînd <o = <o0, deducem
A
Fie В o suprafaţă riemanniană de tip iperbolic, В = TJ suprafaţa
ei de acoperire universală şi G grupul Fuchs al transformărilor de aco-
perire. Un omeomorfism surjectiv / : В В se numeşte compatibil cu
grupul 6r, dacă grupul G'=f G f '1 este format din reprezentări conforme.
Evident, G' este un grup discret, fără punct fix, prin urmare el consti-
tuie grupul transformărilor de acoperire pentru (В, П 0 ,, B'=B/G'), după pro-
poziţia 2.3 din Cap. II. Consideraţii analoge au loc în cazul cînd В este
de tip parabolic cu deosebirea că В este conform echivalent cu planul
euclidian. î n virtutea propoziţiei 5.3 din Cap. I, dacă omeomorfismul sur-
jectiv / : В В este compatibil cu 6?, el induce omeomorfismul surjectiv
f : В —> B' şi reciproc, dacă / induce / , / e compatibil cu G. Omeomor-
fismele / şi / sînt simultan reprezentări conforme, UG şi UG- fiind local
reprezentări conforme, i a r / e s t e o reprezentare conformă (В, a) a))
unde (B, a) este o suprafaţă riemanniană canonică, dacă В şi B' sînt
compacte. Putem formula astfel
Л A
PROPOZIŢIA 6.2. Suprafeţele riemanniene В = B/G şi Вf = B/G' de
acelaşi tip sînt conform echivalente, atunci şi numai atunci cînd subgrupu-
rile G şi G' sînt conjugate în grupul H al reprezentărilor conforme ale
lui В pe В.
Capitolul IV
Reprezentări cvasiconforme
§ 1. Propoziţii auxiliare
unde
ăz
/О ox
(2.3) (x* = Ц—г~ * -г—*
dz d z
3
) S-a notat funcţia prin variabilele pe care le leagă. Dacă w (z) — 9 (z) şi w (z*) = 9* (z*)
în intersecţia domeniilor lor de definiţie 9* (z*) = 9 (z(z*)].
344 Suprafeţe riusmanniene 344
sau
(2.3') ţx* d z ' - i d z * = [ L d z ' ^ z .
într-adevăr, dacă vp* este vecinătatea parametrică corespunzătoare
parametrului local z*, (vPo f| vp* ф 0), şi g* omeomorfismul conform
« \z* | < 1 , omeomorfismul w(z*) este diferenţiabil a.p. pe g* (vPo f| Vp*)
dz dz
şi într-un punct de diferenţiabilitate wz* = wK , iar w5* = Wz .
După teorema 6.2 din Cap. III, există o reprezentare (P, a) ->(P', a').
Pentru а demonstra însă existenţa unei reprezentări cvasiconformey
să folosim propoziţia 6.1, 2'° din Cap. III şi să alegem două poligoane
1
normale P şi P' cu laturi arce analitice щ, respectiv aj, a] 1 (j =1..., 2 gr)
formînd un sistem canonic de generatori pentru ^ ( P , p) de clasă
respectiv un sistem canonic de generatori pentru p') de clasă a'r
unde p ÇP şi p ' ţ R ' sînt puncte arbitrare. Prin ipoteză, ЭР şi ЭР' au
aceeaşi orientare. între laturile a, şi a^ 1 respectiv a• şi aj"1 există omeo-
morfisme analitice respectiv Tj. Se construieşte uşor o reprezentare
cvasiconformă surjectivă cp : P - > P ' , astfel încît cp | _i = Tj 09 |a o Tj -1 . D e
exemplu, să efectuăm reprezentările conforme Ä: P - > (| г | < 1) şi
h' : P'-> ( 1 I < 1 ) şi să notăm cu bj, fe"1, ftj şi arcele obţinute pe | г | = 1
respectiv \z'\ = 1 din a,-, aj -1 , aj şi aj - 1 , cu şi S'f1 sectoarele
corespunzătoare acestor arce în cele două cercuri şi cu U ţ = h о Т ^ Ъ г 1 res-
pectiv 'ZJj = У o Tj о й'"1. Notînd г = r e i e şi z' = r' e i e ' , să definim o
reprezentare cvasiconformă ф : (| г | < 1) (| г' | < 1), astfel încît ф (re* e ) =
= re i e ', cu 0' = gr( 6), unde pe fiecare arc transformarea g trans-
formă liniar intervalul corespunzător de variaţie a lui 0 în intervalul
de variaţie a lui 0' pe bj, iar pe bj1 să avem ф | 6 _i = ^ о ф |ö o tŢ1. Se veri-
fică uşor că ф este cvasiconformă în fiecare sector Sj, deci după propoziţia,
1.8, în \z\ < 1. Identificînd punctele, echivalente din ЭР şi din ЪР\
reprezentarea cp induce un omeomorfism / al lui P pe P', cvasiconform
pe P, deoarece este cvasiconform pe P, exceptînd arcele care corespund
lui ЭР şi se aplică aceeaşi propoziţie 1.8. Prin construcţie însă / ( a ) == a',
d e c i / e s t e o reprezentare cvasiconformă a lui (P, a) pe (P', a').
§ 4. Reprezentări Teichmüller
şi în particular pentru m = 0,
(4.4) Ф (z) dz2 = dÇ2.
A
2. Fie Ü o suprafaţă riemanniană de tip iperbolic, R = TJ supra-
faţa ei de acoperire universală şi G grupul transformărilor de acoperire.
Luînd z € TJ drept parametru local pe R = TJ/G, orice diferenţială pătra-
tică regulată pe R se poate scrie sub forma Ф (z) dz2, cu Ф (z) olomorfă
în U şi verificînd pentru orice TţG relaţia
Ф {(z))
(4.5) Ф [T(z)]~
T'2 (z)
care exprimă invarianţa diferenţialei la schimbarea de parametru z-^T (z).
Eeciproc, o funcţie Ф (z) olomorfă în 77, care verifică relaţia (4.5) pentru
orice T g G, defineşte o diferenţială pătratică regulată Ф (z) dz2 pe R.
Analog se procedează în cazul R suprafaţă riemanniană de tip
parabolic : TJ se înlocuieşte cu С şi relaţia (4.5) cu
(4.5') Ф [T(z)] = Ф (z)
pentru TţG.Dacă R este un tor, relaţia (4.5') arată că Ф (z) este o
funcţie întreagă dublu periodică, deci o constantă ; dacă R este un
cilindru, Ф (z) este o funcţie întreagă simplu periodică, iar dacă R este
conform echivalentă cu С, Ф (z) este o funcţie întreagă arbitrară.
î n cazul cînd R este conform echivalentă cu sfera, o diferenţială
pătratică regulată poate fi dată de Ф (z) dz2 cu Ф (z) funcţie întreagă
350 Suprafeţe riusmanniene 350
(4.5") Ф (z) = Ф 1ф 0.
1-q
şi, în particular, pentru m = 0,
_ ţ + qZ
Ç
~ 1 - 3 '
definim un omeomorfism Ç' = Ç' (Ç). Aceasta este evident pentru m = 0.
Dacă m > 0, să notăm
m+ 2 m + 2 i0(w + 2)
n = ре го , е е [о, 2 TU); Ç = Ç 2 = P 2 e 2 ,
ŞÎ
2
Çrn+2== £ I X ^
~ f 1 _4_ л p - i ' 6 (W+2)
=
1 - 3
unde arg Ç' = 0 pentru 0 = 0. Se vede că (4.8) stabileşte un omeomor-
fism între fiecare semidreaptă 0 = const, şi imaginea sa. Totodată dacă
Ç descrie cercul с : | = p, astfel încît 0 creşte de la 0 la 2ти, punctul X
descrie un cerc cu centrul în origină, argumentul său variind de la 0 la
7Г (m + 2) ; prin transformarea afină, X' descrie o elipsă cu centrul în
origină şi argumentul său variază tot de la 0 la iz (m + 2), iar Ç' descrie
o curbă închisă c', formată din m + 2 arce, care se deduc unele din altele
2ITC
prin rotaţii de centru 0 şi unghi Ж (Ж — întreg), curba & fiind
m+ 2
intersectată într-un singur punct de fiecare semidreaptă prin origine.
Transformarea (4.8) stabileşte un omeomorfism al cercului с pe curba с'.
î n concluzie, (4.8) este un omeomorfism al planului Ç pe planul Ç'.
352 Suprafeţe riusmanniene 352
după cum rezultă din (4.3). Pe de altă parte, din (4.8) obţinem imediat
Prin urmare omeomorfismele Ç' (Ç) şi z' (Ç) sînt în V soluţii generalizate
ale aceleiaşi ecuaţii Beltrami, şi omeomorfismul Ç' (zf) = Ç' [Ç (2')],
format compunînd Ç (2') — inversul lui я' ( Ç) — cu Ç' ( t), este o repre-
zentare conformă a lui v' pe V' = Ç' (F). Evident, Ç' (0) = 0 şi am demon-
strat astfel că Ç' formează pe J?' un sistem de parametri locali corespun-
zători punctelor po Ç В', pe care să-i numim momentan parametri distinşi.
3) Vom arăta acum că
(4.9)
(4.10) ^ = К Ф 1 / З ( z ) dz = Г dî: = ç 2
~- «
Jz (р.) Л л
Reprezentări cvasiconforme 353-
unde t = Ç {рг), şi
Sl — — -
1-q
Tinînd seama de (4.8), (4.10) şi (4.11), obţinem
2 2 2
m+2 m+2
t +qt = Ç' 2 — t' 2
l - g 1 - 3
sai1
unde t' — Ç' {%>[),
d£2 = Ç'™ dÇ'2.
<4.12)
<4.13)
Teoreme fundamentale
<1.2) z
Xfc>l.
—Ъ г — Ъс
Oerem ca a2g = 0, т2д = oo, iar | a 2 c/-i т2(7_г | = 1 şi notăm \2g = X.
в - ^ в
АаЬ j j Л*-,
şi, în general,
A2j+2 = Ti1 о У2j\2 o S>2jJ o f 2j + 2 о X, ,
(1.7) A2j +1 = XŢ1 o « V + 2 o О Г-1 + 2 о ^Г2.+ 1 o ^r2i + 2 o ,
unde, notînd compunerea ca produs,
(a8-Xß2)s+8ß(l-X)
' ( - Н - И - ? ) '
cu determinantul corespunzător 1. Luînd В sub forma normată
= az + b
cz + d
cu a, b, c, d reali, ad—bc = 1 şi d>0, obţinem din (1.10) relaţiile
aS — Xß2 = y\a
8ß (1 - X) = 7}b
(1.11) = yfi
Ô2
a8 — — = rd
X
cn 7]2 = 1. Mai mult, cum am luat d>0, ultima egalitate (1.11), relaţia
362 Suprafeţe riusmanniene 362
d - 1 2 — (a + d)
Folosind din nou inegalitatea X > 1, deducem a < 1 şi a+d <2. Prin
urmare
r
(1-a) (d—1) 1/ l — a
ß = t - 2-(a + d) ' a C
\l (d-1) [2- (a+d)]
d —l
( l _ a ) [2— (a+d)]
cu determinarea pozitivă a radicalilor, deoarece ß > 0 .
3. După rezultatele stabilite la punctele 1 şi 2, vom defini apli-
caţia injectivă С = В o A, prin care se asociază fiecărei suprafeţe rieman-
niene canonice (В, a) de gen # > 1 punctul reprezentativ E din E 6g _ 6
al mulţimii normate de translaţii A [(.Й, a)]. Yom numi ţ punct reprezen-
tativ al lui (В, a) şi sistemul celor 6 <7—6 coordonate ale sale: . ..?
. . ., X2g_2 modulele lui (В, a).
unde oc' este imaginea lui a în planul Ç. Zerourile diferenţialei Ф (z) dz2
sînt puncte singulare. Dacă Ç este parametrul natural corespunzător
unui zero p de ordinul m al lui Ф (z) dz2, (formula (4.3), Cap. IV) şi dacă
m+2 _
prin transformarea Ç 2 = Ç, arcul a situat în vecinătatea parametrică
corespunzătoare lui Ç, se transformă într-un arc oc, atunci
(2.4') |а|Ф=( |d?|.
- а
l î v . g !Ф
t =
Yvl®
unde yv>2 este arcul din y v cu originea z' şi extremitatea 2 şi să notăm
cu Äv : I -> TJ, aplicaţia hv(t) = z, care defineşte în acest caz arcul y v .
Aplicaţiile sînt egal continue şi au imaginile cuprinse într-un compact
din TJ. Teorema lui Ascoli implică existenţa unui arc y, dat de o apli-
caţie h : I TJ, cu 7i(0) = z', h( 1) == z" şi avînd proprietatea următoare :
oricare ar fi numărul г > 0, există numărul natura] JSf, depinzînd de e,
astfel încît h(t)] < e, dacă v > N, pentru orice / Ç I.
Yom arăta că у este un are de geodezică şi că |у |Ф = d. Fie t0 =
= 0 <tx < . . . < ^ = 1 o diviziune a lui I, iar S şi г două numere pozi-
tive. Există un indice v, astfel încît | |y v | 0 — d\ < S şi [hv(t), h(t)] < г,
oricare ar fi t g I. Folosind inegalitatea triunghiului, putem deci scrie
=0
g
Prin urmare, alegînd г < — , obţinem
n
§ 3. Teorema de unicitate
(3.5) W (p) = —
(3.11) v = ( v (p) ds 0 .
J<x
2°. î n cazul contrar, punem
(3.11') a) = 0.
Se vede că 7 (p, a) este dat a.p. pe R de (3.11), deoarece, dacă
p $ Q«, putem duce prin p arcul a, oricare ar fi a > 0 şi v are proprietă-
ţile cerute pe aproape toate arcele orizontale libere.
Yom stabili relaţia
(î v(p, a) = (( v(p,a)dăe =
•'•'В J^A (pe, 2a, 26)
372 Suprafeţe riusmanniene 372
= ^"jrOd^dT] = 2 a g v(p)dA0.
Fie acum v(p) o funcţie continuă cu suport compact în
Să considerăm o partiţie a unităţii ([45], 78) corespunzătoare la o acope-
rire local finită a lui P cu vecinătăţi parametrice Yi şi la funcţiile JJL,
cu suport compact în Vi7 de clasă <7°, nenegative şi cu i = 1. Presu-
punem partiţia unităţii aleasă suficient de fină ca orice Y { , care inter-
sectează suportul lui v, să fie inclus într-un domeniu Л (pt, a, bt), pentru
care există Л(p i 9 3a, 3b t ). Fiecare funcţie [xt v satisface condiţiile prece-
dente, astfel încît putem scrie
v(p,a)di®=| [ii vă Аф =
Jl'i R
î n sfîrşit, fie v o funcţie cu proprietăţile indicate în enunţ. Există
un şir de funcţii v„ continue, cu suport compact pe P — ß j a , astfel
încît vn -> v a.p. pe P — £î 4a .
într-adevăr, spaţiul funcţiilor reale, continue, cu suport compact
într-un spaţiu topologic 8, separat şi local compact, este subspaţiu dens
în spaţiul funcţiilor reale, sumabile, L 1 (£), iar dintr-un şir convergent
în sensul normei din В г (8) către fÇL^S), se poate extrage un subşir
convergent către / a.p. în 8 ([30], p. 117—118).
Luînd 8 = P — £î4a, aproximăm v cu funcţii vn continue, cu suport
Cum această inegalitate are loc oricare ar fi a > 0, iar A este o con-
stantă, deducem de aici (3.10).
Cu ajutorul propoziţiei 3.2, vom demonstra acum :
TEOREMA 3.1. (Teorema de unicitate pentru f — reprezentare con-
formă). Fie R o suprafaţă riemanniană închisă de gen g > 1. Bacă f
este un omeomorfism conform al lui R pe В, omotop cu identitatea, atunci
f coincide cu identitatea.
Fie R = U, R = TJ/G şi f un omeomorfism al lui TJ pe Î7, care
induce /. Deoarece f este omotop cu 1 R , omeomorfismul / induce auto-
morfismul identic al lui в : X/ = 1 G . într-adevăr, din teorema 5.3, Cap.
rezultă că există A g G, astfel încît X/ = А Уп A'1, iar = Prin.
urmare după teorema 5.1 din acelaşi capitol, oricare ar fi T g G,
f o T = T o f .
Pe de altă parte, g > 1, astfel încît putem lua două translaţi?
neeuclidiene T1 şi T2 din G nepermutabile (de exemplu, doi generatori).
Conform propoziţiei 3.13 din Cap. II, punctele duble <jf şi т,- ale lui
Tj, (j = 1, 2), sînt 4 puncte distincte. Deoarece /g^ff, după propoziţia.
3.12 din Cap. II, / invariază fiecare din aceste puncte. Eezultă deci că / = 1 ^
dar atunci / = 1 R .
TEOREMA 3.2. (Teorema de unicitate generală). Fie f0: R -> R'
o reprezentare Teichmüller între suprafeţele riemanniene R şi R' închise,
de gen g > 1. Bacă f : R -> R' este un omeomorfism surjectiv omotop cu
/0, atunci
(3.13) Q [/ 0 ] < Q U I
iar egalitatea în această relaţie implică f = /0.
Vom nota Q [/ 0 ] = Q0 şi Q[f] = Q. Putem presupune Q0 > 1 şi
Q < + oo, deoarece cazul / 0 conform este demonstrat în teorema 3.1,
iar pentru Q = + oo, inegalitatea (3.13) este banală.
Fie <!>(z)dz2 şi T (z')dz'2 diferenţialele pătratice regulate, asociate
reprezentării Teichmüller pe R respectiv E', potrivit teoremei 4.1 din
Cap. IV. Eeprezentarea cvasiconformă h = f of-1 : R' R' este omotopă
cu lRf. Aplicînd propoziţia 3.2, putem scrie
(3.14)
374 Suprafeţe riusmanniene 374
W (p) = ^
§ 4. Teorema de existentă
(4.1)
7
) Aceasta rezultă din (5.3'), Cap. I. Corespondenţa (Af, . . { В У , a^) coincide
aplicaţia A" 1 din § 1.1.
Teoreme fundamentale 377
§ 5. Spafiu Teichmüller
prima rezultată din (5.1) — (5.3) şi a doua din faptul că H este un omeo-
morfism.
Pe de altă parte, oricare din omeomorfismele H, formate luînd un
punct x°£X, arată că X organizat ca subspaţiu al lui E6g_6 este omeo-
morf cu EQg_Q. î n concluzie, Tg şi sînt omeomorfe.
2. Yom trata acum cazul suprafeţelor riemanniene compacte de
gen g = 0 sau 1.
Gazul g = 0. După teorema lui Brouwer (Cap. III, § 3, teorema 3.1)
există o singură clasă de omeomorfisme omotope, care păstrează orien-
tarea : R->Rf, unde R şi Rf sînt suprafeţe riemanniene conform echiva-
lente cu sfera lui Biemann. Totodată există o infinitate de reprezentări
conforme, R->Rf, care constituie reprezentările cvasiconforme extremale.
Spaţiul Teichmüller este de data aceasta redus la un punct.
Cazul g = 1 [42]. Fie R o suprafaţă riemanniană închisă de gen 1.
Vom alege ca suprafaţă de acoperire universală R planul complex finit
al variabilei Grupul transformărilor de acoperire G va fi atunci un
grup de translaţii
z' = z + m + m şi n întregi,
eu CÙ = — număr complex, nereal (Cap. II, § 2, pct. 2) şi va avea
G>I
de exemplu ca domeniu fundamental paralelogramul de vîrfuri 0, coly
G>I + co2 şi iù 2 .
Grupul G este generat de translaţiile
Tk:z' = (Tc = 1 , 2 )
dar totodată şi de translaţiile
Tt-.z' = * + № = 1,2),
unde
со* = acùx -f- 6 со G
со* = ccùx + diù2 -)
cu a, b, с, d numere întregi şi ad—be = 1. Pe de altă parte, suprafaţa
R fiind determinată pînă la o reprezentare conformă, ei i se asociază
şi orice grup hGhcu h reprezentare conformă a lui R pe R :
z' = \z + [x, X şi [x numere complexe, X =f= 0
Cap. III, § 6, propoziţia 6.2). Grupul T1GT1"1 este generat de translaţiile
= 0 + Xc4, (fc = l , 2 ) .
Prin urmare, suprafeţei R îi corespunde o dată cu o pereche de perioade10)
(со1? co2), toate perechile
= X (ac**! -f- bco2),
= X (ссох + dco2),
10
) Denumire legată de teoria integralelor eliptice de speţa I şi a funcţiilor eliptice,
< [39], Сар. VII şi XI).
384 Suprafeţe riusmanniene 384
6>i
a + btù
(5.4)
c + do>
u
) Clasele de drumuri omotope [«х]г>0 şi [аг]рф generează (R, p0).
Teoreme fundamentale 385
(5.9)
Q
După cum rezultă prin raţionamentul dezvoltat în [9], p. 252 14 ),
egalitatea în (5.9) implică
x' = — x + X
tOj
y = — - У + ^
Зса2
cu X şi [i numere complexe, de unde, printr-un calcul imediat,
Фб)' == (Л ca.
Prin urmare, se pun în evidenţă două cazuri extremale
çj ^
ca' = <U<Ù + i şi ca' = 02CÙ + iQ
Q
situate la distanţa neeuclidiană In Q de ca, care corespund la reprezentări
extremale afine, avînd cîtul de dilatare Q şi direcţia dilatării maxime
respectiv minime ca2. Am găsit astfel o primă condiţie pentru punctele
ca' : ele se află în banda (5.9) formată de paralele la axa reală, avînd
distanţa neeuclidiană la ca egală cu In Q. Rezultatul se păstrează şi dacă
renunţăm la ipoteza (5.6), pentru cax şi <Ù[ arbitrari.
2° Yom găsi acum alte condiţii, pe care trebuie să le îndeplinească ca'.
Fie
căj = acOjL + biù2 caj — acaj + b(ù'2
~ Şl
ca2 = ccaj + dcd2 ca 2 = с coj + du>2
cu a, b, c, d, întregi şi ad—bc>0. Din (5.7) rezultă imediat
Z' (*+**) - (*) + (к = 1, 2)
14
) Din (5.8) se obţine y' = О а. p., egalitatea in relaţia Schwarz dă i ' = к const.
, к *
a.p., iar egalitatea în (1.3) implica a.p. у = — şi x'x = 0. într-adevăr, dilatarea maximă
Q
avînd loc a. p. pe direcţia axei x şi paralelele la această axă fiind transformate in paralele la
axa x'9 paralelele la axa у corespund a.p. la direcţia de dilatare minimă şi vor fi transformate
ortogonal imaginilor axelor mici — deci paralel cu axa y'.
Teoreme fundamentale 387
(5.11) Z = 1±J№ .
a + bZ
Prin urmare, revenind prin transformarea TJ~X la со şi со', deducem
din inegalităţile (5.10), că со' se află situat într-un domeniu В l i m i t a t
a 15)
de două cercuri din U, tangente la axa reală în punctul TJ =
b
şi situate la distanţa In Q de со ; dreapta neeuclidiană prin со, ortogonală
acestor cercuri (ce trece prin punctul TJ), le intersectează în două puncte
со', care corespund la transformările extremale z' (z) menţionate mai sus.
Fie QT transformarea
(5.12) Z' =
a + ßZ
ai Jr
17
) Nu presupunem Wj > 0.
390 Suprafeţe riusmanniene 390
Bibliografie
36. H. SEIFERT, Bemerkungen zur stetigen Abbildung von Flüchen. Abli. Math. Sem. Hansis.
Univ., 12 (1936).
37. H. S E I F E R T — W . T H R E L F A L L , Lehrbuch der Topologie. Teubner, Leipzig, 1 9 3 4 .
38. G. SPRINGER, Introduction to Riemann surfaces, Addison-Wesley. Publ., Reading, Mass.,
1957.
39. S. STOILOW, Teoria funcţiilor de o variabilă complexă, vol. I , Ed. didactică şi pedagogică,
Bucureşti, 1961.
40. — Teoria funcţiilor de o variabilă complexă, vol. II, Ed. Academiei R.P.R., Bucureşti,
1958.
41. — Leçons sur les principes topologiques de la théorie des fonctions analytiques. Gau-
thier-Villars, Paris, 1938, sau 1956 ; ed. rusă Izdat. Nauka, Moskva, 1964.
42. О. TEICHMÜLLER, Extremale quasikonforme Abbildungen und quadratische Differentiale.
Abh. Preuss. Akad. Wiss. Math. Nat. Kl., 22 (1940).
43. — Bestimmung der extremalen quasikonformen Abbildungen bei geschlossenen orien-
tierten Riemannschen Flächen. Abh. Preuss. Akad. Wiss. Math. Nat. Kl., 4 (1943).
44. — Veränderliche Riemannsche Flächen. Deutsche Math., 7 (1944).
45. G. T E L E M A N , Elemente de topologie şi varietăţi diferenţiabile. Ed. didactică şi pedagogică,
Bucureşti, 1964.
46. A . Modules des surfaces de Riemann. Séminaire Bourbaki, 1 6 8 , Mai
WEIL, 1958.
47. H. WEYL, Die Idee der Riemannschen Fläche. Teubner, Leipzig, 1913.
Redactor responsabil : PETRE MOCANU
Tehnoredactor : CONSTANTIN STANCIU
Dat la cule : 14.05.66. Bun de tipar : 15.12.66. Apărut
1966. Tiraj 2180. Hîrtie scris II A de 63 g/m2. Coli edito-
riale 25,71. Coli de tipar 24,75. C.Z. pentru bilioţeci
mari 517.535.2. C.Z. pentru biblioteci mici 517.5.
întreprinderea Poligrafică „Informaţia", Str. B r e z o i a n u
nr. 23—25, Bucureşti, Republica Socialistă România,
comanda 163