霍普夫纤维化

✍ dations ◷ 2025-04-03 17:23:01 #纤维丛

在拓扑学中,霍普夫纤维化(Hopf fibration,亦称霍普夫纤维丛)是最早提出的纤维化,其中的纤维是圆圈(1-球面,S1),基空间是三维空间中的球面(2-球面,S2),而全空间是四维空间中的超球面(3-球面,S3)。容易验证,它是非平凡的。即全空间S3与积空间S1×S2不是拓扑同构的。

运用基本的拓扑学语言,霍普夫纤维化可以解释为一个连续满射(称为投影) π : S 3 S 2 {\displaystyle \pi :S^{3}\rightarrow S^{2}} ,使得

首先注意到,π是一个映射,这就意味着,任意两个纤维是不交集,且所有的纤维的并等于全空间S3,于是所有的纤维是S3的一个划分。通俗地说,霍普夫纤维化描述了用圆圈来填满S3的一种方式,其中每个圆圈对应S2里面的一个点。

上面的条件还不足以使它成为一个纤维化,后者需要更强的条件,

这个条件意味着,全空间S3与积空间S1×S2在局部的拓扑性质上是不可区分的。如果全空间与积空间在整体的拓扑性质上也不可区分(即两者同胚),则这个纤维化就是平凡的纤维化,例子如切丛。全空间与积空间的局部等价性又称为局部平凡条件。霍普夫纤维化的重要性在于它是第一个非平凡纤维丛的例子,并且为纤维丛等数学概念的定义提供了模型基础。

上面描述的霍普夫纤维化可以记作: S 1 S 3   π S 2 . {\displaystyle S^{1}\hookrightarrow S^{3}{\xrightarrow {\ \pi \,}}S^{2}.}

S3中的元素在四元数乘法下形成一个群G。给定一个纤维化之后,S3中对应于包含单位元的那个S1纤维的元素自然地构成了G的一个子群H。现在考虑这个子群H中的元素对G中元素的右乘,它自然地构成了S3的一个自同构,这个自同构保持了纤维不变,即把纤维映射为纤维。

霍普夫纤维化给出了S3上的纤维用S2中的元素来进行参数化的一种方式。现在,我们说霍普夫纤维丛是一个主H-丛,意味着用H中的元素对S3进行变换后,我们仍然可以采用相同的参数化(即相同的映射π),唯一不同的,是每条纤维到S1的同胚映射变为了另一个同胚映射。

上面提到的霍普夫纤维化是最早的霍普夫纤维化,有时也用这个词来指代更广泛的一类纤维丛。注意到前述纤维丛中涉及的三个超球面分别与复数域上的一些结构同胚(参见复射影直线):

一个很自然的拓展是把上面的复数域换成实数或超复数,与实数、复数、四元数、八元数对应的霍普夫丛用上面的记号分别表为:

同伦论的研究表明,霍普夫丛只有上面四个,它们都不是平凡丛。

在计算机图形影片 Dimensions(英语:Dimensions (animation)) 的第7、8章中提供了关于霍普夫纤维化的演示,也就是给出一个具体的π的构造方式。该演示中涉及到更多的概念,如Villarceau circles(英语:Villarceau circles)。

相关

  • 王士禛清禹之鼎绘《王士禛幽篁坐啸图卷》,故宫博物院藏王士禛(1634年9月17日-1711年6月26日),赐名士祯,小名豫孙,字贻上,号阮亭,别号渔洋山人,人称王渔洋,谥文简。山东新城(今山东桓台)人,清代著
  • 输尿管口输尿管(拉丁语:Ureter)是位于腹膜外位的细长肌性管道,左右各一,约平第2腰椎上缘起自肾盂末端,终于膀胱。长约20~30厘米,平均管径0.5~1.0厘米,最窄处口径只有0.2~0.3厘米。输尿管的主要
  • span class=nowrapSmsub2/sub(SOsub4/sub)sub&g硫酸钐是一种无机化合物,化学式为Sm2(SO4)3。用硫酸溶解氧化钐,可以得到硫酸钐。
  • 夸克夸克时期 是物理宇宙学的早期宇宙演化的一段时期,这时基本作用力的重力、电磁力、强作用力和弱作用力已经分离成为现在的形式,但温度仍然很高,不允许夸克结合在一起形成强子。
  • 紧那罗紧那罗(梵语:kiṃnara,巴利语:kinnara),音译还作紧捺洛、紧.mw-parser-output ruby.zy{text-align:justify;text-justify:none}.mw-parser-output ruby.zy>rp{user-select:none}.m
  • 柏林电影节柏林国际电影节(德语:Internationale Filmfestspiele Berlin,又名为“Berlinale”)是每年2月于德国柏林举行的电影节,该电影节与意大利的威尼斯电影节、法国的戛纳电影节并列为世
  • 戴姓戴姓是汉姓之一,在百家姓中排名116位,按人口计算排名第96位(2007年数据)。汉族戴姓主要来源有三:子姓宋国宋戴公后裔以谥为姓、子姓(或姬姓?)戴国君民以国为姓、殷朝殷氏宗室(本源上
  • 甘尼森 (科罗拉多州)甘尼森城(英语:City of Gunnison)是美国的一个历史悠久的城市,是位于美国科罗拉多州的一个自治市,是甘尼森县县城和人口最多的城市。截至2010年的人口普查,这座城市有5854人口。它
  • 梧槽梧槽(Rochor)是新加坡中区的一个规划区。其北面和东面毗邻加冷,西面毗邻纽顿,南面毗邻博物馆和市中心。该区包括了甘榜格南和小印度。梧槽区的地标包括观音堂佛祖庙、国家图书馆
  • 约翰·高福 (电台制作人)约翰·杰弗里·高福(英语:John Jeffrey Gough,1903年6月23日-1951年11月7日),澳大利亚朗塞斯顿人,是一名作曲家、电台制作人(英语:Radio producer)。曾经移民到英国并为英国广播公司工