第二章_群表示论.docVIP

群表示理论基础 §2.1 群表示 【定义2.1】 （线性空间） 数域K（实数域R或复数域C）上的线性空间V是一个向量集合，；该集合定义了加法和数乘两种二元运算，且集合V在加法运算下构成交换群，满足： 数乘运算KV→V满足： 【定义2.2】 （线性无关和维数） 线性空间V中，任意n个向量，其线性组合当且仅当时成立，则称此n个向量线性无关，否则它们线性相关。线性空间中线性无关向量的最大个数m，称为空间V的维数，记为dimV = m。 【定义2.3】 （基矢） 设V是n维线性空间，则V中任意一组n个线性无关的向量，称为空间V的基矢，记为。空间中任意矢量均可表示为n个基矢的线性组合，。矩阵形式： 【定义2.4】 （线性变换） 线性变换A是将V映入V的线性映射，满足： 线性变换的矩阵形式：采用列矢量记法 故有矩阵形式： 若，则称线性变换A非奇异，A有逆变换A-1，[A-1]=[A]-1。 【定义2.5】 （线性变换群） 定义两个变换的乘法为两个线性变换的相继作用，则n维复线性空间V上的全部非奇异线性变换构成的集合在此乘法下构成一个群，称为n维复一般线性群，记为GL(V , C)，其子群L(V, C)称为V上的线性变换群。 【定义2.6】 （群表示） 设有群G，如果存在一个从G到n维线性空间V上的线性变换群L的同态映射A，则同