Continuous maps to fat geometric realizations of simplicial spaces

Question

The nLab page on partitions of unity mentions the application of partitions of unity as a way to construct continuous maps to geometric realizations of simplicial spaces. However I often feel uncomfortable with the continuity of maps constructed in the realm of this example.

Let me discuss my uncertainty with the help of an explicit example.

Let $X$ be a space with an open cover $X=\bigcup_{i\in I} U_i$ and a partition of unity $\{f_i\colon X\rightarrow\mathbb{R}\}_{i\in I}$ subordinate to this cover and $\{a_i\}_{i\in I}$ a sequence of arbitrary real numbers.

Consider the poset $(\mathbb{R},\le)$ as a category internal to Spaces with the usual Euclidian topology. The nerve of this is a simplicial space $N_\bullet(\mathbb{R},\le)$. It has a geometric realization $||N_\bullet(\mathbb{R},\le)||=B(\mathbb{R},\le)$, whereby I mean the so called "fat" geometric realization, i.e. I only factor out the face maps and not the degeneracies.

Now define a map $g\colon X\rightarrow||N_\bullet(\mathbb{R},\le)||$ by mapping $x$ to the residue class of $((a_{i_0}\le...\le a_{i_k}),(f_{i_0}(x),...,f_{i_k}))\in N_k(\mathbb{R},\le)$ where ${i_0,...,i_k}$ are exactly those indices where $f_i(x)\neq0$.

This gives a well-defined map. Is this map always continuous? The choice of the non-zero $f_i(x)$'s feels somehow uncomfortable to me. The values of $g$ seem to "jump" somehow.

However, my impression that many of the constructions summarized by the mentioned example of the nlab go along this example, so probably my feeling is wrong and I would be happy seeing somehow thin out my fog.

---

Edit: The comment of Omar Antolín-Camarena and the answer of Oscar Randal-Williams have shown, that the example is not suitable to address my concerns. Let my give it another try by means of a modified example using the notation of the example before.

Let $Y\subseteq \mathbb{R}\times X$ a subspace. View $Y$ as a topological preordered set by using the standard ordering in the first coordinate, i.e. $(a,x)\le(b,y):\iff a\le b\text{ and } x=y$. Assume there are $a_i\in \mathbb{R}$, such that $\{a_i\}\times U_i\subseteq Y$. Now define the map $$g\colon X\rightarrow ||N_\bullet(Y)||$$ analogously by $$g(x)=[((a_{i_0},x)\le...\le(a_{i_k},x)),(f_{i_0}(x),...,f_{i_k}(x)],$$ where the indices $i_0,...i_k$ are exactly those, where $f_i(x)\neq 0$. Now one does not have the freedom to take a bigger set of indices, because if $f_i(x)=0$ it could be possible that $(a_i,x)\notin Y$, so the suggestion of Oscar Randal-Williams and Omar Antolín-Camarena do not seem to work.

Answer 1

My first remark concerns Segal's (4.1). The technical details are key. Segal begins by choosing a locally finite partition of unity $f_i$ subordinate to the cover $U_i$. The definition of this term on the nLab seems to be non-standard, and probably does not make the statement true.

A partition of unity $\{f_i\}_{i \in I}$ is usually called "locally finite" if the open cover $f_i^{-1}((0,1])$ is locally finite, i.e. each point has an open neighbourhood intersecting only finitely many $f_i^{-1}((0,1])$.

Suppose then, in the notation of the question, that the partition of unity $\{f_i\}_{i \in I}$ is locally finite in the sense just described. Let $x \in X$ and $V_x \ni x$ be an open neighbourhood intersecting only finitely many $f_i^{-1}((0,1])$, say those indexed by $i_0, i_1, \ldots, i_k$. Then the map $$g_x : V_x \longrightarrow N_k(\mathbb{R}, \leq) \times \Delta^k$$ given by $y \mapsto ((a_{i_0} \leq \cdots \leq a_{i_k}),(f_{i_0}(y), \ldots, f_{i_k}(y)))$ is clearly continuous, and hence so is the composition $$V_x \overset{g_x}\longrightarrow N_k(\mathbb{R}, \leq) \times \Delta^k \longrightarrow \vert N_\bullet(\mathbb{R}, \leq) \vert.$$

I claim that this composition is equal to $g\vert_{V_x}$: as $f_j(y)=0$ for $y \in V_x$ and $j$ not one of $i_0$, $i_1$, ..., $i_k$, due to how we chose $V_x$, this is immediate. It follows that $g\vert_{V_x}$ is continuous; this holds for any $x$, so $g$ is continuous.

Edit: the addresses the elaboration in the edited question. For $x \in X$, let $V_x$ be as above, intersecting the $f_i^{-1}((0,1])$ indexed by $i_0, i_1, \ldots, i_k$. For each $j$, if $x$ is not in $U_{i_j}$ then it is also not in the closure $\overline{f_{i_j}^{-1}((0,1])} \subset U_{i_j}$. Thus $V_x$ may be replaced by the smaller open set $V_x \cap (X \setminus \overline{f_{i_j}^{-1}((0,1])})$ which still contains $x$, but it does not intersect $f_{i_j}^{-1}((0,1])$ and so $U_{i_j}$ may be forgotten. After having discarded all such $U_{i_j}$, the set $V'_x = V_x \cap \bigcap_{j=0}^k U_{i_j}$ is an open neighbourhood of $x$.

Then the map $$f_x : V'_x \longrightarrow N_k(Y) \times \Delta^k$$ given by $y \mapsto (((a_{i_0},y) \leq \cdots \leq (a_{i_k},y)),(f_{i_0}(y), \ldots, f_{i_k}(y)))$ is well-defined and continuous. The remainder of the argument is identical.