BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Katsuro Sakai contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We prove that for any non-compact connected surface $M$ the group $H_c(M)$ of compactly suported homeomorphisms of $M$ endowed with the Whitney topology is homeomorphic to $R^\infty\times l_2$ or $Z\times R^\infty\times l_2$.
Let $X$ be a Banach space and $Conv_H(X)$ be the space of non-empty closed convex subsets of $X$, endowed with the Hausdorff metric $d_H$. We prove that each connected component of the space $Conv_H(X)$ is homeomorphic to one of the spaces: a singleton, the real line, a closed half-plane, the Hilbert cube multiplied by the half-line, the separable Hilbert space, or a Hilbert space of density not less than continuum.
For a non-compact n-manifold M let H(M) denote the group of homeomorphisms of M endowed with the Whitney topology and H_c(M) the subgroup of H(M) consisting of homeomorphisms with compact support. It is shown that the group H_c(M) is locally contractible and the identity component H_0(M) of H(M) is an open normal subgroup in H_c(M). This induces the topological factorization H_c(M) \approx H_0(M) \times \M_c(M) for the mapping class group \M_c(M) = H_c(M)/H_0(M) with the discrete topology. Furthermore, for any non-compact surface M, the pair (H(M), H_c(M)) is locally homeomorphic to (\square^w l_2,\cbox^w l_2) at the identity id_M of M. Thus the group H_c(M) is an (l_2 \times R^\infty)-manifold. We also study topological properties of the group D(M) of diffeomorphisms of a non-compact smooth n-manifold M endowed with the Whitney C^\infty-topology and the subgroup D_c(M) of D(M) consisting of all diffeomorphisms with compact support. It is shown that the pair (D(M),D_c(M)) is locally homeomorphic to (\square^w l_2, \cbox^w l_2) at the identity id_M of M. Hence the group D_c(M) is a topological (l_2 \times R^\infty)-manifold for any dimension n.
Let X be a locally compact Polish space and G a non-discrete Polish ANR group. By C(X,G), we denote the topological group of all continuous maps f:X \to G endowed with the Whitney (graph) topology and by C_c(X,G) the subgroup consisting of all maps with compact support. It is known that if X is compact and non-discrete then the space C(X,G) is an l_2-manifold. In this article we show that if X is non-compact and not end-discrete then C_c(X,G) is an (R^\infty \times l_2)-manifold, and moreover the pair (C(X,G), C_c(X,G)) is locally homeomorphic to the pair of the box and the small box powers of l_2.
Let $CLB_H(X)$ denote the hyperspace of closed bounded subsets of a metric space $X$, endowed with the Hausdorff metric topology. We prove, among others, that natural dense subspaces of $CLB_H(R^m)$ of all nowhere dense closed sets, of all perfect sets, of all Cantor sets and of all Lebesgue measure zero sets are homeomorphic to the Hilbert space $\ell_2$. Moreover, we investigate the hyperspace $CL_H(R)$ of all nonempty closed subsets of the real line $R$ with the Hausdorff (infinite-valued) metric. We show that a nonseparable component of $CL_H(R)$ is homeomorphic to the Hilbert space $\ell_2(2^{\aleph_0})$ as long as it does not contain any of the sets $R, [0,\infty), (-\infty,0]$.