数学上,给出一个拓扑空间和在其上作用的群,一个点在群作用下的像是这个作用的一个轨道。一个基本域是这个空间的一个子集,包含了每个轨道中恰好一点。基本域具体地用几何表现出抽象的轨道代表集。
构造基本域的方法有很多。一般会要求基本域是连通的,又对其边界加上一些限制,例如是光滑或是多面的。基本域在群作用下的像,就会把空间密铺。
数学上,给出一个拓扑空间和在其上作用的群,一个点在群作用下的像是这个作用的一个轨道。一个基本域是这个空间的一个子集,包含了每个轨道中恰好一点。基本域具体地用几何表现出抽象的轨道代表集。
构造基本域的方法有很多。一般会要求基本域是连通的,又对其边界加上一些限制,例如是光滑或是多面的。基本域在群作用下的像,就会把空间密铺。