Semigroups of \(\mathcal I\)-density continuous functions (Q1194438)

The symbol \(R\) denotes the set of real numbers and \(N\) denotes the natural numbers. Let \(\mathcal L\) and \(\mathcal B\) denote the families of subsets of \(R\) which are Lebesgue measurable and have the Baire property, respectively. The measure of a set \(A\in {\mathcal L}\) will denoted by \(m(A)\). \(\mathcal N\) denotes the family of all sets \(A\in{\mathcal L}\) such that \(m(A)=0\) and \(\mathcal I\) denotes the family of all first category subsets of \(R\). If a statement is true except for the points of some set \(A\in{\mathcal I}\), then the statement is said to be true \({\mathcal I}\)-almost everywhere (\({\mathcal I}\)-a.e.). A real number \(x\) is a density point of a set \(A\in {\mathcal L}\) if \[ \lim_{h\to 0+} (m(A\cap(x-h,x+h)))/2h=1. \] The set of all density points of a set \(A\in{\mathcal L}\) will be denoted by \(\Phi_{{\mathcal N}}(A)\). The family \({\mathcal T}_{{\mathcal N}}=\{A\in{\mathcal L}: A\subseteq \Phi_{{\mathcal N}}(A)\}\) is a topology on \(R\) and is referred to as the density topology. The number 0 is an \({\mathcal I}\)-density point of a set \(A\in{\mathcal B}\) if for every increasing sequence \(\{n_ m\}_{m\in N}\) of natural numbers, there exists a subsequence \(\{n_{m_ p}\}_{p\in N}\) such that \(\lim_{p\to\infty}\chi_{n_{m_ p}A\cap(-1,1)}=\chi_{(-1,1)}\) \({\mathcal I}\)-a.e. A point \(a\) is an \({\mathcal I}\)-density point of \(A\in{\mathcal B}\) if 0 is an \({\mathcal I}\)-density point of \(A-a\). Let \(\Phi_{{\mathcal I}}(A)\) denote the set of all \({\mathcal I}\)-density points of \(A\in{\mathcal B}\). Then \({\mathcal T}_{{\mathcal I}}=\{A\in{\mathcal B}: A\subseteq\Phi_{{\mathcal I}}(A)\}\) is a topology on \(R\) and it is referred to as the \({\mathcal I}\)- density topology. Finally, a point \(a\) is a deep-\({\mathcal I}\)-density point of \(A\in{\mathcal B}\) if \(a\) is an \({\mathcal I}\)-density point of some closed subset \(F\subseteq A\cup\{a\}\). Let \(\Phi_{{\mathcal D}}(A)\) denote the set of all deep-\({\mathcal I}\)-density points of a set \(A\in{\mathcal B}\). The family \({\mathcal T}_{{\mathcal D}}=\{A\in{\mathcal B}: A\subseteq\Phi_{{\mathcal D}}(A)\}\) is a topology on \(R\) which is referred to as the deep-\({\mathcal I}\)-density topology. For any topology \({\mathcal T}\) on \(R\), \(S(R,{\mathcal T})\) will denote the semigroup, under composition, of all continuous (with respect to \({\mathcal T})\) selfmaps of \(R\). It was previously shown by \textit{K. Ostaszewski} [Real Anal. Exch. 14, No. 1, 104-114 (1989; Zbl 0681.26001)] that \(S(R,{\mathcal T}_{{\mathcal N}})\) and several of its subsemigroups have the inner automorphism property. That is, all automorphisms are inner. In this paper, the authors show that both \(S(R,{\mathcal T}_{{\mathcal I}})\) and \(S(R,{\mathcal T}_{{\mathcal D}})\) and several of their subsemigroups all have the inner automorphism property.