-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathTFG2.tex
executable file
·3377 lines (2704 loc) · 245 KB
/
TFG2.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
\documentclass[10pt]{report}
\usepackage[utf8]{inputenc}
\usepackage[spanish, es-lcroman]{babel} % Idioma
\selectlanguage{spanish}
\usepackage{graphicx} %imagenes
\usepackage{verbatim} % Para comment
\usepackage{appendix} %Para el apéndice
\usepackage{ragged2e} %para alinear texto izqda y derecha
\usepackage[a4paper, total={6in, 8in}]{geometry} %documento estructurado
\usepackage{microtype}%pone bonito el doc a nivel de formato
\setlength{\parindent}{0pt} % Quitar indentado parrafos automatico
\usepackage{mathtools}
\usepackage{amsmath} % Movidas útiles
\usepackage{amssymb} % Simbolos mates
\usepackage{amsthm} % Personalizar teoremas (mas abajo continuacion)
\usepackage{thmtools} % Mas movidas teoremas
\usepackage{tikz} % Para pictures
\usetikzlibrary{decorations.markings,arrows} %decoracion en tikz
\usetikzlibrary{shadows,arrows,positioning,shapes.geometric}
\usetikzlibrary{decorations,decorations.markings}
\usepackage{pgfplots}
\usetikzlibrary{intersections, pgfplots.fillbetween}
\usetikzlibrary {arrows.meta}
\usepackage{etoolbox}
\usetikzlibrary{optics}
\usepackage{pgf,tikz}
\usetikzlibrary{arrows}
\usetikzlibrary{babel}
\usepackage[hidelinks]{hyperref}
\usepackage[all]{hypcap}
\usepackage{tocbibind}%para poner la bibliografía en el toc, poner entre corchetes nottoc o notlof para quitar toc y lof
\usepackage{sectsty} % Personalizar titulos secciones
%\sectionfont{\underline} % Titulo seccion subrayado
% Comandos simbolos utiles
\newcommand{\C}{\mathbb{C}}
\newcommand{\R}{\mathbb{R}}
\newcommand{\Q}{\mathbb{Q}}
\newcommand{\Z}{\mathbb{Z}}
\newcommand{\N}{\mathbb{N}}
\newcommand{\Epsilon}{\mathcal{E}}
\DeclareMathOperator{\interior}{Int} %interior
\DeclareMathOperator{\dimension}{dim} %dimension
\DeclareMathOperator{\Ker}{Ker}
\DeclareMathOperator{\Ab}{Ab}
\newcommand{\norm}[1]{\left\lVert#1\right\rVert} % Comando para normas
\newcommand{\Esfera}{\mathbb{S}^2}
\newcommand{\Toro}{\mathbb{T}^2}
\newcommand{\Proyectivo}{\mathbb{P}^2}
\newcommand{\enfatiza}[1]{\textbf{\textit{#1}}}
\newcommand{\Disco}{\overline{\mathbb{B}}^2}
% Estilos teoremas (Mejorable)
\theoremstyle{definition}
\newtheorem{defin}{Definición}[section]
\newtheorem{tma}[defin]{Teorema}
\newtheorem*{tma*}{Teorema}
\newtheorem{corol}[defin]{Corolario}
\newtheorem{prop}[defin]{Proposición}
\newtheorem{lema}[defin]{Lema}
%\newcommand{\demo}{Demostración.\\}
%\newcommand{\ok}{\hfill$\square$}
%\theoremstyle{remark}
\newtheorem{obs}[defin]{Observación}
\newtheorem{eje}[defin]{Ejemplo}
\graphicspath{ {images/} }
\usepackage{afterpage}
\newcommand\blankpage{%
\null
\thispagestyle{empty}%
\newpage}
\usepackage{caption}
\usepackage{subcaption} %para hacer subfigures
%bibliografia
\usepackage[backend=bibtex, style=numeric, sorting=none, defernumbers=true]{biblatex}
\addbibresource{bibliografiatfg.bib}
% Cabeceras
\renewcommand{\title}{ZIP}
\newcommand{\subtitle}{Trabajo fin de grado}
\renewcommand{\maketitle}{{\Large{\textbf{\title}}}\\\\{\Large \subtitle}\\\rule{17cm}{0.4pt}\\}
\newenvironment{dedication}
{\clearpage % we want a new page
\thispagestyle{empty}% no header and footer
\vspace*{\stretch{1}}% some space at the top
\itshape % the text is in italics
\raggedleft % flush to the right margin
}
{\par % end the paragraph
\vspace{\stretch{3}} % space at bottom is three times that at the top
\clearpage % finish off the page
}
\pagenumbering{roman}
\setcounter{page}{1}
\begin{document}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%PORTADA%%%%%%%%%%%
%%% PORTADA%%%%%%
\afterpage{\blankpage}
\begin{titlepage} %Creo que esto es para la numeración de páginas
\begin{center} %Que todo quede centradito
% Todo esto de abajo habría que retocarlo pero así sirve de ejemplo
\huge\textsc{Universidad Complutense de Madrid}\\[0.2in]
\includegraphics[scale=0.14]{complu}\\[0.1in] %Introduce la imagen y la reescala, inserta un pequeño hueco con lo de debajo
\Large{Facultad de Matemáticas}\\[0.5in] %inserta un hueco mayor con lo de abajo
%la linea horizontal
\Large{Trabajo de Fin de Grado}\\[.1in]
\Huge {La prueba ZIP de Conway del Teorema de Clasificación de Superficies}\\[0.2in]
\vfill %Llenar verticalmente
\Large {Juan Valero Oliet}\\[0.5in]
\vfill
Dirigido por:\\
Manuel Alonso Morón\\[.1in]
\Large{}%junio de 2020
\end{center}
\end{titlepage}
%%%%%%%%%%%%%PORTADA%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
\begin{dedication}
\afterpage{\blankpage}
A la Abeba.
\end{dedication}
\section*{Resumen}\addcontentsline{toc}{chapter}{\numberline{}Resumen}
El presente trabajo tiene como objetivo estudiar la denominada ``\textit{Prueba ZIP}'' de John H. Conway, que demuestra de un modo informal el Teorema de Clasificación de Superficies. La Prueba ZIP presenta ventajas respecto a la clásica de Seifert-Threlfall, pero desarrolla sólo una parte de la demostración del teorema. Con esto en mente, daremos una introducción a las variedades topológicas y su triangulación. Desarrollaremos la demostración de Seifert-Threlfall con el fin de comparar las dos pruebas, y finalmente formalizaremos la Prueba ZIP con todo detalle y la completaremos con la segunda parte del teorema.
\section*{Abstract}\addcontentsline{toc}{chapter}{\numberline{}Abstract}
The aim of the present work is to study the so called ``\textit{ZIP Proof}'' given by John H. Conway, which gives an informal approach to the Classification Theorem of Surfaces. The ZIP proof has some advantages, but it only proves one part of the theorem. With this in mind, an introduction to topological manifolds and their triangulation will be given. We will explain the Seitfert-Threlfall proof for comparison, formalize in detail the ZIP proof, and finally complete it with the second part of the theorem.
\afterpage{\blankpage}
\clearpage
\section*{Introducción}\addcontentsline{toc}{chapter}{\numberline{}Introducción}
El siguiente trabajo se centra en estudiar el Teorema de Clasificación de Superficies. Este resultado proporciona un \textit{conjunto completo de representantes} para las superficies compactas. En concreto, asegura que toda superficie compacta es homeomorfa a una suma conexa de esferas, a una suma conexa de toros o a una suma conexa de planos proyectivos, y que estas superficies no son homeomorfas entre sí.\\
El Teorema de Clasificación de Superficies está intrínsecamente relacionado con el desarrollo de la topología, desde su nacimiento hasta la actualidad. De la primera aproximación del Teorema hasta la demostración rigurosa completa pasaron más de sesenta años, durante los cuales se fueron construyendo conceptos tales como \textit{homeomorfismo, variedad, triangulación} u \textit{orientabilidad}. Si bien el primer intento de demostrar el teorema se dió en el año 1863 por Möbius \cite{mobius}, la noción de superficie como variedad bidimensional definida en terminos de cartas no se dió hasta los años 30 del siglo XX, y los intentos de clasificación anteriores a esa década asumen, sin demostrar, que todas las superficies son triangulables. Por otro lado, la noción de homeomorfismo tampoco se da de forma precisa hasta principios de la década de 1900.\\
Todas las demostraciones rigurosas incluyen dos pasos. El primero, demostrar que toda superficie es triangulable. El segundo, transformar la superficie en otra homeomorfa, llamada \textit{forma normal}. \\
Möbius, en un primer intento, proporcionó una clasificación de las superficies orientables, al igual que hizo Jordan \cite{jordan} tres años después sin aparentemente conocer su trabajo. En la prueba de Jordan encontramos además una tentativa de definición rigurosa de homeomorfismo, así como métodos de transformación que incluyen cortes sobre la superficie y que inspirarían a sus sucesores. Tanto Möbius como Jordan definen por primera vez el concepto de \textit{género} mediante el uso de curvas cerradas simples sobre una superficie, con el que Jordan anticipa además su trabajo posterior de las \textit{Curvas de Jordan}.
En 1888 von Dick \cite{vondick} es el primero en dar la clasificación completa de superficies orientables y no orientables, introduciendo además la noción de \textit{forma normal} de una superficie, pero se considera que son Dehn y Heegaard los primeros que en 1907 \cite{dehn} lo demuestran de forma rigurosa. En 1915 Alexander publica en un artículo \cite{alexander} en el que se representan por primera vez las superficies como polígonos con aristas identificadas, y finalmente es en 1920 cuando Brahana \cite{brahana} demuestra de forma rigurosa y completa el Teorema de Clasificación en términos de transformaciones sobre polígonos que representan superficies. Radó \cite{rado} demuestra en 1925 que toda superficie es triangulable, completando así la prueba.
Hoy en día, la mayoría de los libros de texto siguen la demostración dada por Seifert y Threlfall \cite{seifert}.\\
En el año 1999, Francis y Weeks presentan en \cite{zip} una demostración totalmente nueva y distinta dada por John H. Conway y llamada ``\textit{ZIP proof}''. Las siglas \textit{ZIP} hacen referencia a \textit{Zero Irrelevancy Proof}, es decir, \textit{Prueba de Irrelevancia Cero}, pues según Conway esta demostración elimina algunas de las irrelevancias que contiene la versión de Seifert-Threlfall. El uso de cortes sobre polígonos es para Conway uno de los pasos que se pueden eliminar, y utiliza en cambio el concepto de \textit{suma conexa de superficies} para llegar a la forma normal. Esta prueba, si bien es corta e instructiva por ser muy comprensible a nivel intuitivo, es bastante informal. Algunas partes de la demostración incluyen pasos que no se desarrollan en profundidad, y conceptos como triangulación, orientabilidad, género y característica de Euler se citan pero no llegan a definirse. Por otro lado, no se demuestra que las superficies del conjunto de representantes no sean homeomorfas entre sí. El propósito de este trabajo es formalizar la prueba de Conway y compararla con la de Seifert-Threlfall.\\
El trabajo está estructurado en cuatro capítulos.\\
El primer capítulo trata de la triangulación de superficies. En la primera parte doy definiciones y resultados básicos de variedades, variedades con borde, superficies y suma conexa de variedades, que será el concepto central en la demostración de Conway. En la segunda defino de forma rigurosa el concepto de triangulación de superficies mediante símplices y complejos simpliciales, y doy las lineas generales de la demostración del Teorema de Radó. \\ %Esta es la parte más importante del capítulo, donde lo enunciaré y trataré de dar una idea de la demostración. %Esta utiliza el \textit{Teorema de Jordan-Shönflies}, que no demostraré pues me alejaría del propósito final del trabajo. \\
En el segundo capítulo estudio la demostración de la primera parte del Teorema de Clasificación, a la manera de Seifert-Threlfall, para poder compararla con la prueba de Conway. Con esta finalidad, presento un método riguroso de representación de cualquier superficie triangulada como un polígono en el plano. Introduzco entonces una serie transformaciones sobre este polígono que den lugar a superficies homeomorfas. Estos conceptos también me servirán para formalizar la prueba ZIP. Finalmente, una vez probado el teorema, lo extiendo a las superficies con borde.\\
El tercer capítulo es la parte central del trabajo. Sigo paso por paso el artículo de Francis y Weeks, dando para cada resultado una demostración rigurosa, y definiendo formalmente las ideas de Conway. Para ello, me ayudo de algunos conceptos expuestos en el capítulo dos. Comento también donde procede las similitudes y diferencias con la prueba de Seifert-Threlfall, así como las posibles ventajas de una prueba u otra. El teorema que enuncio y demuestro da directamente la clasificación de las superficies con borde.\\
En el cuarto capítulo, finalmente, completo la demostración probando que la esfera, la suma conexa de toros y la suma conexa de planos proyectivos no son homeomorfas. Para ello utilizaré como invariante topológico el subgrupo conmutador del grupo fundamental de las superficies. Esta prueba no dependerá de la utilizada para la primera parte del teorema. \\
\begin{comment}
\section*{Notación}\addcontentsline{toc}{chapter}{\numberline{}Notación}
$I$ representará el intervalo $\left[ 0,1\right]$.
\clearpage
\end{comment}
\tableofcontents
\clearpage
\afterpage{\blankpage}
\chapter{Superficies y triangulación}\label{cap:1}
\pagenumbering{arabic}
\setcounter{page}{1}
En este capítulo desarrollaremos los conceptos que nos permitirán clasificar las superficies. Consta de dos partes. En la primera doy las definiciones y resultados básicos de las variedades, así como de las variedades con borde, que Conway utiliza en la Prueba ZIP sin mencionarlas ni definirlas. También estudiaremos la suma conexa de variedades, en la que nos basaremos para llegar a una forma estándar en la prueba ZIP.
En la segunda parte del capítulo expondré los conceptos de símplices y complejos simpliciales, de cara a poder dar una definición rigurosa de triangulación de una superficie. Finalmente enunciaré el teorema de Radó y expondré una demostración que se basa en el Teorema de Jordan-Schönflies. \\%Me basaré principalmente en los libros de Lee \cite{lee1}, Muñoz - Madrigal \cite{juanjo} y Munkres \cite{munkres}.\\
\section{Variedades}\label{sec:variedades}
Los espacios topológicos de los que nos vamos a ocupar en el siguiente trabajo son las variedades, y en concreto las superficies. Decimos que un espacio topológico $M$ es \enfatiza{localmente euclídeo de dimensión n} si todo punto de $M$ tiene un entorno en $M$ que es homeomorfo a un abierto de $\R^n$.
\begin{defin}\label{def:variedad}%%%%DEF: variedad topológica
Una \textbf{\emph{variedad topológica}} (de ahora en adelante \emph{variedad}) es un espacio topológico Hausdorff, II AN y localmente euclídeo de dimensión $n$, para algún $n\geq 0$.
\end{defin}
Sea $M$ una variedad, y sea $p\in M$. Si $U\subseteq M$ es un entorno de $p$ que es homeomorfo a un abierto $U'$ de $\R^n$, decimos que $U$ es un \enfatiza{dominio coordenado}, y llamamos \enfatiza{aplicación coordenada} a cualquier homeomorfismo $\varphi :U\to U'$. Decimos que el par $(U,\varphi )$ es una \enfatiza{carta para $M$}.\\
A un dominio coordenado que es homeomorfo a una bola de $\R^n$ se le llama \enfatiza{bola coordenada} (si $n=2$, decimos \enfatiza{disco coordenado}). Si $p\in M$ y $U$ es un dominio coordenado que contiene a $p$, decimos que $U$ es un \enfatiza{entorno euclídeo} de $p$.\\
No siempre se tiene que la adherencia de una bola coordenada sea homeomorfa a una bola cerrada euclídea. Por tanto, decimos que una bola coordenada $B\subseteq M$ es una \enfatiza{bola coordenada regular} si existe un entorno $B'$ de $\overline{B}$ y un homeomorfismo $\varphi:B'\to B_{r'}(x)\subseteq \R^n$ que lleva $B$ a $B_r(x)$ y $\overline{B}$ a $\overline{B}_r(x)$ para algún $r'>r>0$ y para algún $x\in \R^n$.
\begin{obs}%%%%OBS: toda propiedad local de Rn se pasa a las variedades
Ser localmente euclídeo de dimensión $n$ es una propiedad local, y por tanto las propiedades locales de $\R^n$ se trasladan a una variedad. Así pues, las variedades son localmente compactas, I AN, localmente conexas, localmente conexas por caminos y localmente simplemente conexas.
\end{obs}
Vamos a definir ahora la dimensión de una variedad. El \textit{Teorema de Invarianza del Dominio} dice que si $V\subset \R^n$ y $V'\subset \R^m$ son abiertos y existe un homeomorfismo $\phi: V \rightarrow V'$, entonces $n=m$. Así pues, sea $M$ una variedad, y sea $p\in M$. Entonces hay un único $n=n_p$ tal que un entorno $U^p$ de $p$ en $M$ es homeomorfo a un abierto $U'\subset \R^n$. Decimos que $n_p$ es la \enfatiza{dimensión en p}. Si para todo punto $q\in U^p$ tomamos $U^p$ como entorno de $q$, tenemos que $n_q=n_p$. Luego en toda la componente conexa de $M$, el $n$ que aparece es el mismo, y lo llamaremos \enfatiza{dimensión} de dicha componente conexa. Si escribimos $M=\amalg M_i$ como la unión disjunta de sus componentes conexas $M_i$, tenemos que todas las $M_i$ son variedades, y si todas las $M_i$ tienen la misma dimensión $n$, entonces escribimos $n=\dimension{M}$, y decimos que $M$ es una \enfatiza{n-variedad}.\\
El ejemplo más trivial de $n$-variedad es $\R^n$, pero también lo es cualquier abierto suyo. De hecho, esto se puede generalizar:
\begin{prop}%%%%PROP: abierto variedad abierto
Todo abierto de una $n$-variedad es una $n$-variedad.
\end{prop}
\begin{proof}
Sea $M$ una $n$-variedad, y sea $V$ un subconjunto abierto de $M$. Para todo $p\in V$, $p$ tiene un entorno $U^p$ en $M$ que es homeomorfo a un subconjunto abierto de $\R^n$. $U^p\cap V$ es también abierto y homeomorfo a un subconjunto abierto de $\R^n$, y está contenido en $V$. Por tanto $V$ es localmente euclídeo de dimensión $n$. Por otro lado, todo abierto de un espacio Hausdorff es Hausdorff y todo abierto de un espacio II AN es II AN. Por lo que $V$ es una variedad.
\end{proof}
\begin{eje}%%%%EJE: variedades.
\begin{itemize}
\item Las 0-variedades son espacios discretos numerables. La única 0-variedad conexa es un punto.
\item Existen dos 1-variedades conexas salvo homeomorfismo: la recta $\R$ y la circunferencia $$\mathbb{S}^1
=\left\{(x,y)\in \R^2\mid x^2+y^2=1\right\}$$.
\end{itemize}
\end{eje}
\begin{defin}%%%%DEF: SUPERFICIE
Una \textbf{\emph{superficie}} es una $2$-variedad.
\end{defin}
\begin{eje}%%%%EJE: toro y esfera
Son superficies:
\begin{itemize}
\item La esfera $\mathbb{S}^2=\{(x,y,z) \in \R^3\mid x^2+y^2+z^2=1\}$ (\autoref{fig:esfera}).
\item El toro $\mathbb{T}^2=\{(x,y,z)\in \R^3\mid (\sqrt{x^2+y^2}-2)^2+z^2=1\}$ (\autoref{fig:toro}).
\end{itemize}
\end{eje}
\begin{figure}%%%%FIG: Toro y esfera
\begin{subfigure}{.5\textwidth}
\centering
\begin{tikzpicture}[scale=0.8]
\draw (0,0) circle (2cm);
\draw (2,0) arc[x radius=2, y radius=0.7, start angle=0, end angle=-180];
\draw [dashed] (2,0) arc[x radius=2, y radius=0.7, start angle=0, end angle=180];
\end{tikzpicture}
\caption{$\Esfera$\label{fig:esfera}}
\end{subfigure}
\begin{subfigure}{.5\textwidth}
\centering
\begin{tikzpicture}
\draw (6,-0.1) ellipse (2.9cm and 1.4 cm);
\draw (7.5,0.1) arc[x radius=1.5, y radius=0.4, start angle=0, end angle=-180];
\draw (7.3,-0.1) arc[x radius=1.3, y radius=0.3, start angle=0, end angle=180];
\end{tikzpicture}
\caption{$\Toro\label{fig:toro}$}
\end{subfigure}
\caption{Ejemplos de superficies.}
\end{figure}
\section{Variedades con borde}\label{sec:borde}
Hay una serie de espacios topológicos que no son variedades pero que tienen interés desde el punto de vista geométrico y son útiles a la hora de estudiarlas. Por ejemplo, la bola cerrada $\overline{\mathbb{B}}^n$ no es una variedad, puesto que para los puntos de su frontera no hay entornos homeomorfos a abiertos de $\R^n$. Vamos a definir por tanto una clase de espacios que extienda a las variedades pero que admita la existencia de algún tipo de \textit{bordes}. Para ello, indicaremos con $\mathbb{H}^n$ al \enfatiza{semiplano superior cerrado n-dimensional} $$\mathbb{H}^n=
\left\{(x_1,\dots ,x_n)\in \R^n\mid x_n\geq 0\right\}.$$
\begin{defin}
Una \enfatiza{variedad con borde n-dimensional} $M$ (o $n$-variedad con borde) es un espacio topológico Hausdorff y II AN tal que todo punto $p\in M$ tiene un entorno $U$ homeomorfo a un abierto $U'\subset \mathbb{H}^n$.
\end{defin}
Sea $M$ una n-variedad con borde, $p\in M$ y $\varphi :U\to U'\subset \mathbb{H}^n$ un homeomorfismo como el de la definición. Como en el caso de variedades, decimos que $U$ es un \enfatiza{dominio coordenado}, que $\varphi$ es una \enfatiza{aplicación coordenada} para $M$ y que el par $(U,\varphi )$ es una \enfatiza{carta para $M$}.\\
Como en la sección anterior, decimos que $B\subseteq M$ es una \enfatiza{semibola coordenada regular} si existe un abierto $B'$ que contiene a $\overline{B}$ y y un homeomorfismo de $B'$ a $B_{r'}(0)\cap \mathbb{H}^n$ que lleva $B$ a $B_r(0)\cap \mathbb{H}^n$ y $\overline{B}$ a $\overline{B}_r(0)\cap \overline{H}^n$ para algún $0<r<r'$.
Si denotamos $\varphi (p)=a=(a_1,\dots ,a_n)$, podemos distinguir entre dos tipos de puntos:
\begin{itemize}
\item[1.] \textit{Puntos interiores:} Si $a_n>0$, entonces podemos tomar una bola $B_{\varepsilon}(a)\subset U'$ y $V=\varphi^{-1}(V')$, por lo que $V$ es un entorno de $p$ homeomorfo a un abierto de $\R^n$. Decimos por tanto que $p$ es un \enfatiza{punto interior de $M$}, y denotamos por $\interior{M}$ al conjunto de puntos interiores de $M$.
\item[2.] \textit{Puntos borde:} Si $a_n=0$ para todo $n$, entonces podemos tomar una semibola $V'=B_{\varepsilon}^{+}=B_{\varepsilon}(a)\cap \mathbb{H}^n$, y $V=\varphi^{-1}(V')$. Decimos que $p$ es un \enfatiza{punto borde de $M$}. Al conjunto de todos los puntos borde de $M$ lo denotamos por $\partial M$.
\end{itemize}
\begin{prop}\label{prop:int_variedad}%%%%PROP: interior y borde de una variedad con borde
Sea $M$ una $n$-variedad con borde, entonces $\interior{M}$ es un abierto de $M$, y es en sí mismo una $n$-variedad.
\end{prop}
\begin{proof}
Sea, para cada $x\in \interior{M}$, $(U_x,\psi_x)$ una carta para $x$, donde $U_x$ es un abierto homeomorfo a $\R^n$. Se tiene que $\interior{M}=\bigcup_{x\in M} U_x$, por lo que es un abierto, y además localmente euclídeo, y por tanto variedad.
\end{proof}
\begin{prop}[Invarianza del borde]%%%%PROP: invarianza del borde
Si $M$ es una $n$-variedad con borde, entonces un punto $p\in M$ no puede ser un punto interior y un punto borde al mismo tiempo. O lo que es lo mismo, $M=\interior{M} \cup \partial M$, con $\interior{M} \cap \partial M=\emptyset$.
\end{prop}
\begin{proof}
Dado que las variedades que trato en el trabajo son las superficies, voy a dar la demostración en el caso de que $n=2$. El caso general incluye conceptos de homología que no voy a tratar.\\
Supongamos que $p\in M$ es tanto un punto interior como un punto borde de $M$. Entonces existen $(U,\varphi)$ tal que $\varphi (U)\subseteq \interior{\mathbb{H}^2}$ y $(V,\psi)$ tal que $\psi (V)\subseteq \mathbb{H}^2$, donde $\psi (p)=s\in \partial \mathbb{H}^2$. Llamando $W=U\cap V$, se tiene que $\varphi (W)$ es homeomorfo a $\psi (V)$. \\
Ahora bien, podemos elegir un $\varepsilon >0$ tal que $B_{\varepsilon}(s)\cap \mathbb{H}^2 \subseteq \psi (W)$. Sea $U'=\psi^{-1}\left( B_{\varepsilon}(s) \cap \mathbb{H}^2\right)$; utilizando que un abierto de $\R^2$ menos un punto suyo no es simplemente conexo, tenemos que $\varphi (U')\setminus \{\varphi (p) \}$ no es simplemente conexo. Por otro lado, $U'\setminus {p}$ es homeomorfo a $X:=B_{\varepsilon}(s)\cap \mathbb{H}^2 \setminus \{ s\}$.\\
Sea $x_0\in B_{\varepsilon}(s)\cap \interior{\mathbb{H}^2}$, definimos $F: X\times \left[ 0,1\right] \to X$ por $F(x,t)=x_0 + (1-t)(x-x_0)$, que nos indica que $\{x_0\}$ es un retracto por deformación fuerte de $X$. Por tanto, $X$ es simplemente conexo, lo que implica que también lo son $U'\setminus \{p\}$ y $\varphi(U')\setminus \{ \varphi (p)\}$, pero esto es una contradicción.
\end{proof}
\begin{corol}\label{corol:borde_n-1_variedad}
Si $M$ es una $n$-variedad con borde, entonces:
\begin{itemize}
\item[(i)] $\partial M$ es un cerrado en $M$.
\item[(ii)] $\partial M$ es una $(n-1)$-variedad.
\item[(iii)] $M$ es una variedad si y solo si $\partial M=\emptyset$.
\end{itemize}
\end{corol}
\begin{proof}
Por el teorema de la invarianza del borde, $\partial M= M\setminus \interior{M}$, y siendo $\interior{M}$ abierto, $\partial M$ es por tanto cerrado, lo que demuestra (i).
%((AQUÍ FALTA REVISARLO))
Para (ii), sea $p\in \partial M$. Tomamos $U$ un entorno de $p$ en $M$ y $\varphi : U\to U'\subset \mathbb{H}^n$ un homeomorfismo. Sea $V'=B_{\varepsilon}(a)\cap \mathbb{H}^n$ tal que $\varphi(p)=a$, y $V=\varphi^{-1} (V)$.
%Tomamos $U$ un entorno suyo en $M$, y sea $\varphi :V\to V'=B_{\varepsilon}(a)\cap \mathbb{H}^n$ tal que $\varphi(p)=a$.
Así pues, $\varphi^{-1} (\{(x_1,\dots ,x_n)\in V' \mid x_{n}>0\})\subseteq \interior M$ y $\varphi^{-1} (\{(x_1,\dots ,x_{n-1},0)\in V'\})\subseteq \partial M$. Por lo tanto $\partial M\cap V=\varphi^{-1} (\{(x_1,\dots ,x_{n-1},0)\in V'\})=W$ es un abierto de $\partial M$, y $\varphi : W\to W'=B_{\varepsilon}(a)\cap (\R^{n-1} \times \{ 0\} )$ es un homeomorfismo con un abierto de $\R^{n-1}$, lo que implica que $\partial M$ es una $(n-1)$-variedad.
Finalmente para probar (iii), si suponemos que $M$ es una variedad, entonces todo punto tiene un entorno homeomorfo a un abierto de $\R^n$, por lo que todo punto es interior y $M=\interior{M}$, y se sigue de la invarianza del borde que $\partial M=\emptyset$. Si suponemos ahora que $\partial M=\emptyset$, entonces $M=\interior{M}$, que es una variedad por la \autoref{prop:int_variedad}.
\end{proof}
\begin{figure}[t]%%%%FIG: Cilindro y Möbius
\begin{subfigure}{.5\textwidth}
\centering
\begin{tikzpicture}[scale=1.5]
\draw (-.5,0) arc [x radius=1, y radius=.3, start angle=180, end angle=360] -- +(0,1) arc[x radius=1, y radius=.3, start angle=0, end angle=180] -- +(0,-1);
\draw [dashed] (-.5,0) arc[x radius=1, y radius=.3, start angle=180, end angle=0];
\draw (1.5,1) arc[x radius=1, y radius=.3, start angle=0, end angle=-180];
\end{tikzpicture}
\caption{Cilindro.\label{fig:cilindro}}
\end{subfigure}
\begin{subfigure}{.5\textwidth}
\centering
\begin{tikzpicture}[scale=1.7]
%\draw [help lines, step=1mm] (-2,-2) grid (2,2);
%\draw [gray](-2,0) -- (2,0);
%\draw [gray](0,-2) -- (0,2);
%\draw[looseness=1] (.65,-.05) [out=135, in=0] to (-.2, .175) [out=180, in=90] to(-.5,-.0) [out=-90, in=180] to (0,-.2) [out=0, in=-90] to (.7,.1) [out=90, in=0] to (-.,.45) [out=180, in=90] to (-.8,0) [out=-90, in=180] to (.2,-.5) [out=0, in=-100] to (.75,-.25) [out=95, in=-80] to (.7,.15) ;
\draw (1,.7)[out=-90, in=45] to (.95,.6) [out=-135,in=0] to (-.5, -.0) [out=180, in=-20] to (-1,.1) -- (-1,.7) arc [x radius=1, y radius=0.2, start angle=180, end angle=0] -- (1,.1) [out=-160, in=-10] to (-.3,0.006);
\draw (-.0,.05) [out=160, in=-45] to (-.95,.6) [out=135, in=-90] to (-1,.7);
\draw (-.7,.39) arc [x radius=.7, y radius=.1, start angle=180, end angle=-4];
\end{tikzpicture}
\caption{Banda de Möbius.\label{fig:mobius}}
\end{subfigure}
\end{figure}
Hacemos incapié en que los conceptos de \textit{variedad} y \textit{variedad con borde} son distintos. Una variedad con borde puede ser o no una variedad, pues puede tener el borde vacío. En cambio, una variedad es siempre una variedad con borde en la que todo punto es un punto interior. Para evitar confusiones, si el contexto lo pide, utilizaremos \enfatiza{variedad sin borde} para referirnos a una variedad en el sentido de la \autoref{def:variedad}.\\
Veamos algunos ejemplos no triviales de superficies con borde:
\begin{eje}\label{eje:rep_borde}
\begin{itemize}
\item[(1)] El cilindro (\autoref{fig:cilindro}): $$Cil=\left\{(x,y,z)\in \R^3 \mid x^2+y^2=1,\, z\in \left[ 0,1\right] \right\} \,.$$
\item[(2)] La banda de Möbius (\autoref{fig:mobius}):
\begin{align*}
Mob=
& \left\{ \left(\left(1+\left(y-\frac{1}{2}\right)\cos \left(\pi x\right)\right), \, \left(1+\left(y-\frac{1}{2}\right)\cos \left(\pi x\right)\right)\sin \left( 2 \pi x\right), \right. \right.\\
& \left. \left. \left( y-\frac{1}{2} \right)\sin \left( \pi x\right)\right) \mid x\in \left[0,1\right], \, y\in \left[0,1\right] \right\} \, .
\end{align*}.
%\item[(3)] Un toro con dos ``perforaciones''.
\end{itemize}
\end{eje}
\section{Suma conexa de variedades}
Sean $M_1$ y $M_2$ dos $n$-variedades conexas. Dados $p_1\in M_1$ y $p_2\in M_2$ sean $U_1\subset M_1$, $U_2\subset M_2$ entornos abiertos de $p_1$ y $p_2$ respectivamente, y sean $\varphi_1:U_1\to\R^n$ y $\varphi_2:U_2\to\R^n$ dos aplicaciones coordenadas tales que $\varphi_1(p_1)=0$ y $\varphi_2(p_2)=0$. Si llamamos $B_1=\varphi_1^{-1}(B_1(0))\subset M_1$ y $B_2=\varphi_2^{-1}(B_1(0))\subset M_2$, consideremos $M_1^o=M_1\setminus B_1$, $M_2^o=M_2\setminus B_2$ y $M_1^o \amalg M_2^o$ con la topología unión disjunta.
Se define la relación de equivalencia $\sim$ en la que si $x_1\in S_1=\varphi_1^{-1}(\partial B_1(0))$, $x_2\in S_2=\varphi_2^{-1}(\partial B_1(0))$, entonces $x_1\sim x_2$ si y sólo si $\varphi_1(x_1)=\varphi_2(x_2)$, y se considera el cociente
$$M=\frac{M_1^o\amalg M_2^o}{\sim}.$$
\begin{defin}%%%% DEF: suma conexa
A $M$ así definida se le llama \textbf{\textit{suma conexa}} de $M_1$ y $M_2$, y se denota por $M=M_1\#M_2$.
\end{defin}
\begin{figure}[t]%%%%FIG: 2-toro
\centering
\begin{tikzpicture}
\draw (0.23,1.85) arc[x radius=2, y radius=1.4, start angle=150, end angle=-150];
\draw (-0.23,1.85) arc[x radius=2, y radius=1.4, start angle=30, end angle=330];
\draw plot [smooth] coordinates { (-0.23,1.85) (0,1.67)(0.23,1.85)};
\draw plot [smooth] coordinates { (-0.23,0.45) (0,0.67)(0.23,0.45)};
\draw (-1.25,1.35) arc[x radius=0.7, y radius=0.5, start angle=0, end angle=-180];
\draw (-1.45,1) arc[x radius=0.5, y radius=0.3, start angle=0, end angle=180];
\draw (2.65,1.35) arc[x radius=0.7, y radius=0.5, start angle=0, end angle=-180];
\draw (2.45,1) arc[x radius=0.5, y radius=0.3, start angle=0, end angle=180];
\draw (0,1.67) arc[x radius=0.1, y radius=0.5, start angle=90, end angle=270];
\draw [dashed] (0,1.67) arc[x radius=0.1, y radius=0.5, start angle=90, end angle=-90];
\end{tikzpicture}
\caption{Suma conexa de toros.}
\end{figure}
\begin{prop}\label{prop:suma_conexa}%%%% PROP: suma conexa es variedad.
Sean $M_1$ y $M_2$ variedades. Entonces $M=M_1\#M_2$ es una variedad.
\end{prop}
\begin{proof}
Sea $\pi:M_1^o\amalg M_2^o\to M$ la aplicación cociente y sea $S=\pi (S_1)=\pi (S_2)$. $U_j=M_j^o\setminus S_j$, $j=1,2$ son dos abiertos saturados respecto de $\pi$, por lo que $\pi :U_ j\to \pi (U_j)=U_j'$ es también una aplicación cociente, que además es inyectiva y por lo tanto un homeomorfismo. Tenemos así que $M$ es localmente euclídeo en $U_1'\cup U_2'$, y además es Hausdorff y IIAN. Nos quedan por tanto verificar los puntos de $S$.
Dado un $p\in S$ verifica que $p=\pi (p_1)=\pi (p_2)$, con $p_j\in S_j$, $j=1,2$, y que $\varphi_j(p_j)=x_0 \in \partial B_1(0) \subset \R^n$. Si tomamos $V$ un entorno de $x_0$ en $\partial B_1(0)$, tenemos que dado un $\varepsilon >0$, $\hat{V}=\{rx\mid r\in (1-\varepsilon , 1+\varepsilon ), x\in V\} $ es entorno de $x_0$ en $\R^n$, y que $\hat{V}-B_1(0)=\{rx\mid r\in [1, 1+\varepsilon ), x \in V\}$. Sea $V_j=\varphi_j^{-1}(\hat{V}-B_1(0))$, que es entorno de $p_j$ en $M_j^o$. Como $ V_1\amalg V_2$ es abierto saturado de $M_1^o\amalg M_2^o$ respecto de $\pi$, entonces $\tilde{V}=\pi (V _1\amalg V_2)$ es entorno de $p$ en $M$. Veamos que es localmente euclídeo. Si construimos $\Phi$ de la siguiente manera
\begin{align*}
\Phi : & V_1\amalg V_2 \to V\times (1-\varepsilon , 1+ \varepsilon ), \\
& q_1\in V_1 \mapsto (x,r), r=\norm{\varphi_1(q_1)}, x=\varphi_1(q_1)/r,\\
& q_2\in V_2 \mapsto (x,2-r), r= \norm{\varphi_2(q_2)}, x= \varphi_2(q_2)/r.
\end{align*}
obtenemos que $\Phi : V_1 \to V \times [1, 1+\varepsilon)$ y $\Phi : V_2 \to V \times (1- \varepsilon, 1]$ son homeomorfismos. Además se tiene que $q_1 \sim q_2$ si y sólo si $\Phi(q_1)=\Phi(q_2)$. De este modo, $\Phi$ induce una aplicación continua y biyectiva $$\overline{\Phi}=\Phi \circ \pi^{-1}: \tilde{V} \to V \times (1- \varepsilon, 1+ \varepsilon).$$
Si comprobamos que $\overline{\Phi}$ es abierta, tendremos que es homeomorfismo. Tomamos un abierto básico saturado de $V_1\amalg V_2$, entonces o bien está totalmente incluido en $V_1\setminus S_1$ o en $V_2\setminus S_2$, en cuyo caso la imagen por $\overline{\Phi}$ es un abierto de $V\times (1-\varepsilon ,1)$ o de $V\times (1,1+\varepsilon )$, o bien interseca a $S_1$ y $S_2$. En este caso el abierto es de la forma $W_1\amalg W_2$, construido como hicimos con $V_1\amalg V_2$ a partir de un $W\subset V \subset \partial B_1(0)$. Entonces $\overline{\Phi} (\tilde{W})= W \times (1-\delta , 1+\delta )$ con $0<\delta \leq \varepsilon$, $\tilde{W} = \pi (W_1 \amalg W_2)$. Luego $\overline{\Phi}$ es abierta, y por tanto un homeomorfismo, y así finalmente $\tilde{V}$ es un entorno euclídeo de $p$.
Por construcción podemos tomar los abiertos $\tilde{V} \subset M$ en cantidad numerable para dormar una base de la topología, y por lo tanto $M$ es IIAN. Nos queda sólo ver que es Hausdorff. Sea un $q\in U_j'$, $j=1,2$, y un $p\in S$. Podemos tomar un entorno abierto $\tilde{V}$ de $p$ disjunto de un entorno pequeño de $q$. Y si tomamos $p, p' \in S$ distintos, los abiertos $\tilde{V}$, $\tilde{V}'$ construidos partiendo de $V$, $V'\subset \partial B_1(0)$ disjuntos, son disjuntos. Por lo tanto, $M$ es Hausdorff, y finalmente, variedad.
\end{proof}
La suma conexa de variedades no depende de los puntos elegidos ni de las aplicaciones coordenadas $\varphi_1$ y $\varphi_2$, siempre que estas conserven su orientación durante el proceso. Aunque intuitivamente sea fácil de ver, la demostración de este resultado incluye el uso del \textit{annulus theorem}, cuya prueba incluye conceptos que no vamos a tratar en el trabajo.
\section{Complejos simpliciales y triangulación}\label{sec:simplices}
Para poder dar una definición rigurosa de triangulación de variedades necesitamos la noción de \textit{complejos simpliciales}. Estos son construcciones formadas por \textit{símplices}, que son una generalización de los triángulos.
\begin{defin}%%%%DEF: Posición general
Sean $v_0,\dots v_k$ $k+1$ puntos distintos de $\R^n$. Decimos que $\{ v_0,\dots ,v_k\}$ están en \enfatiza{posición general} si $c_0,\dots c_k$ son números reales tales que $$\sum_{i=0}^{k}c_iv_i=0 \text{ y } \sum_{i=0}^kc_i=0,$$ entonces $c_0=\dots =c_k=0$.
\end{defin}
\begin{defin}%%%%DEF: Símplice
Sean $\{ v_0,\dots ,v_n\}$ un conjunto de $k+1$ puntos de $\R^n$ en posición general. El \enfatiza{símplice} generado por ellos, que denotamos por $[ \, v_0,\dots ,v_k ] \,$, es el conjunto $$[ \, v_0,\dots ,v_k] \, =\left\{ \sum_{i=0}^{k}t_iv_i \mid t_i\geq 0,\, \sum_{i=0}^{k}t_i=1 \right\}, $$ con la topología heredada de $\R^n$. Para todo punto $x=\sum_it_iv_i\in [ \, v_0,\dots ,v_k] \,$, llamamos a los $t_i$ \enfatiza{coordenadas baricéntricas de $x$}. Cada uno de los $v_i$ se llama \enfatiza{vértice} del símplice. Al entero $k$ se le llama \enfatiza{dimensión}, y diremos que $[ \, v_0,\dots ,v_k] \,$ es un \enfatiza{$k$-símplice}.
\end{defin}
\begin{eje}
Un $0$-símplice es un punto, un 1-símplice es un segmento, un $2$-símplice es un triángulo junto a su interior, un $3$-símplice es un tetraedro sólido, y así sucesivamente (\autoref{fig:simplices}).
\end{eje}
\begin{figure}[]
\centering
\begin{tikzpicture}[scale=1.4]
\fill[gray!20] (1,0) -- (1.5,0.87) -- (2,0) --cycle;
\draw (1,0) -- (1.5,0.87) -- (2,0) -- cycle;
\draw (-1,0.2) -- (0,0.5);
\fill[gray!20] (3,0.5) -- (3.5,0.9)--(4,0.5)--(3.5,0)--cycle;
\draw (3,0.5) -- (3.5,0.9)--(4,0.5)--(3.5,0)--cycle;
\draw (3.5,0.9)--+(0,-.9);
\draw [dashed](3,.5)--+(1,0);
\fill (3,.5) circle (1.5pt);
\fill (4,.5) circle (1.5pt);
\fill (3.5,.9) circle (1.5pt);
\fill (3.5,0) circle (1.5pt);
\fill (-1,0.2) circle (1.5pt);
\fill (0,0.5) circle (1.5pt);
\fill (-2,0.6) circle (1.5pt);
\fill (1,0) circle (1.5pt);
\fill (1.5, 0.87) circle (1.5pt);
\fill (2,0) circle (1.5pt);
\end{tikzpicture}
\caption{$k$-símplices, $k=0,\dots ,3$.\label{fig:simplices}}
\end{figure}
Sea $\sigma$ un $k$-símplice. Cada símplice generado por un subconjunto no vacío de vértices de $\sigma$ se llama \enfatiza{cara de $\sigma$}. Las caras que no son iguales a $\sigma$ se llaman \enfatiza{caras propias}. Las caras $0$-dimensionales de $\sigma$ son sus vértices, y a las caras $1$-dimensionales se les llama \enfatiza{aristas}. Las caras $(k-1)$-dimensionales de un $k$-símplice se llaman \enfatiza{caras fronterizas}, y a su unión la llamamos \enfatiza{frontera}. Definimos el \enfatiza{interior} como $\sigma$ menos su frontera.
\begin{defin}%%%%DEF: Complejo simplicial
Un \enfatiza{complejo simplicial} es una colección $K$ de símplices en un espacio euclídeo $\R ^n$, que satisface las siguientes condiciones:
\begin{itemize}
\item[(i)] Si $\sigma \in K $, entonces toda cara de $\sigma$ está en $K$
\item[(ii)] La intersección de dos símplices cualesquiera en $K$ es o bien vacía o bien una cara de ambos.
%\item[(iii)] $K$ es una colección finitamente local.
\end{itemize}
\label{def:complex}
\end{defin}
%La tercera condición implica que $K$ es numerable, pues todo punto de $\R ^n$ tiene un entorno intersecando al menos un número finito de símplices de $K$, y este recubrimiento abierto de $\R ^n$ tiene un subrecubrimiento numerable. A nosotros los símplices que más nos interesan son los \enfatiza{complejos simpliciales finitos}, que son los que contienen únicamente un número finito de símplices. Para estos complejos, la condición (iii) es redundante.
La \autoref{fig:complex} muestra un complejo simplicial en $\R^2$. En cambio en la \autoref{fig:not_complex} los símplices representados no forman un complejo, pues no se respeta la condición (ii) de la \autoref{def:complex}.
Si $K$ un complejo simplicial en $\R ^n$, llamamos \enfatiza{dimensión de $K$} a la dimensión máxima de los símplices en $K$. Esta es menor o igual que $n$.
Un subconjunto $K'\subseteq K$ se dice que es un \enfatiza{subcomlejo de $K$} si para todo $\sigma \in K'$, toda cara de $\sigma$ está en $K'$. Un subcomplejo es un complejo simplicial en sí mismo.
Para todo $k\leq n$, el conjunto de todos los símplices de $K$ de dimensión menor o igual que $k$ es un subcomplejo llamado \enfatiza{k-esqueleto de $K$}.
%%
%%
%%
%Aquí se puede coger la definición de polítopo de munkres, pero quizas es un poco inutil
%%
%%
%%
\begin{defin}%%%%DEF: Poliedro
Sea un complejo simplicial $K$ en $\R ^n$. La unión de todos los símplices en $K$ junto con la topología heredada de $\R ^n$ es un espacio topológico que denotamos por $|K|$ y que llamamos \enfatiza{poliedro de K}.
\end{defin}
\begin{figure}%%%%FIG: Complejos y no complejos
\begin{minipage}{0.48\textwidth}
\centering
\begin{tikzpicture}
\fill[gray!20](-2.96,0)--(-2.46,1.19)--(-1,1.32)--(-1.45,0)--cycle;
\fill[gray!20] (-0.05,0.66)--(1.03,1.41)--(1.55,0.64)--cycle;
\draw (-3.98,-.3)--(-2.96,0)--(-2.46,1.19)--(-1.45,0)--(-1,1.32)--(-2.46,1.19);
\draw(-2.96,0)--(-1.45,0);
\draw (-1,1.32)--(-0.05,0.66)--(1.03,1.41)--(1.55,0.64)--(-0.05,0.66)--(-0.22,-0.45)--(1.14,-0.28)--(1.55,0.64);
\draw (-1.11,-0.46)--(-0.56,-0.17);
\fill [color=black] (-3.98,-0.3) circle (1.5pt);
\fill [color=black] (-2.96,0) circle (1.5pt);
\fill [color=black] (-2.46,1.19) circle (1.5pt);
\fill [color=black] (-1.45,0) circle (1.5pt);
\fill [color=black] (-1,1.32) circle (1.5pt);
\fill [color=black] (-0.05,0.66) circle (1.5pt);
\fill [color=black] (1.03,1.41) circle (1.5pt);
\fill [color=black] (1.55,0.64) circle (1.5pt);
\fill [color=black] (1.14,-0.28) circle (1.5pt);
\fill [color=black] (-0.22,-0.45) circle (1.5pt);
\fill [color=black] (-1.11,-0.46) circle (1.5pt);
\fill [color=black] (-0.56,-0.17) circle (1.5pt);
\end{tikzpicture}
\caption{Un complejo simplicial en $\R^2$\label{fig:complex}}
\end{minipage}\hfill
\begin{minipage}{0.48\textwidth}
\centering
\begin{tikzpicture}[scale=0.5]
\fill[gray!20] (-1.82,0.46)--(1.04,3.14)--(2.33,0.67)--cycle;
\fill[gray!20] (1.67,1.94)--(2.94,-0.5)--(5,3)--cycle;
\draw (1.04,3.14)-- (2.94,-0.5);
\draw (1.04,3.14)-- (-1.82,0.46);
\draw (-1.82,0.46)-- (2.33,0.67);
\draw (2.94,-0.5)-- (5,3);
\draw (5,3)-- (1.67,1.94);
\fill [color=black] (1.04,3.14) circle (3pt);
\fill [color=black] (2.94,-0.5) circle (3pt);
\fill [color=black] (-1.82,0.46) circle (3pt);
\fill [color=black] (2.33,0.67) circle (3pt);
\fill [color=black] (5,3) circle (3pt);
\fill [color=black] (1.67,1.94) circle (3pt);
\end{tikzpicture}
\caption{Símplices que no forman un complejo.\label{fig:not_complex}}
\end{minipage}
\end{figure}
\begin{defin}
Una \enfatiza{aplicación afín} es una aplicación $F:\R^n \to \R^m$ tal que $F(x)=c+A(x)$, donde $c\in \R^m$ es un vector fijo y $A(x)$ es una aplicación lineal.
\end{defin}
\begin{defin}
Sean $K, \, L$ complejos simpliciales. Una \enfatiza{aplicación simplicial} es una aplicación continua $f:|K|\to |L|$ cuya restricción a cada símplice $\theta \in K$ coincide con una aplicación afín que lleva $\theta$ a algún símplice en $L$.
\end{defin}
\begin{defin}%%%%DEF: Triangulación
Sea $X$ un espacio topológico. Llamamos \enfatiza{triangulación de $X$} a un homeomorfismo entre $X$ y el poliedro de algún complejo simplicial.
\end{defin}
\begin{defin}%%%%DEF: Superficie triangulable
Toda variedad (con borde y sin borde) que admita una triangulación se dice \enfatiza{triangulable}.
\end{defin}
\section{Teorema de Radó}
Llegamos ahora a la sección central del capítulo: el Teorema de Triangulación de Radó, que asegura que toda superficie es triangulable. Para su demostración se necesita el Teorema de Jordan-Schönflies, que a pesar de tener un enunciado intuitivo, su demostración es complicada y redactarla nos alejaría del propósito final del trabajo. Demostrar el Teorema de Radó asumiendo este resultado es de todas maneras instructivo, pues se ve el proceso de construcción de la triangulación de una superficie.\\
Demostraciones del Teorema de Jordan-Schönflies y de los siguientes resultados de teoría de grafos se se pueden consultar en \cite{thomassen}.
\begin{tma}[Teorema de Jordan-Schönflies]
Sea $f$ un homeomorfismo entre dos curvas simples cerradas $C$ y $C'$. Entonces $f$ se puede extender a un homeomorfismo de todo el plano.
\end{tma}
Una consecuencia del Teorema de Schöenflies en teoría de grafos es la siguiente:
\begin{tma}\label{tma:grafos}
Sea $\Gamma$ un grafo plano biconexo. Sea $H$ la frontera de la cara exterior de $\Gamma$. Entonces exite un grafo plano $\Gamma'$ con el mismo conjunto de vértices y la misma cara exterior que $\Gamma$, y tal que sus aristas que no están en $H$ son todas poligonales. Existe también un homeomorfismo $f:\R^2 \to \R^2$ tal que es la identidad en la cara exterior de $\Gamma$, y que a su vez induce un homeomorfismo que es también un isomorfismo de grafos entre $\Gamma$ y $\Gamma'$ que deja $H$ invariante. Diremos que $\Gamma'$ es $\Gamma$ \enfatiza{redibujado}.
\end{tma}
Finalmente necesitamos también este lema técnico. En lo que sigue, denotaremos por $\interior{\gamma ([0,1])}$ a la componente conexa acotada de $\R^2 \setminus \gamma ([0,1])$, donde $\gamma :[0,1] \to \R^2$ es una curva cerrada simple.
\begin{lema}\label{lema:malo}
Sean $\gamma :[0,1] \to \R^2$, $\gamma_2 : [0,1] \to \R^2$ y $\gamma_3 :[0,1] \to \R^2$ tres curvas cerradas simples y continuas. Supongamos que $\gamma_3 ([0,1]) \subseteq \interior{\gamma_2 ([0,1])} $. Definimos un \enfatiza{segmento malo} de $\gamma$ como un segmento suyo $P$, que une dos puntos $p,q$ de $\gamma_2 ([0,1])$ y tal que todos sus demás puntos están en $\interior{\gamma_2 ([0,1])}$. Definimos un \enfatiza{segmento muy malo} de $\gamma$ como un segmento malo que interseca $\gamma_3 ([0,1])$. Entonces existén sólo un número finito de segmentos muy malos.
\end{lema}
\begin{tma}[Teorema de Radó]
Toda superficie compacta es triangulable. \label{teo:rado}
\end{tma}
\begin{proof}
Sea $S$ una superficie compacta, y para cada $p\in S$ sea $U_p$ un entorno euclídeo de $p$. Denotemos por $D(p)$ a un disco en $\R^2$ homeomorfo a $U_p$ por el homeomorfismo $\theta_p :D(p)\to U_p$. Dibujemos en $D(p)$ dos cuadriláteros $Q_1(p)$ y $Q_2(p)$, tales que $Q_1(p) \subseteq \interior{Q_2(p)} $ y tal que $p\in \theta_p (\interior{Q_1(p)} )$.
Por ser $S$ compacta, existen $p_1, \dots ,p_n$ tales que $S\subseteq \bigcup_{i=1}^n \theta_{p_i} ( \interior{Q_1(p_i)} )$. Mediante traslaciones si es necesario, podemos asumir que los $D(p_1), \dots , D(p_n)$ son disjuntos dos a dos. Lo que vamos a hacer es dejar fijos los $D(p_i)$ y modificar los $Q_1(p_i)$ y $\theta_{p_i}$, para que las intersecciones de los $\theta_{p_i} (Q_1(p_i))$ formen los vértices de un grafo a partir del cual triangularemos la superficie $S$.
Vamos a demostrar por inducción que para todo $k$, los $Q_1(p_1), \dots ,Q_1(p_k)$ son tales que cualquieras dos que escojamos de los $\theta_{p_1} (Q_1(p_1)), \dots ,\theta_{p_k} (Q_1 (p_k))$ tienen sólo un número finito de puntos en común en $S$. Supongamos por tanto que es cierto para $k-1$. Traduciendo el \autoref{lema:malo} en este contexto, llamemos $\gamma^j = \theta_{p_j} (Q_1 (p_j))$, para $j=1, \dots ,k-1$, $\gamma_2 = \theta_{p_k} (Q_2 (p_k) ) $ y $\gamma_3 = \theta_{p_k} (Q_3 (p_k))$, con $Q_3 (p_k)$ un cuadrilátero que cumple que $Q_1 (p_k) \subseteq \interior{Q_3 (p_k) }$ y $Q_3 (p_k) \subseteq \interior{ Q_2 (p_k)}$. Así, por el \autoref{lema:malo}, obtenemos que sólo hay un número finito de segmentos muy malos.
Para cada segmento malo $P$ en $\theta_{p_j} (Q_1(p_j))$, llamamos \textit{segmento malo en} $Q_2(p_k)$ a la imagen $\theta^{-1}_{p_k} (P)$. El conjunto de los segmentos malos en $Q_2 (p_k)$ junto con $Q_2 (p_k)$ determina un grafo plano biconexo que llamaremos $\Gamma$. Utilizando el \autoref{tma:grafos}, redibujamos $\Gamma$ dentro de $Q_2(p_k)$ obteniendo así un grafo $\Gamma'$ que es homeomorfo e isomorfo a $\Gamma$, y tal que sus aristas son poligonales. Extendemos el isomorfismo entre $\Gamma$ y $\Gamma'$ a un homeomorfismo de $\overline{\interior{Q_2 (p_k)}}$ que deja a $Q_2 (p_k)$ fijo. Por otro lado, este proceso transforma $Q_1 (p_k)$ y $Q_3(p_k)$ en las curvas símples conexas $Q_1'$ y $Q_3'$ tales que $\interior{Q_1'} \subseteq \interior{Q_3'}$ y tal que $p_k\in \interior{\theta_{p_k} (Q_1')}$.
Ahora, para cada $q\in Q_3'$, sea $R(q)$ un cuadrado cuyo centro es $q$ y tal que $R(q)$ no interseca ni a $Q_1'$ ni a cualquier segmento malo que no es muy malo. Formamos con los $R(q)$ un recubrimiento finito de $Q'_3$, $R(q_1), \dots ,R(q_m)$. La unión $\bigcup_{i=1}^m R(q_i)$ es un grafo plano biconexo cuyo ciclo exterior, que llamamos $Q_3''$, es una curva poligonal simple en $\interior{Q_2(p_k)}$ tal que $Q_1' \subseteq Q_3''$ y tal que $Q_3''$ no corta a los segmentos malos de $Q_2(p_k)$ excepto los que son muy malos.
Obtenemos entonces que $\Gamma' \cup Q_3'' $ es un grafo biconexo, y redibujándolo utilizando de nuevo el \autoref{tma:grafos} podemos asumir que $Q_3''$ es un rectángulo cuyo interior contiene a $Q_1$. Así pues, redefinimos $Q_1 (p_k) = Q_3''$, y obtenemos un cuadrilátero tal que $\theta_{p_k} (Q_1(p_k)) \cap \theta_{p_j} (Q_1 (p_j))$ es finita para todo $j=1, \dots , k-1$, demostrando por tanto la hipótesis de inducción.
Finalmente, podemos pensar en $\bigcup_{i=1}^n \theta_{p_i} (Q_1 (p_i))$ como un grafo $G$ dibujado sobre la superficie $S$, cuyos vértices son las intersecciones de los $\theta_{p_j} (Q_1(p_j))$, $j=1, \dots ,k$. Cada región de $S\setminus G$ tiene como frontera a un ciclo $C$ en $G$. Formamos ahora un polígono convexo $C'$ de lados de longitud $1$ y tal que cada vértice de $C'$ se corresponde con un vértice de $C$. Al identificar las aristas de los varios $C'$ que se corresponden con la misma arista en $C$, obtenemos un espacio topológico $S'$ con un grafo sumergido $\Gamma'$ isomorfo a $\Gamma$. Este isomorfismo lo podemos extender a un homeomorfismo $f$ que lleva el conjunto de puntos de $\Gamma$ en $S$ al conjunto de puntos de $\Gamma'$ en $S'$, y cuya restricción a cada ciclo $C$ es un homeomorfismo entre $C$ y $C'$. Por el Teorema de Jordan-Schönflies, podemos extender $f$ a un homeomorfismo de $\overline{\interior{C}}$ en $\overline{\interior{C'}}$, lo que define un homeomorfismo de $S$ en $S'$.
Como cada $C'$ es un polígono convexo, podemos triangularlo de forma elemental. Haciendo esto en cada $C'$, obtenemos un complejo simplicial cuyo poliedro es homeomorfo a $S$, y tal que cada 1-símplice es una cara de exáctamente dos 2-símplices. Hemos obtenido así una triangulación de $S$.
\end{proof}
%Para la demostración, la idea básica consiste en recubrir la superficie con discos coordenados regulares, y demostrar de forma inductiva que se puede triangular cada uno de los discos tal que cada triangulación sea compatible con la anterior. La dificultad reside en que la frontera de cada disco puede intersecar las fronteras de los símplices ya definidos un número infinito de veces. Y aunque sean solo un número finito, ver que las regiones que se crean por las intersecciones de las curvas son homeomorfas a discos cerrados necesita del Teorema de Schönflies, un resultado difícil y largo de probar. Podemos extender el Teorema de Radó a las superficies con borde.
El teorema de Radó se puede extender también a las superficies con borde, con la diferencia que la triangulación vendrá dada por un poliedro de un complejo simplicial 2-dimensional en donde hay dos tipos de 1-símplices: los que están totalmente contenidos en el borde, y los que se corresponden con puntos interiores. Los primeros son cara de exactamente un 2-símplice, y los últimos exactamente de dos 2-símplices.\\
La triangulación de superficies ha llevado a estudiar si todas las variedades de dimensiones superiores son o no triangulables. Su importancia reside en que dan una descripción combinatoria de la variedad, lo que permite calcular invariantes topológicos tales como los grupos de homología. Así, dadas dos variedades trianguladas, podemos distinguirlas en términos de sus respectivas triangulaciones.
Un tipo de variedades interesantes desde el punto de vista de la triangulación son las que tienen una estructura lineal a trozos (variedades \textit{PL}). Estas admiten lo que se llama una \textit{triangulación combinatoria}, que es una triangulación en la que se refleja la estructura de variedad. En los años 1940, Cairns y Whitehead \cite{cairns} demuestran que toda variedad diferenciable admite una estructura PL compatible.
Por lo tanto, se tiene que toda variedad diferenciable es triangulable por una triangulación combinatoria.
Por otro lado, en los años 1950 Edwin Moise \cite{moise} demuestra que toda variedad de dimensión 3 es diferenciable, y por lo tanto triangulable. En cambio, Kirby y Siebenmann \cite{kirby} demuestran que, para toda dimensión mayor o igual que 5, existen variedades sin una estructura PL.
En los años 1980, Freedman y Casson revolucionaron el estudio de las variedades de dimensión 4. El primero \cite{freedman} encontró una variedad, la variedad $E_8$, que no admite una estructura PL, y por lo tanto no tiene una triangulación combinatoria. El segundo \cite{casson} demostró, de forma más general, que $E_8$ no es triangulable, encontrando por primera vez una variedad que no se puede triangular.
Finalmente, Manolescu \cite{manolescu} demostró en 2013 que para cualquier dimensión mayor o igual que 5, existen también variedades no triangulables.
\clearpage
\afterpage{\blankpage}
\chapter{Teorema de Clasificación, primera parte}
En este capítulo daremos la demostración a la manera de Seifert-Threlfall de la primera parte del teorema de clasificación de superficies compactas. Esta prueba clásica se basa en llegar a una forma normal haciendo cortes y transformaciones sobre polígonos que representen superficies. Para ello se explicará cómo hacer estas representaciones, qué tipo de transformaciones son aceptables y finalmente se expondrá la prueba.
En su demostración Conway hace uso de perforaciones sobre las superficies, sin explicar cómo afecta este proceso a su estructura de 2-variedad. En la segunda parte de este capítulo veremos que estas perforaciones dan lugar a superficies con borde, y de hecho que cualquier superficie con borde compacta es homeomorfa a una superficie con perforaciones. Extenderemos entonces el Teorema de Clasificación a estas. %Me basaré principalmente en los libros de Lee \cite{lee1}, Seifert-Threlfall \cite{seifert} y Massey \cite{massey}.
\section{Superficies como cocientes}
Para el Teorema de Clasificación necesitamos un método de representación de las superficies compactas en el plano. Veremos que toda superficie compacta se puede representar como el cociente de un polígono por una relación de equivalencia que identifica sus aristas dos a dos. Empecemos viendo las tres superficies fundamentales: la esfera $\Esfera$, el plano proyectivo $\Proyectivo$ y el toro $\Toro$.
\begin{prop}%%%%PROP: ESFERA COCIENTE DISCO Y CUADRADO%%%%
\label{prop:Esfera como cociente de disco y cuadrado}
La esfera $\mathbb{S}^2$ es homeomorfa a los siguientes espacios cociente:
%%%%%%%%%%o cocientes??????????%%%%%
\begin{itemize}
\item[(a)] El disco cerrado $\overline{\mathbb{B}}^2\subseteq \mathbb{R}^2$ módulo la relación de equivalencia generada por $(x,y)\sim (-x,y)$, si $(x,y)\in \partial \overline{\mathbb{B}}^2$
\item[(b)] El cuadrado $S=\{(x,y):|x|+|y|\leq 1\}$ módulo la relación de equivalencia generada por $(x,y)\sim(-x,y)$ si $(x,y)\in \partial S$.
\end{itemize}
\end{prop}
\begin{proof}
%Para ver que cada espacio es homeomorfo a la esfera, daremos una aplicación cociente desde cada espacio a la esfera que haga las mismas identificaciones que la relación de equivalencia, y entonces apelaremos a la unicidad del espacio cociente.\\
Para (a), vamos a definir una aplicación que ``envuelva'' cada paralelo de la esfera con un segmento horizontal del disco (ver \autoref{fig:esfera_cociente_circunferencia}).
Esta aplicación la podemos escribir como $\pi:\overline{\mathbb{B}}^2\to \mathbb{S}^2$
$$\pi(x,y)=\left\{\begin{array}{lc}
(-\sqrt{1-y^2} \cos\dfrac{\pi x}{\sqrt{1-y^2}}, -\sqrt{1-y^2}, y), & y\neq \pm 1 \\
\\(0,0,y), & y=\pm1
\end{array}
\right.$$
$\pi$ es continua y hace las mismas identificaciones que la relación de equivalencia. Como es sobreyectiva, por el teorema de la aplicación cerrada es una aplicación cociente. % (\autoref{teo:aplicac_cerrada}).
Para probar (b), sea $\alpha:S\to \overline{\mathbb{B}}^2$ un homeomorfismo que manda linealmente cada segmento radial entre el origen y la frontera de $S$ a un segmento paralelo a este que une el centro del disco y su frontera. Hagamos ahora $\beta=\pi \circ \alpha : S \to \mathbb{S}^2$, donde $\pi$ es la aplicación cociente del apartado anterior. Tenemos entonces que $\beta$ identifica $(x,y)$ y $(-x,y)$ cuando $(x,y)\in \partial S$, y por otro lado es inyectiva, así que hace las mismas identificaciones que la aplicación cociente definida en (b), completando así la demostración.% (ver \autoref{fig:esfera_cuadrado}).
\end{proof}
\begin{figure}%%%%%%% FIGURA: ESFERA COCIENTE CIRCUNFERENCIA%%%%
\begin{center}
\begin{tikzpicture}[line cap=round,line join=round,>=triangle 45,x=1.5cm,y=1.5cm, scale=0.6]
\draw [<-][shift={(0,1.25)}] plot[domain=0.64:2.5,variable=\t]({1*1.25*cos(\t r)+0*1.25*sin(\t r)},{0*1.25*cos(\t r)+1*1.25*sin(\t r)});
\draw (0,3) node[anchor=north] {$\pi$};
\draw (2,1.5) arc[x radius=0.7, y radius=1.5, start angle=90, end angle=270];
\draw [->] (2,0) -- (0.87,-1.68);
\draw(2,0) circle (2.25cm);
\draw(-2,0) circle (2.25cm);
\draw (-3.12,1)-- (-0.88,1);
\draw (-3.41,0.5)-- (-0.59,0.5);
\draw (-3.41,-0.5)-- (-0.59,-0.5);
\draw (-3.12,-1)-- (-0.88,-1);
\draw [->] (2,0) -- (2,2);
\draw [dashed] (3.1,1) arc[x radius=1.1, y radius=0.2, start angle=0, end angle=180];
\draw (3.1,1) arc[x radius=1.1, y radius=0.2, start angle=0, end angle=-180];
\draw [dashed] (3.4,0.5) arc[x radius=1.4, y radius=0.2, start angle=0, end angle=180];
\draw (3.4,0.5) arc[x radius=1.4, y radius=0.2, start angle=0, end angle=-180];
\draw [dashed] (3.5,0) arc[x radius=1.5, y radius=0.2, start angle=0, end angle=180];
\draw (3.5,0) arc[x radius=1.5, y radius=0.2, start angle=0, end angle=-180];
\draw [dashed] (3.4,-0.5) arc[x radius=1.4, y radius=0.2, start angle=0, end angle=180];
\draw (3.4,-0.5) arc[x radius=1.4, y radius=0.2, start angle=0, end angle=-180];
\draw [dashed] (3.10,-1) arc[x radius=1.10, y radius=0.2, start angle=0, end angle=180];
\draw (3.10,-1) arc[x radius=1.10, y radius=0.2, start angle=0, end angle=-180];
\draw (-3.5,0)-- (-0.5,0);
\draw (-0.6,0.1)--(-0.5,0)--(-0.4,0.1);
\draw (-3.6,0.13)--(-3.5,0)--(-3.4,0.13);
\draw [->] (2,0) -- (4,0);
\begin{scriptsize}
\fill [color=black] (-2,1.5) circle (2.0pt);
\fill [color=black] (-2,-1.5) circle (2.0pt);
\fill [color=black] (2,1.5) circle (2.0pt);
\fill [color=black] (2,-1.5) circle (2.0pt);
\fill [color=black] (-2,1.5) circle (2.0pt);
%\fill [color=black] (1.3,-0.17) circle (2.0pt);
\draw (1.2,-0.07)--(1.3,-0.17)--(1.4,-0.07);
\end{scriptsize}
\end{tikzpicture}
\end{center}
\caption{La esfera como cociente del disco $\overline{\mathbb{B}}^2$.\label{fig:esfera_cociente_circunferencia}}
\end{figure}
%\begin{figure}%%%%FIGURA: ESFERA CUADRADO
%\centering
%
%\begin{tikzpicture}[use optics, line cap=round,line join=round,>=triangle 45,x=1cm,y=1cm, scale=0.6]
%\draw[-<-={at=0.125},->-={at=0.375}, -<<-={at=0.625}, ->>-={at=0.875} ](0,0) circle (2cm);
%
%
%
%\draw [-<-={at=0.5}] (-8,0)-- (-6,2);
%\draw [-<-={at=0.5}](-4,0)-- (-6,2);
%\draw [-<<-={at=0.5}](-8,0)-- (-6,-2);
%\draw [->>-={at=0.5}](-6,-2)-- (-4,0);
%\draw(6,0) circle (2cm);
%\draw (8,0) arc[x radius=2, y radius=0.7, start angle=0, end angle=-180];
%\draw [dashed] (8,0) arc[x radius=2, y radius=0.7, start angle=0, end angle=180];
%\draw [->] (-8.5,0) -- (-3.5,0);
%\draw [->] (-6,-2.5) -- (-6,2.5);
%\draw [->] (-2.5,0) -- (2.5,0);
%\draw [->] (0,-2.5) -- (0,2.5);
%\draw [->] (3.5,0) -- (8.5,0);
%\draw [->] (6,0) -- (6,2.5);
%\draw [->] (6,0) -- (4.51,-2.5);
%\draw [<-][shift={(-3,1.25)}] plot[domain=0.64:2.5,variable=\t]({1*1.25*cos(\t r)+0*1.25*sin(\t r)},{0*1.25*cos(\t r)+1*1.25*sin(\t r)});
%\draw [<-] [shift={(3,1.25)}] plot[domain=0.64:2.5,variable=\t]({1*1.25*cos(\t r)+0*1.25*sin(\t r)},{0*1.25*cos(\t r)+1*1.25*sin(\t r)});
%\draw (-3.1,3.21) node[anchor=north west] {$ \alpha $};
%\draw (2.89,3.23) node[anchor=north west] {$ \pi $};
%\draw [->-={at=0.45}, -<<-={at=0.82}](6,2) arc[x radius=0.7, y radius=2, start angle=90, end angle=270];
%\begin{scriptsize}
%\fill [color=black] (0,2) circle (1.5pt);
%\fill [color=black] (-8,0) circle (1.5pt);
%\fill [color=black] (-4,0) circle (1.5pt);
%\fill [color=black] (-6,-2) circle (1.5pt);
%\fill [color=black] (-6,2) circle (1.5pt);
%\fill [color=black] (-2,0) circle (1.5pt);
%\fill [color=black] (2,0) circle (1.5pt);
%\fill [color=black] (0,-2) circle (1.5pt);
%\fill [color=black] (0,2) circle (1.5pt);
%\fill [color=black] (5.34,-0.66) circle (1.5pt);
%\end{scriptsize}
%\end{tikzpicture}
%
%\caption{La esfera como cociente de un cuadrado.\label{fig:esfera_cuadrado}}
%
%
%\end{figure}
\begin{prop}%%%%PROP: TORO COMO CUADRADO
\label{prop:toro_cuadrado}
El toro $\Toro$ es homeomorfo al espacio cociente resultante de la relación de equivalencia en el cuadrado $I\times I$ que identifica $(x,0)\sim (x,1)$ para todo $x\in I$, y $(0,y)\sim(1,y)$ para todo $y\in I$ (\autoref{fig:toro_cuadrado}).
\end{prop}
\begin{proof}
Definimos la aplicación $q:I\times I \to \Toro$ que manda $(u,v)\mapsto (e^{2\pi iu},e^{2\pi iv})$. Es claro que es sobreyectiva, y por el teorema de la aplicación cerrada, es una aplicación cociente. Esta función hace las mismas identificaciones que la relación de equivalencia, y por la unicidad del espacio cociente se obtiene el resultado.
\end{proof}
\begin{figure}[b]%%%%FIGURA: TORO COMO CUADRADO
\begin{center}
\begin{tikzpicture}[use optics, line cap=round,line join=round,>=triangle 45,x=1cm, y=1cm, scale=0.7]
\draw [->-={at=0.5}](-8,-2)-- (-8,2);
\draw [->>-={at=0.5}](-8,2)-- (-4,2);
\draw [-<-={at=0.5}](-4,2)-- (-4,-2);
\draw [->>-={at=0.5}](-8,-2)-- (-4,-2);
\draw (-2,1)-- (2,1);
%\draw (-2,1)-- (-2,-1);
%\draw (2,1)-- (2,-1);
\draw (2,-1)-- (-2,-1);
%\draw [-<-={at=0.6]}](2,1) arc[x radius=0.5, y radius=1, start angle=90, end angle=270];
%\draw (2,1) arc[x radius=0.5, y radius=1, start angle=90, end angle=-90];
\draw [-<-={at=0.6]}](-2,1) arc[x radius=0.5, y radius=1, start angle=90, end angle=270];
\draw [dashed] (-2,1) arc[x radius=0.5, y radius=1, start angle=90, end angle=-90];
\filldraw [-<-={at=0.55]}][color=black, fill=black!0] [rotate around={0:(2,0)}] (2,0) ellipse (0.5cm and 1cm);
\draw [->>-={at=0.5}](-2.5,0)-- (1.5,0);
\draw [rotate around={0:(6,0)}] (6,0) ellipse (3cm and 1.5cm);
\draw (7.4,0.1) arc[x radius=1.5, y radius=0.4, start angle=0, end angle=-180];
\draw (7.2,-0.1) arc[x radius=1.3, y radius=0.3, start angle=0, end angle=180];
\draw [dashed](6,-1.5) arc[x radius=0.2, y radius=0.6, start angle=-90, end angle=90];
\draw [-<-={at=0.63}] (6,-0.3) arc[x radius=0.2, y radius=0.6, start angle=90, end angle=270];
\begin{scriptsize}
\fill [color=black] (-8,-2) circle (1.5pt);
\fill [color=black] (-8,2) circle (1.5pt);
\fill [color=black] (-4,2) circle (1.5pt);
\fill [color=black] (-4,-2) circle (1.5pt);
\fill [color=black] (-2.5,0) circle (1.5pt);
\fill [color=black] (1.5,0) circle (1.5pt);
\fill [color=black] (5.8,-0.9) circle (1.5pt);
\end{scriptsize}
\end{tikzpicture}
\end{center}
\caption{El toro como cociente de un cuadrado.\label{fig:toro_cuadrado}}
\end{figure}
\begin{prop}%%%%PROP: PLANO PROYECTIVO COMO CUADRADO
\label{prop:proyectivo_cociente_cuadrado}
El plano proyectivo $\mathbb{P}^2$ es homeomorfo a los siguientes espacios cociente:
\begin{itemize}
\item[(a)] El disco cerrado $\overline{\mathbb{B}}^2$ módulo la relación de equivalencia generada por $(x,y) \sim (-x,-y)$ para cada $(x,y)\in \partial \overline{\mathbb{B}}^2$.
\item[(b)] El cuadrado $S=\{(x,y):|x|+|y|\leq 1\} $ módulo la relación de equivalencia generada por $(x,y)\sim (-x,-y) $ para todo $(x,y)\in \partial S$.
\end{itemize}
\end{prop}
\begin{proof}
Sea la relación de equivalencia $\sim$ generada por $(x,y) \sim (-x,-y)$ para cada $(x,y)\in \mathbb{S}^2$, que representa $\mathbb{P}^2$ como el cociente de una esfera en la cual se identifican polos opuestos, y sea $p:\mathbb{S}^2 \to \mathbb{P}^2$ su aplicación cociente. %AQUI FALTA UN POCO DE EXPLICACION, EJEMPLO 4.54 DEL LEE
Si $F:\overline{\mathbb{B}}^2 \to \mathbb{S}^2$ es la aplicación que manda el disco al emisferio norte de la esfera mediante la aplicación $F(x,y)=(x,y,\sqrt{1-x^2-y^2})$, entonces $p\circ F:\overline{\mathbb{B}}^2 \to \mathbb{S}^2/\sim$ es sobreyectiva por serlo $p$ y $F$, y es por tanto una aplicación cociente por el teorema de la aplicación cerrada. La aplicación identifica únicamente $(x,y)\in \partial \overline{\mathbb{B}}^2$ con $(-x,-y)\in \partial \overline{\mathbb{B}}^2$, por lo que $\mathbb{P}^2$ es homeomorfo al espacio cociente resultante.
Para la parte (b) utilizamos, como en \autoref{prop:Esfera como cociente de disco y cuadrado} (b), el homeomorfismo $\alpha:S\to \overline{\mathbb{B}}^2$ que manda linealmente cada segmento radial entre el origen y la frontera de $S$ a un segmento paralelo en el disco que une el centro y su frontera. Al componerlo con $p\circ F$ se obtiene el resultado.
\end{proof}
\begin{figure}[]%%%%FIGURA: PLANO PROYECTIVO COMO CUADRADO
\begin{center}
\begin{tikzpicture}[use optics, line cap=round,line join=round,>=triangle 45,x=1.0cm,y=1.0cm, scale=0.6]
\draw[-<-={at=0.5}, -<-={at=1}](-3,0) circle (2cm);
\draw [-<-={at=0.5}] (4,2)-- (6,0);
\draw [-<<-={at=0.5}](6,0)-- (4,-2);
\draw [-<-={at=0.5}](4,-2)-- (2,0);
\draw [-<<-={at=0.5}](2,0)-- (4,2);
\begin{scriptsize}
\fill [color=black] (6,0) circle (1.5pt);
\fill [color=black] (4,2) circle (1.5pt);
\fill [color=black] (2,0) circle (1.5pt);
\fill [color=black] (4,-2) circle (1.5pt);
\fill [color=black] (-3,-2) circle (1.5pt);
\fill [color=black] (-3,2) circle (1.5pt);
\end{scriptsize}
\end{tikzpicture}
\caption{Representación de $\mathbb{P}^2$ como un espacio cociente.\label{fig:plano_proyectivo_cuadrado}}
\end{center}
\end{figure}
\begin{obs}
De ahora en adelante visualizaremos el plano proyectivo como el \enfatiza{crosscap}, que construmos a partir de la proposición anterior tal como se sigue en la \autoref{fig:crosscap_paso_a_paso}. El primer esbozo de esta figura lo hizo von Dick \cite{vondick}.
\end{obs}
\begin{figure}[h!]%%%FIG: CROSSCAP
\centering
\begin{tikzpicture}[use optics, scale=0.7][line cap=round,line join=round,>=triangle 45,x=1.0cm,y=1.0cm]
%1
\fill[gray!10] (-5,5) -- (-7,3) -- (-5,1) -- (-3,3) -- cycle;
\draw [->-](-5,5)-- (-7,3);
\draw [-<<-](-5,5)-- (-3,3);
\draw [-<-](-3,3)-- (-5,1);
\draw [->>-](-7,3)-- (-5,1);
%2
\fill[gray!10] (-2,3.5) arc[ x radius=2, y radius=0.5, start angle=180, end angle=540];
%\draw(0,3) circle (2cm);
\draw [->>-={at=0.125},->-={at=0.375}, ->>-={at=0.625}, ->-={at=0.875}] (-2,3.5) arc[x radius=2, y radius=0.5, start angle=180, end angle=540];
\draw [name path=C] (-2,3.5) arc[x radius=2, y radius=2.5, start angle=180, end angle=360];
%3
\fill [gray!10] (3, 3.5) [out=270, in=225, looseness=0.7] to (5,3.5) [out=45, in=90, looseness=0.7] to (7, 3.5) [out=-90, in=-45, looseness=0.7] to (5,3.5) [out=135, in=90, looseness=0.7] to (3, 3.5);
%\draw[name path=A] (3,3.5) [-<-={at=0.25}, -<<-={at=0.75}](3,3.5) arc[x radius=1, y radius=0.5, start angle=180, end angle=-180];
%\draw [name path=B] (5,3.5) [-<<-={at=0.25}, -<-={at=0.75}] arc[x radius=1, y radius=0.5, start angle=180, end angle=-180];
\draw [name path=C] (3,3.5) arc[x radius=2, y radius=2.5, start angle=180, end angle=360];
\draw [->>-][out=270, in=225, looseness=0.7] (3, 3.5) to (5,3.5);
\draw [-<<-][out=45, in=90, looseness=0.7] (5,3.5) to (7,3.5);
\draw [-<-][out=90, in=135, looseness=0.7] (3, 3.5) to (5,3.5);
\draw [->-][out=-45, in=-90, looseness=0.7] (5,3.5) to (7,3.5);
%3B
\fill[gray!20] (-7,-3) [out=90, in=135, looseness=2.3] to (-5,-3) [out=135, in=90, looseness=0.7] to (-7,-3);
\fill[gray!10] (-5,-3) [out=225, in=270, looseness=0.7] to (-7,-3) [out=90, in=135] to (-5,-3) ;
\draw [name path=C] (-7,-3) arc[x radius=2, y radius=2.5, start angle=180, end angle=360];
\draw [->>-][out=270, in=225, looseness=0.7] (-7, -3) to (-5,-3);
\draw [-<<-, dashed][out=45, in=90, looseness=0.7] (-5,-3) to (-3,-3);
\draw [-<-][out=90, in=135, looseness=2.3] (-7, -3) to (-5,-3);
\draw [->-][out=45, in=90, looseness=2.3] (-5,-3) to (-3,-3);
\draw [color=gray, dashed][out=90, in=135, looseness=0.7] (-7, -3) to (-5,-3);
\draw [color=gray][out=-45, in=-90, looseness=0.7] (-5, -3) to (-3,-3);
%4
\fill[gray!10] (0,-3) [out=225, in=270, looseness=0.7] to (-2,-3) [out=90, in=135] to (0,-3) ;
\fill[gray!20] (-2,-3) [out=90, in=180] to (0,-1.5) -- (0, -3) [out=135, in=90, looseness=0.7] to (-2,-3);
\draw [out=90,in=360] (2,-3) to (0,-1.5);
\draw [out=180, in=90] (0, -1.5) to (-2,-3);
\draw [->>-][out=270, in=225, looseness=0.7] (-2, -3) to (0,-3);
\draw [dashed] [-<<-][out=45, in=90, looseness=0.7] (0, -3) to (2,-3);
%\draw (-5,-3) [->>-] arc[x radius=1, y radius=0.5, start angle=180, end angle=360];
\draw (-2,-3) arc[x radius=2, y radius=2.5, start angle=180, end angle=360];
\draw [->-](0,-3)-- (0,-1.5);
\draw [color=gray, dashed][out=90, in=135, looseness=0.7] (-2, -3) to (0,-3);
\draw [color=gray][out=-45, in=-90, looseness=0.7] (0, -3) to (2,-3);
%5
\draw [-<<-] (5,-3)-- (5,-1.5);
\draw (3,-3) arc[x radius=2, y radius=2.5, start angle=180, end angle=360];
\draw [out=90,in=360] (7,-3) to (5,-1.5);
\draw [out=180, in=90] (5, -1.5) to (3,-3);
\draw [color=gray][out=270, in=225, looseness=0.7] (3,-3) to (5,-3);
\draw [color=gray][dashed][out=45, in=90, looseness=0.7] (5,-3) to (7,-3);
\draw [color=gray][dashed][out=90, in=135, looseness=0.7] (3,-3) to (5,-3);
\draw [color=gray][out=-45, in=-90, looseness=0.7] (5,-3) to (7,-3);
\begin{scriptsize}
\fill [color=black] (-7,3) circle (1.5pt);
\fill [color=black] (-5,5) circle (1.5pt);
\fill [color=black] (-3,3) circle (1.5pt);
\fill [color=black] (-5,1) circle (1.5pt);
\fill [color=black] (-2,3.5) circle (1.5pt);
\fill [color=black] (3,3.5) circle (1.5pt);
\fill [color=black] (7,3.5) circle (1.5pt);
\fill [color=black] (5,3.5) circle (1.5pt);
\fill [color=black] (2,3.5) circle (1.5pt);
\fill [color=black] (0,4) circle (1.5pt);
\fill [color=black] (0,3) circle (1.5pt);
\fill [color=black] (2,-3) circle (1.5pt);
\fill [color=black] (-2,-3) circle (1.5pt);
\fill [color=black] (0,-3) circle (1.5pt);
\fill [color=black] (5,-1.5) circle (1.5pt);
\fill [color=black] (5,-3) circle (1.5pt);
\fill [color=black] (-7,-3) circle (1.5pt);
\fill [color=black] (-5,-3) circle (1.5pt);
\fill [color=black] (-3,-3) circle (1.5pt);
\end{scriptsize}
\end{tikzpicture}
\caption{Crosscap.\label{fig:crosscap_paso_a_paso}}
\end{figure}
En las anteriores proposiciones hemos visto una o varias formas de representar superficies dadas ciertas construcciones geométricas. En estos casos hemos dado aplicaciones y demostraciones concretas para validar nuestros argumentos, pero a medida que aumenta la sofisticación es más útil guiarse visualmente por las figuras construidas. Por ello debemos formalizar un método general para construir superficies identificando aristas de figuras geométricas del plano.
%Daremos por sabidas las definiciones básicas de símplices CW-complejos, que dejamos en el \autoref{sec:CW}.
\begin{defin}%%%DEF:Polígono
Un \enfatiza{polígono} es un subconjunto de $\R^2$ que es homeomorfo a $\mathbb{S}^1$ y está formado por un número finito de segmentos, que llamaremos \enfatiza{aristas} y que se intersecan sólo en sus extremos, que llamaremos \enfatiza{vértices}. %Los $0$-símplices y $1$-símplices del poígono son respectivamente sus \enfatiza{vértices} y sus \enfatiza{bordes}. Del lema \autoref{lemma:cw} se sigue que un borde yace exactamente en dos vértices.
\end{defin}
\begin{defin}%%%DEF:Región poligonal
Una \enfatiza{región poligonal} es un subconjunto compacto de $\R^2$ cuyo interior es homeomorfo al disco $\mathbb{B}^2$ y cuya frontera es un polígono.
%Una \enfatiza{región poligonal} es un subconjunto compacto de $\R^2$ cuyo interior es una bola coordenada y cuya frontera es un polígono.
A los vértices y aristas del polígono de la frontera también los llamamos vértices y aristas de la región poligonal.
\end{defin}
Veamos pues que identificando aristas de regiones poligonales de par en par obtenemos un espacio cociente que es siempre una superficie:
\begin{prop}%%%PROP: Teorema poligonos
\label{prop:poligonos}
Sean $P_1,\dots, P_k$ regiones poligonales en el plano, y sea $P=P_1\amalg \dots \amalg P_k$, y supongamos dada una relación de equivalencia en $P$ que identifica algunas aristas de los polígonos con otros por homeomorfismos afines. Entonces se tiene:
\begin{itemize}
%\item[(a)] El espacio cociente resultante es un CW-complejo $2$-dimensional cuyo $0$-esqueleto es la imagen del conjunto de vértices de $P$ por la aplicación cociente, y cuyo $1$-esqueleto es la imagen de la unión de las aristas de las regiones poligonales.
\item[(a)] Si la relación de equivalencia identifica cada arista de cada $P_i$ con exactamente otra arista de un $P_j$ (no necesariamente $i\neq j$), entonces el espacio cociente resultante es una superficie compacta.
\item[(b)] Si para algunos $P_i$ la relación de equivalencia identifica alguna arista suya con exáctamente otra arista de un $P_j$ (no necesariamente $i\neq j$), y para las aristas restantes no hay ninguna identificación, entonces el espacio cociente resultante es una superficie con borde compacta.
\end{itemize}
\end{prop}
\begin{proof}
%Sea $M$ el espacio cociente, sea $\pi :P\to M$ la aplicación cociente y sean $M_0, \, M_1, \, M_2=M$ respectivamente las imágenes por $\pi$ de los vértices, las aristas y las regiones poligonales. Por la propia definición de $P$, $M_0$ es un espacio discreto, y para $k=1,2$, $M_k$ se obtiene a partir de $M_{k-1}$ pegando un número finito de $k$-celdas. Por tanto $M$ es un CW-complejo (\autoref{def:cw}).\\
Para demostrar esta propiedad seguiremos una idea similar a la de la \autoref{prop:suma_conexa}. Para probar (a), denotemos por $M$ el espacio cociente, y sea $\pi :P\to M$ la aplicación cociente. %, entonces, por la \autoref{prop:cw_variedad}, $M$ será una superficie.\\
Por un lado, los puntos que provienen del interior de cada región poligonal son abiertos en $M$ por definición, y por lo tanto son entornos euclídeos de cada uno de sus puntos. Así, tenemos que aquí $M$ es localmente euclídea, y además Hausdorff y IIAN. \\
Sea ahora $D$ la imagen por $\pi$ del interior de una arista de una región poligonal, y sea $d\in D$. Veamos que $d$ tiene un entorno euclídeo. Por un lado, $d$ tiene exáctamente dos preimágenes $x$ e $y$, cada una en el interior de una arista distinta $D_1$ y $D_2$. Supongamos sin pérdida de generalidad que estas dos aristas pertenecen respectivamente a $P_1$ y $P_2$ ($P_1$ puede ser igual a $P_2$), y denotemos por $h:D_2\to D_1$ un homeomorfismo tal que $h(y)=x$. Dado que cada $P_i$ es una variedad con borde, y $x,y$ son puntos borde, podemos elegir cartas coordenadas $(U,\varphi)$ para $P_1$ y $(V,\psi)$ para $P_2$ tal que $x\in U$, $y\in V$. Denotamos $\widehat{U}=\varphi(U),\widehat{V}=\psi(V)\subseteq \mathbb{H}^2$ y podemos asumir, contrayendo $U$ y $V$ si es necesario, que $h(V\cap D_2)=U\cap D_1$, y que $\widehat{U}=U_0\times [0,\varepsilon)$, $\widehat{V}=V_0\times [0,\varepsilon)$ para un $\varepsilon >0$ y unos subconjuntos $U_0, V_0 \subset \R$ como se muestra en la \autoref{fig:6a4a}. Así pues podemos escribir las aplicaciones coordenadas como $\varphi(x)=(\varphi_0(x),\varphi_1(x))$, $\psi(x)=(\psi_0(y),\psi_1(y))$ con $\varphi_0:U\to U_0$, $\varphi_1:U\to [0,\varepsilon)$, $\psi_0:V\to V_0$ y $\psi_1:V\to [0,\varepsilon)$ aplicaciones continuas. Que $x$ e $y$ sean puntos borde significa que $\varphi_1(x)=\psi_1(y)=0$.\\
Queremos ensamblar estas dos cartas con una aplicación cuya imagen sea un abierto de $\R^2$, pegándolas por los puntos que se corresponden en $D_1$ y $D_2$. En la demostración de la \autoref{prop:suma_conexa} teníamos un homeomorfismo entre los puntos borde de los entornos, pero en este caso el problema es que las aplicaciones $\varphi$ y $\psi$ no tienen por qué llevar puntos borde que se correspondan al mismo punto imagen, y por tanto tenemos que ajustarlo. Se tiene que las dos restricciones
$$\begin{array}{lr}
\varphi_0|_{U\cap D_1}: U\cap D_1\to U_0 & \psi_0|_{V\cap D_2}:V\cap D_2\to V_0
\end{array}$$
son homeomorfismos, y definimos así el homeomorfismo $\beta:V_0\to U_0$ por $$\beta=(\varphi_0|_{U\cap D_1})\circ h\circ (\psi_0|_{V\cap D_2})^{-1}\, .$$
\begin{figure}
\centering
\begin{tikzpicture}[use optics, >=triangle 45]
\filldraw [color=gray!20] (-4.5,-.5) -- +(0,-.7) -- +(1,-.7) -- +(1,0) -- cycle;
\filldraw [color=gray!20] (-4.5,.5) -- +(0,.7) -- +(1,.7) -- +(1,0) -- cycle;
\draw (-4,-1.3) node[anchor=north] {$V$};
\draw (-4,1.3) node[anchor=south] {$U$};
\draw [dashed] (-4.5,-.5) -- +(0,-.7) -- +(1,-.7) -- +(1,0);
\draw [dashed] (-4.5,.5) -- +(0,.7) -- +(1,.7) -- +(1,0);
\draw (-5,.5) -- (-3,.5);
\draw (-5,-.5) -- (-3,-.5);
\draw [dashed] (-5,.5) [out=90, in =180] to (-4,3) [out = 0, in =90] to (-3,.5);
\draw [dashed] (-5,-.5) [out=-90, in =180] to (-4,-3) [out = 0, in =-90] to (-3,-.5);
\draw [fill=black] (-5,.5) circle (1pt);
\draw [fill=black] (-3,.5) circle (1pt);