压缩映射,压缩映像,递推数列的极限