A separable complete metric space of dimension \(n\) containing isometrically all compact metric spaces of dimension \(n\) (Q388026)

The class of spaces considered is the class of metric separable spaces. An embedding \(f:X\to Y\) is called an isometry (isometric embedding) if it preserves the distance between points, i.e. \(d_Y(f(x),f(x')) = d_X(x,x')\) for all \(x,x'\in X.\) Like the title says, a separable complete metric space \(Y\) of dimension \(n\) is constructed in the paper having the property that every compact metric space \(X\) of dimension \(n\) can be isometrically embedded into \(Y\). Compared with known cases, the stress is on completeness of \(Y\).