Let $\frak{m}$ be the least measurable cardinal. A space $X$ is realcompact if it is homeomorphic to a closed subset of some product $\mathbb{R}^I$. Let $X$ be realcompact with $P\_\frak{m}$ topology, that means - an intersection of fewer than $\frak{m}$ open subsets is again open. A subset $R\subseteq X$ is regular closed if $R=\overline{\mathop{\rm int}R}$.



> 
> **Question:** Is the following true: 
>  Let $D\_i=R\_i\cap\overline{X\setminus R\_i}$ be the boundaries of regular closed subsets $R\_i$. Let $\kappa<\frak{m}$. Then their union has an empty interior:
>  $$
>  \mathop{\rm int}\bigcup\_{i<\kappa}D\_i=\emptyset
> $$
> 
> 
> 


The union is closed by the $P\_\frak{m}$ topology.


If $X=P\_{\frak{m}}K$ is the $P\_\frak{m}$ refinement of a compact space $K$ (such a refinement is always realcompact) then it is enough to assume that $D\_i$'s are closed with empty interior. Otherwise it is easy to come up with a realcompact $P\_\frak{m}$ space which is the union of countably many closed subsets with empty interiors. But what happens if they are boundaries of regular subsets?



A realcompact analogue of the Baire category theorem
I have a counterexample. In particular, for all regular cardinals $\kappa$ such that there is no uncountable measurable cardinal below $\kappa$, there is a space $X$ that is the union of countably many boundaries of regular open sets but where $X$ is realcompact (and much more).


Let $\kappa$ be an uncountable regular cardinal. Let $D$ be a discrete space of cardinality $\kappa$ and let $D\cup\{\infty\}$ be space where $U\subseteq D\cup\{\infty\}$ is open if and only if $\infty\not\in U$ or $|D\setminus U|<\kappa$. Then $D\cup\{\infty\}$ is a $P\_{\kappa}$-space. Furthermore, $D\cup\{\infty\}$ is $\kappa$-compact (by $\kappa$-compact we mean that every open cover has a subcover by less than $\kappa$-elements.). Thus $D\cup\{\infty\}$ is the one-point $P\_{\kappa}$ $\kappa$-compactification of $D$. Give $(D\cup\{\infty\})^{\omega}$ the box topology and let $X\subseteq(D\cup\{\infty\})^{\omega}$ be the set of all sequences $(x\_{n})\_{n\in\omega}\in(D\cup\{\infty\})^{\omega}$ such that $x\_{n}=\infty$ for sufficiently large $n$. Clearly $(D\cup\{\infty\})^{\omega}$ and $X$ are $P\_{\kappa}$-spaces.


Let $X\_{n}=\{(x\_{i})\_{i\in\omega}\in X|x\_{n}=\infty\}$. Then each $X\_{n}$ is a closed subset of $X$, but $X=\bigcup\_{n}X\_{n}$. Now let $\{A,B\}$ be a partition of $D$ such that $|A|=|B|=\kappa$. Take note that $A,B$ are open subsets of $D\cup\{\infty\}$ and $A\cup\{\infty\}$ is a closed subset of $D\cup\{\infty\}$.


Let $U\_{n}=\{(x\_{i})\_{i\in\omega}\in X|x\_{n}\in A\}$ and let $C\_{n}=\{(x\_{i})\_{i\in\omega}\in X|x\_{n}\in A\cup\{\infty\}\}$. Then $U\_{n}$ is an open set and $C\_{n}$ is a closed set. Furthermore, it is easy to check that $C\_{n}^{\circ}=U\_{n}$ and $\overline{U\_{n}}=C\_{n}$. Therefore $C\_{n}$ is a regular closed set with $\partial C\_{n}=C\_{n}\setminus U\_{n}=X\_{n}$. We therefore conclude that $\bigcup\_{n}\partial C\_{n}=\bigcup\_{n}X\_{n}=X$.


On the other hand, the space $X$ is often much more than simply realcompact. We take note that the product of finitely many $\kappa$-compact $P\_{\kappa}$-spaces is $\kappa$-compact (the proof of this is a straightforward generalization of the proof of the fact that the product of finitely many compact spaces is compact). Let $Y\_{n}=\{(x\_{i})\_{i\in\omega}\in X|x\_{i}=\infty\,\textrm{for}\,i\geq n\}$. Then $Y\_{n}\simeq(D\cup\{\infty\})^{n}$, so $Y\_{n}$ is $\kappa$-compact. Since $X=\bigcup\_{n}Y\_{n}$, we conclude that $X$ is $\kappa$-compact as well.


Let $X$ be a completely regular space. The Baire $\sigma$-algebra is the smallest $\sigma$-algebra such that every continuous function $f:X\rightarrow\mathbb{R}$ is measurable. If $X$ is a completely regular space and $\mathcal{M}$ is the Baire $\sigma$-algebra on $X$, then $X$ is realcompact if and only if each $\sigma$-complete ultrafilter $\mathcal{U}\subseteq\mathcal{M}$ is of the form $\{R\in\mathcal{M}|x\in R\}$ for some $x\in X$. Take note that if $X$ is a $P$-space, then the Baire $\sigma$-algebra is precisely the collection of all clopen sets on $X$.


$\mathbf{Proposition}$ Suppose that $\kappa$ is an uncountable regular cardinal such that there does not exist a measurable cardinal less than $\kappa$. Then every $\kappa$-compact $P\_{\kappa}$-space is realcompact.


$\mathbf{Proof}$
Suppose that $\kappa$ is an uncountable regular cardinal such that there does not exist a measurable cardinal less than $\kappa$. Let $X$ be a $\kappa$-compact $P\_{\kappa}$-space, and let $\mathcal{U}$ be a $\sigma$-complete ultrafilter on the Baire $\sigma$-algebra $\mathcal{M}$ (which coincides with the algebra of all clopen sets). Then since $\kappa$ is not greater than the first measurable cardinal if one exists, we conclude that the ultrafilter $\mathcal{U}$ is $\kappa$-complete. Since $X$ is $\kappa$-compact, and each intersection $\bigcap\_{i\in I}C\_{i}$ is non-empty whenever $|I|<\kappa$ and $C\_{i}\in\mathcal{U}$ for $i\in I$, we conclude that the intersection $\bigcap\mathcal{U}$ is non-empty. Let $x\in\bigcap\mathcal{U}$. Then $\mathcal{U}\subseteq\{R\in\mathcal{M}|x\in R\}$. Therefore since $\mathcal{U}$ and $\{R\in\mathcal{M}|x\in R\}$ are ultrafilters, we conclude that $\mathcal{U}=\{R\in\mathcal{M}|x\in R\}$. Therefore the space $X$ is realcompact. $\mathbf{QED}$


We finally conclude that if $\kappa$ is an uncountable regular cardinal which does not exceed the first measurable cardinal (if one exists), then the space $X$ described above is a realcompact $P\_{\kappa}$-space which is the union of the boundaries of countably many regular closed sets.


