设X是紧度量空间,f:X→X是连续映射,又设X~是X的覆叠空间,~f:X~→X~是f的提升,证明了(X~,~f)有逐点伪轨跟踪性质,当且仅当(X,f)有逐点伪轨跟踪性质.
晏炳刚.提升系统的逐点伪轨跟踪性质[J].重庆工商大学学报(自然科学版),2007,(5): YAN Bing-gang. Pseudo-orbit tracing property for lift systems[J]. Journal of Chongqing Technology and Business University(Natural Science Edition),2007,(5):