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.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I'm hoping someone can check my proof of the following problem. I feel like 'check my proof' questions are sort of suboptimal, but as I'm purely a self-studier and in particular the book I'm working from doesn't have solutions, this is sort of my only means of verification, which is always nice to have. So the help is always much appreciated!

"Let $X$ be a space and $x$ a point at which $X$ is locally compact. Prove that there is a local basis $\mathcal{B}$ at $x$ such that $\bar{B}$ is compact for each $B \in \mathcal{B}$."

Answer given below is the original, and a correct, proof.

share|cite|improve this question
Looks good to me. I recently saw a suggestion on Meta that one should post his attempted solution as an answer in questions like these, to avoid having them go apparently unanswered when the attempted proof was successful. Perhaps you'd like to self-answer with this proof? – Kevin Carlson Oct 8 '12 at 2:39
@KevinCarlson: Thanks for the verification. That works for me. Should I just leave an answer stating that the above proof is correct, and then accept it? I don't see any need to copy the proof into the answer. – Alex Petzke Oct 8 '12 at 19:13
If it were me, I'd just cut your proof out of the question and paste it as the answer, as this might work best for future MSE-ers looking for answers. Your call. – Kevin Carlson Oct 8 '12 at 21:04
Sounds good to me. I'll accept it once the site allows me to do so tomorrow. – Alex Petzke Oct 8 '12 at 22:38
up vote 1 down vote accepted

Since $X$ is locally compact at $x$, there is an open set $U$ containing $x$ such that $\overline{U}$ is compact. Let $\{O_\alpha\}_{\alpha \in I}$ be the collection of all open sets containing $x$ and consider the set $\mathcal{B}=\{O_\alpha \cap U \,|\, \alpha \in I\}$. Each $B \in \mathcal{B}$ contains $x$, and if $V$ is an open set containing $x$ then $V=O_\alpha$ for some $\alpha \in I$ and so it contains $O_\alpha \cap U$. Each of these sets is contained in $U$ and thus is contained in $\overline{U}$. Let $B \in \mathcal{B}$. Then $\overline{B}$ is a closed subset of the compact space $\overline{U}$ and so is compact. Therefore, $\mathcal{B}$ is a local basis at $x$ for which $\overline{B}$ is compact for each $B \in \mathcal{B}$.

share|cite|improve this answer

Your Answer


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.