text/smallblobs.tex
changeset 146 08bbcf3ec4d2
parent 82 e9fac1a6954b
child 168 576466ef9a68
equal deleted inserted replaced
145:b5c1a6aec50d 146:08bbcf3ec4d2
     1 Not sure where this goes yet.
     1 %!TEX root = ../blob1.tex
       
     2 \nn{Not sure where this goes yet: small blobs, unfinished:}
     2 
     3 
     3 Fix $\cU$, an open cover of $M$. Define the `small blob complex' $\bc^{\cU}_*(M)$ to be the subcomplex of $\bc_*(M)$ of all blob diagrams in which every blob is contained in some open set of $\cU$.
     4 Fix $\cU$, an open cover of $M$. Define the `small blob complex' $\bc^{\cU}_*(M)$ to be the subcomplex of $\bc_*(M)$ of all blob diagrams in which every blob is contained in some open set of $\cU$.
     4 
     5 
     5 \begin{lem}[Small blobs]
     6 \begin{lem}[Small blobs]
     6 The inclusion $i: \bc^{\cU}_*(M) \into \bc_*(M)$ is a homotopy equivalence.
     7 The inclusion $i: \bc^{\cU}_*(M) \into \bc_*(M)$ is a homotopy equivalence.