A remark on locally direct product subsets in a topological Cartesian space

arXiv1908.05624MaRDI QIDQ6323713FDOQ6323713

Authors: Hiroki Yagisita 

Publication date: 15 August 2019

Abstract: Let $X$ and $Y$ be topological spaces. Let $C$ be a path-connected closed set of $XimesY$. Suppose that $C$ is locally direct product, that is, for any $(a,b)inXimesY$, 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)inUimesV$ and ${\displaystyle }$Ccap (U imes V)=I imes J${\displaystyle }$ 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 ${\displaystyle }$C=A imes B${\displaystyle }$ 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];mathbbR)$-manifold that cannot be embedded in the direct product $(C([0,1];mathbbR){)}^n$ as a $C([0,1];mathbbR)$-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{R}^n$-Morse function and the existence of an $mathbb{R}^n$-immersion in a finite-dimensional $mathbb{R}^n$-Euclidean space. Here, we note that the problem of defining the concept of an $mathbb{R}^n$-handle body may also be considered.

This page was built for publication: A remark on locally direct product subsets in a topological Cartesian space

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6323713)