Los puntos clave no están disponibles para este artículo en este momento.
The differential structure on the set of partial isometries over the restricted Grassmannian is constructed, which makes it a Banach Lie groupoid.
Goliński et al. (Fri,) studied this question.