A note on compact groups, acting on \({\mathbb{R}}\)-trees (Q750962)

It is proved that for any injective object \(X\neq \emptyset\) in the category M of metric spaces and non-expansive maps and for any compact group G, acting on X by isometries, there exists a canonical non- expansive G-invariant retraction \(P_ G\) from X onto the subspace \(X^ G\) of G-invariant points in X. In particular \(X^ G\) is nonempty and it is injective too. The main result gives a following purely combinatorical consequence. Corollary. Let us consider for a finite set F a system \({\mathcal A}\) consisting of subsets of F, such that the following holds: \(A\neq {\mathcal A}\) implies \(\emptyset \neq A\neq F\) and \(\bar A:= F-A\in {\mathcal A}\), \(A_ 1,A_ 2,A_ 3\in {\mathcal A}\) implies \(A_ 1\cap A_ 2\cap A_ 3\neq \emptyset\) or \(A_ 1\subset A_ 2\cup A_ 3\) or \(A_ 2\subset A_ 1\cup A_ 3\) or \(A_ 3\subset A_ 1\cup A_ 2\). Let G denote the group of all permutations g of F for which \(g{\mathcal A}\) coincides with \({\mathcal A}\). There exists some G-invariant subset \({\mathcal A}_ 0\subseteq {\mathcal A}\) such that for any \(A\in {\mathcal A}\) either \(A\in {\mathcal A}_ 0\) or \(\bar A\in {\mathcal A}_ 0\) if \(A_ 0,B_ 0\in {\mathcal A}_ 0\) and \(A_ 0\cup B_ 0=F\), then \(B_ 0=\bar A_ 0\).