主题
Search

Band


固定拓扑空间 X 上的 band 由覆盖 X= union U_alpha, U_alpha subset= X 表示,并且对于每个 alpha K_alphaU_alpha 上,以及外自同构 lambda_(alphabeta):K_beta|U_(alphabeta)->K_alpha|U_(alphabeta) 满足上循环条件 lambda_(alphaalpha)=1lambda_(alphabeta)lambda_(betagamma)=lambda_(alphagamma)。这里,覆盖 {U_alpha} 限制到更精细的覆盖 {V_alpha} 应被视为定义完全相同的 band。

所有在空间 X 上关于单个覆盖 {U_alpha} 的 band 的集合具有自然的范畴结构。实际上,如果 K=(K_alpha,lambda_(alphabeta))L=(L_alpha,mu_(alphabeta)) 是关于 X 且关于 {U_alpha} 的两个 band,则同构 K->L外自同构 phi_alpha:K_alpha->L_alpha 组成,这些自同构在重叠部分兼容,使得 phi_alphalambda_(alphabeta)=mu_(alphabeta)phi_beta。所有此类 band 及其同构的集合构成一个范畴。

band 的概念对于研究 (Moerdijk) 至关重要。特别是,对于 G拓扑空间 X 上,可以选择 X= union U_alpha开覆盖 X 通过 子集 U_alpha subset= X,并且对于每个 alpha对象 a_alpha in G(U_alpha) 它们共同构成 Aut__(a_alpha)U_alpha 上。然后可以考虑任何两个 同构 lambda_(alphabeta) 之间的集合, Aut__(a_alpha)Aut__(a_beta),这形成良好定义外自同构集合。

在一些文献中,使用了的替代定义,从而导致了 band 的更具体的定义。例如,某些 G 的关联 band 有时被假定为李群 A_X (Brylinski 1993),尽管这种假设似乎比较少见。


参见

Category, Cover, Gerbe, Isomorphism, Lie Group, Outer Automorphism, Sheaf, Topological Space

本条目由 Christopher Stover 贡献

使用 Wolfram|Alpha 探索

参考文献

Brylinski, J. Loop Spaces, Characteristic Classes, and Geometric Quantization. 波士顿,马萨诸塞州:Birkhäuser,1993 年。Moerdijk, I. "《Stacks and Gerbes 语言导论》." 2002. http://arxiv.org/abs/math/0212266.

请引用为

Stover, Christopher. "Band." 来自 MathWorld--Wolfram Web 资源,由 Eric W. Weisstein 创建. https://mathworld.net.cn/Band.html

主题分类