比浏览器更快的访问！
49 关系: 域，基，基 (線性代數)，叉乘，同态，向量，向量空间，多重线性代数，多重线性映射，子式和余子式，定向 (向量空間)，定向 (幾何)，实数，平行六面体，平行四边形，交换环，二項式係數，张量代数，张量积，余切丛，微分形式，微分几何，微分流形，德拉姆上同调，克利福德代数，矩阵，矩陣加法，理想 (环论)，等价关系，等价类，紧空间，維度，線性無關，线性子空间，线性映射，结合律，置換，物理学，物理学家，行列式，费米子，黎曼流形，霍奇对偶，赝矢量，赫爾曼·格拉斯曼，模，泛性质，有单位的，数学。
域
域（field）可以指：.
基
*在化学上：.
基 (線性代數)
在线性代数中，基(basis)（也称为基底）是描述、刻画向量空间的基本工具。向量空间的基是它的一个特殊的子集，基的元素称为基向量。向量空间中任意一个元素，都可以唯一地表示成基向量的线性组合。如果基中元素个数有限，就称向量空间为有限维向量空间，将元素的个数称作向量空间的维数。 使用基底可以便利地描述向量空间。比如说，考察从一个向量空间\mathrm射出的线性变换f，可以查看这个变换作用在向量空间的一组基\mathfrak上的效果。掌握了f(\mathfrak)，就等于掌握了f对\mathrm中任意元素的效果。 不是所有空间都拥有由有限个元素构成的基底。这样的空间称为无限维空间。某些无限维空间上可以定义由无限个元素构成的基。如果承认选择公理，那么可以证明任何向量空间都拥有一组基。一个向量空间的基不止一组，但同一个空间的两组不同的基，它们的元素个数或势（当元素个数是无限的时候）是相等的。一组基里面的任意一部分向量都是线性无关的；反之，如果向量空间拥有一组基，那么在向量空间中取一组线性无关的向量，一定能将它扩充为一组基。在内积向量空间中，可以定义正交的概念。通过特别的方法，可以将任意的一组基变换成正交基乃至标准正交基。.
新！!: 外代数和基 (線性代數) · 查看更多 »
叉乘
#重定向 叉积.
同态
抽象代数中，同态是两个代数结构（例如群、环、或者向量空间）之间的保持结构不变的映射。英文的同态(homomorphism)来自希腊语:ὁμός (homos)表示"相同"而μορφή (morphe)表示"形态"。注意相似的词根ὅμοιος (homoios)表示"相似"出现在另一个数学概念同胚的英文(homeomorphism)中。.
向量
向量（vector，物理、工程等也称作--）是数学、物理学和工程科学等多个自然科學中的基本概念，指一个同时具有大小和方向，且满足平行四边形法则的几何對象。一般地，同时满足具有大小和方向两个性质的几何对象即可认为是向量（特别地，电流属既有大小、又有正负方向的量，但由于其运算不满足平行四边形法则，公认为其不属于向量）。向量常常在以符号加箭头标示以区别于其它量。与向量相对的概念称标量或数量，即只有大小、绝大多数情况下没有方向（电流是特例）、不满足平行四边形法则的量。.
向量空间
向量空間是现代数学中的一个基本概念。是線性代數研究的基本对象。 向量空间的一个直观模型是向量几何，幾何上的向量及相关的運算即向量加法，標量乘法，以及对運算的一些限制如封闭性，结合律，已大致地描述了“向量空間”这个數學概念的直观形象。 在现代数学中，“向量”的概念不仅限于此，满足下列公理的任何数学对象都可被当作向量处理。譬如，實系數多項式的集合在定义适当的运算后构成向量空間，在代数上处理是方便的。单变元实函数的集合在定义适当的运算后，也构成向量空间，研究此类函数向量空间的数学分支称为泛函分析。.
多重线性代数
在数学中，多重线性代数推广了线性代数的方法。和线性代数一样也是建立在向量的概念上，发展了向量空间的理论。在应用上，出现了许多类型的张量。该理论全面囊括了一系列空间以及它们之间的关系。.
新！!: 外代数和多重线性代数 · 查看更多 »
多重线性映射
在线性代数中，多重线性映射是有多个向量变量而对每个变量都是线性的函数。 n个变量的多线性映射也叫做n重线性映射。 如果所有变量属于同一个空间，可以考虑对称、反对称和交替的n重线性映射。后两个是一致的，如果底层的环（或域）有不同于二的特征，否则前两个是一致的。 一般讨论可见多重线性代数。.
新！!: 外代数和多重线性映射 · 查看更多 »
子式和余子式
在线性代数中，一个矩阵A的余子式（又称余因式，minor）是指将A的某些行与列去掉之后所余下的方阵的行列式。相应的方阵有时被称为余子阵。 将方阵A的一行与一列去掉之后所得到的余子式可用来获得相应的代数余子式（cofactor），后者在可以通过降低多阶矩阵的阶数来简化矩阵计算，并能和转置矩阵的概念一并用于逆矩阵计算。 不过应当注意的是，余子式和代数余子式两个概念的区别。在数值上，二者的区别在于，余子式只计算去掉某行某列之后剩余行列式的值，而代数余子式则需要考虑去掉的这一个元素对最后值正负所产生的影响。.
新！!: 外代数和子式和余子式 · 查看更多 »
定向 (向量空間)
数学中，实向量空间的一个定向（Orientation）是对哪些有序基是“正”定向以及哪些是“负”定向的一个选取。在三维欧几里得空间中，两个可能的基本定向分别称为右手系与左手系。但是定向的选取与基的手征性是独立的（尽管右手基典型地选为正定向，但它们也可规定为负定向）。.
新！!: 外代数和定向 (向量空間) · 查看更多 »
定向 (幾何)
在三維空間裏，直軸（直線）、直軸段、有向軸、有向軸段（向量）的定向是由它們與參考系的參考軸之夾角設定的。也可以用別的方法，例如方向餘弦方法。 在三維空間裏，一個平面的定向是垂直於此平面的一個向量的定向。 在三維空間裏，剛體的定向涉及整個剛體的定位。假若一個剛體內中一點已被固定，剛體仍舊能夠繞著固定點旋轉。單獨固定點的位置並不能完全地描述剛體的位置。一個剛體的位置有兩個部分：平移位置與角位置。平移位置可以用設定於剛體的一個參考點來表示。這參考點時常會是剛體的質心或剛體與地面的接觸點。角位置，或定向，通常由剛體的體軸與空間坐標軸的夾角來設定；或者，定義固定於剛體的坐標軸為體坐標軸，由空間坐標軸轉動至體坐標軸所需的轉動角參數設定。在經典力學裏，有幾個工具可以用來描述三維空間的剛體轉動。有些可以延伸至四維或多維空間。.
新！!: 外代数和定向 (幾何) · 查看更多 »
实数
实数，是有理數和無理數的总称，前者如0、-4、81/7；后者如\sqrt、\pi等。实数可以直观地看作小數（有限或無限的），它們能把数轴「填滿」。但僅僅以枚舉的方式不能描述實數的全體。实数和虚数共同构成复数。 根据日常经验，有理數集在數軸上似乎是「稠密」的，于是古人一直认为用有理數即能滿足測量上的實際需要。以邊長為1公分的正方形為例，其對角線有多長？在規定的精度下（比如誤差小於0.001公分），總可以用有理數來表示足夠精確的測量結果（比如1.414公分）。但是，古希臘畢達哥拉斯學派的數學家發現，只使用有理數無法完全精確地表示這條對角線的長度，這徹底地打擊了他們的數學理念；他們原以為：.
平行六面体
在几何学中，平行六面体是由六个平行四边形所组成的三维立体。它与平行四边形的关系，正如正方体与正方形之间的关系；在欧几里得几何中这四个概念都允许，但在仿射几何中只允许平行四边形和平行六面体。平行六面体的三个等价的定义为：.
平行四边形
两组对边分别平行的四边形称为平行四边形。平行四边形一般用图形名称加依次四个顶点名称来表示，如图平行四边形记为平行四边形ABCD。 平行四边形并不是梯形。.
交换环
在抽象代数之分支环论中，一个交换环（commutative ring）是乘法运算满足交换律的环。对交换环的研究称为交换代数学。 某些特定的交换环在下列类包含链中：.
二項式係數
二項式係數在數學上是二項式定理中的係數族。其必然為正整數，且能以兩個非負整數為參數確定，此兩參數通常以n和k代表，並將二項式係數寫作\tbinom nk ，亦即是二項式冪(1 + x) n的多項式展式中，x k項的係數。如將二項式係數的n值順序排列成行，每行為k值由0至n列出，則構成帕斯卡三角形。 此數族亦常見於其他代數學領域中，尤其是組合數學。任何有n個元素的集合，由其衍生出擁有k個元素的子集，即由其中任意k個元素的組合，共有\tbinom nk個。故此\tbinom nk亦常讀作「n選取k」。二項式係數的特性使表達式\tbinom nk的定義不再局限於n和k均為非負整數及，然此等表達式仍被稱為二項式係數。 雖然此數族早已被發現（見帕斯卡三角形），但表達式\tbinom nk則是由安德烈亚斯·冯·厄廷格豪森於1826年始用。最早探討二項式係數的論述是十世紀的Halayudha寫的印度教典籍《Pingala的計量聖典》（chandaḥśāstra），及至約1150年，印度數學家Bhaskaracharya於其著作《Lilavati》Lilavati 第6節，第4章（見）。 中給出一個簡單的描述。 二項式係數亦有不同的符號表達方式，包括：C(n, k)、nCk、nCk、C^_，其中的C代表組合（combinations）或選擇（choices）。.
张量代数
在数学中，一个向量空间V的张量代数（tensor algebra），记作T(V)或T·(V)，是V上的（任意阶）张量的代数，其乘法为张量积。张量代数左伴随于从代数到向量空间的遗忘函子，在这种意义下它是V上的自由代数；在相应的泛性质的意义下，它是包含V的“最一般的代数”（见下）。 张量代数也具有余代数结构。 注：本文中所有代数都假设是有单位的且结合。.
张量积
在数学中，张量积，记为 \otimes，可以应用于不同的上下文中如向量、矩阵、张量、向量空间、代数、拓扑向量空间和模。在各种情况下这个符号的意义是同样的: 最一般的双线性运算。在某些上下文中也叫做外积。 例子: \mathbf \otimes \mathbf \rightarrow \beginb_1 \\ b_2 \\ b_3 \\ b_4\end \begina_1 & a_2 & a_3\end.
余切丛
微分几何中，流形的余切丛是流形每点的余切空间组成的向量丛。余切空间有一个标准的辛形式，从中可以一个余切丛的非退化的体积形式。因此，本身作为一个流形的余切丛总是可定向的。可以在余切丛上定义一组特殊的坐标系；这些被称为正则坐标。因为余切丛可以视为辛流形，任何余切丛上的实函数总是可以解释为一个哈密顿函数；这样余切丛可以理解为哈密顿力学讨论的相空间。.
微分形式
微分形式是多变量微积分，微分拓扑和张量分析领域的一个数学概念。现代意义上的微分形式，及其以楔积(wedge product)和外微分结构形成外代数的想法，都是由法国数学家埃里·嘉当引入的。.
微分几何
微分幾何研究微分流形的幾何性質，是現代數學中一主流；是廣義相對論的基礎，與拓撲學、代數幾何及理論物理關係密切。 古典微分几何起源于微积分，主要内容为曲线论和曲面论。歐拉、蒙日和高斯被公认为古典微分几何的奠基人。近代微分几何的创始人是黎曼，他在1854年创立了黎曼几何（实际上黎曼提出的是芬斯勒几何），这成为近代微分几何的主要内容，并在相对论有极为重要的作用。埃利·嘉当和陈省身等人曾在微分几何领域做出极为杰出的贡献。.
微分流形
光滑流形（），或称-微分流形（）、-可微流形（），是指一个被赋予了光滑结构的拓扑流形。一般的，如果不特指，微分流形或可微流形指的就是类的微分流形。可微流形在物理學中非常重要。特殊種類的可微流形構成了經典力學、廣義相對論和楊-米爾斯理論等物理理論的基礎。可以為可微流形開發微積分。可微流形上的微積分研究被稱為微分幾何。.
德拉姆上同调
数学上，德拉姆上同调（de Rham cohomology）是同时属于代数拓扑和微分拓扑的工具。它能够以一种特别适合计算和用具体的上同调类的方式表达关于光滑流形的基本拓扑信息。它是基于有特定属性的微分形式的存在性的上同调理论。它以不同的确定的意义对偶于奇异同调，以及亚历山大-斯潘尼尔上同调。.
新！!: 外代数和德拉姆上同调 · 查看更多 »
克利福德代数
克利福德代数（Clifford algebra），又称几何代数（Geometric algebra），是综合了内积和外积两种运算，在几何和物理中在很多应用的一门数学学科。克利福德代数是复数、四元数和外代数的推广。 它的主要贡献者有：威廉·哈密顿（四元数），赫尔曼·格拉斯曼（外代数），威廉·金顿·克利福德，Hestenes等等，Hestenes是克利福德代数的发扬光大者。 Category:代数.
新！!: 外代数和克利福德代数 · 查看更多 »
矩阵
數學上，一個的矩陣是一个由--（row）--（column）元素排列成的矩形阵列。矩陣--的元素可以是数字、符号或数学式。以下是一个由6个数字元素构成的2--3--的矩阵： 大小相同（行数列数都相同）的矩阵之间可以相互加减，具体是对每个位置上的元素做加减法。矩阵的乘法则较为复杂。两个矩阵可以相乘，当且仅当第一个矩阵的--数等于第二个矩阵的--数。矩阵的乘法满足结合律和分配律，但不满足交换律。 矩阵的一个重要用途是解线性方程组。线性方程组中未知量的系数可以排成一个矩阵，加上常数项，则称为增广矩阵。另一个重要用途是表示线性变换，即是诸如.
矩陣加法
在數學裡，矩陣加法一般是指兩個矩陣把其相對應元素加在一起的運算。但有另一運算也可以認為是一種矩陣的加法。.
理想 (环论)
想（Ideal）是一个抽象代数中的概念。.
新！!: 外代数和理想 (环论) · 查看更多 »
等价关系
等價關係（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).
紧空间
在数学中，如果欧几里得空间Rn的子集是闭合的并且是有界的，那么称它是--的。例如，在R中，闭合单位区间是紧致的，但整数集合Z不是（它不是有界的），半开区间.
維度
维度，又稱维数，是数学中独立参数的数目。在物理学和哲学的领域内，指独立的时空坐标的数目。 0维是一點，沒有長度。1维是線，只有長度。2维是一個平面，是由長度和寬度（或曲線）形成面積。3维是2维加上高度形成「體積面」。雖然在一般人中習慣了整數维，但在碎形中維度不一定是整數，可能会是一个非整的有理数或者无理数。 我们周围的空间有3个维（上下、前后、左右）。我們可以往上下、東南西北移動，其他方向的移動只需用3個三维空間軸來表示。向下移就等於負方向地向上移，向西北移就只是向西和向北移的混合。 在物理學上時間是第四维，與三個空間维不同的是，它只有一個，且只能往一方向前進。 我们所居於的时空有四个维（3个空间轴和1个时间轴），根據愛因斯坦的概念稱為四维时空，我們的宇宙是由時间和空间構成，而這條時間軸是一條虛數值的軸。 弦理論認為我們所居於的宇宙實際上有更多的維度（通常10、11或24個）。但是這些附加的维度所量度的是次原子大小的宇宙。 维度是理论模型，在非古典物理学中这点更为明显。所以不用计较宇宙的维数是多少，只要方便描述就行了。 在物理學中，質的量纲通常以質的基本單位表示：例如，速率的量纲就是長度除以時間。.
線性無關
在線性代數裡，向量空間的一組元素中，若沒有向量可用有限個其他向量的線性組合所表示，则稱為線--性無關或線--性獨立（linearly independent），反之稱為線性相關（linearly dependent）。例如在三維歐幾里得空間R3的三個向量(1, 0, 0)，(0, 1, 0)和(0, 0, 1)線性無關。但(2, −1, 1)，(1, 0, 1)和(3, −1, 2)線性相關，因為第三個是前兩個的和。.
线性子空间
线性子空间（或向量子空间）在线性代数和相关的数学领域中是重要的。在没有混淆于其他子空间的时候通常简称为“子空间”。.
线性映射
在数学中，线性映射（有的书上将“线性变换”作为其同义词，有的则不然）是在两个向量空间（包括由函数构成的抽象的向量空间）之间的一种保持向量加法和标量乘法的特殊映射。线性映射从抽象代数角度看是向量空间的同态，从范畴论角度看是在给定的域上的向量空间所构成的范畴中的态射。 “线性算子”也是与“线性映射”有关的概念。但是不同数学书籍上对“线性算子”的定义存在区别。在泛函分析中，“线性算子”一般被当做“线性映射”的同义词。而有的书则将“线性算子”定义为“线性映射”的自同态子类（详见下文）。为叙述方便，本条目在提及“线性算子”时，采用后一种定义，即将线性算子与线性映射区别开来。.
结合律
在數學中，結合律(associative laws)是二元運算可以有的一個性質，意指在一個包含有二個以上的可結合運算子的表示式，只要運算元的位置沒有改變，其運算的順序就不會對運算出來的值有影響。亦即，重新排列表示式中的括號並不會改變其值。例如： 上式中的括號雖然重新排列了，但表示式的值依然不變。當這在任何實數的加法上都成立時，我們說「實數的加法是一個可結合的運算」。 結合律不應該和交換律相混淆。交換律會改變表示式中運算元的位置，而結合律則不會。例如： 是一個結合律的例子，因為其中的括號改變了（且因此運算子在運算中的順序也改變了），而運算元5、2、1則在原來的位置中。再來， 則不是一個結合律的例子，因為運算元2和5的位置互換了。 可結合的運算在數學中是很常見的，且事實上，大多數的代數結構確實會需要它們的二元運算是可結合的。不過，也有許多重要且有趣的運算是不可結合的；其中一個簡單的例子為向量積。.
置換
排列（Permutation）是將相異物件或符號根據確定的順序重排。每個順序都稱作一個排列對於不排序的情形，請見條目組合。。例如，從一到六的數字有720種排列，對應於由這些數字組成的所有不重複亦不闕漏的序列，例如"4, 5, 6, 1, 2, 3" 與1, 3, 5, 2, 4, 6。 置換的廣義概念在不同語境下有不同的形式定義：.
物理学
物理學（希臘文Φύσις，自然）是研究物質、能量的本質與性質，以及它們彼此之間交互作用的自然科學。由於物質與能量是所有科學研究的必須涉及的基本要素，所以物理學是自然科學中最基礎的學科之一。物理學是一種實驗科學，物理學者從觀測與分析大自然的各種基於物質與能量的現象來找出其中的模式。這些模式（假說）稱為「物理理論」，經得起實驗檢驗的常用物理理論稱為物理定律，直到有一天被證明是有錯誤為止(具可否證性)。物理學是由這些定律精緻地建構而成。物理學是自然科學中最基礎的學科之一。化學、生物學、考古學等等科學學術領域的理論都是建構於這些物理定律。 物理學是最古老的學術之一。物理學、化學、生物學等等原本都歸屬於自然哲學的範疇，直到十七世紀至十九世紀期間，才漸漸地從自然哲學中分別成長為獨立的學術領域。物理學與其它很多跨領域研究有相當的交集，如量子化學、生物物理學等等。物理學的疆界並不是固定不變的，物理學裡的創始突破時常可以用來解釋這些跨領域研究的基礎機制，有時還會開啟嶄新的跨領域研究。 通過創建新理論與發展新科技，物理學對於人類文明有極為顯著的貢獻。例如，由於電磁學的快速發展，電燈、電動機、家用電器等新產品纷纷涌现，人類社會的生活水平也得到大幅提升。由於核子物理學日趨成熟，核能發電已不再是藍圖構想，但其所引致的安全問題也使人們意識到地球環境、生態與人類的脆弱渺小。.
物理学家
物理學家是指受物理學訓練、並以探索物質世界的組成和運行規律（即物理學）為目的科學家。研究範疇可細至構成一般物質的微細粒子，大至宇宙的整體，不同的範圍都會有相對的專家。對應於物理學分為理論物理學和實驗物理學，物理学家也可以分為理論物理學家和實驗物理學家。物理學中理論和實驗都是必不可缺的组成部分，所以有时候這樣的分類很難界定，只不過在一個物理學家更偏重理論的情况下，被稱為理論物理學家的例子包括爱因斯坦、海森堡、狄拉克、埃爾溫·薛丁格、尼爾斯·波耳、楊振寧等；而若偏重實驗，則稱為實驗物理學家，例如艾薩克·牛頓、法拉第、亨利·貝克勒、尼古拉·特斯拉、馬克斯·馮·勞厄、約瑟夫·湯姆森、歐內斯特·勞倫斯、吳健雄、威廉·肖克利、朱棣文等。.
行列式
行列式（Determinant）是数学中的一個函數，将一个n \times n的矩陣A映射到一個純量，记作\det(A)或|A|。行列式可以看做是有向面积或体积的概念在一般的欧几里得空间中的推广。或者说，在n 维欧几里得空间中，行列式描述的是一个线性变换对“体积”所造成的影响。无论是在线性代数、多项式理论，还是在微积分学中（比如说换元积分法中），行列式作为基本的数学工具，都有着重要的应用。 行列式概念最早出现在解线性方程组的过程中。十七世纪晚期，关孝和与莱布尼茨的著作中已经使用行列式来确定线性方程组解的个数以及形式。十八世纪开始，行列式开始作为独立的数学概念被研究。十九世纪以后，行列式理论进一步得到发展和完善。矩阵概念的引入使得更多有关行列式的性质被发现，行列式在许多领域都逐渐显现出重要的意义和作用，出现线性自同态和向量组的行列式的定义。 行列式的特性可以被概括为一个交替多线性形式，这个本质使得行列式在欧几里德空间中可以成为描述“体积”的函数。.
费米子
在粒子物理學裏，费米子（fermion）是遵守费米-狄拉克统计的粒子。費米子包括所有夸克與輕子，任何由奇數個夸克或輕子組成的複合粒子，所有重子與很多種原子與原子核都是費米子。術語費米子是由保羅·狄拉克給出，紀念恩里科·費米在這領域所作的傑出貢獻。 費米子可以是基本粒子，例如電子，或者是複合粒子，例如質子、中子。根據相對論性量子場論的自旋統計定理，自旋為整數的粒子是玻色子，自旋為半整數的粒子是費米子。除了這自旋性質以外，費米子的重子數與輕子數守恆。因此，時常被引述的「自旋統計關係」實際是一種「自旋統計量子數關係」。 根據費米-狄拉克統計，對於N個全同費米子，假設將其中任意兩個費米子交換，則由於描述這量子系統的波函數具有反對稱性，波函數的正負號會改變。由於這特性，費米子遵守包利不相容原理：兩個全同費米子不能占有同樣的量子態。因此，物質具有有限體積與硬度。費米子被稱為物質的組成成分。質子、中子、電子是製成日常物質的關鍵元素。.
黎曼流形
黎曼流形（Riemannian manifold）是一個微分流形，其中每點p的切空間都定義了點積，而且其數值隨p平滑地改變。它容許我們定義弧線長度、角度、面積、體積、曲率、函數梯度及向量域的散度。 每個Rn的平滑子流形可以导出黎曼度量：把Rn的點積都限制於切空間內。實際上，根据纳什嵌入定理，所有黎曼流形都可以這樣产生。 我們可以定義黎曼流形為和Rn的平滑子流形是等距同构的度量空間，等距是指其内蕴度量（intrinsic metric）和上述从Rn导出的度量是相同的。这對建立黎曼幾何是很有用的。 黎曼流形可以定义为平滑流形，其中给出了一个切丛的正定二次形的光滑截面。它可產生度量空間： 如果γ: → M是黎曼流形M中一段連續可微分的弧線，我們可以定義它的長度L（γ）為 （注意：γ'（t）是切空間M在γ（t）點的元素；||·||是切空間的內積所得出的範數。） 使用这个长度的定义，每个连通的黎曼流形M很自然的成为一个度量空間（甚至是長度度量空間）：在x與y兩點之間的距離d（x, y）定義為： 虽然黎曼流形通常是弯曲的，“直線”的概念依然存在：那就是測地線。 在黎曼流形中，測地線完备的概念，和拓撲完备及度量完备是等价的：每个完备性都可以推出其他的完备性，这就是Hopf-Rinow定理的内容。.
霍奇对偶
数学中，霍奇星算子（Hodge star operator）或霍奇对偶（Hodge dual）由苏格兰数学家威廉·霍奇（Hodge）引入的一个重要的线性映射。它定义在有限维定向内积空间的外代数上。.
赝矢量
赝矢量（Pseudovector）也稱為偽向量，指的是在瑕旋轉下，除了隨之反射外，還会再上下翻轉的矢量（因為右手定則的關係）。矢量（极矢量）和赝矢量（轴矢量）都是广义上的矢量，在一般旋轉下的特性相同。但更严格地说，矢量还要求在瑕旋轉下，除了空间反衍外，不會再改变方向。 在三維空間中，赝矢量p可以表示為二個极矢量a和b的外積： 以此方式計算的p是赝矢量，其中一個例子是有向平面的法向量。有向平面可以用二個不平行的向量a和b來定義 from Chapter 52: Symmetry and physical laws, in: Feynman Lectures in Physics, Vol.
赫爾曼·格拉斯曼
赫尔曼·京特·格拉斯曼（Hermann Günther Graßmann，），出生於什切青，是一个德国博学者，在他生活的时代以语言学家身份闻名，今天以数学家身份而著称。他也是一位物理学家，新人道主义者，博学的学者，和出版家.
新！!: 外代数和赫爾曼·格拉斯曼 · 查看更多 »
模
在數學的抽象代數中，環上的模 (module over a ring)的概念是對向量空間概念的推廣，這裡不再要求向量空間裡的純量的代數結構是體(field)，進而放寬純量可以是環(ring)。 因此，模同向量空間一樣是加法交换群；在環元素和模元素之間定義了乘積運算，并且環元素和模元素的乘積是符合結合律的（在同環中的乘法一起用的時候）和分配律的。 模非常密切的關聯於群的表示理論。它們還是交換代數和同調代數的中心概念，并廣泛的用于代數幾何和代數拓撲中。.
泛性质
在数学的很多分支，经常用“在给定某些条件下存在唯一态射”这种形式的性质来定义一些构造。这种性质统称为泛性质（Universal property），有时也称为万有性。范畴论研究泛性质。 了解泛性质最好先研究一些例子。如：群积、直和、自由群、积拓扑、斯通-切赫紧致、张量积、反极限、直极限、核与上核、拉回、推出、等子等。.
有单位的
在數學裡，一代數結構是有单位的（unital 或 unitary），當它含有一乘法单位元素，即含有一元素 1，對所有此代數結構內的元素 x ，有 1x.
数学
数学是利用符号语言研究數量、结构、变化以及空间等概念的一門学科，从某种角度看屬於形式科學的一種。數學透過抽象化和邏輯推理的使用，由計數、計算、量度和對物體形狀及運動的觀察而產生。數學家們拓展這些概念，為了公式化新的猜想以及從選定的公理及定義中建立起嚴謹推導出的定理。 基礎數學的知識與運用總是個人與團體生活中不可或缺的一環。對數學基本概念的完善，早在古埃及、美索不達米亞及古印度內的古代數學文本便可觀見，而在古希臘那裡有更為嚴謹的處理。從那時開始，數學的發展便持續不斷地小幅進展，至16世紀的文藝復興時期，因为新的科學發現和數學革新兩者的交互，致使數學的加速发展，直至今日。数学并成为許多國家及地區的教育範疇中的一部分。 今日，數學使用在不同的領域中，包括科學、工程、醫學和經濟學等。數學對這些領域的應用通常被稱為應用數學，有時亦會激起新的數學發現，並導致全新學科的發展，例如物理学的实质性发展中建立的某些理论激发数学家对于某些问题的不同角度的思考。數學家也研究純數學，就是數學本身的实质性內容，而不以任何實際應用為目標。雖然許多研究以純數學開始，但其过程中也發現許多應用之处。.
