$R^{(\infty)}$ диффеоморфно $R^{(\infty)}\setminus\{0\}$

Построено взаимно однозначное отображение топологической прямой суммы счетного семейства вещественных прямых $R^{(\infty)}$ на $R^{(\infty)}\setminus\{0\}$, бесконечно дифференцируемое вместе со своим обратным по Майклу–Бастиани. Библ. 7 назв.