No label defined (Q4949985)

For the category of Frölicher spaces, i.e. differential spaces \((X,{\mathcal F}^f,{\mathcal C})\) with \({\mathcal C}\) a set of curves \(c:R\to X\) such that \[ \varphi{\mathcal C}=\{f:X\to R\mid f\circ c\in C^\infty (\mathbb{R})\;\forall c \in{\mathcal C}\}= {\mathcal F}^f, \] \[ \Gamma{\mathcal F}^f: =\{c:R\to X\mid f\circ c \in C^\infty (\mathbb{R})\;\forall f \in{\mathcal F}^f\}= {\mathcal C}, \] the authors introduce and treat the induced and coinduced structures. For \((X,{\mathcal F})\) and \((Y,{\mathcal G})\) two differential spaces (in the sense of R. Sikorski), they consider \((X\times Y,{\mathcal F}\Pi{\mathcal G})\) the induced structure \(({\mathcal F}\Pi {\mathcal G}=\text{ind}(\{\Pi_x, \Pi_y\}))\) and \((X\times Y,{\mathcal F}\coprod{\mathcal G})\), the coinduced structure \(({\mathcal F}\coprod{\mathcal G}=\text{coind}\{i_{\mathcal L}, j_p\mid {\mathcal L}\in Y, p\in X\})\) and the final Frölicher structure corresponding to the mapping \[ \{i_{\mathcal L}\}_{{\mathcal L}\in Y}\cup\{j_p\}_{p\in X},\;{\mathcal F}^f \coprod{\mathcal G}^f= \text{fin} \bigl(\{i_{\mathcal L},j_p \mid{\mathcal L} \in Y,p\in X\}\bigr). \] They also consider \({\mathcal S}\), the differential structure on \(X\times Y\). Using the projection maps from \(X\times Y\) to \(X\) and \(Y\), the inclusion maps \(i_{\mathcal L},i_p\), and \({\mathcal S}\) they induce and coinduce differential structures on \(X\times Y\) and relate these structures by determining which are finer or coarser. The author also derive the same relationships for Frölicher spaces and see that the category of differential spaces and the category of topological spaces, in contrast to the category of Frölicher spaces, are not Cartesian closed.