Cocompactness and quasi-uniformizability of completely metrizable spaces. (Q1403834)

Using a modification of ideas used to prove the theorem of Aaris, deGroot and Dowell that a metrizable topological space \((X, t)\) admits a complete metric if and only if \(X\) is cocompact (that means it admits a coarser compact topology \(r\) such that each point of \(X\) has a \(t\)-neighbourhood base, consisting of \(r\)-closed sets), the following theorem is proved. A metrizable topological space \(X\) is completely metrizable if and only if there exists a compatible quasi-uniformity \(U\) on \(X\) such that the topology \(t(U-1)\) induced by the conjugate quasi-uniformity \(U-1\) on \(X\) is compact. Such type completely metrizable spaces can have a connection with some characterization of computational models in theoretical computer science.