度量造句

1 证明了若度量空间上的连续满射有伪轨跟踪性且是扩张映射，则它具有极限跟踪性。