A classification of all order-preserving homeomorphism groups of the reals that satisfy finite uniqueness (Q580391): Difference between revisions

Let G always denote a subgroup of A(\({\mathbb{R}})\), the group of all order- preserving homeomorphisms (order-automorphisms) of the real line \({\mathbb{R}}\). The author proves: if H is a normal subgroup of G and \(gHg^{-1}=\{f:\) \(f(x)=x+t\), \(t\in T\}\), where T is some dense subgroup of the additive reals and \(g\in A({\mathbb{R}})\), then \(gGg^{-1}\subseteq \{f:\) \(f(x)=mx+b\), \(m\in {\mathbb{R}}^+\), \(b\in {\mathbb{R}}\}\). One says that G satisfies m-point homogeneity iff for all \(x_ 1,x_ 2,...,x_ m,y_ 1,y_ 2,...,y_ m\) in \({\mathbb{R}}\) such that \(x_ i<x_{i+1}\) and \(y_ i<y_{i+1}\) \((i=1,...,m-1)\), there exists f in G with \(f(x_ i)=y_ i\), \(i=1,...,m\). G satisfies m-point uniqueness iff there exists at most one such f in G. G is of scale type (m,n) if G satisfies m-point homogeneity but not \((m+1)\)-point homogeneity and if G satisfies n-point uniqueness but not (n-1)-point uniqueness. A dilation is an element of A(\({\mathbb{R}})\) which fixes some x in \({\mathbb{R}}\). Define \(\leq '\) on G by \(f\leq 'g\) in G iff for every \(x\in {\mathbb{R}}\) there is some \(y\in {\mathbb{R}}\), \(x<y\), such that f(y)\(\leq g(y)\). G is totally ordered under \(\leq '\) iff every non-trivial dilation in G has a greatest fixed point. The author proves that if (G,\(\leq ')\) has scale-type (0,n), \(n\geq 1\), then G contains no non-trivial dilations and is an Archimedean ordered group. Furthermore, if G satisfies n-point uniqueness and fixes no point of \({\mathbb{R}}\), then there is a subset A of \({\mathbb{R}}\) on which G acts invariantly and there is an order-isomorphism \(\theta\) : \(A\to {\mathbb{R}}\) such that \(\theta G\theta^{-1}\) is a subgroup of the affines. Also, if a transitive G has scale type (m,n) with \(1\leq m\leq n<\infty\), then G has scale type (1,1), (1,2), or (2,2).