论文部分内容阅读
证明了如果U是一个黎曼流形的子集,伪群G作用在它上面,若这个伪作用是第一类的,那么覆盖空间方法给出了U/G的一个正规覆盖空间;若X是一个局部紧的长度空间X,且伪群H在X的一个度量球上的作用是第二类的,则构造出来的空间是X的一个正规覆盖空间.另外,还证明了对于两类流形,存在切球上的由道路提升定义的第一类伪作用.