# Extension on pseudometric spaces using uniform continuity

I would like to know if the extension theorem of uniformly continuous functions can be generalized to pseudometric spaces.

That is, let $X,Y$ be a pseudometric spaces and $D\subset X$ a dense subset. If $f:D\rightarrow Y$ is uniformly continuous then can it be extended uniquely to a continuous function?

Uniform continuity can be defined analogously to the metric case. I'm not sure the same proof works because we don't have continuity iff preservation of convergence.

I guess we may need completeness of $Y.$

A completeness of $Y$ is stated even in the metric case.
It seems that an analog on the extension theorem for metric spaces holds for pseudometric spaces too, and the adapted proof should work. For each $x\in X$ as $\hat f(x)$ you can put an arbitrary point $y$ of the limit of the filter $\{f(Ox\cap D):D$ is a neighborhood of $x\}$.
Are you sure? It is an other subject that a sequence in a non Hausdorff space can have more than one limit, so, in a pseudometric case a continuous extension of $f$ may be not unique.