Sufficient conditions for expansive group action

Abstract

Existence of expansivity for group action [Formula: see text] depends on algebraic properties of [Formula: see text] and the topology of [Formula: see text]. We give an expansive action of a solvable group on [Formula: see text] while there is no expansive action of a solvable group on a dendrite [Formula: see text]. We prove that a continuous action [Formula: see text] on a compact metric space [Formula: see text] is expansive if and only if there exists an open cover [Formula: see text] such that for any other open cover [Formula: see text], [Formula: see text] for some finite set [Formula: see text]. In this paper, we introduce the notion of topological expansivity of a group action [Formula: see text] on a [Formula: see text]-paracompact space [Formula: see text]. If a [Formula: see text]-paracompact space [Formula: see text] admits topologically expansive action, then [Formula: see text] is Hausdorff space. We also show that a continuous action [Formula: see text] of a finitely generated group [Formula: see text] on a compact Hausdorff uniform space [Formula: see text] is expansive with an expansive neighborhood [Formula: see text] if and only if for every [Formula: see text] there is an entourage [Formula: see text] such that for every two [Formula: see text]-pseudo orbit [Formula: see text] if [Formula: see text] for all [Formula: see text], then [Formula: see text] for all [Formula: see text]. Finally, we introduce measure [Formula: see text]-expansive actions on a uniform space. The set of all [Formula: see text]-expansive measures with common expansive neighborhood for a group action [Formula: see text] is a convex, closed and [Formula: see text]-invariant subset of the set of all Borel probability measures on [Formula: see text]. Also, we show that a group action [Formula: see text] is expansive if all Borel probability measures are [Formula: see text]-expansive or all Dirac measures [Formula: see text], [Formula: see text], have a common expansive neighborhood.