2019/08/15 by Hiroki Yagisita, Yagisita, Hiroki
Mathematics · #Advanced Topology and Set Theory #FOS: Mathematics #General Topology (math.GN)
paper · pdf · doi:10.48550/arxiv.1908.05624
openalex publication_date 2019/08/15 · openalex created_date 2019/08/22 · openalex updated_date 2026/07/28
Let X and Y be topological spaces. Let C be a path-connected closed set of X× Y. Suppose that C is locally direct product, that is, for any (a,b)∈ X× Y, there exist an open set U of X, an open set V of Y, a subset I of U and a subset J of V such that (a,b) ∈ U× V and C∩ (U× V)=I× J hold. Then, in this memo, we show that C is globally so, that is, there exist a subset A of X and a subset B of Y such that C=A× B holds. The proof is elementary. Here, we note that one might be able to think of a (perhaps, open) similar problem for a fiber product of locally trivial fiber spaces, not just for a direct product of topological spaces. In Appendix, we mentioned a simple example of a C([0,1];\mathbb R)-manifold that cannot be embedded in the direct product (C([0,1];\mathbb R))n as a C([0,1];\mathbb R)-submanifold. In addition, we introduce the concept of topological 2-space, which is locally the direct product of topological spaces and an analog of homotopy category for topological 2-space. Finally, we raise a question on the existence of an \mathbb Rn-Morse function and the existence of an \mathbb Rn-immersion in a finite-dimensional \mathbb Rn-Euclidean space. Here, we note that the problem of defining the concept of an \mathbb Rn-handle body may also be considered.