The locally fine coreflection and normal covers in the products of partition-complete spaces (Q1867181)

A sequence \(({\mathcal U}_n)\) of covers of a topological space is said to be \textit{complete} if every filter \({\mathcal F}\) in \(X\) such that \({\mathcal F}\cap{\mathcal U}_n\neq\emptyset\) for all \(n\) has a cluster point. A space \(X\) is called \textit{partition-complete} if it has a complete sequence \(({\mathcal P}_n)\) of left open partitions, i.e., \({\mathcal P}_n\) is a partition of \(X\) admitting a well ordering \(\{P_{n,\alpha}:\alpha<\gamma\}\) such that \(\bigcup\{P_{n,\alpha}:\alpha<\beta\}\) is open for each \(\beta<\gamma\). All Čech-complete spaces and all \(C\)-scattered spaces are partition complete. A space is called \textit{\(\sigma\)-partition complete} if it is the union of countably many partition-complete closed subspaces. For a pre-uniformity \(\mu\), let \(\lambda\mu\) denote the locally fine coreflection and \(m\mu\) the metric fine coreflection. The authors investigate the locally fine coreflection and normal covers of countable and uncountable products of partition-complete spaces. The main theorems are: (1) Let \(\{X_i:i\in{\mathbb N}\}\) be a countable family of partition-complete, regular spaces, and let \(\mu_i\) be a supercomplete pre-uniformity for \(X_i\) for each \(i\in{\mathbb N}\). Then \(\lambda\prod\mu_i\) is a supercomplete pre-uniformity for the topological product \(\prod X_i\). (2) Let \(\{X_i:i\in{\mathbb N}\}\) be a countable family of \(\sigma\)-partition-complete, regular spaces, and let \(\mu_i\) be a supercomplete pre-uniformity for \(X_i\) for each \(i\in{\mathbb N}\). Then \(\lambda m\prod\mu_i\) is a supercomplete pre-uniformity for the topological product \(\prod X_i\). (3) Let \(\{X_i:i\in I\}\) be a (not necessarily countable) family of partition-complete, completely regular spaces, and let \(\mu_i\) be a supercomplete pre-uniformity for \(X_i\) for each \(i\in I\). Then every normal cover of \(\prod_{i\in I}X_i\) belongs to \(\lambda\prod_{i\in I}\mu_i\). These theorems extend several earlier results by the first and third author and others. In particular, (2) implies that the countable product of \(\sigma\)-partition-complete paracompact regular spaces is paracompact. The authors also discuss the relationship between locally fine pre-uniformities and formal spaces.