Tema 8: Classificació de superf´ıcies compactes connexes
Tema 8: Classificació de superf´ıcies compactes connexes
Tema 8: Classificació de superf´ıcies compactes connexes
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
<strong>Tema</strong> 8: <strong>Classificació</strong> <strong>de</strong> superfícies <strong>compactes</strong> <strong>connexes</strong><br />
Contents<br />
8.1 Varietats . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2<br />
8.2 Superfícies poligonals . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2<br />
8.3 Superfícies standard . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3<br />
8.4 Triangulació <strong>de</strong> superfícies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5<br />
8.5 Teorema <strong>de</strong> classificació . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
<strong>Tema</strong> 8: <strong>Classificació</strong> <strong>de</strong> superfícies <strong>compactes</strong> Topologia<br />
8.1 Varietats<br />
Def 8.1.1. Un espai topològic X es diu n-varietat o varietat n-dimensional si:<br />
•<br />
És Hausdorff.<br />
• Compleix el segon axioma <strong>de</strong> numerabilitat (té base numerable d’oberts).<br />
• És localment homeomorf a Rn (∀x ∈ X ∃Ux ⊂ X, V ⊂ R n oberts tq x ∈ Ux i Ux ∼ = V ).<br />
Una 1-varietat s’anomena corba i una 2-varietat s’anomena superfície.<br />
Exemple 8.1.1. 1. U obert <strong>de</strong> R n és una n-varietat.<br />
2. S n és una n-varietat. En particular, S 1 és una corba i S 2 una superfície.<br />
3. Si M és una m-varietat i N és una n-varietat ⇒ M × N és una (m + n)-varietat.<br />
4. T 2 = S 1 × S 1 és una superfície (per ser producte <strong>de</strong> 2 corbes).<br />
5. Si X és una n-varietat i C(X) és una component connexa ⇒ C(X) és una n-varietat.<br />
Obs 8.1.2. Per l’estudi <strong>de</strong> superfícies és suficient classificar les <strong>connexes</strong> (per l’exemple 5).<br />
Obs 8.1.3. No és esperable po<strong>de</strong>r classificar superfícies no <strong>compactes</strong>. Per exemple, no és esperable po<strong>de</strong>r<br />
classificar oberts <strong>de</strong>l pla. Així, ens limitem a superfícies <strong>compactes</strong> i <strong>connexes</strong>.<br />
En dimensió 1 tenim el resultat següent:<br />
Proposició 8.1.4. Sigui X una corba compacta i connexa. Aleshores X ∼ = S 1<br />
Proof. Navarro-Pascual, Topologia Algebraica<br />
8.2 Superfícies poligonals<br />
Def 8.2.1. Una superfície poligonal és un e.t. X <strong>de</strong> la forma D/ ∼ o P/ ∼ on:<br />
• D és un disc on hem marcat 2n punts equiespaiats enumerats <strong>de</strong> forma creixent en sentit antihorari<br />
p1, . . . , p2n (o P és un polígon regular <strong>de</strong> 2n vèrtexs p1, . . . , p2n enumerats anàlogament).<br />
• Cada arc (aresta) pipi+1 s’i<strong>de</strong>ntifica directament amb un únic altre arc pjpj+1 (o sigui, pi va a pj i<br />
pi+1 va a pj+1) o inversament. Anomenem πij : pipi+1 → pjpj+1 l’homeomorfisme entre aquest dos.<br />
Així doncs, X = D<br />
< x ∼ πij(x), ∀x ∈ pipi+1 ><br />
Per <strong>de</strong>notar X comencem anomenant el primer costat a := p1p2. Si el següent costat p2p3 no s’i<strong>de</strong>ntifica<br />
amb l’anterior li donem una nova lletra b. Així successivament fins que arribem a un costat que s’i<strong>de</strong>ntifica<br />
amb un anterior z. Si la i<strong>de</strong>nticació és directa, li donem la mateixa lletra z. Si és inversa, li donem el nom<br />
<strong>de</strong> z −1 .<br />
Així, X queda <strong>de</strong>terminat per una paraula A <strong>de</strong> 2n caràcters on surten n lletres a1, . . . , an i n lletres que<br />
po<strong>de</strong>n ser a ±1<br />
1 , . . . , a±1 n .<br />
Denotem X = XA<br />
Exemple 8.2.1 (L’esfera S 2 ).<br />
a<br />
p2 p1 ∼ =<br />
a −1
<strong>Tema</strong> 8: <strong>Classificació</strong> <strong>de</strong> superfícies <strong>compactes</strong> Topologia<br />
Exemple 8.2.2 (El tor T 2 ).<br />
p3<br />
a −1<br />
p4<br />
b<br />
b −1<br />
Exemple 8.2.3 (El projectiu P2 ).<br />
a<br />
p2<br />
a<br />
p1<br />
Exemple 8.2.4 (L’ampolla <strong>de</strong> Klein K).<br />
a −1<br />
b<br />
b<br />
a<br />
p2<br />
a<br />
p1<br />
∼=<br />
b<br />
a a<br />
Recor<strong>de</strong>m que el pla projectiu es <strong>de</strong>fineix com:<br />
P 2 = {rectes <strong>de</strong> R 3 pel 0} ∼ = S2<br />
< p ∼ −p ><br />
∼=<br />
aba −1 b −1<br />
Donat que l’hemisferi Nord s’i<strong>de</strong>ntifica amb el Sud, tenim<br />
P2 = S2 <br />
+<br />
< p ∼ −p, p ∈ Equador > ∼ = D2<br />
< p ∼ −p, p ∈ Equador ><br />
∼=<br />
Abans <strong>de</strong> continuar amb més exemples, cal constatar que:<br />
b<br />
b<br />
a<br />
∼=<br />
b<br />
b ∼ =<br />
aba −1 b<br />
Proposició 8.2.2. Sigui X una superfície poligonal. Aleshores X és, efectivament, una 2-varietat. A més,<br />
X és compacta i connexa.<br />
Proof. A [Navarro-Pascual, Topologia Algebraica] es <strong>de</strong>mostra que és una 2-varietat. Com que π : D →<br />
D/ ∼= X és contínua i D és compacte i connex ⇒ X és compacte i connex.<br />
8.3 Superfícies standard<br />
Def 8.3.1. Les superfícies standard són les superfícies poligonals <strong>de</strong>fini<strong>de</strong>s per una <strong>de</strong> les paraules següents:<br />
• XA0 on A0 = aa −1 ;<br />
• XAg on Ag = a1b1a −1<br />
1 b−1 1 · · · agbga−1 g b−1 g , g 1;<br />
• XBg on Bg = a1a −1<br />
1 · · · aga −1<br />
g , g 1.<br />
Obs 8.3.2. XA0 = S2 , XA1 = T2 i XB1<br />
= P2<br />
Pregunta 8.3.3. Què és XA2? A2 = a1b1a −1<br />
b<br />
5<br />
−1<br />
4<br />
1<br />
a2<br />
6<br />
a −1<br />
1 3 b1<br />
b2 7 a −1<br />
2<br />
2<br />
a1<br />
1 = 9<br />
b<br />
8<br />
−1<br />
2<br />
1 b−1 1<br />
a2b2a −1<br />
2 b−1 2<br />
En primer lloc, observem que tots els vèrtexs s’acaben i<strong>de</strong>ntificant en un sol punt.<br />
Anem a veure què és tallant pel mig:
<strong>Tema</strong> 8: <strong>Classificació</strong> <strong>de</strong> superfícies <strong>compactes</strong> Topologia<br />
b −1<br />
1<br />
a2<br />
a −1<br />
1<br />
c<br />
c<br />
b1<br />
b2 a −1<br />
2<br />
a1<br />
b −1<br />
2<br />
Enganxant per c ens queda:<br />
∼=<br />
b −1<br />
1<br />
a 2<br />
a −1<br />
1<br />
c<br />
b 1<br />
b 2 a −1<br />
2<br />
Obs 8.3.4. Anàlogament XAg = gT 2 ja que Ag = A2Ag−1 si g > 2<br />
b −1<br />
1<br />
Per hipòtesi d’inducció<br />
a −1<br />
1<br />
b1<br />
a1<br />
c<br />
· · ·<br />
∼=<br />
(g − 1)T 2<br />
Obs 8.3.5. I què és XB2? B2 = a1a1a2a2<br />
3 2<br />
a2<br />
4<br />
a1<br />
a2<br />
a1<br />
1 = 5<br />
· · ·<br />
a 1<br />
b −1<br />
2<br />
b −1<br />
1<br />
gT 2<br />
∼=<br />
b −1<br />
1<br />
a 2<br />
a −1<br />
1<br />
c<br />
c<br />
b 1<br />
b 2 a −1<br />
2<br />
a 1<br />
b −1<br />
2<br />
∼=<br />
Un doble tor (tor amb dos forats), que <strong>de</strong>notarem 2T 2<br />
a −1<br />
1<br />
c<br />
c<br />
b 1<br />
a 1<br />
Com abans, observem que tots els vèrtexs s’acaben i<strong>de</strong>ntificant en un sol punt.<br />
Tallem per 13:<br />
∼=<br />
c<br />
b −1<br />
1<br />
a −1<br />
1<br />
c<br />
c<br />
b 1<br />
T 2<br />
a 1<br />
c<br />
c
<strong>Tema</strong> 8: <strong>Classificació</strong> <strong>de</strong> superfícies <strong>compactes</strong> Topologia<br />
a1<br />
a2<br />
c<br />
c<br />
a1<br />
a2<br />
∼=<br />
a1<br />
a2<br />
a1<br />
a2<br />
P 2 \ ◦<br />
D1⊔P 2 \ ◦<br />
D2<br />
∂D1∼h∂D2 = 2P2 On h : ∂D1 → ∂B2 és un<br />
homeomorfisme<br />
Aquesta superfície és la suma connexa <strong>de</strong> dos plans projectius, és a dir, a dos P 2 se’ls treu l’interior <strong>de</strong> dos<br />
discs i s’i<strong>de</strong>ntifiquen les vores.<br />
Def 8.3.6. La suma connexa <strong>de</strong> dues superfícies S1 i S2 és l’e.t. S1♯S2 <strong>de</strong>finit per<br />
on Di ⊆ Si i on fi : Di<br />
S1♯S2 :=<br />
(S1\ ◦<br />
D1 ⊔S2\ ◦<br />
D2) <br />
∼ = <br />
2 2 2<br />
D = {(x, y) ∈ R | x + y 1}<br />
< x ∼ f −1<br />
2 f1(x), x ∈ ∂D1 ><br />
Proposició 8.3.7. Si S1 i S2 són superfícies <strong>compactes</strong> i <strong>connexes</strong> ⇒ S1♯S2 també és una superfície compacta<br />
i connexa.<br />
Proof. Navarro-Pascual, Topologia Algebraica<br />
Proposició 8.3.8. La <strong>de</strong>finició <strong>de</strong> S1♯S2 no <strong>de</strong>pén <strong>de</strong>ls discs escollits ni <strong>de</strong>ls homeomorfismes.<br />
Proof. Navarro-Pascual, Topologia Algebraica<br />
Proposició 8.3.9. La suma connexa <strong>de</strong> superfícies <strong>compactes</strong> i <strong>connexes</strong> és una operació commutativa i<br />
associativa que té S 2 com a element neutre.<br />
Obs 8.3.10. Així doncs, les superfícies standard són:<br />
• XA0 = S 2 ;<br />
• XAg = gT2 = T 2 ♯ g)<br />
· · · ♯T 2 , suma connexa <strong>de</strong> g tors, g 1;<br />
• XBg = gP2 = P 2 ♯ g)<br />
· · · ♯P 2 , suma connexa <strong>de</strong> g plans projectius, g 1.<br />
8.4 Triangulació <strong>de</strong> superfícies<br />
Def 8.4.1. Sigui X una superfície compacta. Una triangulació <strong>de</strong> X és una família finita <strong>de</strong> subconjunts<br />
tancats {T1, . . . , Tn} que recobreixen X = n i=1 Ti i una família d’homeomorfismes ϕi : T → Ti on T és un<br />
triangle <strong>de</strong> R2 .<br />
Els Ti s’anomenen també triangles, les imatges <strong>de</strong>ls tres vèrtexs <strong>de</strong> T s’anomenen també vèrtexs i les imatges<br />
<strong>de</strong> les arestes <strong>de</strong> T s’anomenen també arestes.<br />
Es requereix que dos triangles diferents Ti, Tj siguin:<br />
• O bé disjunts;<br />
• O bé tinguin un únic vèrtex comú;<br />
• O bé tinguin una única aresta (sencera) en comú<br />
Exemple 8.4.1. No pot passar:<br />
Def 8.4.2. Anomenem la característica d’Euler d’una superfície S a χ(S) = v − a + c, on v = número <strong>de</strong><br />
vèrtexs, a = número d’arestes i c = número <strong>de</strong> cares d’una triangulació.
<strong>Tema</strong> 8: <strong>Classificació</strong> <strong>de</strong> superfícies <strong>compactes</strong> Topologia<br />
Exemple 8.4.2.<br />
4<br />
1 3<br />
2<br />
∼= 1<br />
Exemple 8.4.3. T 2 és triangulable i té χ(T 2 ) = 0<br />
a −1<br />
b<br />
b −1<br />
Exemple 8.4.4. P 2 és triangulable i χ(P 2 ) = 1.<br />
1<br />
3<br />
2<br />
5<br />
6<br />
a<br />
∼=<br />
4<br />
2<br />
3<br />
1<br />
3<br />
2<br />
1<br />
1<br />
9<br />
8<br />
5<br />
5<br />
4<br />
2<br />
7<br />
6<br />
4<br />
4<br />
3<br />
χ(P 2 ) = 6 − 15 + 10 = 1<br />
1<br />
3<br />
2<br />
1<br />
χ(S 2 ) = 4 − 6 + 4 = 2<br />
S 2 és triangulable i té χ = 2.<br />
χ(T 2 ) = 9 − 27 + 18 = 0<br />
Proposició 8.4.3. Dues triangulacions d’una superfície S tenen la mateixa característica. És a dir χ(S)<br />
està ben <strong>de</strong>finit: no <strong>de</strong>pen <strong>de</strong> la triangulació. En particular si S1 ∼ = S2 ⇒ χ(S1) = χ(S2)<br />
Proof. Navarro-Pascual o Massey<br />
Proposició 8.4.4. Siguin S1 i S2 dues superfícies <strong>compactes</strong> triangulables. Aleshores S1♯S2 és superfície<br />
compacta triangulable i χ(S1♯S2) = χ(S1) + χ(S2) − 2.<br />
Proof. Treiem <strong>de</strong> S1 l’interior d’un triangle T11.<br />
Treiem <strong>de</strong> S2 l’interior d’un triangle T21.<br />
I<strong>de</strong>ntifiquem la vora <strong>de</strong> T11 amb la <strong>de</strong> T21 obtenint S1♯S2.<br />
Aleshores<br />
χ(S1♯S2) = (v1 − 3) + (v2 − 3) + 3<br />
− [(a1 − 3) + (a2 − 3) + 3]<br />
+ (c1 − 1) + (c2 − 1)<br />
= (v1 − a1 + c1) + (v2 − a2 + c2) + 3 − 3 + 2<br />
= χ(S1) + χ(S2) − 2<br />
.<br />
Corol·lari 8.4.5. Les superfícies standard tenen característica<br />
• χ(S 2 ) = 2;
<strong>Tema</strong> 8: <strong>Classificació</strong> <strong>de</strong> superfícies <strong>compactes</strong> Topologia<br />
• χ(gT 2 ) = 2 − 2g, g 1;<br />
• χ(gP 2 ) = 2 − g, g 1.<br />
Corol·lari 8.4.6. • nT 2 ∼ = mT 2 ⇔ n = m;<br />
• S 2 ≇ gT 2 , per a tot g 1; S 2 ≇ gP 2 per a tot g 1;<br />
• nP 2 ∼ = mP 2 ⇔ n = m.<br />
Proposició 8.4.7. Sigui X una superfície poligonal obtinguda <strong>de</strong>l quocient d’un disc (o polígon) <strong>de</strong> 2n<br />
costats. Aleshores X és triangulable i χ(X) = v ′ − n + 1 on v ′ és el número <strong>de</strong> vèrtexs <strong>de</strong> la vora que que<strong>de</strong>n<br />
diferents <strong>de</strong>sprés <strong>de</strong> fer el quocient.<br />
I<strong>de</strong>a <strong>de</strong> la <strong>de</strong>mostració.<br />
1<br />
(2)n<br />
3 · (2n)<br />
Per tant, χ(X) = v − a + c = (1 + 8n + v ′ ) − 27n + 18n = v ′ − n + 1<br />
Exemple 8.4.5. Si X = XA amb A = aa −1 fbb −1 f −1 e −1 gcc −1 f −1 dd −1 e<br />
f −1<br />
7<br />
8<br />
b −1<br />
6<br />
e −1<br />
g<br />
9<br />
5<br />
b<br />
c<br />
4<br />
f<br />
c −1<br />
3<br />
10 11<br />
8.5 Teorema <strong>de</strong> classificació<br />
a −1<br />
12<br />
2<br />
g −1 d<br />
Teorema 8.5.1. Sigui S una superfície compacta i connexa. Aleshores<br />
a<br />
d −1 e<br />
1<br />
13<br />
14<br />
S ∼ = S 2 o bé S ∼ = gT 2 o bé S ∼ = gP 2 , g 1.<br />
Tenim v = 1 + 3 · (2n) + (2) · n + v ′ .<br />
És a dir, v = 1 + 8n + v ′ .<br />
Tenim a = (12)(2n) + (3)n = 27n<br />
Tenim c = 9 · (2n) = 18n<br />
Els vèrtexs compleixen:<br />
1=3=7<br />
2<br />
4=6<br />
5<br />
8=12=14<br />
9=11<br />
10<br />
Tenim doncs que v ′ = 8 i<br />
χ(X) = 8 − 7 + 1 = 2<br />
(De fet, X = S 2 )
<strong>Tema</strong> 8: <strong>Classificació</strong> <strong>de</strong> superfícies <strong>compactes</strong> Topologia<br />
Notació 8.5.2. g s’anomena el gènere <strong>de</strong> la superfície S. Si S ∼ = S 2 , g = 0<br />
Si S ∼ = S 2 o S ∼ = gT 2 es diu que S és orientable<br />
Si S ∼ = gP 2 es diu que S és no orientable (conté una cinta <strong>de</strong> Möbius)<br />
Obs 8.5.3. Sabent si S és orientable o no, es pot trobar el gènere a partir <strong>de</strong> la χ(S):<br />
g =<br />
<br />
1<br />
2<br />
(2 − χ(S))<br />
2 − χ(S)<br />
Obs 8.5.4. Com distinguir si una superfície poligonal és orientable o no?<br />
Si la paraula conté un parell <strong>de</strong> lletres amb el mateix exponent, aleshores és no orientable (aquest parell <strong>de</strong><br />
lletres s’anomena <strong>de</strong>l segon tipus. En cas contrari, es diuen <strong>de</strong> primer tipus)<br />
I<strong>de</strong>a <strong>de</strong> la <strong>de</strong>mostració.<br />
a a<br />
Exemple 8.5.1. S = XA amb A = abcdca −1 bd −1<br />
Com que hi ha un parell <strong>de</strong> 2a espècie cc (i bb) ⇒ S és no orientable. A més:<br />
2<br />
4<br />
c<br />
5<br />
d<br />
3<br />
b<br />
c<br />
6<br />
a<br />
a −1<br />
La <strong>de</strong>mostració <strong>de</strong>l teorema <strong>de</strong> reducció es basa en diversos resultats previs.<br />
b<br />
7<br />
1<br />
d −1<br />
8<br />
Si S = XA i A conté un parell aa <strong>de</strong><br />
segon tipus, aleshores po<strong>de</strong>m incloure<br />
una cinta <strong>de</strong> Möbius dins <strong>de</strong> S.<br />
Com que és no orientable:<br />
2 − g = χ(S) = v ′ − n + 1. Però 1 =<br />
7 = 2 = 6 = 4 i 3 = 8 = 5. O sigui<br />
v ′ = 2 i χ(S) = −1. Per tant, g = 3 i<br />
S ∼ = 3P 2 .<br />
Teorema 8.5.5 (Teorema <strong>de</strong> Radó). Sigui S una superfície compacte. Aleshores S és triangulable.<br />
Proof. Aquest teorema usa el teorema <strong>de</strong> la corba <strong>de</strong> Jordan. Veure Navarro-Pascual.<br />
Teorema 8.5.6. Sigui S una superfície compacte (i per tant triangulable) i connexa. Aleshores S és una<br />
superfície poligonal.<br />
Proof. Veure Navarro-Pascual o Massey<br />
Nosaltres ens limitarem a provar el resultat següent:<br />
Teorema 8.5.7. Sigui S una superfície compacta i connexa. Aleshores<br />
Proof. Farem servir la notació següent:<br />
S ∼ = S 2 o bé S ∼ = gT 2 o bé S ∼ = gP 2 , g 1.<br />
• Lletres majúscules A, B, C, . . . voldran dir paraules.
<strong>Tema</strong> 8: <strong>Classificació</strong> <strong>de</strong> superfícies <strong>compactes</strong> Topologia<br />
• Lletres minúscules a, b, c, . . . són les lletres d’aquestes paraules que donen nom a les arestes.<br />
• 2n serà el número <strong>de</strong> costats <strong>de</strong>l polígon o disc a partir <strong>de</strong>l qual s’obté la superfície S i<strong>de</strong>ntificant-los<br />
2 a 2.<br />
• aa −1 serà una aresta <strong>de</strong> 1r tipus. aa serà una aresta <strong>de</strong> 2n tipus.<br />
• Escriurem S = XA ó SA per <strong>de</strong>notar la superfície <strong>de</strong>finida per A<br />
• Dues paraules seran equivalents A ∼ B si les corresponents superfícies poligonals SA ∼ = SB són homeomorfes<br />
(és clar que és una relació d’equivalència).<br />
Comencem la <strong>de</strong>mostració:<br />
Si n = 1 ⇒ S = SA on<br />
A = aa −1 ⇒ S ∼ = S 2<br />
A = aa ⇒ S ∼ = P 2<br />
Po<strong>de</strong>m suposar doncs que n 2 i que S = SA és quocient d’un polígon d’almenys 4 arestes. Per tal <strong>de</strong><br />
<strong>de</strong>mostrar el teorema, reduïrem el problema a casos més senzills.<br />
Primera reducció R1 Eliminació d’arestes adjacents <strong>de</strong>l 1r tipus aa −1 .<br />
B<br />
a −1<br />
a<br />
C<br />
∼=<br />
a −1<br />
a<br />
B C ∼ =<br />
a<br />
B C ∼ = B C<br />
Segona reducció R2: Polígon amb tots els vèrtexs i<strong>de</strong>ntificats.<br />
Suposem que hi ha dos vèrtexs que no s’i<strong>de</strong>ntifiquen ⇒ hi ha d’haver dos vèrtexs adjacents que no s’i<strong>de</strong>ntifiquen.<br />
Els anomenem P i Q.<br />
Q<br />
c<br />
P<br />
B<br />
b<br />
a<br />
c (on a = b<br />
P<br />
−1 per R1 i a = b per P = Q)<br />
∼=<br />
A<br />
Tallem per c = ab i enganxem per b = a −1 c<br />
Q<br />
b<br />
P<br />
Observeu que ha <strong>de</strong>saparegut un vèrtex <strong>de</strong> la classe <strong>de</strong> Q i ha augmentat un vèrtex <strong>de</strong> la classe <strong>de</strong> P . Si és<br />
possible, tornem a aplicar R1, que no fa augmentar vèrtexs.<br />
Apliquem R2 recursivament fins que <strong>de</strong>saparegui tota la classe <strong>de</strong> Q.<br />
Tercera reducció R3: Ajuntar parelles d’arestes <strong>de</strong>l 2n tipus aa (si n’hi ha).<br />
B<br />
∼=<br />
d<br />
Tallem per d = Ba<br />
Enganxem per a = B−1 d<br />
d<br />
∼=<br />
a<br />
C<br />
a<br />
d<br />
c B<br />
Continuem fent aquest procès (que no fa aparèixer arestes aa −1 ni nous vèrtexs, és a dir, conserva les<br />
reduccions R1 i R2) fins que tots els parells <strong>de</strong> segon tipus són adjacents (si és que n’hi havia).<br />
Si no hi ha cap aprella <strong>de</strong> 1r tipus ⇒ tenim a1a1 . . . anan i per tant, S ∼ = nP 2 i ja hem acabat.<br />
Suposem que hi ha un parell <strong>de</strong> 2n tipus cc −1 .<br />
Afirmació 8.5.8. Han d’existir d i d −1 i la paraula ha <strong>de</strong> ser <strong>de</strong> la forma AcBdCc −1 Dd −1 E.<br />
d<br />
B<br />
Q<br />
c<br />
a −1<br />
B<br />
c<br />
A<br />
d
<strong>Tema</strong> 8: <strong>Classificació</strong> <strong>de</strong> superfícies <strong>compactes</strong> Topologia<br />
Proof.<br />
P A<br />
c −1<br />
B<br />
P<br />
c<br />
Suposem que no. Aleshores totes les arestes <strong>de</strong> A s’i<strong>de</strong>ntifiquen amb arestes <strong>de</strong> A i<br />
anàlogament amb B (ja que les arestes <strong>de</strong> 2n tipus van juntes). Per tant, existeixen<br />
dos classes diferents <strong>de</strong> vèrtexs, arribant a una contradicció.<br />
Quarta reducció R4: Ajuntar seqüències <strong>de</strong>l tipus aba −1 b −1 .<br />
a −1<br />
C<br />
D<br />
b<br />
c<br />
b −1<br />
B<br />
A<br />
a<br />
∼=<br />
a −1<br />
D C<br />
Tallem per c = BbC<br />
Enganxem per b −1 = Cc −1 B<br />
d<br />
c<br />
c −1<br />
a<br />
B<br />
A<br />
∼=<br />
d<br />
c<br />
d −1<br />
Tallem per d −1 = a −1 DC<br />
Enganxem per a = DCd<br />
Per tant AaBbCa −1 Db −1 ∼ ADCdcd −1 c −1 B.<br />
Continuem aquest procés (que respecta les reduccions anteriors) fins ajuntar totes les parelles <strong>de</strong> primer<br />
tipus a paraules dcd −1 c −1 .<br />
Si no hi ha parelles <strong>de</strong> 2n tipus, aleshores arribem a a1b1a −1<br />
1 b−1 1 . . . anbna−1 n b−1 n ∼ = nT2 Cinquena reducció R5: Or<strong>de</strong>nar tors i projectius:<br />
Tenim una paraula amb uns quants tors i uns quants projectius. Anem a posar tots els projectius junts i<br />
<strong>de</strong>sprés tots els tors.<br />
c<br />
c<br />
d<br />
D<br />
B<br />
A<br />
∼=<br />
B −1<br />
Tallem per d = Bc<br />
Enganxem per c = B −1 d<br />
d<br />
e<br />
D<br />
d<br />
A<br />
∼=<br />
e<br />
Tallem per e = dB −1<br />
Enganxem per d = eB<br />
Per tant, ABccD ∼ AeeBD.<br />
Sisena reducció R6: “Fondre un tor i un projectiu en tres projectius”. Vegem que Aaabcb −1 c −1 B ∼ Ad<strong>de</strong>effB<br />
B<br />
C<br />
c −1<br />
D<br />
e<br />
D<br />
B<br />
A<br />
A
<strong>Tema</strong> 8: <strong>Classificació</strong> <strong>de</strong> superfícies <strong>compactes</strong> Topologia<br />
c −1<br />
B<br />
b −1<br />
Conclusió:<br />
c<br />
A<br />
b<br />
d ∼ =<br />
a<br />
a<br />
• O bé S és S 2 o P 2<br />
c −1<br />
d<br />
Tallem per d = abcb −1<br />
Enganxem a = dbc −1 b −1<br />
• O bé és nP 2 (final R3)<br />
• O bé és nT 2 (final R4)<br />
B<br />
b −1<br />
A<br />
c −1<br />
f ∼ =<br />
d<br />
b<br />
f<br />
f<br />
Tallem per f = b −1 dc −1<br />
Enganxem per c −1 = d −1 bf<br />
• O bé (<strong>de</strong>sprés <strong>de</strong> 5 i 6), “fonent tors en projectius” és nT 2<br />
Referències:<br />
Massey: Introducción a la Topología Algebraica. Editorial Reverté.<br />
Navarro, Pascual: Topologia Algebraica. Edicions UB.<br />
B<br />
b<br />
A<br />
e<br />
d −1<br />
d<br />
b<br />
∼=<br />
f<br />
f<br />
B<br />
Tallem per e = d −1 b<br />
Enganxem per b = <strong>de</strong><br />
e<br />
A<br />
e<br />
d<br />
b