徽标
联盟百科
通讯
下载应用,请到 Google Play
新! 在您的Android™设备上下载联盟百科!
下载
比浏览器更快的访问!
 

极大紧子群

指数 极大紧子群

数学中,一个拓扑群 G 的极大紧子群 K 是一个在子空间拓扑下是紧空间的子群,且是这些子群中的极大元。 一个一般李群不一定有极大紧子群,但半单李群却一定存在,而且他们在理论中有重要地位。极大紧子群一般不是惟一的,但在相差一个共轭的意义下是惟一的——他们是本质惟一的。.

23 关系: 半直积同倫群子空间拓扑子群岩泽分解一般线性群代数拓扑形变收缩当且仅当循環群内积共轭球谐函数紧空间群表示論QR分解SL₂(ℝ)极大元李群格拉姆-施密特正交化正交群正规子群拓扑群

半直积

在數學中,特別是叫做群論的抽象代數領域中,半直積(semidirect product)是從其中一個是正規子群的兩個子群形成一個群的特定方法。半直積是直積的推廣。半直積是作為集合的笛卡爾積,但帶有特定的乘法運算。.

新!!: 极大紧子群和半直积 · 查看更多 »

同倫群

在數學中,同倫群是拓撲空間的一種同倫不變量。同倫群的研究是同倫理論的基石之一,一般空間的同倫群極難計算,即使對球面 S^n 的情形,至今也沒有完整結果。.

新!!: 极大紧子群和同倫群 · 查看更多 »

子空间拓扑

#重定向 相對化拓撲.

新!!: 极大紧子群和子空间拓扑 · 查看更多 »

子群

假設(G, *)是一個群,若 H 是 G 的一個非空子集且同時 H 與相同的二元運算 * 亦構成一個群,則 (H, *) 稱為 (G, *) 的一個子群。參閱群論。 更精確地來說,若運算*在H的限制也是個在H上的群運算,则称H為G的子群。 一個群G的純子群是指一個子群H,其為G的純子集(即H ≠ G)。任一個群的當然群為只包含單位元素的子群。若H為G的子群,則G有時會被稱為H的「母群」。 相同的定義可以應用在更廣義的範圍內,當G為一任意的半群,但此一條目中只處理群的子群而已。群G有時會被標記成有序對(G,*),通常用以強調其運算*當G帶有多重的代數或其他結構。 在下面的文章中,會使用省略掉*的常規,並將乘積a*b寫成ab。.

新!!: 极大紧子群和子群 · 查看更多 »

岩泽分解

数学中,半单李群的岩泽分解 KAN 推广了实方阵能写成一个正交矩阵和上三角矩阵的乘积(格拉姆-施密特正交化之推论)。以创立者日本数学家岩泽健吉命名。.

新!!: 极大紧子群和岩泽分解 · 查看更多 »

一般线性群

在數學中,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),是由行列式.

新!!: 极大紧子群和一般线性群 · 查看更多 »

代数拓扑

代数拓扑(Algebraic topology)是使用抽象代数的工具来研究拓扑空间的数学分支。.

新!!: 极大紧子群和代数拓扑 · 查看更多 »

形变收缩

在拓扑学中,收缩(retraction),顾名思义是将整个空间收缩到一个子空间;形变收缩(deformation retraction)是将空间“连续收缩”成一个子空间的映射。.

新!!: 极大紧子群和形变收缩 · 查看更多 »

当且仅当

当且仅当(If and only if)(中国大陆又称作当且--仅当,臺灣又称作若且--唯若),在--邏輯中,逻辑算符反互斥或閘(exclusive or)是对两个运算元的一种邏輯分析类型,符号为XNOR或ENOR或\Leftrightarrow。与一般的邏輯或非NOR不同,當兩兩數值相同為是,而數值不同時為否。在数学、哲学、逻辑学以及其他一些技术性领域中被用来表示“在,并且仅仅在这些条件成立的时候”之意,在英语中的对应标记为iff。“A当且仅当B”其他等价的说法有“当且仅当A則B”;“A是B的充分必要条件(充要條件)”。 一般而言,當我們看到“A当且仅当B”,我們可以知道“如果A成立時,則B一定成立;如果B成立時,則A也一定成立”;“如果A不成立時,則B一定不成立;如果B不成立時,則A也一定不成立”。.

