基本介紹
- 中文名：表示論
- 外文名：representation theory
- 所屬學科：數學
- 用途：決定一個代數結構的所有的表示
- 套用領域：數學、物理學和化學等
引言,詳細介紹,套用,
引言
在20世紀後半葉，群論的主要工作與群表示論(representationtheory)有關．它起源於19世紀在不變數和共變數方面的積累．粗略地說，不變數是平凡表示，共變數就是某個非平凡表示的元素．這些概念的意義是如果我們希望用坐標的形式寫出等式和關係，那么我們期望坐標改變時等式描述的幾何特徵或機構沒有變化．實現此目標的最簡單方法是確認表達式是不變數之間的等式，但是我們也能使用共變數之間的關係，條件是所比較的共變數是相應於同一表示的．只要想研究某種新對象，或許是直線、橢球或者慣性矩陣，就要問在坐標變換下新對象是怎樣變化的，以及這個對象是屬於什麼表示的． ’
詳細介紹
表示論是數學中研究表示的理論。對於一個數學體系A，從A到同類的(一般是“更具體的”)一個數學體系的保持結構的映射，稱為A的一個表示。其中主要有群的置換表示、群和結合代數的線性表示、有限群的線性表示、酉表示等等。
表示論(representation theory)用具體對象“表示”一抽象代數系並保持它的基本結構而對它的性質加以研究的理論．最常用的具體對象是某一集合上的變換，特別是線性空間上的線性變換(這樣的表示稱為線性表示)．以群的(線性)表示為例：設G為群，V為域F上的線性空間，GL(V)為V上所有非退化線性變換組成的群．G到GL(V)的一個同態ρ即稱為G在V上的一個表示．其實質就是用V上的線性變換來“表示”G中的抽象元素．線性變換是具體的，故可以套用線性代數的知識對群進行研究．若G為n階有限群，當F為複數域時(更一般，當F的特徵除不盡n時)的表示稱為常表示。當F的特徵除盡n時的表示則稱為模表示。群表示論由弗羅貝紐斯創立，舒爾(I．Schur，1875～1941)和伯恩賽德(w．Burnside，1852～1927)對此也作出了重要的貢獻。諾特強調對表示空間的研究，導致模的理論的建立，並由布勞爾(R．Brauer，1901--1977]開創了模表示理論．群表示論不僅對群論本身是重要的，它對其它數學學科如函式論、調和分析、泛函分析等也有著巨大的愛晌．它同時也是理論物理學的重要工具．除線性表示外，還有群的射影表示，有限群的置換表示等．其它抽象代數系如環、結合代數、李代數等也各有其相應的表示理論．
李群的表示就是群的線性作用．我們已經看到了群SO(3)和SE(3)的一些線性作用，但是這裡希望在機器人學中更加系統地介紹，而且廣泛地套用某些現代表示論的內容．對於表示論的一個很好的導論是Fulton和Harris的著作．首先介紹一些標準的定義．
在向量空間V上的李群G的表示(representation of a Lie group)是光滑映射 、
R：G×V→V，
它滿足某些公理．然而更一般地是將表示看作是對於群G的每一個元素從V到V的映射的集族．這樣就將群的元素看作是提供了向量空間的對稱性．若將這些映射寫成Rg=R(g，*)，則第一個公理可表示為
對於所有g，h∈G和所有v∈V，這個映射保持群的積．對於單位元的映射總應該是向量空間中的恆同映射，即
最後,這個映射對於任意的g∈G、所有的v1,v2∈V和所有的標量a和b應該是線性的。即
所以映射Rg應該是線性的和可逆的．線性來自於上式。而且能使用(R1)式和(R2)式證明映射Rg的逆是
.在向量空間上的這個映射被稱作自同態(endomorphism)．對於有限維的向量空間給定一組基，自同態能被寫成非退化矩陣形式。因此這些表示有時也被稱作矩陣表示．而基的變化不影響這個表示。所以我們認為,兩個矩陣表示如果通過坐標變換相聯繫,那么它們是等價的,而這種坐標變換通過相似變換,實現。即
對於所有g∈G和某個非退化矩陣M．
對於每一個群,至少有一個表示：映射群的每一個元素到單位矩陣。則上面所有的公理都滿足．但它不是一個非常有價值的表示,被稱作群的平凡表示(trivial representation)．如果群的每一個不同的元素都由向量空間不同的對稱性表示。那么稱這個表示是忠實的(faithful)．若使用另一種方法表達,可以說忠實表示是從群到向量空間的自同態空間的單射．
