Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

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

Suppose $(X,\mathcal{D})$ is a uniform space and $D\in\mathcal{D}$. Is it true that $$\overline{D}\subseteq D\circ D,$$?

here we use the product topology to define $\overline{D}$.

share|cite|improve this question
If $D\subset X\times X$, then $\overline{D}=\bigcap\{U\circ D\circ U: U\in\mathcal{D}\}$. hence $\overline{D}\subset D\circ D\circ D$. I'm not sure but i guess $\overline{D}\subset D\circ D$ is not true. – M.Sina Feb 11 '13 at 18:42
@M.Sina: Do you have a counterexample? – user59671 Feb 11 '13 at 18:44
not yet. i think about it. – M.Sina Feb 11 '13 at 18:48

I'm not sure but I think this is a counterexample:

Let $\mathcal D$ be the normal uniformity on $\Bbb R$ made by the Euclidean metric $d$. Let

$$D=U_d(1)\cup \Bbb Q^2$$ where $$U_d(1)=\{(x,y)\in \Bbb R^2 \mid d(x,y)\le 1 \}$$

Then $$(-\sqrt 2,\sqrt 2)\in \overline D$$ But $$(-\sqrt 2,\sqrt 2)\notin D\circ D$$

share|cite|improve this answer
Why are you not sure? – Colin McQuillan Apr 3 '13 at 13:04

Your Answer


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