07.04.2013 Views

Tema 8: Classificació de superf´ıcies compactes connexes

Tema 8: Classificació de superf´ıcies compactes connexes

Tema 8: Classificació de superf´ıcies compactes connexes

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!