Is there an example of a family $(X\_i)\_{i\in I}$ of [metacompact](https://en.wikipedia.org/wiki/Metacompact_space) spaces, such that their [box product](https://en.wikipedia.org/wiki/Box_topology) $\prod\_{i\in I}^{\textrm{Box}}X\_i$ is not metacompact?



Example of a collection of metacompact spaces with non-metacompact box-product
The Sorgenfrey plane is not metacompact by [Example 2 in these notes](https://dantopology.wordpress.com/tag/metacompact-space/). However, the Sorgenfrey plane is the product of two paracompact (and hence metacompact) spaces. Therefore metacompact spaces are not even closed under taking finite products.


By transfinite induction, one can show that every open cover of the Sorgenfrey line $S$ has a refinement that partitions $S$ into intervals of the form $[a,b)$.


Let me now give an explicit example with proof of a cover of the Sorgenfrey plane $S\times S$ with no point finite open refinement. 


For each real number $x$, let $U\_{r}=[r,\infty)\times[-r,\infty)$ and let $U=\{(x,y)\in S\times S|x+y<0\}$. Let $\mathcal{U}=\{U\}\cup\{U\_{r}|r\in S\}$. Then $\mathcal{U}$ is an open cover of $S\times S$. I however claim that $\mathcal{U}$ has no point-finite open refinement. Suppose that $\mathcal{V}$ is an open refinement of $\mathcal{U}$. Then for each $r\in S$, there is some $V\_{r}\in\mathcal{V}$ with $(r,-r)\in V\_{r}$ and each $V\_{r}$ is distinct. Therefore, for each $r\in S$, there is some $\epsilon\_{r}>0$ such that $[r,r+\epsilon\_{r})\times[-r,-r+\epsilon\_{r})\subseteq V\_{r}$. Let $A\_{n}=\{r\in\mathbb{R}|\epsilon\_{r}<\frac{1}{n}\}$. Then there is some $A\_{n}$ which is non-meager. In particular, $A\_{n}$ is not nowhere dense, so there is some interval $I$ so that $A\_{n}\cap I$ is a dense subspace of $I$. However, since $A\_{n}\cap I$ is a dense subspace of $I$, if $r\in I$, then we have $\langle r+\frac{1}{2n},-r+\frac{1}{2n}\rangle\in [s,s+\epsilon\_{s})\times[-s,-s+\epsilon\_{s})\subseteq V\_{s}$ whenever $s\in I\cap A\_{n}\cap(r-\frac{1}{2n},r+\frac{1}{2n})$. Since $\langle r+\frac{1}{2n},-r+\frac{1}{2n}\rangle$ is contained in infinitely many sets of the form $V\_{s}$, the refinement $\mathcal{V}$ is not point finite. Therefore $X$ is not metacompact.


