# Let $\mathcal{U}_\pi$ be quotient uniform with respect $\pi:(X,\mathcal{U})\to Y$

It is known that given a uniform space $(X, \mathcal{U})$ and a function $\pi$ from $X$ onto an arbitrary set $Y$, it is possible to define a uniformity on $Y$, in the following way: \begin{equation*} \mathcal{U}_\pi= \{B: B\subseteq Y\times Y: \pi^{-1}(B)\in\mathcal{U}\}. \end{equation*} The uniformity $\mathcal{U}_{\pi}$ is called the quotient uniform with respect to $\pi$ and also we can say that \begin{equation*} \mathcal{U}_{\pi}=\{\pi\times \pi(U): U\in\mathcal{U}\}. \end{equation*}

Q. Is it true that for every $U\in\mathcal{U}$, there is $V\in\mathcal{U}_\pi$ such that if $(\pi(x),\pi(y))\in V$, then $(x, z)\in U$ for some $z\in\pi(y)$.

• Are you sure $\mathcal{U}_\pi$ is a uniformity ? What if $f$ is constant equal to $y$ and $B=\{(y,y)\}$ ? $\mathcal{U}_\pi$ will be a filter on $Y\times Y$ but it will not satisfy the conditions that make it a uniformity in general – Max May 7 '18 at 6:14
• @max, $f$ is onto. – user479859 May 7 '18 at 11:56
• You need some extra condition on $\pi$ to be able to define a "co-induced" uniformity. – Henno Brandsma May 9 '18 at 22:52