Browse Source

CC: Decided to make the part about singular homology less precise. Added picture

master
Joshua Moerman 11 years ago
parent
commit
10f3baed2a
  1. 52
      thesis/2_ChainComplexes.tex
  2. BIN
      thesis/images/singular_set.pdf
  3. 322
      thesis/images/singular_set.svg
  4. 6
      thesis/symbols.tex

52
thesis/2_ChainComplexes.tex

@ -85,12 +85,12 @@ Note that we will often drop the indices of the boundary morphisms, since it is
\end{proof}
\subsection{A note on abelian categories}
The category $\Ch{\Ab}$ in fact is an \emph{abelian category}. We will only need a very specific property of this fact later on, and hence we will only prove this single fact. For the precise definition of an abelian category we refer to the book of Rotman about homological algebra \cite[Chapter~5.5]{rotman}. The notion of an abelian category is interesting if one wants to consider chain complexes over other objects than abelian groups, because $\Ch{\cat{C}}$ will be an abelian category whenever $\cat{C}$ is abelian.\footnote{However, this generality might not be so interesting from a categorical standpoint, as there is a fully faithful (exact) functor $F: \cat{C} \to \Ab$ for any abelian category $\cat{C}$, called the \emph{Mitchell embedding} \cite{rotman}. This gives a way to proof categorical statements in $\cat{C}$ by proving the statement for $\Ab$.} The property we want to use later on is the following.
The category $\Ch{\Ab}$ in fact is an \emph{abelian category}. We will only need a very specific property of this fact later on, and hence we will only prove this single fact. For the precise definition of an abelian category we refer to the book of Rotman about homological algebra \cite[Chapter~5.5]{rotman}. The notion of an abelian category is interesting if one wants to consider chain complexes over other objects than abelian groups, because $\Ch{\cat{C}}$ will be an abelian category whenever $\cat{C}$ is abelian.\footnote{However, this generality might not be so interesting from a categorical standpoint, as there is a fully faithful (exact) functor $F: \cat{C} \to \Ab$ for any (small) abelian category $\cat{C}$, called the \emph{Mitchell embedding} \cite{rotman}. This gives a way to proof categorical statements in $\cat{C}$ by proving the statement in $\Ab$.} The property we want to use later on is the following.
\begin{definition}
A category $\cat{C}$ is \emph{preadditive} if the set of maps between two objects is an abelian group, such that composition is bilinear. In other words: the $\mathbf{Hom}$-functor has as its codomain $\Ab$:
$$ \Hom{\cat{C}}{-}{-} : \cat{C}^{op} \times \cat{C} \to \Ab. $$
\end{definition}
To see why functoriality is the same as bilinear composition, recall that the $\mathbf{Hom}$-functor in the first variable uses precomposition on maps, and postcomposition in the second variable. This should be by functoriality a group homomorphism, written out this means: $h \circ (g + f) = h \circ g + h \circ f$ for postcomposition, in other words postcomposition is linear. Similar for precomposition. Together this gives bilinearity of $- \circ -$.
To see why functoriality is the same as bilinear composition, recall that the $\mathbf{Hom}$-functor in the first variable uses precomposition on maps, and postcomposition in the second variable. By functoriality this should be a group homomorphism, written out this means: $h \circ (g + f) = h \circ g + h \circ f$ for postcomposition, in other words postcomposition is linear. Similar for precomposition. Together this gives bilinearity of $- \circ -$.
Clearly the category $\Ab$ is preadditive, since we can add group homomorphisms pointwise. Furthermore, postcomposition is linear $h \circ (g + f) (x) = h(g(x)+f(x)) = h(g(x)) + h(f(x)) = (h \circ g + h \circ f) (x)$, and similarly precomposition is linear. Using this we can proof the following.
\begin{lemma}
@ -111,7 +111,8 @@ Of course given two preadditive categories $\cat{C}$ and $\cat{D}$, not every fu
\todo{CC: What to do with the example...}
\subsection{The singular chain complex}
In order to see why we are interested in the construction of homology groups, we will look at an example from algebraic topology. We will see that homology gives a nice invariant for spaces. So we will form a chain complex from a topological space $X$. In order to do so, we first need some more notions.
In order to see why we are interested in the construction of homology groups, we will look at an example from algebraic topology. We will see that homology gives a nice invariant for spaces. So we will form a chain complex from a topological space $X$. In this section we will not be very precise, as it will only act as an motivation. However the intuition might be very useful later on, and so pictures are provided to give meaning to this construction.
\begin{definition}
The topological space $\Delta^n$ is called the \emph{topological $n$-simplex} and is defined as:
$$ \Delta^n = \{(x_0, x_1, \ldots, x_n) \in \R^{n+1} \I x_i \geq 0 \text{ and } x_0 + \ldots + x_n = 1 \}.$$
@ -124,27 +125,14 @@ In particular $\Delta^0$ is simply a point, $\Delta^1$ a line and $\Delta^2$ a t
$$ \delta^i (x_0, \ldots, x_n) = (x_0, \ldots, x_{i}, 0, x_{i+1}, \ldots, x_n) \text{ for all } x \in \Delta^n.$$
\end{definition}
For any 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 any continuous map $\sigma : \Delta^{n+1} \to X$ we can precompose with a face map to get $\sigma \circ \delta^i : \Delta^n \to X$, as shown in figure~\ref{fig:diagram_d}. This will be used for defining the boundary operator. We can make pictures of this, and when concerning continuous maps $\sigma : \Delta^{n+1} \to X$ we will draw the images in the space $X$, instead of functions.
For any 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 any continuous map $\sigma : \Delta^{n+1} \to X$ we can precompose with a face map to get $\sigma \circ \delta^i : \Delta^n \to X$, as shown in figure~\ref{fig:diagram_d} for $n=2$. 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.
\begin{figure}
\begin{tikzpicture}
\matrix (m) [matrix of math nodes]{
\Delta^{n+1} & X \\
\Delta^n & \\
};
\path[->]
(m-1-1) edge node[auto] {$ \sigma $} (m-1-2)
(m-2-1) edge node[auto] {$ \delta^i $} (m-1-1)
(m-2-1) edge node[auto] {$ $} (m-1-2);
\end{tikzpicture}
\caption{The $(n+1)$-simplex $\sigma$ can be made into a $n$-simplex $\sigma \circ \delta^i$}
\includegraphics[scale=1.2]{singular_set}
\caption{The $2$-simplex $\sigma$ can be made into a $1$-simplex $\sigma \circ \delta^1$}
\label{fig:diagram_d}
\end{figure}
\todo{Ch: Make some pictures here}
We now have enough tools to define the singular chain complex of a space $X$.
\begin{definition}
For a topological space $X$ we define the \emph{$n$-th singular chain group} $C_n(X)$ as follows.
$$ C_n(X) = \Z[\Hom{\cat{Top}}{\Delta^n}{X}] $$
@ -152,12 +140,32 @@ We now have enough tools to define the singular chain complex of a space $X$.
$$ \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 pictures this in an intuitive way, as in figure~\ref{fig:singular_chaincomplex}. And 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.
This might seem a bit complicated, but we can picture this in an intuitive way, as in figure~\ref{fig:singular_chaincomplex}. And 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.
\begin{figure}[h!]
\includegraphics[scale=1.2]{singular_chaincomplex}
\caption{The boundary of a 2-simplex, and a boundary of a 1-simple}
\label{fig:singular_chaincomplex}
\end{figure}
\todo{Ch: Proposition: $C(X) \in \Ch{\cat{Ab}}$?}
\todo{Ch: Example homology of some space}
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^{sing}_n : \Top \to \Ab, $$
which assigns to a space $X$ its \emph{singular $n$-th homology group} $H^{sing}_n(X)$. 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 gets these results by using theorem from algebraic topology. To calculate these examples one generally needs theorems from algebraic topology or homological algebra, which are beyond the scope of this thesis. So we simply give these results.
\begin{example}
\begin{itemize}
\item Let $\ast$ be the one-point space, its homology is given by:
$$ H^{sing}_n(\ast) \iso
\begin{cases}
\Z \text{ if } n = 0 \\
0 \text { otherwise}
\end{cases}. $$
\item Let $S^k$ denote the $k$-sphere (for example $S^1$ is the circle). Its homology, for $n \in \Np$ is:
$$ H^{sing}_n(S^k) \iso
\begin{cases}
\Z \text{ if } n = 0 \text { or } n = k \\
0 \text { otherwise}
\end{cases}. $$
For $S^0$ (which consists of only two points) the first homology group is isomorphic to $\Z \oplus \Z$, and all other homology groups are trivial.
\item Note that $\R^n - \{0\}$ is homotopic equivalent to $S^n$, so their homology groups are the same. As a consequence $\R^n - \{0\}$ has the same homology groups as $\R^m - \{0\}$, only if $n=m$. Now if $\R^n$ is homeomorphic to $\R^m$, then also $\R^n - \{0\} \iso \R^m - \{0\}$, so this only happens if $n=m$.
\end{itemize}
\end{example}

