1: \begin{proof}

2:   The inverse image of a point $M \in \psi_\theta(n,1)$ is a subspace

3:   of the infinite simplex $B(\R,\leq)$.  It is the simplex whose

4:   vertices is the space of regular values of $x_1: M \to \R$.  Points

5:   in the inverse image of $M$ can be represented as formal affine

6:   combinations (i.e.\ formal linear combinations where the

7:   coefficients are non-negative and sum to 1) of regular values of

8:   $x_1$.  This inverse image is contractible (the space of vertices is

9:   non-empty by Sard's theorem) which suggests the map might be a weak

10:   equivalence.  To give a rigorous proof we calculate the relative

11:   homotopy groups.

12: 

13:   Let

14:   \begin{align*}

15:     f: D^m &\to \psi_\theta(n,1) \\

16:     \hat f: \partial D^m &\to BD_\theta(\R^n)

17:   \end{align*}

18:   be continuous maps with $u \circ \hat f = f|_{\partial D^m}$.

19: 

20:   For $a \in \R$, let $U_a \subseteq D^m$ be the set of points $x$

21:   such that $a$ is a regular value of $x_1: f(x) \to \R$.  This is an

22:   open subset of $D^m$, so by compactness we can pick finitely many

23:   $a_1, \dots, a_k \in \R$ such that the $U_{a_i}$ cover $D^m$.  Pick

24:   a partition of unity $\lambda_1, \dots, \lambda_k: D^m \to [0,1]$

25:   subordinate to the cover.  Using $\lambda_i$ as a formal coefficient

26:   of $a_i$ gives a map

27:   \begin{align*}

28:     g: D^m \to BD_\theta(\R^n)

29:   \end{align*}

30:   which lifts $f$, i.e.\ $u \circ g = f$.  Finally we produce a

31:   homotopy between the two maps $g |_{\partial D^m}$ and $\hat f$.

32:   Since they are both lifts of $f|_{\partial D^m}$, we can just use the affine

33:   structure on the fibres of $u$ to give the straight-line homotopy.

34: 

35:   This proves that the relative homotopy groups (of $BD_\theta(\R^n)$

36:   as a subspace of the mapping cylinder of $u$) vanish and hence the

37:   map $u$ is a weak equivalence.

38: \end{proof}

39: