  Isomorphisms of separable Hilbert spaces are analogous to isomorphisms ofn-dimensional vector spaces. However, while n-dimensional spaces inapplications are always realized as the Euclidean space R^n, Hilbert spacesadmit various useful realizations as spaces of functions. In the paper thissimple observation is used to construct a fruitful formalism of localcoordinates on Hilbert manifolds. Images of charts on manifolds in theformalism are allowed to belong to arbitrary Hilbert spaces of functionsincluding spaces of generalized functions. Tensor equations then describefamilies of functional equations on various spaces of functions. The formalismitself and its applications in linear algebra, differential equations anddifferential geometry are analyzed.
In the paper this simple observation is used to construct a fruitful formalism of local coordinates on Hilbert manifolds. Images of charts on manifolds in the formalism are allowed to belong to arbitrary Hilbert spaces of functions including spaces of generalized functions.