KKM type theorems with boundary conditions (Q1687173)

The author mainly repeats material from his previous article [Algebr. Geom. Topol. 16, No. 3, 1799--1812 (2016; Zbl 1350.55006)]. The term ``boundary conditions'' in the title refers to the following minor generalization of \textit{D. Gale}'s lemma [Int. J. Game Theory 13, 61--64 (1984; Zbl 0531.90011)]: Let \(A\) be a subspace of a normal space \(X\) and let \(n\) be a natural number. Assume that there is a map \(f:A\to \mathbb{S}^{n-2}\) which is not null-homotopic that can not be extended over \(X\). Let \(\mathcal{S}^1,\dotsc,\mathcal{S}^n\) be open covers of \((X,A)\) and let \(\mathcal{S}^i=\{S^i_1,\dotsc,S^i_n\}\). Let \( F_j:=\bigcup_{i=1}^nS^i_j\), \(\mathcal{F}:=\{F_1,\dotsc,F_n\}\) and let \(\mathcal{C}=\mathcal{F|A}\) and assume that \(\mathcal{C}\) is not null-homotopic (see below). Then there is a permutation \(\pi\) of \(\{1,\dotsc,n\}\) such that \(\bigcap_{i=1}^nS^i_{\pi(i)}\not=\emptyset\). The same conclusion holds in the case of a closed covering \(\mathcal{U}\). Here, the condition of \(\mathcal{C}\) being not null-homotopic means that \(\cap\mathcal{C}=\emptyset\) and that the homotopy class of \(\mu(\mathcal{C})\) is not trivial in \([A,S^{n-2}]\) where \(\mu(\mathcal{C})\) is defined as follows: choose a partition of unity \((\phi_1,\dotsc,\phi_n)\) subordinate to \(\mathcal{C}\) and denote by \((v_1,\dotsc,v_n)\) the vertices of the standard simplex \(\Delta^{n-1}\). Define a continuous function \(g:A\to S^{n-2}\) by \(g(x):=\sum_{i=1}^n\phi_i(x)v_i\). Then \(\mu(\mathcal{C}):=[g]\in[A,S^{n-2}\).