From aa17ab9717ee39ccbbf159bd16bd98201582af5e Mon Sep 17 00:00:00 2001 From: Joshua Moerman Date: Thu, 13 Jun 2013 11:19:38 +0200 Subject: [PATCH] CC: Added/updates images. chapter is now finished? --- thesis/2_ChainComplexes.tex | 33 +- thesis/images/singular_chaincomplex.pdf | Bin 10046 -> 10341 bytes thesis/images/singular_chaincomplex.svg | 54 +- thesis/images/singular_homology.svg | 761 ++++++++++++++++++++++++ thesis/images/singular_homology1.pdf | Bin 0 -> 4552 bytes thesis/images/singular_homology2.pdf | Bin 0 -> 4880 bytes thesis/images/singular_set.pdf | Bin 5734 -> 5938 bytes thesis/images/singular_set.svg | 32 +- thesis/preamble.tex | 2 + thesis/symbols.tex | 12 +- 10 files changed, 872 insertions(+), 22 deletions(-) create mode 100644 thesis/images/singular_homology.svg create mode 100644 thesis/images/singular_homology1.pdf create mode 100644 thesis/images/singular_homology2.pdf diff --git a/thesis/2_ChainComplexes.tex b/thesis/2_ChainComplexes.tex index 95527c0..f32df09 100644 --- a/thesis/2_ChainComplexes.tex +++ b/thesis/2_ChainComplexes.tex @@ -43,9 +43,9 @@ Note that we will often drop the indices of the boundary morphisms, since it is \begin{definition} Given a chain complex $C$ we define the following subgroups: \begin{itemize} - \item $Z_n(C) = \ker(\del_n: C_n \to C_{n-1}) \nsubgrp C_n$, and - \item $Z_0(C) = C_0$, and - \item $B_n(C) = \im(\del_{n+1}: C_{n+1} \to C_n) \nsubgrp C_n$. + \item the subgroup of \emph{$n$-cycles}: $Z_n(C) = \ker(\del_n: C_n \to C_{n-1}) \nsubgrp C_n$, and + \item the subgourp of \emph{$0$-cycles}: $Z_0(C) = C_0$, and + \item the subgroup of \emph{$n$-boundaries}: $B_n(C) = \im(\del_{n+1}: C_{n+1} \to C_n) \nsubgrp C_n$. \end{itemize} \end{definition} \begin{lemma} @@ -127,12 +127,12 @@ In particular $\Delta^0$ is simply a point, $\Delta^1$ a line and $\Delta^2$ a t Given a space $X$, we will be interested in continuous maps $\sigma : \Delta^n \to X$, such a map is called a $n$-simplex. Note that if we have a $(n+1)$-simplex $\sigma : \Delta^{n+1} \to X$ we can precompose with a face map to get a $n$-simplex $\sigma \circ \delta^i : \Delta^n \to X$, as shown in figure~\ref{fig:diagram_d} for $n=1$. \begin{figure}[h!] - \includegraphics[scale=1.2]{singular_set} + \includegraphics{singular_set} \caption{The $2$-simplex $\sigma$ can be made into a $1$-simplex $\sigma \circ \delta^1$} \label{fig:diagram_d} \end{figure} -From the picture it is clear that the assignment $\sigma \mapsto \sigma \circ \delta^i$, gives one of the boundaries of $\sigma$. If we were able to add these different boundaries ($\sigma \circ \delta^i$, for every $i$), then we could assign to $\sigma$ its complete boundary at once. The free abelian group will enable us to do so. This gives the following definition. +From the picture it is clear that the assignment $\sigma \mapsto \sigma \circ \delta^i$, gives one of the boundaries of $\sigma$. If we were able to add these different boundaries ($\sigma \circ \delta^i$, for every $i$), then we could assign to $\sigma$ its complete boundary at once. The free abelian group will enable us to do so. However we should note that the topological $n$-simplex is in some way oriented or ordered, which is preserved by the face maps. \begin{definition} For a topological space $X$ we define the \emph{$n$-th singular chain group} $C_n(X)$ as follows. @@ -141,16 +141,33 @@ From the picture it is clear that the assignment $\sigma \mapsto \sigma \circ \d $$ \del(\sigma) = \sigma \circ \delta^0 - \sigma \circ \delta^1 + \ldots + (-1)^{n+1} \sigma \circ \delta^{n+1}.$$ \end{definition} -This might seem a bit complicated, but we can picture this in an intuitive way, as in figure~\ref{fig:singular_chaincomplex}. We see that the boundary operators really give the boundary of an $n$-simplex. To see that this indeed is a chain complex we have to proof that the composition of two such operators is the zero map. +The elements in $C_n(X)$ are called \emph{$n$-chains} and are formal sums of \emph{$n$-simplices}. Since these groups are free, we can define any group homomorphism by defining it on the generators, the $n$-simplices. The boundary operator is depicted in figure~\ref{fig:singular_chaincomplex}. In this picture we see that the boundary of a $1$-simplex is simply its end-point minus the starting-point. We see that the boundary of a $2$-simplex is an alternating sum of three $1$-simplices. The alternating sum ensures that the end-points and starting-points of the resulting $1$-chain will cancel out when applying $\del$ again. So in the degrees 1 and 2 we see that $\del$ is nicely behaved. We will now claim that this construction indeed gives a chain complex, without proof. \begin{figure}[h!] \includegraphics[scale=1.2]{singular_chaincomplex} - \caption{The boundary of a 2-simplex, and a boundary of a 1-simple} + \caption{The boundary of a 2-simplex, and a boundary of a 1-simplex} \label{fig:singular_chaincomplex} \end{figure} The above construction gives us a functor $C: \Top \to \Ch{\Ab}$ (we will not prove this). Composing with the functor $H_n: \Ch{\Ab} \to \Ab$, we get a functor: $$ H^\text{sing}_n : \Top \to \Ab, $$ -which assigns to a space $X$ its \emph{singular $n$-th homology group} $H^\text{sing}_n(X)$ \todo{CC: singular homology pictures (from presentation)}. A direct consequence of being a functor is that homeomorphic spaces have isomorphic singular homology groups. There is even a stronger statement which tells us that homotopic equivalent spaces have isomorphic homology groups. So from a homotopy perspective this construction is nice. In the remainder of this section we will give the homology groups of some basic spaces. It is hard to calculate these results from the definition above, so generally one proves these results by using theorems from algebraic topology or homological algebra, which are beyond the scope of this thesis. So we simply give these results. +which assigns to a space $X$ its \emph{singular $n$-th homology group} $H^\text{sing}_n(X)$. With figure~\ref{fig:singular_homology} we indicate what $H^\text{sing}_1$ measures. In the first space $X$ we see a $1$-cycle which is also a boundary, because we can define a map $\tau: \Delta^2 \to X$ such that $\del(\tau) = \sigma_1-\sigma_2+\sigma_3$, hence we conclude that $0 = [\sigma_1-\sigma_2+\sigma_3] \in H^\text{sing}_1(X)$. So this $1$-cycle is not interesting in homology. In the space $X'$ however there is a hole, which prevents a $2$-simplex like $\tau$ te exist, hence $0 \neq [\sigma_1-\sigma_2+\sigma_3] \in H^\text{sing}_1(X')$. This example shows that in some sense this functor is capable of detecting holes in a space. + +\begin{figure}[h!] +\begin{subfigure}{.5\textwidth} + \centering + \includegraphics[width=.4\linewidth]{singular_homology1} + \caption{The $1$-cycle is in fact a boundary.} +\end{subfigure}% +\begin{subfigure}{.5\textwidth} + \centering + \includegraphics[width=.4\linewidth]{singular_homology2} + \caption{The hole in $X'$ prevents the $1$-cycle to be a boundary.} +\end{subfigure} +\caption{Two different spaces in which we consider a $1$-chain $\sigma_1-\sigma_2+\sigma_3$, this $1$-chain is in fact a $1$-cycle, because the end-points and starting-points cancel out.} +\label{fig:singular_homology} +\end{figure} + +A direct consequence of being a functor is that homeomorphic spaces have isomorphic singular homology groups. There is even a stronger statement which tells us that homotopic equivalent spaces have isomorphic homology groups. So from a homotopy perspective this construction is nice. In the remainder of this section we will give the homology groups of some basic spaces. It is hard to calculate these results from the definition above, so generally one proves these results by using theorems from algebraic topology or homological algebra, which are beyond the scope of this thesis. So we simply give these results. \begin{example} The following two examples show that the homology groups are reasonable. diff --git a/thesis/images/singular_chaincomplex.pdf b/thesis/images/singular_chaincomplex.pdf index 6291db81000c26b528968cc157a892bb7ad433ee..0b868948add2a2e5f8b3bb4a1c985de46fe269ff 100644 GIT binary patch delta 8902 zcmZX3WlWw8%r5re!`*GTySvM9cXt@@;Bw;(cZRzT8}80<9qusP-R->JNzR}1^-r%{ zO_Qc=+BEI{wy%<)0#FIK?g@8O0HS<-JkKC#`1G*ilKekpa0_2{=EXCmK0jJB_((G} z{VVkdnMz%Pe8=$6sourP=8i2shTTQ3wt$c0Ymtw~_ounfu74c!AF}&=^8S7RZ`E{4 zKc%2A9RwE*blV|<5$pglP3MJm&%oP6&@Vqn9lfl)RO>2lK#T6m$6zz}>I6^N_jLdC z`f%C_=vZ|dY(*maC2_8M$@aRM%XY6MBV^lo(g4510oO1Knl140Sg14rd->iLcp~R@ z-D80Lz^`lAe;XD%6{tNTi>=2hAIXIyG}|pP@+|L$n@EQf7t7+T)(F*^U%-gc*v8St zD>WiU{(EJBvkIe8`T(lChK&DX;`s>M-~DJIuZvhd~h z8=PvmIbJkvL^3H-kp8Kq^Q*n-{n={5#zPv8>Lw}xw4*(-CAQwH7b;Rp{C*k0*;EbO zBta{NDBa|)pr!3%)}!$dCRU*^0I7#p_J(WpNCT86Q;c}5zRc`)s%dhPH>SLm|ea-}B?fGCHu{|C7ljEukCR0b> zFBgz-HGl9X$FL|b^HEvHXmU_J^SZH@_<78z!=3|DFC|PaUfHHtd2JxQEI2+=%0CZi zCPEFmfO7vX=KdLw$s{<^;7#8cBDnJ>8)TT@V1fX~Q4Dgb`l#$u%JH-o@sJJT_rpA* z38J3C$UAP{T#;OWw#fx?i>wqQEjwl5oB^1XjeFMJ3@Sv~s45Ueq@u+}v=!T7^DhWF zG9CE@m`~nEm`1&`{6|lJ4o=};{RzW!at1zw^u)JL^ZUIZ50X>}b@+|zGJZ8;ZZ6ny zjT=RCS(lPWXRoC%sG8UjO!)om9rkQGK+ar5!mZ>u@NATz9#XqSI2`o#X8=IZm8($goZf&c+5DZE`ke}d5rlFH{a_g|4^?@ zmO5BT3j#yhWKv@T}0B8M8I-9RkE9HKSB^p@Vxb(2i3F8iSbk%`=t;BfDO0B5Qbi zQLK$*m|>e=nwZnH2)s|Tmd!Bb3wTdA=(@;twSyT~+Ub|at4#U;h2fha^;>D=A z#jQ`9+EIFrU@|WY4oJF8H;i5@n(YW5~B|(v?opj+NNP7HCR}7>c zJIg&ZFk-*HKEpV`mAwlON=T3A2w}Rtg?-^_^u(sVX+ZL!QeNmQ!|nO?l7Gs1>L9wxzW5p6_sD^|ZU zDOhr(TMzQJ6whkSNbr%D;>cKhvpGC%MoGNh0->k%n{?Us$Y8cy0%Cnu4X{6-awv`A zrC9E$UoWE4$#$#hw8Z}XV5z%6`Eu&0^E(UQhG2jc8Yj8d+W~JOasVp17FTlBuXn^U z?O<{0zGwg!$#n>;!5IE<31yB5+yQaID#8PA?p^&d$DV6v^mJ6!9dOzaGY`inZOUat zFgf0#lir}w)#gOI2#8XS(FypVn@hf`YjpP*z~6VH2uf!db2FKCttwnK>E*;*$KUO* z7-QUvLE6wyTU@TvuRlR#QZq|)p~aA;J?68z`C$2=hb-Mz)IB`8Qp~^VElbbY+$v;c z#o4j+E!nvXYsDY@v<9T+1VH%}qp}o65PUA%1KBf zdeN9z)(r;UEs43{T=SO|QlyHLr67)!v7SHRZ}BsyIDY4)n!jHw;-`(qqk%H$6!#%2 zQO2+qm+iY5fQuRFi**PCDN%ttN6)0x62b=J=^E&3YpiMU;jj+Vf5ZF4=_X2Rd{Cz4 z?tH~w_2FBD>SFX{G3RKVs~k6y1M)x+`v~2z11n9<#7z2sl^EMN4x7g9fA-F07WxI` zfSQKy`Mii##;c5cyEe#;qES_-D9=nZ z#i7s9I9E4Pnogn`qp!6z}aJ$T13$63vn(IiLQ8B6hf^K66llvn9BcU*ayRPiifV|S1^HF$C_^&_%gO+UBooA^nmNlwNa zdN9@j0nip27SGVWg+27pkfT=FIBBWG#nS=%nCPGnasYXg6_!j*iB(sGZ!GaQH$7v1 zwXRx2w5Gl5c(&8{?vrk!9;><2HXkk#;a5ift%|3i3zJz#4#g!jtmbEU`&1I_)`wK- zd?8u40tAHOsU`x_EL`K=7Y$kL9uz^7FYj{zz4i)2H;i%R#IxkxHz z&Pcvj(8527fXJ&G`hkgOo{@}DCOx9opcJWL-L(~i%-l_`sYESo3OD(cX$CEg{1MXL zyNX`dyD`-`@5$aYba^631o5{S0}5tNqaV`i1gIQQT`7Lo`u;ZSXYeE#ZNeql0>LqA<+IlSgd!= z$Y%3{M{Sfxk&t;Put1yx8~swx7g!Ty$|R`45+zbwa`Q<%)9#6k`_cz|#F*gzNQpmP z?9?Z<6u1bg#@RPjIJxyQT@b?V<;>)bdmiq4YM*s$9N(sCf5b0VvMUI@q z%fBHUW6?SDOGhX*J_~KYH);=OOdc|1-n~PFF(Y0(ZMKW~!#(>I%qgeC{nzz&=rCBFN zySf|scM&n`d=nrjJ092Zq{f}&kKg?7lMygc>})zB2HYXiZz)k(o{bnm>6$S^@mbt+ z<}Q1oP?IguRRW41N;G~$KdM4F@$Qun4klOC8F5vE;Ry}!Yf4ZK{<03wl_dmN>6P7I zidT=OCm6O$=BTc)$b__$!ZpCoKt0d$59^wIK(>rWrST-UBXL2BBwrzsLv|%&AWMUc z7x~fYlMRto0ijhKH)#CTSku%3<_Z?VSiPatBgmP^CTf>2JmN zIVJKGrB*^CUrnGtv27n9A9cS7Iq<&!8T+`7I;i|~2c{PVb*cg<;wU#i-ml}-cmJZ? zTA4j)C07qjT_E8JENVxsmT}r!Qj%FZe(Ne&I-L8}vU&{re4yu&c{UnKN5_17ZmY~bhrKy_3cXfFe6RN?0HJ}awE^G4$G!!ooJ{g0 z~6J5AnR-?0i`_uA6PkGoAPAE8cBL%DeoXM}Nu z5VCwNC%p(#j_j$OWp)+AwF8=R*~h516Es*DRr;+aAc7xLeqU;lZbqcE!av9QP%bJA zO{i#c2t#vg$}ekpSQRZ0FvM++=89Ucuxn0@$!9|rz8eUI7K#s zh)Pq7v;7G=22Z`)7+H%q(OS|x>1uNs&9QV%c>kDRt#iye4d3UGO|R_@`wddD$C?6Q zr)qmgN{KWQqT@4I5Zbznmf)shCyT!=Od!gLi(t67(>}VXT)U|b%4RS~v%_RI(G1iD z1E~q7F>;4HTp3S8Y6lhmtnbcRcFJIhR~K4e)HXEyIfmOkJUpZ*;*s--75sq1`4Fd2@afziwHTt7dSffm$lma` zXp*S!p;hk3vidmb(fzLaJfy-ME%!Y(pc!JhfCOTV!?QZT#VM+$PcxOM-<-G>jiTRW z;u`sZ9XDTTN4U;-;282j+$H=yD5sRKDRYcq4*u1E3T0pr@oE?k(qs1z53E?KuolxsIx`2`(+N@DzaoCT{J7Wbrw=d5YGhlr_($d)7RlT zQ>X7wB$mG9MMiT4cEE{YTW1s#LA!l+-JeQ*U$*nsP}8j~Xdp^&V7$*OEr^bS9Wm_OzlUq`hG)el7!zcI;LYn z9VlkSQ}aY6j|P7Y@%1S)8IBfmeNSHDid`ZvN~Pw)>ms&@xcH5z9uSg$UMjm(^`au* zK@C=uxKK}`;RXoQ`O#wQRaq7J9OlhSNCVDYV;tOo{58pG6V5+u96cmC$A=^ugdr#> z+;XlTmXoC~@XjGWo3280`NUk#dBuI;1;;=LGdqfiJ7Mqb7gOy8yjAVLU*XR=b4qt3 zjq>Veui!C1+AoFzRp}Gb-Cga+s@n)A+Y3LX@NSo%tE|Oai(D&ke zmb&;bKzw;6s2~4u!UW#GaP_$%Df;z>BeeU?am#FpyQgCTG=o!V>)l)EoC`!;CE$lG75-J8ECIuMpFW6;nmQ6yB!o&Z9OZjJVLvg%@UnThNR+a3 zDX_vn3X!((>NV{@tq4O+wb@c{=G2aWdo^-L-w4W{EK@}3p}w1gqG5(_x45|L?_(3H z2nc4PCGYu1yK64gzWba(Ni6@}Pc{6sPU*{#ARPS7;JcmqDv+z!nSL8s`#Ed(nP!hJX7XHuYAe>E5KmY)U@;` zl7CRjA!awcX7}Pizg~i(H3W36tJEJJbTT`B0u!McXkBos+L9%?LA9HU6)1Aty=Ew| z^&`gMT`^_v5@60we12$Gm5b0ni%ZVw8z7!H;cW8<$&G0B-cztVPv{< z{#Kt2_io?ZnU@pc+dOG7i(jS-N|)`2LuVap{ac1^&Uf_d9W53pL6VSGhk)u>vuU=K zSXxYbh7qi4V~eBM9>+l$^pz>hV?_H(~AiE40q?eSU|p@ampVD(-J3?cL<1xT9h5B{yQ51>Ed5^#0&S08nT zH!*+ilutqlYD)@+r7LgZO<^Pd5(bA=&ZMFOCehB3l|U8!veEh+%l9LeB{T(92G^Jx z;gl`yvZhcpp{cU`9$P)P@<_4eJFyb~X^#f@0H9NmfCP)7Vu2}_rVSzPLq}xtR^`HM z^!e%%^BK|*DQ8uWw^fwBgI2;7cxbr(PRdo>IkKD4mo*%(#*YptQ|$}>wh6^|-?tDK z-SJ9vE%f~EP@Me`;UPQ5w_r+dtz(evWF$sMZDgV_GYdcjJcj3E*#{i>@Klm(Qwvw2Yfg3*-43Yr_KN?p!1lQZhjj=V5#|lC~0lj zc3s$C`l`6GPq#bUVk!lBo}7Z45Dm7yT+Arxft=m0!^Q)36H4WLF*mC6=(p$a?B4bf z6xm8xaF+TIbL=6P!%_9q-?^f0nW7x#^-D@8__8&MCTJ3>ZI}7Oc0L9ho-!G^8rUC% zUX|@*u45E-4Gb$jndox5qiHo_uF8Oyb*(i*fmMs+{9~^ zd<>38r5&xwMXHEGzbfBb=iND6)rV($Gw)`qJo$)q)@>+5})5jfObdj3bO?dcvi$O+F>fslk=Xb0G1Wr^9PMA zz~OEUBa0-|zaS0gJUWvALfs6*PqH)X;(($K0h|8yvTL23E8IFo4Z?M%X$kKbo=K5u zy*42qHhM8Tcq@|N)yYiN$JGr#64%s?FiAa> zni4%_$Tw0e8}>4gTCr~)fC;p_4PyDw9B#YDv$#5(Ui61T>`&=-kjA6k-cA5LnW(1J z;xXeA+=2#>S|RmKcNc|3Xasr8#v*j2791a$=sQM2t(k2N*bZ`o<7~eK?Rsj(W?^l> zfrCOC@vrV(voQ8M82s^MQ^YL#6S~ic3`-C?hR?YlP6aYbw!9C4e#yyq^CDBv5-9sI(1|t+p&fVjIJo6nwwNw)~);K%0X528ewom)=$l7IAX1S%F zF|qog(Xr@5IC?b9rG`zzayE8Bmz@-&dTEz^E9dJ*;)n;=c`kzwogy^5U@IbBf5E}u zY&pE^3TYWLsn1Tp(gAk7eUToM?G>XPDC_vffy#P26BKq!M{lL{Y#)z`HM0rMIU zk|M6M8HreAl4y1M#>~cwS5S`qmLG{yx*=uHIMEHl#SMDjlh^oI5v)a+l^$xs+-*r_ z3HtWeT{PQE|LA}-X8d%u-&jFUmJ)5A%NA}bQ{6d=f3BP`UR3lQ;i6t%hLr;qqt|^^ zym6yXXs3{G;QD8>DUlLD>LH>?X-!(}sNG|)Jz(fBK_y-DAvw3;>DLw!!!hufKIM1I zfi|}=e0{&Xq)v?C(X%$&l>PqByDf3X(%~Cn$J1EOV`}P{P;l3>#gPWor={i@XRF;=wIC}$_(|Cb}@*MEHI+}al2rZAvG?PzidH#d{kfx0Ta zDa_g^Wy)-loy6?^@=AD&T(rH9B7$NV&-(5!q9Oc#Q;~G@DAwE#LkaCTWHv$mIvvXo z2&MzuA0N`Qa$iGxobOrlY#-iZ>+@z`&QB8Qe(K^T1ON`mpE$I`&>J^s`$(RSrvq7% zB#NlFY_rw3rpcAW^m<%txF7siRnfY?bH?$}=J`r6#NzygeIY3kJVnkgvY<*<7>Sqc z&7HXez!DA~f{E%>V7|VDwX&3M!#;4rY>2Ip#A1`nZ*LfbP8#J9!ih(hCo@PW*d-sa zWEK)apgT^1IWjY?;CDc|AFT(2`H!i5mRmk8l!atL#GUQGHK$r)c$2bg2)9tOe-rM1 z2)GOsYT)`zKRh9+v;-Nj3z|uQ4J|V zg7^-qX4-%*qZm8KH%I^8U_~0p<0s;4`R(nFcKFE)!zq{&IMQH;!snsk4n!C=;To&} zmvg%qh0gMuwC{A+cy+p?Gd!0peLwDld*Am!MP@f=dKoiZ8TK8|!B;QqJ3_TGE1+X9 zV);=b=-RDo`=(2fjOYEc{-xY*O&<@wiSLCbnrrrsV`xN!@06Q4pNup$>zVgbj=3cG zd+b_xvL6e4d$^?pjDC%-(DXMPpl6I=+?-SJGR*JuNGiy`oU;~nXuc2h7YNmkts!Nxt$ulpS>SJK zeGd~bonIfM%N{t^i42xe+$ zNBYVKWKZuXT!rdmI1pJDOy^NO;YqZkHqfpVHE%zfev?9IN9ABhgg}8yQ;WKKCjO{y z|EJLa(Y_GHqCrA|SS{-a!-W_R)jOdhRnjw8pF-k2?Si7WF%=jioS$`#NfMW?VhB`2 z9Vvm0*{s03`LCUz4qF)?PTKQ*H5_ZOjrkQqEr%%ESrp!VFbq9-)On_* z+FH!$p6{#^$8FL0>Ax?)@O5j|l>0s@S&$PF|7Nlw&vD*=aYval%6WRxF{a-5g}~U*w-e{k;{w6 z>Y(aSms+>r1)&zZ+L(p5JeJ5R&lM4<<+htr?}2$+{MV24^vWfr9dh+Za)k-y7;*ND zDe8HZF64G3ktz22pIftt(e`A+$Y>0WYt|mF8Qeze9!T-afr-{tF6*^hwL!K^^h`lw zHG~j6G4lH)gm6RKWwSBuiT({^KYPcorawbtlC9BrC9J}~4sGY~hiT0B0~i2MjdI=X zeZKdHUY(yB=1Bngh_ebO(1$-Mf=Jl{@-2_ULz6~eNte2E-a`<-`5 zgV5sDdPgf-wH*x-WG#luod=Fhy8>T|1W7^d+I=zaB%n@65;WYd?=4()0S9-X-d9Xi zlZo_C{76`T4`?`Z#VREzR~5INnf-@tok+gJ$0VlJ%T*gNdQkEO{w#0dD%la?kz#6bP#ad8{a61uv z)R**)yC=sD+*$}+J5=~=iU{&R^q?bc{1U@$dACyF6wckk^YTN2(*$qepyqDqIw{_} zEoS_@r!t&Ac7tlD&je5!w!CwD|H*9@OL^Q91_vzQZxlkvot(U_C0j#Zs&A)YG}16i zET^F9xxX?UG#uy)h=sS?C)1UkdE9x1O>Q~g4(=XUe@$PA9#oqwN%FtT(A27ahVRaJ zfq}$UGVZjluZH$i`gJXU5vBL77yIu{o-Wz>lUb0DJoO*Jxo=$F4dxR8`+An_L7A^* zr=O6E#kv%TmQEIKU{_01$NxdjW_F02WUOTWqshp~_&B*Z8#t(hpm2G){-gg#$ehR! z|1V(Wb2)eijcM>#6(1qace7IX!oB)di2_7uC1@|C}1b270^Pl^0 zU(P&r_0&|&R9AIP^|oe*dXgrisVc>e_>(lfh@O1ikUGnPJSFQQTky@>F za5ykx_N>g-)}!|x6}DqZcPrLy!Tryr=kVpgE2COi6FL#`qv780K1KkTU`EY_Z?6)W zQ1{w7wfma@FGn{`>1Ipvyw60@>@MpMuSM zXQyMzr(`C6hfI5SdpAuSMb(CvT$%Gs$sO7z?Re*Q`h}mF&&%UpT0A|dY}*fP0{tw8 z<*L=YOV{nb@pm51mL~%K*Odcw2ha#7JsQ)>IlUuOdO?l_p>S8&KcvY)vw~fnlj@`j zK9jXcP5$i#)_(z#RGV<|jl;*Db-N73DxA;%ObLB;C3PzcR|aI}oU5v_EO%~Zz*W&+fpt*4ZO!dWE!In+WDzO0TX(XHrB~X>o@i~Qc zdJw~C^N$_18g5fYt=y0R9U>X&Gm{DKa<<^eIt31(P zRK10f0cBWp1JGCPrsy~-@%}>y_Vp*cn9l`ioH5iIfew4TIjAbdbzg?vEt2^qe=FX+ z936=BQ@3N(FPm}>$iiBssEst2J3B{7Xtox_-YiPzo|%t_a7`N2pom}wrs#pCgSj<%4V7 zCCvGBY+2gM8@{HslRSRUjCkkjXrZeRTxQFCX^d2U`ZbTw#!yyY$juN@$bl>XttZ7+ zJLHOb5nwIg&$|pJX%~K4<~BFyCriF%a=>7X7)QFlB2D^|Y%mChF_B z|0{fZ66wGNUT_3k@oip9C8a2>fteYzhqj!g8H=5w+3{o4mKMHez2_e8Q#gCKUnQcL zyS8X^_|17-JKO%<3M&O@`Y-(@M+nZcWpxeE2h1mTp0IkTF>5g}GQ(+Y+`uJob4#1T zxi)2J26~^%PL01BuyK2w@3pjYf)e0xtZ;z%1V{nQpt+*FnHt6BO(P*s`Ha&w4D~(*TubN zM7W+^=rDw?^3MwuPL(7rbJ*YD_?6*(T6Op-6SkG`E~@){cYa$%m|Fac9wGej$*EQz+u1 z|K;L3L@^tWtah2YKyF)hwFhp(5^SwW6 zXuIt%~Gz-`PkH4D~yuIkSKedVc4$2Jd~r+9DMvcXJ*pPqU~q* z|6MXM{X^k$!a&o{s5%smSUGwVp7$K^hH82C(5amzIuAwK7YyL?NM`2S8hZM6tL0Hn zif2(V!MsZ_x-C_suo3Q%Q&%p1m-DlL@eriSD>x4)^XN%kz&ZplMOE;+e)xRK)Q=ZJ zr(nZjFS_$JN=sjhf*jtA6|F7xH zf0_bJzr8R!=vf`(Muz6l;^LPo)YBzZBmbR`S)~L=U6Vb@d>vy=Fj5)w#k-{t{k~Jb z;$GyLXN=#lb)L?1nAow{K_z)PU2f8z^*%3vBu+X|z?`>-T zffy1Rg7De#UDq9fZ0nOm0@v;-O<)ZMcJL^OTQKsurI)iq2bO#25m%+U?)PZs+kN@S zF4R&EU-gw_x|2_eFjZQ|&v*9ph^t?0Tq)^@o|d6t)}J?NeQ1m}>tL^!6LK-jP^<<> z!rv65qvl;N8;C!a>P^s0AbS5j<3V`62Rdpl!0!t>UR=ZBl7`ovrmqi9y1tz+6RD=J zhu5^#Qu(jQFP3~EZ1U4-yP(VjRy|y!TAM7}Ud*FxqX*)}!SD5Zk&0jP<1pMiU$(C` z;HM3_e0c?}kyGa8;a#iY z1HYm5GXZ};p$v_0`Sf>K5L9kYGMFb#IMexS*gJux6h)7@%dx?=4NC1<%MBvWNu$3= zIA-Lov^8l1Ka=AXKHpzQcfOCq&lWyYK-9JGGb@0mIho}(Bg}sJx$iMk@^Ax)udFK#i<~v&m7Ytn`2i>jL7C{zsRyC<2?Q1R4)6CJ0Kf0h?bNe>a()g#!W0vCL zUhQjjO)l|9X%Q9fCcs$G+C%^{peEEG|4<<<^kMMLM3Pc{spU0LA6lo1y6q@e@wiMh%Fouo#ct zRB`0$agt=VHv&`c35N2b^ZbC}yF(N==udiXc6kSzi}(_Le^b5f4+m0>%+->FG7&O# z=M|Q05^Bv57bzHQq}0AC{5<(H@5{5Djh|2CaE!lbX~n?YNWL=~*Vnh*(zBgacv);} z8iFAiply$&D{LaRrzg?l@AwT4Y@W9Evl{H zk$}epW4Wvu|92jYPZOw-8XpJ+d%#;V%_Y9-J6MV&^xLSSMu%P^+7saaRTE@L{8sLo zu6ZTbs&ZBimfOw zbI$g;Rnv}_*^-n?3-alvwNQFFG1LJ04(WbMWWeCd3u4nqOd9kz78tP;dWuDlC=MmS zmPd7(6Ct308ewYzIu5bT!Pv+BHN%?eGwJd292TF?4%i*YjFpUP-6qfUT2KcWVWm zx=lfAn)T-5N~EJZtS>zI$1T0L^bXkyRgrL&j(d=p?EA6lyfrW$9j~_o6r*F4BqtsJ z_zq=||1|8k>nc{pX#JYW8EZB#TARi&aA5S~*(?VQAjsK}v$-2Mq+S~4{d$klu{Hb$ z@nc;7`d2b?KVi4w;hZ@!210Vl$;+k1QjeojW%4?-{6sAruSL|ycmMch^`8vWx%I5V zT`Ti~FFCk>v4P%fnG0Mp(Zjv2{MY{7WzLjk8LTVrDHN!aZU^GB2Xe)bvAOjrMo87& zSPJRZ0EE18Jo{p8%tWjD!(t71#jj(^$I*^=fmFjQvRohfuZG2h(fUKoL9U{F;PZj% z)QRtvigT-RnL9oEOWYkO(Sigvp#vSryx(PCQMWmUvqNr3{Ew*9WnNdq-c*8quy0RC z*jQQrP{G1?`5#ZJQCScQNl5ys6WQl4yN3AQ!n$Wj6EUbAIXay#cWnLrnMfh#lt1 z0E^lQGxQq{rAlD-*L9&=Pw(ARu;X$LZO_*ceEwPdxRlzeHxtj5Dsp;T(Go#p=3a5_ z&BGC$t`iG*jtnS-Uu=EUBvu`yy1nTsQqGS+QB@+$%H`q)SXSP#!a_Q`~XR?`AThH zw0NVpTE*JNhZxScx2j7sn3C63MkakEILiX#^Bc3rP&0foL=&hlzOquAc1Qs7{v^H( zN)JND+E6K3^0w!n(T;f3GMU&t^v%!coVYb@Rg(pWCFZekd8@h6y@FnH6Zg`)0z~^Q zj*ck#nz+x1@|y%5P#gj!+-$?Q*s5o=e1=bZt!Cm-OM(xG4bUM=P*Vd=6iK@9tB|_j_<#kj(As=GyA#5`` zt9RT)U37Jndj5n==waSLg#Keg$SDYpu0NQ(Gx9a$SoOTbZu_TjwF7Y%I%$499Zuh} ziX|tVfuzgmZ`p>3D1mr3>L~dIRhhl^fpA zcxezQn^E}nm(|CBu%_-2LvNXh@37yVRP^E~G}|F4d(O<^XFY+-o{%L?DzNc>kFv{TC8ynP4gi#HiU>nS9kpTJl$99q*zhdrjF zt*_$3*{qi1P9k1+P<$c^#9Jr_5iL;dsPhtV@r9sn97D**u)x_3V+-eDe3*bOYaui1 zX+-Yjy}lod&wgeo>W8e@kK5VPeZLZM|GvA$p7N3Z^U}rIGeT1>$Bi4$F^1+>Fp4mh zmH`KyT)e+KoD+qMkwZRYjg)|@es2}}9xiIgFq;%5gb@T569a==Pr!IJo&X>^fAi>q z-H4{)adtI;2cGb6%4X0@66K7Ctzt&K2FGJ82viNl^7?$Uj_$P`Ru1p$vnIZ={X#8M zoR4IG?nF`2gfv-GP2YNS3O>K>%xCg;435T|=ax=)THM+DT#5_bI1QU$NM5>CKv5HD z8A7A}roMO^yfsB7=H+OxKM4q!Qz)T5u_X6ndY$PaMnx-a^iI%WB<3T3&ntBXb@AL} ztS4^FX78Ies`Ca}T}!OEt@05CV?^IpR%B#5_MnRKwqrUVLN3{$y{AMEw!uWCD8{^A zzUyllxt}DvNm7zbT~f{)ex7)D>?lSOQkkZ#|77rsiRCC)-homvYQUsaIJC%c7A{s$!dJ5stg?g}{Jf(#TYyE3ZEFXuW zQI(qj+MjF4)&Zn|5dgf_<3?$vsQb5hkyzaje^}fHpQCJIdd&tfX8giAcz;w>e#o?l zhWu9O;yA_8N)in%y@XbFdr+#k+?Bw0V2ekDQ;=$2wTWkna!AtHwy`W zez_l#4R&{M$kgcS&7$07MOv|6mumB3d>Gou9~&@O+SZe!nFdgL0=bZ7{Znk!=9zwc zBG{B(&D3}Q*zNo+%Cw$tR&`$P&EFh;vH?&^ma&48do-Ot!n`G#FGtLpwUfB59Z_v{ zmF#U4q70&cT>#DB+z&W3`PnE8_isf+sq`h8>vTEE@1qIzl0ouRMQlU`mqr@`52{%G zWm29YLm1$nl$ikNF)zhWWEM$lYVF%*l8-PpW=A1H#43+Ee%jS%MqTxH)U7+^AuGQa z;B$hhPZ0> ze^r+ADXKA*h!Ug4yo{TWIu#dp7DX?~;kUb+HpBAw6y;TBhGJKd>?&h5n!vYgyTNh{ zqoo`yL`aweu_;9Dp%x6=^^*0n+T&%oABB52vfM8*m3hvQK8GZ{P_B77p)1$!*j1I( zEmUUa`IZ81m4O7wG0vsL5_yNrbR>CIuppZ5Tb1-0JtVv?58{jjLXWEtE;LTpNHqI~ zqMS1-G=bDuhc38P&qAAV+Mjwlh*OQN%%Pv&6!Ad&$86*IbcV-lxBJ)})e!qLhJC5$ z$=k7P)XGh1*5`=hA7Lp1m0Dc!pVA;+b{QfgxheqO?hjJ+1${`eQWLQYpY_49<@d9V z11A`<7l~0-i+^iaS*w_p*aNtN6&8?uf#mv)>v&nD?n;o3LaY&~u*<8kw9afac2?cn zVP_m6H`Rl%Nuv2TvNikWDcvV-ZZK(2ckOw!9u~@#>ix<Y&|uL*_=Ya0<~w5 zu@`{5ZXh}oeIW%e?b9e!vV0p4!SbV`_jE8)7fb0_zdskd=-uzM9go5wX+}& zRuTM9d+LqoY=7FmbV>TSDD4Cz*Aq;C@CTC0OnXQ(mQzTrtM24;13S1oFf3niTWB)b z@m_@K;dMW;#1~4B-)%*vhSqGAy&ORg(B9h(X72J7TrQGPQY*Tp^Cp2&(tntb zj@*>FoJlR=F`vRQ5Q&2eq(}?UG{{OV);OO&f6(shw(m{0^AJ}FsILZ}f1nQO#RYWI zvJ@QDA1}Ogy{vrb3GwlYJRemNFP8>~j~+l~k_^|B%gfS4I}-5&2VtE=BOe;NmoLOp z2E3=AE-O-(3L~}5?xWm!k^B;5_~2!x3g@nW6?_=;Wv+vc1=|Ld0z%%j z12VzcK@-6)If@r`KlG{jn9?Gn!rkZdX;T>moH<(wZt?O8VFEkT7hSbgI7+U!)Md-6 z0>`IV$*7=CfiVY3RYm&DQ3o^}{&{Zn#y=50xZ3n-Ds63vRA zS7uAEW#G@CxD_6hV!W=C-<(oppgyAOT-2^#E#?HdrAvAd`_8vnE&5_1RRWuFn2y&> z(bO}c>TlTcrYGg&b6E2tYGJ*%!0XQllxvR(FxHvPsTsZ4yH45Crq+ppDs(D zcYd`#QG13{rd%UTrXaw!6e|<;?^R&tkDfhQdeNcjHr>L&&~WT7h#j8@UYBcJ%EK$> zvYuk{OWtMM+UdNWI`YPOM!?9VQVU(68$xB^C-$d?Cr9X?N?PV*>b*Sx-+7a0S7^X# zt4Z1rGUo0BPUdqS3+cHh#%XYdH6G45I#&xIbiY_gYk?>!F7iD_@T;<+D%jZatY1+j zZ3;qdy{0Iz>YTd!gmo20rWs^ zQP0e`yFLglj!v{G5xz6#kB6>KtLqmxf;)O1Q{Vg^_e?pamjG5a-H|1ymTNtl=VCQ& z$^+sfaHwBwh4L z$X&eW>h@Xl{%WK|d3Y7Ha6lM`T~8j%6L};lc+lp{{o3{X9A5xcMh8|G%_OFe9x1IP z3$K@E89s8=anU`WFOt1*Y9@eMw&{mSPZsAQ1*63>XsiXMDlg5ZpcT|?h5?Q5pPsww zIIX)qxgb)SyD7>j!Z!xD2n-lraL-${;J;7rsNr@Nul7%S5%WjhZ%Y*STtn!aG}r=K zL-y$kLDRkw6?U6nF42E`YviH{W}I%GnIR&f!F{Em?`bFji3Am{=&ZE-nm`+WR!$=bb*`IarJ5;(f_P}^TG#OhW ziKEY(ir?|vuluOZiM$aUNzeXDa-XN+RH_~w#29b+bknmYmLr(%7D(EqJIbE6kQ%*s zIB@s4U)bgVAH7;~jZNJb%(dM)Ii#;e6m@#Ot~Cbcpni!Put|Du`jQ2I@?}{6g0|GTLuD=RH9#7I%S;}v8s-M+kF>|DM2Qul$R9mxcLgpz3kic zFMoWc*8(p>w0L|xD^>ThMjMv>rM%lu&T`>}M5(dXJ8;AyJ?jY#(+`;uPCyY{N4mooK!ymd%OOH4PMW*8bdXaWSsqnZz+w?HT zz6}<8_XSxHtK-s9@k8gOc=bu_DUOs|;;9a8mx(b}A&lFdo--<_XY%EbKV5B*moq!& zP;7d+`iscSkMzJT1&V1$xf3FY@l^y%33LE|>NCyXacx-fp=Yh;wt##HCiDZaLJNzN z@_+ACLq$2(Dw-5&6EG$Wf`rB_&(}NM5tR z-j^6HuuNPGS&bBa!?Y(cTJZr%h)Q3Xt!LNkuIV7=;~3JOE{BAsPZVqY+XjLeRxwNj zK8rW0FX|)OzFXo0!ZseF$h;3hj{O?mLgq3a&jzTI*+F4`fan1x&#Ug*?Doo=suvGa z9WCCTv5`Zdde+TMi-OpF=lF)sC?Dnehtj90jnP<>^*UbMZwH5Ke1dwb3ta1Wr106O zO7CGI?v_J1xQK4tV*!+Ou(jroEK|zB6^E}H7~0_=j&<>M!fdx8qwcxq00PhsZ2l5~ zrvgDJEu4Ga8lKBVz<+zQM$|Gcum7m|G<@lj3k60+jDDGIiFXm5u2hHY!GC%le?Qw% zaT5Pk?rSL7N<6pO)QJ6OQE>eA6WMCU$N^s%QnCV~lNjEw43-Mp$T5SU=uL0fwX1|_ z!<9}P&3&dZ2MBdPv!<+au}bvvvfS_iLwcVq=`1RlhC`^m^)FyBY|~-4-{a`FOTy$N!DZzjy};PP}E| z%N=w`HjSco-%KXu7RU%S==SUR18;D3>F1P*ly5}3qI2iI5=6cm-RW2ggq1oC)uE3Z z{hTAAE51r(4WcuWG8%3fu zKpS}HO(}i(E2VjU)5a;QqCqr8o24Klmr8e_L>}Y6jrG5U2(=-n@799p-<%bx19*ps z^|agftds4S)@>^2e^fK1qGm$ rEKHKT0=)mH$Hy=De>gC&!2jU{1$dzZtcqB|LfrhAOiXeb@|gbv5DU9w diff --git a/thesis/images/singular_chaincomplex.svg b/thesis/images/singular_chaincomplex.svg index 5d26de8..af2ca28 100644 --- a/thesis/images/singular_chaincomplex.svg +++ b/thesis/images/singular_chaincomplex.svg @@ -23,7 +23,7 @@ image/svg+xml - + @@ -37,14 +37,14 @@ inkscape:pageopacity="0" inkscape:pageshadow="2" inkscape:window-width="1280" - inkscape:window-height="752" + inkscape:window-height="976" id="namedview9488" showgrid="false" - inkscape:zoom="3.5268647" - inkscape:cx="128.20722" + inkscape:zoom="6.1412619" + inkscape:cx="154.2605" inkscape:cy="23.569672" - inkscape:window-x="0" - inkscape:window-y="626" + inkscape:window-x="1280" + inkscape:window-y="0" inkscape:window-maximized="1" inkscape:current-layer="layer2" fit-margin-left="1" @@ -1285,5 +1285,47 @@ id="path3347" /> + + + + + + + diff --git a/thesis/images/singular_homology.svg b/thesis/images/singular_homology.svg new file mode 100644 index 0000000..9bc865e --- /dev/null +++ b/thesis/images/singular_homology.svg @@ -0,0 +1,761 @@ + + + + + + image/svg+xml + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/thesis/images/singular_homology1.pdf b/thesis/images/singular_homology1.pdf new file mode 100644 index 0000000000000000000000000000000000000000..c5b2b18d5a67ae2bb110e6ddc83a47bdddc2be1f GIT binary patch literal 4552 zcma)Ac{r5a|F#q|q3pXUB!!t_%-Ch$%~-N#8H}A7v&fbuL_|ZBwQSkOQe;A+LdYKC z%@WD3vP44pje2|EzSsND?_AIIoafxnXS>hm{Bs|1q_(a!L`I%jyzXPw9^J?w%M?)V(-q}O!rV9Pq$MVYVyurSXs5M z+A`kZ*a+@9|23#MgzH51=%S6`s8kT-<#~!6g}gn-HDLpaMgKsc8RIt(rOwOj33CT`=lOm*{%y_k%sRpx&gR!&-tTkMRp5;(RBEdIR-HOv22myGw7%K zv3HRrt4nujv?XK_H2Q0abAT{8e+Ou$adYB?Fv~puJ)?io-1-Z88;dFc0S>w2*;q6HJ7lYCD zpwTumvs4@Mnt)a?)?5cN)o#y}YISII62A8|GpVbN7&WL9rlIAll&t(a8 z-BFft1!`Sx#_7g}slaHuUaMGAxpNI?jhD)E1eJo);zlcRLT%b5br7yJ2|6pfqtBRsBrsYFoAR0sf>))*0&O} z<1AK+vbStA<6?BqN$5*HPRq%@DGnZz_#txp)P)4>@YRXdlbS6$eyeO#5)WR-wg^`% zj>Fp=_#p6Qtr&N!5R-TX39TZ|sRCJsTNs}YF37CX@*~5~IPe^)bkJDF9_JurtxfSb z`PujcMsjA2`t66`FJDq|Q$q%lvjN5-RXe3q&k63ee zbUjfuIupV9L%HCbBS2)#^99GwQqDrsZV%vTXRhTe`Qj-}&LK@PH{Z&+>G?*8>|BAH zq0^oehhSpT(@Q;JPG(KtoP^y{mF*J#k~vbwX!K?S=$UGZzoL?cYd-Bquk{Y8GTk~1 zcbVgZ@7>6-7rc3|RmeNm0(&=HjTb!498PNyQ58@7`IEMkWSZEWq;fbzGMkD`Hv#d% z?|kBhdOeBHtvpY@?%bCZpw`eWA)&{6-*6Boox6NT^2-XQRudxbl$LSqt6(N@VZd)U z$ljsDBpu3L6eVC}yG5ji*#rMLKZkYr8+K_dufF{J&;ZlDqSo9*3B>tM&QX&e2Mk>gdi{ z*`vV)x+hWmoi&n!k473T;v*}N#+jMsY=GvbnqDy8W2hH8sy7!&%q%L|5E(jl%W6!+ zWy$PgwrbEp=WNH|iDwu6`Pf&uu^%@`HlimJvsC!QJHs`F9Y#LUTZ2!1)>xt}zD|6v zY*>HBnt73bUFp1f;gO46MHV@Lhs{|2G4io|F`erhx|C|IqFcr7nd$zFhDu%W2GK!^ z<7(IJtq|=BonE2?b?hjcGkITtBOg{Y4ODN7iu%4^n|&F0Q8JH&H4`Bygsnec3(V-= zk_}J@^_||8?fk29vv$5pqSE}!Wrr$_A7x%mb6;ND!|=_VUz^9sfhYi+gYv5z-$*A(mv54ciJNVW)fyNs7ym88^esU$-= zgP-_lUSu|g%0oj-e8d^pgGvfUwqvVoJqJ^kGtxfKrM1vu5}n{_U|4R$beu)Q*7U_b zu&t--imxb)raHFl4hj_7`f-9x(i`Eh1rdZ|NNe_mmnKIRD`!-*%%6B0uCvEXk^-Ze z5VKQkoP1Z3(ca0nC_svIK}c}Cf_3Y;D?#I~_j?9ghqs+217%kDO3T!xR3FQelZ!ni z9*ZyZlKhSCl=3%Q6(Wpw!Kxo$X;l`b%sBQfDHoIp&~Lp=kzWZnGAt$jh2OKjPQg(^cAJ zOZma2A224bn%?v}_dZ}+uUv&Do%Z-teBc$;2W{i=28l5qp>C!s@qQkrSjdaM93{?* z%kxr!lv=Ao55@!Na)ob+={a2ArsEc(PM?bR9)y|9L3hE$HEaQ2P3b zYXK(!u*A;O5dF`NoLz*1IXoRP&JdFdt=>l zs;gLa#jO4=J_{#c{vewXf12AA#^}>fmf2O@6`R@;=4!COWb)NG@Dakxn9vYvs|?Sr z+Kk~wFVbk$Izw3V1Q-#x-3XV!{$|T!@aI>~`pT=*_x$|LJ z#G%b#nfQI%IMT7X((L2fXzY$E)mI=Fd{bSPlMyI+VbV zv>l6LkCW#}wy4>Tg3`DyliLH`l!v|^Z-LL-WE>wiI2eH7!7O}I8fqW)Zw!2U<83L| zL`v5z32oYru7hAsZO|_dyv<+vemi~<8|Br23Ea(lqX=2QdWsv5H_cC8N^6SQOU}6B z2-vg}eLKnK@lIep{@tKabKopISP(x;zd^|#zj<6sSrdNt@nr>0@($?^w6xY>CL>>v z-k50sIxzvJXRYi&<|$4yglxTJ?>%WKO?Ne_+iY~M_+=%Aqv}FJ^R)%nc{nFQTKiq zv2YV?CXzu5CTDqIN=_H7x<$T4nnSY@nrMRQK?(`Y}G z=Q77)(BH|NrR^tfrYIL{I!?){9x zPuLr*4% zt^Fb6pE7x!h*D`iLyiKi>%sSYZyiY$WZ|tf6%#ylUq?B{rrU(21*hkvPrPKkB4DJX zXUwHF`tn@znMRo#n{OKs!UHdhG(Tp9nV=u<9I?>F_Nb6n9g^8s--=yre1*+?L@`P} z*ZRJr16Kv}P4#T()-ZbY^^apoFe{mq1vJa1@9&{P_->!Bybl$$};+AQ<@B_T%nlb%C(FAwK7)(H(%zmr8*EdK4o9`v8zTe z>Qqo(SjYK|6Ih?$JN4zPW^Xvsbs;f%7KvwT1H{HQiquVH7_UjN^od2Z(YJZ^r#QN2 z*IA8BlvF*((9eFw`tn2tEaoIy|7BA1a0oA^vsV8sAYr?keJV*1;G3%`oaHmL9AG!3 zs!pGB5}8|CR~2?E#>yvTw*^nKb!0O>D*mJw9T3y6H+e@f$Ur?SEiApI*G9zO+2bLD zZB^)Gf}4o9Vc%p*rn6K$%NG9F6Tud<@=pxOWTlGyTF#L0TOyB;JnRng#IwQs1NRI5 zntZaMgeeq306=Q`KLo1lA6=66b#VAGbgv;S%*4fabb@KkN=TgKFLPU1EZh9eK!D{$ z?&feiPedMjdDba4tl4#!ki7iaQi1OFlJ-7bu`mTo-97FSkq$)10nLpkK~c_2Msr~cFlBIsEVsM-^#qH+jO2M7hGE`T5{4Io$s z0)fMza3IJP_3whJPk&oNep^C*nm~ZR{!!o5=kJX2|6~M$EQ7IVAP9-_K>y5+MB&i> z1R&%eIc$P<^FnE2f`Il^2n>Y5WZ;U5UuDZ>zes@0(Rd6I=ZeMy z4>!&H4@!px|CaRsQo{c%&B)6QPc8qDwfR5Q5)WDa5dii_04=K2Ctz^Ev#uyF90mxH zfq-RXfoDAl1gsK>y75%d1Bb$Tdb#3dFgOoM$)9PEIE)+7m3npX|9AVhCGbDe|EgaL zML_vtJbs0ywg>-rQ~vb{!lB)n!9WFO@IM0xlb4s12f73Q#-LyrmDu3``v1n{;85yr z{VxUvL#W&HznB~xqVOL~LH<8>P>9@r;z4EQ|L`T?P+q=h+|T`Tqbm*VKvt literal 0 HcmV?d00001 diff --git a/thesis/images/singular_homology2.pdf b/thesis/images/singular_homology2.pdf new file mode 100644 index 0000000000000000000000000000000000000000..22a85d93975051ed098e22f0c9a9169222356b12 GIT binary patch literal 4880 zcma)Ac{r5q_YYa3Y}wagQp_-B82i4Cec!SV#ukQIYO-ZX*`l#Ub_ofI$W~+tS;{uD zRAk@El6Wb7N4;-v*ZceDcVEx-+|T`a&hk0u-2a>-Vy3Mt0fWfUi_~pY9nwn!pa8U+ zFTJudK+*^m;Dz%Bz{!vWJpcfZ)b;Vhp)lm#4~au*qukLRD0)>@dMpluLi*Daa$@ZJ zsuuKErVqg_y6vNfThw}b;xrkt)KX0&noAH*yUjywZO;kSr@XqAB$Zi^t+l7FYWb^H zKjc!Y%eD7EHj}G=eETes0o-jFCtRQ2d#zI9K6;L?TVT!{WZyBgH0>_$rl+ky`aV6y zGK2@uWeR;-p#yH*7Z52`5#UZX_>wnUhFotHgpEJrqrNvEI-dp8EkDdyH0M?N3cOQO z8h)-{E_oUT(LK%X`lYE9*B=#bXIJ5$yy5-KwNv@vxp76o`W&6ir@y$a7R)IxYPSN} zDq8u{!C*TVwU^gJ5x#tk*in-nih9Q++3Ll(2}5~$XMc;=janp{EO%8_(nWCE_}*yJ z`?8vxS9#f$fnYn;FGR+b!khgcVhrbsrkv^DyP0|yX|z$|H8V~-p<0HMGah7_P$MUc z@QXnBX~pE>ZGmocn85j@!u8J?%6n)Bo*ER$?C`q3blRQk*i;I|#ItKeX&Hg$FAA_t zeWLg3nP3CI8)q!;k?3#D&^2Y2D7T-C>GD|gb@Vaed8)3(>ncgiRq~AW%cB~&4Zall zc;j>5cj5`bR_xKyLh=my+_eta*B>)0`I|pnral}o*2a9#cbNFm@}mZUKT`Ptf6F4R z>%D~~=GiC8Em26mG>yH?l6OtFkuDj+K0T4R`NqY2;FMtL9=zT1lvycD9_U7v4uR{c z=i^Q~CWp?1O>SV6rY>RMsB*_Ml;ZJ-o3fu1V8}D=(TsJos7q-qcyR7%OP3x~+IIBr zI=AE`)z~QK=S##S$VblMEn!u$lakm)Eqe%F>B>FTeIhJ3RZukTc@Iu(I;;y zwnl0;IZ{~M+H}2kV^Y^){k7~zH#N@<{Pa3)l`f$=-w+u*Is~lbMQ_KRFujbzAuctF3 zs5EvxjKHy{#x%bgW}ehYjN6K2C2gr|ZEe4F#16gD)Enfoshf-ODj1b6f$T#1E1^+^slbs*z#^o)=bzvqh zFr?p;4^+@)b>4pl*kB-~)g1Y4*^P%Z$)-`u9m{4&S8QoC_$5wsakwVVp!h*=){k0` zll4U{Msi2AVNcU}&!UOmL$)-bO{%{_+>;QZnr;GNH5W}%ghEivS#wWq zDHLWEneP-Xq)wWZX~Zs{q#o9^JT3e{^b>$Sh(oN3$wS|>&+R^?64QLDNoOFf)gc-Z z#gdiO7uy!dB4c49+>@Y&3HUaW+K!;iXRq6(jSo~pFE!_rAR;#P!*Sr9V3&Q7)+p_Y z>H;04&ey;vWdIXvzX%pFifTD_SD~SI5wpP9da4W|*B5SO)I%LC(+_ow*O{D^s#)W% zBpdL2j;)nidq+1BMFqP;aekgn@J88%HAge~8r|#TNcN6xHU@A(hSejs24#2*Z9f;m ztTw}Fa;!M=j$7NgbX5s)9Sd0IdC)eSwGtz@SDH0Pz@`og&SvvQ`OeAl^JxBDo~Ym* zTFDY+#o1NHBlG=7vE}ld@1a8;*Cjx_0iz13g_h>T@+}gGQ>Z3FyED@7;zNao#(5C~3{p?8Sh#t$a z(oN5V97Sq+GVkXlPCN!}EB3tcsJXXMk}tN-888qD_+GOOS4E5t4GYj05F^7c{#s|ww6+zY~mv+bQ&KOvv={~l}R_( z7OP^E!*X!O(S?Qxd3)o;%xJ33Hprp5QjQzq8|D;`e4A-{{oVJ=9jryhqbfk^ns>gA zpq2ae2aL5{jigShDuWPtAs9_eGG$CHrM#7X!MnDYCaGu*G1!z*r^m9bX1L#9@jXWK zqLnvjEndFlEL`fpL4U!4x_>4jc#vgx9Q*()C(Y$?rK$=eYU(c(hZ86Ih<7NCYOtGa zN6AU;wZh!hT+XaS*09rQXWJA)*9ST-zjA^k*#`$d1KhOr|L$F^gHuJ)#qyW9r1I3Iw zK!A$k5Fe$YS1||yP(ebM^^F0?iX*Dw5{d?g0~10{<(q2=KGEgV3jw5>Fk5Kdx}Quk z&_BLqTBfi8#(r1Pbjx7e;`F&q1D(nZf5+N4Jcx34v*+2C;k3>i`EqH{dL`@&Il%=| zw3kAMqbBd2K}aX%jALdnH)(<)z~ve1RV!8EF6BiceACdOF&G6bw)E>Q5~~B3vYBdR zRxXcrufYeus}tWZ*_ABHf*mzIcFLRuga@sw4FsLP+JUfNpmi#C@wt7$G&lkL#b9TW z$5z~Zque?R-f8p=oC8nu&|8SWX3t_cOl9NM+|6Q%j(0gDw%V3*{8&f%smE0h_3Iba zpRUx!h8~_ES_@g(Z-vEQ)Z+1!dGaDpJgE%%ki$-10~5n=u5`E(dyBq8d1{0`}U|T@h0?30`mgn5onh6^#U>*-w9cV4s&8tV*(JNNAKjd%KrY&Hgbt>9ij_>xhd@@TH2t<^!UPy=@o3`rr7@61XRr=6S z-^{MFX9P0ErTG*kd_oOO-@c%Rr%C3T&+PV!rOr~guY5b#PU*d98s5|A&d6$iqPha= zLcVBU=LvDIj8o;wwHXU_ZN34r{=-3EZ~2OoY%{x&TC6-pcVX2@NR|{snUJ6ay4mx_ zZnRQ{qjEZaYQqDxJMg{Ii+j2Ghf%Tlc)BdJq^4eGeD8^hHM6*&+z$pS(R!4;ih`L> zA3w5|QSwZ5i`%#j%r05`5~a?m7MLbqkr|kilFr0O1uc1Q;D?ZvZuHv6BLf&xky6Af zHW%>;aF6PfL6bxd&FxB3nHxdKFh=#$WoIT*XG_5=rZTNdH>>s>go_5KNii>)b5&(q zy+4W|#dWc*Ps(3f2P8k&N>p8HZ#i;{=&j#-#*)0xpSxDozh%g&x6|GtAMmygA;7g7 zpU?vd9i+Y)$}YJGC+z0UC$*e_wM8)FzPo2K-W=}ul*t!JiGTK38{3(^2kKt18DAi6 zkiJ~Jw4@3<<1cXrqm!O0<))A|LXBn0H5lYcxHd-Za{a+8%H zJQ2uoV16g;p@Mxabpdbs`BhyPD#;gI6b8643zz8(CTEFEBB8Y}b)>NQZj*Ls{12+I zP$=8Or~Y>zYOfs_MQJe9anRIFX&FORv~OuQ4?8pp%?5;(Wt891w2&XeHLwu^j-xg?%eRP%j|<2znYv5%E}hvWv_L-HOkG_7FZY2eIc5d ztxjzL3U5X>@%me3wSt8EoT8{Tnz=FObhdOu9R`dwDTfC5otmWRC`-JjoN9*f?1ZHe zm2J21k0me1EofW$dzqNKDWT;7D-HZs6O!NTNh`yHeX{pIGp9UuuKO;iX1e91CSQYW zRQTYb{@27kk*2Fu;Yimu*-7P5j(MR$-d)vw7P>XmL3J2#)Y?yprrbpXv+W4o;o%bv zky=^h*{Dffo@Wnl-b(oJHgKmlcuM8$_lHR_DX@)}%{P0xLzh|UFmTs?MPlIf+Z-Fr zZZdN0-{SehgcgFr@IgrZrPxABcJ(Kzew?``d^>luJ{Yd_v7Yzsb{x0DC741{C%Y4= zdJiz*7v;vnW#y-D>R+mzFN5QY^K!_v6WW;MgxV7czgEL=AS8wu&}&hdg(5Edts8Td-e zc1}P9gcTZaiv(|%Y@1sncR&5L%idoN7Gw0i4-UZ;Sl|70q(qyw5b6pNo$!aG0_6qq zE{ij1;ZH2LNiRC2u5D3X=D2iwrD@!dSfORy+o&XUHjx@usCuWmZ;SW-Dm>898hIx7 z{_Vevm1huoN${$8#bV{>%N9fHgHfsAta-Y}O%fOG z@>2MXnNxNTbhSr&SoZKJCdJz>DC4)f9t~<*!#ZgpAaf%oIF1kRZXSB~vtuk3nvs3z z`Tk1x*O9L-v}625^r!%jzngFJ*Kyl^+^Zk&<8=r)ge8vL z!vmC+j{)+ML_*02fTWfN01AP@A4%9x5g6dtKk}RW{OwWZ zw?}}a)zv^0K++89h5G5;42eMn-~h1SV+CWBhYwN{O#nEMAt*pr79yvh0F?*GLLqPk zd1)9N;Pg{b3mt$XYhnS%LyBJ$2?Pd>5BwvFU#@rpe{O{#}%RbqE-gCp{D(PY?aQ0J1VN z(lP)~z~2~LT7i7)ju#-{HwKke_%8;9!pQ0QuN<75l>cBbd2)UKgTZC~k3G1I{2#hF z4ARFBh50$Rvh)c?ktrYFY6~saj4I)1;i{!Kl9H33oB&x$D&>@^*XC~_qNR_ zYHj6>x?{2#=1e!lUN3AGUOVX6k-2g46I|5~T(aT*bY8DtfNsI#D}*a;gu?BX_LeHw z+I98%3gLzZA%A=PU`sV0fEAP7M%{Ak=$7^;Pb>_8eLF8RTnrGR>(}xC(j77E(#=5@zg~u zL)l>DvgWlwuSS-#ByiqI{F}r?I*XQKVna4%I5<11b~W522q-CiqiD@y;X+g3YE}^h0fA zkvu6BUAVle1W*h(t6xs)Qqls}a4c$Tv-L-{c9&zk!Rs_`t-umspVo&;KNU1Xa+=?{ zaB4V?f83t-n5*-vNezNRHA&$geYcyk#h_$d$7Io1aG@dl#g9iGBj@YS8}z%=9;9B$ z!~G*Oi#JZJS?IkG3PD3vNQje8S{viy3CHZGN` zO0r~%HpkCeKljiS18OW9y){CF8&R`5qdj$rw@SYSwE(nz%@Wd_KJ%$AtjY2gr<)Z#$gXThGnf-2w7OGTRoQ7Ug|qut>s+A6YS!xh*= ziW;@pW@~%&K&qiSt4#Q%CIbhhIHXxnb$Ub+QZ!Tfuio?-{5jhywTdCwrds>zYdlVD z(NceUROAglH-&|S3kb#Yk<+a$*d0C?whucZwd5|pxQENwrH5Y$MEdneP8wPXsCARY z^Wl)oFl)hOeuIRnY()g=PWkej4$Cbuhd_M?9{y^5tJX+wK>= zUCZKsdw$aVC1sBsv;~*%N$RTi435+~n+oIKjj~LyNE>Ka z{j+j%-u?jgBbbMV3O&6Y1t=anP^pgP?=+xJ&Q`{Cq40(L(s8pwcCVgxv&_51vaOHD zw(eBVG#%m|{QX0CmPCFgY)gaEX!WqT&PAKtrB{&|Bti4r&DNN}E%7Zd>ivI+BEfb+ zh_6$(p}DKO*4sBqxZB#*8>n+rxbq5H&)3gN-GH{rlfE4b zH=z9;t(s6bc9)qLfJ$pmn)n-aRe`QbwsH0;Qy=4ad#yL_WSp54#R14y*9dGEfjjrv zM9sY-1;RMzq>yS!Onv9e0VP)UKyrt_&VvLMx3_clzLK&|hp9(qv-;FwMKd({Q$%U# z)_s-fecn`wR!?D%lh+j$HUm6Xw&s#ypP z0bwM5+_98OB{F40N8>m)I^8S%sgQ4+K#Y!~t7<9LlCu*X9ZgSU`A9z<6fPGin`J#-5ItF*|A^0LMjcn2(Tw6IwZ{tlShe+ z#H0W#W9^OIFfnZmTL4}%4)iTP4KA8BrD`p#_4$>?fj6o;NpD_3!8r)9sK z-wTJ_qc4U_MU8z$jBf_x#lNw0Ubs~|n=UB^+0NsCu>KD0%n;%fq1NI1!mRlY&4kBy>_QhpG$X0S<~lGoQ$&H?xVfQyR!44n5L(#-D1sCf*;87O8XwH4|75z zV@RFJB4us57DHrR-73n|`OSN4)-w|QTGD3yY-_#s#dMyI)R+uMB9ph!qF!G=uWZ+sIW?Exl;a@1t}M1Dnfds>J31@- zi`t{oC(EuJp(`KRu-Vcmeyg4S666uGxTQ4|X!&C0!!n}TxO#V?DlaTkqw~!meeP&q zW&*_pA6eQUje8uM-@hTriEdHfWhy&RwPCD+xJ72Z;^BD1M7Yoi<0JFgk#@?Q%`bR} z-{4E%IBmd_n9}`-LLqUY^MhP7(rU4>9sZn4^&U@>9j`SLmL{#NXnkAy96Ued zgs9Q*tIXwFgGLrmzbqF~8+;ZQN!kI7d#vjOTf{s$WD4HLn8nN-`?rYnS&}f$79(or zEm7M$gZ1miQ)&BapS)kb9sNX6JPJ6@DNmwVjbjI*p?{lvkq6_({>uTGwe%lWE#jk6 zFt+utLo4q1Fu8KF3uRWTTz;=>UcRW~LmvFxW_ybHTB6&4~#! zcQUd(dB*w|AEi--zOR1-l_K(xmZ|a4?h$f8Z2^@HSCfeM`Y2@mZk1NTJp{{r%_Ab9 z)F+q7Uk->MZEN$wcL?5lcL4UEOli^b6&z8J}*^Mm6Nbm#5o1;Jphk3~Lb zAUPb}90w|XU~h#-rf_D1mYmK|nmKsf;ece9GbPQvTVxv36&%UbUC&Nu1MIr1(LZ6? zppLg&N`T@V(6+}ZSlW0X)Q%xV4LiqN#a&dDh#=t_8`5(!7YisuI8v6K!Zw!GtYGs* zO>(-qwtD?^?)U|d*xvUC1cmQHg9^*n?`?xZJT3Z;e0~1P9639vM0gKWcL!P0TATc; zDK8@Bxob%>r%&Z>JJa=%{fa=#9fa&GAH1*JSWCv8MPzTv%b;;hBqL!+DK&+CMh`_XF8#VNsnSv+b03 znS2kUpdCfS_&X&_K`mc@T2MCV(YldE1nxBoB$Y@$Nw)+Tg3s#qgI{5iqcGQpgd#h= zTXCUQ9PY_!&rE8Sh>@;$=}-hd-(%|l2d$&@qjjH@l6MCNd?Mt_i6=rQs0&ptQkJoY(%|7z#8Pcs<;T zOxpT(u+|!$t;~&r@O>Zqa+I(cLe_*QjGMM zHjmmHaOqOrp)`RjD?QQ7nFTB)VyHMLnD zQaMDvswJJn&lF$eReM-~Y0I22_2imisqZD}3uQ)j{GJFIssqb<`P!^D zMo+_N8pAymGUGH@4c}t%J zmD@Yw*5rYAJ+1(CPw9ejaNzKYHu%1B%gy_QoTqyRZQ;K^j9kAVf0Fd^52h}sIP|{B zYc1V{V%GF*kAT;uBM33G)F46@Keg1%p!v5;d^(fCAK8=}V>n*0!Z-6{a@<4D;#LW* z3%e}t7UAfoTW8@B=F7dK&V#Zap;S&Dj=p|APWJBqr4(&O&|Nu*oOGQPqw*aVSvhH5 z$bZM{!Atf30Fje=2u-PG5_lvhB`fNa^nG5NV`Dx;qC9 z;lA(vc<=dg&htB;&hwl~z73uPbwDMKP2BxYAJ+;2?aG}80X~6^;P~57SzlRix&C)U zwwT@cv<5VFnt`-VLgR;n_fJDTufM5pn8v#b-%gAK19#`&Mu6)P*V~I1ij9L;ZHf|i z>m-{1^W81;`})o+Q$_JRQk#w9VQt3XVRG1s?y z(P93*f6D|zwishPc~UkX zM7vUCS>(uS%Ssx_nz9uxOkWc-My7IwcKdpb#>aLeYs5$B$|Qb1@@RqU65vZ)Shl(p zzp(7sqm~>-WD?t^a%Bh(aRXT2-+sw4Bdd5HVR`Sw-F(5*j_s>E4;By>Gqb0{qk-MC zWuqe~BIt0Xs|Igwy+V(A1SjMM^)X((g}n2w74{Iq4J zI78V(B=ocaDE7FA_^dP!Wtr=)THPhM6A;rwi6@E*&_29qCm6+jo!59@>Pmc5+ju~a zlx}QA>DoBjD%aTUiECkxOeJ!^so%eF%PNQz5d5+G)vopj;D?Ea)tDPmnS>U7$e9>{ zGKS5tbiXSV=wDUlcoLH)6UZ7F8wN>zhi2Yhr++xMt$WP2jr(4D|L7ibK1rEgPT-`1 zFT|0T-OeUi5|`H2pJhqL->7tpdHh+Ebu-+*#J~NApt` z-YQwOls&dnSQ6$ptjokOPpghrdV`C`Q zBVDvYSQ1>={avelz;ubsLe2iQs*@U;{tEnx5%k+Rk^Zku0{39x@3Rl=pVRwh^m>IWCIZ-zD5-jlD~opSIj^pj z!?2hq!AEH?nSvkVXUD~Y$1A5749xQJU@>^}O|r4KIIoZ*4-EFS{qAQ7)@8_*@K-BK z%Enf0M7sNNxYkg=-lr~|LSZ)XeoI#bi$6(AXgb3nd0TAN5D^3)V0`p+i?fNtY&tyf zt>;wN{l2E<~vR~iZM+kTDHqsNG@#_Zl zqU+NyxUFbKD1?Dtta@BtO7Nx?b~@s`%Pz0k&Q3d())@?yA%ARx2{bPh2&;I>=rA}P z642qe8I-+gd^-6tqpdaeUVTeS0gl7287dVmFo5F!H5CU?O{vdz%Xghf^*VmfV|Ao4 zZXfy?_vb0Im0!j}d2F6XIu+fMq+hC=Fv_J;sXW8?br^ZYjhpAcn^d%(=$o6!JmGp) z;gwS{v7@A zJ<3d2Hu=XOaGu0poG5dhZD)@n{2tQGBsAF&tn{{bFJs{C10)H@06J=enw)=`uRwi+ z<~0Snzjdt@YR6M|km`uhg_om{f0ZDvT?rRgO1fgs?#zy)PFP6hUwxLexqQ8MQL;7_ z$OvEMX2N18vnIcC zD!ndRi}#}i2hW29HN>k2f^FetUIi#e{cU85a&+6Wny!lJ9nK&$=RTDuz z<1PwhJ?|O~tQReRn^T5E5m%^#QKp9R6|V8$q<&D7v$D@wO+=;Z0J6TU2|{+&i40=zE0$;Vw7c{AmhHP zd%tTFTUc!kgHWAI6X;jV)yiefqfPSYl0{6_0*Nj@5QJ5JGh+Ru4Vaz~jY=)lsp{+? zCiCbj4C)?uX0n)IO%zvhElw)AG8fAUQY_v_tVtj_th&9B-KCC`%dw6aM)ZA{^3f|# z-#7|q58haWE^{phwT7n)=JxNtUz!pEQp{#%D+MM!^F)b6N*CIiH~|43rQG-#3xK#-UJp8K<7JK_sMs5 zF7dA-hzOSpk8H}dA3zmTI^xUKKWFa_;{)Uwk2qLp7-iXqC@3wG!OVmp4gb_{9LLM= zRb>3BI$88$KupH7?ea)mD#BmW^>iRs3!Xk{iN@DHE z#;6VzDkcpnDrA(hDQj#(o?$P@lhWzZ6U9^x(37{#K z;iCstADQ1Sq;eoveG_leW9YDq$!DF2lT$FN3{UCJC55LviGklG>R@H$ zEM!=i82|RK4#(C=%FWtsS`W%fg;?@J)V+bR-&Ymjew|`B+pkuw*IU!QCmX7R4t$nR zSJ$(@+{-DWN*mT@IdU!!oV9MN0?akMJ#x8P4{q%*${TF;@15^e2Xq}>RoCqp*|8_B zyHXgJ$vIqZz;s_baqjQ&G^KwS{@FdQXyB_9SE8)$;THW=${hY{mi*aPOoOQQAA*9u zcqpausuPI3fu~b5)0Hbkw7&Y>FW?CHk#IycEfiOLTM!dC;19~f^_7s>0{y)jyLA&? z*9=E2xD*E8j-~?q()cOJnh|PcwdLhXhTE}y$KINlhm3kl$*c0eLr*K-Em&E9vA&`{ zIhe5S`QlDerwr}&ucO{QJ07yay{Sn!Z79o4L_c2lXYJ2&IoW1MN#A@YoyafW5=Y}S ze8dsb$itUP^p(hCa&%M%5D%K)MY#tDpNQ6V$&)G65X&2T^ZDFYs%cyhwAP#3k87Ci zJHt2FK-OEHc%Qv*1OA0k`XDJI-aPE^BW6mO3>AGDZYEN_Ga2SrHNJe&=OcH1m44;W zYtUh4j-Vg$YLj278{wC`z4&7C<;d$z)ZoI4$#zL?mnB}NGN4TkoMLt$73EpE6c@ir^F;`L>!@FyUXm^Wm2w`;=!}I>5|n(fXa87RW@n}x8+ZqbeSQ*z zt&-suK31x)&^RR5|CNVXVT4M}kEh*E; zfG}RE%8)^9ymm6VRjk_6l(zU5bGiFO3bNszX%!%+ecd@yq%R^Zr;*iCAN&Q9PmmV& zWuI+cZ8F3;dj0YPj|6iSvhbugvKpP;LccdN=s?-5I?>N_q<*MY!pNE_ z4(WWcI0W42W=2c}Ty{EUmOlL{IcM$J+3Oxv>Mxy)rkd6P_~U!h#*V6Ct*n>Kky}5x_7X=~cj|rl zWtONBC9?JKYwcpiAK0*c`zc*rzhtc_#8`doaE0-k&1rm|=9V~_K&%LAE@b|0EzSAnQAW9c8iyC_SkG0;;MA3Bt zaZ`AVK<@ZSi7HjhLM9s=A@vyNkN8Vi$<%gopuZ;W7;x#lWD`%!6r<#HYA0=ZG37V= zzO2|_^c~e zakDd@jVgm?^tUxqy_QVLo1?O6Xy}_F**8gntIKaG15;OpqJe2Cwemx~$VJmfr*bAO z$2$B*Nl^HUvv);>OpT>zly+*JVq8|6vD*+)SS$UTGTs|&)$$jhR1@A+hfzUqewvN~ zPg_I5^oYcoXGdiR#f(Qg1`e82rE}SX+Bf^esg2A$)$s8Sla9l<5k%s;5Y10x3rJqMAm8=V zkKJ@7Jla3}&yOEcKg7B~dhc(I5bMvi`*`X%Q;exSC{jW0_cDC`Fim)pxs#C!G@F$h zI*n0p9%HZ7^z_IOudSpS-F6ziE6&g+H9KC_p>jXtnwA4sc@(n?KGmd!m+7_{_tVUG zEk~12l_}3S`JIB4-&KXjy=tU2FiJUOOOA1pO=p_tt;|?%&5kYPS;M*z_)Ffp-#{h% z%^1Pf&Q>0t?$+i`|4l9y_Fy5H0PMdGgTaKvgv6>i=%fkg;X-0Cf&U8T3d@NJs#^2zd<_5{HA?*c3Egf&T|GD*wa) diff --git a/thesis/images/singular_set.svg b/thesis/images/singular_set.svg index 674a85f..feaa4f0 100644 --- a/thesis/images/singular_set.svg +++ b/thesis/images/singular_set.svg @@ -25,8 +25,8 @@ inkscape:pageopacity="0.0" inkscape:pageshadow="2" inkscape:zoom="3.0603482" - inkscape:cx="106.44214" - inkscape:cy="13.366917" + inkscape:cx="132.58296" + inkscape:cy="26.437325" inkscape:document-units="px" inkscape:current-layer="layer2" showgrid="false" @@ -38,7 +38,7 @@ inkscape:window-height="976" inkscape:window-x="1280" inkscape:window-y="0" - inkscape:window-maximized="1" /> + inkscape:window-maximized="0" /> @@ -47,7 +47,7 @@ image/svg+xml - + @@ -318,5 +318,29 @@ style="fill:#000000;fill-opacity:1;stroke:none" inkscape:connector-curvature="0" /> + + + + diff --git a/thesis/preamble.tex b/thesis/preamble.tex index 5a24261..3a9d880 100644 --- a/thesis/preamble.tex +++ b/thesis/preamble.tex @@ -1,4 +1,6 @@ \usepackage{graphicx} +\usepackage{caption} +\usepackage{subcaption} \usepackage{float} \usepackage{amssymb} \usepackage{color} diff --git a/thesis/symbols.tex b/thesis/symbols.tex index 8f5ca0d..ccd0558 100644 --- a/thesis/symbols.tex +++ b/thesis/symbols.tex @@ -33,9 +33,13 @@ % $$ \{ \} $$ % For singular chain complex, face maps -$$ C_n(X) = \Z[\Hom{\cat{Top}}{\Delta^n}{X}] $$ -$$ \Delta^2 \to X \sigma \circ \delta^1$$ -$$ \Delta^1 \mono $$ -$$ \delta^0 - \delta^1 + \delta^2 $$ +% $$ C_n(X) = \Z[\Hom{\cat{Top}}{\Delta^n}{X}] $$ +% $$ \Delta^2 \to X \sigma \circ \delta^1$$ +% $$ \Delta^1 \mono $$ +% $$ \delta^0 - \delta^1 + \delta^2 $$ + +% For singular homology +$$ X' \, X \subseteq \R^2 $$ +$$ \sigma_1 \sigma_2 \sigma_3 \tau $$ \end{document}