59ad203aece0f86f.tex
1: \begin{definition}
2: 		\label{def:varphi_X}
3: 		For every $t\in \Delta^{n}$ we write $m_t$ for the minimum of the set 
4: 		\[\{i\in\{0,\ldots,n\}:t_i\neq 0\}.\]
5: 		
6: 		Let $X$ be an Alexandroff space. 
7: 		We define a function $\varphi_X\colon BX\to X$ by $\varphi_X([\omega,t])=\omega(m_t)$ for every $[\omega,t]\in BX$.
8: 		It is not hard to see that $\varphi_X$ is well defined.
9: 		
10: 		Moreover, it is easy to see that $f\varphi_X=\varphi_Y Bf$ for every continuous map $f\colon X\to Y$ between Alexandroff spaces $X$ and $Y$.
11: 		
12: 		Note that if $X$ is an Alexandroff T$_0$ space, then $\varphi_X$ is nothing but the weak equivalence obtained by combining Theorem \ref{theo:B=|K|} and \cite[Theorem 1]{mccord1966singular}.
13: 	\end{definition}
14: