A reconstruction theorem for locally convex metrizable spaces, homeomorphism groups without small sets, semigroups of non-shrinking functions of a normed space (Q306136)

A space-group pair is a pair \((X,G)\) where \(X\) is a topological space and \(G\) a group of homeomorphisms of \(X\). Open \(U\subset X\) is strongly flexible if for each infinite \(A\subset U\) having no accumulation points in \(X\) there is non-empty open \(V\subset X\) such that for each non-empty open \(W\subset V\) there is \(g\in G\) such that the sets \(\{a\in A\mid g(a)\in W\}\) and \(\{a\in A\mid g \text{ is the identity on some neighbourhood of } a\}\) are both infinite. Let \(K_{\mathrm{FL}}\) be the class of space-group pairs \((X,G)\) such that \(X\) is regular, first countable and has no isolated points; for each \(x\in X\) and each neighbourhood \(N\) of \(x\) \(\{g(x)\mid g\in G \text{ and } g|(X\setminus N) \text{ is the identity}\}\) is somewhere dense; the strongly flexible sets cover \(X\): then \(K_{\mathrm{FL}}\) is faithful, i.e., if \((X,G),(Y,H)\in K_{\mathrm{FL}}\) and \(\varphi:G\to H\) is an isomorphism then there is a homeomorphism \(\tau:X\to Y\) with \(\varphi(g)=\tau g\tau^{-1}\) for each \(g\in G\). \(K_{\mathrm{FL}}\) includes the class of all \((X,\mathcal H(X))\) when \(X\) is a manifold over a metrisable locally convex topological vector space and \(\mathcal H(X)\) denotes the group of all self-homeomorphisms of \(X\).