従順群 From Wikipedia, the free encyclopedia 従順群（じゅうじゅんぐん、英語: amenable group）は、局所コンパクト群の一種。 離散群 G {\displaystyle G} が従順であるとは、空でない有限部分集合の列 { S n } {\displaystyle \{S_{n}\}} が存在して、任意の元 g ∈ G {\displaystyle g\in G} に対して lim n → ∞ | g S n △ S n | | S n | = 0 {\displaystyle \lim _{n\to \infty }{\frac {|gS_{n}\triangle S_{n}|}{|S_{n}|}}=0} が成り立つことである（ g S n △ S n {\displaystyle gS_{n}\triangle S_{n}} は g S n {\displaystyle gS_{n}} と S n {\displaystyle S_{n}} の対称差）。 また、このような列 { S n } {\displaystyle \{S_{n}\}} を G {\displaystyle G} のフェルナー列（フェルナーれつ、英: Følner sequence）という。[1] 参考文献 ↑ Erling Følner, On groups with full Banach mean value, Math. Scand. 3 (1955), 243-254. この項目は、数学に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（プロジェクト:数学／Portal:数学）。表示編集 Related Articles
