Is union of regular open sets a regular open set provided the intersection of the two sets is nonempty

general-topology

Let us consider subsets in $\mathbb R^n$. A set $E$ is regular open if $E = \text{int}(\bar{E})$. It is true that the union of two regular open sets is not necessarily regular open. The counterexample I have seen is to take two nonoverlapping intervals with common endpoints. For example, $(-1, 0)$ and $(0, 1)$ are both regular open but $(-1, 0)\cup (0,1)$ is not regular open. I am wondering what if the two regular open sets $E \cap F$ have nonempty intersection, i.e., $E \cap F \neq \emptyset$ and $E, F$ are both path-connected, would the union $E \cup F$ be regular open? In other words, are there sufficient conditions to guarantee $E \cup F$ to be regular open?

Best Answer

No. Consider these subsets of $\mathbb{R}^2$:$$E=\left\{(r\cos\theta,r\sin\theta)\,\middle|\,1<r<2\wedge0<\theta<\frac{3\pi}2\right\}$$and$$F=\left\{(r\cos\theta,r\sin\theta)\,\middle|\,1<r<2\wedge\frac\pi2<\theta<2\pi\right\}.$$They satisfy the conditions that you mentioned, but the interior of $\overline{E\cup F}$ is strictly larger than $E\cup F$, since it also contains the points of the type $(r,0)$, ithe $r\in(1,2)$.