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?


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.

  • $\begingroup$ Thank you, I really appreciate such a thorough answer - it is much more general than the question. $\endgroup$ – Adam Przeździecki Jul 9 '14 at 20:43

Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

Not the answer you're looking for? Browse other questions tagged or ask your own question.