拓扑群定义的符号表示

睿睿分享 2025-03-06 15:02:48

图1

这里的

群里面的乘法运算规则定义:

这里的

是一条定义的群乘法运算规则。

图2

这里的证明用到了图1中拓扑群定义时的映射连续规则:

关于图2中的说明:

这个命题表示,构成一个拓扑群的充要条件是这个群里面的逆映射和乘法映射都是连续的。

1 阅读:5