text/ncat.tex
changeset 899 b04070fc937b
parent 897 9ba67422f1b9
parent 898 14e05e9785c0
child 903 26cbfb7944f9
equal deleted inserted replaced
897:9ba67422f1b9 899:b04070fc937b
   818 
   818 
   819 \begin{proof}
   819 \begin{proof}
   820 After a small perturbation, we may assume that $q$ is simultaneously transverse to all the splittings in $P$, and
   820 After a small perturbation, we may assume that $q$ is simultaneously transverse to all the splittings in $P$, and
   821 (by Axiom \ref{axiom:splittings}) that $c$ splits along $q$.
   821 (by Axiom \ref{axiom:splittings}) that $c$ splits along $q$.
   822 We can now choose, for each splitting $p$ in $P$, a common refinement $p'$ of $p$ and $q$.
   822 We can now choose, for each splitting $p$ in $P$, a common refinement $p'$ of $p$ and $q$.
   823 This constitutes the middle part of $\vcone(P)$.
   823 This constitutes the middle part ($P\times \{0\}$ above) of $\vcone(P)$.
   824 \end{proof}
   824 \end{proof}
   825 
   825 
   826 
   826 
   827 \noop{ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   827 \noop{ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   828 
   828