比浏览器更快的访问！
40 关系: 可平行化流形，双射，向量空间，射影线性群，层 (数学)，局部分析，丟番圖方程，主丛，一般线性群，亏格，二次型，代数簇，代數閉域，仿射空间，伽羅瓦上同調，微分流形，切丛，光滑函数，笛卡儿积，线性代数，群，群上同調，群作用，非交换，齐性空间，范畴，英语，連續函數 (拓撲學)，李群，标架丛，椭圆曲线，概形，正交群，截面 (纤维丛)，流形，数域，数学，数论，拓扑空间，拓扑群。
可平行化流形
数学中，一个 n 维光滑流形 M 为可平行化流形 是指具有向量场 使得在 M 中任何一点 P 的切向量 组成 P 点切空间的一组基。等价地说，切丛是平凡丛，所以相伴的线性标架主丛有一个 M 的整体截面。 选取 M 上这样特定的一组向量场的基称为 M 的一个平行化或绝对平行化。.
新！!: 主齐性空间和可平行化流形 · 查看更多 »
双射
數學中，一個由集合X映射至集合Y的函數，若對每一在Y內的y，存在唯一一個在X內的x与其对应，則此函數為對射函數。 換句話說，f為雙射的若其為兩集合間的一一對應，亦即同時為單射和滿射。 例如，由整數集合\Z至\Z的函數\operatorname，其將每一個整數x連結至整數\operatorname(x).
向量空间
向量空間是现代数学中的一个基本概念。是線性代數研究的基本对象。 向量空间的一个直观模型是向量几何，幾何上的向量及相关的運算即向量加法，標量乘法，以及对運算的一些限制如封闭性，结合律，已大致地描述了“向量空間”这个數學概念的直观形象。 在现代数学中，“向量”的概念不仅限于此，满足下列公理的任何数学对象都可被当作向量处理。譬如，實系數多項式的集合在定义适当的运算后构成向量空間，在代数上处理是方便的。单变元实函数的集合在定义适当的运算后，也构成向量空间，研究此类函数向量空间的数学分支称为泛函分析。.
新！!: 主齐性空间和向量空间 · 查看更多 »
射影线性群
射影线性群是代数学里群论中的一类群的称呼。射影线性群也叫射影一般线性群（一般记作 PGL），是某个系数域为\mathbb的向量空间V上的一般线性群在射影空间 P(V) 上诱导的群作用。具体来说，射影线性群是商群： 其中的\mathcal(V)是V上的一般线性群，而\mathbb(V)是由V上的所有数乘变换构成的\mathcal(V)的子群。之所以在\mathcal(V)中约去\mathbb(V)，是因为它们在射影空间上的作用是平凡的（所以构成群作用的核）。\mathbb(V) 有时也被记作 \mathcal(V)，因为它是一般线性群的中心。 与射影线性群类似的还有射影特殊线性群，一般记作PSL。它的定义与射影线性群相似，只不过不是在一般线性群而是在特殊线性群上。 其中的\mathcal(V)是V上的特殊线性群，而\mathcal(V)是\mathbb(V)在\mathcal(V)中的子群（即行列式等于1的数乘变换构成的子群）。显然 \mathcal(V) 是 \mathcal(V) 的中心。若V.
新！!: 主齐性空间和射影线性群 · 查看更多 »
层 (数学)
数学上，在给定拓扑空间X上的一个层（sheaf）（或译束、捆）F对于X的每个开集给出一个集合或者一个更丰富的结构F(U)。这个结构F(U)和把开集限制（restricting）到更小的子集的操作相容，并且可以把小的开集粘起来得到更大的。一个预层（presheaf）和一个层相似，但它可能不可以粘起来。事实上，层使得我们可以用一种细致的方式讨论什么是局部性质，就像应用在函数上的层。.
新！!: 主齐性空间和层 (数学) · 查看更多 »
局部分析
在數學裡，局部分析至少有兩種意思，這兩種意思都導源於先看和每一個質數p有關部份的問題，再試著將由每個質數所得到的資料整合成一「整體」圖像的概念。.
新！!: 主齐性空间和局部分析 · 查看更多 »
丟番圖方程
丟番圖方程，是未知数只能使用整數的整數係數多項式等式；即形式如a_1 x_1^+a_2 x_2^+......+a_n x_n^.
新！!: 主齐性空间和丟番圖方程 · 查看更多 »
主丛
数学上，一个G主丛(principal G-bundle)是一种特殊的纤维丛，其纤维为拓扑群G的作用的扭子（torsor）（也称为主齐性空间）。主G丛是G丛，因为群G也是丛的结构群。 主丛在拓扑学和微分几何中有重要应用。他们在物理学中也有应用，他们组成了规范理论的基础框架的一部分。主丛为纤维丛的理论提供了一个统一的框架，因为所有纤维丛及其结构群G决定了一个唯一的主G丛，从该主丛可以重建原来的那个丛。.
一般线性群
在數學中，n 次一般線性群是 n×n 可逆矩陣的集合，和與之一起的普通矩陣乘法運算。這形成了一個群，因為兩個可逆矩陣的乘積也是可逆矩陣，而可逆矩陣的逆元還是可逆矩陣。叫這個名字是因為可逆矩陣的縱列是線性無關的，因此它們定義的向量／點是在一般線性位置上的，而在一般線性群中的矩陣把在一般線性位置上的點變換成在一般線性位置上的點。 为了使定义更明确，必需規定哪類對象可以成為矩陣的元素。例如，在 R（實數集）上的一般線性群是實數的 n×n 可逆矩陣的群，并指示為 GLn(R)或 GL(n, R)。 更一般的說，在任何域 F（比如複數集）或環 R（比如整數集的環）上的 n 次一般線性群是帶有來自 F（或 R）的元素的 n×n 可逆矩陣的群，帶有矩陣乘法作為群運算。這裡的環被假定為符合結合律和有乘法單位元的。典型符號是 GLn(F)或 GL(n, F)，如果域是自明的也可簡寫為 GL(n)。 更一般的說，向量空間的一般線性群 GL(V)仍是抽象自同構群，不必需寫為矩陣。 '''特殊線性群'''，寫為 SL(n, F)或 SLn(F)，是由行列式.
新！!: 主齐性空间和一般线性群 · 查看更多 »
亏格
数学上，亏格（genus）有几个不同但密切相关的意思：.
二次型
在数学中，二次型是一些变量上的二次齐次多项式。例如 是关于变量x和y的二次型。 二次型在许多数学分支，包括数论、线性代数、群论(正交群)、微分几何(黎曼测度)、微分拓扑(intersection forms of four-manifolds)和李代数(基灵型)中，占有核心地位。.
代数簇
代数簇，亦作代數多樣體，是代数几何学上多项式集合的公共零点解的集合。代数簇是经典（某种程度上也是现代）代数几何的中心研究对象。 術語簇（variety）取自拉丁语族中詞源（cognate of word）的概念，有基於“同源”而“變形”之意。 历史上，代数基本定理建立了代数和几何之间的一个联系，它表明在复数域上的单变量的多项式由它的根的集合决定，而根集合是内在的几何对象。在此基础上，希尔伯特零点定理提供了多项式环的理想和仿射空间子集的基本对应。利用零点定理和相关结果，我们能够用代数术语捕捉簇的几何概念，也能够用几何来承载环论中的问题。.
代數閉域
在數學上，一個域F被稱作代數閉--，若且唯若任何係數属于F且次數大於零的單變數多項式在F裡至少有一個根。.
新！!: 主齐性空间和代數閉域 · 查看更多 »
仿射空间
仿射空间 （英文: Affine space)，又称线性流形，是数学中的几何结构，这种结构是欧式空间的仿射特性的推广。在仿射空间中，点与点之间做差可以得到向量，点与向量做加法将得到另一个点，但是点与点之间不可以做加法。.
新！!: 主齐性空间和仿射空间 · 查看更多 »
伽羅瓦上同調
在數學中，伽羅瓦上同調是一套用群上同調研究伽羅瓦群的作用的技術。具體言之，假設伽羅瓦群 G.
新！!: 主齐性空间和伽羅瓦上同調 · 查看更多 »
微分流形
光滑流形（），或称-微分流形（）、-可微流形（），是指一个被赋予了光滑结构的拓扑流形。一般的，如果不特指，微分流形或可微流形指的就是类的微分流形。可微流形在物理學中非常重要。特殊種類的可微流形構成了經典力學、廣義相對論和楊-米爾斯理論等物理理論的基礎。可以為可微流形開發微積分。可微流形上的微積分研究被稱為微分幾何。.
新！!: 主齐性空间和微分流形 · 查看更多 »
切丛
数学上，一个微分流形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.
光滑函数
光滑函数（smooth function）在数学中特指无穷可导的函数，也就是说，存在所有有限阶导数。若一函数是连续的，则称其为C^0函数；若函数存在导函数，且其導函數連續，則稱為连续可导，記为C^1函数；若一函数n阶可导，并且其n阶导函数连续，则为C^n函数（n\geq 1）。而光滑函数是对所有n都属于C^n函数，特称其为C^\infty函数。 例如，指数函数显然是光滑的，因为指数函数的导数是指数函数本身。.
新！!: 主齐性空间和光滑函数 · 查看更多 »
笛卡儿积
在数学中，两个集合X和Y的笛卡儿积（Cartesian product），又称直积，在集合论中表示为X × Y，是所有可能的有序对組成的集合，其中有序對的第一个对象是X的成员，第二个对象是Y的成员。 舉個實例，如果集合X是13个元素的点数集合，而集合Y是4个元素的花色集合，则这两个集合的笛卡儿积是有52个元素的标准扑克牌的集合。 笛卡儿积得名于笛卡儿，因為這概念是由他建立的解析几何引申出來.
新！!: 主齐性空间和笛卡儿积 · 查看更多 »
线性代数
线性代数是关于向量空间和线性映射的一个数学分支。它包括对线、面和子空间的研究，同时也涉及到所有的向量空间的一般性质。 坐标满足线性方程的点集形成n维空间中的一个超平面。n个超平面相交于一点的条件是线性代数研究的一个重要焦点。此项研究源于包含多个未知数的线性方程组。这样的方程组可以很自然地表示为矩阵和向量的形式。 线性代数既是纯数学也是应用数学的核心。例如，放宽向量空间的公理就产生抽象代数，也就出现若干推广。泛函分析研究无穷维情形的向量空间理论。线性代数与微积分结合，使得微分方程线性系统的求解更加便利。线性代数的理论已被泛化为。 线性代数的方法还用在解析几何、工程、物理、自然科学、計算機科學、计算机动画和社会科学（尤其是经济学）中。由于线性代数是一套完善的理论，非线性数学模型通常可以被近似为线性模型。.
新！!: 主齐性空间和线性代数 · 查看更多 »
群
在數學中，群是由一個集合以及一個二元運算所組成的，符合下述四个性质（称为“群公理”）的代數結構。这四个性质是封闭性、結合律、單位元和对于集合中所有元素存在逆元素。 很多熟知的數學結構比如數系統都遵从群公理，例如整數配備上加法運算就形成一個群。如果将群公理的公式從具体的群和其運算中抽象出來，就使得人们可以用靈活的方式来處理起源于抽象代數或其他许多数学分支的實體，而同时保留對象的本質結構性质。 群在數學內外各個領域中是無處不在的，这使得它們成為當代數學的组成的中心原理。 群與對稱概念共有基礎根源。對稱群把幾何物體的如此描述物体的對稱特征：它是保持物體不變的變換的集合。這種對稱群，特別是連續李群，在很多學術學科中扮演重要角色。例如，矩陣群可以用來理解在狹義相對論底層的基本物理定律和在分子化學中的對稱現象。 群的概念引發自多項式方程的研究，由埃瓦里斯特·伽罗瓦在1830年代開創。在得到來自其他領域如數論和幾何学的貢獻之后，群概念在1870年左右形成并牢固建立。現代群論是非常活躍的數學學科，它以自己的方式研究群。為了探索群，數學家發明了各種概念來把群分解成更小的、更好理解的部分，比如子群、商群和單群。除了它們的抽象性質，群理論家還從理論和計算兩種角度來研究具體表示群的各種方式（群的表示）。對有限群已經發展出了特別豐富的理論，這在1983年完成的有限簡單群分類中達到頂峰。从1980年代中叶以来，将有限生成群作为几何对象来研究的几何群论，成为了群论中一个特别活跃的分支。.
群上同調
在同調代數中，群上同調是一套研究群及其表示的代數工具。群上同調源於代數拓撲，在代數數論上也有重要應用；它是現代類域論的基本構件之一。.
新！!: 主齐性空间和群上同調 · 查看更多 »
群作用
数学上，对称群描述物体的所有对称性。这是通过群作用的概念来形式化的：群的每个元素作为一个双射（或者对称作用）作用在某个集合上。在这个情况下，群称为置换群（特别是在群有限或者不是线性空间时）或者变换群（特别是当这个集合是线性空间而群作为线性变换作用在集合上时）。一个群G的置换表示是群作为一个集合的置换群的群表示（通常该集合有限），并且可以表述为置换矩阵，一般在有限的情形作此考虑－这和作用在有序的线性空间基上是一样的。.
非交换
#重定向 非阿贝尔群.
齐性空间
在数学，特别是李群、代数群与拓扑群的理论中，关于群G的一个齐性空间（homogeneous space）是一个非空流形或拓扑空间X，G可传递性作用在X上，G中的元素稱之為X的對稱。一个特例是群G就是空间X的自同構群，這裡自同構群可以是等矩同構群、微分同肧群或是同肧群。在這些例子中，如果直觉想成X于任何地方局部看起来一样，則X是齐性的。像是等矩同構（剛體幾何）、微分同肧（微分幾何）或是同肧（拓撲）。一些作者要求G的作用是有效的（或忠实），不过本文并不要求这样。从而X上存在可以想象为保持X上相同“几何结构”的一个群作用，使X成为一个单''G''-轨道。.
新！!: 主齐性空间和齐性空间 · 查看更多 »
范畴
----或--疇可以指：.
英语
英语（English，）是一种西日耳曼语言，诞生于中世纪早期的英格兰，如今具有全球通用语的地位。“英语”一词源于迁居英格兰的日耳曼部落盎格鲁（Angles），而“盎格鲁”得名于临波罗的海的半岛盎格里亚（Anglia）。弗里西语是与英语最相近的语言。英语词汇在中世纪早期受到了其他日耳曼族语言的大量影响，后来受罗曼族语言尤其是法语的影响。英语是将近六十个国家唯一的官方语言或官方语言之一，也是全世界最多國家的官方語言。它是英国、美国、加拿大、澳大利亚、爱尔兰和新西兰最常用的语言，也在加勒比、非洲及南亚的部分地区被广泛使用。它是世界上母语人口第三多的语言，仅次于汉语和西班牙语。英语是学习者最多的第二外语跟學習者最多的第一外語，是联合国、欧盟和许多其他国际组织的官方语言。它是使用最广泛的日耳曼族语言，至少70%的日耳曼语族使用者说英语。 英语有1400多年的发展史。公元5世纪，盎格魯-撒克遜人把他们的各种盎格鲁-弗里西语方言带到了大不列顛島，它们被称为古英语。中古英语始于11世纪后期的诺曼征服，这一时期英语受到了法语的影响。15世纪末伦敦对印刷机的采用、《钦定版圣经》的出版及元音大推移标志了近代英语的开端。通过大英帝国对全球的影响，现代英语在17世纪至20世纪中叶传播到了世界各地。通过各种印刷和电子媒体，随着美国取得全球超级大国地位，英语已经成为了国际对话中居领导地位的世界語言。它还是许多地区和行业（如科学、导航、法律等）的通用语。 现代英语和很多其他语言相比屈折变化较少，更多地依靠助動詞和语序来表达复杂的时态、体和语气，以及被動語態、疑问和一些否定。英语的各种口音和方言在发音和音位方面有显著差异，有时它们的词汇、语法和拼法也有所不同，但世界各地说英语的人能基本无碍地沟通交流。.
連續函數 (拓撲學)
在拓撲學和數學的相關領域裡，連續函數是指在拓撲空間之間的一種態射。直觀上來說，其為一個函數f，其中每一群在f(x)附近的點都會含有在x附近的一群點之值。對一個一般的拓撲空間來說，這是指f(x)的鄰域總會包含著x之鄰域的值。 在一個度量空間(如實數)裡，這是指在f(x)一定距離內的點總會包含著在x某些距離內的所有點。.
新！!: 主齐性空间和連續函數 (拓撲學) · 查看更多 »
李群
數學中，李群（Lie group，）是具有群结构的光滑微分流形，其群作用與微分结构相容。李群的名字源於索菲斯·李的姓氏，以其為連續變換群奠定基礎。1893年，法文名詞groupes de Lie首次出現在李的學生Arthur Tresse的論文第三頁中。.
标架丛
数学中，标架丛（Frame bundle）是一个与任何向量丛 E 相伴的主丛。F(E) 在一点 x 的纤维是 Ex 的所有有序基或曰标架。一般线性群通过基变更自然作用在 F(E) 上，给出标架丛一个主 GLk(R)-丛结构，这里 k 是 E 的秩。 一个光滑流形的标架丛是与其切丛相伴的丛。因此它有经常称为切标架丛（tangent frame bundle）。.
椭圆曲线
在數學上，橢圓曲線（Elliptic curve，縮寫為EC）為一代數曲線，被下列式子所定義 其是無奇點的；亦即，其圖形沒有尖點或自相交。 若y^2.
新！!: 主齐性空间和椭圆曲线 · 查看更多 »
概形
概形是代數幾何學中的一個基本概念。.
正交群
数学上，数域F上的n阶正交群，记作O(n,F)，是F上的n×n 正交矩阵在矩阵乘法下构成的群。它是一般线性群GL(n,F)的子群，由 这里QT是Q的转置。实数域上的经典正交群通常就记为O(n)。 更一般地，F上一个非奇异二次型的正交群是保持二次型不变的矩阵构成的群。嘉当-迪奥多内定理描述了这个正交群的结构。 每个正交矩阵的行列式为1或−1。行列式为1的n×n正交矩阵组成一个O(n,F)的正规子群，称为特殊正交群SO(n,F)。如果F的特征为2，那么1.
截面 (纤维丛)
在数学之拓扑学领域中，拓扑空间 B 上纤维丛 π: E → B 的一个截面或横截面（section 或 cross section），是一个连续映射 s: B → E，使得对 x 属于 B 有 π(s(x)).
新！!: 主齐性空间和截面 (纤维丛) · 查看更多 »
流形
流形（Manifolds），是局部具有欧几里得空间性质的空间，是欧几里得空间中的曲线、曲面等概念的推广。欧几里得空间就是最简单的流形的实例。地球表面这样的球面则是一个稍微复杂的例子。一般的流形可以通过把许多平直的片折弯并粘连而成。 流形在数学中用于描述几何形体，它们为研究形体的可微性提供了一个自然的平台。物理上，经典力学的相空间和构造广义相对论的时空模型的四维伪黎曼流形都是流形的实例。位形空间中也可以定义流形。环面就是双摆的位形空间。 一般可以把几何形体的拓扑结构看作是完全“柔软”的，因为所有变形（同胚）会保持拓扑结构不变；而把解析几何结构看作是“硬”的，因为整体的结构都是固定的。例如一个多项式，如果你知道 (0,1) 区间的取值，则整个实数范围的值都是固定的，所以局部的变动会导致全局的变化。光滑流形可以看作是介于两者之间的模型：其无穷小的结构是“硬”的，而整体结构则是“柔软”的。这也许是中文译名“流形”的原因（整体的形态可以流动）。该译名由著名数学家和数学教育学家江泽涵引入。这样，流形的硬度使它能够容纳微分结构，而它的软度使得它可以作为很多需要独立的局部扰动的数学和物理的模型。.
数域
数域是近世代数学中常见的概念，指对加减乘除四则运算封闭的代数系统。通常定义的数域是指复数域\mathbb的子域。“数域”一词有时也被用作代数数域的简称，但两者的定义有细微的差别。.
数学
数学是利用符号语言研究數量、结构、变化以及空间等概念的一門学科，从某种角度看屬於形式科學的一種。數學透過抽象化和邏輯推理的使用，由計數、計算、量度和對物體形狀及運動的觀察而產生。數學家們拓展這些概念，為了公式化新的猜想以及從選定的公理及定義中建立起嚴謹推導出的定理。 基礎數學的知識與運用總是個人與團體生活中不可或缺的一環。對數學基本概念的完善，早在古埃及、美索不達米亞及古印度內的古代數學文本便可觀見，而在古希臘那裡有更為嚴謹的處理。從那時開始，數學的發展便持續不斷地小幅進展，至16世紀的文藝復興時期，因为新的科學發現和數學革新兩者的交互，致使數學的加速发展，直至今日。数学并成为許多國家及地區的教育範疇中的一部分。 今日，數學使用在不同的領域中，包括科學、工程、醫學和經濟學等。數學對這些領域的應用通常被稱為應用數學，有時亦會激起新的數學發現，並導致全新學科的發展，例如物理学的实质性发展中建立的某些理论激发数学家对于某些问题的不同角度的思考。數學家也研究純數學，就是數學本身的实质性內容，而不以任何實際應用為目標。雖然許多研究以純數學開始，但其过程中也發現許多應用之处。.
数论
數論是纯粹数学的分支之一，主要研究整数的性質。被譽為「最純」的數學領域。 正整数按乘法性质划分，可以分成質数，合数，1，質数產生了很多一般人也能理解而又懸而未解的問題，如哥德巴赫猜想，孿生質數猜想等，即。很多問題虽然形式上十分初等，事实上却要用到许多艰深的数学知识。这一领域的研究从某种意义上推动了数学的发展，催生了大量的新思想和新方法。數論除了研究整數及質數外，也研究一些由整數衍生的數（如有理數）或是一些廣義的整數（如代數整數）。 整数可以是方程式的解（丟番圖方程）。有些解析函數（像黎曼ζ函數）中包括了一些整數、質數的性質，透過這些函數也可以了解一些數論的問題。透過數論也可以建立實數和有理數之間的關係，並且用有理數來逼近實數（丟番圖逼近）。 數論早期稱為算術。到20世紀初，才開始使用數論的名稱，而算術一詞則表示「基本運算」，不過在20世紀的後半，有部份數學家仍會用「算術」一詞來表示數論。1952年時數學家Harold Davenport仍用「高等算術」一詞來表示數論，戈弗雷·哈羅德·哈代和愛德華·梅特蘭·賴特在1938年寫《數論介紹》簡介時曾提到「我們曾考慮過將書名改為《算術介紹》，某方面而言是更合適的書名，但也容易讓讀者誤會其中的內容」。 卡尔·弗里德里希·高斯曾說：「數學是科學的皇后，數論是數學的皇后。.
拓扑空间
拓扑空间是一种数学结构，可以在上頭形式化地定義出如收敛、连通、连续等概念。拓扑空间在现代数学的各个分支都有应用，是一个居于中心地位的、统一性的概念。拓扑空间有独立研究的价值，研究拓扑空间的数学分支称为拓扑学。.
新！!: 主齐性空间和拓扑空间 · 查看更多 »
拓扑群
在數學中，拓撲群是群 G 和與之一起的 G 上的拓撲，使得這個群的二元運算和這個群的取逆函數是連續的。拓撲群允許依據連續群作用來研究連續對稱的概念。.
