Effros, Baire, Steinhaus and non-separability (Q890077)

The author proves two results related to and extending the Effros theorem on microtransitivity of group actions and the Steinhaus `difference' theorem: if \(A\) is a non-meager set of the reals with the Baire property then \(\{a-b:a,b\in A\}\) contains an interval around~\(0\). The extensions deal with actions of a (not necessarily separable) metrizable group \(G\) on a space \(X\). In both cases \(G\)~is assumed to be a Baire space and the action is assumed to be separately continuous and to have the Nikodym property (for every neighbourhood~\(U\) of the identity in \(G\) and every \(x\in X\) the set~\(Ux\) is a non-meager Baire set). The version of Schauder's theorem states that if \(T\)~is a non-meager Baire set in~\(X\) and \(A\)~is a non-meager Baire set in~\(G\) with \(e_G\in A^q\) and \(\langle x_n\rangle_n\) is a convergent sequence in~\(X\) with limit~\(x\) such that \(A^qx\cap T^q\neq\emptyset\), then there is \(a\in A\) such that \(ax\)~and a tail of \(\langle ax_n\rangle_n\) are in~\(T\). (Here \(Y^q\) denotes the largest open set~\(O\) such that \(O\setminus Y\) is meager.) From this theorem the author deduces a version of the Effros theorem: Under the same assumptions on \(G\), \(X\) and the action, for every \(x\in X\) and every neighbourhood~\(U\) of~\(e_G\) the set \(Ux\) is a neighbourhood of~\(x\).