The diffeomorphism groups of the real line are pairwise bihomeomorphic (Q968885)

The paper continues the study of groups of diffeomorphisms as spaces with two topologies; in this case the compact open topology and the (strong) Whitney topology; cf. \textit{T. Banakh} and \textit{K. Sakai} [Topology Appl. 106, No.~2, 115--134 (2000; Zbl 0962.57014)], \textit{I. I. Guran} and \textit{M. M. Zarichnyj} [Dokl. Akad. Nauk Ukr. SSR, Ser. A 1984, No.~11, 5--7 (1984; Zbl 0579.54010), Sov. Math. 35, No.~11, 22--24 (1991); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 1991, No.~11(354), 22--24 (1991; Zbl 0786.54017)], \textit{T. Banakh, K. Mine} and \textit{K. Sakai} [Topology Appl. 156, No.~17, 2845--2869 (2009; Zbl 1196.57035)]. The main result of the paper is an extension of a theorem proved in the last of the above mentioned papers. The object of the study is the group \(D^r(\mathbb R)\) of \(C^r\) diffeomorphisms of the real line and of its two subgroups \(D^r_+(\mathbb R)\) of those preserving the orientation and \(D^r_c(\mathbb R) \) of those with compact support. A mapping \(X \rightarrow Y\) of spaces with two topologies is a bihomeomorphism if it is a homeomorphism for both topologies. The two triples \((X,X',X'')\) and \((Y,Y',Y'')\) are said to be bihomeomorphic if there exists a bihomeomorphism \(X\rightarrow Y\) such that \(f(X') = Y'\) and \(f(X'') = Y''\). The main theorem says that for every natural \(r\) and \(r=\infty\) the triples \( (D^r(\mathbb R), D^r_+(\mathbb R) , D^r_c(\mathbb R)) \) and \( (H(\mathbb R), H_+(\mathbb R) , H_c(\mathbb R)) \) are bihomeomorphic where \(H(\mathbb R)\) is the homeomorphism group.