1: \begin{abstract}

2: The $k$th finite subset space of a topological space $X$ is

3: the space \Exp{k}{X}\ of non-empty finite subsets of $X$ of size at most 

4: $k$, topologised as

5: a quotient of $X^k$. The construction is a homotopy functor and

6: may be regarded as a union of configuration spaces of distinct unordered points

7: in $X$. We calculate the homology of the finite subset spaces of a 

8: connected graph $\Gamma$,

9: and study the maps $(\Exp{k}{\phi})_*$ induced by a map 

10: $\phi\co\Gamma\rightarrow\Gamma'$ between two such graphs. By homotopy 

11: functoriality the results apply

12: to punctured surfaces also. The braid group $B_n$ may be regarded as the

13: mapping class group of an $n$--punctured disc $D_n$, and as such it acts on

14: $H_*(\Exp{k}{D_n})$. We prove a structure theorem for this action, showing

15: that the image of the pure braid group is nilpotent of class at most

16: $\lfloor (n-1)/2\rfloor$. 

17: \end{abstract}

18: