代数拓扑中同伦群的怀特海积与加法极限

代数拓扑中同伦群的怀特海积与加法极限一、同伦群的基础回顾同伦群是代数拓扑中刻画拓扑空间连续映射同伦类的核心代数工具，其思想源于将拓扑空间中的连续映射与群结构相结合，通过代数运算捕捉拓扑空间的“洞”与“连通性”等本质特征。在同伦群的定义中，我们首先考虑n维球面(S^n)到拓扑空间(X)的连续映射集合([S^n,X])，其中两个映射(f,g:S^n\toX)被称为同伦的，若存在连续映射(H:S^n\timesI\toX)（(I=[0,1])）使得(H(x,0)=f(x))且(H(x,1)=g(x))。通过在这个集合上定义群运算，我们得到了X的n维同伦群(\pi_n(X))。对于n≥1，(\pi_n(X))是一个群，当n≥2时，(\pi_n(X))是交换群。同伦群的群运算通常通过“映射的和”来定义：将n维球面(S^n)视为两个n-1维球面在赤道处粘合的结果，即(S^n=D^n_+\cupD^n_-)，其中(D^n_+)和(D^n_-)分别是上半球面和下半球面，它们的交集是赤道(S^{n-1})。对于两个映射(f,g:S^n\toX)，定义它们的和(f+g:S^n\toX)为：在(D^n_+)上，(f+g(x)=f(2x))（当(x\inD^n_+)时，(2x)将上半球面拉伸为整个球面）；在(D^n_-)上，(f+g(x)=g(2x-1))（类似地将下半球面拉伸为整个球面）。这种运算满足结合律，并且存在单位元（常值映射）和逆元（将映射的方向反转），从而使([S^n,X])成为一个群。同伦群的重要性在于它是同伦不变量，即若两个拓扑空间X和Y同伦等价，则它们的同伦群同构：(\pi_n(X)\cong\pi_n(Y))对所有n≥1成立。这意味着同伦群可以用来区分不同伦等价的拓扑空间，例如，(\pi_1(S^1)\cong\mathbb{Z})，而(\pi_1(D^2)=0)（(D^2)是二维圆盘），因此(S^1)和(D^2)不同伦等价。此外，同伦群还与同调群有着密切的联系，胡尔维茨定理（HurewiczTheorem）指出，对于连通拓扑空间X，当n≥1时，若(\pi_1(X),\pi_2(X),\dots,\pi_{n-1}(X))都是平凡群，则胡尔维茨同态(h:\pi_n(X)\toH_n(X))是同构，其中(H_n(X))是X的n维奇异同调群。这一定理建立了同伦群与同调群之间的桥梁，使得我们可以通过同调群来研究同伦群，反之亦然。二、怀特海积的定义与构造怀特海积（Whiteheadproduct）是同伦群之间的一种双线性运算，由J.H.C.怀特海在20世纪40年代引入，它描述了高维同伦群中的元素如何通过低维同伦群的元素构造出来。怀特海积的定义涉及到球面的乘积空间以及它们的同伦群，其核心思想是将两个球面的映射“粘合”在一起，得到一个到更高维球面的映射，进而诱导出同伦群之间的运算。（一）球面乘积空间的同伦群为了定义怀特海积，我们首先考虑球面的乘积空间(S^m\timesS^n)，其中m,n≥1。球面乘积空间的同伦群可以通过同伦群的乘积公式来计算：(\pi_k(S^m\timesS^n)\cong\pi_k(S^m)\oplus\pi_k(S^n))对所有k≥1成立，这是因为乘积空间的连续映射可以分解为两个分量映射，分别到(S^m)和(S^n)，而同伦关系也可以分量wise地定义。然而，当k=m+n-1时，情况变得更加有趣。此时，(\pi_{m+n-1}(S^m\timesS^n))不仅包含(\pi_{m+n-1}(S^m)\oplus\pi_{m+n-1}(S^n))，还包含一个额外的元素，这个元素来源于(S^m\timesS^n)的“扭结”结构。具体来说，考虑(S^m\timesS^n)的商空间(S^m\veeS^n)（球面的一点并），即将(S^m)和(S^n)在一个公共点处粘合。存在一个自然的商映射(q:S^m\timesS^n\toS^m\veeS^n)，将(S^m\times{x_0})和({y_0}\timesS^n)分别映射到(S^m)和(S^n)的公共点，其中(x_0\inS^n)和(y_0\inS^m)是基点。这个商映射的纤维是(S^{m+n-1})吗？不，实际上，(S^m\timesS^n)去掉一点并(S^m\veeS^n)后的剩余部分是同伦等价于(S^{m+n-1})的，因为(S^m\timesS^n-(S^m\veeS^n)\cong(S^m-{y_0})\times(S^n-{x_0})\cong\mathbb{R}^m\times\mathbb{R}^n\cong\mathbb{R}^{m+n})，而(\mathbb{R}^{m+n})去掉原点后同伦等价于(S^{m+n-1})。因此，我们有一个纤维丛序列：[S^{m+n-1}\toS^m\timesS^n\toS^m\veeS^n]其中第一个映射是将(S^{m+n-1})嵌入到(S^m\timesS^n)中，作为(S^m\timesS^n)中去掉一点并后的部分的同伦等价像。这个纤维丛序列诱导了同伦群的正合序列：[\dots\to\pi_k(S^{m+n-1})\to\pi_k(S^m\timesS^n)\to\pi_k(S^m\veeS^n)\to\pi_{k-1}(S^{m+n-1})\to\dots]当k=m+n-1时，这个正合序列给出：[\pi_{m+n-1}(S^{m+n-1})\to\pi_{m+n-1}(S^m\timesS^n)\to\pi_{m+n-1}(S^m\veeS^n)\to0]由于(\pi_{m+n-1}(S^{m+n-1})\cong\mathbb{Z})，我们可以将这个群中的生成元对应到(\pi_{m+n-1}(S^m\timesS^n))中的一个元素，这个元素就是怀特海积的基础。（二）怀特海积的定义现在，我们可以定义怀特海积了。设(\alpha\in\pi_m(X))和(\beta\in\pi_n(X))，其中X是一个拓扑空间，m,n≥1。怀特海积([\alpha,\beta]\in\pi_{m+n-1}(X))是一个同伦群元素，它的构造如下：首先，(\alpha)对应一个映射(f:S^m\toX)，(\beta)对应一个映射(g:S^n\toX)。考虑乘积映射(f\timesg:S^m\timesS^n\toX\timesX)，将((x,y))映射到((f(x),g(y)))。然后，通过X的对角映射(\Delta:X\toX\timesX)，将x映射到((x,x))，我们可以将(f\timesg)与(\Delta)的逆映射（如果存在的话）结合起来吗？不，实际上，我们需要考虑X的“胖对角”，即(\Delta(X)={(x,x)|x\inX})，而(X\timesX-\Delta(X))是同伦等价于(\OmegaX)（X的闭路空间）吗？不对，正确的做法是使用球面乘积空间到一点并的商映射，以及同伦群的自然变换。另一种更直接的定义方式是使用“附加映射”。考虑(S^m\veeS^n)到X的映射，由f和g诱导，即(f\veeg:S^m\veeS^n\toX)，在(S^m)上等于f，在(S^n)上等于g。我们希望将这个映射扩展到(S^m\timesS^n)上，但一般来说这是不可能的，除非f和g满足某些条件。然而，我们可以考虑(S^m\timesS^n)的同伦群中的元素，它代表了(f\veeg)无法扩展到(S^m\timesS^n)的“障碍”，这个障碍元素就是怀特海积。具体来说，存在一个自然的同构(\pi_{m+n-1}(S^m\veeS^n)\cong\pi_{m+n-1}(S^m)\oplus\pi_{m+n-1}(S^n)\oplus\mathbb{Z})，其中额外的(\mathbb{Z})因子由怀特海积生成。这个生成元通常记为([i_m,i_n]\in\pi_{m+n-1}(S^m\veeS^n))，其中(i_m:S^m\toS^m\veeS^n)和(i_n:S^n\toS^m\veeS^n)是自然的包含映射。然后，对于任意的(\alpha\in\pi_m(X))和(\beta\in\pi_n(X))，怀特海积([\alpha,\beta])定义为((\alpha\times\beta)*([i_m,i_n]))，其中((\alpha\times\beta)*:\pi_{m+n-1}(S^m\veeS^n)\to\pi_{m+n-1}(X))是由(\alpha\vee\beta:S^m\veeS^n\toX)诱导的同伦群同态（因为(\alpha\vee\beta\circi_m=\alpha)，(\alpha\vee\beta\circi_n=\beta)）。（三）怀特海积的性质怀特海积具有一系列重要的代数性质，这些性质使得它在同伦群的计算和研究中扮演着关键角色。以下是一些基本性质：双线性性：怀特海积是双线性的，即对于(\alpha_1,\alpha_2\in\pi_m(X))，(\beta\in\pi_n(X))，有([\alpha_1+\alpha_2,\beta]=[\alpha_1,\beta]+[\alpha_2,\beta])；对于(\alpha\in\pi_m(X))，(\beta_1,\beta_2\in\pi_n(X))，有([\alpha,\beta_1+\beta_2]=[\alpha,\beta_1]+[\alpha,\beta_2])。这是因为同伦群的运算和怀特海积的定义都是线性的。反对称性：当m,n≥2时，怀特海积满足反对称性：([\alpha,\beta]=(-1)^{mn}[\beta,\alpha])。这个性质来源于球面乘积空间的对称性，即(S^m\timesS^n)和(S^n\timesS^m)是同胚的，通过交换因子的映射，这个映射诱导了同伦群同态，将([i_m,i_n])映射到((-1)^{mn}[i_n,i_m])。雅可比恒等式：当m,n,p≥2时，怀特海积满足雅可比恒等式：[(-1)^{mp}[[\alpha,\beta],\gamma]+(-1)^{nm}[[\beta,\gamma],\alpha]+(-1)^{pn}[[\gamma,\alpha],\beta]=0]这个恒等式表明，怀特海积赋予同伦群的直和(\bigoplus_{n≥1}\pi_n(X))一个李代数结构（当n≥2时，同伦群是交换群，而李代数的括号运算满足雅可比恒等式）。实际上，当X是一个H-空间（例如拓扑群）时，所有的怀特海积都是平凡的，因为H-空间的同伦群是交换群，并且存在乘法映射使得映射的和可以通过乘法来定义，从而消除了扭结结构。与同调群的关系：怀特海积在同调群中有对应的“乘积”结构，即杯积（cupproduct）。具体来说，存在一个自然的同态(h:\pi_n(X)\toH_n(X))（胡尔维茨同态），将同伦群元素映射到同调群中的对应元素。对于怀特海积，胡尔维茨同态满足(h([\alpha,\beta])=h(\alpha)\smileh(\beta)-(-1)^{mn}h(\beta)\smileh(\alpha))，其中(\smile)是同调群中的杯积运算。当m或n等于1时，杯积是交换的，因此(h([\alpha,\beta])=0)，这意味着怀特海积在同调群中是平凡的，但在同伦群中可能是非平凡的。三、加法极限的概念与构造在代数拓扑中，极限（limit）和余极限（colimit）是处理拓扑空间序列和同态序列的重要工具。加法极限（additivelimit）是一种特殊的余极限，用于研究同伦群在“维度趋向无穷”时的行为，或者当拓扑空间序列满足某些条件时，同伦群的极限行为。加法极限的思想来源于将一系列同伦群通过同态连接起来，形成一个正向系统（directsystem），然后取这个正向系统的余极限，得到一个“极限群”，它包含了所有有限维同伦群的信息。（一）正向系统与余极限首先，回顾一下正向系统和余极限的定义。一个正向系统（或称为有向系统）是由一个偏序集(I)（通常是自然数集(\mathbb{N})，带有通常的序关系），一族集合({A_i}{i\inI})，以及一族映射({f{ij}:A_i\toA_j}_{i≤j})组成，满足以下条件：对于所有i∈I，(f_{ii}:A_i\toA_i)是恒等映射；对于所有i≤j≤k，(f_{jk}\circf_{ij}=f_{ik})。正向系统的余极限（colimit，也称为直和极限）是一个集合(\varinjlimA_i)，以及一族映射({f_i:A_i\to\varinjlimA_i})，满足对于所有i≤j，(f_j\circf_{ij}=f_i)，并且余极限是满足这个泛性质的最小集合。具体来说，(\varinjlimA_i)可以构造为不交并(\bigsqcup_{i\inI}A_i)模一个等价关系：(a_i\sima_j)当且仅当存在k≥i,j使得(f_{ik}(a_i)=f_{jk}(a_j))。当所有的(A_i)都是群，并且所有的(f_{ij})都是群同态时，余极限(\varinjlimA_i)也是一个群，其群运算由([a_i]+[a_j]=[f_{ik}(a_i)+f_{jk}(a_j)])定义，其中k≥i,j，([a_i])表示(a_i)在余极限中的等价类。这个群被称为正向系统的加法极限，因为它是通过将群中的元素“相加”并取极限得到的。（二）同伦群的正向系统在同伦群的研究中，我们经常遇到拓扑空间的序列(X_1\subseteqX_2\subseteqX_3\subseteq\dots)，其中每个(X_i)都是(X_{i+1})的子空间，并且包含映射(i_n:X_n\toX_{n+1})是连续的。这样的序列称为拓扑空间的正向序列，其并空间(X=\bigcup_{n=1}^\inftyX_n)带有弱拓扑，即一个集合U⊆X是开集当且仅当U∩X_n是X_n中的开集对所有n成立。对于这样的正向序列，包含映射诱导了同伦群的同态(i_{n*}:\pi_k(X_n)\to\pi_k(X_{n+1}))，从而形成了同伦群的正向系统({\pi_k(X_n),i_{n*}})。我们可以考虑这个正向系统的加法极限(\varinjlim\pi_k(X_n))，并研究它与(\pi_k(X))的关系。根据米尔诺（Milnor）的一个定理，如果每个包含映射(i_n:X_n\toX_{n+1})都是同伦等价，那么(\pi_k(X)\cong\varinjlim\pi_k(X_n))对所有k成立。但一般来说，这个同构并不成立，除非满足某些“紧致性”条件。例如，当X是一个CW复形，并且每个X_n都是X的有限子CW复形时，根据CW复形的同伦群性质，(\pi_k(X)\cong\varinjlim\pi_k(X_n))对所有k成立，因为任何映射(f:S^k\toX)的像都是紧致的，因此包含在某个有限子CW复形X_n中，从而对应到(\pi_k(X_n))中的一个元素，并且两个映射同伦当且仅当它们在某个X_n中同伦。（三）稳定同伦群与加法极限稳定同伦群是加法极限的一个重要应用场景。稳定同伦群的思想是，当n足够大时，同伦群(\pi_{n+k}(S^n))不再依赖于n，这个稳定的群记为(\pi_k^s)，称为稳定同伦群。为了定义稳定同伦群，我们考虑正向系统({\pi_{n+k}(S^n),\sigma_*})，其中(\sigma:S^n\to\OmegaS^{n+1})是悬垂映射（suspensionmap）的伴随映射，悬垂映射(\Sigma:[S^n,X]\to[S^{n+1},\SigmaX])将映射f:S^n→X映射到(\Sigmaf:S^{n+1}\to\SigmaX)，其中(\SigmaX)是X的悬垂空间，即(X\timesI)将(X\times{0})和(X\times{1})分别粘合为一点。对于球面(S^n)，悬垂空间(\SigmaS^n\congS^{n+1})，因此悬垂映射诱导了同态(\sigma_:\pi_{n+k}(S^n)\to\pi_{n+k+1}(S^{n+1}))，将([f])映射到([\Sigmaf])。这个同态在n足够大时是同构吗？根据弗雷德霍姆（Freudenthal）悬垂定理，当n>k+1时，(\sigma_)是同构；当n=k+1时，(\sigma_)是满同态。因此，正向系统({\pi_{n+k}(S^n),\sigma_})是稳定的，即当n足够大时，同态(\sigma_*)是同构，其加法极限就是稳定同伦群(\pi_k^s=\varinjlim\pi_{n+k}(S^n))。稳定同伦群的重要性在于它是一个“稳定”的代数不变量，不依赖于球面的维度n，因此可以用来研究拓扑空间的稳定性质。例如，稳定同伦群包含了关于球面的“稳定同伦群环”的信息，这个环中的乘法由smash积（smashproduct）诱导，即(\pi_k^s\times\pi_l^s\to\pi_{k+l}^s)，将两个稳定同伦群元素映射到它们的smash积对应的稳定同伦群元素。（四）加法极限的函子性质加法极限是一个函子，即对于两个正向系统({A_i,f_{ij}})和({B_i,g_{ij}})，以及一族同态({h_i:A_i\toB_i})满足(g_{ij}\circh_i=h_j\circf_{ij})对所有i≤j成立，存在唯一的同态(h:\varinjlimA_i\to\varinjlimB_i)使得(h\circf_i=g_i\circh_i)对所有i成立。这个函子性质使得加法极限可以用来比较不同的正向系统，例如，当我们有两个拓扑空间的正向序列({X_n})和({Y_n})，以及一族连续映射({f_n:X_n\toY_n})诱导同伦群同态，那么这些同态诱导了加法极限之间的同态(\varinjlim\pi_k(X_n)\to\varinjlim\pi_k(Y_n))。此外，加法极限保持正合序列，即如果有正向系统的短正合序列(0\toA_i\toB_i\toC_i\to0)对所有i成立，并且同态满足交换性，那么对应的加法极限序列(0\to\varinjlimA_i\to\varinjlimB_i\to\varinjlimC_i\to0)也是正合的。这个性质来源于余极限的正合性，在代数中，余极限是右正合的，而当正向系统中的同态都是单同态时，余极限保持单同态，从而短正合序列的加法极限也是短正合的。四、怀特海积与加法极限的联系怀特海积和加法极限在代数拓扑中是两个看似独立的概念，但实际上它们之间存在着深刻的联系，尤其是在稳定同伦群的研究中。怀特海积描述了同伦群中的“扭结”结构，而加法极限则捕捉了同伦群在稳定范围内的行为，两者结合起来可以帮助我们理解高维同伦群的复杂结构。（一）稳定怀特海积在稳定同伦群中，怀特海积具有更简洁的形式，称为稳定怀特海积。考虑稳定同伦群(\pi_k^s)和(\pi_l^s)，其中k,l≥1。稳定怀特海积是一个双线性映射([-,-]:\pi_k^s\times\pi_l^s\to\pi_{k+l-1}^s)，它是由不稳定怀特海积在稳定范围内的极限得到的。具体来说，对于不稳定怀特海积([\alpha,\beta]\in\pi_{m+n-1}(S^m))，其中(\alpha\in\pi_m(S^m)\cong\mathbb{Z})（生成元为恒等映射(id_{S^m})），(\beta\in\pi_n(S^m))（当m>n时，(\pi_n(S^m)=0)，但当m≤n时，(\pi_n(S^m))可能是非平凡的），通过悬垂映射(\sigma_)，我们可以将这个怀特海积映射到(\pi_{m+n}(S^{m+1}))中的元素(\sigma_([\alpha,\beta])=[\Sigma\alpha,\Sigma\beta])，其中(\Sigma\alpha\in\pi_{m+1}(S^{m+1}))是(\alpha)的悬垂，(\Sigma\beta\in\pi_{n+1}(S^{m+1}))是(\beta)的悬垂。当m趋向于无穷大时，这个序列的极限就是稳定怀特海积([\alpha^s,\beta^s]\in\pi_{k+l-1}^s)，其中(\alpha^s=\varinjlim\Sigma^m\alpha\in\pi_k^s)，(\beta^s=\varinjlim\Sigma^m\beta\in\pi_l^s)（k=m-m=0？不，正确的稳定化是将(\pi_{n+k}(S^n))中的元素稳定化为(\pi_k^s)，因此对于(\alpha\in\pi_{n+k}(S^n))，其稳定化元素是(\alpha^s\in\pi_k^s)）。稳定怀特海积具有更简单的代数性质，例如，当k或l≥2时，稳定怀特海积是反对称的，并且满足雅可比恒等式，赋予稳定同伦群的直和(\bigoplus_{k≥0}\pi_k^s)一个李代数结构（实际上是一个分级李代数）。此外，稳定怀特海积与稳定同伦群中的smash积运算兼容，即对于(\alpha\in\pi_k^s)，(\beta\in\pi_l^s)，(\gamma\in\pi_m^s)，有([\alpha\wedge\beta,\gamma]=\alpha\wedge[\beta,\gamma]+(-1)^{l(m-1)}[\alpha,\gamma]\wedge\beta)，其中(\wedge)是smash积运算。（二）加法极限下的怀特海积平凡性在某些情况下，当我们取加法极限时，怀特海积可能会变得平凡，即极限群中的怀特海积元素为零。例如，当拓扑空间X是一个H-空间时，所有的不稳定怀特海积都是平凡的，因为H-空间的同伦群是交换群，并且存在乘法映射使得映射的和可以通过乘法来定义，从而消除了扭结结构。因此，H-空间的稳定同伦群中的怀特海积也是平凡的，因为稳定同伦群是不稳定同伦群的加法极限，而不稳定怀特海积已经是平凡的。另一个例子是当X是一个无限维球面(S^\infty)，即正向序列(S^1\subseteqS^2\subseteqS^3\subseteq\dots)的并空间，带有弱拓扑。无限维球面(S^\infty)是可缩的，因为存在同伦(H:S^\infty\timesI\toS^\infty)，将(x=(x_1,x_2,\dots))映射到((\sqrt{1-t^2}x_1,\sqrt{1-t^2}x_2,\dots,t))，这个同伦将(S^\infty)收缩到基点((0,0,\dots,1))。因此，(\pi_k(S^\infty)=0)对所有k≥1成立，其加法极限(\varinjlim\pi_k(S^n)=0)，当然怀特海积也是平凡的。然而，对于有限维球面(S^n)，其稳定同伦群中的怀特海积通常是非平凡的。例如，稳定同伦群(\pi_1^s\cong\mathbb{Z}/2\mathbb{Z})，生成元为霍普夫映射（Hopfmap）(\eta:S^3\toS^2)的稳定化。稳定怀特海积([\eta,\eta]\in\pi_1^s)是非平凡的，并且等于(\eta)本身吗？不，实际上，([\eta,\eta]=2\eta=0)在(\pi_1^s)中，因为(\pi_1^s)是2阶循环群。而对于稳定同伦群(\pi_2^s\cong\mathbb{Z}/2\mathbb{Z})，生成元为(\nu:S^7\toS^4)的稳定化，稳定怀特海积([\nu,\nu]\in\pi_3^s)是非平凡的，并且等于(\sigma)（另一个稳定同伦群生成元）吗？需要更深入的计算，但可以肯定的是，稳定怀特海积在稳定同伦群中引入了非平凡的代数结构，使得稳定同伦群环成为一个复杂的分级环。（三）怀特海积与正向系统的正合性在研究同伦群的正向系统时，怀特海积可以用来构造正合序列中的“连接同态”。例如，考虑拓扑空间的正向序列(X_1\subseteqX_2\subseteqX_3\subseteq\dots)，其并空间为X。对于每个n，存在一个正合序列：[\pi_{k+1}(X,X_n)\to\pi_k(X_n)\to\pi_k(X)\to\pi_k(X,X_n)]其中(\pi_k(X,X_n))是相对同伦群。当n趋向于无穷大时，相对同伦群(\pi_k(X,X_n))趋向于零，因为任何映射(f:(D^k,S^{k-1})\to(X,X_n))的像都是紧致的，因此包含在某个X_m中（m≥n），从而f在相对同伦群中是平凡的。因此，正向系统({\pi_k(X_n)})的加法极限同构于(\pi_k(X))，这与之前提到的CW复形的性质一致。现在，考虑怀特海积在相对同伦群中的作用。假设我们有一个元素(\alpha\in\pi_m(X_n))和(\beta\in\pi_n(X_n))，它们的怀特海积([\alpha,\beta]\in\pi_{m+n-1}(X_n))。通过包含映射，这个元素可以映射到(\pi_{m+n-1}(X))中，但如果(\alpha)和(\beta)在X中是同伦平凡的，即存在同伦将它们收缩到基点，那么怀特海积在X中可能也是同伦平凡的，但在相对同伦群中可能是非平凡的，从而成为正合序列中的连接同态的一部分。具体来说，假设(\alpha\in\pi_m(X_n))满足(i_{n*}(\alpha)=0)在(\pi_m(X))中，即(\alpha)在X中是同伦平凡的，那么存在一个映射(f:D^{m+1}\toX)，使得f在(S^m)上的限制是(\alpha)对应的映射。这个映射f可以看作是相对同伦群(\pi_{m+1}(X,X_n))中的一个元素，因为f将(D^{m+1})映射到X，将(S^m)映射到X_n。然后，对于(\beta\in\pi_n(X_n))，我们可以定义一个怀特海积([f,\beta]\in\pi_{m+n}(X,X_n))，它是通过将f和(\beta)的乘积映射到相对同伦群中得到的。这个相对怀特海积在正合序列中扮演着连接同态的角色，将(\pi_n(X_n))中的元素映射到(\pi_{m+n}(X,X_n))中，从而揭示了同伦群之间的隐藏关系。五、应用实例：球面稳定同伦群的计算球面的稳定同伦群是代数拓扑中最具挑战性的问题之一，其计算涉及到复杂的代数工具和拓扑构造，而怀特海积和加法极限在其中扮演着关键角色。以下是一些具体的应用实例，展示了怀特海积和加法极限如何帮助我们理解球面稳定同伦群的结构。（一）低维稳定同伦群的计算首先，我们计算低维的稳定同伦群：(\pi_0^s\cong\mathbb{Z})，由球面的恒等映射的稳定化生成；(\pi_1^s\cong\mathbb{Z}/2\mathbb{Z})，由霍普夫映射(\eta:S^3\toS^2)的稳定化生成；(\pi_2^s\cong\mathbb{Z}/2\mathbb{Z})，由霍普夫映射的悬垂(\Sigma\eta:S^4\toS^3)的稳定化生成，或者由另一个映射(\nu:S^7\toS^4)的稳定化生成；(\pi_3^s\cong\mathbb{Z}/24\mathbb{Z})，由映射(\sigma:S^{11}\toS^8)的稳定化生成，以及2阶和3阶元素的组合。在这些低维稳定同伦群中，怀特海积起着重要作用。例如，(\pi_1^s)中的生成元(\eta)满足(\eta^2=0)（在稳定同伦群环中，乘法由smash积诱导），但怀特海积([\eta,\eta]\in\pi_1^s)等于(\eta)吗？不，实际上，([\eta,\eta]=2\eta=0)，因为(\pi_1^s)是2阶循环群。而对于(\pi_2^s)中的生成元(\nu)，怀特海积([\nu,\nu]\in\pi_3^s)是非平凡的，并且等于(4\sigma)（其中(\sigma)是(\pi_3^s)的生成元），这表明怀特海积可以用来构造更高维的稳定同伦群元素。（二）亚当斯谱序列与加法极限亚当斯谱序列（Adamsspectralsequence）是计算球面稳定同伦群的主要工具之一，它将稳定同伦群的计算转化为上同调群中的同调运算问题。亚当斯谱序列的(E_2)项是上同调群(Ext_{A}^{s,t}(\mathbb{Z}/p\mathbb{Z},\mathbb{Z}/p\mathbb{Z}))，其中A是模p斯廷罗德代数（Steenrodalgebra），s是滤过次数，t-s是稳定同伦群的维度。亚当斯谱序列收敛到稳定同伦群的p分量(\pi_*^s\otimes\mathbb{Z}/p\mathbb{Z})。在亚当斯谱序列中，怀特海积对应于上同调群中的“杯积”或“Massey乘积”运算。具体来说，稳定怀特海积在亚当斯谱序列中诱导了一个微分或乘法结构，将(E_2^{s,t})中的元素映射到(E_2^{s',t'})中的元素，其中s'=s+s''，t'=t+t''-1（对应于怀特海积的维度降低1）。通过研究这些运算，我们可以确定亚当斯谱序列中的微分和延伸问题，从而计算出稳定同伦群的p分量。加法极限在亚当斯谱序列中也起着关键作用，因为稳定同伦群本身就是不稳定同伦群的加法极限，而亚当斯谱序列是通过对不稳定同伦群的正向系统取极限得到的。具体来说，对于每个n，存在一个亚当斯谱序列收敛到(\pi_{n+}(S^n))，当n趋向于无穷大时，这些谱序列的极限就是收敛到稳定同伦群(\pi_^s)的亚当斯谱序列。这个极限过程涉及到将斯廷罗德代数中的运算稳定化，消除与n相关的项，从而得到稳定的斯廷罗德代数和稳定的Ext群。（三）同伦群的稳定化与怀特海积的消失在某些情况下，当我们将同伦群稳定化到稳定范围时，怀特海积可能会消失，即稳定怀特海积为零。例如，当X是一个无限维李群G时，其稳定同伦群中的怀特海积都是平凡的，因为李群是H-空间，而H-空间的同伦群是交换群，并且存在乘法映射使得映射的和可以通过乘法来定义，从而消除了扭结结构。因此，李群的稳定同伦群是一个交换环，