On multivalued fixed-point free maps on \(\mathbb R^n\) (Q2845567)

For a topological space \(X\) denote by \(2^X\) the space of non-empty closed subsets of \(X\) endowed with the Vietoris topology and by \(\exp_k(X)\) the set of \(A\in2^X\)with \(|x|\leq k\) for \(x\in A\). For a topological space \(Z\) and \(X\subset Z\), a closed set \(F\subset X\) is said to be a colour of a continuous map \(f:X\to2^Z\) if \(F\cap\bigcup_{x\in F}f(x)=\emptyset\) and \(F\) is said to be a bright colour of \(f\) if \(F\cap\text{cl}_Z\bigcup_{z\in F}f(x)=\emptyset\). If \(X\) can be covered by finitely many colours of \(f\) then \(f\) is said to be colourable. The author proves that for any natural numbers \(m\) and \(n\) there exists a \(K\in\mathbb{N}\) such that every continuous fixed point free map from a closed subset \(X\) to \(\exp_n(\mathbb{R}^m)\) is colourable by at most \(K\) bright colours. In terms of Stone-Čech compactifications she rephrases this result as follows: Let \(X\subset\mathbb{R}^k\) be closed and \(f:X\to\exp_n(\mathbb{R}^k)\) continuous. Then \(f\) is fixed point free if and only if \(\tilde{f}:\beta X\to\exp_n(\beta\mathbb{R}^k)\) is fixed point free.