-
定义与基本概念:
- 群:一个非空集合, equipped with一个二元运算满足结合律、有单位元、有逆元,并且满足结合律和交换律。
- 拓扑空间:一个集合,同时定义了开集,满足拓扑公理,包括 Hausdorff 和 可数紧致性。
- 拓扑群:一个群,其上的拓扑结构满足群运算和逆运算都是连续的。
-
例子:
- 有理数加群 (Q):有理数集Q在离散拓扑下是一个拓扑群,因为离散拓扑下的每个点都是开的,所以运算连续性自然满足。
- p-进数拓扑:Q在p-进数拓扑下也是一个拓扑群,这种拓扑结构允许研究更深入的代数性质。
- 实数加群 (R):实数集R通常在自然拓扑下是一个拓扑群,但自然拓扑下运算不连续。
- 有理数加群 (Q):有理数集Q在离散拓扑下是一个拓扑群,因为离散拓扑下的每个点都是开的,所以运算连续性自然满足。
-
性质:
- 局部 compact:许多拓扑群是局部紧的,这意味着每个点都有一个紧致的邻域,这在分析中很重要,Haar 测量。
- 分解:局部 compact 的拓扑群可以分解为紧致子群和离散子群的半直积。
-
应用:
- 数论:如p-进数和 adeles。
- 表示论:研究群的表示。
- 分析:如 locally compact groups 在 harmonic分析中的应用。
-
与代数群的区别:
- 代数群:定义在代数簇上的群,其拓扑结构通常不是自然的。
- 拓扑群:定义在拓扑空间上的群,拓扑结构独立于代数结构。
“tg群”通常指拓扑群,即在拓扑空间中定义的群,保持运算连续,理解这一概念需要深入学习拓扑群的基本理论及其应用。
