比浏览器更快的访问！
11 关系: 埃雷斯曼联络，微分几何，微分流形，切丛，前推 (微分)，笛卡儿积，纤维丛，核 (代数)，水平丛，数学，拉回丛。
埃雷斯曼联络
微分几何中，埃雷斯曼联络（Ehresmann connection）是应用于任意纤维丛的联络概念的一个版本。特别的是，它可以是非线性的，因为一般的纤维丛上没有合适的线性的概念。 一般情况下，它适用于主丛这一类特殊的纤维丛，通过联络形式表述，在这种情况联络至少是在一个李群的作用下等变。埃雷斯曼联络以法国数学家夏尔·埃雷斯曼命名，他第一次这种想法正式化。.
新！!: 铅直丛和埃雷斯曼联络 · 查看更多 »
微分几何
微分幾何研究微分流形的幾何性質，是現代數學中一主流；是廣義相對論的基礎，與拓撲學、代數幾何及理論物理關係密切。 古典微分几何起源于微积分，主要内容为曲线论和曲面论。歐拉、蒙日和高斯被公认为古典微分几何的奠基人。近代微分几何的创始人是黎曼，他在1854年创立了黎曼几何（实际上黎曼提出的是芬斯勒几何），这成为近代微分几何的主要内容，并在相对论有极为重要的作用。埃利·嘉当和陈省身等人曾在微分几何领域做出极为杰出的贡献。.
微分流形
光滑流形（），或称-微分流形（）、-可微流形（），是指一个被赋予了光滑结构的拓扑流形。一般的，如果不特指，微分流形或可微流形指的就是类的微分流形。可微流形在物理學中非常重要。特殊種類的可微流形構成了經典力學、廣義相對論和楊-米爾斯理論等物理理論的基礎。可以為可微流形開發微積分。可微流形上的微積分研究被稱為微分幾何。.
切丛
数学上，一个微分流形M的切丛(tangent bundle) T(M)是一个由M各點上切空間組成的向量丛，其總空間是各切空间的不交并集： 總空間T(M)每个元素都是一个二元组(x,v)，其中v是在点x的切空间Tx(M)內的一枚向量。 切丛有自然的2n维微分流形结构如下： 設：\pi\colon T(M) \to M\, 為自然的投影映射，将(x,v)映射到基点x； 若M是个n维流形，U是x的一个足夠小的邻域， φ:U→Rn是一个局部坐标卡， V是U在T(M)的前象V（V.
前推 (微分)
假设 φ: M → N 是光滑流形之间的光滑映射；则 φ 在一点 x 处的微分在某种意义上是 φ 在 x 附近的最佳线性逼近。这可以视为通常微积分中全导数的推广。确切地说，它是从 M 在 x 处的切空间到 N 在 φ(x) 处的切空间的一个线性映射，从而可以将 M 的切向量“前推”成 N 的切向量。 映射 φ 的微分也被一些的作者称为 φ 的导数或全导数，有时它自己也之称为前推（pushforward）。.
新！!: 铅直丛和前推 (微分) · 查看更多 »
笛卡儿积
在数学中，两个集合X和Y的笛卡儿积（Cartesian product），又称直积，在集合论中表示为X × Y，是所有可能的有序对組成的集合，其中有序對的第一个对象是X的成员，第二个对象是Y的成员。 舉個實例，如果集合X是13个元素的点数集合，而集合Y是4个元素的花色集合，则这两个集合的笛卡儿积是有52个元素的标准扑克牌的集合。 笛卡儿积得名于笛卡儿，因為這概念是由他建立的解析几何引申出來.
纤维丛
纖維--束（fiber bundle 或 fibre bundle）又稱纖維--叢，在数学上，特别是在拓扑学中，是一个局部看来像直积空间，但是整体可能有不同的结构。每个纤维丛對應一个连续满射 \pi:E\rightarrow B E 和乘積空間 B × F 的局部類似性可以用映射 \pi 來說明。也就是說：在每個 E 的局部空間 U，都存在一個相同的F（F 稱作纖維空間），使得 \pi 限制在 U 上時 與直积空间 B × F 的投影 P:B\times F\mapsto B,\quad P(b, f).
核 (代数)
在归入线性代数的各种数学分支中，同态的核测量同态不及于单射的程度。 核的定义在不同上下文中采用不同的形式。但是在所有形式中，同态的核是平凡的（在与那个上下文有关的意义上），当且仅当这个同态是单射。同态基本定理（或第一同构定理）是应用于核所定义的商代数的采用了各种形式的一个定理。.
新！!: 铅直丛和核 (代数) · 查看更多 »
水平丛
在数学微分几何领域，给定 是光滑流形 M 上一个光滑纤维丛，则 E 的铅直丛 VE 是切丛 TE 的一个子丛，由与 E 在 M 上的纤维相切的切向量组成。一个水平丛（horizontal bundle）则是特别地选取 TE 的一个子丛使其为 VE 的补丛，换句话说，在每个纤维给出一个补空间。 完全一般地，水平丛概念是表述纤维丛上埃雷斯曼联络的一种途径。但这个概念经常用于更确定的情形。 更具体的，如果 e ∈ E 满足 则在 e 处铅直空间（vertical space） VeE 是纤维 Ex 穿过 e 的切空间 Te(Ex)。一个水平丛则确定了一个水平空间（horizontal space）HeE 使得 TeE 是 VeE 与 HeE 的直和。 如果 E 是一个主 ''G''-丛则水平丛通常要求为 G-等变；更多细节参见联络。特别地，当 E 是标架丛便是这种情形，标架丛是流形的切空间的所有标架，而 G.
数学
数学是利用符号语言研究數量、结构、变化以及空间等概念的一門学科，从某种角度看屬於形式科學的一種。數學透過抽象化和邏輯推理的使用，由計數、計算、量度和對物體形狀及運動的觀察而產生。數學家們拓展這些概念，為了公式化新的猜想以及從選定的公理及定義中建立起嚴謹推導出的定理。 基礎數學的知識與運用總是個人與團體生活中不可或缺的一環。對數學基本概念的完善，早在古埃及、美索不達米亞及古印度內的古代數學文本便可觀見，而在古希臘那裡有更為嚴謹的處理。從那時開始，數學的發展便持續不斷地小幅進展，至16世紀的文藝復興時期，因为新的科學發現和數學革新兩者的交互，致使數學的加速发展，直至今日。数学并成为許多國家及地區的教育範疇中的一部分。 今日，數學使用在不同的領域中，包括科學、工程、醫學和經濟學等。數學對這些領域的應用通常被稱為應用數學，有時亦會激起新的數學發現，並導致全新學科的發展，例如物理学的实质性发展中建立的某些理论激发数学家对于某些问题的不同角度的思考。數學家也研究純數學，就是數學本身的实质性內容，而不以任何實際應用為目標。雖然許多研究以純數學開始，但其过程中也發現許多應用之处。.
拉回丛
数学上，拉回丛（pullback bundle）或导出丛（induced bundle）是纤维丛理论中的常见构造。令 π: E → B为以F为纤维的纤维丛，并令f: B′ → B为任意连续映射。则，f自然地诱导出一个纤维丛 π′: f*E → B′，它也以F为纤维。大致来讲，只需要说在点x的纤维是在点f(x)的纤维就可以了；然后用不交并将所有纤维合起来。 如果要更形式化一些，可以定义 投影映射π′: f*E → B′由下式给出 到第二个因子的投影给出了一个映射\tilde f \colon f^E \to E满足如下交换图: 若.
