设M和N是C^r（r≥1）Banach流形，P包含N是N的子流形，f是从M到N的C^1映射．该文引进映射f在x0∈f^-1（P）点与P广义横截的概念，它是经典的横截概......