比浏览器更快的访问！
84 关系: 基 (線性代數)，垂直，卡爾·弗里德里希·高斯，单位圆盘，同胚，坐标转换，坐标邻域，多項式，复流形，实射影平面，实射影空间，导数，层 (数学)，巴拿赫空间，平面，庞加莱猜想，廣義相對論，代数簇，开集，位形空间，微分同胚，微分几何，微分流形，微积分学，德语，地图，圆，圆柱体，嵌入，哈密顿力学，哈斯勒·惠特尼，儒勒·昂利·庞加莱，几何学，商空间，全纯函数，光滑函数，克莱因瓶，图册 (拓扑学)，环面，球，球面，积空间，第二可數空間，笛卡儿积，等价关系，等价类，群，群作用，羅比恩·卡比，絕妙定理，...，相切，相空間，隐函数定理，莫比乌斯带，解析几何，豪斯多夫空间，费利克斯·豪斯多夫，黎曼流形，黎曼曲面，连续函数，连通空间，赫尔曼·外尔，邻域，色带，雅可比矩阵，N维球面，Sic，抛物线，李群，概形，欧几里得空间，江泽涵，波恩哈德·黎曼，有限群，时空，打印机，拓扑，拓扑空间，拓扑流形，拉格朗日力学，曲率，曲线，曲面，3-流形。 扩展索引 (34 更多) »
基 (線性代數)
在线性代数中，基(basis)（也称为基底）是描述、刻画向量空间的基本工具。向量空间的基是它的一个特殊的子集，基的元素称为基向量。向量空间中任意一个元素，都可以唯一地表示成基向量的线性组合。如果基中元素个数有限，就称向量空间为有限维向量空间，将元素的个数称作向量空间的维数。 使用基底可以便利地描述向量空间。比如说，考察从一个向量空间\mathrm射出的线性变换f，可以查看这个变换作用在向量空间的一组基\mathfrak上的效果。掌握了f(\mathfrak)，就等于掌握了f对\mathrm中任意元素的效果。 不是所有空间都拥有由有限个元素构成的基底。这样的空间称为无限维空间。某些无限维空间上可以定义由无限个元素构成的基。如果承认选择公理，那么可以证明任何向量空间都拥有一组基。一个向量空间的基不止一组，但同一个空间的两组不同的基，它们的元素个数或势（当元素个数是无限的时候）是相等的。一组基里面的任意一部分向量都是线性无关的；反之，如果向量空间拥有一组基，那么在向量空间中取一组线性无关的向量，一定能将它扩充为一组基。在内积向量空间中，可以定义正交的概念。通过特别的方法，可以将任意的一组基变换成正交基乃至标准正交基。.
新！!: 流形和基 (線性代數) · 查看更多 »
垂直
垂直是一个几何术语。在平面几何中，如果一条直线与另一条直线相交，且它们构成的任意相邻两个角相等，那么这两条直线相互垂直。术语“垂直”（垂直符號：⊥）衍生一个形容词（垂直）或者名词（垂线）。因此，根据圖一，直线AB通过B点与直线CD相互垂直。像图一这样，如果一条直线与另一条直线垂直，那么它们构成的两个角称为直角，或者90°角。 垂足指两条互相垂直的线相交的点。 垂直的概念对线段和射线也通用，只需看一者所在的直线是否与另一者所在的直线垂直就可以了。如图一中，线段AB和线段CD相互垂直。甚至线段AB的一端不一定要在线段CD上（即可定向伸缩），它们仍被认为是垂直的。 空间几何中，有直线与直线、直线与平面、平面与平面之间的垂直关系。垂直可以看做是欧几里得空间（或内积空间）中的正交关系在二维和三维空间中的特例。.
卡爾·弗里德里希·高斯
约翰·卡爾·弗里德里希·高斯（Johann Karl Friedrich Gauß；）， 德国数学家、物理学家、天文学家、大地测量学家，生于布伦瑞克，卒于哥廷根。高斯被认为是历史上最重要的数学家之一Dunnington, G. Waldo.
新！!: 流形和卡爾·弗里德里希·高斯 · 查看更多 »
单位圆盘
数学中，绕平面上给定点 P 的开单位圆盘（open unit disk），是与 P 的距离小于 1 的点集合： 绕 P 的闭单位圆盘（closed unit disk）是与 P 的距离小于或等于 1 的点集合： 单位圆盘是圆盘与单位球体的特例。 若无其它修饰语，术语单位圆盘用于绕原点关于标准欧几里得度量的开单位圆盘 D_1(0)。它是以原点为中心的半径为 1 的圆周的内部。这个集合可以与所有绝对值小于 1 的复数等价。当视为复平面 C 的一个子集时，开单位圆盘经常记作 \mathbb。.
同胚
在拓扑学中，同胚(homeomorphism、topological isomorphism、bi continuous function)是两个拓扑空间之间的双连续函数。同胚是拓扑空间范畴中的同构；也就是说，它们是保持给定空间的所有拓扑性质的映射。如果两个空间之间存在同胚，那么这两个空间就称为同胚的，从拓扑学的观点来看，两个空间是相同的。 大致地说，拓扑空间是一个几何物体，同胚就是把物体连续延展和弯曲，使其成为一个新的物体。因此，正方形和圆是同胚的，但球面和环面就不是。有一个笑话是说，拓扑学家不能区分咖啡杯和甜甜圈，这是因为一个足够柔软的甜甜圈可以捏成咖啡杯的形状（见图）。.
坐标转换
坐标转换，是指在一个m维拓扑流形中一个坐标邻域到另一个坐标邻域的坐标的变换。形式上说，m维拓扑流形\mathcal上两个相交的坐标邻域(U,\varphi),(V,\psi)，同胚映射\psi\cdot\varphi^:\varphi(U\cap V)\rightarrow \psi(U\cap V)被称为是(U,\varphi)到(V,\psi)的坐标转换。.
坐标邻域
坐标邻域（Coordinate Neighborhood）是拓扑空间中的开集与其在欧几里得空间上的映射的有序对。.
多項式
多项式（Polynomial）是代数学中的基础概念，是由称为未知数的变量和称为系数的常数通过有限次加减法、乘法以及自然数幂次的乘方运算得到的代数表达式。多项式是整式的一种。未知数只有一个的多项式称为一元多项式；例如x^2-3x+4就是一个一元多项式。未知数不止一个的多项式称为多元多项式，例如就是一個三元多项式。 可以写成只由一项构成的多项式也称为单项式。如果一项中不含未知数，则称之为常数项。 多项式在数学的很多分支中乃至许多自然科学以及工程学中都有重要作用。.
复流形
微分几何中，一个复流形是一个流形，使得每个鄰域在一种连续的方式下看起来象一个複n维空间。更精确的讲，一个复流形有一个坐标图册，其每个坐标图映射到Cn，并且坐标图之间的坐标变换是全纯的。 复流形可以视为微分流形的一种特例。例如，一个1维复流形几何上就是一个曲面，称为黎曼曲面。变换函数必须全纯这个要求意味着和通常的微分流形不同，不同的''C''''k''-微分结构对于不同k没有区别，因为全纯函数解析，一次每个全纯结构也是一个Ck结构，对于任意k ≥1成立。 复流形的理论和实流形的有相当不同的感受，因为複解析函数比光滑函数更为严格。例如，使用惠特尼嵌入定理，每个实流形可以嵌入为Rn的子流形，,但是很少有复流形可以成为Cn的子流形。 Category:复流形 Category:流形上的结构.
实射影平面
在数学中，实射影平面（real projective plane）是R3中所有过原点直线组成的空间，通常记作\mathbbP^2，无歧义时也记为P^2。这是一个不可定向、紧致、无边界二维流形（即一个曲面），它在几何中有基本的应用，但不能无自交地嵌入我们通常的三维欧几里得空间。它的亏格是1，故欧拉示性数也为1。 实射影平面有时描述为基于莫比乌斯带的构造：如果能把莫比乌斯带的（一条）边以恰当的方向黏合，将得到射影平面。等价地，沿着莫比乌斯带的边界黏合一个圆盘给出射影平面。 由于莫比乌斯带可构造为将正方形的一组对边反向黏合，从而实射影平面可以表示为单位正方形（ × ）将它的边界通过如下等价关系等同： 以及 即如右图所示。因为正方形同构于圆盘，故这也等价于将圆盘边界的对径点黏合。.
实射影空间
数学中，实射影空间（real projective space），记作 RPn，是 Rn+1 中的直线组成的射影空间。它是一个 n 维紧光滑流形，也是格拉斯曼流形的一个特例。.
导数
导数（Derivative）是微积分学中重要的基礎概念。一个函数在某一点的导数描述了这个函数在这一点附近的变化率。导数的本质是通过极限的概念对函数进行局部的线性逼近。当函数f的自变量在一点x_0上产生一个增量h时，函數输出值的增量與自變量增量h的比值在h趋于0时的極限如果存在，即為f在x_0处的导数，记作f'(x_0)、\frac(x_0)或\left.\frac\right|_。例如在运动学中，物体的位移对于时间的导数就是物体的瞬时速度。 导数是函数的局部性质。不是所有的函数都有导数，一个函数也不一定在所有的点上都有导数。若某函数在某一点导数存在，则称其在这一点可导，否则称为不可导。如果函数的自变量和取值都是实数的话，那么函数在某一点的导数就是该函数所代表的曲线在這一点上的切线斜率。 对于可导的函数f，x \mapsto f'(x)也是一个函数，称作f的导函数。寻找已知的函数在某点的导数或其导函数的过程称为求导。反之，已知导函数也可以倒过来求原来的函数，即不定积分。微积分基本定理说明了求原函数与积分是等价的。求导和积分是一对互逆的操作，它们都是微积分学中最为基础的概念。.
层 (数学)
数学上，在给定拓扑空间X上的一个层（sheaf）（或译束、捆）F对于X的每个开集给出一个集合或者一个更丰富的结构F(U)。这个结构F(U)和把开集限制（restricting）到更小的子集的操作相容，并且可以把小的开集粘起来得到更大的。一个预层（presheaf）和一个层相似，但它可能不可以粘起来。事实上，层使得我们可以用一种细致的方式讨论什么是局部性质，就像应用在函数上的层。.
巴拿赫空间
在數學裡，尤其是在泛函分析之中，巴拿赫空間是一個完備賦範向量空間。更精確地說，巴拿赫空間是一個具有範數並對此範數完備的向量空間。 巴拿赫空間有兩種常見的類型：「實巴拿赫空間」及「複巴拿赫空間」，分別是指將巴拿赫空間的向量空間定義於由實數或複數組成的--之上。 許多在數學分析中學到的無限維函數空間都是巴拿赫空間，包括由連續函數（緊緻赫斯多夫空間上的連續函數）組成的空間、由勒貝格可積函數組成的Lp空間及由全純函數組成的哈代空間。上述空間是拓撲向量空間中最常見的類型，這些空間的拓撲都自來其範數。 巴拿赫空間是以波蘭數學家斯特凡·巴拿赫的名字來命名，他和漢斯·哈恩及愛德華·赫麗於1920-1922年提出此空間。.
平面
数学上，一个平面（plane）就是基本的二维对象。直观的讲，它可以视为一个平坦的拥有无穷大面积的纸。多数几何、三角学和制图的基本工作都在二维进行，或者说，在平面上进行。 给定一个平面，可以引入一个直角坐标系以便在平面上用两个数字唯一的标示一个点，这两个数字也就是它的坐标。 在三维x-y-z坐标系中，可以将平面定义为一个方程的集： 其中a, b, c和d是实数，使得a, b, c不全为0。或者，一个平面也可以参数化的表述，作为所有具有u + s v + t w形式的点的集合，其中s和t取遍所有实数，而u, v 和w是给定用于定义平面的向量。 平面由如下组合的任何一个唯一确定.
庞加莱猜想
庞加莱猜想最早是由法国数学家龐加萊提出的一个猜想，是克雷數學研究所悬赏的数学方面七大千禧年难题之一。2006年确认由俄罗斯数学家格里戈里·佩雷尔曼完成最终证明，他也因此在同年获得菲尔兹奖，但並未現身領獎, Interfax 1 July 2010。.
廣義相對論
广义相对论是現代物理中基于相对性原理利用几何语言描述的引力理论。该理论由阿尔伯特·爱因斯坦等人自1907年开始发展，最终在1915年基本完成。广义相对论将经典的牛顿万有引力定律與狭义相对论加以推廣。在广义相对论中，引力被描述为时空的一种几何属性（曲率），而时空的曲率则通过爱因斯坦场方程和处于其中的物质及辐射的能量與动量联系在一起。 从广义相对论得到的部分预言和经典物理中的对应预言非常不同，尤其是有关时间流易、空间几何、自由落体的运动以及光的传播等问题，例如引力场内的时间膨胀、光的引力红移和引力时间延迟效应。广义相对论的预言至今为止已经通过了所有观测和实验的验证——广义相对论虽然并非当今描述引力的唯一理论，但却是能够与实验数据相符合的最简洁的理论。不过仍然有一些问题至今未能解决。最为基础的即是广义相对论和量子物理的定律应如何统一以形成完备并且自洽的量子引力理论。 爱因斯坦的广义相对论理论在天体物理学中有着非常重要的应用。比如它预言了某些大质量恒星终结后，会形成时空极度扭曲以至于所有物质（包括光）都无法逸出的区域，黑洞。有证据表明恒星质量黑洞以及超大质量黑洞是某些天体例如活动星系核和微类星体发射高强度辐射的直接成因。光线在引力场中的偏折会形成引力透镜现象，这使得人们可能观察到处于遥远位置的同一个天体形成的多个像。广义相对论还预言了引力波的存在。引力波已经由激光干涉引力波天文台在2015年9月直接观测到。此外，广义相对论还是现代宇宙学中的的理论基础。.
代数簇
代数簇，亦作代數多樣體，是代数几何学上多项式集合的公共零点解的集合。代数簇是经典（某种程度上也是现代）代数几何的中心研究对象。 術語簇（variety）取自拉丁语族中詞源（cognate of word）的概念，有基於“同源”而“變形”之意。 历史上，代数基本定理建立了代数和几何之间的一个联系，它表明在复数域上的单变量的多项式由它的根的集合决定，而根集合是内在的几何对象。在此基础上，希尔伯特零点定理提供了多项式环的理想和仿射空间子集的基本对应。利用零点定理和相关结果，我们能够用代数术语捕捉簇的几何概念，也能够用几何来承载环论中的问题。.
开集
開集是指不包含任何自己邊界點的集合。或者說，開集包含的任意一點的充分小的鄰域都包含在其自身中。 例如，实数线上的由不等式2规定的集合称为开区间，是开集。这时候的边界为实数轴上的点2和5，如由不等式2\leq x \leq 5，或者2规定的区间由于包含其边界，因此不能称之为开集。 开集的概念一般与拓扑概念是紧密联系着的，通常先公理化开集，然后通过其定义边界的概念。（详细请参照拓扑空间）.
位形空间
经典力学中，位形空间（或译组态空间）是一个物理系统可能处于的所有可能状态的空间，可以有外部约束。一个典型系统的位形空间具有流形的结构；因此，它也称为位形流形。 例如，运动在普通欧几里得空间中的单个粒子的位形空间就是R3。对于N个粒子的系统，组态空间就是R3N，或者说它的没有两个位置重叠的子空间。更一般地，可以将在一个流形M中运动的N个粒子的系统的位形空间看作函数空间 MN。 要同时考虑位置和动量，就必须转到位形空间的余切丛中。这个更大的空间称为系统的相空间。简单说来，一个位形空间通常是一个相空间（参看拉格朗日分布）从函数空间构造的“一半”。 在量子力学中，路径积分表述强调了位形的历史。 位形空间也和辫理论相关，因为一条弦不穿过本身的条件可以表述为将函数空间的对角线切除。.
微分同胚
在數學中，微分同胚是適用於微分流形範疇的同構概念。這是從微分流形之間的可逆映射，使得此映射及其逆映射均為光滑（即無窮可微）的。.
微分几何
微分幾何研究微分流形的幾何性質，是現代數學中一主流；是廣義相對論的基礎，與拓撲學、代數幾何及理論物理關係密切。 古典微分几何起源于微积分，主要内容为曲线论和曲面论。歐拉、蒙日和高斯被公认为古典微分几何的奠基人。近代微分几何的创始人是黎曼，他在1854年创立了黎曼几何（实际上黎曼提出的是芬斯勒几何），这成为近代微分几何的主要内容，并在相对论有极为重要的作用。埃利·嘉当和陈省身等人曾在微分几何领域做出极为杰出的贡献。.
微分流形
光滑流形（），或称-微分流形（）、-可微流形（），是指一个被赋予了光滑结构的拓扑流形。一般的，如果不特指，微分流形或可微流形指的就是类的微分流形。可微流形在物理學中非常重要。特殊種類的可微流形構成了經典力學、廣義相對論和楊-米爾斯理論等物理理論的基礎。可以為可微流形開發微積分。可微流形上的微積分研究被稱為微分幾何。.
微积分学
微積分學（Calculus，拉丁语意为计数用的小石頭） 是研究極限、微分學、積分學和無窮級數等的一個數學分支，並成為了現代大學教育的重要组成部分。歷史上，微積分曾經指無窮小的計算。更本質的講，微積分學是一門研究變化的科學，正如：幾何學是研究形狀的科學、代數學是研究代數運算和解方程的科學一樣。微積分學又稱為“初等數學分析”。 微積分學在科學、經濟學、商業管理學和工業工程學領域有廣泛的應用，用來解决那些僅依靠代數學和幾何學不能有效解決的問題。微積分學在代數學和解析幾何學的基礎上建立起来，主要包括微分學、積分學。微分學包括求導數的運算，是一套關於變化率的理論。它使得函數、速度、加速度和斜率等均可用一套通用的符號進行演绎。積分學，包括求積分的運算，為定義和計算長度、面積、體積等提供一套通用的方法。微積分學基本定理指出，微分和積分互為逆運算，這也是兩種理論被統一成微積分學的原因。我們能以兩者中任意一者為起點來討論微積分學，但是在教學中一般會先引入微分學。在更深的數學領域中，高等微積分學通常被稱為分析學，並被定義為研究函數的科學，是現代數學的主要分支之一。.
德语
德语（德语：Deutsch，）是印欧语系西日耳曼語支的一门语言。以使用國家數量來算是世界排名第六的語言，也是世界大國語言之一以及欧盟内使用最广的母语，德语拥有9000万到9800万使用者。德语标准共同语的形成可以追溯到马丁·路德对拉丁文《圣经》的翻译工作。大多数德语词汇源于印欧语系日耳曼语族的语言，一些词汇来自拉丁语和希腊语，还有部分来自法语和英语。 德语母语使用者的主要分布在德国、奥地利、瑞士北部、列支敦士登和卢森堡。欧洲许多地区（如意大利北部、比利时东部以及波兰等地）和作为原德国殖民地的纳米比亚也有大量的德语使用者，主要为作为当地少数民族的日耳曼人。 德语书写使用拉丁字母。德文字母除去标准的26个拉丁字母外，另有三个带分音符的元音Ä/ä、Ö/ö、Ü/ü以及一个特殊字母ß。.
地图
地图，是根据一定的数学法则，例如墨卡托投影法，将地球或其他星球的自然现象和社会现象通过概括和符号缩绘在平面上的图形。按照統一的設計和要求編制的多幅地圖的彙集被稱作“地圖集”或者“地圖冊”。.
圆
圆 （Circle），根據歐幾里得的《几何原本》定義，是在同一平面内到定点的距离等于定长的点的集合。此外，圆的第二定义是：「平面内一动点到两定点的距离的比，等于一个常数，则此动点的轨迹是圆。.
圆柱体
数学上，圆柱（古稱圓堡壔、圓囷，英語：cylinder）是一个二次曲面，也就是说，一个三维曲面，满足以下直角坐标系中的方程： 这个方程是用于椭圆柱的，是对于普通圆柱（a.
嵌入
嵌入可以指：.
哈密顿力学
哈密顿力学是哈密顿于1833年建立的经典力学的重新表述，它由拉格朗日力学演变而来。拉格朗日力学是经典力学的另一表述，由拉格朗日于1788年建立。哈密顿力学与拉格朗日力学不同的是前者可以使用辛空间而不依赖于拉格朗日力学表述。关于这点请参看其数学表述。 适合用哈密顿力学表述的动力系统称为哈密顿系统。.
哈斯勒·惠特尼
哈斯勒·惠特尼（Hassler Whitney，），美國數學家，專長為微分幾何，早年研究圖論。 1982年沃爾夫數學獎得主。 Whitney Whitney Category:沃尔夫数学奖得主 Category:美国国家科学奖获奖者 Category:普林斯顿高等研究院教职员.
新！!: 流形和哈斯勒·惠特尼 · 查看更多 »
儒勒·昂利·庞加莱
儒勒·昂利·庞加莱（Jules Henri Poincaré，法語发音，又译作彭加勒、昂利·彭加勒，），通常称为昂利·庞加莱，法国最伟大的数学家之一，理论科学家和科学哲学家。庞加莱被公认是19世纪后和20世纪初的领袖数学家，是繼高斯之後对于数学及其应用具有全面知识的最后數學家。 他对数学，数学物理，和天体力学做出了很多创造性的基础性的贡献。他提出的庞加莱猜想是数学中最著名的问题之一。在他对三体问题的研究中，庞加莱成了第一个发现混沌确定系统的人並为现代的混沌理论打下了基础。庞加莱比爱因斯坦的工作更早一步，并起草了一个狭义相对论的简略版。庞加莱群以他命名。.
新！!: 流形和儒勒·昂利·庞加莱 · 查看更多 »
几何学
笛沙格定理的描述，笛沙格定理是欧几里得几何及射影几何的重要結果 幾何學（英语：Geometry，γεωμετρία）簡稱幾何。几何学是數學的一个基础分支，主要研究形狀、大小、圖形的相對位置等空間区域關係以及空间形式的度量。 許多文化中都有幾何學的發展，包括許多有關長度、面積及體積的知識，在西元前六世紀泰勒斯的時代，西方世界開始將幾何學視為數學的一部份。西元前三世紀，幾何學中加入歐幾里德的公理，產生的欧几里得几何是往後幾個世紀的幾何學標準。阿基米德發展了計算面積及體積的方法，許多都用到積分的概念。天文學中有關恆星和行星在天球上的相對位置，以及其相對運動的關係，都是後續一千五百年中探討的主題。幾何和天文都列在西方博雅教育中的四術中，是中古世紀西方大學教授的內容之一。 勒內·笛卡兒發明的坐標系以及當時代數的發展讓幾何學進入新的階段，像平面曲線等幾何圖形可以由函數或是方程等解析的方式表示。這對於十七世紀微積分的引入有重要的影響。透视投影的理論讓人們知道，幾何學不只是物體的度量屬性而已，透视投影後來衍生出射影几何。歐拉及高斯開始有關幾何物件本體性質的研究，使幾何的主題繼續擴充，最後產生了拓扑学及微分幾何。 在歐幾里德的時代，實際空間和幾何空間之間沒有明顯的區別，但自從十九世紀發現非歐幾何後，空間的概念有了大幅的調整，也開始出現哪一種幾何空間最符合實際空間的問題。在二十世紀形式數學興起以後，空間（包括點、線、面）已沒有其直觀的概念在內。今日需要區分實體空間、幾何空間（點、線、面仍沒有其直觀的概念在內）以及抽象空間。當代的幾何學考慮流形，空間的概念比歐幾里德中的更加抽象，兩者只在極小尺寸下才彼此近似。這些空間可以加入額外的結構，因此可以考慮其長度。近代的幾何學和物理關係密切，就像偽黎曼流形和廣義相對論的關係一樣。物理理論中最年輕的弦理論也和幾何學有密切關係。 几何学可見的特性讓它比代數、數論等數學領域更容易讓人接觸，不過一些几何語言已經和原來傳統的、欧几里得几何下的定義越差越遠，例如碎形幾何及解析幾何等。 現代概念上的幾何其抽象程度和一般化程度大幅提高，並與分析、抽象代數和拓撲學緊密結合。 幾何學應用於許多領域，包括藝術，建築，物理和其他數學領域。.
商空间
在拓扑学及其相关数学领域，一个商空间（quotient space，也称为等化空间identification space）直观上说是将一个给定空间的一些点等同或“黏合在一起”；由一个等价关系确定哪些点是等同的。这是从给定空间构造新空间的常见方法。.
全纯函数
全纯函数（holomorphic function）是複分析研究的中心对象；它们是定义在複平面C的开子集上的，在複平面C中取值的，在每点上皆複可微的函数。这是比实可微强得多的条件，暗示著此函数无穷可微并可以用泰勒级数來描述。 解析函数（analytic function）一词经常可以和“全纯函数”互相交换使用，虽然前者有几个其他含义。 全纯函数有时称为正则函数。在整个複平面上都全纯的函数称为整函数（entire function）。「在一点a全纯」不仅表示在a可微，而且表示在某个中心为a的複平面的开邻域上可微。双全纯（biholomorphic）表示一个有全纯逆函数的全纯函数。.
光滑函数
光滑函数（smooth function）在数学中特指无穷可导的函数，也就是说，存在所有有限阶导数。若一函数是连续的，则称其为C^0函数；若函数存在导函数，且其導函數連續，則稱為连续可导，記为C^1函数；若一函数n阶可导，并且其n阶导函数连续，则为C^n函数（n\geq 1）。而光滑函数是对所有n都属于C^n函数，特称其为C^\infty函数。 例如，指数函数显然是光滑的，因为指数函数的导数是指数函数本身。.
克莱因瓶
在数学领域中，克莱因瓶（Kleinsche Flasche）是指一种无定向性的平面，比如二维平面，就没有“内部”和“外部”之分。克莱因瓶最初的概念提出是由德国数学家菲利克斯·克莱因提出的。克莱因瓶和莫比乌斯带非常相像。 要想像克萊因瓶的結構，可先試想一個底部鏤空的紅酒瓶。現在延長其頸部，向外扭曲後伸進瓶子的內部，再與底部的洞相連接。 和我们平时用来喝水的杯子不一样，这个物体没有“边”，它的表面不会终结。它也不类似于气球，一只苍蝇可以从瓶子的内部直接飞到外部而不用穿过表面（所以说它没有内外部之分）。 其名稱可能源自德語中的「Kleinsche Fläche」（克萊因平面），後來被誤解為「Kleinsche Flasche」（克萊因瓶）。德語最終也沿用了「克萊因瓶」這種稱呼。.
图册 (拓扑学)
在数学，特别是在拓扑中，一个图册（atlas）描述了一个流形如何装备一个微分结构。每一小块由一个卡（chart）给出（也称为坐标卡coordinate chart或局部坐标系local coordinate system)）。以圖冊來定義流形的概念是由夏尔·埃雷斯曼於1943年所提出。 在给出图册形式定义之前，我们回忆起流形M上一个卡定义为从M的一个开集U到\mathbb^n中开集V的一个同胚映射\phi。如果(U_, \varphi_)与(U_, \varphi_)是M的两个卡使得U_ \cap U_非空，则定义了转移映射（transition map） 注意到因为\varphi_与\varphi_都是同胚，转移映射也是同胚。所以，转移映射已经赋予了某种相容性，使得从一个卡上的坐标系变到另一个卡上的坐标系是连续的。 那么流形M上一个图册是一族M上的卡\mathcal.
新！!: 流形和图册 (拓扑学) · 查看更多 »
环面
没有描述。
球
球可以指：.
球面
球面 （sphere）是三维空间中完全圆形的几何物体，它是圆球的表面（类似于在二维空间中，“圆 ”包围着“圆盘”那样）。 就像在二维空间中的圆的定义一样，球面在数学上定义为三维空间中离给定的点距离相同的点的集合 。 这个距离 是球的半径 ，球（ball）则是由离给定点距离小于 的所有点构成的几何体，而这个给定点就是球心。球的半径和球心也是球面的半径和中心。两端都在球面上的最长线段通过球心，其长度是其半径的两倍；它是球面和球体的直径 。 尽管在数学之外，术语“球面”和“球”有时可互换使用，但在数学中是明确区分的：球面是一种嵌在三维欧几里得空间内的二维封闭曲面，而球是一种三维图形，其包括球面和球面内部的一切（闭球），不过更常见的定义是只包括球面内部的所有点，不包括球面上的点（开球）。这种区别并不总是保持不变，尤其是在旧的数学文献里，sphere（球面）被当作固体。这与在平面上混用术语“圆”（circle）和“圆盘”（disk）的情况类似。.
积空间
拓扑学和数学的相关领域中，积空间是指一族拓扑空间的笛卡儿积，并配备了一个称为积拓扑的自然的拓扑结构。.
第二可數空間
二可數空間是指有一個可數基的拓撲空間，我们也将“具备可數基”这一性质当作一条公理（第二可数性公理）放在第二可數空間的定义中（与“有限交，任意并”一同）。.
笛卡儿积
在数学中，两个集合X和Y的笛卡儿积（Cartesian product），又称直积，在集合论中表示为X × Y，是所有可能的有序对組成的集合，其中有序對的第一个对象是X的成员，第二个对象是Y的成员。 舉個實例，如果集合X是13个元素的点数集合，而集合Y是4个元素的花色集合，则这两个集合的笛卡儿积是有52个元素的标准扑克牌的集合。 笛卡儿积得名于笛卡儿，因為這概念是由他建立的解析几何引申出來.
等价关系
等價關係（equivalence relation）即设R是某個集合A上的一个二元关系。若R满足以下條件：.
等价类
在数学中，假設在一个集合X上定義一个等价关系（用 \sim來表示），则X中的某個元素a的等价类就是在X中等价于a的所有元素所形成的子集: 等价类的概念有助于从已经构造了的集合构造新集合。在X中的给定等价关系 \sim的所有等价类的集合表示为X/ \sim并叫做X除以\sim的商集。这种运算可以（实际上非常不正式的）被认为是输入集合除以等价关系的活动，所以名字“商”和这种记法都是模仿的除法。商集类似于除法的一个方面是，如果X是有限的并且等价类都是等势的，则X/ \sim的序是X的序除以一个等价类的序的商。商集被认为是带有所有等价点都识别出来的集合X。 对于任何等价关系，都有从X到X/ \sim的一个规范投影映射\pi，给出为\pi(x).
群
在數學中，群是由一個集合以及一個二元運算所組成的，符合下述四个性质（称为“群公理”）的代數結構。这四个性质是封闭性、結合律、單位元和对于集合中所有元素存在逆元素。 很多熟知的數學結構比如數系統都遵从群公理，例如整數配備上加法運算就形成一個群。如果将群公理的公式從具体的群和其運算中抽象出來，就使得人们可以用靈活的方式来處理起源于抽象代數或其他许多数学分支的實體，而同时保留對象的本質結構性质。 群在數學內外各個領域中是無處不在的，这使得它們成為當代數學的组成的中心原理。 群與對稱概念共有基礎根源。對稱群把幾何物體的如此描述物体的對稱特征：它是保持物體不變的變換的集合。這種對稱群，特別是連續李群，在很多學術學科中扮演重要角色。例如，矩陣群可以用來理解在狹義相對論底層的基本物理定律和在分子化學中的對稱現象。 群的概念引發自多項式方程的研究，由埃瓦里斯特·伽罗瓦在1830年代開創。在得到來自其他領域如數論和幾何学的貢獻之后，群概念在1870年左右形成并牢固建立。現代群論是非常活躍的數學學科，它以自己的方式研究群。為了探索群，數學家發明了各種概念來把群分解成更小的、更好理解的部分，比如子群、商群和單群。除了它們的抽象性質，群理論家還從理論和計算兩種角度來研究具體表示群的各種方式（群的表示）。對有限群已經發展出了特別豐富的理論，這在1983年完成的有限簡單群分類中達到頂峰。从1980年代中叶以来，将有限生成群作为几何对象来研究的几何群论，成为了群论中一个特别活跃的分支。.
群作用
数学上，对称群描述物体的所有对称性。这是通过群作用的概念来形式化的：群的每个元素作为一个双射（或者对称作用）作用在某个集合上。在这个情况下，群称为置换群（特别是在群有限或者不是线性空间时）或者变换群（特别是当这个集合是线性空间而群作为线性变换作用在集合上时）。一个群G的置换表示是群作为一个集合的置换群的群表示（通常该集合有限），并且可以表述为置换矩阵，一般在有限的情形作此考虑－这和作用在有序的线性空间基上是一样的。.
羅比恩·卡比
羅比恩·`克伦威尔·卡比（Robion Cromwell Kirby，），美國数学家，现任加州大學柏克萊分校數學教授。他專精於低維拓樸學，同時他也是卡比─西爾曼不變量的發展者之一，另外他還證明了卡比微積分的一些基礎結果。因為他的數學成就，他已經成為在他研究領域裡一位具有影響力的人物，他指导过五十多名博士研究生，以及提出了一張著名的問題列表。 卡比出生於1938年，並且在芝加哥大學取得博士學位，接著很快地他便成了加州大學洛杉磯分校的助理教授，在這段期間他發展了他的「環面技巧」，藉此他在與賴瑞‧西爾曼的合作下，在高於四維的情形下證明了米爾諾七大幾何問題的其中四個，也因此他在1971年獲頒美國數學學會在幾何方面的Oswald Veblen獎。 1995年他成為第一位得到National Academy of Science's Award for Scientific Reviewing的數學家，因為他對於低維拓樸所提出來的問題清單。2001年被選入美國國家科學院。.
絕妙定理
絕妙定理（Theorema Egregium）是微分幾何中關於曲面的曲率的重要定理，由高斯發現。這定理說曲面的高斯曲率可以從曲面上的長度和角度的測量完全決定，無需理會曲面如何嵌入三維空間內。換言之，高斯曲率是曲面的內蘊不變量。用現代術語可表述為：.
相切
若直線與曲線交於兩點，且這兩點無限相近，趨於重合時，該直線就是該曲線在該點的切線。若一條直線垂直於圓的半徑且過圓的半徑的外端，稱這條直線與圓相切。.
相空間
在數學與物理學中，相空間是一個用以表示出一系統所有可能狀態的空間；系統每個可能的狀態都有一相對應的相空間的點。.
隐函数定理
在数学中，隐函数定理是一个描述关系以隐函数表示的某些变量之间是否存在显式关系的定理。隐函数定理说明，对于一个由关系R(x, y).
莫比乌斯带
莫比乌斯带（Möbiusband）又譯梅比斯環、莫比乌斯环或麦比乌斯带，是一种只有一个面（表面）和一条边界的曲面，也是一种重要的拓扑学结构。它是由德国数学家、天文学家莫比乌斯和约翰·李斯丁在1858年独立发现的。这个结构可以用一个纸带旋转半圈再把两端粘上之后轻而易举地制作出来。事实上有两种不同的莫比乌斯带镜像，他们相互对称。如果把纸带顺时针旋转再粘贴，就会形成一个右手性的莫比乌斯带，反之亦類似。 莫比乌斯带本身具有很多奇妙的性质。如果从中间剪开一个莫比乌斯带，不会得到两个窄的带子，而是会形成一个把纸带的端头扭转了两次再结合的环（并不是梅比斯環），再把剛剛做出那個把纸带的端头扭转了两次再结合的环從中間剪開，則變成兩個環。如果你把带子的宽度分为三分，并沿着分割线剪开的话，会得到两个环，一个是窄一些的莫比乌斯带，另一个则是一个旋转了两次再结合的环。另外一个有趣的特性是将纸带旋转多次再粘贴末端而产生的。比如旋转三个半圈的带子再剪开后会形成一個三叶结。剪开带子之后再进行旋转，然后重新粘贴则会变成数个Paradromic。 莫比乌斯带常被认为是无穷大符号「∞」的创意来源，因为如果某个人站在一个巨大的莫比乌斯带的表面上沿着他能看到的“路”一直走下去，他就永远不会停下来。但是这是一个不真实的传闻，因为「∞」的發明比莫比乌斯帶還更要早。.
解析几何
解析几何（Analytic geometry），又稱為坐标几何（Coordinate geometry）或卡氏幾何（Cartesian geometry），早先被叫作笛卡兒几何，是一种借助于解析式进行图形研究的几何学分支。解析几何通常使用二维的平面直角坐标系研究直线、圆、圆锥曲线、摆线、星形线等各种一般平面曲线，使用三维的空间直角坐标系来研究平面、球等各种一般空间曲面，同时研究它们的方程，并定义一些图形的概念和参数。 在中学课本中，解析几何被简单地解释为：采用数值的方法来定义几何形状，并从中提取数值的信息。然而，这种数值的输出可能是一个方程或者是一种几何形状。 1637年，笛卡兒在《方法论》的附录“几何”中提出了解析几何的基本方法。 以哲学观点写成的这部法语著作为后来牛顿和莱布尼茨各自提出微积分学提供了基础。 对代数几何学者来说，解析几何也指（实或者複）流形，或者更广义地通过一些複變數（或實變數）的解析函数为零而定义的解析空间理论。这一理论非常接近代数几何，特别是通过让-皮埃尔·塞尔在《代数几何和解析几何》领域的工作。这是一个比代数几何更大的领域，不过也可以使用类似的方法。.
豪斯多夫空间
在拓扑学和相关的数学分支中，豪斯多夫空间、分离空间或T2空间是其中的点都“由邻域分离”的拓扑空间。在众多可施加在拓扑空间上的分离公理中，“豪斯多夫条件”是最常使用和讨论的。它蕴涵了序列、网和滤子的极限的唯一性。直观地讲，这个条件可用个双关语来形容：如果某空间中任两点可用开集合将彼此“豪斯多夫”开来，该空间就是“豪斯多夫”的。 豪斯多夫得名于拓扑学的创立者之一费利克斯·豪斯多夫。豪斯多夫最初的拓扑空间定义把豪斯多夫条件包括为公理。.
费利克斯·豪斯多夫
費利克斯·豪斯多夫（Felix Hausdorff, ），德國數學家。他是拓撲學的創始人之一，並且對集合論和泛函分析都貢獻不少。他定義和研究偏序集、豪斯多夫空間和豪斯多夫維，證明豪斯多夫極大定理（Hausdorff maximality theorem）。他也以筆名Paul Mongré出版哲學和文學作品。 豪斯多夫生於布雷斯勞，在萊比錫學習數學，並在那裡任教，直至1910年獲聘往波昂任數學教授。納粹當權後，他想縱然自己是猶太人，但他是受敬重的大學教授，應可免於迫害。但他的抽象數學研究，竟然被批評為屬「猶太人」的，沒用而且「非德國」，令他在1935年失去教席。1942年，當他知悉終於避不過要被送往集中營，他與妻子和妻子的一名姊妹服毒自盡。 Category:德國自殺者 Category:20世紀數學家 Category:19世紀數學家 Category:德国数学家 Category:猶太科學家 Category:格賴夫斯瓦爾德大學教師 Category:波恩大學教師 Category:萊比錫大學教師 Category:萊比錫大學校友 Category:德國猶太人 Category:西里西亞人.
新！!: 流形和费利克斯·豪斯多夫 · 查看更多 »
黎曼流形
黎曼流形（Riemannian manifold）是一個微分流形，其中每點p的切空間都定義了點積，而且其數值隨p平滑地改變。它容許我們定義弧線長度、角度、面積、體積、曲率、函數梯度及向量域的散度。 每個Rn的平滑子流形可以导出黎曼度量：把Rn的點積都限制於切空間內。實際上，根据纳什嵌入定理，所有黎曼流形都可以這樣产生。 我們可以定義黎曼流形為和Rn的平滑子流形是等距同构的度量空間，等距是指其内蕴度量（intrinsic metric）和上述从Rn导出的度量是相同的。这對建立黎曼幾何是很有用的。 黎曼流形可以定义为平滑流形，其中给出了一个切丛的正定二次形的光滑截面。它可產生度量空間： 如果γ: → M是黎曼流形M中一段連續可微分的弧線，我們可以定義它的長度L（γ）為 （注意：γ'（t）是切空間M在γ（t）點的元素；||·||是切空間的內積所得出的範數。） 使用这个长度的定义，每个连通的黎曼流形M很自然的成为一个度量空間（甚至是長度度量空間）：在x與y兩點之間的距離d（x, y）定義為： 虽然黎曼流形通常是弯曲的，“直線”的概念依然存在：那就是測地線。 在黎曼流形中，測地線完备的概念，和拓撲完备及度量完备是等价的：每个完备性都可以推出其他的完备性，这就是Hopf-Rinow定理的内容。.
黎曼曲面
数学上，特别是在复分析中，一个黎曼曲面是一个一维复流形。黎曼曲面可以被視为是一个复平面的变形版本：在每一点局部看来，他们就像一片复平面，但整体的拓扑可能极为不同。例如，他们可以看起来像球或是环，或者两个页面粘在一起。 黎曼曲面的精髓在于在曲面之间可以定义全纯函数。黎曼曲面现在被认为是研究这些函数的整体行为的自然选择，特别是像平方根和自然对数这样的多值函數。 每个黎曼曲面都是二维实解析流形（也就是曲面），但它有更多的结构（特别是一个複結構），因为全純函数的无歧义的定义需要用到这些结构。一个实二维流形可以变成为一个黎曼曲面（通常有几种不同的方式）当且仅当它是可定向的。所以球和环有複結構，但是莫比乌斯带，克莱因瓶和射影平面没有。 黎曼曲面的几何性质是最妙的，它们也给與其它曲线，流形或簇上的推广提供了直观的理解和动力。黎曼-罗赫定理就是这种影响的最佳例子。.
连续函数
在数学中，连续是函数的一种属性。直观上来说，连续的函数就是当输入值的变化足够小的时候，输出的变化也会随之足够小的函数。如果输入值的某种微小的变化会产生输出值的一个突然的跳跃甚至无法定义，则这个函数被称为是不连续的函数（或者说具有不连续性）。 举例来说，考虑描述一棵树的高度随时间而变化的函数h(t)，那么这个函数是连续的（除非树被砍断）。又例如，假设T(P)表示地球上某一点P的空气温度，则这个函数也是连续的。事实上，古典物理学中有一句格言：“自然界中，一切都是连续的。”相比之下，如果M(t)表述在时间t的时候银行账户上的钱币金额，则这个函数无论在存钱或者取钱的时候都会有跳跃，因此函数M(t)是不连续的。.
连通空间
拓扑空间X称为是连通的。当且仅当以下叙述之一成立：.
赫尔曼·外尔
赫尔曼·克劳斯·胡戈·外尔（Hermann Klaus Hugo Weyl，）是一位德国数学家，物理学家和哲学家。 尽管他的大部分工作时间是在瑞士苏黎世和美国普林斯顿度过的，他仍被认为传承了以大卫·希尔伯特和赫尔曼·闵可夫斯基为代表的哥廷根大学学派的数学传统。 他的研究工作在理论物理上和在纯数学领域（如数论）等都有着一样杰出的贡献。他是20世纪最有影响力的数学家之一，也是普林斯顿高等研究院早期的重要成员。 外尔发表过的作品涉及时间、空间、物质、哲学、逻辑、对称性和数学史。 他是最早把广义相对论和电磁理论结合的人之一。当他同时代的数学家对昂利·庞加莱和希尔伯特的对数学的广泛涉猎的重要性缺乏重视的时候，外尔走得比任何人更远。迈克尔·阿蒂亚曾评价，他开始研究一个数学题目的时候，经常发现外尔已经在他之前有所贡献。(The Mathematical Intelligencer (1984), vol.6 no.1).
邻域
在集合论中，邻域指以点 a 为中心的任何开区间，记作：U(a)。 在拓扑学和相关的数学领域中，邻域是拓扑空间中的基本概念。直觉上说，一个点的邻域是包含这个点的集合，並且該性質是外延的：你可以稍微“抖动”一下这个点而不离开这个集合。 这个概念密切关联于开集和内部的概念。.
色带
色帶，列印耗材，從最早的機械撞擊式的打字機到後來的電腦針式印表機，使用的都是此物。.
雅可比矩阵
在向量分析中，雅可比矩阵是函數的一阶偏导数以一定方式排列成的矩阵，其行列式称为雅可比行列式。 在代数几何中，代数曲线的雅可比行列式表示雅可比簇：伴随该曲线的一个代數群，曲线可以嵌入其中。 它们全部都以数学家卡爾·雅可比命名。.
N维球面
n维球面是普通的球面在任意维度的推广。它是(n + 1)维空间内的n维流形。特别地，0维球面就是直线上的两个点，1维球面是平面上的圆，2维球面是三维空间内的普通球面。高于2维的球面有时称为超球面。中心位于原点且半径为单位长度的n维球面称为单位n维球面，记为Sn。用符号来表示，就是： n维球面是(n + 1)维球体的表面或边界，是n维流形的一种。对于n ≥ 2，n维球面是单连通的n维流形，其曲率为正的常数。.
Sic
sic（sīc, sic erat scriptum）是一个从拉丁语衍生出的词汇，它在拉丁语中原意为“所以、这样、就像那样”。在英语中，sic 用于表示引用的句子中不正确或不常用的拼写、短语或标点用法，为引述者在引用时后加上的片语，一般翻译成中文为“原文如此”。通常在书写时用方括号包含，且用斜体，成为“ ”的形式。该词的拉丁语原读音类似于英文的 seek（IPA /'sik/），中间为长元音（sīc）；不过在英语中，这个词一般读作 /'sɪk/，类似英文 sick 一词。.
抛物线
抛物线是一種圓錐曲線。在一個平面内，拋物線的每一點Pi，其與一個固定点F之間的距離等於其與一条不經過此点F的固定直线L之間的距离。这固定点F叫做抛物线的「焦点」，固定直线L叫做抛物线的「准线」。.
李群
數學中，李群（Lie group，）是具有群结构的光滑微分流形，其群作用與微分结构相容。李群的名字源於索菲斯·李的姓氏，以其為連續變換群奠定基礎。1893年，法文名詞groupes de Lie首次出現在李的學生Arthur Tresse的論文第三頁中。.
概形
概形是代數幾何學中的一個基本概念。.
欧几里得空间
欧几里得几何是在约公元前300年，由古希腊数学家欧几里得建立的角和空间中距离之间联系的法则。欧几里得首先开发了处理平面上二维物体的“平面几何”，他接着分析三维物体的“立体几何”，所有欧几里得的公理被编排到幾何原本。 这些数学空间可以被扩展来应用于任何有限维度，而这种空间叫做 n维欧几里得空间（甚至简称 n 维空间）或有限维实内积空间。 这些数学空间还可被扩展到任意维的情形，称为实内积空间（不一定完备）， 希尔伯特空间在高等代数教科书中也被称为欧几里得空间。 为了开发更高维的欧几里得空间，空间的性质必须非常仔细的表达并被扩展到任意维度。 尽管结果的数学非常抽象，它却捕获了我们熟悉的欧几里得空间的根本本质，根本性质是它的平面性。 另存在其他種類的空间，例如球面非欧几里得空间，相对论所描述的四维时空在重力出现的时候也不是欧几里得空间。.
江泽涵
江泽涵（），安徽旌德人，数学家，数学教育家，中国科学院院士，中国拓扑学研究的奠基人之一。.
波恩哈德·黎曼
格奥尔格·弗雷德里希·波恩哈德·黎曼《世界人名翻譯大辭典》，2342頁，「Riemann, Berhard」條。 （德語：Georg Friedrich Bernhard Riemann，，）德国数学家，黎曼几何学创始人，复变函数论创始人之一。.
新！!: 流形和波恩哈德·黎曼 · 查看更多 »
有限群
在數學裡，有限群是有著有限多個元素的群。有限群理論中的某些部份在20世紀有著很深的研究，尤其是在局部分析和可解群與冪零群的理論中。期望有個完整的理論是太過火了：其複雜性會隨著群變得越大時而變得壓倒性地巨大。 較少壓倒性地，但仍然很有趣的是在有限域上的一些較小一般線性群。群論學家曾寫過：「有限群的典型例子為GL(n,q)－在q個元素的域上的n維一般線性群。學生在學此領域時，若以其他的例子來做介紹，則可能會被完全地誤導。（Bulletin (New Series) of the American Mathematical Society, 10 (1984) 121）此類型最小的群GL(2,3)的討論，見。 有限群和對稱有直接地關接，當其被限制在有限個轉變時。 其證明為，連續對稱，如李群中的，也會導致有限群，如外爾群。在此一方面，有限群和其性質將能夠用在如理論物理問題的重要地方，即使其用途在一開始並不顯著。 每一質數階的有限群都是循環群。.
时空
时空（时间-空间，时间和空间）是一种基本概念，分别属于物理学、天文学、空间物理学和哲学。并且也是这几个学科最重要的最基本的概念之一。 空间在力学和物理学上，是描述物体以及其运动的位置、形状和方向等抽象概念；而时间则是描述运动之持续性，事件发生之顺序等。时空的特性，主要就是通过物体，其运动以及与其他物体的相互作用之间的各种关系之汇总。空间和时.
打印机
打印机是一种電腦输出设备，可以将電腦内储存的資料按照文字或影像的方式永久的输出到纸张、透明胶片或其他平面媒介上。.
拓扑
拓扑有以下領域的意義與應用：.
拓扑空间
拓扑空间是一种数学结构，可以在上頭形式化地定義出如收敛、连通、连续等概念。拓扑空间在现代数学的各个分支都有应用，是一个居于中心地位的、统一性的概念。拓扑空间有独立研究的价值，研究拓扑空间的数学分支称为拓扑学。.
拓扑流形
拓扑流形的定义为：拓扑空间\mathcal在满足以下条件时，称\mathcal为m维流形，即.
拉格朗日力学
拉格朗日力学（Lagrangian mechanics）是分析力学中的一种，于1788年由約瑟夫·拉格朗日所创立。拉格朗日力学是对经典力学的一种的新的理论表述，着重于数学解析的方法，並運用最小作用量原理，是分析力学的重要组成部分。 经典力学最初的表述形式由牛顿建立，它着重於分析位移，速度，加速度，力等矢量间的关系，又称为矢量力学。拉格朗日引入了广义坐标的概念，又运用达朗贝尔原理，求得与牛顿第二定律等价的拉格朗日方程。不仅如此，拉格朗日方程具有更普遍的意义，适用范围更广泛。还有，选取恰当的广义坐标，可以大大地简化拉格朗日方程的求解过程。.
曲率
曲率，符号以Kappa:κ表示，是几何体不平坦程度的一种衡量。平坦对不同的几何体有不同的意義。 曲率半径，符号以Rho:ρ表示，是曲率的倒数，单位为米。.
曲线
曲线的普通定义就是在几何空间中的“弯曲了的线”。而直线是一种特殊的曲线，只不过它的曲率为零。在《解析几何》中，曲线用一组连续函数的方程组来表示。 曲线和直线都是指欧几里得几何所定义的欧几里得空间中的相关概念。此外，还存在多种不为多数人所知的非欧几里得几何，其中的直线和曲线的定义和欧几里得几何的定义有很大差别，甚至不能类比。想深入学习数学的人切忌将不同几何空间中的同名概念相互混淆。.
曲面
在数学（拓扑学）中，一个曲面（surface）是一个二维流形。三维空间中的例子有三维实心物体的边界。流体的表面，例如雨滴或肥皂泡是一种理想化的曲面。关于雪花的表面，它有很多精细的结构，超越了这个简单的数学定义。关于实际的曲面的资料，请参看表面张力，表面化学，曲面能量。.
3-流形
數學上，3-流形（3-manifold）是三維流形。在三維情況，拓撲流形、分段線性流形、光滑流形三個範疇都等價，因此很少會著意提及3-流形是屬於哪一類。 三維中的現象，不時會與其他維數中的現象有大出意外的差別，所以有不少極專門的技術處理三維情況，不能推廣至其他維數。3-流形的特殊性，使人發現3-流形和很多不同領域有緊密關係，比如紐結理論、幾何群論、雙曲幾何、數論、拓撲量子場論、規範場論、Floer同調論、偏微分方程。3-流形理論是低維拓撲學的一部份，故此屬於幾何拓撲學。 3-流形理論的一個關鍵想法是考慮嵌入到流形內的特殊曲面。選擇嵌入「良好」的曲面，引出了不可壓縮曲面和哈肯（Haken）流形概念。選擇嵌入曲面使補集的各塊都「良好」，得出了比如Heegaard分解的結構，即使在非哈肯情況也有用場。 3-流形常有一個額外的結構：威廉·瑟斯頓的八種標準幾何結構之一。（其中以雙曲幾何最為普遍。）使用這些幾何結構再加上特別曲面，常得到豐碩的成果。 3-流形的基本群包含3-流形不少的幾何和拓撲資料，因此群論和拓撲方法得以相輔相成。.
重定向到这里：
N维流形。
