作业 - BiCMR.PDFVIP

作作作业业业 假设群通过 同胚作用在拓扑空间 上 ，它称为不连续群作用如果任意一点 存在一个 领域使得集合 是有限的 。 关于不连续群等距作用 ，我们有若干等价的定义： 证证证明明明 假假假设群通过 同胚作用在度量空间 上 ，且群配备离散拓扑 。证明下列条件是等价于 这个作用是不连续群作用 ： 任意 中的紧集 集合 是有限的 。 射 ： 是逆逆逆紧紧紧的的的：紧集的原像是紧集 。 任意一点 的稳定子群是有限的 且其轨道是离散的 。 （提示 ：离散拓扑 中，紧集是有限的集合 。度量空间中，集合的序列紧性等价于紧性 。） 证证证明明明 假设有限群通过 同胚 自由地作用在拓扑空间 。证明该作用为不连续群作用 。 证证证 明明明 假设群在空间 上的作用是不连续群作用 。证 明复叠 射 是正则 的：即 的基本群嵌入到 的基本群 中为正规子群 。 （提示 ：这里我们并不假设 是单连通 的 。可 以通过证 明复叠空间是正则 的当且仅当复叠变 换群在上的作用是可迁的） 证证证明明明 假设 是单连通空间且有复叠 射 。证明： 与 是 同胚的 。 证证证 明明明 假设群在空 间 上 的作用是 自由的不连续群作用 。证 明任意给定子群 我们定义的 是复叠 射且有如下的交换 图表： 其中 射 为相应的轨道 射 。 证证证明明明 考虑群 作用在 上： 。证明商空间 同胚于 环面 。 对于万有复叠 射 ，我们知道 可 以通过路径提升得到 上 的一个群 的右作用 ：对任意 ，定义一个双射 ，把 为路 径在处提升的终点 。 另一方面 ，我们知道 同构于复叠变换群 ，从而限制在 得到一个群作用 。具体 而言 ，对任意 ， 定义一个双射 。对任意 取一 条从 到的路径 ，然后把 在 处提升的终点定义为 。 问问问题题题 请分别考察两个线 圈一点并的图和环面 的基本群在他们万有复叠上这两个 作用是否相 同：即是否存在 使得 。试证 明当 的基本群交换时 ，这两