压缩映射原理的性质和应用