従順群のソースを表示

'''従順群'''（じゅうじゅんぐん、{{lang-en|amenable group}}）は、[[局所コンパクト群]]の一種。

==フェルナー列による定義==
離散群<math>G</math>が従順であるとは、空でない有限部分集合の列<math>\{ S_n \}</math>が存在して、任意の元<math>g \in G</math>に対して
:<math>\lim_{n \to \infty} \frac{|g S_n \triangle S_n|}{|S_n|} = 0</math>
が成り立つことである（<math>g S_n \triangle S_n</math>は<math>g S_n</math>と<math>S_n</math>の[[対称差]]）。

また、このような列<math>\{ S_n \}</math>を<math>G</math>の'''フェルナー列'''（フェルナーれつ、{{lang-en-short|Følner sequence}}）という。<ref>Erling Følner, On groups with full Banach mean value, Math. Scand. 3 (1955), 243-254.</ref>

== 参考文献 ==
<references />

{{math-stub}}
{{DEFAULTSORT:しゆうしゆんくん}}
[[Category:数学に関する記事]]