新!!: 极大紧子群和当且仅当 · 查看更多 »

循環群

在群論中,循環群(英文:cyclic group),是指能由單個元素所生成的群。有限循环群同构于整数同余加法群 Z/nZ,无限循环群则同构于整数加法群。每個循環群都是阿贝尔群,亦即其運算是可交換的。在群论中,循环群的性质已经被研究的较为透彻,是更为复杂的代数研究中常用到的基础工具。.

新!!: 极大紧子群和循環群 · 查看更多 »

内积

#重定向 点积.

新!!: 极大紧子群和内积 · 查看更多 »

共轭

共轭(conjugate)可以指:.

新!!: 极大紧子群和共轭 · 查看更多 »

球谐函数

球谐函数是拉普拉斯方程的球坐标系形式解的角度部分。在古典場論、量子力学等领域广泛应用。.

新!!: 极大紧子群和球谐函数 · 查看更多 »

紧空间

在数学中,如果欧几里得空间Rn的子集是闭合的并且是有界的,那么称它是--的。例如,在R中,闭合单位区间是紧致的,但整数集合Z不是(它不是有界的),半开区间.

新!!: 极大紧子群和紧空间 · 查看更多 »

群表示論

在群論中,群表示論(group representation theory)是一个非常重要的理論。它包含了(局部)緊緻群、李群、李代數及群概形的表示等種種分支,近來無限維表示理論也漸露頭角。表示理論在量子物理與數學的各領域中均有重要應用。.

新!!: 极大紧子群和群表示論 · 查看更多 »

QR分解

QR分解法是三種将矩阵分解的方式之一。這種方式,把矩阵分解成一个半正交矩阵与一个上三角矩阵的积。QR分解经常用来解线性最小二乘法问题。QR分解也是特定特征值算法即QR算法的基础。.

新!!: 极大紧子群和QR分解 · 查看更多 »

SL₂(ℝ)

在数学中,特殊线性群  是行列式为  的  实矩阵组成的群: a & b \\ c & d \end: a,b,c,d\in\mathbb\right.\,,且 ad-bc.

新!!: 极大紧子群和SL₂(ℝ) · 查看更多 »

极大元

设(A, \leq)是偏序集,B \subseteq A,y \in B,若对于所有的x \in B,y \leq x ~\implies~x.

新!!: 极大紧子群和极大元 · 查看更多 »

李群

數學中,李群(Lie group,)是具有群结构的光滑微分流形,其群作用與微分结构相容。李群的名字源於索菲斯·李的姓氏,以其為連續變換群奠定基礎。1893年,法文名詞groupes de Lie首次出現在李的學生Arthur Tresse的論文第三頁中。.

新!!: 极大紧子群和李群 · 查看更多 »

格拉姆-施密特正交化

在线性代数中,如果内积空间上的一组向量能够组成一个子空间,那么这一组向量就称为这个子空间的一个基。Gram-Schmidt正交化提供了一种方法,能够通过这一子空间上的一个基得--子空间的一个正交基,并可进一步求出对应的标准正交基。 这种正交化方法以和命名,然而比他们更早的拉普拉斯(Laplace)和柯西(Cauchy)已经发现了这一方法。在李群分解中,这种方法被推广为岩泽分解(Iwasawa decomposition)。 在数值计算中,Gram-Schmidt正交化是数值不稳定的,计算中累积的舍入误差会使最终结果的正交性变得很差。因此在实际应用中通常使用豪斯霍尔德变换或Givens旋转进行正交化。.

新!!: 极大紧子群和格拉姆-施密特正交化 · 查看更多 »

正交群

数学上,数域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.

新!!: 极大紧子群和正交群 · 查看更多 »

正规子群

在抽象代数中,正规子群或不变子群指一类特殊的子群。由正规子群,可以引导出商群的概念。 埃瓦里斯特·伽罗瓦是最早认识到正规子群的重要性的人。.

新!!: 极大紧子群和正规子群 · 查看更多 »

拓扑群

在數學中,拓撲群是群 G 和與之一起的 G 上的拓撲,使得這個群的二元運算和這個群的取逆函數是連續的。拓撲群允許依據連續群作用來研究連續對稱的概念。.

新!!: 极大紧子群和拓扑群 · 查看更多 »

传出传入
嘿!我们在Facebook上吧! »