C~*-动力系统中作用群的amenable性

对C~*+动力系统(A,G,α),当G是amenable时,有G_α~×A=G_α~×rA,对比讨论其逆命题(G为离散时有过讨论,但所需条件显得略强)可知,对任一局部紧群,容易看出下列事实: (1)A=C时(此时α自动为恒等平凡作用),由于G_α~×A=C~*(G),G_α~×rA=C_r~*(G),从而,G_α~×A=G_α~×rA等价于C~*(G)=C_r~*(G),这正是G为amenable的等价条件;