Any uniformity on a set $X$ is generated by a family of pseudometrics on $X$. So if $(X,\mathcal D)$ is a uniform space there's a set $P$ of pseudometrics on $X$ with

$$\mathcal D=\left< \bigcup_{d\in P} \mathcal D_d\right> \tag1 $$

where the angles show the filter generated by the subbace $\bigcup_{d\in P} \mathcal D_d$; where each $\mathcal D_d$ is the uniformity on $X$ with base $$\lbrace U_d(r) \mid r>0 \rbrace$$ in which $$U_d(r)=\lbrace (x,y)\in X^2\mid d(x,y)\le r\rbrace$$

$(1)$ immediately implies that $(X,\mathcal D)$ can be embedded uniformly in a product of pseudometric spaces.

Now suppose $(X,\mathcal D)$ is Hausdorff. Isbell says $(X,\mathcal D)$ can be embedded in a product of metric spaces. (The proof given uses covering definition of uniform space, while I'm only familiar with diagonal definition).

My question is:

Is any Hausdorff uniformity on a set $X$ generated by a family of metrics on $X$? Is there a couterexample?

I think none of the pseudometrics that generate a Hausdorff uniformity need to be a metric. Because: $$\bigcap_{d\in P}\bigcap_{n\in \Bbb N}U_d(\frac{1}{n})=\Delta_X \text{ (diagonal)}$$ but this intersection need not be countable and so there may be no metrics in the set $P$ (of pseudometrics that generate the Hausdorff uniformity $\mathcal D$). So uniformities generated by metrics need not be all Hausdorff uniformities.


Here is a result that completely characterizes the uniformities that are generated by metrics as opposed to pseudometrics.

$\mathbf{Theorem}$ Let $(X,\mathcal{U})$ be a uniform space. Then the following are equivalent.

  1. There are $R_{n}\in\mathcal{U}$ for all natural numbers $n$ such that $\bigcap_{n}R_{n}:=1_{X}=\{(x,x)|x\in X\}$.

  2. there is a non-empty set of metrics $\mathcal{D}$ such that $R\in\mathcal{U}$ if and only if there is some $d\in\mathcal{D}$ and some $\epsilon>0$ with $U_{d}(\epsilon)\subseteq R$.

$\mathbf{Proof}$ $2\rightarrow 1$ Assume that $\mathcal{D}$ is a set of metrics such that $R\in\mathcal{U}$ if and only if there is some $d\in\mathcal{D},\epsilon>0$ with $U_{d}(\epsilon)\subseteq R$. Then $1_{X}=\bigcap_{n}U_{d}(\frac{1}{n})$ and $U_{d}(\frac{1}{n})\in\mathcal{U}$ for all $n$.

$1\rightarrow 2$ Assume that there is a sequence $(R_n)_n$ where $R_{n}\in\mathcal{U}$ for all $n$ and such that $\bigcap_n R_n=1_X$. Let $V$ be the set of all sequences $S=(S_{n})_{n}$ such that $\bigcap_{n}S_{n}=1_{X}$, $S_{n}=S_{n}^{-1}:=\{(y,x)|(x,y)\in S_{n}\}$ for all $n$, and where $S_{n+1}\circ S_{n+1}:=\{(x,z)|\exists y,(x,y),(y,z)\in S_{n+1}\}\subseteq S_{n}$. Then by this question, for all $S\in V$ there is a pseudometric $d_{S}$ such that $S_{n}\subseteq R$ for some $n$ if and only if there is some $\epsilon>0$ where $U_{d_{S}}(\epsilon)\subseteq R$. Furthermore, the pseudometric $d_{S}$ is clearly a metric. I claim that the system of metrics $\{d_{S}|S\in V\}$ generates the uniformity $\mathcal{U}$. If $S=(S_{n})_{n}\in V$ and $\epsilon>0$, then $S_{n}\subseteq U_{d_{S}}(\epsilon)$ for some $n$, so since $S_{n}\in\mathcal{U}$, we have $U_{d_{S}}(\epsilon)\in\mathcal{U}$. However, if $R\in\mathcal{U}$, then since $\bigcap_{n}R_{n}=1_{X}$, there is some $S=(S_{n})_{n}\in V$ with $S_{n}\subseteq R_{n}$ for all $n$ and where $S_{0}\subseteq R$. Then there is some $\epsilon>0$ where $U_{d_{S}}(\epsilon)\subseteq S_{0}\subseteq R$.


Of course, there are many uniformities in which $\bigcap_{n}R_{n}\neq 1_{X}$ for any choice of $R_{n}\in\mathcal{U}$ for all $n$. For instance, if $(X,\mathcal{U})$ is generated by a system of metrics, then every point in $X$ is a $G_{\delta}$-set. In fact, there are even uniformities $(X,\mathcal{U})$ such that the intersection of countably many entourages is an entourage (I am currently writing a paper with a result about those uniformities). For example, if $X$ is a set with $|X|>2^{\aleph_{0}}$ and $\mathcal{E}$ is the set of all equivalence relations that partition $X$ into at most $2^{\aleph_{0}}$ pieces, then $\mathcal{E}$ generates a uniformity on $X$ such that the intersection of countably many entourages is an entourage.


From your remarks one can see that the core of your question lies in the case of a product of metric spaces. But a large cardinal product, say of the real line, cannot have a structure generated by metrics. This follows from the simple fact that a continuous pseudometric on such a product can only depend on countably many components and so cannot be a metric.


Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.