Open not implies regular open

From Topospaces

Statement

It is possible to have an open subset in a topological space that is not a regular open subset, i.e., it is not the interior of its closure.

Proof

Example in the real line

Consider the subset of the real line, equipped with the Euclidean topology. The closure of is the closed interval , and the interior of this is , which is strictly bigger than .

Note that the key reason the subset is not regular open is that it is missing some points that are well on the inside of it, and not just points on the boundary.

In the real line, it is true that any connected open subset is regular open.

Example in the Euclidean plane

We can construct a similar example in the Euclidean plane, this time of a connected open subset that is not regular open. Let be the punctured open unit disk:

Then, is an open subset. Its closure is the closed unit disk , and the interior of its closure is the open unit disk . This is strictly bigger than because it contains the origin.