--- a/text/appendixes/famodiff.tex Mon Dec 21 21:51:44 2009 +0000
+++ b/text/appendixes/famodiff.tex Tue Dec 22 21:18:07 2009 +0000
@@ -2,9 +2,13 @@
\section{Families of Diffeomorphisms} \label{sec:localising}
-Lo, the proof of Lemma (\ref{extension_lemma}):
+In this appendix we provide the proof of
-\nn{should this be an appendix instead?}
+\begin{lem*}[Restatement of Lemma \ref{extension_lemma}]
+Let $x \in CD_k(X)$ be a singular chain such that $\bd x$ is adapted to $\cU$.
+Then $x$ is homotopic (rel boundary) to some $x' \in CD_k(X)$ which is adapted to $\cU$.
+Furthermore, one can choose the homotopy so that its support is equal to the support of $x$.
+\end{lem*}
\nn{for pedagogical reasons, should do $k=1,2$ cases first; probably do this in
later draft}
@@ -12,6 +16,8 @@
\nn{not sure what the best way to deal with boundary is; for now just give main argument, worry
about boundary later}
+\begin{proof}
+
Recall that we are given
an open cover $\cU = \{U_\alpha\}$ and an
$x \in CD_k(X)$ such that $\bd x$ is adapted to $\cU$.
@@ -94,12 +100,13 @@
the $k{-}j$-cell corresponding to $E$.
For each $\beta \in \cN$, let $\{q_{\beta i}\}$ be the set of points in $P$ associated to the aforementioned $k$-cells.
Now define, for $p \in E$,
-\eq{
+\begin{equation}
+\label{eq:u}
u(t, p, x) = (1-t)p + t \left(
\sum_{\alpha \notin \cN} r_\alpha(x) p_{c_\alpha}
+ \sum_{\beta \in \cN} r_\beta(x) \left( \sum_i \eta_{\beta i}(p) \cdot q_{\beta i} \right)
\right) .
-}
+\end{equation}
Here $\eta_{\beta i}(p)$ is the weight given to $q_{\beta i}$ by the linear extension
mentioned above.
@@ -125,7 +132,7 @@
(Recall that $X$ and $P$ are compact.)
Also, $\pd{f}{p}$ is bounded.
So if we can insure that $\pd{u}{x}$ is sufficiently small, we are done.
-It follows from Equation xxxx above that $\pd{u}{x}$ depends on $\pd{r_\alpha}{x}$
+It follows from Equation \eqref{eq:u} above that $\pd{u}{x}$ depends on $\pd{r_\alpha}{x}$
(which is bounded)
and the differences amongst the various $p_{c_\alpha}$'s and $q_{\beta i}$'s.
These differences are small if the cell decompositions $K_\alpha$ are sufficiently fine.
@@ -185,5 +192,7 @@
\nn{this completes proof}
-\input{text/explicit.tex}
+\end{proof}
+\input{text/appendixes/explicit.tex}
+