Orbits of families of vector fields on subcartesian spaces. (Q1878472): Difference between revisions

A Hausdorff differential space \(S\) in the sense of Sikorski is called a subcartesian space if it is covered by open sets which are diffeomorphic to subsets of \(\mathbb{R}^ n\). Let \(\mathcal F\) be the family of vector fields on a subcartesian space \(S\), and let \(\varphi^ X_ t\) be the local one-parameter group of local diffeomorphisms of \(S\) generated by a vector field \(X\). The family \(\mathcal F\) is said to be locally complete if, for every \(X\), \(Y\in\mathcal F\), \(t\in\mathbb{R}\), and \(x\in S\), for which \(\varphi^ X_{t*}Y(x)\) is defined, there exist an open neighborhood \(U\) of \(x\) and \(Z\in\mathcal F\) such that \(\varphi^ X_{t*}Y_{| U}=Z_{| U}\). In this interesting paper, the author generalizes the theorem of \textit{H.~J.~Sussmann} [Trans. Am. Math. Soc. 180, 171--188 (1973; Zbl 0274.58002)] on orbits of families of vector fields on manifolds to smooth subcartesian spaces and investigates its applications. It is shown that each orbit \(M\) of a locally complete family \(\mathcal F\) of vector fields on a subcartesian space \(S\) is a smooth manifold and its inclusion into \(S\) is smooth.