Still, for example, the triangulation of Hilbert cube manifolds--that represent the "archetypal" infinitely dimensional manifolds--is possible and, moreover, we have a by now classical Triangulation Theorem for Hilbert cube manifolds.
We can now state the Triangulation Theorem for Hilbert cube manifolds:
However, while in the Riemannian case the "chopping of compact pieces" criterion is based on curvature--obviously not feasible for Hilbert cube manifolds--in the case of Q-manifolds this is done via homotopy type.
2 allows us to formulate a practical--at least from the implementational viewpoint--definition: A triangulation of a Hilbert cube manifold MQ will be called fat if its restriction to P is fat, where P is as in Theorem 3.
That Hilbert cube manifolds do not represent a whimsical choice, but rather a natural one, is further augmented by the fact that such manifolds represent a kind of "universal space" for a large class of metric spaces:
A no less important motive to study Hilbert cube manifolds is supplied by the fact that they represent "good" representations of probability spaces, more exactly we have the following results:
x] of the coordinate charts satisfy the relatively mild condition of being uniformly bounded, then, after a standard normalization of the said bound, of the Hilbert cube Q.
Moreover, we have shown that the finitely dimensional sampling and triangulation results also extend, albeit only in a topological sense, to more general infinite dimensional manifolds, most notably to Hilbert cube manifolds.