# HG changeset patch # User Kevin Walker # Date 1276728779 25200 # Node ID 2eb73a43726a3172ff95cb44b249d215cf29baf5 # Parent 5ce95bd193ba5552711a32b6ec13d49d313e4b9a# Parent eb7a1ea85179339c0c390fb95c0f56592df9c5d8 Automated merge with https://tqft.net/hg/blob/ diff -r 5ce95bd193ba -r 2eb73a43726a text/evmap.tex --- a/text/evmap.tex Wed Jun 16 15:29:19 2010 -0700 +++ b/text/evmap.tex Wed Jun 16 15:52:59 2010 -0700 @@ -618,6 +618,19 @@ \end{proof} +\noop{ + +\nn{this should perhaps be a numbered remark, so we can cite it more easily} + +\begin{rem} +For the proof of xxxx below we will need the following observation on the action constructed above. +Let $b$ be a blob diagram and $p:P\times X\to X$ be a family of homeomorphisms. +Then we may choose $e$ such that $e(p\ot b)$ is a sum of generators, each +of which has support arbitrarily close to $p(t,|b|)$ for some $t\in P$. +This follows from the fact that the +\nn{not correct, since there could also be small balls far from $|b|$} +\end{rem} +} \begin{prop} The $CH_*(X, Y)$ actions defined above are associative.