Random set-mappings and separability of compacta (Q675129): Difference between revisions

The purpose of this paper is to study a random version of the following statement (SM\(_{\Omega}\)): For every countable set-mapping \(F\) defined on \(\Omega\), either \(\Omega\) can be decomposed into countably many \(F\)-free sets, or there exists an uncountable set \(\Lambda\subset\Omega\) such that for every finite set \(\Gamma\subset \Omega\) there exist uncountably many \(\eta\in\Omega\) such that \(\Gamma\subset F(\eta)\). Here a \textit{set-mapping} is a function \(F\) defined on a set \(\Omega\) such that \(F(\xi)\subset \Omega\setminus\{\xi\}\) for all \(\xi\). \(F\) is a \textit{countable set-mapping} if \(F(\xi)\) is countable for all \(\xi\in\Omega\). A subset \(\Phi\) of \(\Omega\) is \textit{\(F\)-free} if \(F(\xi)\cap\Phi=\emptyset\) for all \(\xi\in\Phi\). The author proves that Martin's Axiom MA\(_{\theta}\) implies SM\(_{\theta}\) for any forcing extension by a measure algebra. (Note that this fact can also be written in terms of measure theory, without the notions of forcing.) Moreover, he uses this result to consider two problems, Fremlin's problem from measure theory and Arkhangel'skij's problem from topology.