纤维丛

令E = B × F 并令π： E → B为对第一个因子的投影，则E是B上的丛.这里E不仅是局部的积而且是整体的积。任何这样的纤维丛称为平凡丛.莫比乌斯带是圆上的非平凡丛。最简单的非平凡丛的例子可能要算莫比乌斯带（Möbius strip). 莫比乌斯带是一个以圆为基空间B并以线段为纤维F的丛。对于一点的邻域是一段圆弧；在图中，就是其中一个方块的长。原象π^-1(x)在图中是个 (有些扭转的）切片，4个方块宽一个方块长。同胚φ把U的原象映到柱面的一块:弯曲但不扭转.相应的平凡丛B × F看起来像一个圆柱，但是莫比乌斯带有个整体上的扭转。注意这个扭转只有整体上才能看出来；局部看来莫比乌斯带和圆柱完全一样（在其中任何一个竖直的切一刀会产生同样的空间）.一个类似的非平凡丛是克莱因瓶，它可以看作是一个扭转的圆在另一个圆上的丛。相应的平凡丛是一个环面，即S1 × S1.一个覆盖空间是一个以离散空间为纤维的纤维丛。纤维丛的一个特例，叫做矢量丛，是那些纤维为矢量空间的丛（要成为一个矢量丛，丛的结构群—见下面—必须是一个线性群）。矢量丛的重要实例包括光滑流形的切丛和余切丛。另一个纤维丛的特例叫做主丛。更多的例子参看该条目。一个球丛是一个纤维为n-球的纤维丛。给定一个有度量的矢量丛（例如黎曼流形的切丛），可以构造一个相应的单位球丛，其在一点x的纤维是所有Ex的单位矢量的集合.

黎曼几何 黎曼流形上的几何学。德国数学家G.F.B.黎曼19世纪中期提出的几何学理论。1854年黎曼在格丁根大学发表的题为《论作为几何学基础的假设》的就职演说，通常被认为是黎曼几何学的源头。在这篇演说中，黎曼将曲面本身看成一个独立的几何实体，而不是把它仅仅看作欧几里得空间中的一个几何实体。他首先发展了空间的概念，提出了几何学研究的对象应是一种多重广义量 ，空间中的点可用n个实数（x1，……，xn）作为坐标来描述。这是现代n维微分流形的原始形式，为用抽象空间描述自然现象奠定了基础。这种空间上的几何学应基于无限邻近两点（x1，x2，……xn）与（x1＋dx1，……xn＋dxn）之间的距离，用微分弧长度平方所确定的正定二次型理解度量。亦即 ， （gij）是由函数构成的正定对称矩阵。这便是黎曼度量。赋予黎曼度量的微分流形，就是黎曼流形。 黎曼认识到度量只是加到流形上的一种结构，并且在同一流形上可以有许多不同的度量。黎曼以前的数学家仅知道三维欧几里得空间E3中的曲面S上存在诱导度量ds2＝Edu2＋2Fdudv＋Gdv2，即第一基本形式，而并未认识到S还可以有独立于三维欧几里得几何赋予的度量结构。黎曼意识到区分诱导度量和独立的黎曼度量的重要性，从而摆脱了经典微分几何曲面论中局限于诱导度量的束缚，创立了黎曼几何学，为近代数学和物理学的发展作出了杰出贡献。 黎曼几何以欧几里得几何和种种非欧几何作为其特例。例如：定义度量（a是常数），则当a＝0时是普通的欧几里得几何，当a＞0时 ，就是椭圆几何 ，而当a＜0时为双曲几何。 黎曼几何中的一个基本问题是微分形式的等价性问题。该问题大约在1869年前后由E.B.克里斯托费尔和R.李普希茨等人解决。前者的解包含了以他的姓命名的两类克里斯托费尔记号和协变微分概念。在此基础上G.里奇发展了张量分析方法，这在广义相对论中起了基本数学工具的作用。他们进一步发展了黎曼几何学。 但在黎曼所处的时代，李群以及拓扑学还没有发展起来，因此黎曼几何只限于小范围的理论。大约在1925年H.霍普夫才开始对黎曼空间的微分结构与拓扑结构的关系进行了研究。随着微分流形精确概念的确立，特别是E.嘉当在20世纪20年代开创并发展了外微分形式与活动标架法，建立了李群与黎曼几何之间的联系，从而为黎曼几何的发展奠定重要基础，并开辟了广阔的园地，影响极其深远。并由此发展了线性联络及纤维丛的研究。 1915年，A.爱因斯坦运用黎曼几何和张量分析工具创立了新的引力理论——广义相对论。使黎曼几何（严格地说洛伦兹几何）及其运算方法（里奇算法）成为广义相对论研究的有效数学工具。而相对论近年的发展则受到整体微分几何的强烈影响。例如矢量丛和联络论构成规范场（杨-米尔斯场）的数学基础。 1944年陈省身给出n维黎曼流形高斯-博内公式的内蕴证明，以及他关于埃尔米特流形的示性类的研究，引进了后来通称的陈示性类，为大范围微分几何提供了不可缺少的工具并为复流形的微分几何与拓扑研究开创了先河。半个多世纪，黎曼几何的研究从局部发展到整体，产生了许多深刻的结果。黎曼几何与偏微分方程、多复变函数论、代数拓扑学等学科互相渗透，相互影响，在现代数学和理论物理学中有重大作用。 黎曼猜想，即素数的分布最终归结为如下所谓的黎曼ζ函数： ∞ １ ζ（ｚ）＝ ∑ ——— ，ｚ＝ｘ＋ｉｙ n=1 ｎｚ 的零点问题，他做出这样的猜想：ζ（ｚ）函数位于０≤ｘ≤１之间的全部零点都在ｘ＝１／２之上，即零点的实部都是１／２，这至今仍是未解决的问题。 黎曼几何和欧氏几何的不同功能 在数学界，欧氏几何仍占主流；而物理界，则用的是黎曼几何。 因为据黎曼几何，光线按曲线运动；而欧氏几何中，光线按直线运动。