text/appendixes/famodiff.tex
changeset 345 c27e875508fd
parent 325 0bfcb02658ce
child 550 c9f41c18a96f
--- a/text/appendixes/famodiff.tex	Fri Jun 04 20:37:38 2010 -0700
+++ b/text/appendixes/famodiff.tex	Fri Jun 04 20:43:14 2010 -0700
@@ -39,7 +39,9 @@
 Furthermore, if $Q$ is a convex linear subpolyhedron of $\bd P$ and $f$ restricted to $Q$
 has support $S' \subset X$, then
 $F: (I\times Q)\times X\to T$ also has support $S'$.
-\item Suppose both $X$ and $T$ are smooth manifolds, metric spaces, or PL manifolds, and let $\cX$ denote the subspace of $\Maps(X \to T)$ consisting of immersions or of diffeomorphisms (in the smooth case), bi-Lipschitz homeomorphisms (in the metric case), or PL homeomorphisms (in the PL case).
+\item Suppose both $X$ and $T$ are smooth manifolds, metric spaces, or PL manifolds, and 
+let $\cX$ denote the subspace of $\Maps(X \to T)$ consisting of immersions or of diffeomorphisms (in the smooth case), 
+bi-Lipschitz homeomorphisms (in the metric case), or PL homeomorphisms (in the PL case).
  If $f$ is smooth, Lipschitz or PL, as appropriate, and $f(p, \cdot):X\to T$ is in $\cX$ for all $p \in P$
 then $F(t, p, \cdot)$ is also in $\cX$ for all $t\in I$ and $p\in P$.
 \end{enumerate}
@@ -128,7 +130,10 @@
              \right) .
 \end{equation}
 
-This completes the definition of $u: I \times P \times X \to P$. The formulas above are consistent: for $p$ at the boundary between a $k-j$-handle and a $k-(j+1)$-handle the corresponding expressions in Equation \eqref{eq:u} agree, since one of the normal coordinates becomes $0$ or $1$. 
+This completes the definition of $u: I \times P \times X \to P$. 
+The formulas above are consistent: for $p$ at the boundary between a $k-j$-handle and 
+a $k-(j+1)$-handle the corresponding expressions in Equation \eqref{eq:u} agree, 
+since one of the normal coordinates becomes $0$ or $1$. 
 Note that if $Q\sub \bd P$ is a convex linear subpolyhedron, then $u(I\times Q\times X) \sub Q$.
 
 \medskip
@@ -208,7 +213,9 @@
 \end{proof}
 
 \begin{lemma} \label{extension_lemma_c}
-Let $\cX_*$ be any of $C_*(\Maps(X \to T))$ or singular chains on the subspace of $\Maps(X\to T)$ consisting of immersions, diffeomorphisms, bi-Lipschitz homeomorphisms or PL homeomorphisms.
+Let $\cX_*$ be any of $C_*(\Maps(X \to T))$ or singular chains on the 
+subspace of $\Maps(X\to T)$ consisting of immersions, diffeomorphisms, 
+bi-Lipschitz homeomorphisms or PL homeomorphisms.
 Let $G_* \subset \cX_*$ denote the chains adapted to an open cover $\cU$
 of $X$.
 Then $G_*$ is a strong deformation retract of $\cX_*$.