A separable Fréchet space of almost universal disposition (Q504638)

\textit{V. I. Gurarij} [Sib. Mat. Zh. 7, 1002--1013 (1966; Zbl 0166.39303)] constructed in 1965 a separable Banach space \(\mathbb{G}\) which is of almost universal disposition for finite-dimensional Banach spaces. This means that for every \(\varepsilon > 0\), for all finite-dimensional normed spaces \(E \subset F\) and for every isometric embedding \(e:E \rightarrow \mathbb{G}\), there is an \(\varepsilon\)-isometric embedding \(f:F \rightarrow \mathbb{G}\) such that the restriction of \(f\) to \(E\) coincides with \(e\). Moreover, every separable Banach space \(Y\) with the same property is isometric to \(\mathbb{G}\). The authors study the countable product \(\mathbb{G}^{\mathbb{N}}\) of copies of \(\mathbb{G}\) endowed with two natural sequences of seminorms. They prove that this space is universal in the class of all separable Fréchet spaces. They also show that that there is no separable Fréchet space which is of universal disposition for finite-dimensional Fréchet spaces. On the other hand, they obtain that the space \(\mathbb{G}^{\mathbb{N}}\) with one of the sequences of semi-norms is of almost universal disposition for finite-dimensional graded Fréchet spaces. The construction relies heavily on the universal operator on the space \(\mathbb{G}\) that was recently constructed by \textit{J. Garbulińska} and \textit{W. Kubiś} [Extr. Math. 26, No.~2, 235--269 (2011; Zbl 1267.46020)] and \textit{J. Garbulińska-Wȩgrzyn} [Universal structures in Banach spaces. Ph.D.\ thesis. Jagiellonian University (2013)].