joshua
/
bsc-thesis
Archived
1
0
Fork 0
Code Releases Activity
Browse Source

Htp: Added some figures

master
Joshua Moerman 11 years ago
parent
4a4ffea009
commit
f64008811f
7 changed files with 544 additions and 6 deletions
Whitespace
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Split View
Diff Options
Show Stats Download Patch File Download Diff File
  1. 30
      thesis/5_Homotopy.tex
  2. BIN
      thesis/images/simplicial_eqrel.pdf
  3. 197
      thesis/images/simplicial_eqrel.svg
  4. 315
      thesis/images/simplicial_htp.svg
  5. BIN
      thesis/images/simplicial_htp1.pdf
  6. BIN
      thesis/images/simplicial_htp2.pdf
  7. 8
      thesis/symbols.tex

30
thesis/5_Homotopy.tex
View File

@ -18,13 +18,35 @@ When dealing with homotopy in a topological space $X$ we always need a base-poin
We will call $y$ the \emph{homotopy} and notate $y: x \sim x'$.
\end{definition}
Of course we would like $\sim$ to be an equivalence relation, however this is not true for all simplicial sets. For example there is in general no reason for symmetry, existence of a $1$-simplex $y$ from $x$ to $x'$ does not give us a $1$-simplex $y'$ from $x'$ to $x$. One can give an precise condition on when it is a equivalence relation, the so called Kan-condition. In our case of abelien groups, however, we can prove this directly.
\todo{Htp: Discuss/picturize Kan-condition?}
Of course we would like $\sim$ to be an equivalence relation, however this is not true for all simplicial sets. For example there is in general no reason for symmetry, existence of a $1$-simplex $y$ from $x$ to $x'$ does not give us a $1$-simplex $y'$ from $x'$ to $x$. One can give an precise condition on when it is a equivalence relation, the so called \emph{Kan-condition}. In our case of simplicial abelien groups, however, we can prove directly that $\sim$ is an equivalence relation.
In figure~\ref{fig:simplicial_htp} it is shown why the definition of homotopy makes sense for $n=1$. Two homotopic $1$-simplices from $Z_n(X)$ are depicted in two ways. The first way only shows the structure we have, indicating what the boundaries are (as described by the face maps). In the second figure we collapsed all occurences of $0$ into a single point. This way of drawing a homotopy should remind the reader of homotopy (between paths) in a topological space.
\begin{figure}[h!]
\begin{subfigure}{.5\textwidth}
\centering
\includegraphics{simplicial_htp1}
\end{subfigure}%
\begin{subfigure}{.5\textwidth}
\centering
\includegraphics{simplicial_htp2}
\end{subfigure}
\caption{In the figure on the left two homotopic $1$ simplices $x, x' \in Z_n(X)$ are shown. The fact that $d_2(y) = \ast$ is depicted by crossing out the bottom line. The right image shows exactly the same structure if we would draw the $0$-simplex $0$ only once (and hence also collapse the degenerate $1$-simplex $d_2y$).}
\label{fig:simplicial_htp}
\end{figure}
\begin{lemma}
The relation $\sim$ as defined above is an equivalence relation on $Z_n(X)$. Furthermore it is compatible with addition.
\end{lemma}
Before proving this, one should have a look at figure~\ref{fig:simplicial_eqrel}. In this figure we show what we want to proof in degree $n=0$ (i.e. the simplices of interest are points, and the homotopies are paths).
\begin{figure}[h!]
\includegraphics{simplicial_eqrel}
\caption{The three properties of an equivalence relation: reflexivity, symmetry and transitivity. The dashed lines show which homotopy we should construct.}
\label{fig:simplicial_eqrel}
\end{figure}
\begin{proof}
\emph{Reflexivity}. Let $x \in Z_n(X)$, define $y = s_0 x$. By considering the simplicial identities $d_0 s_0 = \id$ and $d_1 s_0 = \id$, it follows that $d_0 y = d_1 y = x$. Furthermore $d_i y = d_i s_0 x = s_0 d_{i-1} x = 0$ for all $i > 1$, because $x \in Z_n(X)$.
@ -78,7 +100,7 @@ Recall construction of the singular chain complex in section~\ref{sec:Chain Comp
$$ C_n(X) = \Z[\Hom{\cat{Top}}{\Delta^n}{X}]. $$
Where the boundary map was given as an alternating sum. Looking more closely we see that this construction decomposes as:
$$ C: \Top \tot{\text{Sing}} \sSet \tot{\Z^\ast} \sAb \tot{C} \Ch{\Ab}, $$
where the last functor is the \emph{unnormalized chain complex}. All the categories involved have a notion of homotopy. In topological spaces this is the known notion where $f, g:X \to Y$ are homotopic if there exists a homotopy $H:I \times X \to Y$ with the appropriate properties. In simplicial sets (or simplicial abelian groups) we only saw the notion of homotopy groups, but there exists a more general notion of homotopy, as discussed in the overview of Friedman \cite{friedman}. And finally in chain complexes we saw homology groups, but this category also has a more general notion of chain homotopy, which can be found in any book on homological algebra such as in the book of Weibel \cite{weibel}.
where the last functor is the \emph{unnormalized chain complex}. All the categories involved have a notion of homotopy. In topological spaces this is the known notion where $f, g:X \to Y$ are homotopic if there exists a homotopy $H:I \times X \to Y$ with the appropriate properties. In simplicial sets (or simplicial abelian groups) we only saw the notion of homotopy groups, but there exists a more general notion of homotopy, as discussed in the overview of Friedman \cite{friedman}. And finally in chain complexes we saw homology groups, but this category also has a more general notion of chain homotopy, which can be found in any book on homological algebra such as in the book of Rotman \cite{rotman}.
It is known that for any simplicial abelian group both the normalized and unnormalized chain complex have the same homology groups. More precisely for any simplicial abelian group $X$ we have:
$$ H_n(N(X)) \iso H_n(C(X)) \quad\text{for all } n \in \N. $$

BIN
thesis/images/simplicial_eqrel.pdf
View File

Binary file not shown.

197
thesis/images/simplicial_eqrel.svg
View File

@ -0,0 +1,197 @@
<?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="267.68011"
height="61.716404"
id="svg4067"
version="1.1"
inkscape:version="0.48.2 r9819"
sodipodi:docname="simplicial_eqrel.svg">
<defs
id="defs4069" />
<sodipodi:namedview
id="base"
pagecolor="#ffffff"
bordercolor="#666666"
borderopacity="1.0"
inkscape:pageopacity="0.0"
inkscape:pageshadow="2"
inkscape:zoom="3.06"
inkscape:cx="134.3004"
inkscape:cy="40.296005"
inkscape:document-units="px"
inkscape:current-layer="layer1"
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="metadata4072">
<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:label="Layer 1"
inkscape:groupmode="layer"
id="layer1"
transform="translate(-12.921824,-967.58129)">
<path
style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
d="m 169.79904,1016.9319 c -8.71891,0 -31.60252,-1.9358 -45.74643,0 6.90215,-12.4106 17.51561,-28.08814 21.56617,-34.63655"
id="path4470"
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:3, 3;stroke-dashoffset:0"
d="m 145.61878,982.29535 c 14.07652,8.14646 17.18362,24.30305 24.18026,34.63655"
id="path4239"
inkscape:connector-curvature="0" />
<path
inkscape:connector-curvature="0"
id="path4257"
d="m 128.45317,1004.4281 c 3.65896,-0.03 3.71353,-0.6706 3.71353,2.9177"
style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
<path
inkscape:connector-curvature="0"
id="path4259"
d="m 163.57576,1000.0908 c 0.50939,4.6168 -0.61662,3.3883 -2.8544,2.8716"
style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
<path
inkscape:connector-curvature="0"
id="path4261"
d="m 150.46908,1013.9771 c 0.0884,0.3537 0.61893,0.9726 0.26526,1.061 -0.35367,0.088 -0.52303,-1.3188 -0.26526,-1.061 0.3498,0.3498 2.15909,2.8807 2.12202,2.9178 -0.73617,0.7362 -2.90635,2.8949 -2.38727,1.8568"
style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
<path
style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
d="m 224.05261,1016.9319 c 6.90215,-12.4106 17.51561,-28.08814 21.56617,-34.63655 14.07652,8.14646 17.18362,24.30305 24.18026,34.63655"
id="path4982"
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:3, 3;stroke-dashoffset:0"
d="m 269.79904,1016.9319 c -8.71891,0 -31.60252,-1.9358 -45.74643,0"
id="path4283"
inkscape:connector-curvature="0" />
<path
style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
d="m 230.45317,1001.4281 c 3.65896,-0.03 3.71353,-0.6706 3.71353,2.9177"
id="path4301"
inkscape:connector-curvature="0" />
<path
style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
d="m 263.73221,1000.2049 c 0.12687,4.6431 -0.89398,3.3259 -3.08152,2.6264"
id="path4303"
inkscape:connector-curvature="0" />
<path
style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
d="m 247.46908,1012.9771 c 0.0884,0.3537 0.61892,0.9726 0.26526,1.061 -0.35367,0.088 -0.52304,-1.3188 -0.26526,-1.061 0.3498,0.3498 2.15909,2.8807 2.12202,2.9178 -0.73617,0.7362 -2.90635,2.8949 -2.38727,1.8568"
id="path4305"
inkscape:connector-curvature="0" />
<path
style="fill:none;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;stroke-miterlimit:4;stroke-dasharray:3,3;stroke-dashoffset:0"
d="m 69.799041,998.9319 c -8.71891,0 -31.60252,-1.9358 -45.74643,0"
id="path3128"
inkscape:connector-curvature="0"
sodipodi:nodetypes="cc" />
<path
style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
d="m 50.469085,995.9771 c 0.08842,0.3537 0.618921,0.9726 0.265252,1.061 -0.353669,0.088 -0.523031,-1.3188 -0.265252,-1.061 0.349792,0.3498 2.15909,2.8807 2.122016,2.9178 -0.736169,0.7362 -2.906355,2.8949 -2.387268,1.8568"
id="path5526"
inkscape:connector-curvature="0" />
<path
inkscape:connector-curvature="0"
style="fill:#000000;fill-opacity:1;stroke:none"
d="m 18.081987,997.8864 c 0.07813,-0.3516 0.390625,-1.6016 1.34765,-1.6016 0.07813,0 0.390625,0 0.6836,0.1758 -0.3711,0.059 -0.644538,0.4102 -0.644538,0.7422 0,0.2149 0.136725,0.4688 0.507813,0.4688 0.3125,0 0.742187,-0.2539 0.742187,-0.7813 0,-0.7226 -0.800775,-0.918 -1.269525,-0.918 -0.800787,0 -1.269537,0.7227 -1.425787,1.0547 -0.351563,-0.9179 -1.09375,-1.0547 -1.484375,-1.0547 -1.40625,0 -2.1875,1.7774 -2.1875,2.1094 0,0.1367 0.136725,0.1367 0.15625,0.1367 0.117125,0 0.15625,-0.02 0.175787,-0.1562 0.46875,-1.4453 1.367188,-1.7774 1.835938,-1.7774 0.2539,0 0.742187,0.1172 0.742187,0.918 0,0.4102 -0.234375,1.3281 -0.742187,3.2422 -0.21485,0.8398 -0.703125,1.4063 -1.289063,1.4063 -0.09763,0 -0.410162,0 -0.6836,-0.1758 0.332038,-0.059 0.625,-0.3516 0.625,-0.7227 0,-0.3711 -0.292962,-0.4883 -0.488275,-0.4883 -0.410162,0 -0.761725,0.3516 -0.761725,0.8008 0,0.625 0.6836,0.8985 1.289063,0.8985 0.898437,0 1.386725,-0.9571 1.425787,-1.0352 0.175775,0.4883 0.664063,1.0352 1.484375,1.0352 1.386713,0 2.167963,-1.7579 2.167963,-2.1094 0,-0.1367 -0.117125,-0.1367 -0.15625,-0.1367 -0.117125,0 -0.15625,0.059 -0.175775,0.1562 -0.449225,1.4649 -1.386725,1.7774 -1.816413,1.7774 -0.527337,0 -0.742187,-0.4297 -0.742187,-0.8985 0,-0.293 0.07813,-0.5859 0.21485,-1.1914 l 0.46875,-1.875 z m 0,0"
id="path3313" />
<path
id="path4402"
d="m 77.081987,997.8864 c 0.07813,-0.3516 0.390625,-1.6016 1.34765,-1.6016 0.07813,0 0.390625,0 0.6836,0.1758 -0.3711,0.059 -0.644538,0.4102 -0.644538,0.7422 0,0.2149 0.136725,0.4688 0.507813,0.4688 0.3125,0 0.742187,-0.2539 0.742187,-0.7813 0,-0.7226 -0.800775,-0.918 -1.269525,-0.918 -0.800787,0 -1.269537,0.7227 -1.425787,1.0547 -0.351563,-0.9179 -1.09375,-1.0547 -1.484375,-1.0547 -1.40625,0 -2.1875,1.7774 -2.1875,2.1094 0,0.1367 0.136725,0.1367 0.15625,0.1367 0.117125,0 0.15625,-0.02 0.175787,-0.1562 0.46875,-1.4453 1.367188,-1.7774 1.835938,-1.7774 0.2539,0 0.742187,0.1172 0.742187,0.918 0,0.4102 -0.234375,1.3281 -0.742187,3.2422 -0.21485,0.8398 -0.703125,1.4063 -1.289063,1.4063 -0.09763,0 -0.410162,0 -0.6836,-0.1758 0.332038,-0.059 0.625,-0.3516 0.625,-0.7227 0,-0.3711 -0.292962,-0.4883 -0.488275,-0.4883 -0.410162,0 -0.761725,0.3516 -0.761725,0.8008 0,0.625 0.6836,0.8985 1.289063,0.8985 0.898437,0 1.386725,-0.9571 1.425787,-1.0352 0.175775,0.4883 0.664063,1.0352 1.484375,1.0352 1.386713,0 2.167963,-1.7579 2.167963,-2.1094 0,-0.1367 -0.117125,-0.1367 -0.15625,-0.1367 -0.117125,0 -0.15625,0.059 -0.175775,0.1562 -0.449225,1.4649 -1.386725,1.7774 -1.816413,1.7774 -0.527337,0 -0.742187,-0.4297 -0.742187,-0.8985 0,-0.293 0.07813,-0.5859 0.21485,-1.1914 l 0.46875,-1.875 z m 0,0"
style="fill:#000000;fill-opacity:1;stroke:none"
inkscape:connector-curvature="0" />
<path
inkscape:connector-curvature="0"
style="fill:#000000;fill-opacity:1;stroke:none"
d="m 119.38918,1021.7688 c 0.0781,-0.3516 0.39062,-1.6016 1.34765,-1.6016 0.0781,0 0.39062,0 0.6836,0.1758 -0.3711,0.059 -0.64454,0.4101 -0.64454,0.7422 0,0.2148 0.13672,0.4687 0.50781,0.4687 0.3125,0 0.74219,-0.2539 0.74219,-0.7812 0,-0.7227 -0.80078,-0.918 -1.26953,-0.918 -0.80078,0 -1.26953,0.7227 -1.42578,1.0547 -0.35157,-0.918 -1.09375,-1.0547 -1.48438,-1.0547 -1.40625,0 -2.1875,1.7773 -2.1875,2.1094 0,0.1367 0.13673,0.1367 0.15625,0.1367 0.11713,0 0.15625,-0.02 0.17579,-0.1563 0.46875,-1.4453 1.36719,-1.7773 1.83594,-1.7773 0.2539,0 0.74218,0.1171 0.74218,0.918 0,0.4101 -0.23437,1.3281 -0.74218,3.2422 -0.21485,0.8398 -0.70313,1.4062 -1.28907,1.4062 -0.0976,0 -0.41016,0 -0.6836,-0.1758 0.33204,-0.059 0.625,-0.3515 0.625,-0.7226 0,-0.3711 -0.29296,-0.4883 -0.48827,-0.4883 -0.41016,0 -0.76173,0.3515 -0.76173,0.8008 0,0.625 0.6836,0.8984 1.28907,0.8984 0.89843,0 1.38672,-0.957 1.42578,-1.0352 0.17578,0.4883 0.66407,1.0352 1.48438,1.0352 1.38671,0 2.16796,-1.7578 2.16796,-2.1094 0,-0.1367 -0.11712,-0.1367 -0.15625,-0.1367 -0.11712,0 -0.15625,0.059 -0.17577,0.1563 -0.44923,1.4648 -1.38673,1.7773 -1.81642,1.7773 -0.52733,0 -0.74218,-0.4297 -0.74218,-0.8984 0,-0.293 0.0781,-0.586 0.21485,-1.1914 l 0.46875,-1.875 z m 0,0"
id="path3313-5" />
<g
transform="matrix(1.25,0,0,1.25,-230.89716,824.85019)"
id="g3391">
<path
id="path3317"
d="m 302.15899,120.64512 c 0.0625,-0.28125 0.3125,-1.28125 1.07813,-1.28125 0.0625,0 0.3125,0 0.54687,0.14063 -0.29687,0.0469 -0.51562,0.32812 -0.51562,0.59375 0,0.17187 0.10937,0.375 0.40625,0.375 0.25,0 0.59375,-0.20313 0.59375,-0.625 0,-0.57813 -0.64063,-0.73438 -1.01563,-0.73438 -0.64062,0 -1.01562,0.57813 -1.14062,0.84375 -0.28125,-0.73437 -0.875,-0.84375 -1.1875,-0.84375 -1.125,0 -1.75,1.42188 -1.75,1.6875 0,0.10938 0.10937,0.10938 0.125,0.10938 0.0937,0 0.125,-0.0156 0.14062,-0.125 0.375,-1.15625 1.09375,-1.42188 1.46875,-1.42188 0.20313,0 0.59375,0.0937 0.59375,0.73438 0,0.32812 -0.1875,1.0625 -0.59375,2.59375 -0.17187,0.67187 -0.5625,1.125 -1.03125,1.125 -0.0781,0 -0.32812,0 -0.54687,-0.14063 0.26562,-0.0469 0.5,-0.28125 0.5,-0.57812 0,-0.29688 -0.23438,-0.39063 -0.39063,-0.39063 -0.32812,0 -0.60937,0.28125 -0.60937,0.64063 0,0.5 0.54687,0.71875 1.03125,0.71875 0.71875,0 1.10937,-0.76563 1.14062,-0.82813 0.14063,0.39063 0.53125,0.82813 1.1875,0.82813 1.10938,0 1.73438,-1.40625 1.73438,-1.6875 0,-0.10938 -0.0937,-0.10938 -0.125,-0.10938 -0.0937,0 -0.125,0.0469 -0.14063,0.125 -0.35937,1.17188 -1.10937,1.42188 -1.45312,1.42188 -0.42188,0 -0.59375,-0.34375 -0.59375,-0.71875 0,-0.23438 0.0625,-0.46875 0.17187,-0.95313 l 0.375,-1.5 z m 0,0"
style="fill:#000000;fill-opacity:1;stroke:none"
inkscape:connector-curvature="0" />
<path
id="path3321"
d="m 306.86636,115.65675 c 0.0469,-0.0937 0.0781,-0.15625 0.0781,-0.23437 0,-0.26563 -0.25,-0.4375 -0.46875,-0.4375 -0.3125,0 -0.40625,0.28125 -0.4375,0.39062 l -1.01563,3.4375 c -0.0312,0.0937 -0.0312,0.10938 -0.0312,0.125 0,0.0625 0.0469,0.0781 0.125,0.10938 0.15625,0.0625 0.17188,0.0625 0.1875,0.0625 0.0156,0 0.0625,0 0.125,-0.14063 l 1.4375,-3.3125 z m 0,0"
style="fill:#000000;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 174.61794,1022.7492 c 0.0781,-0.3516 0.39062,-1.6016 1.34765,-1.6016 0.0781,0 0.39062,0 0.6836,0.1758 -0.3711,0.059 -0.64454,0.4101 -0.64454,0.7422 0,0.2148 0.13672,0.4687 0.50781,0.4687 0.3125,0 0.74219,-0.2539 0.74219,-0.7812 0,-0.7227 -0.80078,-0.918 -1.26953,-0.918 -0.80078,0 -1.26953,0.7227 -1.42578,1.0547 -0.35157,-0.918 -1.09375,-1.0547 -1.48438,-1.0547 -1.40625,0 -2.1875,1.7773 -2.1875,2.1094 0,0.1367 0.13673,0.1367 0.15625,0.1367 0.11713,0 0.15625,-0.02 0.17579,-0.1563 0.46875,-1.4453 1.36719,-1.7773 1.83594,-1.7773 0.2539,0 0.74218,0.1171 0.74218,0.918 0,0.4101 -0.23437,1.3281 -0.74218,3.2422 -0.21485,0.8398 -0.70313,1.4062 -1.28907,1.4062 -0.0976,0 -0.41016,0 -0.6836,-0.1758 0.33204,-0.059 0.625,-0.3515 0.625,-0.7226 0,-0.3711 -0.29296,-0.4883 -0.48827,-0.4883 -0.41016,0 -0.76173,0.3515 -0.76173,0.8008 0,0.625 0.6836,0.8984 1.28907,0.8984 0.89843,0 1.38672,-0.957 1.42578,-1.0352 0.17578,0.4883 0.66407,1.0352 1.48438,1.0352 1.38671,0 2.16796,-1.7578 2.16796,-2.1094 0,-0.1367 -0.11712,-0.1367 -0.15625,-0.1367 -0.11712,0 -0.15625,0.059 -0.17577,0.1563 -0.44923,1.4648 -1.38673,1.7773 -1.81642,1.7773 -0.52733,0 -0.74218,-0.4297 -0.74218,-0.8984 0,-0.293 0.0781,-0.586 0.21485,-1.1914 l 0.46875,-1.875 z m 0,0"
id="path3313-5-5" />
<g
transform="matrix(1.25,0,0,1.25,-132.9927,851.21487)"
id="g3379">
<path
id="path3333"
d="m 279.97962,135.86312 c 0.0625,-0.28125 0.3125,-1.28125 1.07812,-1.28125 0.0625,0 0.3125,0 0.54688,0.14063 -0.29688,0.0469 -0.51563,0.32812 -0.51563,0.59375 0,0.17187 0.10938,0.375 0.40625,0.375 0.25,0 0.59375,-0.20313 0.59375,-0.625 0,-0.57813 -0.64062,-0.73438 -1.01562,-0.73438 -0.64063,0 -1.01563,0.57813 -1.14063,0.84375 -0.28125,-0.73437 -0.875,-0.84375 -1.1875,-0.84375 -1.125,0 -1.75,1.42188 -1.75,1.6875 0,0.10938 0.10938,0.10938 0.125,0.10938 0.0937,0 0.125,-0.0156 0.14063,-0.125 0.375,-1.15625 1.09375,-1.42188 1.46875,-1.42188 0.20312,0 0.59375,0.0937 0.59375,0.73438 0,0.32812 -0.1875,1.0625 -0.59375,2.59375 -0.17188,0.67187 -0.5625,1.125 -1.03125,1.125 -0.0781,0 -0.32813,0 -0.54688,-0.14063 0.26563,-0.0469 0.5,-0.28125 0.5,-0.57812 0,-0.29688 -0.23437,-0.39063 -0.39062,-0.39063 -0.32813,0 -0.60938,0.28125 -0.60938,0.64063 0,0.5 0.54688,0.71875 1.03125,0.71875 0.71875,0 1.10938,-0.76563 1.14063,-0.82813 0.14062,0.39063 0.53125,0.82813 1.1875,0.82813 1.10937,0 1.73437,-1.40625 1.73437,-1.6875 0,-0.10938 -0.0937,-0.10938 -0.125,-0.10938 -0.0937,0 -0.125,0.0469 -0.14062,0.125 -0.35938,1.17188 -1.10938,1.42188 -1.45313,1.42188 -0.42187,0 -0.59375,-0.34375 -0.59375,-0.71875 0,-0.23438 0.0625,-0.46875 0.17188,-0.95313 l 0.375,-1.5 z m 0,0"
style="fill:#000000;fill-opacity:1;stroke:none"
inkscape:connector-curvature="0" />
<path
id="path3337"
d="m 286.46362,138.24913 c 0,-0.84375 -0.0781,-1.35937 -0.34375,-1.875 -0.34375,-0.70312 -1,-0.875 -1.4375,-0.875 -1,0 -1.375,0.75 -1.48437,0.96875 -0.28125,0.57813 -0.29688,1.375 -0.29688,1.78125 0,0.53125 0.0156,1.32813 0.40625,1.96875 0.35938,0.59375 0.95313,0.75 1.375,0.75 0.39063,0 1.0625,-0.125 1.46875,-0.90625 0.29688,-0.57812 0.3125,-1.29687 0.3125,-1.8125 z m -1.78125,2.48438 c -0.26562,0 -0.8125,-0.125 -0.98437,-0.95313 -0.0937,-0.45312 -0.0937,-1.20312 -0.0937,-1.625 0,-0.54687 0,-1.10937 0.0937,-1.54687 0.17187,-0.8125 0.78125,-0.89063 0.98437,-0.89063 0.26563,0 0.82813,0.14063 0.98438,0.85938 0.0937,0.4375 0.0937,1.04687 0.0937,1.57812 0,0.46875 0,1.1875 -0.0937,1.64063 -0.17188,0.82812 -0.71875,0.9375 -0.98438,0.9375 z m 0,0"
style="fill:#000000;fill-opacity:1;stroke:none"
inkscape:connector-curvature="0" />
</g>
<g
transform="matrix(1.25,0,0,1.25,-126.74274,804.59026)"
id="g3383">
<path
id="path3345"
d="m 295.79899,135.86312 c 0.0625,-0.28125 0.3125,-1.28125 1.07812,-1.28125 0.0625,0 0.3125,0 0.54688,0.14063 -0.29688,0.0469 -0.51563,0.32812 -0.51563,0.59375 0,0.17187 0.10938,0.375 0.40625,0.375 0.25,0 0.59375,-0.20313 0.59375,-0.625 0,-0.57813 -0.64062,-0.73438 -1.01562,-0.73438 -0.64063,0 -1.01563,0.57813 -1.14063,0.84375 -0.28125,-0.73437 -0.875,-0.84375 -1.1875,-0.84375 -1.125,0 -1.75,1.42188 -1.75,1.6875 0,0.10938 0.10938,0.10938 0.125,0.10938 0.0937,0 0.125,-0.0156 0.14063,-0.125 0.375,-1.15625 1.09375,-1.42188 1.46875,-1.42188 0.20312,0 0.59375,0.0937 0.59375,0.73438 0,0.32812 -0.1875,1.0625 -0.59375,2.59375 -0.17188,0.67187 -0.5625,1.125 -1.03125,1.125 -0.0781,0 -0.32813,0 -0.54688,-0.14063 0.26563,-0.0469 0.5,-0.28125 0.5,-0.57812 0,-0.29688 -0.23437,-0.39063 -0.39062,-0.39063 -0.32813,0 -0.60938,0.28125 -0.60938,0.64063 0,0.5 0.54688,0.71875 1.03125,0.71875 0.71875,0 1.10938,-0.76563 1.14063,-0.82813 0.14062,0.39063 0.53125,0.82813 1.1875,0.82813 1.10937,0 1.73437,-1.40625 1.73437,-1.6875 0,-0.10938 -0.0937,-0.10938 -0.125,-0.10938 -0.0937,0 -0.125,0.0469 -0.14062,0.125 -0.35938,1.17188 -1.10938,1.42188 -1.45313,1.42188 -0.42187,0 -0.59375,-0.34375 -0.59375,-0.71875 0,-0.23438 0.0625,-0.46875 0.17188,-0.95313 l 0.375,-1.5 z m 0,0"
style="fill:#000000;fill-opacity:1;stroke:none"
inkscape:connector-curvature="0" />
<path
id="path3349"
d="m 300.88901,135.71788 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
transform="matrix(1.25,0,0,1.25,-117.90045,852.30268)"
id="g3387">
<path
id="path3357"
d="m 311.61399,135.86312 c 0.0625,-0.28125 0.3125,-1.28125 1.07812,-1.28125 0.0625,0 0.3125,0 0.54688,0.14063 -0.29688,0.0469 -0.51563,0.32812 -0.51563,0.59375 0,0.17187 0.10938,0.375 0.40625,0.375 0.25,0 0.59375,-0.20313 0.59375,-0.625 0,-0.57813 -0.64062,-0.73438 -1.01562,-0.73438 -0.64063,0 -1.01563,0.57813 -1.14063,0.84375 -0.28125,-0.73437 -0.875,-0.84375 -1.1875,-0.84375 -1.125,0 -1.75,1.42188 -1.75,1.6875 0,0.10938 0.10938,0.10938 0.125,0.10938 0.0937,0 0.125,-0.0156 0.14063,-0.125 0.375,-1.15625 1.09375,-1.42188 1.46875,-1.42188 0.20312,0 0.59375,0.0937 0.59375,0.73438 0,0.32812 -0.1875,1.0625 -0.59375,2.59375 -0.17188,0.67187 -0.5625,1.125 -1.03125,1.125 -0.0781,0 -0.32813,0 -0.54688,-0.14063 0.26563,-0.0469 0.5,-0.28125 0.5,-0.57812 0,-0.29688 -0.23437,-0.39063 -0.39062,-0.39063 -0.32813,0 -0.60938,0.28125 -0.60938,0.64063 0,0.5 0.54688,0.71875 1.03125,0.71875 0.71875,0 1.10938,-0.76563 1.14063,-0.82813 0.14062,0.39063 0.53125,0.82813 1.1875,0.82813 1.10937,0 1.73437,-1.40625 1.73437,-1.6875 0,-0.10938 -0.0937,-0.10938 -0.125,-0.10938 -0.0937,0 -0.125,0.0469 -0.14062,0.125 -0.35938,1.17188 -1.10938,1.42188 -1.45313,1.42188 -0.42187,0 -0.59375,-0.34375 -0.59375,-0.71875 0,-0.23438 0.0625,-0.46875 0.17188,-0.95313 l 0.375,-1.5 z m 0,0"
style="fill:#000000;fill-opacity:1;stroke:none"
inkscape:connector-curvature="0" />
<path
id="path3361"
d="m 316.45499,139.17101 c 0.125,-0.125 0.45312,-0.39063 0.59375,-0.5 0.48437,-0.45313 0.95312,-0.89063 0.95312,-1.60938 0,-0.95312 -0.79687,-1.5625 -1.78125,-1.5625 -0.96875,0 -1.59375,0.71875 -1.59375,1.4375 0,0.39063 0.3125,0.4375 0.42188,0.4375 0.17187,0 0.42187,-0.10937 0.42187,-0.42187 0,-0.40625 -0.40625,-0.40625 -0.5,-0.40625 0.23438,-0.59375 0.76563,-0.78125 1.15625,-0.78125 0.73438,0 1.125,0.625 1.125,1.29687 0,0.82813 -0.57812,1.4375 -1.53125,2.39063 l -1,1.04687 c -0.0937,0.0781 -0.0937,0.0937 -0.0937,0.29688 l 3.14063,0 0.23437,-1.42188 -0.25,0 c -0.0156,0.15625 -0.0781,0.54688 -0.17187,0.70313 -0.0469,0.0625 -0.65625,0.0625 -0.78125,0.0625 l -1.42188,0 1.07813,-0.96875 z m 0,0"
style="fill:#000000;fill-opacity:1;stroke:none"
inkscape:connector-curvature="0" />
</g>
</g>
</svg>
Side by Side

After

Width:  |  Height:  |  Size: 20 KiB

315
thesis/images/simplicial_htp.svg
View File

@ -0,0 +1,315 @@
<?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="79.806305"
height="62.303329"
id="svg5455"
version="1.1"
inkscape:version="0.48.2 r9819"
sodipodi:docname="simplicial_htp.svg">
<defs
id="defs5457" />
<sodipodi:namedview
id="base"
pagecolor="#ffffff"
bordercolor="#666666"
borderopacity="1.0"
inkscape:pageopacity="0.0"
inkscape:pageshadow="2"
inkscape:zoom="3.77"
inkscape:cx="-10.242778"
inkscape:cy="33.051799"
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="metadata5460">
<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 />
</cc:Work>
</rdf:RDF>
</metadata>
<g
inkscape:groupmode="layer"
id="layer2"
inkscape:label="collapsed"
style="display:none"
transform="translate(-118.67848,-21.808111)">
<g
id="g3982"
transform="translate(6.6312997,0)">
<path
inkscape:connector-curvature="0"
id="path6038"
d="m 130.23873,1014.6964 c -34.395786,-30.61799 46.71581,-46.71581 0,0 z"
style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;display:inline"
transform="translate(0.72071062,-946.34179)" />
<path
inkscape:connector-curvature="0"
id="path6040"
d="m 131.03448,1015.2269 c -7.88096,-84.81563 109.75286,-26.13163 0,0 z"
style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;display:inline"
transform="translate(0.72071062,-946.34179)" />
<path
inkscape:connector-curvature="0"
id="path6042"
d="m 128.64721,986.31444 c 2.50468,-2.80788 6.97109,-6.44742 9.28382,-8.48807"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;display:inline"
transform="translate(0.72071062,-946.34179)" />
<path
inkscape:connector-curvature="0"
id="path6044"
d="m 125.19894,993.74149 c 1.83006,-1.76134 3.92005,-3.17829 5.83554,-4.77453"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;display:inline"
transform="translate(0.72071062,-946.34179)" />
<path
inkscape:connector-curvature="0"
id="path6046"
d="m 122.81167,1000.1075 c 1.75096,-2.17632 4.49772,-3.16172 6.6313,-4.50924"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;display:inline"
transform="translate(0.72071062,-946.34179)" />
<path
inkscape:connector-curvature="0"
id="path6048"
d="m 124.66844,1003.8211 c 1.75413,-1.2826 3.5341,-2.9761 5.03978,-4.24406"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;display:inline"
transform="translate(0.72071062,-946.34179)" />
<path
inkscape:connector-curvature="0"
id="path6050"
d="m 126.79045,1008.3304 c 1.68225,-0.2034 2.67471,-1.6049 3.97878,-2.3873"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;display:inline"
transform="translate(0.72071062,-946.34179)" />
<path
inkscape:connector-curvature="0"
id="path6052"
d="m 141.37931,984.45767 c 5.10502,-4.09065 11.18032,-7.31967 16.97613,-10.07957"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;display:inline"
transform="translate(0.72071062,-946.34179)" />
<path
sodipodi:nodetypes="cc"
inkscape:connector-curvature="0"
id="path6054"
d="m 146.68435,987.70171 c 8.44604,-5.74689 11.60552,-6.91266 21.48541,-9.28383"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;display:inline"
transform="translate(0.72071062,-946.34179)" />
<path
inkscape:connector-curvature="0"
id="path6058"
d="m 146.9496,997.78128 c 8.64434,-2.84026 17.64381,-3.66915 25.9947,-7.42705"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;display:inline"
transform="translate(0.72071062,-946.34179)" />
<path
sodipodi:nodetypes="cc"
inkscape:connector-curvature="0"
id="path6060"
d="m 142.97082,1003.5558 c 7.60232,-1.7497 14.66126,-1.9883 21.75067,-4.24402"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;display:inline"
transform="translate(0.72071062,-946.34179)" />
<path
inkscape:connector-curvature="0"
id="path6062"
d="m 138.99204,1008.8609 c 3.90161,-0.4499 7.8847,-1.4407 11.67109,-2.3873"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;display:inline"
transform="translate(0.72071062,-946.34179)" />
<path
inkscape:connector-curvature="0"
id="path6066"
d="m 130.23873,994.00674 c 3.96839,-5.88744 2.35029,1.25349 3.97878,2.12202"
style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;display:inline"
transform="translate(0.72071062,-946.34179)" />
<path
id="path3091-3"
d="m 116.48664,1005.7612 c 0.0781,-0.3515 0.39062,-1.6015 1.34765,-1.6015 0.0781,0 0.39062,0 0.6836,0.1758 -0.3711,0.059 -0.64454,0.4101 -0.64454,0.7421 0,0.2149 0.13672,0.4688 0.50781,0.4688 0.3125,0 0.74219,-0.2539 0.74219,-0.7813 0,-0.7226 -0.80078,-0.9179 -1.26953,-0.9179 -0.80078,0 -1.26953,0.7226 -1.42578,1.0547 -0.35157,-0.918 -1.09375,-1.0547 -1.48438,-1.0547 -1.40625,0 -2.1875,1.7773 -2.1875,2.1093 0,0.1368 0.13673,0.1368 0.15625,0.1368 0.11713,0 0.15625,-0.02 0.17579,-0.1563 0.46875,-1.4453 1.36719,-1.7773 1.83594,-1.7773 0.2539,0 0.74218,0.1171 0.74218,0.9179 0,0.4102 -0.23437,1.3282 -0.74218,3.2422 -0.21485,0.8399 -0.70313,1.4063 -1.28907,1.4063 -0.0976,0 -0.41016,0 -0.6836,-0.1758 0.33204,-0.059 0.625,-0.3516 0.625,-0.7227 0,-0.3711 -0.29296,-0.4882 -0.48827,-0.4882 -0.41016,0 -0.76173,0.3515 -0.76173,0.8007 0,0.625 0.6836,0.8985 1.28907,0.8985 0.89843,0 1.38672,-0.9571 1.42578,-1.0352 0.17578,0.4883 0.66407,1.0352 1.48438,1.0352 1.38671,0 2.16796,-1.7578 2.16796,-2.1094 0,-0.1367 -0.11712,-0.1367 -0.15625,-0.1367 -0.11712,0 -0.15625,0.059 -0.17577,0.1562 -0.44923,1.4649 -1.38673,1.7774 -1.81642,1.7774 -0.52733,0 -0.74218,-0.4297 -0.74218,-0.8985 0,-0.2929 0.0781,-0.5859 0.21485,-1.1914 l 0.46875,-1.875 z m 0,0"
style="fill:#000000;fill-opacity:1;stroke:none;display:inline"
inkscape:connector-curvature="0"
transform="translate(0.72071062,-946.34179)" />
<g
id="g3117-8"
transform="matrix(1.25,0,0,1.25,-192.82709,-100.68166)"
style="display:inline">
<path
inkscape:connector-curvature="0"
style="fill:#000000;fill-opacity:1;stroke:none"
d="m 302.15899,120.64512 c 0.0625,-0.28125 0.3125,-1.28125 1.07813,-1.28125 0.0625,0 0.3125,0 0.54687,0.14063 -0.29687,0.0469 -0.51562,0.32812 -0.51562,0.59375 0,0.17187 0.10937,0.375 0.40625,0.375 0.25,0 0.59375,-0.20313 0.59375,-0.625 0,-0.57813 -0.64063,-0.73438 -1.01563,-0.73438 -0.64062,0 -1.01562,0.57813 -1.14062,0.84375 -0.28125,-0.73437 -0.875,-0.84375 -1.1875,-0.84375 -1.125,0 -1.75,1.42188 -1.75,1.6875 0,0.10938 0.10937,0.10938 0.125,0.10938 0.0937,0 0.125,-0.0156 0.14062,-0.125 0.375,-1.15625 1.09375,-1.42188 1.46875,-1.42188 0.20313,0 0.59375,0.0937 0.59375,0.73438 0,0.32812 -0.1875,1.0625 -0.59375,2.59375 -0.17187,0.67187 -0.5625,1.125 -1.03125,1.125 -0.0781,0 -0.32812,0 -0.54687,-0.14063 0.26562,-0.0469 0.5,-0.28125 0.5,-0.57812 0,-0.29688 -0.23438,-0.39063 -0.39063,-0.39063 -0.32812,0 -0.60937,0.28125 -0.60937,0.64063 0,0.5 0.54687,0.71875 1.03125,0.71875 0.71875,0 1.10937,-0.76563 1.14062,-0.82813 0.14063,0.39063 0.53125,0.82813 1.1875,0.82813 1.10938,0 1.73438,-1.40625 1.73438,-1.6875 0,-0.10938 -0.0937,-0.10938 -0.125,-0.10938 -0.0937,0 -0.125,0.0469 -0.14063,0.125 -0.35937,1.17188 -1.10937,1.42188 -1.45312,1.42188 -0.42188,0 -0.59375,-0.34375 -0.59375,-0.71875 0,-0.23438 0.0625,-0.46875 0.17187,-0.95313 l 0.375,-1.5 z m 0,0"
id="path3095-0" />
<path
inkscape:connector-curvature="0"
style="fill:#000000;fill-opacity:1;stroke:none"
d="m 306.86636,115.65675 c 0.0469,-0.0937 0.0781,-0.15625 0.0781,-0.23437 0,-0.26563 -0.25,-0.4375 -0.46875,-0.4375 -0.3125,0 -0.40625,0.28125 -0.4375,0.39062 l -1.01563,3.4375 c -0.0312,0.0937 -0.0312,0.10938 -0.0312,0.125 0,0.0625 0.0469,0.0781 0.125,0.10938 0.15625,0.0625 0.17188,0.0625 0.1875,0.0625 0.0156,0 0.0625,0 0.125,-0.14063 l 1.4375,-3.3125 z m 0,0"
id="path3099-2" />
</g>
<path
id="path3107-4"
d="m 163.10793,984.801 c 0.0586,-0.1953 0.0586,-0.2148 0.0586,-0.3125 0,-0.2539 -0.19531,-0.3711 -0.39062,-0.3711 -0.13673,0 -0.35157,0.078 -0.48829,0.293 -0.0195,0.059 -0.13671,0.4883 -0.17578,0.7422 -0.0976,0.3515 -0.19531,0.7226 -0.27343,1.0742 l -0.62501,2.4609 c -0.0586,0.1953 -0.64454,1.1524 -1.54297,1.1524 -0.68359,0 -0.83984,-0.586 -0.83984,-1.0938 0,-0.625 0.23437,-1.4843 0.70312,-2.6758 0.21484,-0.5664 0.27344,-0.7031 0.27344,-0.9765 0,-0.625 -0.44922,-1.1328 -1.13281,-1.1328 -1.28906,0 -1.79688,1.9922 -1.79688,2.1093 0,0.1368 0.13672,0.1368 0.17578,0.1368 0.13672,0 0.13672,-0.02 0.21485,-0.2539 0.37109,-1.2696 0.91797,-1.6797 1.36719,-1.6797 0.11713,0 0.35156,0 0.35156,0.4297 0,0.3515 -0.13672,0.7031 -0.23437,0.957 -0.54688,1.4453 -0.80079,2.2266 -0.80079,2.8711 0,1.2109 0.85938,1.6211 1.67969,1.6211 0.52735,0 0.97656,-0.2344 1.36719,-0.625 -0.17578,0.7226 -0.33203,1.3867 -0.8789,2.1094 -0.35157,0.4492 -0.87892,0.8593 -1.50392,0.8593 -0.19531,0 -0.80077,-0.039 -1.03515,-0.5859 0.21484,0 0.39063,0 0.58594,-0.1563 0.13671,-0.1171 0.27344,-0.2929 0.27344,-0.5664 0,-0.4101 -0.3711,-0.4687 -0.50781,-0.4687 -0.3125,0 -0.76173,0.2148 -0.76173,0.8789 0,0.6836 0.60548,1.1914 1.44531,1.1914 1.40625,0 2.8125,-1.2305 3.18361,-2.7734 l 1.30859,-5.2149 z m 0,0"
style="fill:#000000;fill-opacity:1;stroke:none;display:inline"
inkscape:connector-curvature="0"
transform="translate(0.72071062,-946.34179)" />
<path
sodipodi:nodetypes="cc"
inkscape:connector-curvature="0"
id="path3129"
d="m 148.61616,992.14978 c 2.6661,-0.91262 4.98569,-1.81297 5.83554,-2.12201"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;display:inline"
transform="translate(0.72071062,-946.34179)" />
<path
sodipodi:nodetypes="cc"
inkscape:connector-curvature="0"
id="path3131"
d="m 165.32704,986.31424 c 3.43541,0.29111 6.41823,-1.5074 7.95756,-1.32626"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;display:inline"
transform="translate(0.72071062,-946.34179)" />
<path
id="path3079-7-8"
d="m 131.8586,1023.4276 c 0,-1.0938 -0.0586,-2.1875 -0.54687,-3.2032 -0.625,-1.3086 -1.73829,-1.5234 -2.32422,-1.5234 -0.80078,0 -1.79688,0.3516 -2.36328,1.6211 -0.42969,0.9375 -0.50781,2.0117 -0.50781,3.1055 0,1.0156 0.0586,2.2461 0.625,3.2812 0.58593,1.0938 1.58202,1.3672 2.24609,1.3672 0.72266,0 1.77734,-0.2734 2.36328,-1.582 0.44921,-0.9375 0.50781,-1.9922 0.50781,-3.0664 z m -2.87109,4.3554 c -0.52734,0 -1.34766,-0.332 -1.58203,-1.6406 -0.15625,-0.8203 -0.15625,-2.0898 -0.15625,-2.8906 0,-0.8594 0,-1.7578 0.11712,-2.5 0.2539,-1.6211 1.26953,-1.7578 1.62109,-1.7578 0.44923,0 1.34766,0.2539 1.60156,1.6015 0.13673,0.7617 0.13673,1.7969 0.13673,2.6563 0,1.0351 0,1.9531 -0.15625,2.832 -0.19532,1.2891 -0.97656,1.6992 -1.58204,1.6992 z m 0,0"
style="fill:#000000;fill-opacity:1;stroke:none;display:inline"
inkscape:connector-curvature="0"
transform="translate(0.72071062,-946.34179)" />
<path
inkscape:connector-curvature="0"
id="path6066-5"
d="m 120.36417,996.56801 c 3.96839,-5.88744 2.35029,1.25349 3.97878,2.12202"
style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;display:inline"
transform="translate(0.72071062,-946.34179)" />
</g>
</g>
<g
inkscape:label="Layer 1"
inkscape:groupmode="layer"
id="layer1"
transform="translate(-117.95777,-968.1499)"
style="display:inline">
<g
id="g4006"
transform="translate(104.58648,-4.4582689)">
<path
inkscape:connector-curvature="0"
id="path3128"
d="m 70.52359,1021.3647 c -8.71891,0 -31.60252,-1.9358 -45.74643,0 6.90215,-12.4106 17.51561,-28.08818 21.56617,-34.63659 14.07652,8.14646 17.18362,24.30309 24.18026,34.63659 z"
style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
<path
inkscape:connector-curvature="0"
id="path3906"
d="m 49.28418,993.59008 c -2.08639,2.47619 -6.72657,4.30745 -8.16901,4.9014"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" />
<path
inkscape:connector-curvature="0"
id="path3908"
d="m 52.55178,997.18444 c -4.96397,3.78546 -11.97815,6.23126 -16.33801,8.16896"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" />
<path
inkscape:connector-curvature="0"
id="path3914"
d="m 61.04754,1012.5422 c -5.7153,0.4053 -12.6091,3.0392 -16.33801,4.5746"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" />
<path
inkscape:connector-curvature="0"
id="path3916"
d="m 63.33486,1016.1365 c -2.1349,0.3087 -3.7134,1.3106 -5.55492,1.9606"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" />
<path
inkscape:connector-curvature="0"
id="path5512"
d="m 38.787798,1009.1261 c -1.426932,1.3189 -3.056463,1.1997 -4.244031,2.3873"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" />
<path
sodipodi:nodetypes="cc"
inkscape:connector-curvature="0"
id="path5514"
d="m 41.37931,1012.5744 c -3.295644,1.9192 -8.145369,5.305 -11.405835,5.305"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" />
<path
inkscape:connector-curvature="0"
id="path5516"
d="m 50.397878,1003.5558 c 1.501083,-0.2905 2.95219,-1.6087 3.97878,-2.122"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" />
<path
sodipodi:nodetypes="cc"
inkscape:connector-curvature="0"
id="path5518"
d="m 50.66313,1010.4524 c 1.596239,-1.9005 5.502064,-2.8837 7.161804,-3.7136"
style="fill:none;stroke:#000000;stroke-width:0.5;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" />
<path
inkscape:connector-curvature="0"
id="path5520"
d="m 29.177719,1008.8609 c 3.658958,-0.03 3.713528,-0.6706 3.713528,2.9177"
style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
<path
inkscape:connector-curvature="0"
id="path5522"
d="m 61.27321,1008.0651 c 0.587625,-4.6075 1.394093,-3.1491 3.448275,-2.122"
style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
<path
inkscape:connector-curvature="0"
id="path5526"
d="m 51.193634,1018.4099 c 0.08842,0.3537 0.618921,0.9726 0.265252,1.061 -0.353669,0.088 -0.523031,-1.3188 -0.265252,-1.061 0.349792,0.3498 2.15909,2.8807 2.122016,2.9178 -0.736169,0.7362 -2.906355,2.8949 -2.387268,1.8568"
style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
<path
inkscape:connector-curvature="0"
id="path5528"
d="m 27.259947,1019.2057 c -2.213734,6.2787 -2.496497,4.6185 1.856764,0.2652 0.68429,-0.6843 0.148671,1.1033 0,1.3263 -0.109358,0.164 -1.233696,1.4188 -1.061008,1.5915 0.307281,0.3073 4.448649,-3.183 5.30504,-3.183 0.07819,0 -3.38015,5.1079 -3.448276,5.0398 -0.21661,-0.2166 2.238131,-1.9729 2.387268,-2.122 0.289358,-0.2894 3.138214,-2.9626 3.448276,-2.6526 0.357532,0.3576 -2.65252,4.1262 -2.65252,3.7136 0,-0.6208 4.409713,-2.805 5.039788,-3.1831 0.546725,-0.328 1.591511,-1.6986 1.591511,-1.061 0,2.3168 -3.183023,4.757 -3.183023,4.5093 0,-0.6721 3.576418,-2.5154 4.244031,-3.183 0.115107,-0.1151 0.906832,-0.6847 1.061008,-0.5305 0.794061,0.794 -1.856764,2.3155 -1.856764,2.9178 0,0.051 1.219014,-0.9806 1.32626,-1.061 1.279781,-0.9599 2.597688,-2.0892 3.97878,-2.9178 3.825821,-2.2955 -1.923492,4.244 -2.65252,4.244 -0.226604,0 1.488001,-0.9834 1.591512,-1.061 1.118245,-0.8387 2.259254,-1.5946 3.448276,-2.3873 1.971967,-1.3146 -1.950805,3.3627 -1.591512,3.1831 3.152437,-1.5763 5.570292,-4.2291 5.570292,-3.4483 0,1.2431 -3.625895,2.9178 -3.183024,2.9178 1.015648,0 5.112065,-3.6413 5.835544,-2.9178 0.403875,0.4039 -2.917772,4.4521 -2.917772,3.7135 0,-0.1141 2.167112,-1.1611 2.387268,-1.3262 0.801917,-0.6015 1.528993,-0.8972 2.387268,-1.3263 0.285137,-0.1426 0.795756,-0.8493 0.795756,-0.5305 0,1.1301 -1.601609,2.3974 -2.387268,3.183 -0.176835,0.1768 -0.530504,0.7806 -0.530504,0.5305 0,-0.2796 0.536154,-0.1614 0.795756,-0.2652 0.740326,-0.2962 1.445699,-0.6553 2.122016,-1.061 0.291489,-0.1749 3.655183,-2.4457 3.97878,-2.1221 0.232252,0.2323 -2.910064,3.9788 -3.183024,3.9788 -0.176115,0 1.043392,-1.0469 1.061008,-1.061 0.961775,-0.7694 3.883958,-2.9178 4.774535,-2.9178 0.909754,0 -4.302151,4.2441 -3.713527,4.2441 2.000828,0 5.213641,-4.0657 7.161803,-5.0398 1.376284,-0.6882 -2.387268,3.1416 -2.387268,2.9178 0,-0.7129 1.245506,-0.6943 1.856764,-1.0611 0.756936,-0.4541 1.350895,-1.2059 2.122016,-1.5915 1.171962,-0.5859 0.0666,5.7035 -1.061008,3.4483"
style="fill:none;stroke:#787878;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />
<path
id="path3079"
d="m 21.811769,1027.7441 c 0,-1.0938 -0.05862,-2.1875 -0.546875,-3.2032 -0.625,-1.3086 -1.738288,-1.5234 -2.324225,-1.5234 -0.800775,0 -1.796876,0.3516 -2.363276,1.6211 -0.429687,0.9375 -0.507812,2.0117 -0.507812,3.1055 0,1.0156 0.05862,2.2461 0.625,3.2812 0.585937,1.0938 1.582025,1.3672 2.246088,1.3672 0.722662,0 1.77735,-0.2734 2.363287,-1.582 0.449213,-0.9375 0.507813,-1.9922 0.507813,-3.0664 z m -2.8711,4.3554 c -0.527338,0 -1.347651,-0.332 -1.582026,-1.6406 -0.15625,-0.8203 -0.15625,-2.0898 -0.15625,-2.8906 0,-0.8594 0,-1.7578 0.117125,-2.5 0.2539,-1.6211 1.269526,-1.7578 1.621088,-1.7578 0.449225,0 1.347663,0.2539 1.601563,1.6015 0.136725,0.7617 0.136725,1.7969 0.136725,2.6563 0,1.0351 0,1.9531 -0.15625,2.832 -0.195313,1.2891 -0.976563,1.6992 -1.582038,1.6992 z m 0,0"
style="fill:#000000;fill-opacity:1;stroke:none"
inkscape:connector-curvature="0" />
<path
id="path3091"
d="m 30.05946,998.27017 c 0.07813,-0.3515 0.390625,-1.6015 1.34765,-1.6015 0.07813,0 0.390625,0 0.6836,0.1758 -0.3711,0.059 -0.644538,0.4101 -0.644538,0.7421 0,0.2149 0.136725,0.4688 0.507813,0.4688 0.3125,0 0.742187,-0.2539 0.742187,-0.7813 0,-0.7226 -0.800775,-0.9179 -1.269525,-0.9179 -0.800787,0 -1.269537,0.7226 -1.425787,1.0547 -0.351563,-0.918 -1.09375,-1.0547 -1.484375,-1.0547 -1.40625,0 -2.1875,1.7773 -2.1875,2.1093 0,0.1368 0.136725,0.1368 0.15625,0.1368 0.117125,0 0.15625,-0.02 0.175787,-0.1563 0.46875,-1.4453 1.367188,-1.7773 1.835938,-1.7773 0.2539,0 0.742187,0.1171 0.742187,0.9179 0,0.4102 -0.234375,1.3282 -0.742187,3.24223 -0.21485,0.8399 -0.703125,1.4063 -1.289063,1.4063 -0.09762,0 -0.410162,0 -0.6836,-0.1758 0.332038,-0.059 0.625,-0.3516 0.625,-0.7227 0,-0.3711 -0.292962,-0.4882 -0.488275,-0.4882 -0.410162,0 -0.761725,0.3515 -0.761725,0.8007 0,0.625 0.6836,0.8985 1.289063,0.8985 0.898437,0 1.386725,-0.9571 1.425787,-1.0352 0.175775,0.4883 0.664063,1.0352 1.484375,1.0352 1.386713,0 2.167963,-1.7578 2.167963,-2.1094 0,-0.1367 -0.117125,-0.1367 -0.15625,-0.1367 -0.117125,0 -0.15625,0.059 -0.175775,0.1562 -0.449225,1.4649 -1.386725,1.7774 -1.816413,1.7774 -0.527337,0 -0.742187,-0.4297 -0.742187,-0.8985 0,-0.2929 0.07813,-0.5859 0.21485,-1.1914 l 0.46875,-1.87503 z m 0,0"
style="fill:#000000;fill-opacity:1;stroke:none"
inkscape:connector-curvature="0" />
<g
id="g3117"
transform="matrix(1.25,0,0,1.25,-312.57415,843.48501)">
<path
inkscape:connector-curvature="0"
style="fill:#000000;fill-opacity:1;stroke:none"
d="m 302.15899,120.64512 c 0.0625,-0.28125 0.3125,-1.28125 1.07813,-1.28125 0.0625,0 0.3125,0 0.54687,0.14063 -0.29687,0.0469 -0.51562,0.32812 -0.51562,0.59375 0,0.17187 0.10937,0.375 0.40625,0.375 0.25,0 0.59375,-0.20313 0.59375,-0.625 0,-0.57813 -0.64063,-0.73438 -1.01563,-0.73438 -0.64062,0 -1.01562,0.57813 -1.14062,0.84375 -0.28125,-0.73437 -0.875,-0.84375 -1.1875,-0.84375 -1.125,0 -1.75,1.42188 -1.75,1.6875 0,0.10938 0.10937,0.10938 0.125,0.10938 0.0937,0 0.125,-0.0156 0.14062,-0.125 0.375,-1.15625 1.09375,-1.42188 1.46875,-1.42188 0.20313,0 0.59375,0.0937 0.59375,0.73438 0,0.32812 -0.1875,1.0625 -0.59375,2.59375 -0.17187,0.67187 -0.5625,1.125 -1.03125,1.125 -0.0781,0 -0.32812,0 -0.54687,-0.14063 0.26562,-0.0469 0.5,-0.28125 0.5,-0.57812 0,-0.29688 -0.23438,-0.39063 -0.39063,-0.39063 -0.32812,0 -0.60937,0.28125 -0.60937,0.64063 0,0.5 0.54687,0.71875 1.03125,0.71875 0.71875,0 1.10937,-0.76563 1.14062,-0.82813 0.14063,0.39063 0.53125,0.82813 1.1875,0.82813 1.10938,0 1.73438,-1.40625 1.73438,-1.6875 0,-0.10938 -0.0937,-0.10938 -0.125,-0.10938 -0.0937,0 -0.125,0.0469 -0.14063,0.125 -0.35937,1.17188 -1.10937,1.42188 -1.45312,1.42188 -0.42188,0 -0.59375,-0.34375 -0.59375,-0.71875 0,-0.23438 0.0625,-0.46875 0.17187,-0.95313 l 0.375,-1.5 z m 0,0"
id="path3095" />
<path
inkscape:connector-curvature="0"
style="fill:#000000;fill-opacity:1;stroke:none"
d="m 306.86636,115.65675 c 0.0469,-0.0937 0.0781,-0.15625 0.0781,-0.23437 0,-0.26563 -0.25,-0.4375 -0.46875,-0.4375 -0.3125,0 -0.40625,0.28125 -0.4375,0.39062 l -1.01563,3.4375 c -0.0312,0.0937 -0.0312,0.10938 -0.0312,0.125 0,0.0625 0.0469,0.0781 0.125,0.10938 0.15625,0.0625 0.17188,0.0625 0.1875,0.0625 0.0156,0 0.0625,0 0.125,-0.14063 l 1.4375,-3.3125 z m 0,0"
id="path3099" />
</g>
<path
id="path3107"
d="m 49.273878,1005.684 c 0.0586,-0.1953 0.0586,-0.2148 0.0586,-0.3125 0,-0.2539 -0.19531,-0.3711 -0.39062,-0.3711 -0.13673,0 -0.35157,0.078 -0.48829,0.293 -0.0195,0.059 -0.13671,0.4883 -0.17578,0.7422 -0.0976,0.3515 -0.19531,0.7226 -0.27343,1.0742 l -0.625004,2.4609 c -0.05862,0.1953 -0.644537,1.1524 -1.542975,1.1524 -0.683588,0 -0.839838,-0.586 -0.839838,-1.0938 0,-0.625 0.234375,-1.4843 0.703125,-2.6758 0.214838,-0.5664 0.273438,-0.7031 0.273438,-0.9765 0,-0.625 -0.449225,-1.1328 -1.132813,-1.1328 -1.289062,0 -1.796875,1.9922 -1.796875,2.1093 0,0.1368 0.136713,0.1368 0.175776,0.1368 0.136724,0 0.136724,-0.02 0.214849,-0.2539 0.371093,-1.2696 0.917968,-1.6797 1.367193,-1.6797 0.117125,0 0.351562,0 0.351562,0.4297 0,0.3515 -0.136724,0.7031 -0.234375,0.957 -0.546875,1.4453 -0.800787,2.2266 -0.800787,2.8711 0,1.2109 0.859375,1.6211 1.679688,1.6211 0.527349,0 0.976562,-0.2344 1.367187,-0.625 -0.175775,0.7226 -0.332025,1.3867 -0.8789,2.1094 -0.351563,0.4492 -0.878912,0.8593 -1.503912,0.8593 -0.195313,0 -0.800776,-0.039 -1.035151,-0.5859 0.214838,0 0.390625,0 0.585938,-0.1563 0.136713,-0.1171 0.273437,-0.2929 0.273437,-0.5664 0,-0.4101 -0.371099,-0.4687 -0.507812,-0.4687 -0.3125,0 -0.761725,0.2148 -0.761725,0.8789 0,0.6836 0.605475,1.1914 1.445313,1.1914 1.40625,0 2.8125,-1.2305 3.183601,-2.7734 l 1.30859,-5.2149 z m 0,0"
style="fill:#000000;fill-opacity:1;stroke:none"
inkscape:connector-curvature="0" />
<path
id="path3079-7"
d="m 77.216697,1029.2631 c 0,-1.0938 -0.05862,-2.1875 -0.546875,-3.2032 -0.625,-1.3086 -1.738288,-1.5234 -2.324225,-1.5234 -0.800775,0 -1.796876,0.3516 -2.363276,1.6211 -0.429687,0.9375 -0.507812,2.0117 -0.507812,3.1055 0,1.0156 0.05862,2.2461 0.625,3.2812 0.585937,1.0938 1.582025,1.3672 2.246088,1.3672 0.722662,0 1.77735,-0.2734 2.363287,-1.582 0.449213,-0.9375 0.507813,-1.9922 0.507813,-3.0664 z m -2.8711,4.3554 c -0.527338,0 -1.347651,-0.332 -1.582026,-1.6406 -0.15625,-0.8203 -0.15625,-2.0898 -0.15625,-2.8906 0,-0.8594 0,-1.7578 0.117125,-2.5 0.2539,-1.6211 1.269526,-1.7578 1.621088,-1.7578 0.449225,0 1.347663,0.2539 1.601563,1.6015 0.136725,0.7617 0.136725,1.7969 0.136725,2.6563 0,1.0351 0,1.9531 -0.15625,2.832 -0.195313,1.2891 -0.976563,1.6992 -1.582038,1.6992 z m 0,0"
style="fill:#000000;fill-opacity:1;stroke:none"
inkscape:connector-curvature="0" />
<path
id="path3079-9"
d="m 48.569481,978.33477 c 0,-1.0938 -0.05862,-2.1875 -0.546875,-3.2032 -0.625,-1.3086 -1.738288,-1.5234 -2.324225,-1.5234 -0.800775,0 -1.796876,0.3516 -2.363276,1.6211 -0.429687,0.9375 -0.507812,2.0117 -0.507812,3.1055 0,1.0156 0.05862,2.2461 0.625,3.2812 0.585937,1.0938 1.582025,1.3672 2.246088,1.3672 0.722662,0 1.77735,-0.2734 2.363287,-1.582 0.449213,-0.9375 0.507813,-1.9922 0.507813,-3.0664 z m -2.8711,4.3554 c -0.527338,0 -1.347651,-0.332 -1.582026,-1.6406 -0.15625,-0.8203 -0.15625,-2.0898 -0.15625,-2.8906 0,-0.8594 0,-1.7578 0.117125,-2.5 0.2539,-1.6211 1.269526,-1.7578 1.621088,-1.7578 0.449225,0 1.347663,0.2539 1.601563,1.6015 0.136725,0.7617 0.136725,1.7969 0.136725,2.6563 0,1.0351 0,1.9531 -0.15625,2.832 -0.195313,1.2891 -0.976563,1.6992 -1.582038,1.6992 z m 0,0"
style="fill:#000000;fill-opacity:1;stroke:none"
inkscape:connector-curvature="0" />
</g>
</g>
</svg>
Side by Side

After

Width:  |  Height:  |  Size: 28 KiB

BIN
thesis/images/simplicial_htp1.pdf
View File

Binary file not shown.

BIN
thesis/images/simplicial_htp2.pdf
View File

Binary file not shown.

8
thesis/symbols.tex
View File

@ -39,7 +39,11 @@
% $$ \delta^0 - \delta^1 + \delta^2 $$
% For singular homology
$$ X' \, X \subseteq \R^2 $$
$$ \sigma_1 \sigma_2 \sigma_3 \tau $$
% $$ X' \, X \subseteq \R^2 $$
% $$ \sigma_1 \sigma_2 \sigma_3 \tau $$
% For simplicial htp (degree 1)
$$ 0, x, x', y $$
$$ x_0, x_1, x_2 $$
\end{document}