具有跟踪性可扩同胚的链回归集

给出具有跟踪性可扩同胚的链回归集的几个性质，指出以往文献中证明链咽归集无环性时的错误之处，并给出严格的证明。