关于姜伯驹的三个引理

本文标题中的三个引理是文献[1]中的引理4.3、4.4和4.5,也就是文献[2]中的引理Ⅲ4.2、Ⅲ4.3(ⅰ)和Ⅲ4.4(ⅰ)。它们原来的证明都用了泛复迭空间理论。