在拓扑学中，霍普夫纖維化（Hopf fibration，亦称霍普夫纖維丛）是最早提出的纤维化，其中的纤维是圆圈（1-球面，1），基空间是三维空间中的球面（2-球面，2），而全空间是四维空间中的超球面（3-球面，3）。容易验证，它是非平凡的。即全空间3与积空间1×2不是拓扑同构的。
解释
运用基本的拓扑学语言，霍普夫纤维化可以解释为一个连续满射（称为投影）\pi: S^3\rightarrow S^2，使得
:\forall x\in S^2，\pi^{-1}(x)（在映射下的原像，称为纤维）与 S^1 同胚；
首先注意到，是一个映射，这就意味着，任意两个纤维是不交集，且所有的纤维的并等于全空间3，于是所有的纤维是3的一个划分。通俗地说，霍普夫纖維化描述了用圆圈来填满3的一种方式，其中每个圆圈对应2里面的一个点。
上面的条件还不足以使它成为一个纤维化，后者需要更强的条件，
:\forall x\in S^2，存在 的一个邻域 ()，使得 \pi^{-1}(U(x)) 与 S^1\times U(x) 同胚；
这个条件意味着，全空间3与积空间1×2在局部的拓扑性质上是不可区分的。如果全空间与积空间在整体的拓扑性质上也不可区分（即两者同胚），则这个纤维化就是平凡的纤维化，例子如切丛。全空间与积空间的局部等价性又称为局部平凡条件。霍普夫纤维化的重要性在于它是第一个非平凡纤维丛的例子，并且为纤维丛等数学概念的定义提供了模型基础。
记号
上面描述的霍普夫纤维化可以记作：
S^1 \hookrightarrow S^3 \xrightarrow{\ \pi \, } S^2.
主丛
3中的元素在四元数乘法下形成一个群。给定一个纤维化之后，3中对应于包含单位元的那个1纤维的元素自然地构成了的一个子群。现在考虑这个子群中的元素对中元素的右乘，它自然地构成了3的一个自同构，这个自同构保持了纤维不变，即把纤维映射为纤维。
霍普夫纤维化给出了3上的纤维用2中的元素来进行参数化的一种方式。现在，我们说霍普夫纤维丛是一个主-丛，意味着用中的元素对3进行变换后，我们仍然可以采用相同的参数化（即相同的映射），唯一不同的，是每条纤维到1的同胚映射变为了另一个同胚映射。
拓展
上面提到的霍普夫纤维化是最早的霍普夫纤维化，有时也用这个词来指代更广泛的一类纤维丛。注意到前述纤维丛中涉及的三个超球面分别与复数域上的一些结构同胚（参见复射影直线）：
:S^3 \text{ and } S^2(\mathbb{C}), S^1 \text{ and } S^0(\mathbb{C}), S^2 \text{ and } \mathbb{CP}^1
一个很自然的拓展是把上面的复数域换成实数或超复数，与实数、复数、四元数、八元数对应的霍普夫丛用上面的记号分别表为：
:S^0 \hookrightarrow S^1 \rightarrow S^1,
:S^1 \hookrightarrow S^3 \rightarrow S^2,
:S^3 \hookrightarrow S^7 \rightarrow S^4,
:S^7 \hookrightarrow S^{15} \rightarrow S^8.
同伦论的研究表明，霍普夫丛只有上面四个，它们都不是平凡丛。
演示
在计算机图形影片 的第7、8章中提供了关于霍普夫纖維化的演示，也就是给出一个具体的的构造方式。该演示中涉及到更多的概念，如。
参见
*海因茨·霍普夫
*纤维丛
参考
*
*
*
评论 (0)