Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I'm including the additional requirement that single point sets be closed for a space to be regular.

I know this holds for normal spaces, and locally compact Hausdorff spaces, but what about regular spaces?

share|improve this question
    
As a minor remark, Brian's proof below doesn't use that points are closed in the topology of X, showing this is not really necessary. –  Salvo Tringali Dec 7 '11 at 22:41
add comment

1 Answer

Yes. Let $X$ be a $T_3$-space, and let $V\,$ be a non-empty open set in $X$. Pick $x\in V$. Then $X\setminus V\,$ is a closed set not containing $x$, so there are disjoint open sets $U$ and $W$ such that $x\in U$ and $X\setminus V\subseteq W$. Clearly $\operatorname{cl}U\subseteq X\setminus W\subseteq X\setminus(X\setminus V)=V$, i.e., $V$ contains the closure of the non-empty open set $U$.

Indeed, regularity of a space $X$ is often defined by the condition that for any non-empty open set $V\,$ in $X$ and any point $x\in V\,$ there is an open set $U$ such that $x\in U\subseteq\operatorname{cl}U\subseteq V$.

share|improve this answer
    
Thanks. Pretty much the same proof for locally compact, Hausdorff –  Jorge Dec 7 '11 at 22:28
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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