The operators of rotoids in homogeneous spaces or generalized ordered spaces (Q386204): Difference between revisions

Rotoids are generalizations of topological groups: a rotoid is a space \(X\), together with a homeomorphism \(H:X^2\to X^2\) and a special point~\(e\) in~\(X\) such that \(H(x,x)=(x,e)\) and \(H(e,x)=(e,x)\) for all~\(x\). In a topological group the map \((x,y)\mapsto(x,xy^{-1})\) serves this purpose. A topological group is even a strong rotoid, which means that every point can serve as the special point. The author shows that a number of results on topological groups can be generalized to rotoids; the interplay between neighbourhoods of the neutral element and uniform neighbourhoods of the diagonal that exists in topological groups is replaced by the open map \(F:X^2\to X\), defined by \(F=\pi^2\circ H\), where \(\pi_2\)~is the projection onto the second coordinate. The preimage of~\(e\) is the diagonal and this allows for proofs of statements like \(\pi\chi(e,X)=\chi(e,X)\) (and hence \(\pi\chi(X)=\chi(X)\) if \(X\)~is a strong rotoid), strong rotoids are character homogeneous, and a rotoid with countable \(\pi\)-character has a regular \(G_\delta\)-diagonal. The map is also instrumental in proving that rotoids that are GO-spaces are hereditarily paracompact. The paper ends with various results on remainders of rotoids.