表示论
數學分支 / 维基百科,自由的 encyclopedia
表示论(英语:Representation theory)是数学中抽象代数的一支。旨在抽象代数结构中的元素“表示”成向量空间上的线性变换,并研究这些代数结构上的模,藉以研究结构的性质。[1]略言之,表示论将一代数对象表作较具体的矩阵,并使得原结构中的代数运算对应到矩阵加法和矩阵乘法。此法可施于群、结合代数及李代数等多种代数结构;其中肇源最早,用途也最广的是群表示论。[2]设为群,其在域(常取复数域)表示是一-矢量空间及映至一般线性群之群同态
此条目含有过多、重复或不必要的内部链接。 |
假设有限维,则上述同态即是将的元素映成可逆矩阵,并使得群运算对应到矩阵乘法。
表示论的妙用在于能将抽象代数问题转为较容易解决的线性代数问题[3]。此外,群还可以表示在无穷维空间上;例如,若考虑无穷维希尔伯特空间上的表示,并要求一些连续性条件,此时表示论就牵涉到一些泛函分析的课题,数学分析的方法就可以用于解决群论的问题。[4]表示论在自然科学中也有应用。对称性的问题离不开群,而群的研究又有赖于其表示,最明显的例子便是李群及李代数表示论在量子力学中的关键角色。
表示论的一大特点是它遍布数学各个领域。这个特点有两个方面。首先,表示论的应用十分广泛:[5]除了在代数的影响之外,表示论
另一方面,研究表示论的途径也相当多元化,应用了代数几何、模块理论(英语:Module theory)、解析数论、微分几何、算子理论、代数组合学和拓扑学的思想和方法[9]
“表示”的概念后来也得到进一步的推广,例如范畴的表示。[10]表示论所施的代数对象可被视为特定的范畴,而表示本身则是从对象范畴到向量空间范畴的函子。这个表述方式立即指向两种显然的推广:其一,代数对象可换成成更一般的范畴;其二,向量空间范畴也可换成其它较好理解的范畴。
注意不要将“表示”与代数对象的“展示”混淆,如群的展示。