Banach空间压缩映像原理和不动点原理及其应用