BIN
thesis/images/singular_set.pdf

Binary file not shown.

322
thesis/images/singular_set.svg

@ -0,0 +1,322 @@
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!-- Created with Inkscape (http://www.inkscape.org/) -->
<svg
xmlns:dc="http://purl.org/dc/elements/1.1/"
xmlns:cc="http://creativecommons.org/ns#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:svg="http://www.w3.org/2000/svg"
xmlns="http://www.w3.org/2000/svg"
xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
width="249.17061"
height="102.78143"
id="svg4287"
version="1.1"
inkscape:version="0.48.2 r9819"
sodipodi:docname="singular_set.svg">
<defs
id="defs4289" />
<sodipodi:namedview
id="base"
pagecolor="#ffffff"
bordercolor="#666666"
borderopacity="1.0"
inkscape:pageopacity="0.0"
inkscape:pageshadow="2"
inkscape:zoom="3.0603482"
inkscape:cx="106.44214"
inkscape:cy="13.366917"
inkscape:document-units="px"
inkscape:current-layer="layer2"
showgrid="false"
fit-margin-left="1"
fit-margin-top="1"
fit-margin-right="1"
fit-margin-bottom="1"
inkscape:window-width="1280"
inkscape:window-height="976"
inkscape:window-x="1280"
inkscape:window-y="0"
inkscape:window-maximized="1" />
<metadata
id="metadata4292">
<rdf:RDF>
<cc:Work
rdf:about="">
<dc:format>image/svg+xml</dc:format>
<dc:type
rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
<dc:title></dc:title>
</cc:Work>
</rdf:RDF>
</metadata>
<g
inkscape:groupmode="layer"
id="layer2"
inkscape:label="Layer"
transform="translate(-256.10568,-68.357553)">
<path
sodipodi:nodetypes="cc"
inkscape:connector-curvature="0"
id="path3983"
d="m 428.34319,134.16601 c 23.05178,-15.0516 50.11626,19.44788 64.045,-6.86196"
style="fill:none;stroke:#aa0000;stroke-width:3;stroke-linecap:square;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" />
<path
style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
d="m 290.97998,163.41667 c 14.0615,0.32778 31.15595,0.44915 42.80559,0.65352"
id="path3130"
inkscape:connector-curvature="0" />
<path
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
d="m 405.02302,83.01092 c -6.79388,12.338136 20.26953,19.98995 23.31909,35.23773 3.25215,16.26075 -35.52149,24.40074 -24.35549,43.01076 3.32501,5.54169 91.40844,-0.61319 98.45836,-10.36404 4.39665,-6.08108 -3.25571,-28.37355 -6.21843,-36.27414 -6.01598,-16.04262 -0.0948,-20.940415 -15.28695,-30.055704 -9.44232,-5.665397 -63.70791,-23.726358 -75.91658,-1.554606 z"
id="path3134"
inkscape:connector-curvature="0"
sodipodi:nodetypes="asssssa" />
<path
style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
d="m 457.09809,86.459022 c -0.23616,22.678118 -25.59822,28.766878 -28.7549,47.706988 23.05178,-15.0516 50.11626,19.44788 64.045,-6.86196 -17.02847,-4.05409 -26.88266,-31.012301 -35.2901,-40.845028 z"
id="path3136"
inkscape:connector-curvature="0"
sodipodi:nodetypes="cccc" />
<path
inkscape:connector-curvature="0"
id="path3981"
d="m 335.25597,119.78856 c -8.71891,0 -31.60252,-1.93583 -45.74643,0"
style="fill:none;stroke:#aa0000;stroke-width:3;stroke-linecap:square;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
sodipodi:nodetypes="cc" />
<path
style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
d="m 335.25597,119.78856 c -8.71891,0 -31.60252,-1.93583 -45.74643,0 6.90215,-12.41059 17.51561,-28.088172 21.56617,-34.636579 14.07652,8.146455 17.18362,24.303079 24.18026,34.636579 z"
id="path3128"
inkscape:connector-curvature="0" />
<path
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
d="m 314.01656,92.013945 c -2.08639,2.476192 -6.72657,4.307458 -8.16901,4.901403"
id="path3906"
inkscape:connector-curvature="0" />
<path
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
d="m 317.28416,95.608307 c -4.96397,3.785473 -11.97815,6.231293 -16.33801,8.169003"
id="path3908"
inkscape:connector-curvature="0" />
<path
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
d="m 320.55176,100.50971 c -7.08738,3.32637 -18.95418,8.22777 -22.54645,10.12957"
id="path3910"
inkscape:connector-curvature="0" />
<path
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
d="m 322.83908,105.08435 c -8.26972,4.47199 -21.27584,7.82189 -27.1211,11.10985"
id="path3912"
inkscape:connector-curvature="0" />
<path
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
d="m 325.77992,110.96604 c -5.7153,0.40532 -12.6091,3.03921 -16.33801,4.57464"
id="path3914"
inkscape:connector-curvature="0" />
<path
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
d="m 328.06724,114.5604 c -2.1349,0.30868 -3.7134,1.31061 -5.55492,1.96056"
id="path3916"
inkscape:connector-curvature="0" />
<path
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
d="m 460.69245,95.608307 c -1.73805,0.733347 -3.48235,2.73613 -4.57464,3.594363"
id="path3918"
inkscape:connector-curvature="0" />
<path
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
d="m 461.99949,101.48999 c -4.13917,3.68472 -9.02443,6.0361 -13.39717,8.49577"
id="path3920"
inkscape:connector-curvature="0" />
<path
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
d="m 451.54316,114.88716 c -5.2802,2.41288 -15.47525,10.81175 -16.66477,11.76337"
id="path3922"
inkscape:connector-curvature="0" />
<path
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
d="m 455.13752,120.44208 c -3.57766,1.66466 -6.6572,4.28013 -9.47604,6.53521"
id="path3924"
inkscape:connector-curvature="0" />
<path
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
d="m 468.53469,108.0252 c -1.83551,0.9409 -3.70188,2.22112 -4.9014,2.94084"
id="path3926"
inkscape:connector-curvature="0" />
<path
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
d="m 471.47553,114.5604 c -6.79945,2.50579 -13.26509,8.98071 -18.29857,13.07041"
id="path3928"
inkscape:connector-curvature="0" />
<path
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
d="m 474.41638,119.78856 c -4.71171,2.28501 -12.11361,8.24186 -15.03097,10.12957"
id="path3930"
inkscape:connector-curvature="0" />
<path
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
d="m 477.68398,124.68997 c -2.9916,2.63807 -6.45408,4.69514 -9.80281,6.86196"
id="path3932"
inkscape:connector-curvature="0" />
<path
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
d="m 482.91214,127.95757 c -2.84682,2.31993 -5.72758,4.64742 -8.49576,6.86196"
id="path3934"
inkscape:connector-curvature="0" />
<path
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
d="m 488.1403,128.28433 c -1.29898,1.34971 -2.92206,2.24774 -4.24788,3.2676"
id="path3936"
inkscape:connector-curvature="0" />
<g
transform="matrix(1.25,0,0,1.25,-70.045424,-67.872933)"
id="g4195">
<g
transform="translate(261.17401,141.791)"
style="fill:#000000;fill-opacity:1"
id="use3768">
<path
inkscape:connector-curvature="0"
style="stroke:none"
d="M 5.15625,-8.3125 C 5.0625,-8.484375 5.046875,-8.53125 4.875,-8.53125 c -0.171875,0 -0.203125,0.046875 -0.28125,0.21875 l -4,8.078125 C 0.578125,-0.203125 0.546875,-0.125 0.546875,-0.078125 0.546875,-0.015625 0.5625,0 0.796875,0 L 8.9375,0 c 0.25,0 0.25,-0.015625 0.25,-0.078125 0,-0.046875 -0.015625,-0.125 -0.046875,-0.15625 L 5.15625,-8.3125 z M 4.5,-7.4375 7.765625,-0.828125 1.25,-0.828125 4.5,-7.4375 z m 0,0"
id="path4061" />
</g>
<g
transform="translate(270.92899,136.855)"
style="fill:#000000;fill-opacity:1"
id="use3772">
<path
inkscape:connector-curvature="0"
style="stroke:none"
d="m 2.25,-1.625 c 0.125,-0.125 0.453125,-0.390625 0.59375,-0.5 0.484375,-0.453125 0.953125,-0.890625 0.953125,-1.609375 0,-0.953125 -0.796875,-1.5625 -1.78125,-1.5625 -0.96875,0 -1.59375,0.71875 -1.59375,1.4375 0,0.390625 0.3125,0.4375 0.421875,0.4375 0.171875,0 0.421875,-0.109375 0.421875,-0.421875 0,-0.40625 -0.40625,-0.40625 -0.5,-0.40625 C 1,-4.84375 1.53125,-5.03125 1.921875,-5.03125 c 0.734375,0 1.125,0.625 1.125,1.296875 0,0.828125 -0.578125,1.4375 -1.53125,2.390625 l -1,1.046875 C 0.421875,-0.21875 0.421875,-0.203125 0.421875,0 l 3.140625,0 0.234375,-1.421875 -0.25,0 C 3.53125,-1.265625 3.46875,-0.875 3.375,-0.71875 c -0.046875,0.0625 -0.65625,0.0625 -0.78125,0.0625 l -1.421875,0 L 2.25,-1.625 z m 0,0"
id="path4065" />
</g>
</g>
<g
transform="matrix(1.25,0,0,1.25,-96.09019,-27.584773)"
id="g4201">
<g
transform="translate(282.12701,158.179)"
style="fill:#000000;fill-opacity:1"
id="use3800">
<path
inkscape:connector-curvature="0"
style="stroke:none"
d="M 5.15625,-8.3125 C 5.0625,-8.484375 5.046875,-8.53125 4.875,-8.53125 c -0.171875,0 -0.203125,0.046875 -0.28125,0.21875 l -4,8.078125 C 0.578125,-0.203125 0.546875,-0.125 0.546875,-0.078125 0.546875,-0.015625 0.5625,0 0.796875,0 L 8.9375,0 c 0.25,0 0.25,-0.015625 0.25,-0.078125 0,-0.046875 -0.015625,-0.125 -0.046875,-0.15625 L 5.15625,-8.3125 z M 4.5,-7.4375 7.765625,-0.828125 1.25,-0.828125 4.5,-7.4375 z m 0,0"
id="path4093" />
</g>
<g
transform="translate(291.88199,153.243)"
style="fill:#000000;fill-opacity:1"
id="use3804">
<path
inkscape:connector-curvature="0"
style="stroke:none"
d="m 2.5,-5.078125 c 0,-0.21875 -0.015625,-0.21875 -0.234375,-0.21875 -0.328125,0.3125 -0.75,0.5 -1.5,0.5 l 0,0.265625 c 0.21875,0 0.640625,0 1.109375,-0.203125 l 0,4.078125 c 0,0.296875 -0.03125,0.390625 -0.78125,0.390625 l -0.28125,0 0,0.265625 c 0.328125,-0.03125 1.015625,-0.03125 1.375,-0.03125 0.359375,0 1.046875,0 1.375,0.03125 l 0,-0.265625 -0.28125,0 c -0.75,0 -0.78125,-0.09375 -0.78125,-0.390625 l 0,-4.421875 z m 0,0"
id="path4097" />
</g>
</g>
<g
transform="matrix(0,-1.25,1.25,0,117.98832,522.05852)"
id="g4207">
<g
transform="translate(299.935,158.179)"
style="fill:#000000;fill-opacity:1"
id="use3808">
<path
style="stroke:none"
d="m 311.96875,129.46875 c -0.11719,0 -0.13672,0.0859 -0.15625,0.125 -0.25391,0.64453 -1,2.46484 -3.5,3.03125 -0.19531,0.0391 -0.25,0.0586 -0.25,0.3125 0,0.11719 0.0117,0.28125 0.1875,0.28125 0.0391,0 0.97266,-0.10547 1.96875,-0.75 0.44922,-0.29297 0.96875,-0.73047 1.4375,-1.375 l 0,29.09375 c 0,0.0794 0.0236,0.14601 0.0312,0.21875 -0.0944,0.90335 -0.55461,1.375 -1.09375,1.375 -0.54687,0 -1.06641,-0.46094 -1.125,-1.59375 -0.0195,-0.23438 -0.17187,-0.28125 -0.25,-0.28125 -0.25391,0 -0.28125,0.22656 -0.28125,0.34375 0,0.85938 0.50391,2.09375 1.65625,2.09375 1.02064,0 1.47417,-0.94412 1.59375,-1.71875 0.0768,-0.10332 0.0937,-0.2625 0.0937,-0.4375 l 0,-29.09375 c 0.625,0.82031 1.23047,1.22656 1.40625,1.34375 1.03516,0.66406 1.98047,0.78125 2,0.78125 0.17578,0 0.1875,-0.16406 0.1875,-0.28125 0,-0.25391 -0.0391,-0.28516 -0.3125,-0.34375 -1.46484,-0.33203 -2.69141,-1.20703 -3.375,-2.90625 -0.0586,-0.17578 -0.12109,-0.21875 -0.21875,-0.21875 z"
transform="matrix(0,0.8,-0.8,0,121.71182,-252.56966)"
id="path4101"
inkscape:connector-curvature="0"
sodipodi:nodetypes="sccssccscscssscsccssccs" />
</g>
<g
transform="translate(301.194,158.179)"
style="fill:#000000;fill-opacity:1"
id="use3812" />
</g>
<path
inkscape:connector-curvature="0"
style="fill:#000000;fill-opacity:1;stroke:none"
d="m 431.53096,111.71363 c -0.82032,0.625 -1.23047,1.25 -1.34766,1.42578 -0.66406,1.03516 -0.78125,1.97266 -0.78125,1.99219 0,0.17578 0.17578,0.17578 0.29297,0.17578 0.25391,0 0.27344,-0.0195 0.33203,-0.29297 0.33203,-1.46484 1.21094,-2.71484 2.91016,-3.39844 0.17578,-0.0586 0.21484,-0.0977 0.21484,-0.19531 0,-0.11719 -0.0781,-0.15625 -0.11719,-0.17578 -0.64453,-0.25391 -2.46093,-0.99609 -3.02734,-3.49609 -0.0391,-0.19532 -0.0586,-0.23438 -0.3125,-0.23438 -0.11719,0 -0.29297,0 -0.29297,0.17578 0,0.0391 0.11719,0.97656 0.76172,1.97266 0.29297,0.44922 0.72266,0.97656 1.36719,1.44531 l -88.09375,0 c -0.27344,0 -0.54688,0 -0.54688,0.3125 0,0.29297 0.27344,0.29297 0.54688,0.29297 z"
id="path4069"
sodipodi:nodetypes="ccssccsccssccsssc" />
<path
inkscape:connector-curvature="0"
style="fill:#000000;fill-opacity:1;stroke:none"
d="m 431.89125,139.40063 c -0.64335,0.80601 -0.88887,1.51211 -0.95972,1.71114 -0.39186,1.16575 -0.27713,2.10355 -0.27237,2.12249 0.0429,0.17049 0.2133,0.12766 0.32696,0.0991 0.24627,-0.0618 0.26045,-0.0855 0.25065,-0.36503 -0.0348,-1.50159 0.51308,-2.92805 1.99457,-4.00502 0.15621,-0.0997 0.18456,-0.14709 0.16078,-0.24176 -0.0285,-0.11366 -0.11381,-0.13251 -0.15648,-0.14194 -0.68697,-0.0892 -2.62945,-0.36654 -3.78784,-2.65323 -0.0855,-0.17991 -0.11393,-0.21305 -0.36018,-0.15119 -0.11367,0.0285 -0.28415,0.0713 -0.24132,0.24185 0.009,0.038 0.35156,0.91859 1.21934,1.72766 0.39358,0.36431 0.9388,0.77108 1.67811,1.06869 l -86.40948,21.70485 c -0.2652,0.0666 -0.5304,0.13322 -0.45427,0.43631 0.0714,0.28414 0.33658,0.21752 0.60177,0.15091 z"
id="path4069-6"
sodipodi:nodetypes="ccssccsccssccsssc" />
<g
transform="matrix(0,0.78244138,-0.78244138,0,380.61429,77.428352)"
id="g5734">
<path
style="fill:#000000;fill-opacity:1;stroke:none"
id="path5694"
d="m 33.87825,121.35374 c 0,-0.26563 0,-0.51563 0.28125,-0.51563 0.3125,0 0.3125,0.29688 0.3125,0.57813 l 0,9.60937 c 0,0.29688 0,0.59375 -0.3125,0.59375 -0.28125,0 -0.28125,-0.26562 -0.28125,-0.51562 l 0,-9.75 z m -3.0625,0.0625 c 0,-0.28125 0,-0.57813 0.296875,-0.57813 0.296875,0 0.296875,0.25 0.296875,0.51563 l 0,9.75 c 0,0.25 0,0.51562 -0.296875,0.51562 -0.296875,0 -0.296875,-0.29687 -0.296875,-0.59375 l 0,-9.60937 z m 0,0"
inkscape:connector-curvature="0" />
</g>
<g
transform="matrix(0,0.78244138,-0.78244138,0,380.61429,138.20151)"
id="g5734-8">
<path
style="fill:#000000;fill-opacity:1;stroke:none"
id="path5694-9"
d="m 33.87825,121.35374 c 0,-0.26563 0,-0.51563 0.28125,-0.51563 0.3125,0 0.3125,0.29688 0.3125,0.57813 l 0,9.60937 c 0,0.29688 0,0.59375 -0.3125,0.59375 -0.28125,0 -0.28125,-0.26562 -0.28125,-0.51562 l 0,-9.75 z m -3.0625,0.0625 c 0,-0.28125 0,-0.57813 0.296875,-0.57813 0.296875,0 0.296875,0.25 0.296875,0.51563 l 0,9.75 c 0,0.25 0,0.51562 -0.296875,0.51562 -0.296875,0 -0.296875,-0.29687 -0.296875,-0.59375 l 0,-9.60937 z m 0,0"
inkscape:connector-curvature="0" />
</g>
<path
inkscape:connector-curvature="0"
style="fill:#000000;fill-opacity:1;stroke:none"
d="m 492.15485,73.068493 -1.15234,-2.71484 c -0.039,-0.0976 -0.0781,-0.15625 -0.0781,-0.17579 0,-0.0781 0.23437,-0.33202 0.82031,-0.39062 0.13671,-0.0195 0.27344,-0.0195 0.27344,-0.2539 0,-0.17579 -0.17579,-0.17579 -0.21485,-0.17579 -0.5664,0 -1.15234,0.039 -1.71875,0.039 -0.33203,0 -1.1914,-0.039 -1.52344,-0.039 -0.0781,0 -0.2539,0 -0.2539,0.27344 0,0.15625 0.13671,0.15625 0.3125,0.15625 0.82031,0 0.91796,0.13672 1.03515,0.42968 l 1.60156,3.8086 -2.87108,3.08594 -0.17579,0.15625 c -0.66407,0.72265 -1.30859,0.9375 -2.01171,0.97656 -0.17579,0.0195 -0.29298,0.0195 -0.29298,0.27344 0,0.0195 0,0.15625 0.17579,0.15625 0.41015,0 0.85937,-0.039 1.28906,-0.039 0.48827,0 1.03515,0.039 1.52344,0.039 0.0781,0 0.23437,0 0.23437,-0.27344 0,-0.13672 -0.13672,-0.15625 -0.15625,-0.15625 -0.11712,0 -0.54687,-0.039 -0.54687,-0.41016 0,-0.21484 0.19531,-0.44921 0.37108,-0.625 l 1.38673,-1.46484 1.23046,-1.32812 1.36719,3.24219 c 0.0586,0.15625 0.0781,0.17577 0.0781,0.19531 0,0.11712 -0.25389,0.35156 -0.80077,0.39062 -0.13673,0.0195 -0.27344,0.039 -0.27344,0.27344 0,0.15625 0.15625,0.15625 0.21484,0.15625 0.3711,0 1.32812,-0.039 1.71875,-0.039 0.33204,0 1.17187,0.039 1.50391,0.039 0.0976,0 0.27344,0 0.27344,-0.25391 0,-0.17578 -0.13673,-0.17578 -0.25391,-0.17578 -0.91796,0 -0.9375,-0.039 -1.17188,-0.58593 -0.52733,-1.26954 -1.44531,-3.39844 -1.75781,-4.21875 0.91798,-0.95704 2.36329,-2.57813 2.79298,-2.94923 0.39062,-0.33202 0.91796,-0.66406 1.73827,-0.70312 0.17579,-0.0195 0.29298,-0.0195 0.29298,-0.27344 0,-0.0195 0,-0.15625 -0.17579,-0.15625 -0.41015,0 -0.85938,0.039 -1.28907,0.039 -0.50781,0 -1.01562,-0.039 -1.50389,-0.039 -0.0781,0 -0.25392,0 -0.25392,0.27344 0,0.0976 0.0586,0.13672 0.15625,0.15625 0.11713,0.0195 0.54688,0.039 0.54688,0.42968 0,0.17579 -0.15625,0.35157 -0.2539,0.48829 l -2.20704,2.36328 z m 0,0"
id="path3470" />
<path
inkscape:connector-curvature="0"
style="fill:#aa0000;fill-opacity:1;stroke:none"
d="m 475.59647,144.43518 c 0.17578,0 0.66406,0 0.66406,-0.46875 0,-0.33204 -0.29297,-0.33204 -0.52735,-0.33204 l -3.125,0 c -2.05077,0 -3.55468,2.2461 -3.55468,3.86719 0,1.21093 0.80078,2.16797 2.03125,2.16797 1.6211,0 3.41797,-1.66016 3.41797,-3.75 0,-0.23437 0,-0.89844 -0.41016,-1.48437 l 1.50391,0 z m -4.49219,4.92187 c -0.66406,0 -1.21093,-0.48829 -1.21093,-1.46485 0,-0.41015 0.15625,-1.52344 0.64452,-2.32421 0.56641,-0.95704 1.38673,-1.13281 1.85548,-1.13281 1.13281,0 1.25,0.89843 1.25,1.30858 0,0.64454 -0.27344,1.75782 -0.74219,2.46094 -0.52735,0.80079 -1.26954,1.15235 -1.79688,1.15235 z m 0,0"
id="path3474" />
<path
inkscape:connector-curvature="0"
style="fill:#aa0000;fill-opacity:1;stroke:none"
d="m 483.89947,146.11486 c 0,-1.46485 -1.21094,-2.65625 -2.65625,-2.65625 -1.46484,0 -2.65625,1.21094 -2.65625,2.65625 0,1.42578 1.19141,2.63672 2.65625,2.63672 1.44531,0 2.65625,-1.1914 2.65625,-2.63672 z m -2.65625,2.08984 c -1.17187,0 -2.10937,-0.95702 -2.10937,-2.08984 0,-1.15235 0.9375,-2.10937 2.10937,-2.10937 1.13281,0 2.10938,0.91796 2.10938,2.10937 0,1.17188 -0.97657,2.08984 -2.10938,2.08984 z m 0,0"
id="path3478" />
<g
transform="matrix(1.25,0,0,1.25,83.882263,-25.619195)"
id="g3568"
style="fill:#aa0000;fill-opacity:1">
<path
id="path3482"
d="m 324.323,135.34037 c -1.35938,0.32813 -2.42188,1.75 -2.42188,3.0625 0,1.04688 0.70313,1.82813 1.73438,1.82813 1.26562,0 2.17187,-1.70313 2.17187,-3.21875 0,-0.98438 -0.4375,-1.53125 -0.79687,-2.01563 -0.40625,-0.5 -1.04688,-1.3125 -1.04688,-1.79687 0,-0.23438 0.21875,-0.5 0.60938,-0.5 0.32812,0 0.54687,0.14062 0.76562,0.29687 0.21875,0.125 0.4375,0.26563 0.60938,0.26563 0.26562,0 0.42187,-0.25 0.42187,-0.4375 0,-0.23438 -0.17187,-0.26563 -0.5625,-0.35938 -0.5625,-0.10937 -0.71875,-0.10937 -0.89062,-0.10937 -0.84375,0 -1.25,0.46875 -1.25,1.125 0,0.57812 0.32812,1.1875 0.65625,1.85937 z m 0.14062,0.23438 c 0.26563,0.5 0.59375,1.09375 0.59375,1.875 0,0.71875 -0.40625,2.54687 -1.42187,2.54687 -0.60938,0 -1.04688,-0.45312 -1.04688,-1.28125 0,-0.6875 0.39063,-2.75 1.875,-3.14062 z m 0,0"
style="fill:#aa0000;fill-opacity:1;stroke:none"
inkscape:connector-curvature="0" />
<path
id="path3486"
d="m 329.20999,130.52388 c 0,-0.21875 -0.0156,-0.21875 -0.23438,-0.21875 -0.32812,0.3125 -0.75,0.5 -1.5,0.5 l 0,0.26563 c 0.21875,0 0.64063,0 1.10938,-0.20313 l 0,4.07813 c 0,0.29687 -0.0312,0.39062 -0.78125,0.39062 l -0.28125,0 0,0.26563 c 0.32812,-0.0312 1.01562,-0.0312 1.375,-0.0312 0.35937,0 1.04687,0 1.375,0.0312 l 0,-0.26563 -0.28125,0 c -0.75,0 -0.78125,-0.0937 -0.78125,-0.39062 l 0,-4.42188 z m 0,0"
style="fill:#aa0000;fill-opacity:1;stroke:none"
inkscape:connector-curvature="0" />
</g>
<path
inkscape:connector-curvature="0"
style="fill:#000000;fill-opacity:1;stroke:none"
d="m 461.36039,111.93081 c 0.17578,0 0.66406,0 0.66406,-0.46875 0,-0.33204 -0.29297,-0.33204 -0.52735,-0.33204 l -3.125,0 c -2.05077,0 -3.55468,2.2461 -3.55468,3.86719 0,1.21093 0.80078,2.16797 2.03125,2.16797 1.6211,0 3.41797,-1.66016 3.41797,-3.75 0,-0.23437 0,-0.89844 -0.41016,-1.48437 l 1.50391,0 z m -4.49219,4.92187 c -0.66406,0 -1.21093,-0.48829 -1.21093,-1.46485 0,-0.41015 0.15625,-1.52344 0.64452,-2.32421 0.56641,-0.95704 1.38673,-1.13281 1.85548,-1.13281 1.13281,0 1.25,0.89843 1.25,1.30858 0,0.64454 -0.27344,1.75782 -0.74219,2.46094 -0.52735,0.80079 -1.26954,1.15235 -1.79688,1.15235 z m 0,0"
id="path3474-7" />
<g
transform="matrix(1.25,0,0,1.25,-84.787495,-28.252996)"
id="g3568-9"
style="fill:#000000;fill-opacity:1">
<path
id="path3482-1"
d="m 324.323,135.34037 c -1.35938,0.32813 -2.42188,1.75 -2.42188,3.0625 0,1.04688 0.70313,1.82813 1.73438,1.82813 1.26562,0 2.17187,-1.70313 2.17187,-3.21875 0,-0.98438 -0.4375,-1.53125 -0.79687,-2.01563 -0.40625,-0.5 -1.04688,-1.3125 -1.04688,-1.79687 0,-0.23438 0.21875,-0.5 0.60938,-0.5 0.32812,0 0.54687,0.14062 0.76562,0.29687 0.21875,0.125 0.4375,0.26563 0.60938,0.26563 0.26562,0 0.42187,-0.25 0.42187,-0.4375 0,-0.23438 -0.17187,-0.26563 -0.5625,-0.35938 -0.5625,-0.10937 -0.71875,-0.10937 -0.89062,-0.10937 -0.84375,0 -1.25,0.46875 -1.25,1.125 0,0.57812 0.32812,1.1875 0.65625,1.85937 z m 0.14062,0.23438 c 0.26563,0.5 0.59375,1.09375 0.59375,1.875 0,0.71875 -0.40625,2.54687 -1.42187,2.54687 -0.60938,0 -1.04688,-0.45312 -1.04688,-1.28125 0,-0.6875 0.39063,-2.75 1.875,-3.14062 z m 0,0"
style="fill:#000000;fill-opacity:1;stroke:none"
inkscape:connector-curvature="0" />
<path
id="path3486-5"
d="m 329.20999,130.52388 c 0,-0.21875 -0.0156,-0.21875 -0.23438,-0.21875 -0.32812,0.3125 -0.75,0.5 -1.5,0.5 l 0,0.26563 c 0.21875,0 0.64063,0 1.10938,-0.20313 l 0,4.07813 c 0,0.29687 -0.0312,0.39062 -0.78125,0.39062 l -0.28125,0 0,0.26563 c 0.32812,-0.0312 1.01562,-0.0312 1.375,-0.0312 0.35937,0 1.04687,0 1.375,0.0312 l 0,-0.26563 -0.28125,0 c -0.75,0 -0.78125,-0.0937 -0.78125,-0.39062 l 0,-4.42188 z m 0,0"
style="fill:#000000;fill-opacity:1;stroke:none"
inkscape:connector-curvature="0" />
</g>
</g>
</svg>

After

Width:  |  Height:  |  Size: 24 KiB

6
thesis/symbols.tex

@ -1,4 +1,4 @@
\documentclass[12pt]{amsproc}
\documentclass[11pt]{amsproc}
% a la fullpage
\usepackage{geometry}
@ -34,8 +34,8 @@
% For singular chain complex, face maps
$$ C_n(X) = \Z[\Hom{\cat{Top}}{\Delta^n}{X}] $$
$$ \Delta^2 \to X \sigma \circ d^1$$
$$ \Delta^2 \to X \sigma \circ \delta^1$$
$$ \Delta^1 \mono $$
$$ d^0 - d^1 + d^2 $$
$$ \delta^0 - \delta^1 + \delta^2 $$
\end{document}