# HG changeset patch
# User kevin@6e1638ff-ae45-0410-89bd-df963105f760
# Date 1266852747 0
# Node ID 5200a0eac737204261f29b0e75b958557d7dca0f
# Parent  0e71da01b1958cffc16e72e01136051b706f7b56
...

diff -r 0e71da01b195 -r 5200a0eac737 text/appendixes/famodiff.tex
--- a/text/appendixes/famodiff.tex	Sun Feb 21 23:27:38 2010 +0000
+++ b/text/appendixes/famodiff.tex	Mon Feb 22 15:32:27 2010 +0000
@@ -3,6 +3,7 @@
 \section{Families of Diffeomorphisms}  \label{sec:localising}
 
 In this appendix we provide the proof of
+\nn{should change this to the more general \ref{extension_lemma_b}}
 
 \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$.
diff -r 0e71da01b195 -r 5200a0eac737 text/evmap.tex
--- a/text/evmap.tex	Sun Feb 21 23:27:38 2010 +0000
+++ b/text/evmap.tex	Mon Feb 22 15:32:27 2010 +0000
@@ -106,6 +106,23 @@
 \end{lemma}
 
 The proof will be given in Section \ref{sec:localising}.
+We will actually prove the following more general result.
+Let $S$ and $T$ be an arbitrary topological spaces.
+%\nn{might need to restrict $S$; the proof uses partition of unity on $S$;
+%check this; or maybe just restrict the cover}
+Let $CM_*(S, T)$ denote the singular chains on the space of continuous maps
+from $S$ to $T$.
+Let $\cU$ be an open cover of $S$ which affords a partition of unity.
+\nn{for some $S$ and $\cU$ there is no partition of unity?  like if $S$ is not paracompact?}
+
+\begin{lemma}  \label{extension_lemma_b}
+Let $x \in CM_k(S, T)$ be a singular chain such that $\bd x$ is adapted to $\cU$.
+Then $x$ is homotopic (rel boundary) to some $x' \in CM_k(S, T)$ which is adapted to $\cU$.
+Furthermore, one can choose the homotopy so that its support is equal to the support of $x$.
+If $S$ and $T$ are manifolds, the statement remains true if we replace $CM_*(S, T)$ with
+chains of smooth maps or immersions.
+\end{lemma}
+
 
 \medskip