text/appendixes/famodiff.tex
changeset 795 4d66ffe8dc85
parent 794 24f14faacab4
child 826 979c947d0b82
--- a/text/appendixes/famodiff.tex	Wed Jun 15 14:15:19 2011 -0600
+++ b/text/appendixes/famodiff.tex	Thu Jun 16 08:51:40 2011 -0600
@@ -258,7 +258,8 @@
 \item $h(p, 0) = f(p)$ for all $p\in P$.
 \item The restriction of $h(p, i)$ to $U_0^i \cup \cdots \cup U_i^i$ is equal to the homeomorphism $g$,
 for all $p\in P$.
-\item For each fixed $p\in P$, the family of homeomorphisms $h(p, [i-1, i])$ is supported on $U_i^{i-1}$
+\item For each fixed $p\in P$, the family of homeomorphisms $h(p, [i-1, i])$ is supported on 
+$U_i^{i-1} \setmin (U_0^i \cup \cdots \cup U_{i-1}^i)$
 (and hence supported on $U_i$).
 \end{itemize}
 To apply Theorem 5.1 of \cite{MR0283802}, the family $f(P)$ must be sufficiently small,