比浏览器更快的访问！
42 关系: 域，基灵型，双射，叉乘，同构，同构基本定理，同态，同态核，向量，向量空间，复合函数，交換子，二元运算，微分同胚，微分几何，光滑函数，环，理想 (环论)，索菲斯·李，线性子空间，线性映射，结合律，特征 (代数)，行列式，跡，范畴论，赫尔曼·外尔，雅可比恒等式，雙線性，李导数，李代数上同调，李余代数，李群，根系，欧几里得空间，泊松代数，泊松括號，泛包絡代數，流形，无穷小变换，数学，态射。
域
域（field）可以指：.
基灵型
在数学中，基灵型（Killing form），是在李群与李代数理论中起着基本作用的一个对称双线性形式。它以数学家威廉·基灵命名，但事实上基灵型是埃利·嘉当发现的，而嘉当矩阵则属于威廉·基灵。.
双射
數學中，一個由集合X映射至集合Y的函數，若對每一在Y內的y，存在唯一一個在X內的x与其对应，則此函數為對射函數。 換句話說，f為雙射的若其為兩集合間的一一對應，亦即同時為單射和滿射。 例如，由整數集合\Z至\Z的函數\operatorname，其將每一個整數x連結至整數\operatorname(x).
叉乘
#重定向 叉积.
同构
在抽象代数中，同构（isomorphism）指的是一个保持结构的双射。在更一般的范畴论语言中，同构指的是一个态射，且存在另一个态射，使得两者的复合是一个恒等态射。 正式的表述是：同构是在数学对象之间定义的一类映射,它能揭示出在这些对象的属性或者操作之间存在的关系。若两个数学结构之间存在同构映射，那么这两个结构叫做是同构的。一般来说，如果忽略掉同构的对象的属性或操作的具体定义，单从结构上讲，同构的对象是完全等价的。.
同构基本定理
同构基本定理或称同态基本定理，包含三个定理，在泛代数领域有广泛的应用。它们证明了一些自然同构的存在性。.
新！!: 李代數和同构基本定理 · 查看更多 »
同态
抽象代数中，同态是两个代数结构（例如群、环、或者向量空间）之间的保持结构不变的映射。英文的同态(homomorphism)来自希腊语:ὁμός (homos)表示"相同"而μορφή (morphe)表示"形态"。注意相似的词根ὅμοιος (homoios)表示"相似"出现在另一个数学概念同胚的英文(homeomorphism)中。.
同态核
#重定向 核_(代数).
向量
向量（vector，物理、工程等也称作--）是数学、物理学和工程科学等多个自然科學中的基本概念，指一个同时具有大小和方向，且满足平行四边形法则的几何對象。一般地，同时满足具有大小和方向两个性质的几何对象即可认为是向量（特别地，电流属既有大小、又有正负方向的量，但由于其运算不满足平行四边形法则，公认为其不属于向量）。向量常常在以符号加箭头标示以区别于其它量。与向量相对的概念称标量或数量，即只有大小、绝大多数情况下没有方向（电流是特例）、不满足平行四边形法则的量。.
向量空间
向量空間是现代数学中的一个基本概念。是線性代數研究的基本对象。 向量空间的一个直观模型是向量几何，幾何上的向量及相关的運算即向量加法，標量乘法，以及对運算的一些限制如封闭性，结合律，已大致地描述了“向量空間”这个數學概念的直观形象。 在现代数学中，“向量”的概念不仅限于此，满足下列公理的任何数学对象都可被当作向量处理。譬如，實系數多項式的集合在定义适当的运算后构成向量空間，在代数上处理是方便的。单变元实函数的集合在定义适当的运算后，也构成向量空间，研究此类函数向量空间的数学分支称为泛函分析。.
复合函数
在数学领域，两个函数的复合函数指一个将第一个函数作用于参数，然后再将第二个函数作用于所得结果的函数。 具体来说，给定两个函数f: X → Y和g: Y → Z，其中f的陪域等于g的定义域（称为f、g可复合），则其复合函数h.
交換子
在抽象代数中，一个群的交換子（commutator）或换位子是一个二元運算子。设g及h 是 群G中的元素，他們的交換子是g −1 h −1 gh，常記為。只有当g和h符合交换律（即gh.
二元运算
二元运算属于数学运算的一种。二元运算需要三个元素：二元运算符以及该运算符作用的两个变量。如四则运算的加、减、乘、除均属于二元运算。 如在运算1 + 2之中，二元运算符为“+”，而该运算符作用的操作数分别为1与2。 二元运算只是二元函数的一种，由于它被广泛应用于各个领域，因此受到比其它函数更高的重视。.
微分同胚
在數學中，微分同胚是適用於微分流形範疇的同構概念。這是從微分流形之間的可逆映射，使得此映射及其逆映射均為光滑（即無窮可微）的。.
微分几何
微分幾何研究微分流形的幾何性質，是現代數學中一主流；是廣義相對論的基礎，與拓撲學、代數幾何及理論物理關係密切。 古典微分几何起源于微积分，主要内容为曲线论和曲面论。歐拉、蒙日和高斯被公认为古典微分几何的奠基人。近代微分几何的创始人是黎曼，他在1854年创立了黎曼几何（实际上黎曼提出的是芬斯勒几何），这成为近代微分几何的主要内容，并在相对论有极为重要的作用。埃利·嘉当和陈省身等人曾在微分几何领域做出极为杰出的贡献。.
光滑函数
光滑函数（smooth function）在数学中特指无穷可导的函数，也就是说，存在所有有限阶导数。若一函数是连续的，则称其为C^0函数；若函数存在导函数，且其導函數連續，則稱為连续可导，記为C^1函数；若一函数n阶可导，并且其n阶导函数连续，则为C^n函数（n\geq 1）。而光滑函数是对所有n都属于C^n函数，特称其为C^\infty函数。 例如，指数函数显然是光滑的，因为指数函数的导数是指数函数本身。.
环
环可能指：.
理想 (环论)
想（Ideal）是一个抽象代数中的概念。.
新！!: 李代數和理想 (环论) · 查看更多 »
索菲斯·李
里乌斯·索菲斯·李（Marius Sophus Lie，）挪威数学家。李群和李代数的创始人。.
线性子空间
线性子空间（或向量子空间）在线性代数和相关的数学领域中是重要的。在没有混淆于其他子空间的时候通常简称为“子空间”。.
线性映射
在数学中，线性映射（有的书上将“线性变换”作为其同义词，有的则不然）是在两个向量空间（包括由函数构成的抽象的向量空间）之间的一种保持向量加法和标量乘法的特殊映射。线性映射从抽象代数角度看是向量空间的同态，从范畴论角度看是在给定的域上的向量空间所构成的范畴中的态射。 “线性算子”也是与“线性映射”有关的概念。但是不同数学书籍上对“线性算子”的定义存在区别。在泛函分析中，“线性算子”一般被当做“线性映射”的同义词。而有的书则将“线性算子”定义为“线性映射”的自同态子类（详见下文）。为叙述方便，本条目在提及“线性算子”时，采用后一种定义，即将线性算子与线性映射区别开来。.
结合律
在數學中，結合律(associative laws)是二元運算可以有的一個性質，意指在一個包含有二個以上的可結合運算子的表示式，只要運算元的位置沒有改變，其運算的順序就不會對運算出來的值有影響。亦即，重新排列表示式中的括號並不會改變其值。例如： 上式中的括號雖然重新排列了，但表示式的值依然不變。當這在任何實數的加法上都成立時，我們說「實數的加法是一個可結合的運算」。 結合律不應該和交換律相混淆。交換律會改變表示式中運算元的位置，而結合律則不會。例如： 是一個結合律的例子，因為其中的括號改變了（且因此運算子在運算中的順序也改變了），而運算元5、2、1則在原來的位置中。再來， 則不是一個結合律的例子，因為運算元2和5的位置互換了。 可結合的運算在數學中是很常見的，且事實上，大多數的代數結構確實會需要它們的二元運算是可結合的。不過，也有許多重要且有趣的運算是不可結合的；其中一個簡單的例子為向量積。.
特征 (代数)
在数学中，环R的特征被定义为最小的正整数n使得 这里的na被定义为 如果不存在这样的n，R的特征被定义为0。R的特征经常指示为char(R)。 环R的特征可以等价的定义为唯一的自然数n使得nZ是映射1到1R的从Z到R的唯一的环同态的核。另一个等价的定义：R的特征是唯一的自然数n使得R包含同构于商环Z/nZ的子环。.
新！!: 李代數和特征 (代数) · 查看更多 »
行列式
行列式（Determinant）是数学中的一個函數，将一个n \times n的矩陣A映射到一個純量，记作\det(A)或|A|。行列式可以看做是有向面积或体积的概念在一般的欧几里得空间中的推广。或者说，在n 维欧几里得空间中，行列式描述的是一个线性变换对“体积”所造成的影响。无论是在线性代数、多项式理论，还是在微积分学中（比如说换元积分法中），行列式作为基本的数学工具，都有着重要的应用。 行列式概念最早出现在解线性方程组的过程中。十七世纪晚期，关孝和与莱布尼茨的著作中已经使用行列式来确定线性方程组解的个数以及形式。十八世纪开始，行列式开始作为独立的数学概念被研究。十九世纪以后，行列式理论进一步得到发展和完善。矩阵概念的引入使得更多有关行列式的性质被发现，行列式在许多领域都逐渐显现出重要的意义和作用，出现线性自同态和向量组的行列式的定义。 行列式的特性可以被概括为一个交替多线性形式，这个本质使得行列式在欧几里德空间中可以成为描述“体积”的函数。.
跡
在线性代数中，一個n \times n的矩陣\mathbf的跡（或跡數），是指\mathbf的主對角線（從左上方至右下方的對角線）上各個元素的總和，一般記作\operatorname(\mathbf)或\operatorname(\mathbf)： 其中\mathbf_代表矩陣的第i行j列上的元素的值。一個矩陣的跡是其特徵值的總和（按代數重數計算）。 跡的英文為trace，是來自德文中的Spur這個單字（與英文中的Spoor是同源詞），在數學中，通常簡寫為「Sp」或「tr」。.
范畴论
疇論是數學的一門學科，以抽象的方法來處理數學概念，將這些概念形式化成一組組的「物件」及「態射」。數學中許多重要的領域可以形式化成範疇，並且使用範疇論，令在這些領域中許多難理解、難捉摸的數學結論可以比沒有使用範疇還會更容易敘述及證明。 範疇最容易理解的一個例子為集合範疇，其物件為集合，態射為集合間的函數。但需注意，範疇的物件不一定要是集合，態射也不一定要是函數；一個數學概念若可以找到一種方法，以符合物件及態射的定義，則可形成一個有效的範疇，且所有在範疇論中導出的結論都可應用在這個數學概念之上。 範疇最簡單的例子之一為广群，其態射皆為可逆的。群胚的概念在拓撲學中很重要。範疇現在在大部分的數學分支中都有出現，在理論電腦科學的某些領域中用于對應資料型別，而在數學物理中被用來描述向量空間。 範疇論不只是對研究範疇論的人有意義，對其他數學家而言也有著其他的意思。一個可追溯至1940年代的述語「一般化的抽象廢話」，即被用來指範疇論那相對於其他傳統的數學分支更高階的抽象化。.
赫尔曼·外尔
赫尔曼·克劳斯·胡戈·外尔（Hermann Klaus Hugo Weyl，）是一位德国数学家，物理学家和哲学家。 尽管他的大部分工作时间是在瑞士苏黎世和美国普林斯顿度过的，他仍被认为传承了以大卫·希尔伯特和赫尔曼·闵可夫斯基为代表的哥廷根大学学派的数学传统。 他的研究工作在理论物理上和在纯数学领域（如数论）等都有着一样杰出的贡献。他是20世纪最有影响力的数学家之一，也是普林斯顿高等研究院早期的重要成员。 外尔发表过的作品涉及时间、空间、物质、哲学、逻辑、对称性和数学史。 他是最早把广义相对论和电磁理论结合的人之一。当他同时代的数学家对昂利·庞加莱和希尔伯特的对数学的广泛涉猎的重要性缺乏重视的时候，外尔走得比任何人更远。迈克尔·阿蒂亚曾评价，他开始研究一个数学题目的时候，经常发现外尔已经在他之前有所贡献。(The Mathematical Intelligencer (1984), vol.6 no.1).
新！!: 李代數和赫尔曼·外尔 · 查看更多 »
雅可比恒等式
雅可比恒等式就是下列等式：.
新！!: 李代數和雅可比恒等式 · 查看更多 »
雙線性
在数学上，双线性可以指：.
李导数
在微分幾何中，李导数（Lie derivative）是一個以索甫斯·李命名的算子，作用在流形上的張量場，向量場或函数，將該張量沿著某個向量場的流做方向導數。因為該作用在座標變換下保持不變，因此，該李導數在一般的流形上都是定義良好的。 所有李导数组成的向量空间对应于如下的李括号构成一个无限维李代数。 李导数用向量场表示，这些向量场可看作M上的流（flow, 也就是时变微分同胚）的无穷小生成元。从另一角度看，M上的微分同胚组成的群，有其对应的李导数的李代数结构，在某种意义上和李群理论直接相关。.
李代数上同调
在数学中，李代数上同调是李代数的一种上同调理论，由和艾伦伯格为了对紧李群的拓扑空间的上同调进行代数构造而建立。在上文提及的论文中，一个特定的被称作的特殊复形，在李代数的模上定义，而其上同调则以一般形式被构造。.
新！!: 李代數和李代数上同调 · 查看更多 »
李余代数
数学中，李余代数（Lie coalgebra）是与李代数对偶的结构。 在有限维情形，它们是对偶的对象：李代数的对偶向量空间上自然有一个李余代数结构，反之亦然。.
李群
數學中，李群（Lie group，）是具有群结构的光滑微分流形，其群作用與微分结构相容。李群的名字源於索菲斯·李的姓氏，以其為連續變換群奠定基礎。1893年，法文名詞groupes de Lie首次出現在李的學生Arthur Tresse的論文第三頁中。.
根系
在數學中，根系是歐幾里得空間中滿足某些公理的向量配置。根系在李群、李代數與代數群理論中格外重要；而根系分類的主要工具──鄧肯圖，也見諸奇异性理论等與李群並無顯著關係的學科。.
欧几里得空间
欧几里得几何是在约公元前300年，由古希腊数学家欧几里得建立的角和空间中距离之间联系的法则。欧几里得首先开发了处理平面上二维物体的“平面几何”，他接着分析三维物体的“立体几何”，所有欧几里得的公理被编排到幾何原本。 这些数学空间可以被扩展来应用于任何有限维度，而这种空间叫做 n维欧几里得空间（甚至简称 n 维空间）或有限维实内积空间。 这些数学空间还可被扩展到任意维的情形，称为实内积空间（不一定完备）， 希尔伯特空间在高等代数教科书中也被称为欧几里得空间。 为了开发更高维的欧几里得空间，空间的性质必须非常仔细的表达并被扩展到任意维度。 尽管结果的数学非常抽象，它却捕获了我们熟悉的欧几里得空间的根本本质，根本性质是它的平面性。 另存在其他種類的空间，例如球面非欧几里得空间，相对论所描述的四维时空在重力出现的时候也不是欧几里得空间。.
新！!: 李代數和欧几里得空间 · 查看更多 »
泊松代数
数学中，泊松代数（Poisson algebra）是具有一个满足莱布尼兹法则的李括号之结合代数；即括号也是导子。泊松代数自然出现于哈密顿力学，也是量子群研究的中心。携有一个泊松代数的流形也叫做泊松流形，辛流形与泊松-李群是其特列。此代数的名字以西莫恩·德尼·泊松命名。.
泊松括號
在數學及经典力學中，泊松括號是哈密顿力學中重要的運算，在哈密頓表述的動力系統中時間演化的定義起着中心角色。在更一般的情形，泊松括号用来定义一个泊松代数，而泊松流形是一个特例。它们都是以西莫恩·德尼·泊松命名的。.
泛包絡代數
在數學中，我們可以構造任意李代數 L 的泛包絡代數 U(L)。李代數一般並非結合代數，但泛包絡代數則是帶乘法單位元的結合代數。李代數的表示理論可以理解為其泛包絡代數的表示理論。在幾何上，泛包絡代數可以解釋為李群上的左不變微分算子。.
流形
流形（Manifolds），是局部具有欧几里得空间性质的空间，是欧几里得空间中的曲线、曲面等概念的推广。欧几里得空间就是最简单的流形的实例。地球表面这样的球面则是一个稍微复杂的例子。一般的流形可以通过把许多平直的片折弯并粘连而成。 流形在数学中用于描述几何形体，它们为研究形体的可微性提供了一个自然的平台。物理上，经典力学的相空间和构造广义相对论的时空模型的四维伪黎曼流形都是流形的实例。位形空间中也可以定义流形。环面就是双摆的位形空间。 一般可以把几何形体的拓扑结构看作是完全“柔软”的，因为所有变形（同胚）会保持拓扑结构不变；而把解析几何结构看作是“硬”的，因为整体的结构都是固定的。例如一个多项式，如果你知道 (0,1) 区间的取值，则整个实数范围的值都是固定的，所以局部的变动会导致全局的变化。光滑流形可以看作是介于两者之间的模型：其无穷小的结构是“硬”的，而整体结构则是“柔软”的。这也许是中文译名“流形”的原因（整体的形态可以流动）。该译名由著名数学家和数学教育学家江泽涵引入。这样，流形的硬度使它能够容纳微分结构，而它的软度使得它可以作为很多需要独立的局部扰动的数学和物理的模型。.
无穷小变换
数学裡，无穷小变换是小变换的一个无穷小极限。例如我们可以谈论三维空间中一个刚体的无穷小旋转。这通常由一个 3×3 反对称矩阵 A 表示。它不是空间中的实际旋转；但是对一个小参数 ε，我们有 与小旋转之差只是 ε2 阶量。 无穷小变换的综合理论最早由索甫斯·李给出。事实上这是他在如今称为李群及其李代数方面工作的核心；以及它们在几何特别是微分方程中作用的等同。一个抽象李群的性质正是无穷小变换的那些限定，正如群论的公理实现了对称。 例如，在无穷小旋转情形，将一个反对称矩阵与一个三维向量等同，则李代数结构由叉积给出。这相当于选取旋转的一个轴；雅可比恒等式是叉积一个熟知的性质。 无穷小变换最早的例子可能认为出现于齐次函数的欧拉定理中。它断言 n 个变量 x1,..., xn 的一个度数为 r 的齐次函数 F，满足 其中 是一个微分算子。这是由性质 我们可对 λ 微分，然后取 λ 等于 1。这是光滑函数 F 有齐次性质的一个必要条件；这也是充足的（通过利用施瓦兹分布我们简化这里考虑的数学分析）。在我们有一个缩放算子的单参数子群时这个过程是典型的；变换的信息事实上包含于一阶微分算子无穷小变换中。 算子方程 这里 是泰勒定理的一个算子版本，从而只对 f 是一个解析函数成立。集中于算子部分，它实际上说明 D 是一个无穷小变换，通过指数生成在实直线上的平移。在李理论中，这推广得很远。任何连通空间李群可由它的无穷小生成元（这个群李代数的一个基）构造出来；贝克-坎贝尔-豪斯多夫公式中给出了清晰不过未必总有用的信息。 Category:李群.
数学
数学是利用符号语言研究數量、结构、变化以及空间等概念的一門学科，从某种角度看屬於形式科學的一種。數學透過抽象化和邏輯推理的使用，由計數、計算、量度和對物體形狀及運動的觀察而產生。數學家們拓展這些概念，為了公式化新的猜想以及從選定的公理及定義中建立起嚴謹推導出的定理。 基礎數學的知識與運用總是個人與團體生活中不可或缺的一環。對數學基本概念的完善，早在古埃及、美索不達米亞及古印度內的古代數學文本便可觀見，而在古希臘那裡有更為嚴謹的處理。從那時開始，數學的發展便持續不斷地小幅進展，至16世紀的文藝復興時期，因为新的科學發現和數學革新兩者的交互，致使數學的加速发展，直至今日。数学并成为許多國家及地區的教育範疇中的一部分。 今日，數學使用在不同的領域中，包括科學、工程、醫學和經濟學等。數學對這些領域的應用通常被稱為應用數學，有時亦會激起新的數學發現，並導致全新學科的發展，例如物理学的实质性发展中建立的某些理论激发数学家对于某些问题的不同角度的思考。數學家也研究純數學，就是數學本身的实质性內容，而不以任何實際應用為目標。雖然許多研究以純數學開始，但其过程中也發現許多應用之处。.
态射
数学上，态射（morphism）是两个数学结构之间保持结构的一种过程抽象。 最常见的这种过程的例子是在某种意义上保持结构的函数或映射。例如，在集合论中，态射就是函数；在群论中，它们是群同态；而在拓扑学中，它们是连续函数；在泛代数（universal algebra）的范围，态射通常就是同态。 对态射和它们定义于其间的结构（或对象）的抽象研究构成了范畴论的一部分。在范畴论中，态射不必是函数，而通常被视为两个对象（不必是集合）间的箭头。不像映射一个集合的元素到另外一个集合，它们只是表示域（domain）和陪域（codomain）间的某种关系。 尽管态射的本质是抽象的，多数人关于它们的直观（事实上包括大部分术语）来自于具体范畴的例子，在那里对象就是有附加结构的集合而态射就是保持这种结构的函数。.
