diff -r e0b304e6b975 -r e1d24be683bb text/definitions.tex --- a/text/definitions.tex Wed Oct 28 00:54:35 2009 +0000 +++ b/text/definitions.tex Wed Oct 28 02:44:29 2009 +0000 @@ -105,10 +105,21 @@ covering $\bar{f}:Y\to Y$, then $f(c\times I) = \bar{f}(c)\times I$. \end{enumerate} -\nn{need to introduce two notations for glued fields --- $x\bullet y$ and $x\sgl$} +There are two notations we commonly use for gluing. +One is +\[ + x\sgl \deq \gl(x) \in \cC(X\sgl) , +\] +for $x\in\cC(X)$. +The other is +\[ + x_1\bullet x_2 \deq \gl(x_1\otimes x_2) \in \cC(X\sgl) , +\] +in the case that $X = X_1 \du X_2$, with $x_i \in \cC(X_i)$. -\bigskip -Using the functoriality and $\bullet\times I$ properties above, together +\medskip + +Using the functoriality and $\cdot\times I$ properties above, together with boundary collar homeomorphisms of manifolds, we can define the notion of {\it extended isotopy}. Let $M$ be an $n$-manifold and $Y \subset \bd M$ be a codimension zero submanifold