纤维化作为复叠空间的自然推广, 对同伦论的研究有着重要的作用[1]. 在拓扑空间范畴中, 对纤维化理论的研究已经完善. 1966年, Spanier[2]研究了复叠空间理论, 引入纤维丛和Hurewicz纤维化的概念. 特别地, 文[2]给出了升腾函数的概念并证明了映射$ p\colon E\rightarrow B $是纤维化当且仅当存在$ p $的升腾函数. 与之对偶地, 文[2]也给出了收缩函数的概念并证明了函数$ f\colon X^{'}\rightarrow X $是上纤维化当且仅当存在$ f $的收缩函数. 利用升腾函数与收缩函数的概念, 文[2]给出了诱导纤维化的相关结论: 对任一空间$ X $, 映射$ p\colon E\rightarrow B $诱导映射$ p_{*}\colon E^X\rightarrow B^X $, 由$ p_{*}(g) = p\circ g $定义, 其中$ E^X $与$ B^X $表示映射空间. 若$ p $是纤维化, 则$ p_{*} $也是纤维化. 与之对偶地, 对任一空间$ Y $, 映射$ f\colon X^{'}\rightarrow X $诱导映射$ f^{*}\colon Y^X\rightarrow Y^{X^{'}} $, 由$ f^{*}(g) = g\circ f $定义. 若$ f $是上纤维化, 则$ f^{*} $是纤维化. 1970年, Maunder[3]根据Hurewicz纤维化的定义, 证明了任何一个光滑映射既可表示为一个上纤维化和同伦等价的复合, 也可表示为一个同伦等价和纤维化的复合.
相对于拓扑空间范畴中纤维化的理论, 在其它范畴中也有对应的纤维化理论, diffeological空间范畴便是其中的范畴之一. 在diffeological空间范畴中, 其对象为diffeological空间, 态射为diffeological空间之间的光滑映射. Diffeological空间作为光滑流形的一般化, 最初由Souriau[4]在上世纪80年代提出. 2013年, Iglesias-Zemmour[5]在专著[5]中系统地给出了diffeological空间的同伦理论. 在文[6]中, Haraguchi-Shimakawa研究了diffeological空间范畴中的模结构, 并给出了两个光滑映射$ f, f^{'}\colon X\rightarrow Y $之间的光滑同伦的另一定义, 即存在$ X\times I $到$ Y $的光滑映射$ H $使$ H_0 = f $, $ H_1 = f^{'}, $且不失一般性地可假设$ H $为tame同伦. 而在文[7]中, Haraguchi研究了光滑CW复形的同伦性质并且给出了光滑同伦等价的定义, 即存在光滑映射$ f\colon X\rightarrow Y $和$ g\colon Y\rightarrow X, $使得$ g\circ f $光滑同伦于$ 1_X $, $ f\circ g $光滑同伦于$ 1_Y $.
根据已知的文献, 虽然有关diffeological空间的同伦理论得到了充分的发展, 但是有关纤维化的一些基本概念与性质并未见到相关的结果. 鉴于此, 本文将研究diffeological空间范畴有关纤维化的相关概念与性质, 得到以下的主要结果:
定理 0.1 任何一个光滑映射$ f\colon A\rightarrow B $可表示成为一个光滑同伦等价和光滑纤维化的复合.
定理 0.2 任何一个光滑映射$ f\colon A\rightarrow B $可表示成为一个光滑上纤维化和光滑同伦等价的复合.
本文结构安排如下: 在第一节我们给出有关diffeological空间范畴的一些基本概念与性质, 在第二节给出定理0.1的证明, 在第三节给出定理0.2的证明.
本节介绍有关diffeological空间的一些基本概念与性质.
定义 1.1[5] 设$ X $是一个集合, $ U $是欧式空间的开子集, 任一映射$ P\colon U\rightarrow X $称为$ X $的一个参数化.
定义 1.2[5] 设$ X $是一个非空集合, $ U $是欧式空间的开子集. $ X $的一个参数化族$ D_{X} = \{f|f\colon U\rightarrow X\}, $称为$ X $的一个diffeology, 如果它满足以下三个条件:
(1) 常值参数化在$ D_{X} $中;
(2) 对任一映射$ P\colon U\rightarrow X $, 若对于$ U $中的任一点$ u $, 存在$ u $的一个开邻域$ V $, 使得$ P|V\colon V\rightarrow X $在$ D_{X} $中, 则$ P $在$ D_{X} $中;
(3) 对$ D_{X} $中的任一参数化$ P\colon U\rightarrow X $和任一欧式空间开子集之间的光滑映射$ Q\colon V\rightarrow U $, $ P\circ Q $在$ D_{X} $中.
集合$ X $和它的一个diffeology$ D_{X} $一起称为一个diffeological空间. 称$ D_{X} $中的每个成员为$ X $的plot.
定义 1.3[5] 给定diffeological空间$ X $和$ Y $, 我们称映射$ f\colon X\rightarrow Y $是光滑的, 如果对于$ X $的任一plot $ P\colon U\rightarrow X $, $ f\circ P $是$ Y $的一个plot.
命题 1.4[5] 设$ X $, $ Y $和$ Z $都是diffeological空间, 若$ f\colon X\rightarrow Y $, $ g\colon Y\rightarrow Z $都是光滑映射, 则复合映射$ g\circ f\colon X\rightarrow Z $也是光滑映射.
以下介绍几类常见的diffeological空间及其相关的性质.
定义 1.5[7] 设$ A $是$ X $的一个非空子集, $ i\colon A\rightarrow X $是包含映射. $ A $有一个子diffeology
我们称具有子diffeology的$ A $是$ X $的子空间. 在本文中, 我们把单位区间$ I $看成$ R $的子空间.
定义 1.6[7] 设$ X $和$ Y $都是diffeological空间, $ \pi\colon X\rightarrow Y $是一个光滑的、满的映射, 如果对于$ Y $的任一plot $ P\colon U\rightarrow Y $和任一点$ u\in U, $存在$ u $的开邻域$ V $和$ X $的plot $ Q\colon V\rightarrow X, $使得$ P|V = \pi \circ Q, $则称映射$ \pi $为一个除法.
命题 1.7[5] 设$ X $, $ Y $和$ Z $都是diffeological空间, $ \pi\colon X\rightarrow Y $是除法. 则映射$ f\colon Y\rightarrow Z $是光滑的当且仅当$ f\circ\pi $是光滑的.
定义 1.8[7] 设$ X $是diffeological空间, $ Y $是非空集合. $ \pi\colon X\rightarrow Y $是满射. $ Y $有一个商diffeology
称带商diffeology的$ Y $为$ X $的商空间或$ X $的diffeological商. 由以上定义可见, $ \pi $是一个除法.
定义 1.9[7] 设$ X $与$ Y $都是diffeological空间, 令$ C^{\infty}(X, Y) = \{{\rm{所有光滑映射}}f\colon X\rightarrow Y\} $. 则$ C^{\infty}(X, Y) $有一个函数式diffeology
其中$ {\rm{ev}}\colon C^{\infty}(X, Y)\times X\rightarrow Y $是赋值映射, 定义为$ {\rm{ev}}(f, x) = f(x) $.
定理 1.10[5] 设$ X $, $ Y $和$ Z $都是diffeological空间, $ C^{\infty}(X, Y), C^{\infty}(X\times Y, Z) $和$ C^{\infty}(X, C^{\infty}(Y, Z)) $都带函数式diffeology. 则$ C^{\infty}(X, C^{\infty}(Y, Z))\cong C^{\infty}(X\times Y, Z) $.
定义 1.11[5] 设$ H\colon X\times I\rightarrow Y $是光滑同伦, 如果存在$ 0<\varepsilon<\frac{1}{2} $, 使得
则称$ H $为tame同伦.
以下给出光滑纤维化与光滑上纤维化的概念.
定义 1.12[2] 设$ E $, $ B $和$ X $都是diffeological空间. 如果对任一光滑映射$ f\colon X\rightarrow E, $光滑同伦$ G\colon X\times I\rightarrow B, G_0 = p\circ f, $都存在光滑同伦$ F\colon X\times I\rightarrow E $, 使得$ F_0 = f, p\circ F = G(F{\rm{是}}G{\rm{的提升}}), $则称$ p $有关于空间$ X $的光滑同伦提升性质. 把$ X $看成$ X\times \{0\}, $设$ i_0\colon X\rightarrow X\times I $是包含映射, 则有交换图表如下:
若对所有diffeological空间$ X, $ $ p $都有光滑同伦提升性质, 则称$ p $是光滑纤维化.
定义 1.13[2] 设$ X, Y $是diffeological空间, $ A $是$ X $的子空间.如果对任一光滑映射$ f\colon X\rightarrow Y $, 光滑同伦$ G\colon A\times I\rightarrow Y, G_0 = f|A, $都存在光滑同伦$ F\colon X\times I\rightarrow Y, $使得$ F_0 = f, F|A\times I = G(F{\rm{是}}G{\rm{的扩张}}), $则称$ f $有关于空间$ X $的光滑同伦扩张性质. 设$ i\colon A\rightarrow X $是包含映射, 则有交换图表如下:
若对所有diffeological空间$ X, $ $ f $都有光滑同伦扩张性质, 则称$ f $是光滑上纤维化.
定理 2.1(即定理 0.1) 任何一个光滑映射$ f\colon A\rightarrow B $可表示成为一个光滑同伦等价和光滑纤维化的复合.
证 令$ P_f = \{(a, \lambda)\in A\times B^I, f(a) = \lambda(1)\}, $看成乘积空间$ A\times B^I $的子空间, 其中$ B^I = C^{\infty}(I, B). $令
则有以下交换图表:
从而可证光滑映射$ f $可表示成为光滑同伦等价映射$ h $和光滑纤维化$ g $的复合,即证$ g $是光滑纤维化, 以及$ h $是光滑同伦等价.
首先证明$ g $是光滑纤维化.
(1) 证$ g $是光滑映射.
任取$ P\colon U\rightarrow P_f\in D_{P_f}, $设$ P(u) = (a, \lambda), u\in U. $则$ g\circ P\colon U\rightarrow B $为
设$ i\colon P_f\rightarrow A\times B^I $是包含映射, 则$ i\circ P\colon U\rightarrow A\times B^I\in D_{A\times B^I}\colon $
设$ \pi_A\colon A\times B^I\rightarrow A, \pi_{B^I}\colon A\times B^I\rightarrow B^I $是自然投射, 则$ P^{'}\triangleq \pi_{B^I}\circ i\circ P\colon U\rightarrow B^I\in D_{B^I}\colon $
取$ Q\colon U\rightarrow I, Q(u) = 0, u\in U. $则$ Q\in D_I. $取光滑映射$ l\colon U\rightarrow U\times U, l(u) = (u, u), u\in U. $于是, $ ev\circ(P^{'}\times Q)\circ l\in D_B\colon $
即$ g\circ P = {\rm{ev}}\circ(P^{'}\times Q)\circ l\in D_B\colon\in D_B. $故$ g $是光滑映射.
(2) 证$ g $对所有diffeological空间都有光滑同伦提升性质.
设$ X $是任一diffeological空间, $ k\colon X\rightarrow P_f $是任一光滑映射, $ G\colon X\times I\rightarrow B $是光滑同伦使$ G_0 = g\circ k. $不妨设$ G $是tame同伦.
记$ k_1\triangleq \pi_{A}\circ i \circ k\colon X\rightarrow A, k_2\triangleq \pi_{B^I}\circ i \circ k\colon X\rightarrow B^I. $根据指数对应法则, $ k_2 $对应$ k^{'}\colon X\times I\rightarrow B, k^{'}(x, t) = k_2(x)(t). $定义$ F_B^{'}\colon X\times I\times I $为
由于$ G(x, 0) = g\circ k(x) = k_2(x)(0) = k^{'}(x, 0), $ $ G $是tame映射, 故$ F_B^{'} $是光滑的. 根据指数对应法则, 得到光滑同伦$ F_B\colon X\times I\rightarrow B^I. $
再定义$ F\colon X\times I\rightarrow A\times B^I $为$ F(x, s) = (k_1(x), F_B(x, s)), $由$ k_1 $和$ F_B $的光滑性得$ F $是光滑的. 又$ f(k_1(x)) = k_2(x)(1) = k^{'}(x, 1) = F_B^{'}(x, s, 1) = F_B(x, s)(1), $从而$ F $是从$ X\times I $到$ P_f $的映射. 同时, $ F(x, 0) = (k_1(x), F_B(x, 0)) = (k_1(x), k^{'}(x, t)) = (k_1(x), k_2(x)) = k(x);g\circ F = F_B(x, s)(0) = F_B^{'}(x, s, 0) = G(x, s). $
因此, 由(1)(2)知$ g $是光滑纤维化.
其次证明$ h $是光滑同伦等价.
(1) 证$ h\colon A\rightarrow P_f, h(a) = (a, e_{f(a)}) $是光滑映射.
任取$ P\colon U\rightarrow A\in D_A, $ $ h\circ P\colon U\rightarrow P_f $为
要证$ h\circ P\in D_{P_f}, $即证$ P^{'}\triangleq i\circ h\circ P\colon U\rightarrow A\times B^I, u\mapsto(P(u), e_{f(P(u))})\in D_{A\times B^I}, $则转化为证$ P_1\triangleq \pi_{A}\circ P^{'}\colon U\rightarrow A\in D_A, $和$ P_2\triangleq \pi_{B^I}\circ P^{'}\colon U\rightarrow B^I\in D_{B^I}\colon $
可见, $ P_1 = P\in D_A. $而要证$ P_2\in D_{B^I}, $即证对任意$ Q\colon V\rightarrow I\in D_I, $都有$ ev\circ (P_2\times Q)\in D_B\colon $
由$ f $的光滑性得$ ev\circ (P_2\times Q)\in D_B $成立, 从而$ h\circ P\in D_{P_f}, $即$ h $是光滑映射.
(2) 定义$ j\colon P_f\rightarrow A, j(a, \lambda) = a, $是第一个坐标的投射, 则是光滑的.
(3) 证$ j\circ h\simeq 1_A, h\circ j\simeq 1_{P_f} $.
首先$ j\circ h = 1_A, $而$ h\circ j\colon 1_{P_f}\rightarrow 1_{P_f} $为$ h\circ j(a, \lambda) = (a, e_{f(a)}). $
定义$ H\colon P_f\times I\rightarrow P_f, H(a, \lambda, s) = (a, \lambda_s), \lambda_s(t) = \lambda(t+s(1-t)), t\in I. $下证$ H $是光滑的.
任取$ P\colon U\rightarrow P_f\times I\in D_{P_f\times I}, $设$ P(u) = (a, \lambda, s), u\in U. $需证$ H\circ P\colon U\rightarrow P_f\in D_{P_f}\colon $
则需证$ P^{''}\triangleq i\circ H\circ P\colon U\rightarrow A\times B^I, P^{''}(u) = (a, \lambda_s)\in D_{A\times B^I}. $转化为证$ P_1^{'}\triangleq \pi_{A}\circ P^{''}\colon U\rightarrow A\in D_{A}, P_2^{'}\triangleq \pi_{B^I}\circ P^{''}\colon U\rightarrow B^I\in D_{B^I}\colon $
而证$ P_2^{'}\in D_{B^I} $相当于要证对任意$ Q^{'}\colon V\rightarrow I\in D_I, $都有$ {\rm{ev}}\circ (P_2^{'}\times Q^{'})\in D_B\colon $
由于$ P\colon U\rightarrow P_f\times I\in D_{P_f\times I}, $设$ \pi_{P_f}\colon P_f\times I\rightarrow P_f, \pi_{I}\colon P_f\times I\rightarrow I $是自然投射, 得到$ i\circ \pi_{P_f}\circ P\colon U\rightarrow I\in D_{A\times B^I}, \pi_{I}\circ P\colon U\rightarrow I\in D_{I}\colon $
从而$ \pi_{A}\circ i\circ \pi_{P_f}\circ P\colon U\rightarrow I $, $ u\mapsto a\in D_{A}, $即得到$ P_1^{'}\in D_{A}. $另, $ P^{''}_2\triangleq \pi_{B^I}\circ i\circ \pi_{P_f}\circ P\colon U\rightarrow I, u\mapsto \lambda \in D_{B^I}. $取$ Q\colon V\rightarrow I, Q(v) = (Q^{'}(v)+s(1-Q^{'}(v)))\in D_I, $则有$ {\rm{ev}}\circ (P^{''}_2\times Q)\in D_B\colon $
即$ {\rm{ev}}\circ (P^{'}_2\times Q^{'})\in D_B. $故$ H $是光滑映射. 又$ H_0 = 1_{P_f}, H_1 = h\circ j, $所以$ H $是连接$ 1_{P_f} $和$ h\circ j $的光滑同伦.
因此, 由(1)(2)(3)知$ h $是光滑同伦等价.
定义 3.1[5] 设$ X $和$ Y $都是diffeological空间, 如果$ f\colon X\rightarrow Y $是双射, 且$ f $和$ f^{-1} $都是光滑的, 则称映射$ f $为diffeomorphism.
引理 3.2 映射$ \phi\colon X\times Y/{\alpha \times \beta}\rightarrow X/\alpha \times Y/\beta $(由$ \phi([x, y]) = ([x], [y]) $定义)是diffeomorphism.
证 (1) 由等价关系$ \alpha, \beta, \alpha \times \beta $的定义和映射$ \phi $的定义, 得$ \phi $是双射, 且有以下交换图表:
(2) $ p_{\alpha}, p_{\beta} $是除法, 易证$ p_{\alpha}\times p_{\beta} $是光滑的.又$ p_{\alpha \times \beta} $是除法, 由命题1.7知$ \phi $是光滑映射.
(3) 由于$ p_{\alpha}\times p_{\beta} $是除法, $ p_{\alpha \times \beta} $是光滑映射, 故由命题1.7知$ \phi^{-1} $是光滑映射.
引理 3.3 设$ F\colon X\times I\rightarrow Y $是光滑同伦. 定义等价关系$ \alpha \colon x\alpha x^{'} $当且仅当$ F(x, t) = F(x^{'}, t), $任意$ t\in I $. 设$ p_\alpha\colon X\rightarrow X/\alpha $是粘合映射. 则$ F $诱导光滑同伦$ F^{'}\colon X/\alpha\times I\rightarrow Y, $使得$ F^{'}\circ(p_\alpha \times 1_I) = F. $
证 设$ 1 $是$ I $上的等价关系, 定义$ i1i^{'} $当且仅当$ i = i^{'}, $则$ \alpha \times 1 $是$ X\times I $上的等价关系. 由引理3.2知$ \phi\colon X\times I/{\alpha \times 1}\rightarrow X/\alpha \times I $是diffeomorphism. 根据$ F $的假设知, 存在映射$ F^{''}\colon X\times I/{\alpha \times 1}\rightarrow Y $使$ F^{''}\circ p_{\alpha \times 1} = F, $且因为$ p_{\alpha \times 1} $是除法, 所以$ F^{''} $是光滑的. 得到以下交换图表:
令$ F^{'} = F^{''}\circ \phi^{-1}, $即是所求.
定理 3.4 (即定理 0.2) 任何一个光滑映射$ f\colon A\rightarrow B $可表示成为一个光滑上纤维化和光滑同伦等价的复合.
证 令$ M_f = A\times I\coprod B/\sim $为$ f $的光滑映射柱, 其中$ \sim $是等价关系$ \!\colon (a, 1)\sim f(a), a\in A. $把$ M_f $看成$ A\times I \coprod B $的商空间, 设$ p\colon A\times I\coprod B\rightarrow M_f $为光滑粘合映射. 令
则有以下交换图表:
故可证光滑映射$ f $可表示成为光滑上纤维化$ g $和光滑同伦等价$ h $的复合, 即证$ g $是光滑上纤维化, 以及$ h $是光滑同伦等价.
首先证明$ g $是光滑上纤维化.
(1) 证$ g $是光滑映射. 把$ A $看成$ A\times \{0\}, $则是$ M_f $的子空间, 而$ g $是相应的包含映射, 则是光滑的.
(2) 证$ g $对所有diffeological空间都有光滑同伦扩张性质.
设$ Y $是任一diffeological空间, $ k\colon M_f\rightarrow Y $是任一光滑映射, $ G\colon A\times I\rightarrow Y $是光滑同伦使$ G_0 = k\circ g. $不妨设$ G $是tame同伦.
定义$ F_B\colon B\times I\rightarrow Y $为$ F_B(b, s) = k(b), $和$ F_A\colon A\times I\times I\rightarrow Y $为
由于$ k $是光滑的, $ G $是tame同伦, 且$ G(a, 0) = k\circ g(a) = k([a, 0]), $故$ F_B $和$ F_A $是光滑的. 因为$ F_A(a, 1, s) = k([a, 1]) = k(f(a)) = F_B(f(a), s), $根据引理3.3, $ F_A\cup F_B $诱导光滑同伦$ F\colon M_f\times I\rightarrow Y, $使$ F\circ (p\times 1) = F_A\cup F_B. $则$ F(x, 0) = F_B(x, 0) = k(x), $当$ x\in B $; $ F([x, t], 0) = k([x, t]), $当$ (x, t)\in A\times I; $故$ F_0 = k. $ $ F\circ(g\times 1_I)(a, s) = F([a, 0], s) = G(a, s), $即$ F\circ(g\times 1_I) = G. $
因此, 由(1)(2)知$ g $是光滑上纤维化.
(1) 证$ h\colon M_f\rightarrow B $是光滑映射.
因为在$ M_f $中, $ f(a) = [a, 1], a\in A, $所以把$ h\colon M_f\rightarrow B $看成
任取$ P\colon U\rightarrow M_f\in D_{M_f}, $设$ P(u) = [a, t], (a, t)\in A\times I $或$ P(u) = b, b\in B, u\in U. $则$ h\circ P\colon U\rightarrow M_f $为
设$ i_1\colon A\times I\rightarrow A\times I\coprod B, \ i_2\colon B\rightarrow A\times I\coprod B $是包含映射, 由于$ P\colon U\rightarrow M_f\in D_{M_f}, $则对任意$ u\in U, $存在$ u $的邻域$ W $和$ Q_1^{'}\colon W\rightarrow A\times I\in D_{A\times I}, $使得$ h\circ P|W = p\circ i_1\circ Q_1^{'}, $或者$ Q_2^{'}\colon W\rightarrow B\in D_{B}, $使得$ P|W = p\circ i_2\circ Q_2^{'}. $令$ l\colon A\times I\rightarrow A\times I, l(a, t) = (a, 1), (a, t)\in A\times I. $可见$ l $是光滑的, 则$ Q_1\triangleq l\circ Q_1^{'}\in D_{A\times I}. $于是, $ h\circ P|W = p\circ i_1\circ Q_1, $或者$ h\circ P|W = p\circ i_2\circ Q_2^{'}. $从而$ h\circ P\in D_{M_f}. $
(2) 定义$ j\colon B\rightarrow M_f, j(b) = b, b\in B. $可见$ j $是包含映射, 则是光滑的.
(3) 证明$ h\circ j\simeq 1_B, j\circ h\simeq 1_{M_f} $.
首先$ h\circ j = 1_B, $而$ j\circ h\colon 1_{M_f}\rightarrow 1_{M_f} $为
定义$ H\colon M_f\times I\rightarrow M_f $为
下证$ H $是光滑的.
任取$ P\colon U\rightarrow M_f\times I\in D_{M_f\times I}, $设$ P(u) = ([a, t], s), (a, t)\in A\times I $或$ P(u) = b, b\in B, u\in U. $则$ H\circ P\colon U\rightarrow P_f $为
设$ \pi_{M_f}\colon M_f\times I\rightarrow M_f, \pi_{I}\colon M_f\times I\rightarrow I $是自然投射, 由于$ P\colon U\rightarrow M_f\times I\in D_{M_f\times I}, $则$ P_1\triangleq \pi_{M_f}\circ P\colon U\rightarrow M_f\in D_{M_f} $, $ P_2\triangleq \pi_{I}\circ P\colon U\rightarrow I\in D_{I}\colon $
于是对任意$ u\in U, $存在$ u $的开邻域$ V $和$ Q_1\colon V\rightarrow A\times I\in D_{A\times I}, $使$ P_1|V = p\circ i_1\circ Q_1, $或者$ Q_2\colon V\rightarrow B\in D_{B}, $使$ P_2|V = p\circ i_2\circ Q_2. $
设$ \pi_A\colon A\times I\rightarrow A, \ \pi_I^{'}\colon A\times I\rightarrow I $为自然投射, 则$ Q_1^{'}\triangleq \pi_A\circ Q_1\colon V\rightarrow A\in D_A, Q_1^{''}\triangleq \pi_I^{'}\circ Q_1\colon V\rightarrow I\in D_I. $令$ Q^{'}\colon V\rightarrow I $为$ Q^{'}(u)\triangleq Q_1^{''}(u)+P_2(u)-Q_1^{''}(u)P_2(u), u\in V. $则$ Q^{'}\in D_I. $再令$ \widetilde{Q}\colon V\rightarrow A\times I $为$ Q(u) = (Q_1^{'}(u), Q^{'}(u)), u\in V. $则$ \widetilde{Q}\in D_{A\times I}. $于是$ H\circ P|V = P\circ i_1\circ \widetilde{Q}. $或者令$ \widetilde{Q}\triangleq Q_2\colon V\rightarrow B\in D_B, $有$ H\circ P|V = P\circ i_2\circ \widetilde{Q}. $从而$ H\circ P\in D_{M_f}, $即$ H $是光滑映射. 又$ H_0 = 1_{P_f}, H_1 = h\circ j, $所以$ H $是连接$ 1_{M_f} $和$ j\circ h $的光滑同伦.