推广的C~1封闭引理的较简证明

设M是n+1维C~2流形(n≥1),σM→TM是M上的一个C~1向量场,φD→M是σ产生的流。仿照文献[1],我们不限定M是紧致的。因此,φ的定义域D,可以不是整个的M×R而仅是M×R的一个连通开子集。设v_0∈M,当如下两条成立时,称v_0是φ的一个非游荡点(ⅰ){v_0}×R~+D(R~+=[0,∞));(ⅱ)对V_0在M中的任一个邻域