It is set in small type as supplementary.
设 G 是复希尔伯特空间 E 上的拓扑群和 π 连续酉表示。满足关系的连续线性映射 c:G→E
c(st)=π(s).c(t)+c(s) 对于 G 中的每个 s、t,称为连续 1-cocycle。令
Z1(G;E) 表示连续 1-cocycle 的复数向量空间。对于每个
a∈E,映射
δ(a):s↦π(s).a−a是一个连续的1-余循环,称为a的余边。设
B1(G;E)表示线性映射
δ:E→Z1(G;E)中的像;放入
H1(G;E)=Z1(G;E)/B1(G;E)(“G 的第一个连续上同调群,其中值在 E 中”)。 a) 证明
B1(G;E)由连续且有界的1-余循环组成。 (对于每个连续的 1-cocycle c 和每个
s∈G,我们通过
λs.x=π(s).x+c(s) 在 E 上进行定义仿射变换
λs;然后对于 G 中的所有 s、t 进行
λst=λs.λt。令 K 为
c(G) 的闭凸包络;然后对于所有的
λs(K)=K s∈G 和
λs 诱导 K 自身的等距如果 c 有界,则表明 Ryll-Nardzewski 定理适用于
λs,并且如果
λs.a=a 对于所有
s∈G,则
c=−δ(a)。 b) 如果 G 是紧的,则证明
H1(G;E)={0}。