Extension of Vladimirov's lemma. (Q1412698)

A~lemma of Vladimirov says that if \(\mathbb B\)~is a~complete Boolean subalgebra of a~complete Boolean algebra~\(\mathbb A\) and for no \(u\in\mathbb B^+\) the algebra \(\mathbb B\) restricted to~\(u\) is dense in the algebra \(\mathbb A\) restricted to~\(u\), then there exists \(x\in\mathbb A^+\) such that \(x\wedge a\neq0\) and \(-x\wedge a\neq0\) for every \(a\in\mathbb B^+\). A~continuous surjection \(f:X\to\mathbb R\) is said to have Vladimirov's property provided that for every non-empty open set \(U\subseteq Y\) there exist cozero sets \(V_1,V_2\subseteq X\) such that \(\text{cl}V_1\subseteq V_2\subseteq f^{-1}(U)\), \(\text{Int}f(V_1)\neq\emptyset\), and \(f(X\setminus V_2)=Y\). The authors prove the following generalization of the topological reformulation of Vladimirov's lemma: If \(f:X\to Y\) has Vladimirov's property, then for every base \(\mathcal B\) of~\(Y\) there exists a~disjoint family \(\mathcal W\subseteq\mathcal B\) such that \(\text{cl}\bigcup\mathcal W=Y\) and for each \(W\in\mathcal W\) there exist non-empty open sets \(H_W^0,H_W^1\subseteq X\) such that \(\text{cl}H_W^0\cap \text{cl}H_W^1=\emptyset\) and \(f(H_W^0)=f(H_W^1)=W\). If \(\mathcal B\) consists of cozero sets, \(H_W^0,H_W^1\subseteq X\) may be chosen to be cozero sets. They use this generalization to obtain a~criterion for the existence of maximal independent families of pairs of zero sets in compact spaces. The paper is concluded by a~theorem on factorization of mappings of compact spaces onto Dugundji spaces.