基本区域

基本区域(fundamental domain)某种变换群作用轨道的代表元集合.设X是一个豪斯道夫空间，r为x上不连续变换群.将X中点按关于r的等价关系分类，这些等价类(轨道)构成空间rx (称为x关于r的商空间),rx的一个完全代表系F(即X的一个子集F，它使得rF=X，且F‘中无两点关于r等价)具有某些拓扑性质，称为r在x中的基本区域.例如对模变换群，通常要求其基本区域F为连通、单连通.